中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

MATLAB在调压铸造系统智能控制仿真中的应用

ＭＡＴＬＡＢ是一种面向科学与工程计算的高级语言，应用ＭＡＴＬＡＢ进行控制系统的计算机辅助设计快捷方便。本文在介绍了ＭＡＴＬＡＢ对模糊控制系统进行分析与仿真的基础上，以一调压铸造智能控制系统为例，详细叙述了其应用原理与过程，并给出了仿真结果。实践证明，ＭＡＴＬＡＢ是研究和分析控制系统的一个有效手段。     

亚甲二醇二硝酸酯的构象和热解机理的理论研究

用量子化学中的ＳＣＦ－ＭＯ ＭＩＮＤＯ／３，ＭＮＤＯ，ＡＭ１和ＰＭ３方法计算研究了亚甲二醇二硝酸酯的几何构型和电子结构２，求得了ＭＧＤＮ的平衡几何构型。不同方法的计算结果均表明，标题物分子中两个ＯＮＯ２均为平面基团，且Ｏ－ＮＯ２键的Ｗｉｂｅｒｇ键级最淖分子中最弱的键，在分解时可能首先断裂；     

一种新型电动舵机系统

介绍了一种为某型无人驾驶直升机研制的新型电动舵机系统。该系统采用了航空精密微型滚珠螺旋副和基于智能功率集成电路（ＳｍａｒｔＰｏｗｅｒＩＣ－ＳＰＩＣ）的ＰＷＭ（ＰｕｌｓｅＷｉｄｔｈＭｏｄｕｌａ－ｔｉｏｎ）伺服放大器，具有精度高、频带宽、线性度好、效率高和线位移输出方式等特点。文中详细描述了该系统的设计思想和结构特点。频响测试和机载试飞表明：这种新型的电动舵机系统具有良好的动态响应过程，完全满足无人驾驶直升机的使用要求     

不同机匣-枪管联结系统的动特性实验

从实验方面对两个具有不同结构形式的机匣－枪管联结系统的动特性作了研究，验证了实验结果和计算结果的一致性，证明了系统结果不同是影响其动特性的主要原因，从而为动特性的优化提供了理论依据。     

开关寿命连续型冷贮备可修系统的可靠性分析

对由ｎ个同型部件和一个修理设备组成的、开关寿命为连续随机变量的冷贮备可修系统，当部件的工作时间和维修时间以及转换开关的寿命和修理时间均服从指数分布、所有随机变量均相互独立、工作部件的寿命分布与其贮备过多长时间无关、故障部伯和转换开关修复后的寿命分布与新部件、新开关的寿命相同的条件下作了研究，建立了该类系统的一般模型，当ｎ已知时能够获得系统的可靠度Ｒ（ｆ）的Ｌ－变换和首次故障前的平均时间ｔＭＴＴＦＦ     

FL－7风洞计算机综合测控系统的可靠度仿真计算

依据Ｍｏｎｔｅｃａｒｌｏ法，对系统基本部件统计抽样，按故障树模型，确定系统平均失效时间，计算系统可靠度各项指标，进行可靠性设计。经２８００多条气动实验曲线测定表明，在控制精度、燃料消耗、系统可靠度等方面均达到国内高速风洞的先进水平。     

具有码间串扰的接收机的性能分析

应用网格编码调幅（ＴＣ－ＡＭ）分析ＢＰＳＫ和π／４－ＱＰＳＫ调制下接收机的码间串扰特性。通过计算ＴＣ－ＡＭ的修正生成函数和重量轮廓函数，得出了两种调制在最大似然译码意义下的比特误码率，并给出了π／４－ＱＰＳＫ调制下的数值结果。     

一个识别零件几何与工艺特征的自动分类系统

