一种基于误差四元数的飞行器姿态跟踪系统的滑模控制器

对于参数不确定和外部扰动的空间飞行器姿态跟踪系统，本文提出了采用滑模控制的方法。利用误差四元数建立数学模型，选择了一类线性滑动流形，并且基于李雅普诺夫函数推导出滑模控制律。理论分析及仿真结果表明，本文所求控制律对空间飞行器跟踪系统具有全局稳定性和鲁棒性。     

星载电子设备的热设计

介绍了星载电子设备的温升控制的各种方法，除了采用导热、热辐射设计外，还采用了热管的高效传热的方法。     

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

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

评涡轮流量计Thompson-Grey的理论模型

运用流体动力学分析,指出了涡轮流量计的Thompson—Grey理论模型中存在的各种缺陷。计算结果表明,改进后的模型与实际情况的吻合程度有了很大提高,涡轮流量计仪表系数的理论估计值与实际值之间的偏差由原来的±(4％～6％)下降至±1.5％以内。     

阆中:古韵幽幽惬意人生

豕突狼奔的快节奏，终于在阆中古城戛然而止，我们开始感觉她的缓慢，感悟她的古朴，阅读她的历史，抚摩她的宁静。2300多年会遗忘很多，也会留下很多，留下的是传说，历史还有风水古城。华胥的踪迹只能在典籍中云寻找，人们偶尔会在岸边结网捕鱼，但他们并不会询问这是否源于伏羲！     

多时滞不确定系统鲁棒稳定控制器的设计

本文给出多重状态滞后不确定系统鲁棒稳定控制器的设计方法，通过适当构造Ｌｙａｐｕｎｏｖ函数，使设计的控制系统闭环稳定，并具有一定的鲁棒性，最后给出一例子，说明本文提出的鲁棒稳定控制器的设计方法。     

基于路径的数字系统功能测试

本文介绍基于路径的数字系统功能测试方法。路径表示系统在输入信号作用下状态的转换。文章提出并实现了遍历路径的测试矢量生成算法;讨论了利用数字系统硬件描述语言及其模拟器生成被测系统在测试矢量序列激励下的无故障响应序列的方法;并介绍运用无故障响应序列与实际响应序列进行比较测试的故障定位法。应用上述方法,笔者在研制的NAT-403Ⅰ型数字设备自动测试仪上对三种板级数字系统进行了测试,获得预期的效果。     

稀土磁弹簧吸振器特性的研究

首先简要介绍稀土金属制成的磁弹簧吸振器的构造和工作机理，然后着重介绍三种规格磁弹簧吸振器特性的测试、计算和分析，并对磁弹簧刚度的可调节性及其刚度与磁弹簧的有关参数间的关系进行了分析，最后得出了一些有实际应用价值的结论。     

扩展分形在SAR图像特定尺寸目标检测中的应用

介绍了扩展分形(Extended fractal)技术在合成孔径雷达(SAR)图像特定尺寸目标检测中的应用。与传统的检测特征相比，扩展分形特征不仅可以依靠时比度从背景中识别目标，而且对目标物体的尺寸敏感。文中对扩展分形的定义以及扩展分形的均值和方差进行了分析，表明了扩展分形对目标尺寸和对比度的敏感特性。在扩展分形定义中，通过比较不同的能量增长间隔比值对扩展分形均值和方差的影响，确定了最优能量增长间隔比值，将扩展分形技术用于对实测SAR图像中特定尺寸目标检测，得到了良好的识别效果。实验表明，扩展分形技术对特定尺寸的目标具有很好的检测性能。     

民用飞机起落架机轮轮毂轴承寿命分析研究

通过对某型民用飞机起落滑跑情况下的受力分析,获得了各起落架所受的载荷。结合相关标准文件及该飞机起落架轮毂轴承本身参数,计算出了各轴承的额定动载荷及当量动载荷。而后通过滚动轴承寿命计算及修正公式计算出了各轴承的使用寿命。研究发现,该系列轴承的使用寿命完全满足某型飞机对于起落架系统的性能要求。