检索结果-南通市图书馆

北京化工大学学报（自然科学版） 2007年第A01期34卷 1-4页

作者：王雅文宫云战杨朝红北京邮电大学网络与交换技术国家重点实验室北京100876

系统地介绍了软件测试的方法,提出一种对软件测试工具的分类方法,分别介绍了白盒测试工具、黑盒测试工具、专用测试工具、测试管理工具以及辅助测试工具,最后指出在实际应用中测试工具的选择方法以及自动测试工具的局限性。

关键词：软件测试工具分类选择方法局限性

在线全文

学校读者我要写书评

暂无评论

基于模型的软件测试

北京化工大学学报（自然科学版） 2007年第A01期34卷 85-88页

作者：杨朝红宫云战肖庆毕学军装甲兵工程学院信息工程系北京100072 北京邮电大学网络与交换技术国家重点实验室北京1000876

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试... 详细信息

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。

关键词：软件测试静态分析测试模型

在线全文

学校读者我要写书评

暂无评论

基于分支限界搜索框架的测试用例自动生成

中国科学：信息科学 2014年第10期44卷 1345-1360页

作者：邢颖宫云战王雅文张旭舟北京邮电大学网络与交换技术国家重点实验室北京100876 辽宁工程技术大学电子与信息工程学院葫芦岛125105 中国科学院计算技术研究所北京100190

作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和... 详细信息

作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和爬山法进行了有机的整合,分支限界作为全局搜索算法,而爬山法作为局部搜索算法,发挥各自的优势来对测试用例的解空间进行搜索.

关键词：面向路径测试用例生成约束满足问题分支限界爬山法

Platinum oxide redefined: a thermally stable two-dimensional crystallineform

在线全文

学校读者我要写书评

暂无评论

Science China Materials 2025年第2期68卷 683-684页

作者： Bixuan Li Yongji gong Tianmushan Laboratory Hangzhou 310023China School of Materials Science and Engineering Beihang UniversityBeijing 100191China

Catalysis,as a core technology in the chemical industry,plays a pivotal role in numerous fields,including energy,environmental science,and materials ***(Pt),a ubiquitous and indispensable catalyst,has been extensively employed in diverse applications,including industrial chemical transformations and automotive emission control systems[1].However,it was believed to suffer from deactivation under severe operating conditions,particularly in high-temperature and oxidizing *** concept suggests that platinum oxides,decompose or sublimate at elevated temperatures,typically above 700 K[2].Consequently,researchers frequently employ encapsulation techniques for metal particles,utilizing materials such as mesoporous silica[3],zeolites[4],two-dimensional(2D)layered materials[5],and various other protective *** approach necessitates a delicate balance between activity and stability,often resulting in enhanced stability at the expense of catalytic efficiency.

关键词： stability crystalline utilizing

在TIS的WWW代理服务中实现基于网络安全的内容过滤

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2003年第20期39卷 25-26,109页

作者：何静刘海燕宫云战装甲兵工程学院信息工程系北京100072

内容过滤是网络安全领域的新课题,文章建立了一个完整的内容过滤模型,并在TIS的WWW代理服务中实现了此内容过滤模型。实验结果表明,该模型在过滤精度与实时性之间较好地达成了平衡,实用性较强。

关键词：网络安全内容过滤向量空间模型 TIS

Quantile-based optimization under uncertainties for complex engineering structures using an active learning basis-adaptive PC-Kriging model

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2025年第1期38卷 340-352页

作者： Yulian gong Jianguo ZHANG Dan XU Ying HUANG School of Reliability and Systems Engineering Beihang UniversityBeijing 100191China

The Reliability-Based Design Optimization(RBDO)of complex engineering structures considering uncertainties has problems of being high-dimensional,highly nonlinear,and timeconsuming,which requires a significant amount of sampling simulation *** this paper,a basis-adaptive Polynomial Chaos(PC)-Kriging surrogate model is proposed,in order to relieve the computational burden and enhance the predictive accuracy of a *** active learning basis-adaptive PC-Kriging model is combined with a quantile-based RBDO ***,five engineering cases have been implemented,including a benchmark RBDO problem,three high-dimensional explicit problems,and a high-dimensional implicit *** with Support Vector Regression(SVR),Kriging,and polynomial chaos expansion models,results show that the proposed basis-adaptive PC-Kriging model is more accurate and efficient for RBDO problems of complex engineering structures.

关键词： Reliability-based design optimization Quantile-based Basis-adaptive PC-Kriging Complex engineering structures Active learning Uncertainty

在线全文

学校读者我要写书评

暂无评论

一种面向缺陷检测过程的警报自动确认方法

计算机测量与控制 2022年第7期30卷 26-34页

作者：孔焦龙金大海宫云战北京邮电大学网络与交换技术国家重点实验室北京100876

静态分析工具能够一定程度上帮助开发者检测代码中的重要错误;然而,可扩展性和不可判定性的存在会影响这些工具的准确率,导致它们无法被用于更广泛的实践中;最近,研究人员开始利用人工智能的技术来提高这些工具的可使用性,通过将正确和... 详细信息

