航管信息GPS时统系统

介绍航管信息 GPS时统系统的开发。描述系统方案设计、基于消息的异步存取技术、多线程技术和网络进程间通信技术 ,重点介绍了系统的开发技巧。     

PC-PLC构成的远程自动监测系统通讯之探讨

介绍以ＰＬＣ（可编程控制器）为核心的远程自动监测系统的通讯问题及相关设计；分析了微机与ＭＯＤＥＭ间速度匹配的实现、数据通讯设计；讨论了系统的设计原则。     

基于皮卫星的分布式干扰系统及其关键技术

在对皮卫星的特点总结的基础上,提出了一种基于皮卫星的天基干扰系统,给出了干扰系统的原理性方案,对其中的关键技术进行了分析。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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