以持续抽象策略实现软件体系架构进化

以对传统的模型-视图-控制器(MVC)体系架构框架实施的进化过程为例,针对软件系统的体系架构模式／框架设计,识别并提出一种新的进化式设计理念体系:基于持续抽象策略的进化式设计理念体系; 并探索了以这种理念体系及其语言记录和传承软件系统设计经验及其进化能力历史的可能性。本文指出,架构方案的可抽象能力是软件架构进化能力的核心因素,决定架构方案在软件进化过程中的生存能力。新的进化式设计方法学理念体系建议以持续抽象过程作为体系架构设计的进化策略,以领导软件体系架构的进化方向,持续加强软件体系架构的可靠性、可扩展性、动态性和可复用性。还介绍了这一新的设计方法学理念体系在信号和逻辑集成工具SAL Studio1．0设计开发过程中的实践。     

空中交通管制员工作任务分析

简要说明了管制员工作任务分析的意义和重要性,介绍了管制员综合工作任务分析的方法,并以实际管制单位的管制员为研究对象,确定了管制工作中10大工作任务以及任务间的相互关系,最后对每个任务进行详细分析,构建了管制员10大任务模型。     

Optimization and analysis of composite sandwich box beam for solar drones

Solar drones have garnered considerably research attention in recent years due to their continuous cruising capability, and the feasibility of design schemes is sensitive to the weight of structure. Sandwich box beam composed of carbon fiber and polymethacrylimide (PMI) foam is conducive to realize the lightweight of structure. In this study, a two-stage optimization design methodology for sandwich box beam is proposed. This methodology is primarily based on a low-order analytical method for evaluating stress/deflection and the linear buckling analysis method combined with experimental correction factor for predicting the buckling eigenvalues. Subsequently, a case study was conducted using an 18-m wingspan solar drone, where the results of mechanical test verified the optimization results. For validating the use of sandwich box beam in solar drones of other scales, additional analysis was conducted based on three aspects: (A) effects of stiffness and stability constraints on the design of sandwich box beam; (B) crucial role of the weight of foam inter layer and application scope of sandwich box beam; (C) best method to improve the buckling eigenvalue of sandwich box beam. Overall, the methodology and general rules presented in this paper can support the design of light wing beam for solar drones.     

吸附式压气机叶型设计技术研究

以开发能提高叶片负载能力的"吸附式压气机(The aspirated compressor)"叶型设计技术为目标,以某发动机高压压气机的前三级为工程背景,研究了超高负荷的单级吸附式压气机气动方案,初步建立了从子午流道设计、S₁流面基元叶型反问题设计到带附面层吸除S₁流面计算分析的一套设计方法.以单级方案动叶叶尖截面作为设计实例,演示了开发的设计方法能够设计出基本达到设计要求的吸附式压气机叶型.      

风扇转子的气动优化设计研究

风扇转子气动优化设计是结合CFD、遗传算法和风扇特性的跨学科自动设计方法,这种设计较少依赖经验,能实现多目标和多设计参数组合的优化设计。先研究了四个关键技术：具有耗时少、计算较准确的叶片通道流场数值计算方法;具有良好寻优能力的数值最优化方法;三维叶片造型的参数化方法;以气动性能为目标的多目标函数构建方法。再将上述四个关键技术模块整合,构建简易的气动优化设计软件。三维叶片优化算例证明了该软件的设计能力,其设计结果较满意、设计效率较高、设计周期短。     

自动化技术在飞机活动翼面结构方案论证中的应用

为了探讨飞机活动翼面结构布局方法 ,并提供一种基于现代集成设计技术的、具有良好操作性的、用于结构方案论证时的新方法 ,本文采用模块化策略和几种手段相结合的思想作为技术途径 ,具体表现为将CAD、CAE和结构拓扑优化组合使用 ,以UG作为CAD几何造型平台 ,以ANSYS作为CAE建模平台 ,利用作者提出的敏度阀值概念和约束补偿措施构造出一种拓扑优化新算法。以实际飞机型号作为算例 ,优化结果与真实的结构布局形式相比较 ,能够指出传统设计的不足之处 ,这既验证了本文建立的物理模型的合理性 ,又考核了该优化算法的有效性 ,同时 ,也说明了本文提出的“结构布局方法”具有一定的实用性。最后 ,从该方法的良好操作性可以预示出它对未来飞机活动翼面结构设计 ,会具有指导性     

Multidisciplinary Design and Optimization of Multistage Ground-launched Boost Phase Interceptor Using Hybrid Search Algorithm

