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

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

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

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

穿透式冷板的传热分析

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

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

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

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

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

On the station keeping of a solar sail in the elliptic Sun–Earth system

In this work we focus on the dynamics of a solar sail in the Sun–Earth Elliptic Restricted Three-Body Problem with solar radiation pressure. The considered situation is the motion of a sail close to the L₁ point, but displacing the equilibrium point with the sail so that it is possible to have continuous communication with the Earth. In previous works we derived a station keeping strategy for this situation but using the Circular RTBP as a model.     

个性化自适应课件生成器的研究

分析基于Internet的远程教育学习站点存在两个明显的缺点,提出个性化自适应课件生成器的概念,并针对其关键技术问题进行研究与讨论。     

考虑外圈局部缺陷的滚动轴承非线性动力特性

 建立了考虑滚动轴承外圈局部缺陷、非线性轴承力和径向游隙等非线性因素的滚动轴承系统动力学微分方程,并用Runge-Kutta-Felhberg算法对其求解。利用分岔图、Poincaré映射图、频谱图以及均方值、峰值因子、峭度等时域参数,分析了滚动轴承的响应、分岔和混沌等非线性动力特性。结果表明：考虑外圈局部缺陷的滚动轴承系统存在多种周期、拟周期和混沌响应;滚动轴承系统进入混沌的主要途径是倍周期分叉;峰值因子比率在中、低速,峭度比率在低速时可以很好地识别外圈局部缺陷。均方值比率除了在与轴承动力特性有关的个别转速外,可以在较大的转速范围识别外圈局部缺陷。     

一种基于正弦图的工业CT系统转台旋转中心自动确定方法

构建一个工业CT成像系统,转台旋转中心的确定是非常关键的步骤,其定位误差会引起CT图像上的伪影。本文在详细分析了现存旋转中心确定方法不足的基础上,提出了一种新方法,该方法利用隐含在正弦图中的对称投影信息,并根据经过旋转中心的射线束在两个对称投影视角下透过的物体路径相同这一规律来定位旋转中心。相对现有算法,该方法适用于射线源与旋转中心的连线不严格垂直于探测器的情形,无需使用模体,亦无需知晓任何几何参数,实时且基本不受随机噪声影响。实验数据验证了该方法的有效性。     

镍基单晶合金蠕变研究:试验、机理及材料模型

在镍基单晶合金高温蠕变建模研究工作的第一部分,通过对DD6镍基单晶合金不同中断时间的高温蠕变试验及透射电镜(TEM)观察,结合单晶合金蠕变机理的研究成果阐明了单晶高温蠕变的机理,并从Orowan方程出发,在晶体塑性理论框架下建立描述晶体滑移系上位错演化规律的方程,发展了以位错密度变化表征镍基单晶高温蠕变的材料模型.该模型考虑了较宽温度与载荷范围内单晶的主要蠕变机理,可较好地建模750～1100℃范围内镍基单晶的各向异性蠕变行为.