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

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

某型飞机机翼Ⅱ梁框检修周期的计算

本文建立某型飞机Ⅱ梁框结构裂纹形成寿命NP 与裂纹扩展寿命N P 之间的可靠度模型 ,将安全寿命设计与损伤容限设计原理有机结合 ,计算了在给定结构可靠度下该型飞机机翼Ⅱ梁框的检修周期     

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

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

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

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

地球扰动大气模型

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

电子商务的安全模型研究

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

永磁有限转角力矩电机的仿真与实验

随着多电飞机的快速发展及成附件轻小化、高效能的迫切需求,有限转角力矩电机(Limited Angle Torque Motor,LATM)在飞机引气系统中的应用日益迫切。一方面,有限转角力矩电机可以显著简化高温引气控制阀结构、减小体积;另一方面,可以基于系统需求实现引气压力和温度按需调节,减少燃油代偿损失。针对高温有限转角力矩电机工作特性不易预测的难题,建立了其数学模型、仿真模型,并通过实物试验验证了仿真模型的准确性。研究结果为有限转角力矩电机特性研究提供了参考依据。     

微流星消融对中高层区域金属层的影响

采用连续的微流星体消融模型,对小微粒的流星颗粒(半径＜100μm)消融过程进行分析,并估计对中高层区域(80～110 km)金属层的影响．无线电流星雷达与激光雷达的探测结果表明,半径在100μm以上的流星颗粒的消融物并不是金属层主要的源．本文从流星颗粒的动量方程和能量方程出发,计算不同半径下的流星微粒在不同的注入速度下的消融剖面,并分析了流星消融截止高度的变化趋势．结合长期的激光雷达观测,计算表明,10～4μ半径的流星微粒是普通金属层的主要影响因素．     

点阵结构部件的增材制造路径连接方法

旨在提高点阵结构部件增材制造的加工效率.点阵结构经分层切片后,每层将产生大量待填充多边形,通过将这些多边形抽象为离散点,并在切片层面内求解旅行商问题,进行连接路径的规划,进而获得高效率的点阵模型填充路径.算法综合考虑到旅行商问题的计算效率以及连接路径的计算总长:采用蚁群算法可获得无交叉连接轨迹,计算2000个点的连接规...     

无人自转旋翼机建模与控制方法研究

以500kg级无人自转旋翼机为研究对象,研究了样例无人旋翼机的建模和自动飞行控制技术.首先,基于解析形式叶素积分法给出自转旋翼机的建模方法,并给出了样例旋翼无人机的数学模型;然后,设计了无人旋翼机的俯仰和滚转控制律,并在此基础上设计了速度、高度及侧偏控制律.最后,通过飞行试验验证了模型的准确性及控制律的有效性.