静态分析工具能够一定程度上帮助开发者检测代码中的重要错误;然而,可扩展性和不可判定性的存在会影响这些工具的准确率,导致它们无法被用于更广泛的实践中;最近,研究人员开始利用人工智能的技术来提高这些工具的可使用性,通过将正确和错误的警报自动分类,以节省在软件开发过程中人工确认警报所需要的人力和时间的花费;传统的方法主要通过使用手工提取的特征来表示有缺陷的代码片段,难以抓住它们深层次的语义信息;为了克服传统方法的限制,设计并提出了一种创新的特征提取方法,通过收集并提取缺陷模式状态机实例状态转换过程中相关指令集所包含的细粒度的语法、语义信息,并将有效的深度学习框架与之相结合,从而实现跨工程的警报自动确认;在5个开源工程的警报数据集上实验,分别与基于传统度量元的自动确认方法比较,AUC指标提升幅度在1.83%~31.81%之间,表明该方法能够有效提升跨工程警报自动确认的表现。

关键词：静态分析软件缺陷确认缺陷模式状态机词嵌入深度神经网络

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

基于一致性哈希算法的联盟链存储分配算法

计算机应用与软件 2024年第12期41卷 275-280,333页

作者：曹佳音白汉利王雅文宫云战北京邮电大学计算机学院北京100876 中国空气动力研究与发展中心计算空气动力研究所四川绵阳621000

联盟链中常采用每个节点都存储完整联盟链内容的存储方式,这种存储方式的存储代价较为高昂。为了降低联盟链中各个节点的存储代价,设计一种基于一致性哈希算法的存储分配算法,在保证数据丢失风险较低的情况下,降低联盟链上节点存储代价... 详细信息

联盟链中常采用每个节点都存储完整联盟链内容的存储方式,这种存储方式的存储代价较为高昂。为了降低联盟链中各个节点的存储代价,设计一种基于一致性哈希算法的存储分配算法,在保证数据丢失风险较低的情况下,降低联盟链上节点存储代价的目的。实现一个联盟链原型来对该算法进行验证,在验证结果中所提出的存储分配算法并未发生区块丢失,且在节点数较多时,其存储代价在未发生数据丢失的存储方式中最低。

关键词：联盟链区块链存储分配算法

Why do CuAl catalysts outperform in CO_(2) electro-reduction to C_(2)H_(4)?

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2025年第2期68卷 763-771页

作者： Dongfang Cheng gong Zhang Lulu Li Xiangcheng Shi Wenjin Zhu Xintong Yuan Lyudmila Moskaleva Peng Zhang Zhi-Jian Zhao Jinlong gong Key Laboratory for Green Chemical Technology of Ministry of Education School of Chemical Engineering and TechnologyTianjin University Collaborative Innovation Center of Chemical Science and Engineering(Tianjin)Tianjin 300072China Joint School of National University of Singapore and Tianjin University International Campus of Tianjin UniversityFuzhou 350207China Department of Chemistry University of the Free StateBloemfontein 9301South Africa Haihe Laboratory of Sustainable Chemical Transformations Tianjin 300192China National Industry-Education Platform of Energy Storage Tianjin UniversityTianjin 300350China International Joint Laboratory of Low-carbon Chemical Engineering Tianjin 300192China Tianjin Normal University Tianjin 300387China

Highly efficient CO_(2) electroreduction(CO_(2)RR)holds the promise of closing the carbon ***,the strategies for enhancing activity and selectivity for single C2+ products are still *** paper describes the oxophilicity of doped metals on copper(Cu)as a key descriptor for predicting the selectivity in the production of ethylene and ethanol in CO_(2)*** findings reveal a volcano-like relationship between the*O binding energy and catalytic activity,with aluminum(Al)-doped Cu alloys situated at the *** strong Al–O bond facilitates C–O bond cleavage,thereby promoting C_(2)H_(4) *** grand canonical density functional theory(GCDFT)calculations,we elucidate the significance of strong oxygen affinity in enhancing*CO_(2) adsorption,leading to its activation into a bidentate-adsorbed ***,our results demonstrate that Al doping promotes C–C coupling by altering the adsorption mode of the key intermediate *OCCO,shifting it from a less favorable boattype to a more stable chair-type *** modification significantly contributes to the improved catalytic activity for C2+products on CuAl *** research provides a detailed mechanistic insight into the high activity and selectivity observed in CO_(2)RR to ethylene on CuAl catalysts,underscoring the critical role of metal oxophilicity in enhancing CO_(2)RR performance.

关键词： CO_(2)RR dilute alloy descriptor surface oxophilicity

基于JavaCC的抽象语法树生成错误处理技术研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机测量与控制 2022年第2期30卷 151-159页

作者：王国隆金大海宫云战北京邮电大学网络与交换技术国家重点实验室北京100876

随着C++语言标准的不断演进,词法语法解析工具如JavaCC等对于很多扩充的新特性以及复杂的语法结构不能做到完全支持,这可能会导致抽象语法树生成错误且不完整;针对这一问题,提出一个针对抽象语法树生成错误的处理框架;首先,通过对JavaC... 详细信息

随着C++语言标准的不断演进,词法语法解析工具如JavaCC等对于很多扩充的新特性以及复杂的语法结构不能做到完全支持,这可能会导致抽象语法树生成错误且不完整;针对这一问题,提出一个针对抽象语法树生成错误的处理框架;首先,通过对JavaCC的扩充,实现一套可以解析C++语言的词法语法分析器,生成抽象语法树并记录报错行;其次,根据报错行寻找所在函数区间即不支持或不匹配的语法片段;最后,通过注释函数区间的方式来跳过不支持或不匹配的语法片段进行错误处理并迭代生成抽象语法树;实验结果表明,对抽象语法树生成进行错误处理后可以更全面的分析代码,抽象语法树完成率上升37.8%,分析行数提高3.9倍。

关键词：抽象语法树 C++程序 JavaCC解析工具语法变更错误处理

维普期刊数据库博看期刊