基于Matlab语言的系统可靠性仿真

Matlab是一种高性能数值计算语言 ,本文用Matlab语言编制系统可靠性仿真程序 ,并给出了具体实例。此方法比其他方法简单有效 ,可适用于复杂系统。     

某导弹武器系统可靠性优化

给出了系统可靠性与费用的关系 ,建立了某导弹武器可靠性优化模型 ,用MonteCarlo方法解决了此问题。     

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.