目标分速度的遥、外测数据融合估计算法

建立了发射坐标系和惯性坐标系之间的转换关系，讨论了利用遥测数据计算引力加速度的具体方法，并给出了计算公式；最后建立了利用遥、外数据融合估计目标外测分速度的算法。文中给出的仿真结果说明，利用遥测数据融合计算目标分速度可极大提高计算精度，并为合理利用遥测数据解决外测数据处理中遇到的有关问题提供方法基础。     

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

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

高可靠性分析中分布函数的研究

结构可靠性设计与分析方法要求用概率分布函数描述某些设计变量，这时，有可能选择了非真实的概率模型。利用蒙特卡洛数值仿真方法，就同此而产生的可靠性设计与分析的影响进行了初步研究，并给出了工程上有意义的结论。     

环氧树脂官能团热稳定性排序

高聚物分子中通常含有若干种热稳性不同的官能团。其中,热稳定性最低的最先破坏并引发其它官能团的分解。利用红外光谱吸光度的差减可以对官能团的热稳定性进行排序。我们利用这种方法对用二氨基二苯砜(DDS)固化的二氨基二苯甲烷四缩水甘油醚(TGDDM环氧树脂)中官能团在300℃下的热稳定性进行了排序。     

航空技术的发展趋势与航空关键技术

展望了民用和军用航空的发展趋势，综述了民用和军用飞机的主要研究方向，并对面向21世纪的航空关键技术，如空气动力学、先进推进技术、先进航空材料、航空电子和控制技术以及现代制造技术等作了简要论述和预测。     

萝卜寨羌族人的建筑语言

萝卜、寨人用黄泥在岷江大峡谷高半山的平地上，锚落有致的寨楼，不仅仅是萝卜、寨人安身立命的家围筑起了世界上最大、最古老的黄泥羌寨。亦是萝卜、寨人抵御外敌的坚固堡垒。[编按]     

多梁型称重传感器受力分析

本文对双梁和三梁型称重传感器的弹性元件进行受力计算,通过理论计算和实测数据证明多梁型弹性元件有好的线性和高的输出灵敏度。另一个更为突出的优点是抗偏载能力强,这是其它形式弹性元件无法相比的。因此可只用一个多梁型称重传感器来支撑台面进行称重,从而使它在案秤和小型台秤上得到广泛的应用.     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

涡格法中二等分平板的升力和力矩的高精度解

本文从点涡和控制点位置的选取出发,研究涡格法中二等分二维平板的升力和力矩的高精度解。发现除传统的1/4和3/4法则之外,还有服从一定规律的无穷多种离散化格式存在,均可以得到精确的升力和力矩。这就为在保证升力和力矩精确的前提下,寻找优于传统涡格法的载荷分布提供了理论依据。     

用差分干涉仪测量钝锥模型周围的密度场

本文介绍了用差分干涉仪测量超声速流场中钝锥模型周围密度场的试验装置和测量结果,并同尖锥模型的测量结果进行了比较。