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

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

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

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

CBT的新发展

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

Windows下微机与数字化仪信息交换的研究

本文探讨了美国Ｂｏｒｌａｎｄ公司９５年最新推出的面向对象编程软件Ｄｅｌｐｈｉ，实现计算机ｗｉｎｄｏｗｓ环境下与单片机控制的数字化仪信息交换，并在出口德国的超声浓度计及南昌公安交通地图查询系统上调试成功，对智能化电子仪表，ＣＡＤ，ＣＡＭ，计算机控制系统等领域有一定的意义。     

采用逐次正交化法的最优分布式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数独立、快速、精确地控制。该气动布局与部段配置及其功能设计 ,在国内跨声速风洞中均是首次采用。     

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

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