MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。     

激光伪随机编码的最小周期识别算法改进研究

目前激光制导武器使用的伪随机编码,基本都是利用移位寄存器加上特定的反馈函数来实现的,只要识别出其最小周期就可以利用准同步干扰方式进行干扰。对有限位伪随机码的特点进行研究和分析,介绍了一种新的计算小数之间的整数比的方法,并提出了对现有最小周期识别算法的改进算法。进行了仿真验证,结果表明:改进后的算法优于现有其他方法。     

基于静强度分布的复合材料疲劳寿命分布的预测模型(英文)

The reasons of the static strength dispersion and the fatigue life dispersion of composite laminates are analyzed in this article. It is concluded that the inner original defects, which derived from the manufacturing process of composite laminates, are the common and major reason of causing the random distributions of the static strength and the fatigue life. And there is a correlative relation between the two distributions. With the study of statistical relationship between the fatigue loading and the fatigue life in the uniform confidence level and the same survival rate S-N curves of material, the relationship between the static strength distribution and the fatigue life distribution through a material S-N curve model has been obtained. And then the model which is used to describe the distributions of fatigue life of composites, based on their distributions of static strength, is set up. This model reasonably reflects the effects of the inner original defects on the static strength dispersion and on the fatigue life dispersion of composite laminates. The experimental data of three kinds of composite laminates are employed to verify this model, and the results show that this model can predict the random distributions of fatigue life for composites under any fatigue loads fairly well.     

一种环境探测球形移动机器人的运动控制

 球形移动机器人具有结构紧凑、运动灵活等特点,在环境探测等应用领域具有独特优势。介绍了一种新型的、带有双摄像头的环境探测球形移动机器人BHQ-2的结构与运动原理,并对其运动控制问题进行了研究。由于该球形机器人属于非完整约束系统,其不存在位置级的运动学逆解,因此从速度级上讨论了它的运动控制问题。基于旋量理论推导了该球形移动机器人的速度雅可比矩阵,采用广义逆的解法求得了它的速度逆解,并采用可控性李代数证明了BHQ-2球形移动机器人系统是满秩的,因此该机器人系统是完全非完整的并且是可控的。基于运动学速度逆解对BHQ-2球形移动机器人进行了直线和圆形运动轨迹的仿真和实验,仿真和实验结果验证了该球形机器人的可控性及速度逆解的正确性。     

某发动机空中停车事件的失效分析

对一台发生空中停车的发动机进行了现场分解调查和实验室分析工作。分解发现肇事件是1组低压涡轮4级(LPT4)静子叶片,该叶片组因固定沟槽断裂而向后翘起打断所有LPT4转子叶片,并将低压涡轮部分5级(LPT5)和全部6级(LPT6)叶片打断。宏观和微观观察表明断裂的LPT4静子叶片均属于高周疲劳断裂,疲劳断裂的主要原因是固定沟槽内倒角过小。有限元法分析结果表明叶片倒角过小降低了叶片抵抗振动应力的能力;影像法测量结果表明内倒角不符合厂家的技术要求;金相分析表明内倒角不符合技术要求的原因是该处曾进行过焊修和再加工,属修理不当造成的。     

基于误差预测修正的液体火箭发动机故障预测方法研究

为解决液体火箭发动机故障预测这一难题,提出一种基于误差预测修正的故障预测方法。在历史数据的基础上建立小波过程神经网络故障预测模型,同步计算学习样本的预测误差,根据上述误差建立双并联离散过程神经网络预测模型。预测时,将预测误差值实时补偿到小波过程神经网络预测模型以提高预测精度。通过液体火箭发动机地面试验中的涡轮泵数据对该方法进了验证。结果表明,该方法在预测精度和适应能力上较单一的过程神经网络预测模型有显著提高,进行10步预测时,预测值的标准化均方根误差为0.392,预测平均耗时为76ms,能够用于解决液体火箭发动机故障预测问题。     

Effect of sodium tartrate concentrations on morphology and characteristics of anodic oxide film on titanium alloy Ti–10V–2Fe–3Al

