对地观测卫星有限推力快速轨道机动优化方法

研究了对地观测卫星在有限推力作用下,快速轨道机动到目标区域上空的优化算法.分析了任务需求并选取两次点火的变轨方法,使算法更具普适性.推导出考虑J2摄动的三维空间的有限推力动力学方程.使用Lambert方法确定有限推力时间变量的取值范围,并在此基础上使用遗传算法进行优化,最终得到时间最优意义的优化结果.通过一个算例对整个优化算法做了验证.结果表明该算法精度高、计算时间短,适用于快速轨道机动任务.      

最优冲量交会的研究进展

 对最优冲量交会的研究进展进行综述,介绍最优冲量交会中四类比较典型的研究成果：基于冲量校正理论的最优冲量交会、Lambert最优冲量交会、利用数值方法求解的最优冲量交会和基于邻近圆轨道交会理论的最优冲量交会,并分析这些类型的最优交会的特点。     

区间模糊集理论及其运算法则(英文)

在区间模糊集概念及其性质的基础上,针对区间模糊集的3个理论尚未得到有效证明的现状,首先对区间模糊集的知识表示及其运算法则进行了研究,然后提出了基于区间模糊集的截集概念。并在此基础之上进一步研究了基于区间模糊集的分解定理、表现定理和扩展定理,并通过实例说明了传统模糊集是区间模糊集的一个特例,区间模糊集是传统模糊集的有效扩展。     

智能化无创血氧饱和度检测系统的研究

无创脉搏血氧饱和度仪能够快速实时进行血氧饱和度的测量，在临床中得到广泛的应用，针对复杂生物组织如何建立相对准确的数学模型是提高血氧仪精度的关键问题，本文分析了光通过人体组织的传输特性，采用辐射传输理论，并考虑散射效应，提出了一种新型无创脉搏轿氧仪的设计方案，有效地减少了血氧仪的测量误差，通过对PC机联网，实现了血氧测量的智能化。     

成对比较矩阵的一种逼近

本文证明了成对比较矩阵在相容性矩阵集合中的最佳逼近的存在性和不唯一性。再通过微分同胚,把原来的非线性逼近转化成一个线性逼近,用投影定理予以解决。并用一个例子说明该方法的简易可行。     

机载反辐射武器作战使用研究

机载反辐射武器是对付地面防空雷达的有效手段。综述了机载反辐射武器的工作原理、技术特点及作战使用。     

边界弹性支撑板固有振动分析的一种解析方法

板的挠曲面微分方程与振型函数方程在数学上具有相同的形式，在力学上又具有相同的意义。这种可比拟性使得利用贝蒂功互等定理对板的固有振动进行研究成为可能。该文给出了求解矩形板的通用基本解，并对对边简支矩形板分别具有均匀的一般弹性边界支撑和弹性嵌固支撑时的固有振动进行了讨论，得到了解析形式的频率方程。     

基于地球引力变轨的日冕探测器轨道设计

研究了相对黄道面有一定倾角的探测器轨道设计的问题。以金星借力轨道设计为例,分析了轨道偏心率与轨道倾角增量之间的关系。根据C3匹配原理搜索了“地球-中间天体-地球”多天体交会的发射窗口。最后,设计了与地球轨道周期相等的三次地球借力轨道,该轨道倾角可以达到黄纬30°以上。理论分析及仿真结果表明:基于地球引力设计此类轨道时,应采用多天体交会方案,才能既保证地球逃逸能量低,又保证首次飞入地球影响球前轨道偏心率较大的双重指标;同时应采用多次地球借力方案,该方案具有每次借力后轨道偏心率逐渐减小的特点,当其减小到零时,再次借力后轨道倾角不会继续增加。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

环形磁铁空间磁场的解析计算与仿真

从永磁体的磁荷模型出发,运用标量磁位法、广义二项式定理、矢量叠加原理等建立了环形磁铁在磁体外部空间磁场分布的解析表达式,并在MATLAB仿真软件中进行了计算。利用三维数字式特斯拉计实际测量了两种规格的永磁体的磁场分布,利用Ansoft Maxwell电磁场分析软件建立了两种永磁体在磁体外部空间的磁场分布,通过对比解析计算结果、实际测量结果和Ansoft Maxwell仿真结果发现解析表达式很好地反映了永磁环空间磁场的分布规律,误差不超过7％,从而验证了解析表达式的正确性。