排序方式: 共有12条查询结果,搜索用时 0 毫秒
2.
飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。 相似文献
3.
4.
5.
6.
7.
8.
9.
介绍了在航空电子产品的研发、生产过程中运用六西格玛、精益生产两种工具,使得研发、生产制造周期缩短、降低浪费,提高有效作业时间等方面得到改进,浅议六西格玛和精益生产在实际运用上的差异。 相似文献
10.
无人机低空域安全飞行管理概述 总被引:1,自引:0,他引:1
无人机具备的飞行时间长和灵活性高等特点是许多有人机无法比拟的优势。随着自动化和传感器技术的不断进步,无人机在成本方面的巨大优势使其在军事和民用领域的应用日益增多。如何在今后的空域环境中对无人机进行有效的空中交通管理成为首要考虑的问题。本文针对今后无人机空中交通管理提出了一些设想,建议采取基于网络的空中交通控制模式,通过自动路径优化和协作以避免发生冲突,并从战略和战术层面对任务进行管理和分配,实现对网络的无缝化监管,确保空域内无人机的安全飞行。 相似文献