构建训练飞行的管制程序

长期以来,训练飞行在各类性质飞行中占有较大比例,安全保障问题日渐突出,尤其对于空中交通管理者而言,不仅在于规则运用的灵活性方面有了更高的要求,而且在以事实和逻辑为依据的理性决策过程中,训练飞行管制程序的制定还应充分考虑到飞行规则、程序设计、决策风格、适时情景、班组风格以及人格因素,以期从制度上为决策提供支持,同时要求程序设计者对于构建要素应恰当地做出取舍。     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

数控加工仿真程序设计

数控加工程序编制是提高数控机床使用效率的关键,直接影响产品生产的周期和效益。传统的检查方法是在数控机床上进行试初,既费时又费力。而利用计算机在屏幕上显示刀心轨迹,进行加工仿真,来验证数控加工程序的正确性,既方便又快捷。本文介绍了平面类零件数控加工仿真程序设计的具体方法。     

浅析基于门禁管理实施并行工程民机研制过程模式和模型

当前国内商用飞机研制和制造技术快速发展,在探索实施分阶段管控的背景下,国内商用飞机研制程序有待进一步细化和统一认识。制造技术、信息技术和管理的全面发展改变了原有的商用飞机研制模式,归纳梳理了商用飞机研制原则,分析了国际主流商用飞机制造商的研制阶段划分原则和先进方法在商用飞机研制中的应用情况,首次对商用飞机研制分阶段管控进行了定义,并结合现有型号研制经验和实际需求,初步提出了基于门禁管控实施并行工程的商用飞机研制过程模式和模型,对需求确认、方案设计、生产制造、集成验证、运行支持等研制活动的实施时机进行了初步研究,分析了门禁评审和研制过程的逻辑关系,希望对商用飞机研制程序细化和实际工作安排提供参考。     

“成都/双流—北京/首都”临时航线发动机失效应急飘降程序设计研究

“成都/双流—北京/首都”临时航线属于高原航线,以空中客车A321-232在“OMBON-XIXAN”航段出现发动机失效为背景,依据飞机性能特点完成该临时航线飘降程序设计,最后定义出机组操作程序。研究可知：应急飘降过程应满足飞机安全越障的要求;设计应急飘降程序应满足合理、高效、易操作的原则;关键点是飞行员完成机组操作程序的参考;该应急飘降程序能提高航班正常性。研究成果对其他机型或类似航线的安全飞行具有借鉴意义。     

载人飞船自动化测试平台的设计与应用

载人飞船测试模式复杂、参数多,自动化测试一直难以全面应用。文章提出的自动化过程控制与分析平台,以全周期测试过程为对象进行设计,采用子项目设计的方法将复杂的项目层层分解并进行组合复用,以解决载人飞船难以应用自动化测试的难题。自动化测试平台具有指令自动发送过程控制、参数自动分析判读、过程数据与管理信息自动收集等功能,是一个自顶而下的全周期测试平台,可将测试工作前移,在分系统联试阶段即开始程序设计、判据设计与验证工作,将人的经验固化,实现由主观经验到客观知识的转变。该平台在神舟11号载人飞船综合测试任务中首次进行应用,覆盖了任务期间地面测试阶段的全部测试项目,测试效率综合提升约30%。该平台积累的知识库和管理经验可直接应用于后续载人飞船,并可应用于空间站等其他载人航天器。