检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种C代码软件设计信息提取方法研究

南通大学学报（自然科学版） 2016年第4期15卷 28-33页

作者：雷宇黄松于秀山惠战伟中国人民解放军理工大学指挥信息系统学院江苏南京210007 全军军事训练软件测评中心江苏南京210007

白盒测试依赖于被测程序的内部逻辑结构,人工分析程序结构的方法存在分析效率低、成本高的不足,同时,对从事分析的人员素质也提出了较高的要求.针对该问题,基于C程序提出了一种软件设计信息提取方法.该方法利用开源语言识别工具ANTLR,构... 详细信息

白盒测试依赖于被测程序的内部逻辑结构,人工分析程序结构的方法存在分析效率低、成本高的不足,同时,对从事分析的人员素质也提出了较高的要求.针对该问题,基于C程序提出了一种软件设计信息提取方法.该方法利用开源语言识别工具ANTLR,构造C程序文法,并自动生成中间代码,从而将源程序的基本信息从抽象语法树(AST)中提取出来,存储到数据模型中,实现对源代码进行的自动分析.实例验证表明:提出的方法提取C程序头文件和源文件的静态信息后,可计算分析得到数据流,控制流,函数调用关系等软件设计信息.证明了该方法的有效性.

关键词： C代码设计信息提取软件数据模型

在线全文

学校读者我要写书评

暂无评论

软件安全性需求提取方法研究综述

指挥信息系统与技术 2011年第1期2卷 6-10页

作者：黄文化黄松惠战伟夏凯全军军事训练软件测评中心解放军理工大学软件测评中心中国人民解放军96301部队司令部通信处

安全性需求的提取是确保软件安全的关键。介绍了安全性需求的定义、目的以及种类,研究了当今主要的安全性需求提取方法,指出了未来安全性需求研究的重点和发展方向。

关键词：软件安全性需求软件安全性需求提取软件需求分析

在线全文

学校读者我要写书评

暂无评论

XML-TeX-PDF文档转换方法与实现

指挥信息系统与技术 2015年第6期6卷 39-43页

作者：李园园黄松惠战伟张东全军军事训练软件测评中心南京210007 解放军理工大学指挥信息系统学院南京210007 解放军理工大学国防工程学院南京210007

测试过程中文档自动生成可提高软件测试效率。提出了一种XML-TeX-PDF文档转换方法,该方法可实现XML文档转换为PDF文档,适用于文档测试及文档扩展。首先,分析了XML文档格式,通过相关函数实现了XML文档到TeX文档的映射;然后,调用Java程序... 详细信息

测试过程中文档自动生成可提高软件测试效率。提出了一种XML-TeX-PDF文档转换方法,该方法可实现XML文档转换为PDF文档,适用于文档测试及文档扩展。首先,分析了XML文档格式,通过相关函数实现了XML文档到TeX文档的映射;然后,调用Java程序中处理TeX文档的命令,实现了TeX文档到PDF文档的自动转换;最后,试验验证了该方法的正确性和有效性。

关键词：软件测试文档自动生成 XML-TeX-PDF文档转换

在线全文

学校读者我要写书评

暂无评论

机器学习图像分类程序的蜕变测试框架

计算机工程与应用 2020年第17期56卷 69-77页

作者：刘佳洛姚奕黄松惠战伟陈强寇大磊张仲伟陆军工程大学指挥控制工程学院南京210007 中国人民解放军68023部队中国人民解放军73671部队

机器学习在计算机视觉、语音识别和自然语言处理等实际应用中已经取得了显著的成功。图像分类作为计算机视觉的一个主要分支。不久的将来,许多的图像分类程序会以机器学习的方式呈现。然而,由于机器学习图像分类程序的测试面临着测试预... 详细信息

