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

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

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

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

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

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

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

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

地球扰动大气模型

本文介绍了地球扰动大气模型和建立该模型的方法。文中详细描述了该模型中，密度变化的各单个分量和风场变化的各单个分量，并给出了它们各自的计算公式。本大气扰动模型中包含了１３７个大气扰动状态方案，可供返回轨道计算、救生轨道计算和返回控制设计计算分别选用。     

电子商务的安全模型研究

本文在分析目前电子商务面临的安全威胁和现有局限性的基础上,系统地研究了电子商务的安全需求、安全基础、安全机制、安全服务,提出了一个电子商务的安全模型.讨论了其构成要素之间的相互关系.     

基于有限元分析的综合支架结构设计与优选

本文在分析海洋平台防爆加热器橇块综合支架结构特点的基础上,通过有限元法对综合支架进行强度能力分析,找到该支架结构设计上存在的问题并作了相应的改进设计,使得综合支架的结构在满足强度和刚度的同时减轻了整体的重量,在材料的利用上趋于优化的设计;通过对综合支架的有限元模型施加不同的惯性力.得出不同载荷下综合支架应力变化规律,从而确定出综合支架所能承受的最大惯性力.     

项目管理在航空售后服务体系中应用模式的研究

项目管理作为一种管理工具在许多领域中的使用已有非常悠久的历史,而现代项目管理起源于上世纪50年代,它一出现就引起举世瞩目。在理论上各国家或协会关于项目管理的概念仍有一些不同认识,不同经济领域中具体操作起来又有方法上的差别,但其精髓和原理却是一致的。本文根据现代项目管理精髓在其九大知识领域、五个过程组的模型上结合中国航空企业售后服务工作的特点,通过一些具体项目的操作应用,研究应用实践出可操作的售后项目管理模式。实践证明,此模式方法的使用可节省质量运行成本、提高工作效率,值得在今后售后工作包括类似工作中推广应用。     

基于低矮建筑物实测数据的改进湍流物理模型

要准确模拟低矮建筑物壁面上分离涡位置的平均风压比较困难,这些区域在绕钝体流动中也是很关键的部位.本文在Spalart-Allamaras湍流物理模型的基础上,根据钝体绕流流场特性,结合低矮建筑物上的实测数据,调试并选取合适的参数,提高涡粘预测的准确性,提出了改进的S-A湍流物理模型.通过对6m立方体和Silsoe低矮建筑模型进行稳态数值模拟,由改进S-A湍流模型得到的屋面、背风和侧风面上平均风压结果,比目前公认的模拟钝体绕流效果较好的SST湍流模型有较大改善,比风洞实验更接近实测结果.由此可以看出,本文改进湍流模型的方法,将是一条提高预测建筑物表面平均风压精度很有效的途径.     

航天器用4211环氧树脂体系湿热老化试验与贮存寿命评估

针对航天器用4211环氧树脂体系材料在地面贮存过程中无成熟寿命评估方法可借鉴以及受时间限制无法采用自然老化法获得贮存寿命的问题,采用加速老化试验的方法研究了其湿热老化性能,建立了湿热老化寿命模型,并利用该模型对4211环氧树脂体系的贮存寿命进行了预测。结果表明：温湿度对4211环氧树脂体系材料的力学性能影响较大,拉伸试样表面形貌及断口形貌在老化试验前后未发生明显变化;材料在加速湿热老化试验过程中没有生成新的官能团;以拉伸强度指标推算出4211环氧树脂体系在温度为20℃、相对湿度为60%条件下的贮存寿命为6.1年。