2019年第50卷第4期文章目次

  • 显示方式:
  • 简洁模式
  • 摘要模式
  • 1  下一代综合模块化航空电子系统关键技术研究
    马莹莹,刘青春,胡飞,姚建国
    2019, 50(4):1-9. DOI: 10.3969/j.issn. 1006-141X.2019.04.01
    [摘要](15) [HTML](0) [PDF 443.65 K](63)
    摘要:
    随着高新技术的不断发展,航空电子机载系统能支持越来越复杂的功能,当前的综合模块化航空电子(IMA)系统架构采用模块化的设计以及开放式的架构,在提高航空电子系统可靠性的同时大大降低了功耗及成本。但随着飞行任务的日益复杂以及机载系统功能的不断增加,当前的IMA系统在面对复杂的应用需求时出现了无法突破的技术瓶颈。基于当前IMA系统的技术瓶颈,详细描述了下一代IMA系统的架构设计细节,总结了实施下一代IMA系统将面临的技术挑战,从高速网络,高性能多核处理器以及多核虚拟化等方面分析了有望发挥重要作用的关键技术,并提供了关键技术可行的研究思路,为下一代IMA系统的相关研究提供参考。
    2  基于Windows平台的嵌入式仿真适配技术研究
    陈可可,杜承烈,梁文豫,顾 青,纪组赑
    2019, 50(4):10-15. DOI: 10.3969/j.issn. 1006-141X.2019.04.02
    [摘要](3) [HTML](0) [PDF 678.38 K](46)
    摘要:
    嵌入式操作系统因其强大的实时性能而被广泛采用,特别是在需要实时通信和任务处理的大型系统中。然而嵌入式操作系统的高价格和不友好的用户界面限制了应用范围。作为一种发展趋势,在通用桌面操作系统(如Windows和Linux)上构建实时应用程序、充分利用其友好的图形用户界面、具备良好的多任务处理性能和出色的硬件兼容性对提高普通桌面操作系统的实时性具有重要意义。在Windows系统上进行实时扩展,以改进其调度和任务处理兼容性。实验结果表明,该扩展对任务处理有很好的效果,可满足应用程序的实时性要求。
    3  基于模型的航空电子系统体系化需求分析与仿真
    陈聪,邓平煜,李兵飞,沈届时
    2019, 50(4):16-22. DOI: 10.3969/j.issn. 1006-141X.2019.04.03
    [摘要](7) [HTML](0) [PDF 438.75 K](49)
    摘要:
    借鉴体系工程思想及体系结构设计方法,结合航空武器装备需求论证实践,提出基于模型的航空电子系统体系化需求分析与仿真方法,以及体系架构模型协同仿真环境设计方案,能够有效支撑航空电子体系化需求论证和顶层设计,具有重要的理论价值和实践意义。
    4  一种基于AADL的航空电子系统仿真和验证技术
    李铁颖,王科翔,戴苏榕
    2019, 50(4):23-28. DOI: 10.3969/j.issn. 1006-141X.2019.04.04
    [摘要](1) [HTML](0) [PDF 416.44 K](44)
    摘要:
    飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke 结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。
    5  无人机地面座舱语音控制系统验证平台开发
    徐克,史海庆,李辰
    2019, 50(4):29-33. DOI: 10.3969/j.issn. 1006-141X.2019.04.05
    [摘要](0) [HTML](0) [PDF 357.69 K](49)
    摘要:
    介绍了一种面向无人机地面座舱的语音控制系统的综合验证平台的设计方案,从系统与实现层面对构成平台的各个组成部分进行了具体功能阐述,并提出了一种动态显示语音指令控件的配置格式,为无人机语音控制系统的测试提供了一种新的解决方案。
    6  对海作战无人机指挥控制系统发展综述
    徐光,胡江涛
    2019, 50(4):34-39. DOI: 10.3969/j.issn. 1006-141X.2019.04.06
    [摘要](4) [HTML](0) [PDF 567.00 K](46)
    摘要:
    首先对国外无人机指挥控制系统的发展现状、趋势进行了分析,引出我国对海作战无人机指挥控制系统产品谱系、技术领域发展路线的研究需求,还分析了我国对海作战无人机的作战需求和部署模式,得出不同形态控制站的发展思路和技术路线,同时结合美军无人机指挥控制系统核心能力发展情况,提出我国对海作战无人机指挥控制系统重点技术发展规划,为我国对海作战先进无人机指挥控制装备的研发进行探索。
    7  基于不规则障碍物环境下无人机的改进几何路径规划算法
    凌富园,杜承烈,孙宝亮,顾青
    2019, 50(4):40-46. DOI: 10.3969/j.issn. 1006-141X.2019.04.07
    [摘要](0) [HTML](0) [PDF 812.31 K](40)
    摘要:
    随着无人机应用环境的多样化,在复杂环境中寻找无碰撞路径是非常重要的。传统的路径规划算法可以找到可行的路径,但它们在时间效率和路径长度之间没有很好的平衡,传统的几何算法只能避免特殊形状的障碍物。提出了一种改进的几何路径规划算法,使无人机能够在复杂的环境中避开任意形状的障碍物,找到较短的路径。首先,针对不规则障碍物,建立了凸多边形覆盖模型。然后解决了传统几何算法陷入局部最优解的缺点。提出了从相邻路径段生成无碰撞路径的二次规划思想,并针对该方法提出了一种新的安全阀值策略。最后,为了验证算法的性能,在不同的复杂环境下进行了仿真,并从几个方面对所提出的算法与A*算法进行了对比分析。
    8  基于WPF的民机驾驶舱人机接口快速原型技术
    王舒宁,樊超逸,谷青范
    2019, 50(4):47-52. DOI: 10.3969/j.issn. 1006-141X.2019.04.08
    [摘要](5) [HTML](0) [PDF 458.26 K](45)
    摘要:
    新一代Windows 呈现基础(WPF)技术以其丰富的界面表现力和功能扩展能力被广泛应用于图形处理和界面设计上。WPF技术应用于民机驾驶舱人机接口快速原型的开发过程中,将界面与逻辑的开发完全分离,提升开发效率,增强模型可复用性。基于此流程创建的人机接口快速原型可用于显示系统研发过程中的早期设计阶段,确认需求的合理性,优化人机接口设计,减少后期显示系统软件研制过程中的更改,缩短开发周期,具有重要的工程应用价值。
    9  符合民机适航标准的形式化方法研究
    王辉,陈蕾,曹杨华,唐晨
    2019, 50(4):53-59. DOI: 10.3969/j.issn. 1006-141X.2019.04.09
    [摘要](2) [HTML](0) [PDF 367.78 K](54)
    摘要:
    描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。

    当期目录


    年第卷第

    文章目录

    过刊浏览

    年份

    刊期

    浏览排行

    引用排行

    下载排行

    您是第位访问者
    航空电子技术 ® 2022 版权所有
    技术支持:北京勤云科技发展有限公司