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

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

三维CT图象自动分割法

计算机断层扫描图象（ＣＴ）和核磁共振图象（ＭＲＩ）是诊断疾病和制定治疗方案与手术方案的主要依据之一，而分割ＣＴ和ＭＲＩ图象是定量分析其平面与三维信息的关键之一。本文先采用三维自适应滤波，在保留图象细节的前提下滤除高斯分布噪声和脉冲噪声，然后根据ＣＴ或ＭＲＩ各断层多阈值二值化图象采用区域自动增长算法实现了三维ＣＴ图象和ＭＲＩ图象的自动分割。最后给出了腹部ＣＴ图象的分割结果，该方法分割精度高，速度快，具有广泛的临床应用价值     

钝体燃烧器后能量逆转和紊流参数的数学模拟

本文用非定常数值法研究了钝体燃烧器后的紊流参数分布和能量逆转,并对Boussinesq的雷诺应力模式和双方程k-ε紊流模型提出了改进方案。这样不仅计算出了能量逆转区,而且紊流参数分布也与实验相符。     

飞机主起落架的光弹性应力分析

讨论了用光弹性嵌片法（一种新的模型试验方法）进行飞机主起落架的实验应力分析。采用该方法解决了传统光弹性贴片法中的贴片增强效应问题，避免了在贴片边界，因泊松比不匹配引起的误差，从而提高了测试灵敏度。实验应力分析选用了与实物尺寸相同的模型试件，克服了模型制作过程中遇到的许多困难。该方法在一套试验模型上能够直观地进行多种载荷状态下主起落架表面应力场的分析比较，为主起落架结构优化设计方案提供了试验依据，故具有广泛的应用前景．测试数据的计算校核表明，试验结果是可信的，可作为主起落架结构减重修型的重要试验依据。关键词     

用于建立机械制造系统模型的扩展着色Petri网

着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。     

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

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

炮风洞中进行高温喷流底部热流、压力测量试验

本文介绍了在北京空气动力研究所炮风洞 M 数为6、7、8的气流中进行具有高温喷流的模型底部热流和压力测量试验的有关试验技术。试验结果表明底部对流热流和压力测量值随外流 M 数增大而减小,他们都大于无外流时的测值。辐射热流不受外流影响。     

一类变结构控制系统滑动模态的特征值条件

在单输入双线性常值变结构控制和比例变结构控制及一般双线性常值变结构控制系统的基础上，将系统推广到一般多输入双线性系统的比例变结构控制，引入排序截尾算子取变结构控制律与状态变量中ｍ个绝对值较大的分量成比例实现对ｎ个被控变量的控制，采用李亚普诺夫方法研究这类系统的滑动模态，得出此类系统产生稳定滑模运动的条件，并对该条件进行讨论和简化，将其表述成系统矩阵与双线性矩阵特征值之间的关系式。同时给出了一个三阶     

多约束实数权的直接数据域算法在空时自适应处理中的应用

传统的空时自适应处理算法通过权矢量幅度和相位的改变来实现,本文研究了空时自适应处理中一种改进的直接数据域(Directdata domain,DDD)算法。该方法仅通过权矢量幅度的改变,对一次样本数据进行处理,有效地抑制杂波和干扰,实现对目标信号的正确估计。采用实数权减小了运算量,降低系统的复杂程度。当目标信号的方向与天线波束指向有偏差时,采用多约束的方法,保证系统在目标信号方向的增益。仿真结果表明该方法的有效性。     

跨声速柔壁自适应风洞及试验技术研究

简述西北工业大学自适应壁风洞研究课题组在“八五”期间开展跨声速柔壁自适应壁风洞试验技术研究的主要研究工作成果。简介该校的高速柔壁自适应壁风洞的设计及主要参数，以及在该风洞中开展的低超声速消除波反射的研究、近声速的自适应壁风洞试验技术研究和跨声速自适应壁试验段优化设计的研究。