面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

飞行器智能设计愿景与关键问题

未来飞行器正朝着多元化、无人化和智能化的方向发展，高超声速、超隐身和变体等新型飞行器不断涌现。而传统飞行器解耦分拆的设计方法越来越难以满足未来飞行器综合性能全面提升的要求，只有通过整体化设计才能充分发掘飞行器的潜能。通过分析传统飞行器设计中存在的问题，提出满足全生命周期要求的飞行器智能设计体系理念，利用知识库的构建将智能赋予飞行器平台系统设计、制造生产和运维这3个阶段，并通过数字孪生技术进行飞行器全生命周期的仿真、分析和预测，以对飞行器设计、运行等数据进行更新，使该体系形成闭环。就飞行器智能设计体系中需要的关键技术及涉及的科学问题等进行了讨论，并给出了未来发展方向以供参考。     

Sliding mode control design for oblique wing aircraft in wing skewing process

When the wing of Oblique Wing Aircraft (OWA) is skewed, the center of gravity, inertia and aerodynamic characteristics of the aircraft all significantly change, causing an undesirable flight dynamic response, affecting the flying qualities, and even endangering the flight safety. In this study, the dynamic response of an OWA in the wing skewing process is simulated, showing that the three-axis movements of the OWA are highly coupled and present nonlinear characteristics during the wing skewing. As the roll control efficiency of the aileron decreases due to the shortened control arm in an oblique configuration, the all-moving horizontal tail is used for additional roll and the control allocation is performed based on minimum control energy. Given the properties of pitch-roll-yaw coupling and control input and state coupling, and the difficulty of establishing an accurate aerodynamic model in the wing skewing process due to unsteady aerodynamic force, a multi-loop sliding mode controller is formulated by the time-scale separation method. The closed-loop simulation results show that the asymmetric aerodynamics can be balanced and that the velocity and altitude of the aircraft maintain stable, which means that a smooth transition is obtained during the OWA’s wing skewing.     

翼身融合运输机分布式电推进系统设计及油耗评估

针对翼身融合运输机开展了分布式电推进系统的总体设计与油耗评估。通过数值计算完成了70t载质量翼身融合飞机的气动设计与优化。在巡航马赫数为0.80和10km高度的设计点,最大升阻比达到了24。通过求解积分边界层方程组,完成了电推进系统的总体设计。电推进系统包含10个推进风扇,风扇直径为1.45m，压比为1.35，巡航功率为2.94MW。建立了考虑燃烧过程的发动机一维性能模型,对发动机油耗进行了评估,获得了不同发动机循环参数下燃油消耗。建模结果表明,基于翼身融合布局和分布式电推进技术,可使运输机的油耗较C-17节省近50%。      

Study of highly perturbed spacecraft formation dynamics via approximation

This paper explores methods for approximating and analyzing the dynamics of highly perturbed spacecraft formations with an emphasis on computationally efficient approaches. This facilitates on-board computation or rapid preliminary mission design analysis. Perturbed formation dynamics are often approximated as linear time-varying (LTV) systems, for which Floquet theory can be used to analyze the degree of system instability. Furthermore, the angular momentum of the relative orbital state can be computed with the approximate dynamics to provide additional insight. A general methodology is developed first and then applied to the problem of unstable formation dynamics in asteroid orbits. Here the dominant perturbative effects due to low-order gravitational harmonics and solar radiation pressure are modeled. Numerical simulations validate the approach and illustrate the approximation accuracy achieved.     

Fully distributed time-varying formation tracking control for multiple quadrotor vehicles via finite-time convergent extended state observer

This paper investigates a time-varying anti-disturbance formation problem for a group of quadrotor aircrafts with time-varying uncertainties and a directed interaction topology. A novel Finite-Time Convergent Extended State Observer (FTCESO) based fully-distributed formation control scheme is proposed to enhance the disturbance rejection and the formation tracking performances for networked quadrotors. By adopting the hierarchical control strategy, the multi-quadrotor system is separated into two subsystems: the outer-loop cooperative subsystem and the inner-loop attitude subsystem. In the outer-loop subsystem, with the estimation of disturbing forces and uncertain dynamics from FTCESOs, an adaptive consensus theory based cooperative controller is exploited to ensure the multiple quadrotors form and maintain a time-varying pattern relying only on the positions of the neighboring aircrafts. In the inner-loop subsystem, the desired attitude generated by the cooperative control law is stably tracked under a FTCESO-based attitude controller in a finite time. Based on a detailed algorithm to specify the cooperative control protocol, the feasibility condition to achieve the time-varying anti-disturbance formation tracking is derived and the rigorous analysis of the whole closed-loop multi-quadrotor system is given. Some numerical examples are conducted to intuitively demonstrate the effectiveness and the improvements of the proposed control framework.     

