中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

一个柔性化MIS系统的设计与开发

本文针对传统ＭＩＳ系统的局限，提出了柔性化ＭＩＳ系统的概念和定义。着重介绍了一个柔性化ＭＩＳ系统ＮＭＳ开发实例，介绍其设计思想和实现该系统柔性化所具备的支撑模块及这些模块的设计要点和功能等，还介绍了该系统的体系结构。在该系统中用户可以灵活地定义或修改数据模式，而且输入、输出、查询、修改、删除和统计等模块均为通用的，不因数据模式或系统功能的修改而变动源程序。源程序的中用户库名和所有条件成分均以参数或     

目前管理信息系统弊病分析及其改善途径

本文在肯定管理信息系统给企业带来经济效益和社会效益的前提下，分析了管理信息系统中存在的主要弊病及产生弊病的主要原因，主要弊病：信息质量问题，适应性差，及系统与用户之间存在着间隙。产生弊病的主要原因是：系统开发队伍的结构不合理，原理数据的局限性、数据集的表态性，及传统开发方法本身的限制。根据对弊病原因的分析，探讨了克服弊病与改善系统性能的基本途径：合理组织系统开发队伍，适当拓宽系统范围（包括拓宽数据     

非线性随机动态系统学习建模方法

在动态神经网络及扩展卡尔曼滤波算法的基础上，提出了对非线性随机动态系统进行学习建模的迭代算法，用这种方法对非线性随机系统建模，可以获得更准确伯系统模型，并可对非线性随机系统进行状态估计。最后给出相应算法及仿真结果。     

穿透式冷板的传热分析

对航空电子设备上采用的空心冷板冷却系统的传热特性进行了分析求解，得到了空心冷板稳态温度分布表达工和功率－温度－流量关系式，可作为空心冷板系统的设计依据，建立了空心冷板失效的动态温度模型，得到的温度－时间响应特性可用于评估冷板系统耐热冲击性能。     

危害性分析中的模糊数学方法

利用模糊集合理论对影响故障模式危害性的各因素进行了模糊化处理，建立了故障模式危害性评定的模糊评判模型，并阐述了模糊评判方法的基本步骤。     

大型转动机械碰摩故障分析的声发射检测系统

汽轮发电机、空气压缩机等采用油膜支撑的大型转动机械,由于安装或运行中的原因,在转子旋转过程中,可能和器壁发生轻微的摩擦和碰击,简称碰摩.声发射技术在碰摩发生特别是故障早期诊断上有优越性.本系统的特点是没有沿用传统的计数、幅度、能量和持续时间等声发射特性参数,而是在声发射包络信号的频率分析中进行特征提取.声发射发生的过程分析和现场试验都表明这种方法对碰摩检测很敏感,在碰摩发生的起始阶段,包络谱中与转速同步的周期性分量显著增加.根据这种新的设计思想自行研制了BUAA碰摩声发射检测仪并对此作了介绍.     

多传感器信息融合技术

多传感器信息融合是Ｃ＾３Ｉ系统和电子综合战系统中的关键技术，本文从信息融合分类出发，讨论了单传感器的信息融合决策理论和技术以及多传感器信息融合原理，提出了多传感器信息融合专家系统，着重讨论贝叶斯法用于二元检测的分布式多传感器信息融合的检测方式。     

微量气味成分的自由基簇射技术脱除

研究了密闭体系中微量气味污染物的脱除作用与机理。采用电晕放电自由基簇射技术，实现了人工环境下氧化性自由基的产生；以电子自旋共振技术（ESR）对气态羟基自由基实施了捕集和检测，验证了在羟基自由基的存在下NH3被氧化为N2。通过U—I获得反应能耗和污染物去除效率为：NH3脱除效率为90．6％时，能耗1．0W。研究表明：自由基簇射技术产生的氧化性自由基可有效去除密闭生存环境中产生的NH3等微量有害气味成分，将在空间站等密闭生存系统内空气净化中有很好的应用前景。     

航空公司航材资源管理研究

航空公司的航材资源管理直接关系到机务维护、航班运行以及公司的成本效益．本文分析了航材需求的因素．阐述了飞机机队、工程、维修、可靠性、供应链管理与航材资源之间的关系．并提出航材资源的三个重要管控维度及其衡量方式。