期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于变量依赖关系模型的变量重要性度量方法 被引量:2
1
作者 田兴亚 牟永敏 张志华 《科学技术与工程》 北大核心 2020年第19期7772-7779,共8页
为了减少变量变更的代价,需要评估变量在程序中的重要程度。对变量的重要性度量有利于合理安排软件测试资源,保证软件质量。通过分析程序中各变量状态,利用变量间的依赖关系构建变量依赖关系模型,将图论和变量重要性度量相结合。针对现... 为了减少变量变更的代价,需要评估变量在程序中的重要程度。对变量的重要性度量有利于合理安排软件测试资源,保证软件质量。通过分析程序中各变量状态,利用变量间的依赖关系构建变量依赖关系模型,将图论和变量重要性度量相结合。针对现有节点重要性度量方法存在的局限性问题,提出一种新的基于变量依赖关系模型的变量重要性度量方法。实验表明,该方法在变量重要性度量方面的准确性相比其他方法有所提升。 展开更多
关键词 变量变更 变量依赖关系 变量依赖关系模型 重要性度量
下载PDF
一个机载软件需求形式化建模与分析实例研究 被引量:2
2
作者 胡军 吕佳润 +3 位作者 王立松 康介祥 王辉 高忠杰 《软件学报》 EI CSCD 北大核心 2022年第5期1652-1673,共22页
现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分... 现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析,包括:ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链,基于多范式的需求一致性、完整性形式化分析方法,EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程,如:需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等;给出了工程需求实例研究的经验总结和思考. 展开更多
关键词 机载软件形式化建模 变量关系模型 自然语言需求建模 形式化方法
下载PDF
Unified plastic modulus in the bounding surface plasticity model 被引量:4
3
作者 XIAO Yang LIU Han Long +1 位作者 LIU Hong SUN Yi Fei 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2016年第6期932-940,共9页
A unified plastic modulus parameter for the bounding surface plasticity model is introduced in order to maintain the identical responses of modeling for both the two-dimensional and three-dimensional stress space with... A unified plastic modulus parameter for the bounding surface plasticity model is introduced in order to maintain the identical responses of modeling for both the two-dimensional and three-dimensional stress space with the same model parameters. Also discussed are the influences of the plastic modulus parameter on the stress-strain relationship and the plastic modulus. The model is more sensitive in modeling the stress strain responses when the plastic modulus parameter is small. The plastic modulus parameter has a great influence on the magnitude of the plastic modulus, especially at the initial loading stage. The plastic modulus asymptotically tends to zero at the end of loading. 展开更多
关键词 bounding surface strength criterion plastic modulus DILATANCY peak-stress ratio
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部