刘锐
- 作品数:5 被引量:27H指数:3
- 供职机构:中国民航大学安全科学与工程学院更多>>
- 发文基金:中央高校基本科研业务费专项资金国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域:航空宇航科学技术电子电信更多>>
- 综合模块化航空电子系统可靠性评估方法研究被引量:13
- 2015年
- 综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AADL可靠性模型,为了进一步分析其故障动态行为,研究了AADL可靠性模型向GSPN模型转化规则,通过对GSPN模型的分析来评估IMA系统可靠性。最后以IMA系统显示功能为例进行了可靠性评估,验证了该方法的有效性,并且通过实验对比的方式给出了显示功能架构的选择建议。
- 王鹏刘锐刘万和阎芳
- 关键词:广义随机PETRI网可靠性
- 基于SystemVerilog可重用测试平台的实现被引量:9
- 2015年
- 对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。
- 王鹏刘万和刘锐田毅
- 关键词:SYSTEMVERILOG可重用
- 飞机座舱压力自动调节系统可靠性研究被引量:5
- 2014年
- 飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性分析方法。首先采用AADL语言对系统的架构及相关部件的故障信息进行描述建立系统AADL可靠性模型;为了进一步分析系统故障动态行为,研究了AADL可靠性模型向GSPN转化规则,通过对GSPN模型分析,得到系统可靠性。最后,通过实验的方法对比分析了3种不同架构下的系统可靠性,给出了系统架构的选择建议。
- 王鹏刘锐田毅赵长啸
- 关键词:座舱压力调节系统可靠性
- 机载高速互连网络适航审定要求分析
- 2016年
- 机载网络互连技术由传统的以ARINC 429为代表的低速、单工总线向着高速、双向、网络化方向发展。互联体系结构的变化引入了新的安全性需求,现有的适航审定技术已无法对机载高速互连网络做出评判。分析了机载高速互连网络适航的审定要求,给出了机载高速互连网络在实际审定中的审定要素和评审要求。本研究可为我国解决机载高速互连网络的适航审定问题提供理论支撑。
- 赵长啸阎芳刘锐王鹏
- 关键词:适航审定安全性体系结构
- 基于粒子群优化的多数据链任务分配模型及方法被引量:1
- 2014年
- 数据链作为"战斗力的倍增器"受到各国军方的重视,多种数据链被开发出来以应对不同的场景,然而不同的数据链有不同的特性,难以实现多数据链间的互联互通。针对此问题,提出了一种通过多数据链平台分发任务的模式,给出了多数据链任务分配的数学模型,应用基于粒子群的算法对该问题进行了求解。模拟计算结果表明,该任务分配算法可以在不违反任何约束的情况下有效地实现多数据链间的互联互通。
- 田毅阎芳刘锐赵长啸
- 关键词:战术数据链粒子群互操作性