-
综合模块化航空电子系统安全分析的模型检测方法
-
作者:
邝安玄
马超
王佳明
来源:
电光与控制
年份:
2023
文献类型 :
期刊
关键词:
模型检测
综合模块化航空电子系统
系统分析
安全性
-
描述:
综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配,但集成工作增加了系统的复杂性,同时使系统的故障在综合过程中传播到其他系统,这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能,存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题,提出了一种新的综合模块化航空电子系统安全分析方法——模型检测,使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证,在系统需求规格的基础上给出了分析过程,利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合,从而达到传统故障树分析的目的,最终通过案例分析表明了该方法的实用性。
-
航空军民两用技术转化过程中知识产权保护策略研究
-
作者:
邓丛瑶
马超
李茂炎
周宝
来源:
成都航空职业技术学院学报
年份:
2023
文献类型 :
期刊
关键词:
航空军民两用技术
转化过程
保护策略
知识产权
-
描述:
随着我国综合国力增强,航空军民两用技术取得了前所未有的新突破,在新时代军民融合战略推动下,航空军民两用技术日趋成熟且转化频繁,产生了巨大的经济效益,对我国的国防事业有着重大意义。这就促使政府要在法律制度、行政管理、市场调控、保护手段上针对军民两用技术转化过程中的知识产权保护问题拿出行之有效的办法,制定更为有力的知识产权保护策略,以确保利益各方在航空军民两用技术转化过程中因知识产权所产生的权益。