基于CPLD的角速度波动率测量

以CPLD为核心的高速高精度的频率测量，不同于常用的测频法和测周期法。本文介绍的测频方法，不仅消除了常规测频法带来的误差，而且具有高集成度、高速、高可靠性的特点。     

一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

空间飞行器大角度机动控制律设计

研究了空间飞行器大角度机动控制问题。为避免欧拉角描述姿态运动存在奇异性的问题，由姿态四元数建立姿态运动方程。针对飞行器姿态运动模型的非线性和不确定性，利用模糊逻辑系统对不确定性函数进行逼近，将获得的模糊函数作为系统不确定性界函数。对模糊逼近所带来的误差以及外部干扰项，采用变结构补偿控制方法，并在线自适应调整参数。理论分析和仿真研究表明此方法具有姿态控制精度高，实时计算量小，便于工程实现等优点。     

大型固体发动机旋转试车头部热防护工程分析

介绍了与ＬＭ－２Ｆ运载火箭配套的固体近地点变轨发动机的结构参数和在地面旋转试车时出现的头部烧穿故障。     

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

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

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

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

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

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

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

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

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

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