嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

DMLD在航空发动机修理中的应用

直接金属激光沉积(DMLD),又称激光净成形(LENS)、直接金属沉积(DMD)、直接激光沉积(DLD)、激光包覆以及粉末熔焊.其过程的实质是:用激光束在金属基体上形成一个熔池,将粉末送入熔池熔化并黏结在基体上形成沉积物.激光器以及粉末进给用的喷嘴均采用CNC机器手或龙门架式系统操作.     

浅析美国军用航空关键安全项管理及国内现状思考建议

研究梳理了美国军用航空关键安全项管理现状,对国内军用航空关键安全项管理的现状进行了分析。提出了自上向下的国内军用航空关键安全项管理的思路建议。     

基于展向参数主动控制的机翼外形设计方法

传统的机翼外形设计方法包括平面形状设计和关键剖面翼型控制,但有限的机翼剖面翼型无法完全控制机翼参数沿展向的完整分布。以主动控制机翼参数沿展向分布规律为出发点,基于 CATA 中创成式曲面设计模块,提出了一种新的机翼外形设计方法。在所展示的建模实例中,实现了对机翼弦长、几何扭转角、翼型厚度等参数沿展向分布规律的主动控制。建模结果显示,与传统的机翼外形设计方法相比,获得了理论弦曲面和理论前后缘曲线,而非理论弦平面和理论前后缘直线,同时得到前后缘线以外的其余"条展向引导线。该方法可以很容易地推广到对后掠角、最大厚度、最大弯度等参数沿展向分布的主动控制,具有工程应用价值。     

工艺质量控制的关键问题

以工厂型号生产实践为依据 ,概述特性分类、技术归零和技术状态是工艺质量控制的关键问题。     

星载合成孔径雷达系统设计的主要问题

着重说明星载合成孔径雷达系统工作频率、极化方式、入射角、分辨率、观测带宽、收发方式、工作模式、脉冲重复频率、数据率及发射功率等关键参数选择的一些主要问题。     

基于知识的棱柱体零件制孔工序的选择和排序（上）

基于知识的棱柱体零件制孔工序的选择和排序（上）一引言工序选择和排序是工艺计划的核心，是计算机编程中最难以把握的部分。人工智能技术是正在发展之中的最有希望解决该问题的方法。大多数人工智能方法使用产生式系统，用ｉｆ－ｔｈｅｎ规则表示工艺计划的逻辑。它们中...     

基于DEMATEL的空域扇区复杂性影响因素研究

空域扇区复杂性直接影响着空域结构的合理性、管制员工作负荷的均衡性、交通运行的科学性以及空域规划的客观性,是保障航路运行安全,提高空域运行效率的主要方式。针对空域扇区复杂性影响因子较多的特点,首先构建影响空域扇区复杂性的因子体系,其次利用DEMATEL方法对影响空域扇区复杂性的因子进行量化,分析各因素与复杂性的关系及各因素间的关系,最后筛选出关键影响因素,并提出优化空域扇区复杂性的一些建议。     

基于网络图的飞机大修进度模拟分析

飞机大修进度控制是一项复杂、随机性强,却有规律性可循的管理项目。通过对以往若干批次飞机大修进度数据的统计分析,结合专家评估,得到飞机大修中各工艺作业的进度规律,并以此作为大修网络图中的各项作业的基础参数,建立网络图计算模型,借助于计算机大数据模拟来分析大修网络图的内在规律,为实际飞机大修进度 制定和网络图优化提供参考依据。     

读来读往

我国的大飞机项目正如火如荼地进行,本期杂志即是针对大飞机而特别策划的大飞机专刊,为读者们带来有关大飞机关键技术的最新信息与文章。在本期中,封面文章是由中国燃气涡轮研究院谢留传撰写的有关罗·罗公司遄达(Trent)XWB发动机的最新研究进展;专稿是由上飞公司高级工程师卢鹄带来的C919大型客机的协同数字化工艺设计;论坛针对大飞机关键制造技术进行全面探讨,而特别策划的大飞机技术专题汇集了研发大飞机所需的设计、动力和机载设备