机载托架自动校准系统的设计与实现

为了解决机载托架传统校准方法精度低、耗时、费力等问题,设计了一种高精度、高效率并且操作简单的成品托架自动校准系统。该系统运用调平精度较高的"循环多次"最高点不动调平方法,建立高精度机载托架校准的静力学数学模型,运用VC与Matlab的COM接口编程技术开发机载托架自动校准系统,并建立良好的人机交互界面。试验结果表明,利用该方法对机载托架进行校准,无论是校准精度还是校准效率都较传统方法有很大提高。     

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.     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

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

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

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

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

一个基于WINDOWS环境的网络连接服务

该文介绍了在校园网环境及WINDOWS平台，采用TCP/IP协议设计并开发PING网络连接服务和客户机/服务器功能的VC^ 程序。     

国家财政主要支出项目与各项税收收入的最优化--回归分析在最优化中的应用研究实例

利用回归分析方法得到国家财政部分主要支出项目，部分税收收入与国内生产总值构成的回归方程，由此构成线性规划问题的约束方程组。再用M单纯形法求最优解。     

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.