飞行器振动智能分析与诊断

本文通过综合多个领域知识，引进功能特征描述概念，运用证据理论，提出了对飞行器等复杂系统进行分析诊断的一个新方法并初步完成了专家系统原型，通过具体实例，再现了故障现象     

区间矩阵MIMO定常系统的可控性与可观性

针对ＭＩＭＯ系统可控性和可观性矩阵的特点，建立了一种区间矩阵ＭＩＭＯ定常系统可控性与可观性的充要条件，并给出了详细的理论推导，最后列举实际的例子。在例中与Ｆｒｏｂｅｎｉｕｓ范数区间作了比较，结果表明，如何扰动仅作用于系数矩阵Ａ，则「△Ａ，△Ｂ」的Ｆｒｏｂｅｒｉｕｓ范数区间地大大受到△Ｂ的限制。     

"空军航空修理物资管理信息系统"的设计与实现

本文首先分析了空军航空修理企业的管理特点，然后详细论述了空军航空修理物资管理信息系统的设计原则、网络方案、总体结构及软件设计方法。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

捷联惯导系统的圆锥误差补偿算法研究

非互易向量的确定与补偿是影响高动态、恶劣振动环境下捷联惯性导航系统姿态矩阵计算的重要问题。为了补偿由此引起的圆锥误差，本文对一些传统算法进行了分析和研究。由于以往各种算法一般都需要输入信息为角度信息，但对于高动态、恶劣振动环境，角速度信息更有工程意义，所以针对输入信息为角速度的情形，提出了一类新的姿态算法，通过对比传统的算法，新算法在同样计算量、存储量的情况下有较优的性能，算法的精度较传统的算法高。另外，对新的姿态算法进行了误差分析．为其参数选择提供了选择标准，有工程实用价值。     

钢塑复合板材专用组合焊机微机控制系统研制

为了提高钢－－塑复合板材焊接生产效率和质量，研制了一种微机控制的专用组合焊机控制顺。控制器具有动作位置、时间控制混合控制和单一时间控制方式，能对焊接电流实行闭环控制，提高了机组的可靠性。生产应用表明，工作效率和焊接质量显著提高。     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

导弹防御系统的弹道导弹突防

根据美国国家导弹防御系统(NMD)的防御特点，提出了弹道导弹突防的以核攻核、近距离攻击和攻击天基信息链，以及饱和式多波次攻击、电磁脉冲弹头、机动发射平台、多弹头和单弹头突防等不同的战略战术，并分析了采用的不同弹头、释放有源或无源干扰物、隐身和反探测、助推段机动，以及旋转导弹和弹头等技术。     

微处理器控制的智能测量系统

自动测量系统由智能仪表、标准总线接口及微处理器系统构成。其研制周期短、通用性强、稳定可靠，适用于系统工程科研领域的各类测试。讨论系统特点、结构、标准总线接口、智能仪表选择以及抗干扰和软件设计等。     

GPCM控制气动伺服系统的理论分析与实验研究

广义脉冲编码调制（ＧＰＣＭ）控制是针对脉冲编码调制（ＰＣＭ）控制气动系统中控制精度与控制范围、稳定性与快速性之间的矛盾而提出的。本文建立了ＧＰＣＭ控制气动伺服系统的数学模型，并进行了详细的仿真和实验研究，结果证明了该方法的有效性。