知识表示的F-K系统

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

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

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

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

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

连续式跨声速风洞压力损失计算研究

为满足未来先进航空航天型号的发展需求，我国逐步展开了大型跨声速风洞建设工作；由于过去从未开展过大型连续式跨声速风洞建设，建设经验较为有限。连续式风洞压力损失估算及各部段气动参数计算是风洞结构、测控系统和动力系统设计的输入条件；压力损失估算结果的准确性，直接影响了风洞动力系统设计的难度。本文结合经典的压力损失计算方法，针对损失的关键部位，结合CFD数值模拟及缩比部段试验结果进行全面的分析，给出了特殊部段尤其是试验段的损失系数，并通过多次迭代计算的方式，给出了各部段气动性能。最后，将风洞压力损失估算值与某0.6 m量级连续式跨声速风洞试验结果进行对比，估算偏差在7.5%以内。     

基于特征线理论的旋转爆震流场结构特征研究

特征线理论及其计算方法是气体动力学的经典理论与方法，应用于旋转爆震流场分析具有简单高效的特点。将坐标系建立在爆震波上，对旋转爆震流场进行简化，采用特征线理论并结合流场计算单元过程，建立旋转爆震流场计算模型。研究了当量比和喷注参数对氢气/空气、甲烷/空气以及辛烷/空气3种不同预混气的旋转爆震流场结构特征的影响。结果表明:爆震波高度和倾斜角度受混气当量比和喷注总温影响明显；燃料由小分子氢燃料变为大分子碳氢燃料时，爆震波高度和倾斜角度逐渐减小；混气当量比和喷注总温主要通过影响爆震波传播速度、高度和倾斜角度而影响爆震波后宏观流场特征趋势。     

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

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

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

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

矩形橡胶复合材料层合板的大变形研究

本文应用Ｋｉｒｃｈｈｏｆｆ假设和ＶｏｎＫａｒｍａｎ理论对正交各向异性的矩形橡胶复合材料层合板进行了几何非线性分析。与线性结果相比，大变形理论所得结果更具准确性。     

跨洞庭湖大桥主梁节段定常气动力研究

采用风洞实验与数值模拟相结合的手段，对跨洞庭湖大桥主梁节段的定常气动力特性进行了研究；流场数值模拟是采用ｋ－ε湍流模型封闭的雷诺时均Ｎ－Ｓ方程，求解方法是建立在交错网格基础上的压力－速度场迭代求解的ＳＩＭＰＬＥ算法；实验是在国防科技大学ＫＤ－０３ 低速风洞进行；研究表明实验与计算结果较为一致     

塞块量热计的热流计算与修正方法研究

为减小塞块量热计的热流测量误差，对其热流计算与修正方法开展了研究。根据能量守恒原理和传热理论，建立了隔热套结构塞块量热计的传热模型和计算方法；通过对塞块量热计传热模型的仿真分析，给出了温升率提取方法和计算误差的主要影响因素；提出了直接比对标定修正方法和基于标定的数值计算修正方法。仿真和试验结果表明:两种方法均能较大幅度减小塞块量热计的热流测量误差，使其误差控制在5%以内；直接比对标定修正方法的误差相对更小，但要求热流标定系统能覆盖被测热流范围；基于标定的数值计算修正方法对热流标定系统要求较低，适用范围更广。