徐文华
- 作品数：3 被引量：14H指数：3
- 供职机构：南京航空航天大学计算机科学与技术学院更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种基于中介真值程度度量的模糊综合评价方法被引量：5
- 2016年
- 鉴于现有的综合评价方法大多为刚性的评价,不适用于模糊因素评价,提出了一种基于中介真值程度度量的模糊综合评价方法,对效益型指标、成本型指标和区间型指标3种情况下的真值程度度量过程和参数取值方法进行了设计;并基于真值程度度量结果构造了中介模糊评判矩阵来进行综合评价。为处理模糊信息创建了中介数学系统。相比传统模糊评价方法,基于中介真值程度度量的模糊综合评价方法更具有客观性,因此能更有效地处理模糊现象。与其他综合评价方法的对比实验表明,所提出的方法是有效的,并具有一定的优越性。
- 徐文华陈海燕张育平王建东
- 关键词：隶属函数
- 基于航电系统架构模型的安全性分析工具的设计与实现被引量：4
- 2016年
- 航电系统作为安全关键系统,必须对其进行共模分析和区域安全性分析,以满足系统的隔离性需求。随着航电系统综合化程度的提高,传统的共模分析和区域安全性分析方法主要依赖于分析人员对系统的理解程度,无法确保隔离性需求的完整性。同时由于安全性分析人员与系统设计人员对系统的理解不同而导致系统需求难以追溯,尤其在设计方案频繁变更的情况下,会出现安全性分析结果不准确、不一致的情况。针对上述问题,设计并实现了一种基于航电系统架构模型的安全性分析工具,通过采用物理架构中数据信号路径追溯的方法自动完成故障树建模,并基于此故障树完成共模分析和区域安全性分析,得出共模检查单和区域隔离性需求。以某飞机驾驶舱显示系统为案例的实验结果表明,该工具能对SysML语言描述的航电系统架构模型进行故障树自动建模,并能对需要隔离的系统组件进行标记,确保了共模分析和区域安全性分析结果的完整性。
- 徐文华张育平
- 一种基于航电系统架构模型的故障树自动建模方法被引量：5
- 2017年
- 航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。
- 徐文华张育平
