基于模型的飞机级功能危险评估方法研究

发布时间：2017-06-26 00:05

  本文关键词：基于模型的飞机级功能危险评估方法研究，由笔耕文化传播整理发布。

【摘要】：民用飞机的设计过程中需要进行安全评估,功能危险评估是飞机安全评估的第一步。传统的功能危险评估方法在处理功能依赖关系和分析多重失效组合方面存在困难。本文提出一种基于模型的飞机级功能危险评估方法,采用层次化模型描述飞机功能、人类行为和飞机行为之间的内在联系,并通过C++实现的算法计算了导致飞机发生故障的功能失效组合。通过对飞机起飞阶段的案例分析,证明了本方法的可行性,为功能危险评估提出了一种新的思路。
【作者单位】： 南京航空航天大学民航学院;
【关键词】： 功能危险评估 模型 失效组合 最小割集
【基金】：国家自然科学基金与民航局联合资助项目(60879001)
【分类号】：V221;V328
【正文快照】： 功能危险评估(Functional Hazard Assess- 类。飞机级FHA的输人包括顶层飞机功能清单,ment,FHA)是用于民用飞机认证的安全评估方 飞机的研制目标和客户需求及初始设计决策。法,目的是识别所有与飞机功能以及飞机功能组 ,合相关的失效状态,并根据它们的危害情况进行分类。飞机

【共引文献】

中国期刊全文数据库 前10条

1 王海峰,陈建明,张仲义;安全苛求系统的形式化开发方法[J];北方交通大学学报;2002年06期

2 曾琼;;基于替换的组合电路的等价性检验方法[J];成都信息工程学院学报;2006年02期

3 高秋红;骆丽;;面向SOC设计的混合验证方法及其应用[J];电脑知识与技术;2006年17期

4 岳香芬;;一种基于时间自动机的实时系统模型检查算法的设计与实现[J];电脑知识与技术;2009年30期

5 陈丽;高巍巍;;形式验证方法综述[J];大视野;2008年07期

6 刘志颖;郑松;;异构三重冗余控制系统的设计与可靠性评估[J];电气技术;2014年04期

7 王新;;回路传输阻抗对家用分体空调器可靠性影响分析[J];日用电器;2014年08期

8 郑庆伟;周武;余跃;;航天IP核的自主设计、评测关键技术研究[J];航天标准化;2012年02期

9 杨军;葛海通;郑飞君;严晓浪;;一种形式化验证方法:模型检验[J];浙江大学学报(理学版);2006年04期

10 王海峰,吕永波,张仲义;一种系统安全性的形式化验证方法[J];计算机工程与应用;2003年04期

中国重要会议论文全文数据库 前2条

1 王族统;郭建胜;童声;张鹏涛;;多目标可靠性冗余优化的蜂群算法求解[A];探索 创新 交流——第六届中国航空学会青年科技论坛文集（下册）[C];2014年

2 田斐斐;马涛;;基于马尔可夫过程的飞机可靠性分析与评估方法[A];探索 创新 交流——第六届中国航空学会青年科技论坛文集（下册）[C];2014年

中国博士学位论文全文数据库 前10条

1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年

2 梁彬;可信进程机制及相关问题研究[D];中国科学院研究生院（软件研究所）;2004年

3 李光辉;逻辑电路的等价性检验方法研究[D];中国科学院研究生院（计算技术研究所）;2005年

4 许庆国;基于自动机的时间系统形式验证技术[D];上海大学;2007年

5 付先成;低功耗高性能图形控制芯片的设计与验证[D];华中科技大学;2006年

6 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年

7 潘国腾;CC-NUMA系统存储体系结构关键技术研究[D];国防科学技术大学;2007年

8 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年

9 翁延玲;RTL到门级设计的等价性验证的研究[D];浙江大学;2008年

10 郑飞君;基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究[D];浙江大学;2008年

中国硕士学位论文全文数据库 前10条

1 李鸿翔;基于VMM的硬件验证技术研究及应用[D];哈尔滨工程大学;2010年

2 闫硕;基于多项式符号代数的电路形式验证[D];北京交通大学;2011年

3 刘林;数字集成电路功能验证中的变异测试方法研究[D];山东大学;2011年

4 马丽丽;基于静态分析的RTL设计错误检测方法研究[D];湘潭大学;2011年

5 闵远亮;电动汽车驱动电机寿命预测及可靠性测试方法的研究[D];哈尔滨工业大学;2011年

6 王瑞蛟;安全SoC体系结构的设计与实现研究[D];解放军信息工程大学;2011年

7 吴俊华;组合电路的形式验证方法研究[D];哈尔滨工程大学;2004年

8 李树杰;中科SoC通用验证平台及验证方法学研究[D];山东科技大学;2005年

9 胡靖;可再配置结构中针对IP重用技术的综合方法研究[D];哈尔滨工程大学;2005年

10 郑伟伟;基于线性规划的RTL性质验证研究[D];清华大学;2005年

【相似文献】

中国期刊全文数据库 前6条

1 关l⒋，

本文编号：484023