机器学习在计算机视觉、语音识别和自然语言处理等实际应用中已经取得了显著的成功。图像分类作为计算机视觉的一个主要分支。不久的将来,许多的图像分类程序会以机器学习的方式呈现。然而,由于机器学习图像分类程序的测试面临着测试预言难题,这使得在测试的过程中将需要大量的人力及物力。为了缓解测试预言难题,使用了蜕变测试技术。为了规范测试流程、提高测试效率,提出了一种适用于机器学习图像分类程序的蜕变测试框架。并且通过测试基于SVM和VGGNet图像分类程序,验证了该测试框架的合理性和有效性。

关键词：机器学习测试判定问题蜕变测试蜕变关系

在线全文

学校读者我要写书评

暂无评论

IFPUG度量方法的改进及应用

南通大学学报（自然科学版） 2016年第4期15卷 22-27页

作者：程星星黄松惠战伟史涯晴中国人民解放军理工大学指挥信息系统学院江苏南京210007 全军军事训练软件测评中心江苏南京210007

国际功能点用户组(international function point user group,IFPUG)度量方法可以在软件项目的全生命周期度量项目规模,但是传统的IFPUG功能点度量方法在度量数据功能和事务功能时存在度量结果不连续的问题.针对此问题,提出一种基于拟... 详细信息

国际功能点用户组(international function point user group,IFPUG)度量方法可以在软件项目的全生命周期度量项目规模,但是传统的IFPUG功能点度量方法在度量数据功能和事务功能时存在度量结果不连续的问题.针对此问题,提出一种基于拟合分析的功能点度量方法,将简化的功能点方法 EQFP(early&quick function points)与IFPUG方法结合,通过拟合分析,将分段的度量函数转换为连续的度量函数.实验结果证明,改进后的方法在保证度量精度的前提下,消除了度量结果的不连续性问题.最后,将功能点方法应用于软件测试阶段,对软件测试过程进行有效管理,对软件测试的结果进行科学的评估.

关键词：国际功能点用户组度量方法功能点度量简化功能点软件测试

在线全文

学校读者我要写书评

暂无评论

基于复合函数的蜕变关系构造方法

指挥信息系统与技术 2013年第1期4卷 66-69,74页

作者：林仁超刘晓明黄松惠战伟解放军理工大学指挥信息系统学院南京210007 全军军事训练软件测评中心南京210007

蜕变测试可解决测试Oracle问题,但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法,通过该方法构造的蜕变关系,集合了复合蜕变关系的所有特点,具有较高测试效率。试验验证表明该方法有效。

关键词：蜕变测试蜕变关系复合函数

In Situ Synthesis of Core-Shell Li4Ti5O(12) @ Polyaniline Composites with Enhanced Rate Performance for Lithium-ion Battery Anodes

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2017年第3期33卷 231-238页

作者： Yani hui Liyun Cao zhanwei Xu Jianfeng Huang Haibo Ouyang Jiayin Li Hailing Hu School of Materials Science & Engineering Shaanxi University of Science and Technology Xi'an 710021 China

The core-shell Li4Ti5O（12） @ polyaniline composites（LP） have been synthesized via an in situ synthesis with different mole ratios（25：1, 50：1 and 100：1, aniline：LTO）. As an anode material of lithium-ion batteries,the LP-2 electrodes（50：1） exhibit a high initial reversible capacity of 205 mAh g^（-1）with an initial coulombic efficiency of 97.6% at 0.1 C. Even at a high current density of 10 C, the reversible capacity of the LP-2 electrodes still remains at 102 mAh g^（-1）. Moreover, the LP-2 electrodes retain an impressive high capacity of 161 mAh g^（-1）after 100 cycles at 1 C, with 0.11% capacity fading per cycle. The promising electrochemical performance may be attributed to the significantly decreasing charge-transfer impedance of the LP composite and reductive polarity difference between the cathode and the electrolyte.

关键词： Li4Ti5O(12) Polyaniline Lithium-ion batteries Electrochemical property

Edge dislocation-induced strains break the limit of PtNi alloys in boosting Pt mass activity for efficient alkaline hydrogen evolution

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第6期17卷 4711-4719页

