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

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

新型无位置传感器开关磁阻电机的研究

提出了一种新型的基于测试线圈技术的无位置传感器方案.这种方案是通过测量导通相测试线圈的电感来获得实时转子位置的.文中对此进行了理论分析和实验验证,并成功地开发完成了一台无位置传感器开关磁阻电机原理样机.     

大迎角三角翼旋涡运动及其破碎特性的数值研究

从流体力学的基本方程出发，利用Ｈａｌｌ的涡核准柱假设，导出反映涡核运动的Ｎ－Ｓ方程。采用差分方法计算旋涡流场，进而分析三角翼上前缘分离涡的运动特点及其破碎机下。从计算结果可以看出，旋涡的轴向速度向下游逐渐下降，且涡心处于降较快，外缘下降较慢，反映了粘性作用自涡心外缘逐渐下降的特点；涡核外缘的径向速度开始为负，说明开始阶段有流体流入涡核，随着旋涡向下游运动，径向速度有所增加，到一定位置后增加迅速，说     

基于用户自定义变更的本体进化

提出一种基于用户自定义变更的本体进化方法。首先给出了该方法的形式化描述,建立了本体一致性模型和原子变更及冲突消解方法,然后对用户自定义变更模型进行语义描述,将用户自定义变更转换成原子变更,并对其进行了优化。最后给出了用户自定义变更及优化的实例。结果表明:本方法可以很好地满足本体进化过程中用户的复杂需求,并实现了本体变更的形式化描述,解决了各种变更中的冲突问题。     

超声爬波无损检测方法的研究

本文介绍了超声无损检测中一种具有较好应用前景的波型──超声爬波。试验研究了爬波检测时缺陷定位、定性评定的方法，并给出了主要结论。     

智能超声气体流量计的研制

本文主要介绍新型智能超声气体流量计的工作原理、仪器结构，并给出内径１２５ｍｍ管道中脉动气流流量检测的初步实验结果和内径７００ｍｍ管道内，流速在３～１３ｍ／ｓ范围内的校准结果。     

能谱变硬后的X射线对Ly12铝破坏效应的研究

用数值模拟方法讨论了X射线的能谱向短波方向变化后,对Ly12铝破坏效应的影响,对所得结果进行了分析和解释。     

五元素风帆的试验研究

用正交试验与系列试验相结合的方法,研究了五元素风帆的气动特性及其各参数之间的最佳配合问題。设计的4个五元素风帆,均是由3个固定小翼、2个活动小翼及上下两块制流板所组成,但小翼的形状及分布曲线不同。 通过风洞试验,得到了各个风帆攻角与两个活动小翼转角之间的最佳配合,并对各帆的气动特性作了比较。试验结果表明,在最佳配合状态下,4个帆的升力系数可分别达到2.64、2.87、2.69和2.08,均比常规帆有较大的增长;而且,只要打开活动小翼,就能释放大部分风能,从而保证船舶在大风中的安全,这些帆的结构并不复杂,是具有广泛应用前景的高效帆具。     

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

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

Windows下微机与数字化仪信息交换的研究

本文探讨了美国Ｂｏｒｌａｎｄ公司９５年最新推出的面向对象编程软件Ｄｅｌｐｈｉ，实现计算机ｗｉｎｄｏｗｓ环境下与单片机控制的数字化仪信息交换，并在出口德国的超声浓度计及南昌公安交通地图查询系统上调试成功，对智能化电子仪表，ＣＡＤ，ＣＡＭ，计算机控制系统等领域有一定的意义。