四色猜想—四色定理

在完全平面围中引进顶点分割与合并的概念,根据完全平面图的特征,对其顶点数采用归纳法证明了平面围是四可着色的。     

Fault-tolerant control and vibration suppression of flexible spacecraft: An interconnected system approach

This paper considers a fault-tolerant control and vibration suppression problem of flexible spacecraft. The attitude dynamics is modeled by an interconnected system, in which the rigid part and the flexible part are coupled with each other. Such a model allows us to use the interconnected system approach to analyze the flexible spacecraft. Both distributed and decentralized observer-based fault-tolerant control schemes are developed, under which the closed-loop stability of flexible spacecraft can be ensured by using the cycle-small-gain theorem. Compared with the traditional method, this paper considers the faults occurred not only in the rigid parts, but also in the flexible parts. In addition, the application of the interconnected system approach simplifies the system model of flexible spacecraft, thereby the difficulty of theoretical analysis and engineering practice of fault-tolerant control of flexible spacecraft are greatly reduced. Simulation results show the effectiveness of the proposed methods and the comparison of different fault-tolerant control approach.     

断裂韧性可靠性分析的相似计算法

根据断裂力学原理，动用相似理论求出断裂韧性ＫＩＣ〉ＧＩＣ，ＪＩＣ和δＣ之间的相似指标，然后利用正态函数的加法定理，对断裂韧性分散性进行相似计算，从而可以根据已知的断裂韧性随机信息，对难以求解或未知的其它断裂韧性参数进行可靠性分析和推断。计算介绍了一些实际应用。     

L-可积函数的逼近定理

通常所说的函数逼近,或者是在C—范数拓扑下连续函数的多项式逼近,或者是在L~p—范数拓扑下L~p函数的多项式逼近,或者是在Sobolev范数(‖·‖_(H~(m,p)(Ω)))拓扑下用C~∞(Ω)(或C~∞(Ω))对于Sobolev空间H~(m,p(Ω))的逼近。而对于有界L—可积函数的多项式a·e(即几乎处处)逼近,至今未见有任何文献。本文则借助于实变函数的性质与连续函数多项式逼近的技巧来处理这一工作,而文中的主要结果(即定理1—3)正反映了这一尚未有过的工作。确切地说,本文首先利用L—可测函数的重要定理,把L—可测函数转化为连续函数,使(用多项式)a·e逼近成为可能;而后,再对连续函数将广义Jackson算子逼近的已知结果与相应技巧应用上去,得到一系列刻划逼近程度(即逼近阶)的渐近估计。     

采样定理与奈奎斯特准则的研究

揭示出采样定理存在的局限性，推导出了一个解决这一局限性的普适化采样定理公式。并由此证明，在存在码间相互干扰的情况下，在一定条件下，仍然可以无失真地恢复出样点值，而且Ｎｙｑｕｉｓｔ传输率可以超过。     

均布载荷作用下三边简支一边固定厚矩形板的弯曲

在本文中，功的互等定理法(RTM)被推广应用于求解基于Reissner理论的厚矩形板的弯曲问题，给出了三边简支一边固定厚矩形板在均布载荷作用下弯曲的精确解析解，并分析了解的数值结果。     

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定理

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