This article proposes a multidisciplinary design and optimization (MDO) strategy for the conceptual design of a multistage ground-based interceptor (GBI) using hybrid optimization algorithm, which associates genetic algorithm (GA) as a global optimizer with sequential quadratic programming (SQP) as a local optimizer. The interceptor is comprised of a three-stage solid propulsion system for an exoatmospheric boost phase intercept (BPI). The interceptor's duty is to deliver a kinetic kill vehicle (KKV) to the optimal position in space to accomplish the mission of intercept. The modules for propulsion, aerodynamics, mass properties and flight dynamics are integrated to produce a high fidelity model of the entire vehicle. The propulsion module comprises of solid rocket motor (SRM) grain design, nozzle geometry design and performance prediction analysis. Internal ballistics and performance prediction parameters are calculated by using lumped parameter method. The design objective is to minimize the gross lift off mass (GLOM) of the interceptor under the mission constraints and performance objectives. The proposed design and optimization methodology provide designers with an efficient and powerful approach in computation during designing interceptor systems.     

A methodology for constructing the aircraft design schema

Aircraft collaboration design is based on a unified set of schemas containing data and model representations and interfaces across disciplines. The aircraft design schema is a central data model that specifies the paradigm for the representation of a full lifecycle model of aircraft design. The construction of the schema currently lacks theoretical guidance. This paper designs a novel methodology to construct the aircraft design schema, a fully functional, logical, and self-consistent methodology. The methodology defines a schema matrix that includes implementation strategies, principles, processes, meta-object facility, views, scenarios, and products. The aircraft conceptual design schema is constructed according to the methodology, which is a hands-on approach to help understand the concept and implementation. The features of the methodology are analyzed, and the methodology and the aircraft conceptual design schema are presented to address the pain points of multiple solution trade-offs, multiple iterations, and multidisciplinary coupling in aircraft conceptual collaboration design.     

Adaptive optimization methodology based on Kriging modeling and a trust region method

Surrogate-Based Optimization (SBO) is becoming increasingly popular since it can remarkably reduce the computational cost for design optimizations based on high-fidelity and expensive numerical analyses. However, for complicated optimization problems with a large design space, many design variables, and strong nonlinearity, SBO converges slowly and shows imperfection in local exploitation. This paper proposes a trust region method within the framework of an SBO process based on the Kriging model. In each refinement cycle, new samples are selected by a certain design of experiment method within a variable design space, which is sequentially updated by the trust region method. A multi-dimensional trust-region radius is proposed to improve the adaptability of the developed methodology. Further, the scale factor and the limit factor of the trust region are studied to evaluate their effects on the optimization process. Thereafter, different SBO methods using error-based exploration, prediction-based exploitation, refinement based on the expected improvement function, a hybrid refinement strategy, and the developed trust-region-based refinement are utilized in four analytical tests. Further, the developed optimization methodology is employed in the drag minimization of an RAE2822 airfoil. Results indicate that it has better robustness and local exploitation capability in comparison with those of other SBO methods.     

直接根据性能指标进行航空发动机LQG/LTR控制器设计

本文提出了一种根据性能指标要求设计航空发动机LQG/LTR控制器的方法。采用这种方法,可根据发动机模型及性能指标要求直接获得卡尔曼滤波器增益,而无需求解Riccati方程。随后的仿真结果表明,所设计的控制系统具有较好的稳定鲁棒性及较好的动态性能。      

Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

Bayesian Design of Decision Rules for Failure Detection

The formulation of the decision making process of a failure detection algorithm as a Bayes sequential decision problem provides a simple conceptualization of the decision rule design problem. As the optimal Bayes rule is not computable, a methodology that is based on the Bayesian approach and aimed at a reduced computational requirement is developed for designing suboptimal rules. A numerical algorithm is constructed to facilitate the design and performance evaluation of these suboptimal rules. The result of applying this design methodology to an example shows that this approach is potentially a useful one.     

航空发动机高负荷涡轮盘双辐板结构优化设计

转速高负荷重的涡轮盘是发动机重量大户,采用单辐板结构设计难以有效减轻重量。提出并建立了涡轮盘双辐板结构优化设计数学模型及方法,筛选了涡轮盘子午面形状设计参数,建立了应力约束条件,利用AN-SYS优化平台,编制了轮盘结构优化程序。针对典型高负荷涡轮盘结构优化问题,分别进行了单辐板盘和双辐板盘结构优化设计,结果表明,在满足轮盘变形、强度要求的条件下,双辐板盘比单辐板盘重量可减少25.3%,应力分布更均匀,说明对于高负荷涡轮盘,双辐板盘具有明显的优势。     

基于非线性控制分配的飞翼航向控制方法

