Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

航空公司航材资源管理研究

航空公司的航材资源管理直接关系到机务维护、航班运行以及公司的成本效益．本文分析了航材需求的因素．阐述了飞机机队、工程、维修、可靠性、供应链管理与航材资源之间的关系．并提出航材资源的三个重要管控维度及其衡量方式。     

浅析航材承修商多维度管理

在深航近年来使用的承修商管理模式的基础上,通过实践不断修正,新增可视化质量评估平台,使深航的承修商管理形成一个完整的闭环监控,本文对这一可视化质量评估模型进行了详细介绍,以期为业内航材承修商管理工作提供参考。     

Multi-level virtual prototyping of electromechanical actuation system for more electric aircraft

Electromechanical actuators (EMAs) are becoming increasingly attractive in the field of more electric aircraft because of their outstanding benefits, which include reduced fuel burn and maintenance cost, enhanced system flexibility, and improved management of fault detection and isolation. However, electromechanical actuation raises specific issues when being used for safety-critical aerospace applications like flight controls: huge reflected inertia to load, jamming-type failure, and increase of backlash with service due to wear and local dissipation of heat losses for thermal balance. This study proposes an incremental approach for virtual prototyping of EMAs. It is driven by a model-based system engineering process in order to enable simulation-aided design. Best practices supported by Bond graph formalism are suggested to develop a model’s structure efficiently and to make the model ready for use (or extension) by addressing the above mentioned issues. Physical effects are progressively introduced, and the realism of lumped-parameter models is increased step-by-step. In particular, multi-level component models are architected to ensure continuity between engineering activities. The models are implemented in the AMESim simulation environment, and simulation responses are given to illustrate how they can be used for preliminary sizing, control design, thermal balance verification, and faults to failure analysis. The proposed best practices intend to provide engineers with fast, reusable, and efficient means to assess performance virtually and enhance maturity, performance, and robustness.     

热力学排气系统中节流效应及其冷量利用分析

为更好地理解热力学排气系统(TVS)的运行机理，优化其运行参数，针对节流装置，建立了热力学模型，讨论了节流过程中状态参数的变化规律，对比了单相气体、单相液体节流的性能特性，进一步揭示了焦汤节流效应的原理，分析了不同节流背压下节流前低温工质(液氢和液氧)压力和温度对节流性能的影响，并结合TVS实际应用，阐述了节流最大制冷量的利用效果，提出了优化的TVS工作区间。研究表明：在节流过程不发生相变情况下单相气体节流制冷效应要比单相液体节流制冷效应更加显著；而在节流过程发生相变情况下液体节流至两相后，由于空化吸热导致流体温度降低，对于液氢，0.5MPa的压降可产生接近3 K的温降。对于液体节流，节流前压力对节流过程影响可忽略，〖JP2〗而节流前温度和节流背压对节流过程起主导作用；对于液氢在在轨运行工况下，考虑到节流制冷量的充分利用，同时保证换热过程体积含气率不高于90%，推荐TVS系统中节流背压范围为75～143 kPa。     

A data-driven approach to modeling high-density terminal areas: A scenario analysis of the new Beijing,China airspace

Airports are being developed and expanded rapidly in China to accommodate and pro-mote a growing aviation market. The future Beijing Daxing International Airport (DAX) will serve as the central airport of the JingJinJi megaregion, knitting the Beijing, Tianjin, and Hebei regions together. DAX will be a busy airport from its inception, relieving congestion and accommodating growth from Beijing Capital International Airport (PEK), currently the second busiest airport in the world in passengers moved. We aim to model terminal airspace designs and possible conflicts in the future Beijing Multi-Airport System (MAS). We investigate standard arrival procedures and mathematically model current and future arrival trajectories into PEK and DAX by collecting large quantities of publicly available track data from historical arrivals operating within the Beijing terminal airspace. We find that (1) trajectory models constructed from real data capture aberrations and deviations from standard arrival procedures, validating the need to incorporate data on histor-ical trajectories with standard procedures when evaluating the airspace and (2) given all existing constraints, DAX may be restricted to using north and east arrival flows, constraining the capacity required to handle the increases in air traffic demand to Beijing. The results indicate that the termi-nal airspace above Beijing, and the future JingJinJi region, requires careful consideration if the full capacity benefits of the two major airports are to be realized.     

基于人工神经网络的停机坪安全预警研究

停机坪是机场的重要组成部分,停机坪安全是机场安全关注的重点。影响停机坪安全作业的要素有很多,通过对这些要素进行监控和预警,可以减少停机坪的安全隐患,保证机场正常运行。根据济南遥墙机场的主要数据,运用因子分析法对影响停机坪安全的主要因素进行分类,提取公共因子。并运用人工神经网络（ANN）方法,对这些公共因子进行神经网络训练和预测分析,最终得到遥墙机场停机坪的安全情况。     

技术注释标准化管理研究

主要对技术注释标注的标准化、规范化进行探讨,提出利用数据库技术对技术注释进行标准化管理,并给出了实际可行的建库思路,指导了技术注释数据库系统的整个建设过程.     

维修方案项目优化的可靠性分析方法

通过可靠性管理对民用航空器维修方案的动态监控,实施对维修方案项目执行情况的跟踪和可靠性分析,以机队实际运行数据为背景,提出对维修方案项目管理系统性的优化和管理方法,以使航空公司的维修方案更加符合机队的实际使用和维护特点,进一步提高机队的运行效率、降低维修成本和提高航班准点率。