中央级公益性科研院所基本科研业务费专项(NS2010179)
- 作品数：4 被引量：24H指数：2
- 相关作者：吴海桥王华伟刘超孙绍辉葛红娟更多>>
- 相关机构：南京航空航天大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：航空宇航科学技术一般工业技术自然科学总论自动化与计算机技术更多>>
- 形式化模型检验在飞机系统演绎式安全分析中的应用研究
- 2014年
- 随着飞机系统复杂度的日益增长,对飞机设计人员和安全性分析人员能力的提升也提出了相应要求。但是传统的安全性分析方法都存在一些弊端:高度主观并且依赖分析人员的技能和经验,而且不太可能做到完整无错。形式化验证技术,如模型检验方法,能够很好地处理复杂度较高的系统,并且能在一定程度上克服这些弊端。本文运用模型检验的方法对系统进行演绎式安全性分析,得到定性的结果。
- 马径梁吴海桥王华伟葛红娟
- 关键词：飞机系统
- 基于NuSMV的系统安全性分析平台开发和应用被引量：3
- 2013年
- 传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以+5V电源监控系统为例,对其安全性进行了分析。
- 刘超吴海桥
- 关键词：系统安全性分析
- 基于Matlab与Web技术的复杂系统可靠性软件开发
- 2012年
- 首先介绍了Matlab的Web工作原理,然后对Matlab程序的Webserver系统配置进行了阐述,同时对服务器运行过程常见的问题进行了分析,并提出了相应的解决方法,最后给出了应用实例。
- 陈福立王华伟孙绍辉
- 关键词：MATLABWEBSERVERAJAX可靠性软件开发
- 基于信息融合的航空发动机剩余寿命预测被引量：21
- 2012年
- 利用航空发动机状态监测信息,考虑到信息本身具有的误差性和随机性等特点,采用贝叶斯线性模型融合了监测信息,实现了综合利用多源信息的进行航空发动机性能衰退评估;以性能衰退评估结果为输入变量,建立基于Gamma随机过程的可靠性评估模型,预测在指定性能可靠性水平下的剩余寿命.通过算例,分析了不同监测参数对剩余寿命预测的影响.该方法能将性能监测与可靠性分析集成到一个框架中,充分利用了多种状态监测信息,结果更加准确,更符合控制航空发动机维修决策风险的实际.
- 王华伟吴海桥
- 关键词：剩余寿命预测系统可靠性信息融合
