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

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

正态分位点的矩阵算法浅析

假设标准正态的t分位点记为z(t),本文将根据z(t)的Taylor展开式中各个系数之间的矩阵递推关系,给出一种计算z(t)的近似值的方法,并给出具体的程序运算来验证本文的结论.     

三角机翼过失速非定常空气动力特性研究

在３ｍ低速风洞中研究了７０°后掠角三角翼过失速气动特性。实验中使用了专门设计的液压动态实验台，它可以模拟迎角的变化规律以便研究角速度，迎角变化历程对空气动力特性的影响。实验中迎角范围０°－９０°。使用六分力应变天测量非定常空气动力。研究指出：当作大迎角纵向过失速机动时，其空气动力有很大超调量和呈现滞回线特征，它们随着减缩频率增大而增大。特别是力矩特低迎角（α＞３０°）具有阻尼特征，但在高迎角时（３     

一个飞机结构优化设计软件

本文根据有限元分析基础,研究薄壁结构在应力、位移、最小尺寸约束下结构最轻重量的优化设计问题。用Kuhn-Tucker(库恩-塔克)必要条件将多个位移约束简化为单一位移约束(称为最临界位移约束),建立位移约束下的优化设计准则.从而避免大批拉格朗日乘子的计算,并结合满应力优化设计准则,形成了在有效约束界面逐步逼近最优设计点的方法——包络法。用某型飞机后机身一段优化设计作为本文的实际应用,得到令人满意的结果。     

L-乳酸精制残留液生物处理微生物菌种的分离筛选

随着科技的发展，L－乳酸的用途越来越广泛，精制L－乳酸所产生的残留液的处理问题也逐渐成为一个令人关注的问题。本实验旨在分离筛选出能对L－乳酸精制残留液有效降解的菌种，并确定出其最佳的降解条件，为以后进一步的科学研究和工程实际应用奠定基础。     

电沉积CeO2/Zn纳米复合涂层

将纳米氧化铈颗粒加入镀锌液中进行复电沉积制得纳米复合涂层。通过失重法，ICP，SEM和XRD方法探讨了纳米氧化铈颗粒对电沉积锌涂层的影响。结果表明，在同样的电沉积条件下，纳米复合涂层的耐蚀性明显提高，而微米复合涂层的耐蚀性只稍有改善；纳米复合涂层中氧化铈的含量高于微米复合涂层中的氧化铈含量。纳米氧化铈颗粒改变了锌涂层的表面组织形貌和晶体结构，从而提高了涂层的耐蚀性。     

飞行冲突探测与解脱的研究

由于空中交通流量的增加,我国的空中交通管理系统面临着越来越严重的航线拥挤。解决这一问题的最有效方法之一就是“自由飞行”,即允许飞行员选择最合适自己的飞行航线和飞行速度。但这却给管制员的工作带来的困难。本介绍了如何将遗传算法用于自由飞条件下的飞行冲突探测与解脱,并且表明由于该方法计算快速,能够很好地解决飞行冲突问题。     

弹道靶中超高速发射弹的流场及空气动力特性研究(英)

本文描述的是研究爆炸成型发射弹（ＥＦＰ）模型的流场及超高速空气动力特性所用的弹道试验设备;简要报导了记录全尺寸干涉图形的技术;对径向密度分布再现的方法进行了讨论;在零攻角实验时不同模型的空气动力阻力是采用简化方法来计算的;对各种不同ＥＦＰ型式的气动稳定性提出了定性估计的方法;并阐述了用于组合体超高速飞行特性研究的数值计算技术的基本原理     

浅析以教材课文为基础的阅读教学设计

阅读教学是大学英语教学最重要、最具有难度的一个环节。以《实用英语》“Modem Communication：The Laserand Fiber—Optic Revolution”一文为例,对如何在课堂上进行阅读教学进行了探讨。     

矩形管湍流冲击射流场的PIV实验研究

湍流冲击射流在工程和军事工业中都具有广泛的应用。采用粒子图像测速(PIV)技术,在射流雷诺数为20000和喷口-冲击板间距为4倍喷管水力直径的条件下,对矩形管湍流冲击射流场进行了实验测量,得到了主射流区和冲击区附近测量截面上的平均速度和涡量分布。结果表明,由于射流的卷吸及其与环境流体之间的相互作用,使得射流边界处具有很高的涡量;在流场的流出区域存在一个显著的回流区,这是半封闭冲击射流场的特征结构之一。