独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

飞机发动机状态检测系统设计

根据目前飞机总装车间内场检测需要,开发研制了用于检测飞机发动机各种运行状态的智能化检测系统,并在严格的程序控制下,逐项完成了发动机工作过程中的状态检测。     

微小空间薄液膜相变传热的微尺度效应

对微小空间的相变传热和流动的微尺度效应的研究进展进行了阐述，包括下列几个方面：固体表面上薄液膜厚度的微尺度效应；圆形截面毛细管管径的微尺度效应；毛细管的截面形状微尺度效应；壁面纳米级粗糙度的微尺度效应；微型热管(MHP)的微尺度效应和连续性极限、堵塞极限；平板热管(FMHP)的壁面粗糙度微尺度效应和沸腾极限；脉动热管(PHP)管径的微尺度效应；薄液膜的稳定性等。研究分析了上述各方面微尺度效应的机理，归纳推知增加每个薄液膜区域的面积和增加薄液膜区域的数量这两种方法均可提高蒸发器的性能，后一种方法可操作性强，为高效蒸发器性能的提高指明了方向。     

FWD—Ⅱ型落锤式弯沉仪自动测试系统

介绍了我所自行研制的FWD—Ⅱ型落锤式弯沉仪的自动测试系统,阐述了该系统研制、应用的意义,说明了用工控机及其接口模板实施自动控制和数据采集的方法,最后介绍了系统工作软件的构成和实测结果。由于采用了有效的硬件和软件系统设计,使整机达到了较高的测试准确度。     

一类生化反应系统的定性分析

论文研究了一类生化反应系统：dx/dt=b-(c d)x^py，dy/dt=a dx-x^py，得到了该系统极限环存在与唯一的充分条件。     

虚拟环境系统中复杂模型的建立--3D资源在快速开发虚拟环境系统中的应用

对利用3D资源在快速开发虚拟环境系统中的方法进行了研究。在开发虚拟环境系统的过程中，复杂模型的建立是必不可少的，仅仅利用OpenGL函数编程来实现仿真是很困难的，针对该问题提出了利用3D资源进行3D文件读取和转换的两种方案，分析了虚拟环境中复杂模型的建立以及处理的基本方法，并对数控车床的仿真进行了详细介绍。     

飞机技术状态管理系统

本文介绍了自行开发研制的《飞机技术状态管理系统》应用软件。作为开发目的,本文对当前在飞机技术状态管理方面存在的问题做了必要的阐述。同时,介绍了系统的主要功能、特点、解决的问题、系统输出的各类报表以及系统的应用范围。本系统的各类数据库作为飞机设计图样、技术文件的资料库,将对飞机设计、生产及质量部门保存完整的飞机设计原始档案,实时掌握飞机的技术状态、生产现场的技术更改情况提供有力的帮助。同时,也可为解决飞机在部队服役期间出现的技术问题提供必要的信息。     

对GPS信号的干扰

GPS能在全球范围内提供精确的位置、速度和时间信息 ,在军事领域发挥着极其重要的作用。对GPS信号的干扰已成为当务之急。针对GPS信号的特性及未来GPS接收机将拥有的多种抗干扰措施 ,提出了对GPS接收机干扰的有效措施。