研究了某无尾飞翼式布局飞行器采用升降副翼实现航向控制的操纵机理,分析了舵面的三轴耦合特性,提出基于非线性可达转矩集的飞行器操纵能力描述。在此基础上,对飞行控制系统进行模块化设计,利用经典控制方法设计出产生整个控制指令的基本控制律,然后利用基于微分进化算法的非线性控制分配器将整个控制指令合理地分配到各个舵面上,实现航向上的稳定与控制,仿真结果证实了该方案的有效性。     

高超声速冲压发动机-飞行器计力体系讨论

从吸气式高超声速飞行器受力分析出发,讨论如何统计飞行器受力的问题,建议在研究中使用增量法。这种方法将冲压发动机冷、热工况产生的力(力矩)增量视为飞行器运动分析中所需的"发动机推力或拉力",这个力或力矩分别叠加在飞行器冷通气状态的力或力矩上。这样,就与传统的飞行器运动方程中的力建立了一一对应的关系,可最大限度地使用以往建立的数据获取方法、分析软件、实验技术体系,将给后续工作带来极大的便利。另外,使用此方法,实验容易获得高质量的数据,通过大量容易组织的冷态实验也可使数值模拟的准确度大大提高,使未来飞行器的运动分析结果更可信。在这个体系下,内流道的冷工况阻力(轴向力)是高超声速冲压发动机与飞行器一体化需考虑的重要问题,一方面飞行器总体任务设计需限定内流道冷阻范围,另一方面要使发动机在要求的冷阻范围内高效工作,后者是高超声速发动机研究面临的严峻挑战。     

适用于并行工程的基于约束的CAPP模型

 提出一种在计算机集成环境下编制工艺现程的方法,以“约束”的概念体现工艺学原则和实际生产环境信息。零件的被加工表面信息直接从集成数据库中获取。通过工艺数据库得到各被加工表面的各种可能的加工活动信息。对以这些加工活动为元素的集合施加位置关系约束,采用一定算法得到零件的多个可行工艺规程。该ＣＡＰＰ方法可在产品设计由粗到细的各个阶段实现,适于并行工程环境。     

基于N-S方程的直升机旋翼翼型反设计方法

为了在实际旋翼翼型设计中考虑粘性影响,采用N-S方程为主控方程,建立了旋翼翼型流场求解方法。使用以Poisson方程为控制方程的网格生成程序生成围绕旋翼翼型的N-S粘性贴体网格,该网格生成程序能在反设计迭代过程中自动更新过渡翼型的粘性网格。在翼型流场计算及网格生成基础上,采用了MGM方程作为翼型反设计方程,建立了一套能够考虑粘性影响的直升机旋翼翼型的反设计方法。应用该方法,分别对二维NACA系列翼型、OA系列翼型、超临界翼型进行了反设计分析,获得了满足要求的二维旋翼翼型,并与目标值(压力分布、升力系数、阻力系数、力矩系数)吻合良好。     

A Methodology for Computing Link Availability

An efficient and systematic numerical technique is presented for predicting availability of an RF link between a ground station and a communication satellite. This new methodology takes into account the effects of weather and time-varying link geometry caused by satellite motion as well as the customary ground/satellite link parameters. The availability computed under the worst link geometry (5 deg elevation) has been compared with the average availability computed with the new methodology. The results indicate that the traditional worst-case design approach is too pessimistic to provide a realistic design criterion where links operate at K band or above.     

基于特征正交分解的跨声速流场重构和翼型反设计方法研究

在二维流场的重构问题中应用特征正交分解(Proper Orthogonal Decomposition,POD)数据处理方法。利用CFD技术计算得到的流场快照对气动力模型进行降阶,然后利用基于POD的降阶模型(Reduced Order Model,ROM)对所需的流场参数进行重构,在快照范围内可以得到高精度的结果,且具有一定的外插能力。在翼型反设计问题中该方法仍然是成功的,通过修正快照向量,利用基于POD降阶模型的数据重构方法,由已知的翼型表面压力分布通过反设计就能够高效精确地得到对应的最优翼型形状,这极大地简化了翼型反设计问题。本文分别在跨声速范围对RAE 2822翼型的流场重构和Korn翼型及NACA 63212翼型的反设计进行了验证,证明了基于POD的流场重构和翼型反设计方法的有效性和高效性。     

民用飞机飞行操作程序的开发和验证

飞行操作程序的开发和验证是一项庞大而复杂的长期工作,需要考虑的因素和问题很多。在实际型号程序开发经验和对大量资料研究的基础上,系统地提出了一种民用飞机飞行操作程序开发和评估的基本方法,对相关工作的指导性原则、设计方法、内容要求、关键要素和表现形式等进行了较为详细的说明。该方法主要着眼于程序设计本身,是这方面工程经验和实践的再总结和提炼,并力求对飞行操作程序开发工作起到有效指导作用。