无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

二元冰蓄冷测试技术及其评价

对二元冰蓄冷系统的测试技术进行了系统的介绍并作出了相应的评价。着重介绍了二元冰的性质及系统中凝聚现象和含冰率的测试技术,为二元冰蓄冷系统的测试研究指明了方向。     

基于ANFIS的蒸汽发生器水位实时控制系统的设计

从蒸汽发生器的水位特性出发，对其水位高度控制原理进行了深入细致的研究。鉴于控制对象的模糊性、不确定性和非线性，采用自适应神经元模糊推理(Adaptive neuron fuzzy inference system，ANFIS)技术，建立了模糊控制规则库，实现了对蒸汽发生器水位的智能控制。本文详细阐述了ANFIS技术的结构、控制方式和系统的主要功能，完成了软、硬件的综合设计，并进行了仿真研究。控制系统的硬件采用了DSP芯片，以保证系统的实时性；软件采用了模糊一神经网络算法，以克服系统模型的不确定性。仿真结果表明，该控制系统工作稳定可靠，具有较高的控制精度和较强的鲁棒性。     

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

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

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

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

CBT的新发展

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

振动试验中的多台并激技术

介绍了一种新的振动试验方法:多台并激随机振动试验的微机控制方法,叙述了谱密度矩阵模拟原理;讨论了互谱设置、频响函数估计、时域随机化和均衡算法;报道了试验验证结果。     

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

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

羊毛精纺织物服用性能优选的多属性模糊决策

本文应用多属性目标决策的方法,评判不同规格毛织面料的"满意度",客观地提供一个重要的优选辅助依据。     

多约束实数权的直接数据域算法在空时自适应处理中的应用

传统的空时自适应处理算法通过权矢量幅度和相位的改变来实现,本文研究了空时自适应处理中一种改进的直接数据域(Directdata domain,DDD)算法。该方法仅通过权矢量幅度的改变,对一次样本数据进行处理,有效地抑制杂波和干扰,实现对目标信号的正确估计。采用实数权减小了运算量,降低系统的复杂程度。当目标信号的方向与天线波束指向有偏差时,采用多约束的方法,保证系统在目标信号方向的增益。仿真结果表明该方法的有效性。