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

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

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

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

热交换器动态特性研究

本文从飞机空凋系统温度调节的需要出发,首先以集中参数模型的形式,用理论推导的方法,求得热交换器的动态数学模型的结构形式。然后,为了使热交换器的动态数学模型更加符合实际热交换器,文中提出不用理论推导的方法求得热交换器动态数学模型的模型参数,而用辨识实验的方法求得热交换器动态数学模型的模型参数。文木提出了热交换器动态特性的计算方法,即微分方程数值计算方法在其模型参数是状态参数函数的热交换器动态特性计算中的具体应用。并且以欧拉法为例,论述了热交换器动态特性计算的具体公式和步骤。     

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

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

穿透式冷板的传热分析

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

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

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

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

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

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

瞬态气动模拟加热控制中的快速高精度"E-T"转换

为了准确模拟飞行器在高速飞行时的瞬态气动加热状态,必须使用快速、高精度的计算机瞬态热能控制系统,对气动模拟试验的加热过程,实行快速、高精度的非线性动态控制.为此,传感器的快速、高精度"E-T"转换是一个必须解决的非常重要的问题.提出一种高速飞行器瞬态气动加热控制系统中传感器的快速、高精度"E-T"转换方法.该方法具有计算简单、转换速度快、校正精度高的优点,使用该方法实现了高速飞行器气动加热过程中温度场高速变化状态下的瞬态非线性动态控制.     

多传感器信息融合技术

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