面向航天器系统级测试的虚拟测试方法及应用

航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。     

Control of a large space structure using MMAE/MMAC techniques

The application of moving-bank multiple model adaptive estimation and control (MMAE/MMAC) algorithms to an actual spade structure (Space Integrated Controls Experiment (SPICE)) being examined at Phillips Laboratory at Kirtland AFB, NM, is presented. The structure consists of a large platform and a smaller platform connected by three legs in a tripod fashion. Kalman filtering and LQG (linear system, quadratic cost, Gaussian noise) control techniques are utilized as the primary design tools for the components of the MMAE/MMAC. Implementing a bank of filters or controllers increases the robustness of the algorithms when uncertainties exist in the system model, whereas the moving bank is utilized to reduce the computational load. Several reduced-order models are developed from the truth model using modal analysis and modal cost analysis. The MMAE/MMAC design with a substantially reduced-order filter model provides an excellent method to estimate a wide range of parameter variations and to quell oscillations in the structure.     

S5000F介绍及在民用飞机运行可靠性分析反馈中的应用

为了合理有效指导民机安全可靠经济地运营,基于欧洲航空航天与防务工业协会(AeroSpace and Defence Industries Association of Europe, ASD)组织制定的S5000F《在役数据反馈国际规范》,对其主要内容进行研究,进而探究其在民机运行可靠性分析与反馈中的应用。首先,阐述了S5000F规范编制背景和目的;然后,介绍了S5000F规范的主要内容以及相关的业务流程;最后,探讨了S5000F规范在民机运行可靠性分析与反馈中的应用。本文对S5000F规范进行了全方位解读,并对其在民机运行可靠性方面的应用进行了探究,在此基础上进一步将其拓展至民机研制和服务阶段,为全寿命周期管理提供有效的指导性建议。     

Modeling and simulating aircraft stability and control—The SimSAC project

This paper overviews the SimSAC Project, Simulating Aircraft Stability And Control Characteristics for Use in Conceptual Design. It reports on the three major tasks: development of design software, validating the software on benchmark tests and applying the software to design exercises. CEASIOM, the Computerized Environment for Aircraft Synthesis and Integrated Optimization Methods, is a framework tool that integrates discipline-specific tools for conceptual design. At this early stage of the design it is very useful to be able to predict the flying and handling qualities of this design. In order to do this, the aerodynamic database needs to be computed for the configuration being studied, which then has to be coupled to the stability and control tools to carry out the analysis. The benchmarks for validation are the F12 windtunnel model of a generic long-range airliner and the TCR windtunnel model of a sonic-cruise passenger transport concept. The design, simulate and evaluate (DSE) exercise demonstrates how the software works as a design tool. The exercise begins with a design specification and uses conventional design methods to prescribe a baseline configuration. Then CEASIOM improves upon this baseline by analyzing its flying and handling qualities. Six such exercises are presented.     

MEMS inertial rate and acceleration sensor

Development of the μSCIRAS^TM (pronounced micro-Cyrus) multisensor for a period of over six years has produced a practical MEMS Inertial Measurement Unit (IMU). Using only three silicon sensors, a full-up IMU suitable for tactical grade navigation and guidance applications has been achieved. Iterative improvements in silicon sensor design and bulk micromachining processes have matured to the point where an IMU with an attractive price/performance ratio is now producible. This paper summarizes the design features and test results for an IMU with <100 deg/hr performance. Test results are shown for rate bias and acceleration bias over temperature. Production of this initial member of the μSCIRAS product family begins this year to support applications including guided artillery shells, technology insertion to decrease missile costs, navigation of remotely-piloted vehicles, dismounted soldier location devices and other navigation aids. The small size of this silicon multisensor and its ability to measure both angular rotation rate and linear acceleration provides a useful advantage in product packaging, cost, size, and system testing. The μSCIRAS Inertial Sensor Assembly (ISA) is housed in a 2 cubic inch package weighing less than 5 ounces (140 grams) requires less than 0.8 Watts of power. Continuing development will lead to greatly improved performance on the order of 1 deg/hr at low prices in high-volume production     

MBSE在航空飞行控制系统的应用研究

现代飞机系统的复杂性不断增长,传统的开发方法在管理和维护方面变得越来越具有挑战性。首先,对航空飞控系统研发过程在当前系统工程实践方面进行了评估,阐述了传统开发方式的不足和基于模型的系统工程（MBSE）的核心原则和优点,以及在实现中常用的工具和方法;然后,展示了MBSE如何在飞行控制系统研发时使用模型来支持复杂系统的规范、设计、分析、验证和确认的过程;最后,结合先进的MBSE工具和方法的发展,MBSE结合敏捷的开发前景,以及提高MBSE实践的互操作性和标准化的需求对未来的研究方向进行了展望。本文研究为利用MBSE方法论和工具来改进飞行控制系统的设计、开发和性能感兴趣的航空工业专业人员、系统工程师提供资源和解决思路。     

