DSP的数学原理及在实时系统的应用

制造系统里所用的微处理器中，单片机只能做逻辑处理和简单数学计算，而数字信号处理器（DSP）可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点，介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。     

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

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

由分散而集中 完善我院空管工作

近年来学院教学训练不断改革 ,机型逐渐增加 ,流量逐渐增大 ,新的教学大纲对航线、空域等空间资源提出了更多的要求。同时 ,由于本地区飞行单位集中 ,各单位在实施飞行时相互掣肘的现象极为普遍。近来 ,随着成都地区飞行方案的调整和金堂走廊口的使用 ,学院的日常训练受到了很大影响 ,在目前的管制工作模式下不利于解决由此带来的安全压力和训练效益负担。为解决这些矛盾 ,本文从学院空管工作的角度 ,围绕学院空管工作的特点和存在的弊端进行了分析 ,提出了以建立中心进近管制室为主要解决手段的一些设想和建议并进行了论证。     

管理与飞行安全

结合民航的现行管理体制 ,探讨了如何利用管理的计划、控制和激励职能提高飞行安全水平。     

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

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

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

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

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

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

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

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

浅谈机组配合

随着民航技术的发展 ,飞机的自动化程度日益提高 ,现代化的机载设备对飞行员在信息的接收、处理与决断方面提出了更高的要求。为此 ,现今的民航客机一般采用两人制的机组配合 ,使机组成员之间进行合理的分工 ,以便及时全面地接收信息。更重要的是使机组成员能够在对信息进行处理和决断时协调合作 ,以确保飞行安全、有效。本文将对信息的接收、信息的处理与决断两个阶段的机组配合的基本原则和基本方法进行初步的讨论。一、信息的接收为减轻飞行员的劳动强度和有利于飞行员的注意力分配 ,以便及时接收新的信息 ,机组之间大都会进行分工 ,而不…     

CBT的新发展

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