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

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

200km/h动力分散型电动旅客列车组车体表面压力分布试验研究

阐述了对我国首列200km/h动力分散型电动旅客列车组(先锋号列车)车体表面压力分布测试情况,对测量结果进行了较为详细的分析,最后用流场计算软件CFX对先锋号列车周围流场进行了数值模拟计算,并将计算结果与测量结果进行了对比,两者有较好的一致性。该研究结果可为空调装置及电器设备冷却风道进排风口位置的选取提供科学依据。     

二元冰蓄冷测试技术及其评价

对二元冰蓄冷系统的测试技术进行了系统的介绍并作出了相应的评价。着重介绍了二元冰的性质及系统中凝聚现象和含冰率的测试技术,为二元冰蓄冷系统的测试研究指明了方向。     

电励磁双凸极电机调速系统的原理与实现

介绍了新型电励磁双凸极电机的结构和原理，然后结合全桥变换器阐述了电励磁双凸极电机的控制方法，接着详细介绍了电励磁双凸极电机转速、电流双闭环控制调速系统的原理和实现方法，最后以一台500W12/8极电励磁双凸极电机调速系统为例进行了系统实验。实验结果表明，电励磁双凸极电机调速系统具有结构简单、控制方便和良好的动静态性能。     

摩擦体系结构分析和定量建模的熵探索

提出摩擦系统演化的3种基本形式。在非平衡态热力学熵平衡方程的框架下构造摩擦系统的数学模型．用熵产生表征摩擦磨损过程的各种现象。讨论了各因素的物理量纲及其统一到熵的途径。研究表明．用非平衡态热力学研究摩擦磨损有助于摩擦学的系统分析．熵产生可以定量表示摩擦磨损过程的所有因素——材料破坏、摩擦发热、摩擦化学反应以及摩擦相变等摩擦过程的物理化学变化。     

安装和不安装垂直嵌板的鸭式飞机横向稳定性研究

研究了带有和不带有伸出的垂直嵌板的鸭式飞机(Velocity-173)的横向稳定性。众所周知，鸭式飞机(Velocity—173)具有良好的纵向稳定性．但其横向稳定性比较差。为了改善其横向稳定性．设计了两种复合材料夹层板．将其安装在垂直尾翼下面．并进行了一系列的飞行试验来研究安装伸出的垂直嵌板的效果。采用解析法和实时参数估计法从飞行试验数据中提取了横向可控能力／稳定性。本的工作验证了安装垂直嵌板对横向稳定性的效果。     

亚超剪切混合层燃油雾化特性试验研究

为了摸清亚超大梯度剪切混合层内直射式喷嘴的燃油雾化特性,设计了用于向亚超剪切混合流中进行燃油喷射的直射式喷嘴,建立了亚超剪切混合层中燃油雾化试验系统。利用粒子图像测速系统（PIV）,对亚超大梯度混合层中油雾场进行测量。通过改变喷嘴流量、喷射角度和喷嘴数量研究不同参数对雾化特性的影响,并应用图像处理技术对亚超大梯度剪切混合层内的油雾场进行分析,总结归纳其雾化规律。试验结果显示：随着流量增大,穿透深度会随之增大,破碎后的颗粒分布峰值所对应的液滴直径会逐渐变小,雾化效果提升;相同流量条件下,喷嘴的角度改变对雾化效果有影响,顺喷和逆喷的雾化效果均好于垂直喷射;逆喷的喷射高度最高,随着流量的增长,燃料将会碰壁;顺喷条件下,随着角度的增加,穿透长度会有所增加;综合燃油轨迹边界,逆喷的效果相对较好。相同流量条件下,喷孔个数的改变对雾化效果和穿透深度的影响不大。     

DATA PROCESSING ON LINEARIZATION OF HOT-WIRE ANEMOMETER

ＤＡＴＡＰＲＯＣＥＳＳＩＮＧＯＮＬＩＮＥＡＲＩＺＡＴＩＯＮＯＦＨＯＴ－ＷＩＲＥＡＮＥＭＯＭＥＴＥＲ￥ＬｉＳｕｆｅｎ（ＤｅｐａｒｔｍｅｎｔｏｆＰｏｗｅｒＥｎｇｉｎｅｅｒｉｎｇ，ＮＵＡＡ２９ＹｕｄａｏＳｔｒｅｅｔ，Ｎａｎｊｉｎｇ２１００１６，Ｐ．Ｒ．Ｃｈ...     

双参数指数分布下定时截尾恒加试验的统计分析

设产品寿命服从双参数指数分布ε（λ，μ），其中λ＞０为尺度参数（失效率），μ＞０为位置参数（保证寿命）。在加速应力水平Ｓｉ下，失效率和保证寿命的加速模型分别为 ｌｎθｉ＝β０＋β１ψ１（Ｓｉ）＋β２ψ２（Ｓｉ） μｉ＝α０－α１ｆ（Ｓｉ），ｉ＝１，２，…，ｋ 本文给出了定时截尾情形下对由恒定应力加速寿命试验得到的数据进行统计分析的方法。获     

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

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