固体火箭发动机缩比技术的应用与研究

应用相似理论和固体火箭发动机缩比技术对多根装药固体火箭发动机的缩比设计进行了研究,并结合某导弹的弹射动力装置燃气发生器的缩比设计与研究,提出了一种新颖的缩比方法,即采用按装药根数缩比来代替常用的按药拄几何尺寸进行几何相似缩比,其缩比效果更具有特色。文中简要介绍燃气发生器的设计,较详细地叙述燃气发生器缩比设计方法,试验结果表明,文中介绍的缩比方法是正确的,准确预示了全尺寸燃气发生器的性能指标。     

归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

高动态金属壳谐振陀螺进动特性分析

高动态金属壳谐振陀螺的进动特性,是敏感结构实现角速率信息有效提取的关键。针对金属壳谐振陀螺的进动特性进行研究,首先分析了金属壳谐振陀螺的总体研究思路,明确其工作原理;建立敏感结构的动力学方程和进动因子表达式;利用数值分析方法,对进动因子进行分析,得出金属壳谐振陀螺进动因子经验公式;最后对其进动特性进行综合分析。     

一种新的广义凸多目标分式规划的对偶定理

本文给出了一类新的广义凸函数-(F,α,ρ,θ)-b-凸函数,讨论了多目标分式规划(MFP)的三种对偶模型:Mond-Weir型对偶、Lagrange型对偶、Schaible型对偶,并基于(F,α,ρ,θ)-b-凸性证明了各自相应的弱、强对偶定理。     

风驱雨CFD模拟及平均雨荷载计算方法研究

基于谐波叠加法,用Kaimal谱生成空旷场地的脉动风速时程,将脉动风速时程作为流场CFD模拟的速度入口。采用分离涡模型模拟脉动风场并用离散相模拟雨滴颗粒,通过风雨耦合的CFD模型,获得雨滴落在输电塔各高度处的雨滴速度以及时间,并依据冲量定理和冲量等效原则,提出了任一时距的平均雨荷载计算方法。以176m高的输电塔为例,计算出作用在输电塔上以0.25s为时距的平均雨荷载。研究了水平风速和降雨强度对平均雨荷载的影响,结果显示:水平平均雨荷载随水平风速和降雨强度的增加而增加,但水平平均雨荷载与风荷载的比值沿高度增加而递减;尽管单粒雨滴荷载较大,但作用时间只有大约1×10-5s,依据冲量等效原则计算得出在一定时距内的平均雨荷载较小;对于本文算例,平均雨荷载与平均风荷载的比值不超过2.6%。     

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.     

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

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

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

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

变上限定积分的应用

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