大型挠性充液卫星的动力学模型

研究了带有多个挠性附件和液体燃料贮箱的中继卫星系统的动力学建模问题。给出了微重力下小幅线性晃动等效模型基本参数，用混合坐标法描述中继卫星系统的构形，利用虚功原理推导出的矩阵形式的中继卫星动力学模型简洁且具有一般性，适用于许多开链飞行器系统。     

大曲率弯道和叶栅内的湍流数值模拟

本文在贴体曲线坐标系下应用非交错网格技术，发展了适于求解复杂流动的压力修正算法，采用速度的协变物理分量为动量方程的求解变量，推导得出一个适于任何曲线坐标系下控制单元体界面流通量的插值模式，可以有效地抑制不合理的波动压力场，计算表明，算法稳定收敛，计算值与试验值吻合良好，同时能预示通道内复杂的流动现象。     

Fe—10Ni—14Co钢标准状态的组织研究

用透射电子显微镜重点研究了Ｆｅ－１０Ｎｉ－１４Ｃｏ钢的标准处理状态（８３０℃风冷＋—７３℃＋５１０℃Ｓｈ）的微观组织结构。５１０℃回火不同时间，由于Ｍ２Ｃ的析出状态发生变化，钢也由峰时效（５１０℃／１０ｍｉｎ）→过时效（５１０℃／５ｈ）→明显过时效转变。５１０℃５ｈ合会开始发生逆转变。     

级联三能级原子系统的量子特征

运用油松分布的性质和二元泰勒级数展开方法，研究了初始处于下能级的级联三能级ＪＣ模型中的原子与两个初始相于辐射场的相互作用，得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解，与前人数值结果相比，更加明确地反映了系统的量子效应。     

DSP的数学原理及在实时系统的应用

制造系统里所用的微处理器中，单片机只能做逻辑处理和简单数学计算，而数字信号处理器（DSP）可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点，介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

五元素风帆的试验研究

用正交试验与系列试验相结合的方法,研究了五元素风帆的气动特性及其各参数之间的最佳配合问題。设计的4个五元素风帆,均是由3个固定小翼、2个活动小翼及上下两块制流板所组成,但小翼的形状及分布曲线不同。 通过风洞试验,得到了各个风帆攻角与两个活动小翼转角之间的最佳配合,并对各帆的气动特性作了比较。试验结果表明,在最佳配合状态下,4个帆的升力系数可分别达到2.64、2.87、2.69和2.08,均比常规帆有较大的增长;而且,只要打开活动小翼,就能释放大部分风能,从而保证船舶在大风中的安全,这些帆的结构并不复杂,是具有广泛应用前景的高效帆具。     

Windows下微机与数字化仪信息交换的研究

本文探讨了美国Ｂｏｒｌａｎｄ公司９５年最新推出的面向对象编程软件Ｄｅｌｐｈｉ，实现计算机ｗｉｎｄｏｗｓ环境下与单片机控制的数字化仪信息交换，并在出口德国的超声浓度计及南昌公安交通地图查询系统上调试成功，对智能化电子仪表，ＣＡＤ，ＣＡＭ，计算机控制系统等领域有一定的意义。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。