检索结果-维普期刊中文期刊服务平台

综合模块化航空电子软件分布式测试平台研究被引量：5: 1; 作者周敏刚牟明 +1 位作者王泉张蕾《电光与控制》北大核心 2018年第2期74-78,共5页; 阐述了一种基于IMA架构的航电软件分布式测试平台,该平台节点分为服务器端和客户端两类,通过互联网连接,客户端运用Java技术构建测试任务提交和结果获取,服务器端采用与目标机相互配合的方式实现客户端测试任务的调度和管理、测试程序... 展开更多; 关键词航空电子综合模块化航电软件分布式测试测试代理测试管理; 在线阅读下载PDF 职称材料

时间触发网络在分布式架构中的应用分析被引量：2: 2; 作者赵永库黄中华《电光与控制》 CSCD 北大核心 2022年第10期82-87,91,共7页; 在分析综合化航电系统架构发展趋势的基础上,重点研究了分布式综合模块化航电(DIMA)系统架构的概念、模型、特点以及对时间触发网络的需求,提出了基于时间触发网络的分布式架构模型,研究了时间触发架构在分布式系统中的应用方法,为下一... 展开更多; 关键词时间触发网络计算和通信模型网络通信技术分布式综合模块化航电系统架构; 在线阅读下载PDF 职称材料

大型民用特种飞机平台航电系统架构分析被引量：5: 3; 作者张宏志常妍《电讯技术》北大核心 2020年第4期386-392,共7页; 通过分析大型民用特种飞机使用场景,将航电系统进一步划分为平台航电系统和任务航电系统,提出了"大分布、小综合"的平台航电系统架构设计理念。该设计理念采用分布式综合模块化架构,对平台航电系统的各分系统进行功能区域性... 展开更多; 关键词民用特种飞机航电系统架构设计分布式综合模块化; 在线阅读下载PDF 职称材料

应用约束下时间触发消息调度表的生成方法被引量：3: 4; 作者李刚李峭《计算机工程与设计》北大核心 2017年第7期1724-1729,共6页; 在对DIMA分布式应用执行的建模和分析的基础上,对具有时间确定性的时间触发(time-triggered,TT)消息对DIMA中实时任务的影响进行分析;以此为依据,以任务间依赖关系和DIMA的时间分区机制为重点考察对象,提出应用层对网络层上时间触发消... 展开更多; 关键词分布式综合化模块化航电时间触发以太网时间约束调度规划启发式算法; 在线阅读下载PDF 职称材料

基于模型检验的分级调度系统参数生成方法被引量：2: 5; 作者韩朴杰翟正军 +1 位作者陆艳洪李运喜《西北工业大学学报》 EI CAS CSCD 北大核心 2019年第6期1302-1309,共8页; 针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系... 展开更多; 关键词综合模块化航电分级调度参数生成时间自动机统计模型检验分布式遗传算法; 在线阅读下载PDF 职称材料

题名综合模块化航空电子软件分布式测试平台研究被引量：5: 1; 作者周敏刚牟明王泉张蕾; 机构中国航空工业集团公司西安航空计算技术研究所; 出处《电光与控制》北大核心 2018年第2期74-78,共5页; 基金国防基础科研项目(A0520132029); 文摘阐述了一种基于IMA架构的航电软件分布式测试平台,该平台节点分为服务器端和客户端两类,通过互联网连接,客户端运用Java技术构建测试任务提交和结果获取,服务器端采用与目标机相互配合的方式实现客户端测试任务的调度和管理、测试程序的自动编译、链接、加载、执行和测试结果的存储、收集。该平台可实现有限的IMA硬件资源共享,提高资源利用率与测试效率,并可对IMA软件进行有效、充分的配置项或系统测试,为IMA航电软件的远程测试提供了有效的解决方案。; 关键词航空电子综合模块化航电软件分布式测试测试代理测试管理; Keywords avionics integrated modularization avionics software distributed testing test agent test management; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名时间触发网络在分布式架构中的应用分析被引量：2: 2; 作者赵永库黄中华; 机构中国航空工业集团公司第一飞机设计研究院中国人民解放军; 出处《电光与控制》 CSCD 北大核心 2022年第10期82-87,91,共7页; 文摘在分析综合化航电系统架构发展趋势的基础上,重点研究了分布式综合模块化航电(DIMA)系统架构的概念、模型、特点以及对时间触发网络的需求,提出了基于时间触发网络的分布式架构模型,研究了时间触发架构在分布式系统中的应用方法,为下一代航电系统架构选型和实现提供了解决思路。; 关键词时间触发网络计算和通信模型网络通信技术分布式综合模块化航电系统架构; Keywords time-triggered network Models of Computation and Communication(MoCC) network communication technology Distributed Integrated Modular Avionics(DIMA)system architecture; 分类号 V243 [航空宇航科学与技术—飞行器设计]; 在线阅读下载PDF 职称材料

