用Newton子迭代方法计算前飞旋翼粘性绕流

通过求解Navier-Stokes方程数值模拟了直升机旋翼前飞非定常流场，为了同时保证计算的时间精确性和计算效率，时间推进格式采用了双时间推进方法，在该方法中，子迭代过程由十分高效的LU-SSOR方法完成，且使子迭代过程成为Newton子迭代，空间上应用中心平均的有限体积法进行离散，为了模拟前飞桨时间的相对运动，网格布局采用了运动嵌套网格方法，应用本文方法对-悬停流场进行了数值计算，计算结果与实验吻合较好，尽管缺乏实验数据的验证，对-有升力前飞状态的数值模拟结果是可信的。     

从非稳态飞行中确定飞机的纵向平衡曲线

介绍了俄罗斯飞行研究院广泛应用的从非稳态飞行中确定飞机纵向平衡曲线的试飞方法。该方法具有对试飞员动作要求宽、每个动作所包含的信息量大、节省起落、缩短试飞周期的优点。同时,还就该方法所存在的不足进行了讨论。     

叶轮机非定常气动设计的缘线匹配(II)数值研究

缘线匹配通过考虑多叶排叶轮机相邻叶排间前排叶片尾缘线与后排叶片前缘线空间相对位置匹配关系来进一步提升叶轮机性能,有潜力使叶轮机非定常设计走向工程实际。以一单级跨声轴流压气机和一单级轴流透平为例,尝试用基元流动展向积分方法和全优化方法改善其性能,从而示例应用缘线匹配的具体方法及前景。结果表明,缘线匹配为叶轮机非定常设计提供了可操作的自由度。     

新型刀具识别技术，实现快速可靠的刀具破损检测

机械加工厂在生产过程中常常要面对刀具破损问题，识别刀具破损的位置和原因也成为机械加工过程中的一个难题。传统的非接触式刀具破损检测系统根据激光光束是否被遮挡来判断刀具是否正常：被遮挡时，表明刀具正常；未被遮挡时，表明刀具破损。     

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

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

华东地区围护结构节能研究

根据南京市的典型年逐时气象参数，对于该市的某一座高层建筑物，应用自编的逐时动态负荷模拟程序，输入围护结构（窗户、墙体和屋顶）相关的物理参数及其与周围环境的关系（地点及朝向等），计算围护结构冬季采暖期散热量及夏季制冷得热量。结果表明，采用双层塑窗代替单层塑窗，使用节能墙体代替传统墙体能够使得冬季围护结构传散热量减少51％，夏季围护结构总得热量减少46％。因此，这一结果为华东地区建筑节能技术提供了理论依据。     

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

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

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

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

无任何附加假设的梁的自由振动

本文不采用平面假设来研究梁的弯曲自由振动，也不采用剪切型振动假设研究短粗梁的自由振动，而用弹性力学的位移法导出了梁的自由振动微分方程，并推导了简支梁的自振频率的统一公式，其特殊情况即为有附加假设的自振频率公式。     

灰色系统理论中二维数据序列均值生成的讨论

灰色系统理论中非等时序序列或含有空穴的序列,通常可以用均值生成方法来填补,生成等时序序列。本文研究发现,用非紧邻均值生成方法生成的内点与实际存在有明显的误差,为此讨论了均值生成和有偏生成算法。利用数据序列点的局部凹凸特性来表示数据序列点的特征,提出了采用数据序列点连线的状态选取生成系数的方法。通过对一维数据序列传统均值生成方法的比较,给出了二维数据序列的定义,讨论了在二维数据序列下的均值生成方法,提出了有偏生成算法中生成系数分解的选取方法。