【摘 要】
：
软件可信性评估是保障装备软件可信的重要手段。针对传统可信评估方法评估模型领域行业适应性差、模型构建科学性和规范性不足、提供的可信信息匮乏等问题,提出一种面向第三
【机 构】
：
中国工程物理研究院计算机应用研究所
【基金项目】
：
国防科工局技术基础科研项目(JSZL2015212B001)
论文部分内容阅读
软件可信性评估是保障装备软件可信的重要手段。针对传统可信评估方法评估模型领域行业适应性差、模型构建科学性和规范性不足、提供的可信信息匮乏等问题,提出一种面向第三方测试的装备软件可信性评估方法。首先建立基于多维属性的软件可信性评估模型,为保证模型输入的一致性和规范性,采用统一的可信证据分析度量方法对评估模型进行约束;然后采用基于公理证明的可信融合算法对可信数据进行融合;最后根据评估过程和结果信息深入开展可信性分析,挖掘更多的软件可信信息,生成可信性增强策略和规范。应用结果表明,该方法科学性、规范性较强,评估
其他文献
对采用真空辅助树脂传递模塑成型工艺（VARTM）制造复合材料管道连接件的树脂流动过程进行分析,考虑树脂注模工况下的注射口和出射口位置,采用有限元/控制体积方法分别模拟了4种
回顾了我国烧结砖一次码烧工艺的发展过程,对一次码烧和二次码烧工艺各自的特点从多方面进行分析,对制能原料要求从矿物成分、化学成分及制砖物理性能进行了阐述。针对一次码
为研究导弹热发射过程中燃气射流对筒体的热冲击和动力冲击效应,基于三维、雷诺平均Navier-Stokes方程和RNG(renormalization-group)κ-ε湍流模型,采用域动分层法模拟导弹发
信息是办公室的重要工作,是科学管理的重要前提,是各级领导进行决策的重要基础和机关单位有序运行的重要纽带。搞好这项工作,必须要抓好"四个关键点",即"强化认识作为信息工