在边缘弯矩和局部线性荷载共同作用下圆板的塑性极限分析

本文应用广义阶梯函数对承受边缘弯矩和局部线性分布荷载的筒支圆板进行塑性极限分析，文中考虑了局部线性分布荷载的４种可能分布形式，给出了简支圆板在Ｔｒｅｓｃａ屈服条件下边缘弯矩和线性荷载所满足的关系式。     

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

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

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

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

Marty正规定则的推广

为区域Ｄ上的亚纯函数族，族中每一个函数ｆ只有重级≥ｋ（ｋ∈Ｎ）的零点，是区域Ｄ上的正规族当且仅当，存在一个至少包含ｋ＋４个元素的集合ＥＣ∪｛∞｝，使得对Ｄ的任一紧子集Ｋ都存在常数Ｍ（Ｋ）（依赖于Ｋ），对一切都有特别地，对区域Ｄ上的全纯族，Ｅ只要包含３个有穷元素。定理推广并改进了Ｍａｒｔｙ正规定则以及李松鹰和谢晖春关于只有重级≥ｋ的零点的亚纯函数族的一个正规定则。     

三维CT图象自动分割法

计算机断层扫描图象（ＣＴ）和核磁共振图象（ＭＲＩ）是诊断疾病和制定治疗方案与手术方案的主要依据之一，而分割ＣＴ和ＭＲＩ图象是定量分析其平面与三维信息的关键之一。本文先采用三维自适应滤波，在保留图象细节的前提下滤除高斯分布噪声和脉冲噪声，然后根据ＣＴ或ＭＲＩ各断层多阈值二值化图象采用区域自动增长算法实现了三维ＣＴ图象和ＭＲＩ图象的自动分割。最后给出了腹部ＣＴ图象的分割结果，该方法分割精度高，速度快，具有广泛的临床应用价值     

二维小波变换及其在医学图像处理中的应用

介绍了二维离散小波变换的一般形式，在图像分解的基础上．分析了二维小波变换在医学图像消噪和图像增强中的应用，同时给出应用实例。结果表明，应用小波分析进行医学图像处理，能够有效地改善图像质量，有利于医生对病情的诊断和治疗。     

腰形柱壳的有限条元解

本文用考虑了曲率影响的两结线低阶有限板条元分析了腰形柱壳的力学性能这种条元位移参数少,能较好地体现壳体的几何特性。     

孔-轴-孔配合处的孔位移制误差计算公式的论证

文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。     

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

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

飞机主起落架的光弹性应力分析

讨论了用光弹性嵌片法（一种新的模型试验方法）进行飞机主起落架的实验应力分析。采用该方法解决了传统光弹性贴片法中的贴片增强效应问题，避免了在贴片边界，因泊松比不匹配引起的误差，从而提高了测试灵敏度。实验应力分析选用了与实物尺寸相同的模型试件，克服了模型制作过程中遇到的许多困难。该方法在一套试验模型上能够直观地进行多种载荷状态下主起落架表面应力场的分析比较，为主起落架结构优化设计方案提供了试验依据，故具有广泛的应用前景．测试数据的计算校核表明，试验结果是可信的，可作为主起落架结构减重修型的重要试验依据。关键词