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

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

可视化技术在分析新型蓄冷材料——笼型化合物（Clathrate）溶解过程中的应用（一）、（二）

混浊液内部的流动，由于微粒子之间的相互作用以及因浊度高不易进行内部观察，所以无论是分析还是可视化实验都相当困难，存在着许多未弄清的问题。通过采用折射率匹配（Refractive-IndexMatching）技术，使透明的微粒子与透明的溶媒的折射率近乎相同，做成一种透明的“混浊液”，从而使混入其中的示踪粒子的运动轨迹能被摄像机捕捉到，并以微粒子的沉降和温度的干涉所引起的流动现象为焦点，利用图像速度测量法来处理分析所拍摄到的可视化图像，成功地获得了定量的混浊液内部的速度场，为进一步揭示混浊液内部自然对流的流动机理提供了实验依据。     

载人飞船返回舱的烧蚀防热

载人飞船返回舱的烧蚀热防护技术研究和试验表明，碳化烧蚀材料是再入飞行器最有效的热防护层。对典型的碳化烧蚀体的热性能的预测分析模型和计算方法作了阐述。数值计算结果分别与电弧风洞试验和阿波罗的飞行验证试验作了比较，结果符合得很好。     

卫星优化热设计方法

试图把最优化技术应用于卫星工程的热设计中,提出一种优化热设计的方法,并以14个节点模型作为实例进行了计算分析,采用Hooke-Jeeves 的直接搜索法得到了满意的结果。初步编制的计算机程序,可作为卫星热设计方案计算的基础。     

航天材料热物理性能测试技术的发展现状

根据航天材料热物理性能测试技术的特点 ,系统介绍了国内航天材料热物理性能测试技术的发展状况和发展趋势 ,并详细介绍了目前我国航天材料热物理性能测试领域中所具备的测试技术和测试装置、航天热物理性能所涉及的研究领域和内容以及目前正在开展的研究工作。     

微重力场中对流—辐射—传质系统的地面模拟技术

研究了微重力条件下对流－辐射－传质稳态系统的地面相似模拟技术，进一步发 温度－材料综合保护技术。通过采取补偿热流，调整壁面热流密度分布的方法，保持了原型与尺寸适当缩小后的模型的Ｎｕ数，Ｓｈ数，材料，温度，湿度不变，从而实现模型与原型流动，换热和传质相似。     

防静电白色热控涂层的空间环境性能试验

通过在氧化锌晶格中掺入重金属离子，得到具有防静电功能的白色颜料，再以丙烯酸树脂为粘合剂制备出空间飞行器外表面用的ACR－1防静电白色热控涂层；研究了空间环境效应（包括紫外辐照，电子和质子辐照）对该热控涂层太阳吸收率的影响并与有机硅白色热控涂层进行了比较，地面模拟空间环境试验研究结果证明，ACR－1防静电白色热控涂层具有良好的空间稳定性。     

环路热管内工质流动特性的研究

由于环路热管（LHP）具有高传热性能、远距离传输热量、优良的控温特性和管路的可任意弯曲、安装方便等特点，使LHP在航天热控领域有着广泛的应用前景。文章对LHP内工质的流动压力降进行了分析和计算；对毛细芯所能提供的最大蒸发传热能力进行了预测，并结合实验研究综合分析了毛细芯结构对LHP性能的影响。     

高空高速无人飞行器热控制系统设计

针对飞行时间短、速度和高度变化快、表面温度波动大的无人飞行器UAV(Unmanned Aerial Vehicles)热控制系统设计难题,提出了一种可解决实际工程问题的热分析计算方法.即把热天工况、冷天工况和标准天工况作为设计/试验工况;采用参考温度法、高超音速工程预测法或计算流体动力学CFD(Computational Fluid Dynamics)数值模拟法,确定了飞行器表面温度分布,并把其作为后续热分析数学模型的外边界条件;分析结构热容量对瞬态热载荷的影响,建立与之相应的边值问题方程,并采用有限差分法求解;根据高空高速飞行特点及瞬态热载荷值,确定仪器设备舱调温系统方案.     

半浮区液桥自由面振荡特征

使用一套双路同步显微放大录像及图像处理系统,研究了夹角为90°的两个竖直剖面沿轴向不同高度液桥自由表面的位移振荡,得到轴向不同高度上的环向相位差,观测到在振荡周期内液桥表面轮廓线在不同时刻均不相交的特点。实验结果表明,液桥自由面振荡除具有径向扰动及轴向振荡变化外,还存在环向波动变化。根据实验结果,讨论了环向波动基本变化规律以及本实验在测量精度和测量误差方面存在的问题。