论空间的创造和生产

空间不只是客观的物质存在形式，也是人的一种认识，具有历史、社会和实践的性质，是“属人的现实”。因此空间及宇宙万物也都是人所规定、创造和生产的产物。正是人类在不同的发展阶段，创造和生产出不同的空间形式。它不仅包括物质空间和社会空间、精神空间和理念空间，也包括虚拟空间和网络空间。每个人都生活在一定的空间：每个人都应该自觉、积极地投身空间的创造、设计、改造和生产。     

基于载人航天功能模型的系统安全性模糊评价方法研究

对载人航天安全性评价时，需要处理两类不同的数据，即随机性数据和可能性数据。本文根据载人航天过程，初步建立了功能的对象模型，在此基础上，基于模糊规划方法，将两类安全性数据进行了统一处理，并提出了载人航天系统安全性模糊评价的求解方法。     

空间系统军事应用仿真模型体系设计

空间系统军事应用仿真是对复杂大系统仿真的过程,模型体系是其核心。首先分析空间系统军事应用基本概念和空间系统军事应用仿真的主要内容,说明了空间系统军事应用仿真模型体系设计的原则与标准,对空间系统军事应用仿真模型进行了功能上的分类,设计了空间系统军事应用仿真模型体系结构。设计的体系结构考虑了可扩充性和适应未来一体化联合作战的需求。     

四维画法几何中的直线与三维空间之间的相互关系

用形数结合的观点和条件极值法 ,研究了四维空间的直线与三维空间的相交、平行和包含的相互关系并计算出直线与三维空间平行的距离     

向量函数强(弱)可导的判定与导函数连续的特征

本文提出了向量函数一阶强和弱一致连续等概念,建立了它们的简单性质。得到向量函数强、弱可导的四个判别定理以及强、弱导函数连续的两个充要条件。     

关于不动点研究中的拓扑度方法

本文用拓扑度方法放宽了Ｐｅｔｒｙｓｈｙｎ不动点定理边界条件，研究了某类代数方程组可解性等问题。     

火箭运动的能流研究

本文讨论了在地球发射宇宙火箭的第三宇宙速度问题，对许多文献中给出的两种截然不同的计算公式，进行了能流分析与计算，指出产生这种错误的原因，就在于忽视了火箭流向地球的机械能流。此外，我们还进一步对太阳系中其它行星进行了计算。     

缩微影像计算机辅助检索研究

讨论了实现缩微影像计算机辅助检索的原理、方法,以及在系统规划、缩微拍摄及计算机建库、系统启动程序的设计等方面的若干技术问题;介绍了建立缩微影像联机检索过程中的设计思路和实现方法.     

机构类型判别

本文在指出哈茵关于机构属性边界条件的判别方法所存在的缺陷后,提出用作者自己创立的二进制判别法的三个判别式,并给出了框图。本文所述的方法,对判别四连杆机构乃至多杆机构的类型很有指导意义。     

关于基数函数qL(X)和sqL(X)的进一步结果

本文改进了文[5]的14个主要结果。特别是本文定理1、定理9、定理10及定理12等分别改进了国外截止目前的最佳不等式:拓广后的Arhangelskii不等式,Sapirouskii不等式和Hajnal-Tuhasz不等式及其它一些较好的不等式。本文定理8、9挖掘了sqL(X)的新的更深刻的特性,从而较大幅度地改进了[5]的对应结果。