航空公司飞机选型评估方法

市场上往往具有多款机型能够满足航空公司增加或更换退役飞机的需求,因此需要对这些机型进行产品竞争力及投资分析评估。本文从备选机型角度,提出了飞机选型的4大分析要素并根据实际运营情况分别进行了详细分解研究。应用于案例的分析和计算表明,该方法符合航空公司实际选型评估需求,对航空公司合理评估和选择机型具有较大的参考价值。     

基于自适应非结构嵌套网格的旋翼流场模拟

针对直升机旋翼CFD仿真的复杂性,提出了改进的适合于格心格式求解器的非结构嵌套网格算法。采用自适应网格技术在旋翼流场仿真的整个过程中进行网格的自适应加密和疏化操作,以更好地捕捉桨尖涡等流动细节。对于频繁的自适应过程中产生的大量重复点和无用点,采用了高效的交替数字树算法(Alternating digital tree,ADT)和标记-删除-移动算法(Mark,delete,move,MDM)进行删除,节约了不必要的存储。针对格心格式的求解器,采用了基于梯度的网格间插值方式,简化了网格间数值传递的复杂性,同时不降低求解器的精度。对CaradonnaTung旋翼悬停算例和HLISHAPE 7A旋翼悬停算例进行了模拟验证,计算值与实验值吻合,表明本文建立的方法具有良好的鲁棒性和有效性。最后,与未采用自适应时求解器对桨尖涡的捕捉效果进行了对比,结果表明本文所采用的方法可以明显地提高求解器对桨尖涡的捕捉。     

扑旋翼飞行器气动特性分析及机翼拓扑优化设计

建立微型扑旋翼飞行器运动学模型,基于面元法研究低雷诺数下非定常场中扑旋翼飞行器的气动特性,得到机翼气动特性和一个工作周期内的最大气动载荷。建立扑旋翼飞行器机翼有限元模型,基于变密度法和独立连续映射法(Independent continuous mapping,ICM)对机翼进行静力学和动力学拓扑优化设计,通过改变机翼拓扑结构优化机翼模态频率,得到同时满足结构静力学和动力学要求的扑旋翼飞行器机翼拓扑结构。本文为扑旋翼飞行器机翼结构优化设计提供了基本思路和研究基础。     

大型客机低速构型高雷诺数风洞腹撑支架干扰数值模拟

风洞到飞行相关性修正是获取现代大型客机低速气动特性的重要手段，通常采用增压提高风洞试验雷诺数，而支架干扰修正是该修正体系的一个关键环节。采用数值模拟研究了增压风洞腹撑的支架干扰，并分析了腹撑对飞机各部件的干扰及其对风洞流场的影响。通过数值模拟与风洞试验对比，表明升力系数相差0.006，阻力系数最大相差0.001 2，俯仰力矩系数最大相差0.01，验证了CFD数值模拟方法的可靠性。CFD计算结果表明：腹撑使得全机升力增加、阻力减小，俯仰力矩增加；腹撑对升力影响的主要部件是机翼，腹撑使得风洞中心以上动压增加，提升上翼面流速，从而增加了机翼的升力；与传统认识不同的是腹撑对阻力影响为负，且主要影响部件为缝翼，原因为缝翼下偏使得法矢分量向前从而减小了阻力；腹撑对俯仰力矩影响的主要部件是机身及平尾。研究结果揭示了腹撑对飞机气动特性影响的量级、主要影响部件及其流场变化，可为支架干扰数据修正及支架优化设计提供参考。所得结论可更好用于支架干扰试验的开展及风洞到飞行数据的修正，具有一定的工程实用性。