Effects of Machine Tool Configuration on Its Dynamics Based on Orthogonal Experiment Method

In order to analyze the influence of configuration parameters on dynamic characteristics of machine tools in the working space, the configuration parameters have been suggested based on the orthogonal experiment method. Dynamic analysis of a milling machine, which is newly designed for producing turbine blades, has been conducted by utilizing the modal synthesis method. The finite element model is verified and updated by experimental modal analysis (EMA) of the machine tool. The result gained by modal synthesis method is compared with whole-model finite element method (FEM) result as well. According to the orthogonal experiment method, four configuration parameters of machine tool are considered as four factors for dynamic characteristics. The influence of configuration parameters on the first three natural frequencies is obtained by range analysis. It is pointed out that configuration parameter is the most important factor affecting the fundamental frequency of machine tools, and configuration parameter has less effect on lower-order modes of the system than others. The combination of configuration parameters which makes the fundamental frequency reach the maximum value is provided. Through demonstration, the conclusion can be drawn that the influence of configuration parameters on the natural frequencies of machine tools can be analyzed explicitly by the orthogonal experiment method, which offers a new method for estimating the dynamic characteristics of machine tools.     

基于优化STD法的大飞机垂尾装配界面精加工过程模态参数识别

为减小大飞机垂尾装配界面精加工过程中产生的加工振动对其精加工质量的影响，需掌握装配界面加工过程的动力学特性，而动力学特性与其模态参数密切相关。因此，为获得装配界面各阶模态参数，针对其动态精加工过程，提出了一种优化STD环境激励下结构模态参数识别方法。该方法首先由装配界面的实测加工振动数据构造Toeplitz矩阵，并将其作为STD法的输入，进而求出装配界面各阶次模态参数，并构成模态参数下三角矩阵。然后利用模态置信因子及模态保证准则选出阶次相对稳定的模态参数作为装配界面的真实模态参数。最后，通过切削实验和锤击测试验证优化STD法的正确性和有效性。将锤击实验模态结果作为装配界面的模态参数测量参考值，以一阶模态频率识别结果为例，该方法相比于传统STD法和SSI法，识别精度分别提高了12.71%和3.82%；同理其余各阶模态参数识别精度均有不同程度的提高。通过优化STD法可准确高效地获得装配界面的模态参数，为其精加工工艺参数的合理选择提供了理论依据和技术支持。     

计算机辅助飞机总体方案设计系统设计对象模型与设计过程模型

介绍计算机辅助设计系统的概念及基本要求,以及计算机辅助飞机总体方案设计系统的特点与要求。模型问题是建立系统的首要问题,根据设计理论的概念,建立了设计对象模型及设计过程模型。设计对象模型用于综合所有设计工具;设计过程模型用于描述设计过程与设计活动。通过飞机总体参数选择阶段系统的开发,说明所建立的模型是正确的、有效的。     

基于模型的民用飞机自动刹车系统设计与研究

针对民用飞机刹车系统的重要组成部分自动刹车系统,介绍了自动刹车系统的功能,并对其原理进行了简单介绍,提出了一种适用于自动刹车系统开发的基于模型驱动的设计方法,根据自动刹车的功能需求,建立其对应的行为模型,对需求进行确认以及验证,根据自动刹车的功能架构对其行为模型进行集成,形成自动刹车功能的集成模型,确认、验证其架构的正确性。最后,综合考虑自动刹车的需求以及行为模型,建立基于模型的各工况测试用例,包括着陆刹车以及中止起飞测试用例,对自动刹车系统需求进行自动化测试,验证其正确性、完整性。最后,以着陆阶段自动刹车某一减速率为例对该方法进行了验证,确认了该方法的正确性。模型及管理工具分别为Library、Stateflow、Simulink。     

民机自动飞行模式设计规范与适航性分析

民机自动飞行系统对降低飞行员工作负荷、提高飞行安全性具有重要作用.分析了自动飞行系统飞行模式设计的相关适航规范要求,研究了模式设计的基本方法和软件开发工具,以及适航符合性验证方法.开发了一种飞行模式设计与仿真平台,基于MATLAB/Stateflow设计飞行模式及其切换机制,采用MATLAB/GUI接收驾驶员操作输入,并调用飞行动力学模型进行实时仿真.形成一个集模式设计、仿真和验证一体化的闭环平台,可用于民机飞行模式的设计和适航性分析.     

运行模态分析的频域空间域分解法及其应用

提出了一种基于频域空间域分解(Frequency and Spatial Domain Decomposition, FSDD)的运行模态分析方法。该法将同时具有输入和输出的试验模态分析的经典方法——复模态指示因子(Complex Mode Indicator Function, CMIF)法拓展到了仅有输出响应的运行状态模态分析。FSDD法采用奇异值分解将信号空间和噪声空间分离开来,把奇异值曲线作为模态指示的依据,以奇异值向量作为加权函数得到每一阶模态的增强功率谱(Power Spectrum Density, PSD),进而在频域内对增强PSD曲线进行最小二乘拟合以得到准确的模态频率和阻尼参数。采用了一个二层楼仿真算例和在欧洲广为人知的瑞士Z24公路大桥实测算例来验证FSDD算法。     

