关于Davidson—Lanczos方法的收敛率

本文对文[1]提出的求解大型对称矩阵A的极端(几个最大或最小)特征值及相应特征向量的Davidson—Lanczos方法,用Rayleigh—Ritz逼近理论,研究了该方法的收敛率。证明了由该方法产生的规范正交向量{v_i}_i~m=1是Krylov子空间K_m≡Span(v_1,Av_1,…,A~(m-1)v_1)的一组基。设A的k个最大特征值为又,λ_1>λ_2>…>λ_k,相应的近似特征值为λ_i~(m)(i=1,…,k),得到 这里γ_i(γ_i>1),W_i和W_i~(m)是常数。     

彩色三维激光快速成型技术的研究

目前逆向工程采用线结构激光和一个彩色面阵CCD摄像机构成三维彩色扫描系统,彩色CCD摄像机分两次对被测物体成像,首先摄取物体的彩色图片,然后加用滤光片再摄取激光光平面上的三维信息.最后将两次获取的信息重叠,便可得到三维彩色信息.提出了激光光平面方程式三维测量方法,建立了相应的数学模型.研制成一套适用于彩色逆向工程流程,并进行了实验研究,给出了实验结果.     

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

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

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

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

Families of halo orbits in the elliptic restricted three-body problem for a solar sail with reflectivity control devices

Solar sail halo orbits designed in the Sun-Earth circular restricted three-body problem (CR3BP) provide inefficient reference orbits for station-keeping since the disturbance due to the eccentricity of the Earth’s orbit has to be compensated for. This paper presents a strategy to compute families of halo orbits around the collinear artificial equilibrium points in the Sun-Earth elliptic restricted three-body problem (ER3BP) for a solar sail with reflectivity control devices (RCDs). In this non-autonomous model, periodic halo orbits only exist when their periods are equal to integer multiples of one year. Here multi-revolution halo orbits with periods equal to integer multiples of one year are constructed in the CR3BP and then used as seeds to numerically continue the halo orbits in the ER3BP. The linear stability of the orbits is analyzed which shows that the in-plane motion is unstable while the out-of-plane motion is neutrally stable and a bifurcation is identified. Finally, station-keeping is performed which shows that a reference orbit designed in the ER3BP is significantly more efficient than that designed in the CR3BP, while the addition of RCDs improve station-keeping performance and robustness to uncertainty in the sail lightness number.     

A novel surrogate modeling strategy of the mechanical properties of 3D braided composites

In this paper, a surrogate-based modeling methodology is developed and presented to predict the elastic properties of three dimensional (3D) four-directional braided composites. Using this approach, the prediction process becomes feasible with only a limited number of training points. The surrogate models constructed using Finite Element (FE) method and Diffuse Approximation, reduce the computational time and cost for preparing experimental samples. In the FE model, multiscale method is applied to couple the computations of elastic properties at microscale and mesoscale. Subsequently, a parametric study is performed to analyze the effects of the three design parameters on the elastic properties. Satisfactory results are obtained via the surrogate-based modeling predictions, which are compared with the experimental measurements. Moreover, the predictions obtained from surrogate models concur well with the FE predictions. This study orients a new direction for predicting the mechanical properties based on surrogate models which can effectively reduce the sample preparation cost and computational efforts.     

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.     

飞机零部件基准选择与应用

随着飞机性能的不断提高,飞机制造协调准确度的要求也越来越严格,国外先进的航空制造企业得益于厂所合一的生产方式,在产品设计阶段考虑生产过程,来合理定义飞机零部件尺寸公差要求,保证飞机的装配品质和产品质量.对飞机零部件基准选择方法介绍和研究,并应用到某机型飞机外翼翼盒典型零部件基准选择中去,从功能要求出发制定基准,说明了飞机零部件基准传递偏差方式和基准一致性原则.主要思想和技术要点是要从产品的功能要求出发,考虑生产过程来制定零部件设计基准,保证产品在生产过程中基准的统一,从而保证尺寸的设计满足生产的功能性要求.提出的方法可以应用到飞机零部件的尺寸设计中,通过合理的制定基准来提高飞机的装配品质,在一定程度上降低生产成本和提高生产效率.     

基于模型的系统工程概述

由于航空领域涉及的系统日益高度复杂,为更好推进基于模型的系统工程(Model Based System Engineering,MBSE)研发体系,通过从当前遇到的问题、推行基于模型的系统工程的必要性、优势、未来的挑战等方面进行了较为详细地阐述.基于模型的系统工程研发体系具有知识表示的无二义、系统设计的一体化、沟通交流的高效率等优势,是未来发展的大趋势.     

混凝土桥梁预应力施工技术研究

QI Tong-xiao(China Railway 18 Bureau Group Fourth Engineering Co., Ltd., Tianjin 300350)