首页期刊导航|航空计算技术
期刊信息/Journal information
航空计算技术
航空计算技术

双月刊

1671-654X

act631@163.com

029-88151098

710068

西安市太白北路156号（西安90信箱）

航空计算技术/Journal Aeronautical Computing TechniqueCSTPCD
正式出版
收录年代

    基于工具服务历史的机载软件工具鉴定方法

    刘兆辉陆敏敏杨爱民
    99-102页
    查看更多>>摘要：目前,随着各类工具在国内民机机载软件研制中的大量使用,软件研制团队在软件开发过程中,不仅要考虑机载软件的适航审定要求,也要考虑所用工具的鉴定要求.以DO-178C和DO-330标准为基础,介绍了判断工具是否需要鉴定的流程、确定工具鉴定等级的方法、工具鉴定的生命周期以及工具鉴定的利益相关方和职责,并分析和研究了工具服务历史方法在机载软件工具鉴定中的应用,说明了对工具服务历史进行评估的要求和活动.最后,通过项目实例证明基于工具服务历史方法进行机载软件工具鉴定是可行的.

    机载软件工具鉴定服务历史工具鉴定等级

      原文链接:
    • 万方数据
    • 维普

    一种面向嵌入式NVMe存储设备的对齐优化设计

    王冬任晓瑞杨琼张鹏...
    103-106页
    查看更多>>摘要：嵌入式领域的软件存储栈较为精简,嵌入式文件系统等上层软件在使用NVMe驱动时没有专门的块设备管理层处理缓冲区不对齐,导致发生操作失败、数据内容不一致等问题.文章提出了一种对齐优化设计,当用户读、写缓冲区不满足对齐要求时,动态维护对齐链式缓冲池,以完成针对NVMe控制器的数据中转,同时按照通道数目建立了多链表对齐缓冲池,并使用计数信号量保证NVMe驱动的并发性能.通过这种优化设计能够以较小的性能损耗,解决嵌入式NVMe驱动因对齐导致的不可用问题.

    对齐优化链式缓冲池并发性能嵌入式NVMe驱动

      原文链接:
    • 万方数据
    • 维普

    多源冗余容错导航计算系统的设计与实现

    桑可可祖家奎叶晓宇刘世龙...
    107-111页
    查看更多>>摘要：常规无人机在余度配置传感器的信号处理、余度管理、故障检测与隔离等环节占用飞控计算机过多运算资源,增加了飞控计算机的整体负荷,致使全系统可靠性降低;与此同时,传统的传感器余度配置方案和导航计算机余度设计在工程中存在方案不完备和实时性较差等局限性.鉴于此,提出一种多源冗余容错导航计算系统的解决方案,给出系统的软硬件设计方法,并基于非相似余度技术设计多源冗余传感器硬件和软件滤波算法,采用双CPU+FPGA的架构设计多源冗余容错导航计算机硬件平台以及模块化软件架构,实现了系统的软硬件的开发.经过实际测试和试验,验证了系统具有通信速率快、可靠性高和稳定性好等特点,满足了高可靠性飞控系统对新型组合惯导的需求.

    导航计算机多源冗余传感器双CPU容错

      原文链接:
    • 万方数据
    • 维普

    基于DO-330标准的机载产品工具鉴定过程研究

    荆浩李雪源杨利宁
    112-116页
    查看更多>>摘要：机载系统开发过包括计划、功能开发、配置、仿真、集成和验证6个方面,每个过程都需要特定工具的支持.工具通过自动化执行相应的预期功能,避免引入人为错误,来分析和提高系统的安全性.用户对工具所执行活动置信度的考虑引出了工具鉴定的概念,工具鉴定的目的是为了获取用户对工具功能的信任.以软件开发生命周期所用到的工具为例,对工具鉴定全生命周期过程进行了描述,并通过实际案例进行工具鉴定过程的分析,希望对机载系统工具使用和开发人员有一定的参考价值.

    航空电子机载软件工具鉴定DO-178B/CDO-330

      原文链接:
    • 万方数据
    • 维普

    分区OS与TTE网络之间的时钟同步方法研究

    王宁牛玥瑶崔西宁
    117-120页
    查看更多>>摘要：随着航空电子系统综合化模块化程度的不断提高,日益增加的软件功能使得系统规模和复杂程度随之增加.为了满足系统高安全、高可靠的性能需求,确保周期任务的顺利执行,提出了一种基于时间触发以太网与ARINC 653分区操作系统的时钟同步优化算法,在传统算法的基础上,分别针对起始点同步与周期性调整两个阶段进行了算法优化.经试验验证,算法能够更加精确地对上下层时钟周期进行同步,有效地缩短了起始点同步时长、提高了周期性调整精度.

    航空电子系统TTE网络ARINC653分区操作系统时钟同步算法

      原文链接:
    • 万方数据
    • 维普

    浅谈DO-178C中附加代码验证目标的实现

    陈晓磊程小贤
    121-123,129页
    查看更多>>摘要：DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证.DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证.在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9"不能追踪到源代码的附加代码的验证已完成".

    结构覆盖分析(SCA)源代码(SC)目标码(OC)可执行目标码(EOC)

      原文链接:
    • 万方数据
    • 维普

    语音识别在空中交通管制中的应用挑战与发展

    孔建国李煜琨蒋培元梁海军...
    124-129页
    查看更多>>摘要：研究一种安全可靠的管制语音识别系统对于推进空管自动化进程、降低管制人员负荷、提升安全效能至关重要.对管制语音识别技术发展所面临的挑战进行了详细介绍,测试科大讯飞、腾讯云、阿里云、上海麦图这4家公司的商用语音识别系统.结果表明,在前3家通用领域的商用ASR系统中,科大讯飞识别效果最好,CER为25.36％.相比之下,由于麦图的产品是基于ATC数据训练,具有最佳性能,其CER为15.02％.此外,设计了实验来探究人工设计的语音特征和基于自监督预训练策略提取的特征之间的优缺点.结果表明,后者有利于提升识别系统识别准确率和鲁棒性,但存在推理速度慢和部署难度大的问题.最后,总结了研究进展并进行了未来展望.

    ATCASR多任务学习自监督学习知识蒸馏

      原文链接:
    • 万方数据
    • 维普

    空中交通态势感知研究综述

    王云锋黄涛王子玖魏同胜...
    130-134页
    查看更多>>摘要：空中交通系统作为典型的复杂系统,解决空中交通的拥挤、航班延误等问题是当下的研究难点和热点,需大力发展空中交通态势感知这一关键技术,为此对空中交通态势感知技术进行了详细的综述.对空中交通态势识别算法的国内外研究做了概述,随后重点分析了空中交通态势预测技术,依据应用方法不同,将空中交通态势预测分为交通流模型预测、人工智能算法预测以及复杂网络预测,以技术更迭为时间线,对研究成果进行分析,最终基于研究阐述现存问题并对未来研究方向做出展望.

    空中态势识别空中态势预测神经网络复杂网络理论

      原文链接:
    • 万方数据
    • 维普

    《航空计算技术》征稿简则

    封3页
      原文链接:
    • 万方数据
    • 维普