Identification Method for RLG Random Errors Based on Allan Variance and Equivalent Theorem

An identification method using Allan variance and equivalent theorem is proposed to identify non-stationary sensor errors mixed out of different simple noises. This method firstly derives the discrete Allan variances of all component noises inherent in noise sources in terms of their different equations; then the variances are used to estimate the parameters of all component noise models; finally, the original errors are represented by the sum of the non-stationary component noise model and the equivalent model mixed out of the stationary and critically stationary component noises. Results of two examples for identification confirm the superiority of this approach regardless of the errors being stationary or not. The comparison of results of real ring laser gyro (RLG) errors processed by various methods shows that the proposed approach is more suited to depict the original noises than common ones.     

Analyzing Qualitative Spatio-Temporal Calculi using Algebraic Geometry

Abstract

Qualitative spatial reasoning is based on calculi which comprise relations and operation tables that encode operations like relation composition. Designing a calculus involves determining these tables and analyzing reasoning properties—a demanding task that is susceptible to errors if performed manually. This paper is concerned with automating computation of operation tables and analysis of qualitative calculi over real-valued domains like the plane ². We present an approach to specify qualitative relations using polynomial equations that allows methods from algebraic geometry to be applied. This paper shows how reasoning with qualitative relations can be posed algebraically and demonstrates algebraic reasoning using Gröbner base analysis. We evaluate this approach and describe our implementation, which is freely available as part of the spatial reasoning toolbox SparQ.     

万有引力场中带挠性太阳帆板航天器的姿态稳定性

本文讨论带双侧挠性太阳帆板航天器在万有引力场中的姿态运动，建立带挠性帆板航天器的欧拉方程和帆板强迫振动方程。利用Ｇａｌｅｒｋｉｎ方法对动力学方程离散化，利用Ｋｅｌｖｉｎ－Ｔａｉｔ－Ｃｈｅｔａｙｅｖ定量判断航天器在轨道坐标系内相对平衡的稳定性。导出适用于任意阶模态的解析形式稳定性充分条件。     

应用极限载荷试验的结构可靠性评定方法

研究了验证了一种利用极限载荷试验结果对固体火箭发动机燃烧室金属壳体进行结构可靠性评定的贝叶斯法。首先建立了适用的应力－强度模型，导出了壳体结构可靠度验前概率密度函数的表达式。进而提出一种通过爆破试验获取试验信息的方法。然后用贝叶斯方法将验前信息与爆破试验信息结合起来对一种发动机燃烧室壳体的结构可靠性进行评定，验证了这一方法的合理性和可行性。     

变上限定积分的应用

本文应用变上限定积分的基本性质,给出了定积分中值定理的新证明,並改进了有关结果,还指出了积分中值定理与微分中值定理、积分第一中值定理与积分第二中值定理之间的联系。最后还通过几个实例,给出了一个化有字母限的积分问题为微分学问题的有效方法。     

中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

相对质心的动力学定理

本文研究了质点系相对质心的动力学问题，推证了相对质心的动量定理和动能定理，并通过例题阐述了它们的应用，最后结合已有的相对于质心的动量矩定理，总结了相对于质心的动力学定理的理论意义及其方法和范围。     

一种轮控卫星姿态机动变结构控制器

针对小卫星3轴反作用轮姿态控制系统的非线性特性,应用误差四元数来描述姿态运动,将星体大角度姿态机动问题转化为误差四元数的调节问题.利用误差四元数和误差角速度建立滑动模态,并基于Lyapunov定理推导出一种姿态机动的引入角加速度负反馈的变结构控制律.仿真结果表明,该控制律能够提高收敛速度,降低机动过程中角速度的超调量和对起始力矩的要求.同时,在模型参数不确定和有外干扰的情况下该控制律也具有全局稳定性和鲁棒性.      

空间飞行器姿态控制设计和鲁棒性分析

基于奇异摄动思想,将飞行器姿态控制系统分为慢变化的姿态角回路和快变化的角速度回路分别设计。每个回路的设计均采用精确线性化方法。对于内回路即角速度回路,考虑到飞行器转动惯量的参数摄动,应用小增益原理分析了系统的鲁棒稳定性。     

一种准确预测层合梁结构层间剪应力的新锯齿理论

层合梁是航空航天领域典型的承力构件,而过大的层间剪应力（层间处的横向剪应力）是导致其分层失效的主要原因。针对常见的层数较多的复合材料层合梁以及材料属性差异较大的三明治夹层梁,现有的理论模型仍然无法准确预测其横向剪应力。通过构造一个新的线性分段锯齿函数,提出了一种能够准确预测层合梁结构横向剪应力的新锯齿理论模型。几个典型的数值算例表明,本文提出的新锯齿理论模型在计算层数较多和材料属性差异较大的层合梁时,具有较高的计算精度,能够准确预测层合梁的分层。另外,该模型预先满足横向剪应力层间连续条件,无需三维平衡方程后处理就能够准确预测层合梁的横向剪应力。位移场中未知量个数少,不含横向位移的一阶导,便于C⁰梁单元的构造。