基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

CFM56—3发动机引气系统低压的故障分析

发动机引气系统是保证飞机空调、增压、大翼防冰、液压等系统安全可靠工作的前提。引气系统低压是发动机引气系统的常见故障，但在有些情况下，按照常规的排故方法并不能找出低压故障的原因。根据引气系统原理图进行故障分析，可以缩小故障范围，分析故障原因，是解决引气系统疑难故障最有效的方法。     

CBT的新发展

在多年前,为了让军方尽快掌握新的武器设备,武器制造商开发了ＣＢＴ(计算机辅助训练系统)。通过使用ＣＢＴ,工程师和武器操作员能够很快地掌握新设备的使用与维护。ＣＢＴ之所以很受大家的欢迎,是因为它可以让使用者按照自己的进度去学习掌握新设备的使用与维护,从而交互式地进入到学习进程中。一、ＣＢＴ发展成为ＰＣＢＴ由于ＰＣ机处理能力的不断增强和Ｗｉｎｄｏｗｓ系统的出现,功能更强大的商用航空桌面训练系统随之被开发出来。此时的ＣＢＴ叫做ＰＣＢＴ(基于ＰＣ机的辅助训练系统)也许更为合适。ＴＴ＆Ｓ(Ｔｈｏｍｓｏｎ训练与模拟公…     

孔-轴-孔配合处的孔位移制误差计算公式的论证

文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。     

采用逐次正交化法的最优分布式Kalman滤波器

为解决大系统中应用整体式Kalman滤波遇到的非实时性难题,本文提出一种能保持最优的分布式Kalman滤波计算方法——逐次正交化法。这是一种适合多微机并行计算的最优算法,确保滤波的“实时性”,优于一般次优分布式Kalman滤波器。     

灰色系统理论中二维数据序列均值生成的讨论

灰色系统理论中非等时序序列或含有空穴的序列,通常可以用均值生成方法来填补,生成等时序序列。本文研究发现,用非紧邻均值生成方法生成的内点与实际存在有明显的误差,为此讨论了均值生成和有偏生成算法。利用数据序列点的局部凹凸特性来表示数据序列点的特征,提出了采用数据序列点连线的状态选取生成系数的方法。通过对一维数据序列传统均值生成方法的比较,给出了二维数据序列的定义,讨论了在二维数据序列下的均值生成方法,提出了有偏生成算法中生成系数分解的选取方法。     

基于BP网络的热工过程模型辨识方法

主要研究了人工神经网络在辨识火电厂热工过程模型中的应用，利用Visual C^ 语言构造BP神经网络,提出了把BP网络权值转换为传递函数的方法，针对火电厂常见的热工过程，不用人为加入特殊的激励信号，只利用现场生产中自然存在的扰动信号进行辨识试验，试验结果准确可靠。     

CARDC 2.4m引射式跨声速风洞设计与运行调试

中国空气动力研究与发展中心研制了可更换喷嘴的中压气体引射器 ,利用现有中压气源驱动 ,建成一座增压回流引射式跨声速风洞。试验段截面尺寸 2 .4m×2 .4m ,M =0 .3～ 1 .2。稳定段最高工作压力为 0 .45MPa ,最高模型试验雷诺数Rec=1 5× 1 0 6(M =0 .90 ,C =0 .2 4m) ,稳定吹风时间≥ 1 5s。风洞气动回路上分别配置有多喷管引射器、栅指扩散段、跨声速试验段驻室抽气系统及特殊的主排气系统等装置。采用智能自适应解耦控制技术 ,实现总压和M数独立、快速、精确地控制。该气动布局与部段配置及其功能设计 ,在国内跨声速风洞中均是首次采用。     

直流电阻仪器自动检测系统

介绍了直流电阻仪器自动检测系统的组成、测量原理和检定方法以及系统实现的功能和特点 ,并进行了测量不确定度评定     

液压能源管路系统振动主动控制的理论研究

对飞机液压能源管路系统的振动问题进行了探讨.提出一种基于振动主动控制(VAC)技术对飞机液压能源管路系统进行消振的方法,在手段上采用压电/压电致伸技术,以压电陶瓷(PZT)作为作动器,具有驱动力大、响应频率高和体积小等优点;控制方法上采用参数寻优的控制策略,它能始终能根据外界干扰因素的变化来调整控制参数.经过理论分析和仿真验证,证明其具有良好的自适应性和鲁棒性,在变转速和变负载情况下始终能保持最佳的消振效果.