固体火箭发动机直列式点火系统设计

介绍了与直列式火工品相关的美国军标以及我国在固体火箭发动机直列式点火系统研究方面的现状，概述了直列式点火系统概念和优点。对以硼／硝酸钾为始发药的直列式点火系统进行了设计计算，初步计算结果是冲击飞片速度约为3500m/s。而试验表明在此冲击飞片速度下，本文设计的固体火箭发动机用直列式点火系统能够将硼／硝酸钾点火药可靠点火。     

表面张力贮箱设计中的中性浮力实验方法

介绍了中性浮力实验方法的原理和它在实验中所需的各种条件、设备以及实验用液体的选择。该实验方法能简便地模拟液体的微重力状态 ,并能给表面张力贮箱的设计提供很大的帮助。可利用它测量各种加速度下贮箱中推进剂的位置和形状 ,为表面张力贮箱推进剂管理装置(PMD)的设计提供可靠依据。     

基于解耦三轴气浮台非线性模糊变结构的鲁棒控制

根据三轴气浮台非线性动力学模型,研究了一种基于解耦的模糊变结构控制方法。设计的控制器不仅避免了一般变结构控制中的抖振,而且具有实现简单、工程化容易的优点。仿真结果表明,该模糊变结构控制法对模型的不确定性和外来干扰有较佳的跟踪性能,其鲁棒性较优。     

查表判决方式帧同步器的设计

同步的提取是遥测系统设计和应用中最受关注的问题之一。文中介绍一种在实验教学遥测系统中采用的利用 EPROM器件以查表判决方式提取帧同步的方法 ,对基本的设计思想、重点部分的硬件组成及工作原理作了较为详细的介绍。此种方法在实际应用中取得了满意的效果     

卫星电磁兼容性设计技术

根据卫星上电子地器件多的特点，对气象卫星的电磁兼容性问题进行了研究，着重对卫星接地搭接、电磁屏蔽和电缆布线束的设计进行了分析。针对上述技术进行了讨论，提出了实施要求。经卫星在轨飞行验证，对FY－1C所进行的电磁兼容性设计是正确的。     

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

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

三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

基于聚类算法的模糊逻辑结构与系统性能分析

针对一类特殊的模糊逻辑系统，对模糊逻辑规则结构与系统性能之间的关系进行了深入细致的数学推导和分析，从而得出在采用聚类技术构造模糊逻辑结构中影响系统性能的主要因素。通过相关的论证与分析，为各种聚类算法在模糊逻辑结构辨识中的应用奠定了理论基础，避免了以往对模糊结构与性能之间表述的含糊性和不系统性，为模糊逻辑系统的合理设计及其应用提供了数学依据。     

关于NP完全问题的多项式线路可判定性

在计算复杂性领域里，大多数复杂类都是按照接受它们的图灵机而加以描述的。８０年代初，人们广泛关注被多项式大小的线路可判定的集合类并且得到了许多有趣的结果。但是，迄今是否ＮＰ完全问题是多项式大小的线路可判定的问题仍然是开的。最好的结果是，如果答案是肯定的，则多项式时间的分层便塌方到２级，即，ＰＨ＝Σ２。本文考虑一个特殊的无穷图的集合和讨论它被多项式大小线路逼近接受的问题，且利用紧致性定理和常数扩张法证明了存在集合Ａ∈ＣＯ－ＮＰ＼Ｐ／ｐｏｌｙ。     

MS中的自然数系统

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