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