The effect of sodium tartrate concentrations on morphology and characteristics of ano-dic oxide film on titanium alloy was investigated. The alloy substrates were anodized in different concentration solutions of sodium tartrate with the addition of PTFE emulsion and their morphol-ogy and characteristics were analyzed. The anodic oxide film presented a uniform petaloid drums and micro-cracks morphology. Additionally, micro-cracks dramatically swelled with the increase of the tartrate concentrations. The thickness of the anodic oxide film increased with the concentra-tions until the concentration reached 15 g/L. The results of Raman analysis illustrate that all sam-ples have similarity in the crystal structure, consisting of mainly amorphous TiO2, some anatase TiO2 and a small amount of rutile TiO2. And the ratios of anatase TiO2 and rutile TiO2 increase with the concentrations until it reaches 15 g/L. Furthermore, the intensity of the peaks increases with enhanced concentrations until the concentration reaches 15 g/L. The corrosion resistance of the anodic oxide film is increased by the sodium tartrate with higher concentrations before 15 g/L. The coefficient of friction of the anodic oxide film reduces with the concentrations until the concentration reaches 15 g/L, then the coefficient of friction of the anodic oxide film increases with the concentrations.     

高超声速飞行器流动特征分析

在非流线型构件或突起物的扰动效应、高马赫数和低雷诺数极限效应、低湍流度环境效应和由激波或摩擦导致的气动加热效应等4个方面的影响下,未来高超声速飞行器涉及的流动主要表现出这样的特点:典型流动结构强度高、尺度大,如强激波和厚边界层;局部流动结构数量多;激波、膨胀波和边界层结构之间相互干扰十分严重;转捩、压力脉动和一些流动结构对细微因素非常敏感;压力、摩擦应力和热流峰值现象普遍;升阻比屏障难以突破;流场同时依赖大量无量纲参数和有量纲参数,导致实验模拟难度大。本文在回顾传统高超声速流动主要流动现象的基础上,对上述7个方面涉及的典型流动现象的基础研究现状、问题本质和因果关系进行综合描述,讨论如何更有效地面对基础研究和工程实际问题。该文既可为解决典型流动现象中尚未解决的基础研究提供帮助,也可为如何合理地利用有限的已知知识解决工程应用问题提供指导。     

各向异性网格自适应计算在超燃模拟中的应用

采用各向异性网格自适应求解技术,将其应用于DLR超燃冲压发动机燃烧室中的超燃模拟.开展了3个算例,包括采用滑移壁面条件的燃烧室冷流场模拟、采用无滑移壁面条件的冷流场模拟及采用无滑移壁面条件的反应流模拟.模拟中,各向异性网格自适应计算捕捉到了如激波、射流、边界层、火焰面等具有各向异性特征的大梯度区域,并利用各向异性网格进行了很好的加密.对比利用各向同性网格的初始流场计算,各向异性网格自适应计算使基于滑移条件、无滑移条件的冷流计算及反应流计算的网格单元数量分别下降了36.2%,36.4%和36.8%,有效降低了计算规模,而且流场大梯度区域的计算结果更准确,辨析度更好.结果表明:对于像超燃这类具有各向异性特征的问题,各向异性网格系统比各向同性网格系统有更好的计算效率及准确性,同时也表明基于Mach数场构造的各向异性网格系统可以有效应用于超燃计算.      

半球谐振陀螺研究现状与发展趋势

半球谐振陀螺是基于哥氏效应测量角速度的新型固态陀螺,具有结构简单、精度高、功耗低、寿命长、可靠性好、抗空间辐射等优点,是捷联惯性导航系统的理想陀螺仪,在宇航领域具有独特的应用优势。半球谐振陀螺的理论精度不受量子尺寸效应限制,是高精度、微型化陀螺的重要发展方向之一。首先介绍了半球谐振陀螺的基本工作原理,其次介绍了半球谐振陀螺的发展历程,综述了半球谐振陀螺的国内外研究现状,最后对半球谐振陀螺的发展趋势进行了展望。