提出了一种在成组技术中应用模糊综合评判理论识别零件几何与工艺特征、进行计算机辅助零件分类的新方法，据此设计了自动分类软件。本法是根据零件本身间的相似性自动分类，不需建立一套分类用编码系统，也不需事先设定假想零件。对不同的分类要求，修改各种输入信息很方便，具有柔性。本文对２３００个航空附件回转类零件作了试验分析，讨论了特征抽取，目标类别，权级、权重分配，模糊关系矩阵计算，及自动分类应用软件设计．本软件是在ＩＢＭ－ＰＣ微型计算机上用Ｆｏｒｔｒａｎ－７７语言实现的，分类结果满意，自动分类正确率达９０％以上。本软件设计方法也适用于设计管理部门．     

轴系稳定性裕度判据的实验研究

本文是研究轴稳定性裕度判据的系列文章的第二篇。文［１］从理论上提出以系统的最大能量比率作为衡量轴系稳定性裕度的判据，本文以一对称单跨转子－轴承系统为例对该判据进行实验研究，测量了系统的最大能量比率，结果与理论计算吻合较好。测量了转子轴承系统机械能随时间变化的曲线，讨论了实测结果与理论计算存在偏差的主要原因。     

曲外锥乘波前体进气道流量测量及实验与仿真对比研究

流量捕获特性是高超声速进气道的重要特性。针对一体化曲外锥乘波前体进气道，开展了流量特性精细测量分析以及实验与仿真对比研究。采用节流实验系统，在来流马赫数3.0、3.5和4.0，迎角-4°至6°和不同进锥位置上，获得了该型前体进气道的流量特性，分析了流量测量均方根误差。开展了来流马赫数4.0、迎角-4°~6°条件下的实验与仿真对比研究。研究结果表明:一体化曲外锥乘波前体进气道构型具有良好的流动捕获能力，在来流马赫数3.5、4.0和6.0以及迎角0°条件下，流量系数分别为0.60、0.68和1.00；在节流实验系统充分壅塞的条件下，流量测量均方根误差在2%以内；仿真所获流量特性随迎角变化的线性度较好，和实验结果的吻合度较高。     

一种新型直筒-锥段型钢结构冷却塔气动性能的LES数值分析

作为一种外形新颖的典型风敏感结构,直筒-锥段型钢结构冷却塔表面风荷载随机分布特性亟待研究。以国内拟建最高的某新型直筒-锥段型钢结构冷却塔(塔高189 m)为例,采用大涡模拟(Large eddy simulation,LES)方法对其进行风场数值模拟,获取了直筒和锥段两部分结构的外表面三维气动力时程。将平均和脉动风压系数分别与相关规范及国内外冷却塔实测及风洞试验结果进行对比,验证了数值模拟方法的有效性。进而提炼出此类直筒-锥段型钢结构冷却塔外表面平均、脉动和极值风荷载以及阻力系数等气动参数分布规律。最终给出了此类新型的直筒-锥段型钢结构冷却塔结构平均和极值风压估算公式及其分布曲线。     

复杂电气系统可靠性的数字仿真

针对复杂电气系统的可靠性问题进行了数字仿真研究。提出了以网络最小路为基础的直接数字仿真方法，它的特点在于不仅可以求出系统可靠性的点估计值，还可以得到统计值的分布函数。这种方法直接根据系统的可靠性网络，建立各最小路失效时间的随机样本，并获得系统的失效时间样本，经过Ｎ次仿真后进一步求出系统的指标。另外，这种直接数字仿真方法概念清楚，仿真过程容易实现     

一种新的仿真组件模型及其实现

为了提高仿真组件的重用性、兼容性,给仿真应用提供通用的开发模型,使仿真系统独立于仿真中间件,提出了一个新的自包含仿真组件模型,该模型由服务端口、适配器和调度引擎构成。而模型的描述采用静态结构和动态行为元元模型。开发时首先采用面向组件的建模工具描述系统的静态结构和动态行为,根据静态结构自动生成应用代码和适配器。其中适配器是联系仿真组件和仿真中间件的纽带,使它们彼此独立。运行时调度引擎将仿真组件装配到应用框架中并根据动态行为模型调度组件运行。实践表明该模型是一个适用于不同仿真中间件的标准模型,可以提高仿真模型的协同能力和重用性。     

