知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。     

设计灵敏度分析的迭代模态法

在结构动态有限元数学模型修正、结构动力学修改以及结构动态设计中，灵敏度分析是十分重要的一环，往往也是主要计算工作量所在。如何在保证精确度前提下减少灵敏度分析工作量和计算时间，具有重要意义．本文提出的迭代模态法，可以大大提高特征向量对设计参数导数（模态灵敏度）的计算效率。本文还从理论上证明经典模态法和修改模态法只是迭代模态法的特殊情况。文中还给出了ＦＯＲＫ，３Ｄ－ＦＲＡＭＥ两种结构为实例的计算机仿真，并与已有两种模态方法进行比较。理论分析与计算机仿真表明，本方法不仅能充分保证特征向量灵敏度分析的精度，而且大大提高了计算速度．     

载人飞船返回舱的气动热流率分布

高超声速有攻角钝头轴对称体的载人飞船返回舱的热流率计算，目前已有很多方法。迎面球冠的对流加热率可由风洞试验结果和Ｌｅｅｓ及Ｄｅｔｒａ－Ｋｅｍｐ－Ｒｉｄｄｅｄ等的驻点热流理论作较好预测。拐角圆环区是返回舱上加速流最剧和气动加热最严重的地方。试验结果表明迎风倒锥附着流表面的热流率和背风倒锥分离流表面的热流率分别比零攻角驻点的热流率的１５％和５％还低。     

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

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

壁挂式矩形截面水箱应力分析

矩形截面水箱的受力状态比圆形截面复杂，但其制造方便、成本低、且平稳性好。为了解决其应力计算问题，针对某一尺寸矩形截面容器，根据结构力学中超静定结构和弹性力学中矩形薄板小挠度弯曲理论，进行了应力分析计算，得出了侧板、底板最大应力值；在此基础上，采用ANSYS有限元理论进行了分析计算，并与前述分析结果进行了分析对比。结果表...     

直升机悬停时涵道尾桨的需用功率计算

涵道尾桨是将一螺桨置于直升机尾斜梁的涵道中，通过改变螺桨叶片的安装角实现直升机的航向操纵。为了弄清涵道尾桨的拉力（或推力）和需用功率之间的关系，本文根据Ｒ·Ｋｒｉｅｂｅｌ关于薄圆柱涵道螺旋桨的研究结果，用叶栅理论分析了涵道尾浆的气动特性，并将动量理论、叶素理论和叶栅理论结合起来，推导出直升机悬停时的涵道尾浆的需用功率计算公式。最后计算了ＳＡ３６５Ｎ直升机涵道尾浆和Ｂｅｌｌ－２２２直升机常规尾桨在产生相同拉力时的需用功率，并对计算结果作了对比分析。     

对称分段线性系统主共振的分叉

由ＫＢＭ法推出的分段线性系统主共振的一次近似解，导出了分叉方程，然后应用奇异性理论对主共振的分叉类型进行了系统的分析，并用计算稳态周期运动的参数延续数值方法结果与其中感兴趣的部分进行了对比，发现基于弱非线性分析的主共振一次近似解在较强的非线性情况下仍具有一定的精度。     

具有码间串扰的接收机的性能分析

应用网格编码调幅（ＴＣ－ＡＭ）分析ＢＰＳＫ和π／４－ＱＰＳＫ调制下接收机的码间串扰特性。通过计算ＴＣ－ＡＭ的修正生成函数和重量轮廓函数，得出了两种调制在最大似然译码意义下的比特误码率，并给出了π／４－ＱＰＳＫ调制下的数值结果。     

相变热图技术在表面热流测量中的应用

本文详细地介绍了在中国空气动力研究与发展中心低密度风洞中，进行的相变热图技术的应用工作。实验模型是尖锥及球锥，实验条件是自由来流马赫数Ｍ∞＝１６，来流雷诺数Ｒｅ∞／ｍ＝０．５×１０５～２．０×１０５，来流滞止温度Ｔ０＝９４０Ｋ，滞止压力ｐ０＝０．３９ＭＰａ～１．１７ＭＰａ。实验结果与国外计算结果作了比较。最大相对偏差２６．０％。本文对实验结果作了误差分析，介绍了相变漆响应滞后分析的一些结果。同时本文还介绍了相变热固技术的原理及方法。     

振动建筑中人的烦恼率

现有的结构振动舒适度验算方法的最大问题是无法定量知道实际设计效果，针对这个问题，本文首先从心理物理学的角度研究了人对振动主观反应的模糊性和随机性，结合国内外有关实验研究，给出了上述不确定性的模糊属度函数和概率分布形式；然后把心理物理学对烦恼率的计算方法移植到结构振动舒适性设计中去，建立了相应的烦恼率计算模型；最后，结合高层建筑风振舒适度问题对该模型的合理性和有效性进行了研究，并把计算结果与实测结果与实测数据以及ISO标准进行了比较，结果表明用烦恼率方法最大的优点是能够非常准确地预测出因风振舒适度导致的不满人数的比例，而且与ISO标准具有很好的一致性。