Fault mode probability factor based fault-tolerant control for dissimilar redundant actuation system

This paper presents a Fault Mode Probability Factor (FMPF) based Fault-Tolerant Control (FTC) strategy for multiple faults of Dissimilar Redundant Actuation System (DRAS) composed of Hydraulic Actuator (HA) and Electro-Hydrostatic Actuator (EHA). The long-term service and severe working conditions can result in multiple gradual faults which can ultimately degrade the system performance, resulting in the system model drift into the fault state characterized with parameter uncertainty. The paper proposes to address this problem by using the historical statistics of the multiple gradual faults and the proposed FMPF to amend the system model with parameter uncertainty. To balance the system model precision and computation time, a Moving Window (MW) method is used to determine the applied historical statistics. The FMPF based FTC strategy is developed for the amended system model where the system estimation and Linear Quadratic Regulator (LQR) are updated at the end of system sampling period. The simulations of DRAS system subjected to multiple faults have been performed and the results indicate the effectiveness of the proposed approach.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

一类统一的零(低)相关序列构造方法

基于自相关理想序列和正交矩阵建立一类统一的具有零(低)相关区的扩频序列构造方法,并对其相关特性进行分析和证明。该类方法可通过序列和矩阵的任意选取,统一地构造二元、三元、多相、复数的ZCZ(LCZ)序列集,且构造简单、形式统一,通用性更好,适用于准同步CDMA(QS-CDMA)系统。     

随机脉位序列调制的脉冲多卜勒引信原理

提出一种新型的噪声脉中多卜勒引信，即随机脉位序列调制的脉冲多卜勒引信，给出了其原理实现框图和随机脉位序更调制码的产生方案，分析了其工作原理和数学模型，研究了它的抗干扰特性。分析表明，它具有良好的抗干扰特性，同时不会出现距离速度模糊，是一种较佳的脉冲多卜勒引信。     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

无界域上不定二次规划的一个算法

本文给出了无界域上不定二次规划一个算法。该算法将不定规划转化为一系列凸二次规划，并证明了算法的收敛性。     

应用LQG方法在生产—库存管理系统中的应用研究

给出线性二次型最优输出跟踪问题的系统方程和目标函数,对目标函数中每一项的实际意义做出分析,并讨论了加权矩阵中元素的选取。给出控制规律的最优解,并对最优控制与预期输出的关系做出分析。给出一个生产—库存管理模型,分析了该模型应满足的状态方程,从而说明了它是一个可观测系统,且可以用线性二次型最优输出跟踪问题来解决。最后用具体实例验证了方法的有效性。     

雨流计数法及其在程序中的具体实现

根据雨流计数法的规则和在实际中应用的体会，介绍了雨流计数法在程序中实现的具体方法。它适合用各种语言编写，在计取循环数时采用的“四点法”使程序的实现比用其他方法更加准确可靠，简单明了。     

Spacecraft optimal rendezvous controller design using simulated annealing

A new global approach for rendezvous Linear Quadratic controller design is presented in this paper. Instead of solving the algebraic Riccati equation, a continuous simulated annealing (SA) algorithm is used to design rendezvous LQ controller. Optimization of one automatic rendezvous controller with 18 design parameters is illustrated. The results show that the SA algorithm can locate the global solution effectively and robust, besides a great number of global solutions have been obtained by the SA. The SA has demonstrated better performance than other optimization algorithms such as floating-coded Genetic Algorithm, Simplex method and Powell algorithm.