全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 基于约束规划的航空电子系统任务分配与调度方法
- 作者： 曾清华 杨志斌 周勇 来源： 小型微型计算机系统 年份： 2024 文献类型 ： 期刊 关键词： 约束规划 综合模块化航空电子系统 任务分配与调度 多核处理器
- 描述： 随着综合模块化航空电子系统(Integrated Modular Avionics, IMA)对计算性能要求的日趋提高，既能提供更强计算能力又能减少电子设备的体积、重量和功耗的多核处理器将在航空电子系统领域得到广泛应用.目前航空电子系统的任务分配和调度主要基于手工方式，较少考虑多核环境下共享资源竞争带来的时间延迟，并且当系统更新时需要重新编排，十分耗时耗力.本文提出一种基于约束规划(Constraint Programming, CP)的航空电子系统任务自动化分配与调度方法.首先，给出了多核环境下任务最坏执行时间(WCET)的分析方法；其次，给出了基于CP的任务分配和调度方法；最后，设计与实现了原型工具CP4IMA,并基于ARINC653操作系统平台进行案例分析，验证了本文所提方法的有效性.
- 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法
- 作者： 凌仕翔 杨志斌 周勇 来源： 计算机科学 年份： 2024 文献类型 ： 期刊 关键词： AADL ARINC653操作系统 综合化航空电子系统 代码自动生成
- 描述： 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法
- 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法
- 作者： 凌仕翔 杨志斌 周勇 来源： 计算机科学 年份： 2024 文献类型 ： 期刊 关键词： AADL ARINC653操作系统 综合化航空电子系统 代码自动生成
- 描述： 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法
- 基于SDN与NFV的航空信息网虚拟化体现结构研究
- 作者： 卢俊 李斌 韩昀 陈昱彤 来源： 信息记录材料 年份： 2024 文献类型 ： 期刊 关键词： 软件定义网络 网络虚拟化 航空电子
- 描述： 未来的航空环境将面临任务复杂多样，单一的航空电子系统处理和数据存取资源难以满足航空电子任务所需资源要求，多系统、跨平台、信息融合、协同合作是未来航空体系发展趋势，因此需要进行多系统跨平台综合。多系统跨平台综合需要航空信息网具备覆盖范围广、网络拓扑结构动态可变、资源利用充分以及应用服务多样化的特性。针对多跨系统跨平台综合对航空信息网的要求，基于软件定义网络(software defined network, SDN)和网络功能虚拟化(network functions virtualization, NFV)构建SDN-NFV网络，分析其在网络覆盖范围、网络拓扑结构动态构建、资源分配利用以及在应用服务多样化的优势，从而解决多系统跨平台综合的航空信息网要求。
- 新时代高校军事理论课程高质量发展的探索与实践——以郑州航空工业管理学院为例
- 作者： 张超 李广锋 王洪梁 邢金善 来源： 中国军转民 年份： 2024 文献类型 ： 期刊 关键词： 军事理论课程 国防教育 高校
- 描述： “国无防不立,善教得民心。”在推进强国建设、民族复兴的时代背景下,高校军事理论课程作为全民国防教育的重要阵地,其基础性和战略性地位更加突显。但目前军事理论课程还存在教学质量不高、学生兴趣不浓、育人价值难以实现等困境,制约了高校国防教育的高质量发展。为此,本文以郑州航空工业管理学院为例,从创新教学模式,打造教学平台,贯穿课程思政,精准考评机制四个方面论述军事理论课程改革发展的新思路和新实践。
- 2023年全球主要航空市场回顾与未来展望
- 作者： 张超 罗同 陈欣昱 来源： 空运商务 年份： 2024 文献类型 ： 期刊
- 描述： <正>2023年全球航空出行需求保持恢复态势，据国际航空运输协会（IATA）统计，2023年全球航空客运总量（按收入客公里计算）已恢复至疫情前（2019年）水平的94.1%。然而由于各国疫情防控政策