超燃冲压发动机性能的初步分析

超燃冲压发动机是发展高超声速技术的关键,以其为动力装置的高超声速巡航导弹、高超声速飞机和空天飞机对于国防安全、未来空间作战和航天运输都有重要意义.用热力循环的方法对超燃冲压发动机的性能作了初步的分析,建立了超燃冲压发动机准一维性能计算分析模型,并分析了一些影响参数对发动机效率的影响.准一维的性能计算方法可作为多层次高超声速动力推进系统性能计算模型的第一层次的计算模型,具有简单、快捷的特点.影响参数的分析可应用于高超声速飞行器概念设计阶段飞行器主要的设计参数和飞行参数的计算和确定.     

火箭型单级入轨（SSTO）的初步分析

火箭型单级入轨（ＳＳＴＯ）是今后的发展方向之一，从多方面分析了火箭型单级入轨（ＳＳＴＯ）方案的可能性，简要回顾了ＳＳＴＯ的发展历史，特别对三角快帆（ＤＣ－Ｃｌｉｐｐｅｒ）作了分析，认为采取多项先进技术后是完全可以实现的。明确了单级入轨的两个基本方向：提高比冲和降低结构重量。分析了采用不同形式发动机的影响，列出了主要关键技术，最后提出了几个有参考价值的观点。     

内装式机载发射运载火箭分离方案分析

针对一种内装式投放发射方案，建立了机载发射运载火箭分离过程的数学模型。本发射方案尢需对运载火箭进行改动。数值仿真结果表明．火箭在点火时有较好的姿态，适用于发射现有的中、小型运载火箭。     

空调车出口风温的自动调节

空调车的出口风温是一个重要的调节参数。本文建立了空调车的出口风温自动化系统的模型。简述了热惯性较大的温度传感器模型在线辨识和动态补偿方法。根据实际工况，文章对控制系统的模型进行了抽象并简化为典型非线性控制系统。针对系统中使用的电机实际情况，文章又对系统最简模型的相轨迹运动状况进行了分析，同时给出了相轨迹图。     

飞行力学与飞行试验

阐述了新形势下飞行力学专业所面临的任务,强调了飞行力学与飞行试验密不可分的关系,分析了现阶段飞行力学,飞行试验研究中存在的问题,并提出了飞行力学专业近期急需研究的课题;最后,论述了《飞行力学》杂志在飞行力学与飞行试验研究中所起的作用和当前的工作方针。     

基于多学科综合的MAV鲁棒飞行控制器设计

气动、结构、推进和环境等学科设计参数变化与耦合对微型飞行器(MAV)性能影响明显，MAV飞行控制器设计应考虑这些因素。将MAV多学科模型集成在统一框架下，提出了基于各学科设计参数变化的线性化建模方法，研究了利用μ综合手段进行MAV飞行控制器设计的方法和步骤，并将此方法应用于某MAV纵向控制器的设计与评估中。     

欧洲返回舱CTV气动特性综述

研究分析了欧洲航天局天地往返运输系统之载人飞船返回舱CTV的气动特性，并与第一代联盟号飞船返回舱的气动特性作了对比研究。该返回舱为钝双锥外形，与联盟号飞船返回舱相比，它具有升阻比高、机动性强、稳定性好等特点。本文还对两类返回舱的气动热特性、防热材料重量、飞行弹道及通讯中断问题进行了对比分析研究。     

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

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

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

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

三维有限元网格的自动划分

本文作者从研究结构的数学模型入手,讨论了建立三维结构有限元计算模型的方法。成功地获得了一些具有应用代表性的三维板壳和块体结构有限元计算网格的自动划分原理和算法。