题名大型民用特种飞机平台航电系统架构分析被引量：5: 3; 作者张宏志常妍; 机构中航通飞研究院有限公司; 出处《电讯技术》北大核心 2020年第4期386-392,共7页; 文摘通过分析大型民用特种飞机使用场景,将航电系统进一步划分为平台航电系统和任务航电系统,提出了"大分布、小综合"的平台航电系统架构设计理念。该设计理念采用分布式综合模块化架构,对平台航电系统的各分系统进行功能区域性综合。此外,还分析了平台航电系统架构的验证方法、适航取证思路等方面内容,可为后续大型民用特种飞机的平台航电系统设计提供借鉴和参考。; 关键词民用特种飞机航电系统架构设计分布式综合模块化; Keywords civil amphibious aircraft avionics system architecture design distributed integrated modular avionics(DIMA); 分类号 TN802 [电子电信—信息与通信工程] V243 [航空宇航科学与技术—飞行器设计]; 在线阅读下载PDF 职称材料

题名应用约束下时间触发消息调度表的生成方法被引量：3: 4; 作者李刚李峭; 机构北京航空航天大学电子信息工程学院; 出处《计算机工程与设计》北大核心 2017年第7期1724-1729,共6页; 基金国家自然科学基金项目(61301086 61073012) 中央高校基本科研业务费基金项目(YWF-15-GJSYS-055); 文摘在对DIMA分布式应用执行的建模和分析的基础上,对具有时间确定性的时间触发(time-triggered,TT)消息对DIMA中实时任务的影响进行分析;以此为依据,以任务间依赖关系和DIMA的时间分区机制为重点考察对象,提出应用层对网络层上时间触发消息的时间约束模型和冲突矩阵概念。设计一种基于启发式优化算法的应用约束下时间触发消息调度表的生成方法,通过冲突矩阵检查步骤提高求解过程中的效率。通过软件仿真实现对该优化生成方法的适用性进行验证。; 关键词分布式综合化模块化航电时间触发以太网时间约束调度规划启发式算法; Keywords DIMA TTE time constraint schedule heuristic algorithm; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于模型检验的分级调度系统参数生成方法被引量：2: 5; 作者韩朴杰翟正军陆艳洪李运喜; 机构西北工业大学计算机学院航空工业西安航空计算技术研究所; 出处《西北工业大学学报》 EI CAS CSCD 北大核心 2019年第6期1302-1309,共8页; 基金国家自然科学基金(61601371) 航空科学基金(2016ZD53035) 中航产学研项目(cxy2013XGD14)资助; 文摘针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系统可调度性的前提下,采用分布式遗传算法搜索具有最优处理器利用率的参数。其中,系统的可调度性约束表述为符号模型检验中的安全性属性和统计模型检验中的假设检验2种形式。相比广泛应用的响应时间分析模型,该方法的形式化模型具有更强的表达能力,能更精确地描述复杂系统特征。而且统计模型检验的引入缓解了传统模型检验的“状态空间爆炸”问题。参数生成实验表明该方法能够定位参数空间中的全局最优解。; 关键词综合模块化航电分级调度参数生成时间自动机统计模型检验分布式遗传算法; Keywords integrated modular avionics hierarchical scheduling parameter generation timed automata statistical model checking distributed genetic algorithm; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	综合模块化航空电子软件分布式测试平台研究	周敏刚牟明王泉张蕾	《电光与控制》北大核心	2018	5	在线阅读下载PDF 职称材料
2	时间触发网络在分布式架构中的应用分析	赵永库黄中华	《电光与控制》 CSCD 北大核心	2022	2	在线阅读下载PDF 职称材料
3	大型民用特种飞机平台航电系统架构分析	张宏志常妍	《电讯技术》北大核心	2020	5	在线阅读下载PDF 职称材料
4	应用约束下时间触发消息调度表的生成方法	李刚李峭	《计算机工程与设计》北大核心	2017	3	在线阅读下载PDF 职称材料
5	基于模型检验的分级调度系统参数生成方法	韩朴杰翟正军陆艳洪李运喜	《西北工业大学学报》 EI CAS CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料