无机填料浓度对端羟基聚丁二烯弹性的影响

本文研究了无机填料NH_4Cl0_4(AP)的浓度对端羟基聚丁二烯(HTPB)单轴拉伸的应力-应变特性、拉伸强度、断裂伸长和拉伸模量的影响.根据Mooney-Revilin方程和非高斯链的弹性统计理论,提出了填充弹性体的半经验交联-缠结-非高斯链三相网络模型.理论计算与实验结果基本一致.用扫描电子显微镜观察了试样断裂面的形态,证实了实验的结论.     

裂纹对叶片固有频率影响的分析

给出了一种两条横向裂纹对叶片弯曲固有频率影响效果的分析方法。考虑的两种裂纹为周期载荷作用下产生的双面裂纹和脉冲载荷作用下产生的单面裂纹。分析中假设裂纹为沿叶宽等深度扩展的开口裂纹，同时将叶片看成无扭曲的短形等截面悬臂梁。结果表明，单纯选用固有频率识别裂纹参数，会过低估计裂纹严重程度；在可考察的裂纹深度范围内，单面和双面裂纹对固有频率的影响效果不显著。     

皮托管式轴对称进气道跨音速内,外流场的AF—2方法计算

本文构造了轴向大扰动,径向小扰动轴对称速势方程的AF-2分解格式,计算了IC型皮托管式进气道的跨音速内外流场,并对这种分解格式进行了线化的稳定性分析。分析表明:AF-2方法的稳定性优于SLOR方法,其收敛速度至少比SLOR方法快10倍。     

加入增益介质的F-P干涉仪和衍射光栅光谱仪的光谱特性对比

对加入增益介质的F—P干涉仪的光谱特性与衍射光栅光谱仪的光谱特性作了定量对比。结果表明，加入增益介质的F—P干涉仪的光谱特性要明显优于衍射光栅光谱仪的光谱特性。这为光谱精细结构分析提供了更为理想的选择。     

智能结构应用给飞行力学带来的挑战

探讨了智能结构在航空航天中的应用可能性和应用领域，包括智能结构的发展概况。概述了智能结构技术的发展和应用给飞行力学学科带来的新课题和新挑战，如具有智能结构的飞行器的动力学建模问题，参数辩识问题，稳定性与操纵性分析及飞行试验问题，智能结构机械特性，电磁特性等相互耦合及其飞行器性能的影响等问题，智能结构设计技术将是下一世纪飞行器设计中最重要的技术这一。     

关于刚体转动的角速度和角加速度的讨论

在理论力学教学中，平面运动刚体的转动与基点无关的证明过于简单，本利用矢量代数的知识，证明平面运动刚体的角度与角加速度与基点的选择无关。     

叶轮机非定常气动设计的缘线匹配(II)数值研究

缘线匹配通过考虑多叶排叶轮机相邻叶排间前排叶片尾缘线与后排叶片前缘线空间相对位置匹配关系来进一步提升叶轮机性能,有潜力使叶轮机非定常设计走向工程实际。以一单级跨声轴流压气机和一单级轴流透平为例,尝试用基元流动展向积分方法和全优化方法改善其性能,从而示例应用缘线匹配的具体方法及前景。结果表明,缘线匹配为叶轮机非定常设计提供了可操作的自由度。     

以职业能力为核心探讨课程教学设计

根据教学实践，结合高职培养目标，以职业能力为核心，介绍了力学课程的教学设计及教学改革实践。     

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

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

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

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