作者： Miao Zhou Yao Zhao zhanwei Liu Xueru Zhao Enzuo Liu Liyang Xiao Pengfei Yin Cunku Dong hui Liu Xiwen Du Jing Yang New Energy Materials Institute School of Materials Science and EngineeringTianjin UniversityTianjin 300072China School of Aerospace Engineering Beijing Institute of TechnologyBeijing 100081China Chemistry Division Brookhaven National LaboratoryUptonNew York 11973USA Advanced Metallic Materials Institute School of Materials Science and EngineeringTianjin UniversityTianjin 300072China

Creating lattice defects and alloying to produce strain effect in Pt-based bimetallic alloys are both effective methods to optimize the crystal and electronic structure and improve the electrocatalytic ***,the principles that govern the alkaline hydrogen evolution reaction(HER)performance remain unclear,which is detrimental to the rational design of efficient Pt-based ***,PtNi alloys with different Pt/Ni ratios and edge dislocations were synthesized,and the effects of Pt/Ni composition and edge dislocations on the alkaline HER electrocatalytic activity of PtNi alloys were systematically *** experimental and theoretical investigations reveal that tuning Pt/Ni ratio results in only 1.1 times enhancements in Pt mass activity,whereas edge dislocations-induced extra tensile strain on Ni site and compressive strain on Pt site further boost the alkaline HER intrinsic activity at all Pt/Ni ***,the introduction of edge dislocations in PtNi alloys could break the limit of alloying in boosting Pt mass activity and result in up to 13.7-fold enhancement,in the case that Pt and Ni contents are nearly identical and thus edge dislocation density reaches the *** mechanism studies demonstrate that the edge dislocation strategy could make a breakthrough in facilitating water dissociation kinetics of PtNi alloys.

关键词： edge dislocations PtNi composition strain effects water dissociation hydrogen evolution reaction

Insights on evolution of virulence and resistance from the whole-genome analysis of a predominant methicillin-resistant Staphylococcus aureus clone sequence type 239 in China

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2014年第11期59卷 1104-1112页

作者： Hongbin Chen Xi Yang Qi Wang Chunjiang Zhao Henan Li Wenqiang He Xiaojuan Wang Feifei Zhang zhanwei Wang Minjun Chen Baoli Zhu hui Wang Department of Clinical Laboratory Peking University People’s Hospital Key Laboratory of Pathogenic Microbiology & Immunology Institute of MicrobiologyChinese Academy of Sciences Department of Clinical Laboratory Peking Union Medical College Hospital

Earlier, we reported that ST239 was the15-year predominant methicillin-resistant Staphylococcus aureus(MRSA) clone in China. In this study, MRSA strain CN79 belonging to ST239 and isolated from blood was used to determine the whole genome sequence. Comparative genomics analysis was done between MRSA CN79and 25 sequenced S. aureus in the NCBI GenBank database. A total of 2,734 protein-encoding genes were identified in the MRSA CN79 genome, which carries 11antibiotic resistance genes and 65 virulence genes. Two prophages phiCN79A and phiNM3-like were found on the MRSA CN79 genome. MRSA CN79 carries 30 specific genes that are absent from the 25 sequenced S. aureus genomes. Most of them were prophage-related *** antibiotic resistance genes, such as b-lactamase and ABC-type multidrug transport system gene, were located on the genomic island mSab. The antibiotic resistance genes, such as tet(M), ermA1, and blaZ, were also located on different transposons. The virulence genes sea,map, hlb, and sak are located on phiNM3-like prophage and the exotoxin genes are carried on the genomic island mSaa. These results suggest that ST239 MRSA strains are widespread owing to horizontal acquisition of the mobile genetic elements harbored antibiotic resistance genes and virulence genes in response to environmental selective pressures, such as antibiotics and the human immune system during evolution.

关键词：金黄色葡萄球菌基因组分析毒力基因进化过程序列类型中国克隆 GenBank