刘锐

作品数：5被引量：29H指数：3
导出分析报告
供职机构：中国民航大学安全科学与工程学院更多>>
发文主题：广义随机PETRI网体系结构可靠性系统可靠性评估语言更多>>
发文领域：航空宇航科学技术电子电信更多>>
发文期刊：《电讯技术》《电光与控制》《电子技术应用》《科学技术与工程》更多>>
所获基金：中央高校基本科研业务费专项资金国家重点基础研究发展计划国家自然科学基金中央高校基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机载高速互连网络适航审定要求分析
《电光与控制》2016年第3期67-71,共5页赵长啸 阎芳 刘锐 王鹏 
国家重点基础项目"九七三"计划(2014CB744902);中央高校基金(3122015C028)
机载网络互连技术由传统的以ARINC 429为代表的低速、单工总线向着高速、双向、网络化方向发展。互联体系结构的变化引入了新的安全性需求,现有的适航审定技术已无法对机载高速互连网络做出评判。分析了机载高速互连网络适航的审定要求...
关键词：机载网络 适航审定 安全性 体系结构 
综合模块化航空电子系统可靠性评估方法研究被引量：13
《电光与控制》2015年第10期56-61,共6页王鹏 刘锐 刘万和 阎芳 
国家重点基础研究发展计划(2014CB744902);2014民航科技项目;中央高校基本科研业务费资助项目(SY-1448)
综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AAD...
关键词：综合模块化航空电子 体系结构分析及设计语言 广义随机PETRI网 可靠性 
基于SystemVerilog可重用测试平台的实现被引量：11
《电子技术应用》2015年第2期61-64,共4页王鹏 刘万和 刘锐 田毅 
国家自然科学基金(U1333120);中央高校基本科研基金(3122014D046)
对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,...
关键词：验证 SYSTEMVERILOG 测试平台 可重用 
飞机座舱压力自动调节系统可靠性研究被引量：5
《科学技术与工程》2014年第33期300-307,317,共9页王鹏 刘锐 田毅 赵长啸 
国家重点基础研究发展计划(973计划)(2014CB744902);中央高校基本科研业务费资助项目(SY-1448)资助
飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性...
关键词：座舱压力调节系统 体系结构分析及设计语言(AADL) 广义随机Petri网(GSPN) 可靠性 
基于粒子群优化的多数据链任务分配模型及方法被引量：1
《电讯技术》2014年第11期1560-1564,共5页田毅 阎芳 刘锐 赵长啸 
民航科技创新引导资金资助项目(20500201);天津市民用航空器适航与维修重点实验室基金项目~~
数据链作为"战斗力的倍增器"受到各国军方的重视,多种数据链被开发出来以应对不同的场景,然而不同的数据链有不同的特性,难以实现多数据链间的互联互通。针对此问题,提出了一种通过多数据链平台分发任务的模式,给出了多数据链任务分配...
关键词：战术数据链 任务分配 粒子群 互操作性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部