一种旋转导弹锥形运动稳定性分析方法研究

针对旋转导弹在飞行过程中,由于俯仰和偏航通道的气动交联、惯性交联和控制交联而形成的锥形运动对弹体稳定性的影响,在对锥形运动进行动力学建模的基础上,利用劳斯定理分析了旋转导弹锥形运动的稳定性条件,揭示了锥形运动稳定性与飞行状态、气动特性以及弹旋速度的关系,并针对旋转导弹做锥形运动时的角运动特性进行了仿真。仿真结果验证了该稳定性条件的可行性和正确性,研究结果为旋转导弹总体设计及制导控制系统设计提供了参考。     

用n表示第n个素数

给出一个用ｎ 表示第ｎ 个素数的公式ｐ１ ＝ ２ｐｎ ＝ ３ ＋ ∑∞ｋ＝ １ １ ＋ ｎ － １２ － ∑ｋｉ＝ １ ｓｉｎ （２ｉ）２ｉ＋ １πｓｉｎ π２ｉ ＋ １ｎ － １２ － ∑ｋｉ＝ １ ｓｉｎ （２ｉ）２ｉ＋ １πｓｉｎ π２ｉ ＋ １ 　　（ｎ ＝ ２,３,４,…）     

复杂系统的Bayes可靠性评估

讨论了复杂系统的Bayes可靠性评估。首先，对各种不同分布类型的单元进行Bayes可靠性分析；其次利用最大熵方法把单元可靠性信息进行综合，得到系统可靠性的验前分布；最后根据Bayes定理，利用系统可靠性试验信息来更新系统可靠性的验前分布得到系统可靠性的验后分布，依据此验后分布对系统可靠性进行评估。仿真算例说明了评估方法的合理性。     

从数值逼近引出泰勒（Taylor）定理

用简单函数逼近（近似表示）复杂函数是数学中的一种基本思想方法。本文将要引出的Taylor定理就是用高阶多项式来逼近具有一定可微性的函数所得到的一个基本定理，它一理论研究和近似计算中有重要价值。     

弹翼展开机构可靠性分析

提出了一种折迭弹翼机构在指定时间内展开到位的可靠性分析方法，文中采用序列响应面法和全概率定理解决了涉及机构动力学随机参数及发射攻角随机参数的双重随机性问题，基于本方法所研制的RSMM程序应用效果良好。     

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

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

归纳推理和归纳进程

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

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

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

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

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

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.