Cascade-type guidance law design for multiple-UAV formation keeping

A procedure to compute guidance commands for controlling the relative geometry of multiple unmanned aerial vehicles (UAVs) in formation flight is proposed. The concepts of branch, global leader, and local leader/follower are used to represent the whole formation geometry. A positive-definite function defined in terms of the formation error is then introduced and the Lyapunov stability theorem is used to obtain the cascade type guidance law. This scheme leads to the synchronized flight of all UAVs while maintaining formation geometry. The results of a high fidelity nonlinear simulation of a reconnaissance and surveillance mission example are presented to show the effectiveness of the proposed guidance law.     

Optimal mission planning of the reconfiguration process of satellite constellations through orbital maneuvers: A novel technical framework

In this paper, a general new methodology is presented for the orbital reconfiguration of satellite constellations on the basis of Lambert targeting theorem. In view of the cost and risk reduction, it is very important to consider the problem of satellite constellation reconfiguration with the two constraints of overall mission cost minimization and the desired final configuration. Hence, the dependent non-simultaneous deployment approach is proposed to minimize overall fuel cost. Despite the fact that the satellites deploy in a non-simultaneous manner, supplementary phasing maneuvers on the target orbital pattern to achieve the desired orbital configuration are avoided. Moreover, a novel idea is presented to optimize the flight of satellites, which plays an important role in complying with the constraint of overall fuel cost minimization as much as possible. In order to achieve the global optimal solution of the satellite constellation reconfiguration problem, the efficient hybrid Particle Swarm Optimization/Genetic Algorithm (PSO/GA) technique, is implemented. Finally, to indicate the superiority of the presented method, a comparison to the simultaneous maneuver viewpoint is made on a number of representative cases. The obtained results imply significant reduction of reconfiguration costs by employing the proposed method.     

基于Lagrange方法的单旋翼飞行器动力学建模

为了进行微小型单旋翼飞行器的动力学建模,通过建立多个坐标系来反映各部分间的相对运动.首先,利用坐标变换得到位置、速度及加速度等向量,并代入拉格朗日方程得到运动学模型;然后,对模型进行数值求解,得到飞行器的姿态响应.仿真结果表明,飞行器定点盘旋时合外力为零,能量保持不变;爬升或前飞时有非保守力做正功,能量增大.     

实线性赋范空间中算子的Fermat定理

本文给出并证明了文中的定理１，该定理是经典分析中的Ｆｅｒｍａｔ定理在现代分析学中的合理推广。据此又给出了一个中值公式在抽象分析中成立的充分条件。最后，指出了经典分析中的中值定理在抽象分析中不成立。文中各项内容相结合，较深刻地说明了中值定理在抽象分析学中不成立的原因。     

洛尔定理的推广和柯西中值定理的证明

本文对洛尔定理进行了推广，并给出了柯西中值定量的三种证法。     

备份设计的可靠度

文章在两类不同的验前分布情况下,用贝叶斯定理推断并联、待机和多数表决系统的可靠性置信下界。其解可供电子系统设计者参考。     

受多种约束时航天器再入走廊的计算分析

给出了一种求解同时受升力、气动加热（率）和动压约束时，航天器再入走廊的近似计算方法。文中采用格林函数法，导出了再入过程中三种典型约束（气动加热率、升力和动压）条件之间关系的近似定量描述，在该三种约束取极限的条件下求得了再入走廊的上下边界。文中还介绍了上下边界近似解及相应控制规律的结构。     

判断矩阵的一个恰当的校正方法

 本文首先证明了成对比较矩阵在相容性矩阵集合中的最佳逼近的存在性和不唯一性。然后通过微分同胚,把原来的非线性逼近转化成一个线性逼近,从而用投影定理获得解决。算例证明该方法简易可行。     

一种适用于飞行器控制系统的快速时变参数辨识方法

 在自适应控制中,特别在飞行器控制系统中,经常会遇到快速时变参数的辨识问题,这是一个比较困难的问题。本文利用折线段近似时变参数,根据最小二乘原理导出了一种计算比较简单、辨识精度较高的快速时交参数辨识方法。文中对反坦克导弹和地空导弹等快速时变系统进行了数学模拟.其结果表明,这种辨识方法不仅适用于连续快速时变系统,而且在参数变化存在第二类间断点时,仍有较好的辨识结果。     

机制设计理论及其在中国的应用

机制设计理论是博弈论和社会选择理论的综合运用,其基本思想就是对于一定的经济环境和社会目标,研究如何设计一个机制,使得人们在自利行为驱动下采取行动,使预定目标得以实现。赫维茨提出机制设计理论的基本概念和框架,马斯金和迈尔森进一步发展完善,田国强运用数学工具做了一般化的证明。机制设计理论的提出,弥补了亚当·斯密“看不见的手”的可能性缺失,从而进一步完善了经济学理论体系,论证了市场机制的有效性。对经济改革和社会制度变迁的中国而言,设计有效的机制是中国改革的主要任务之一,机制设计理论在其中有着广泛的应用领域和直接的借鉴价值。