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

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

钝体燃烧器后能量逆转和紊流参数的数学模拟

本文用非定常数值法研究了钝体燃烧器后的紊流参数分布和能量逆转,并对Boussinesq的雷诺应力模式和双方程k-ε紊流模型提出了改进方案。这样不仅计算出了能量逆转区,而且紊流参数分布也与实验相符。     

炮风洞中进行高温喷流底部热流、压力测量试验

本文介绍了在北京空气动力研究所炮风洞 M 数为6、7、8的气流中进行具有高温喷流的模型底部热流和压力测量试验的有关试验技术。试验结果表明底部对流热流和压力测量值随外流 M 数增大而减小,他们都大于无外流时的测值。辐射热流不受外流影响。     

形态图计算中的投影空间维数和投影空间模型

确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题，本文根据态图计算时特征视图拓扑结构等价的特点，指出轴测投影下的投影空间是二维空间，透视投影空间为三维空间，并分别了投影空间模型的建立方法，从而使复杂物体形科计算是简单可行。     

用Radon变换迭代法重建含有遮挡物的三维折射率场

本文通过计算机模拟研究，结合气体折射率场的光验知识．考查了将Ｒａｄｏｎ变换迭代法用于光学干涉层析计量含有遮挡物的三维折射率场的重建精度。作为一个应用实例，测量和计算了某一截面的气体温度分布，并与热电偶测量的值进行了比较。     

捆绑火箭竖立状态下地面风激振动模型风洞试验研究

火箭竖立在发射台上时的地面风激振动载荷是火箭尾段结构的设计状态。本文是捆绑火箭的地面风激振动的风洞试验研究的部分结果。文中介绍了地面风载荷模型风洞试验的原理、模型相似要求,以及模拟试验技术、试验方法与数据处理等。并讨论了助推器、外表面突出物与鼓包不对称分布的影响等。     

一个基于故障树模型的诊断系统

提出一种基于故障树模型的诊断方法，并基于该方法实现了一个验证性的诊断系统。基于故障树的层次诊断模型，提出了确定性推理方法和可能性推理方法及面向故障树的基于框架和广义规则的混合知识表示方法。最后在ＣＯＭ－ＰＡＱ４８６微机上，Ｗｉｎｄｏｗｓ环境下，用ｂｏｒｌａｎｄＣ＋＋实现了该诊断系统，并通过对一个电路系统实验台的诊断验证了方法的有效性。     

一般硬化材料弹塑性旋转盘的变分解法

首先在小弹塑性范围内用应变的奇次四项式相当精确地拟合一般硬化材料的拉伸曲线;再在体积不变条件下用弹性位移场的已知模态和一待定幅值构成弹塑性位移场;最后用势能原理确定该幅值而得到封闭解。     

线阵CCD平场校正及FPGA实现的研究

为了消除由于照明光源的非均匀性、镜头渐晕及CCD传感器噪声对图像质量造成的不良影响,首先从理论上分析了线阵CCD固定模式噪声和像素光电响应非均匀性的数学模型和产生的原因;对像素光电响应非均匀性这一主要影响因素,根据其光电响应模型提出了CCD像素光电响应非均匀性的两点校正方法,即求解出各个像素光电响应不均匀性的校正因子和暗偏置量系数,进而用以计算各个像素的校正量,实现逐点校正;针对校正算法大数据量、实时计算的要求,设计了基于现场可编程逻辑门阵列FPGA快速实现校正算法的硬件处理结构。最后,通过仿真和实验表明,两点校正方法可以有效地减小CCD像素光电响应不均匀性的图像噪声,提高图像质量,以便做后续精确处理。     

卫星发射对空间碎片环境影响分析

未来航天发射情况直接影响空间碎片环境，必须对其进行合理规划，以维护外空长期可持续发展.利用中国自主建立的空间碎片长期演化模型（SOLEM），结合蒙特卡洛方法，量化分析了空间物体发射数量、发射质量、发射面积等因子对未来空间碎片环境的影响，进一步研究了大型星座造成的未来空间物体碰撞次数和碎片数量的增加.仿真结果可为合理规划未来的航天发射规模提供理论依据.