直升机实时仿真建模中的关键问题探讨

分析了直升机飞行动力学模型在型号研制过程中的重要地位，阐述了建立满足工程模拟要求的数学模型理论背景以及建模工作中的难点，研究了建立高置信度模型的主要方法，指出尚存在的问题以及当前研究工作的重点，从直升机飞机动力学模型组成结构出发，分别讨论了旋翼气动载荷模型及诱导速度模型，机身气动力模型，发动机模型和飞行控制系统模型的研究方法，及模型研究中问题的解决途径，文中还介绍了基于Newton-Raphson方法的非线性微分方程组算法，并针对模型算法的实时性进行了有益的探索。     

机会维修策略下的多部件系统可用度仿真

针对多部件系统固定维修时间长的特点,提出采用机会维修策略,将预防性维修和故障维修有机结合起来,从而分摊系统的固定维修时间,实现提高系统可用度的目的.为此,分析了系统的故障率特性,以及最小维修下的随机故障时间的产生特点.在此基础上,以各部件机会维修役龄为变量,最大化可用度为目标,给出了系统可用度仿真优化方法.最后通过算例,验证了该仿真算法的正确性.     

GPS／捷联惯性组合导航的半物理仿真算法

讨论了ＧＰＳ／捷联惯性组合导航的原理和特点，针对其理论仿真和工程实现中的衔接问题，提出了一种半物理算法，该算法既继承了理论仿真方便，直接的优点，又充分利用的实测数据，可脱离实时环境对各种结构和参数进行设计和调试，一旦系统调试成功，就可以将全套核心软件直接转移到导航计算机中，因此本算法具有简便，经济，省时，可操作性和可比较性强等优点。本文给出了半物理算法的原理和方案，讨论了组合卡尔曼滤波器的设计和Ｇ     

一种全数字半物理飞行控制实时仿真系统

提出了一种基于PC机与局域网（LAN）的无人机飞行实时仿真系统。该系统采用全数字仿真与实时动画方面模拟飞机动力学、运动学特性、机栽传感器信号与电气特性和地面测控系统功能，具有实时性、可靠性高、操作灵活、直观、成本低的特点。实际使用结果表明系统性能良好，完全满足飞行控制系统半物理实时仿真试验要求。     

射频仿真系统中多机系统的实时通信

射频仿真系统（ＲＦＳＳ）主要是用在实验室里模拟空中射频目标信号。本文提出并实现了一种应用于ＲＦＳＳ的多机实时通讯系统。该系统基于自行设计的异步并行通讯卡，采用树型分级拓扑结构，并开发了相应的实时通讯协议。为保证仿真的逼真性，着重研究了如何保证通讯的实时性、可靠性这一关键技术，使系统具有效率高、工作可靠、通用性强等特点     

飞机液压系统柱塞泵热分析

随着飞机液压系统向高压化、大功率化方向发展，液压系统的发热及温升问题受到了广泛关注。柱塞泵作为液压系统中重要的能量转换装置，对液压系统的功率损失和温度有重大的影响，良好的柱塞泵的热分析对液压系统的热设计和温度控制有重要的意义。然而传统的柱塞泵热分析方法，如平均油温法、软件仿真法和热节点网络法，因不够准确、高效和简洁而不能满足现代飞机液压系统热分析和热设计的相关需求。本文针对飞机液压系统柱塞泵发热的相关问题，采用基于集总参数的热网络分析方法，建立了柱塞泵热网络模型，通过对柱塞泵不同工况下的仿真，验证了模型的有效性和准确性，为柱塞泵及液压系统的热分析提供了参考。