相控阵天线有源单元方向图的计算方法

基于弗洛奎定理给出了一种计算无限相控阵有源单元方向图的方法。与传统的基于有源反射系数的方法不同,这种方法不但可以用于计算功率方向图,而且可以计算场方向图,因此可以计算诸如交叉极化、相位信息等更多的辐射特性。通过数值计算结果与仿真结果的比较验证了方法的正确性。     

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

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

地月空间飞行轨道分层搜索设计

通过对地月间飞行轨道特征进行分析，根据不同的终端约束条件，提出了分层搜索的轨道设计方法。其基本思想首先是将月球视为质点，解决空间两质点的相遇问题，其次进一步视月球为球体，完成二体假设下的B平面瞄准，最后在前两步基础之上，根据具体目标条件约束得到精确的轨道。本文详细清晰地给出该方法的设计过程，很好地解决了地月空间轨道搜索的快速收敛性问题，对深空探测器轨道设计有借鉴意义。     

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

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

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

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

相对质心的动力学定理

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

单光束红外光二氧化碳分析仪

介绍了单光束红外光二氧化碳分析仪，该分析仪基于朗伯－比尔定律，采用光源稳流，单片机温度补偿及选用高性能红外探测器等技术，能够对二氧化碳气体进行有效准确的测量和分析，且结构简单，体积小，重量轻，功耗低，响应速度快，可靠性高，具有广阔的应用前景。     

变上限定积分的应用

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

无穷维情形下的Rolle定理

设Ω是自反的实Banach空间X中的有界开凸集,Y为一实赋范线性空间。证明了一个无穷维情形下的Rolle定理：如果算子A∶Ω→Y在Ω上强连续,在Ω内Frèchet可微,并且存在Y上的非0连续线性泛函f,使得f（Ax）=0对一切x∈Ω成立,则至少存在一点∈Ω,使对一切u∈X,都成立f（A′（x）u）=0。     

一种无奇异的求解Lambert变轨的普适变量法

传统的普适变量法求解Lambert转移轨道的变轨点速度时,在两位置矢量夹角为180°处出现奇异,且用牛顿迭代法求解普适变量会丢失部分重要的解.通过公式变换消除奇异项而推导出一种无奇异的速度求解公式;且根据转移轨道的圈数对普适变量的取值范围进行分段,在每个区间用人工免疫算法AIA(Artificial Immune Algorithm)搜索普适变量正确解,解出所有Lambert转移轨道并从中选择最优转移轨道.仿真算例表明:这种改进的普适变量法能有效避免传统普适变量法的奇异性,而且能求得所有的Lambert转移轨道并得到燃料消耗最优的转移轨道.