A multi-formalisms approach for codesign in the development ofavionics

This paper presents a new approach in the development of avionics at AEROSPATIALE. The approach is based on a selective use of specification languages. Its aim is to compose partial avionics specifications in a unified format which is used for later concurrent hardware/software design steps. A demonstrator of the approach is currently in progress. It deals with the re-design of an avionics on-board system that belongs to the family of AIRBUS A340. The multi-languages specification is achieved through three graphical specification languages: Harel's StateCharts, SDL and SAO. The status of work and future perspectives are outlined     

飞机机械操纵系统(MCS)优化设计

 针对国内飞机 MCS设计理论指导不足 ,MCS不能保证达到一级规范要求 ,提出以规范为目标 ,最优化设计 MCS的方法 ,并运用该方法对某飞机 MCS进行了改进设计 ,使该飞机的操纵品质在飞行包线内都达到一级品质要求     

2 μm LIDAR for laser-based remote sensing: flight demonstrationand application survey

A flight test of a diode-pumped solid-state 2 μm Doppler Light Detection And Ranging (LIDAR) system was conducted on-board the NASA Ames DC-8 Airborne Laboratory. This was the first ever airborne demonstration of a 2 μm diode-pumped solid-state Doppler LIDAR. The LIDAR performance was verified by comparing the true-airspeed (TAS) estimate with that found using the pneumatic air data system; excellent agreement was found. The capabilities of this pulsed 2 μm Doppler LIDAR system include high bandwidth air data determination without the need for extensive forebody calibration, remote wind profiling as far as several kilometers away from the aircraft, eye-safe laser transmission at 2 μm, and diode-pumped solid-state design for compact construction and reliable performance     

SpaceWire冗余热备份网络设计及分析

SpaceWire是由欧空局专门面向航天应用提出的新一代高速数据总线技术,在链路故障检测、故障恢复等方面得到了加强.为了解决链路拥堵和减少网络传输延时,SpaceWire-D提出了在网络中流通时间码、调度表的运作机制.由于航天领域对网络可靠性有着严格要求,路由器作为网络中不可缺少的组成部分,基于路由器的网络可靠性设计具有重要价值.本文通过对SpaceWire路由器和SpaceWire-D标准的研究,提出将SpaceWire-D标准时间码保留位的其中一位与路由器转发时间码模式切换有机结合的方法,实现SpaceWire网络冗余热备份功能,从而提高SpaceWire网络的可靠性.     

二维翼段颤振的μ控制

 采用超声电机作为作动器来实现含控制面的翼段颤振鲁棒抑制。针对作者设计的二维翼段颤振主动抑制系统，通过理论与实验相结合的方法，建立了考虑沉浮方向阻尼和作动器模型参数不确定性的控制系统模型，设计了μ控制器，并对控制器做了降阶处理。数值仿真和风洞试验表明，μ控制器可有效地抑制颤振的发生，将颤振临界速度提高23.4%。相对于H_∞控制器，μ控制器的控制效果和鲁棒性更好。     

Radiation Tolerant SpaceWire Router for Satellite On-Board Networking

The European Space Agency (ESA) recently proposed the space wire standard for reliable satellite on-board networking at high speeds. This paper presents the design of configurable space wire router and interface hardware macrocells, the first in state-of-the-art compliant with the latest standard extensions, protocol identification and remote memory access protocol. The space wire router with 8 links achieves 100 Mbits/s data rate with 135 W power consumption and 300 Krad radiation tolerance. These performances meet the requirements of planned ESA space missions     

Independent validation and verification of the TCAS II collisionavoidance subsystem

This paper describes the specification-based testing, analysis tools, and associated processes used to independently validate, verify, and ultimately, provide for certifying safety-critical software developed for the Traffic Alert and Collision Avoidance System (TCAS II) program. These tools and processes comprise an effective and Independent Validation and Verification (IV and V) activity applied to the Collision Avoidance Subsystem (GAS) software development process. A requirements specification language called the Requirements State Machine Language (RSML), originally developed by the University of California, Irvine (UCI), was employed for the specification of GAS. The end result is the next generation of TCAS II collision avoidance logic, referred to as Version 7, that is of a higher quality than its predecessors, meets the certification requirements of DO-178B Level B (Ref. 1), and can be shown to satisfy the new operational requirements it was developed to address     

二维协同设计系统的设计与实现

设计并实现了一个二维协同系统2DCoDesign,系统为B/S结构,采用Agent技术,系统中各个部分(如会议服务器,路由器,客户端)都是相互独立的Agent.为满足工程设计需求,系统提供了对DXF格式的图形操作支持以及公差等标注符号和会议纪要的支持,开发了一个分布式的协同设计环境,用于设计人员进行协同设计问题的讨论.