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

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

CMM曲线曲面测量领域的关键问题

分析了三坐标测量机曲线曲面测量领域涉及到的测量路径的生成、测球半径的补偿和曲线曲面数学模型的建立等几个关键问题和技术．阐述了ＣＭＭ测量路径的生成方法和设计原则，分析了计算曲线曲面法失的常用方法以及给出了基于样条理论曲面拟合建模的一般数学模型．     

螺纹紧固件耐久性分析方法的实验研究

本文在实验的基础上，提出了应用于螺栓螺纹表面裂纹上一种抗疲劳分裂研究方法－－耐久性损伤分析方法，考虑了一个新的耐久性损伤模型，螺纹圆角处开裂，把适用于紧固孔上小裂纹模型上的理论方法发展延伸至螺纹圆角模型大裂纹上，并通过实验得到了验证。同时给出了一个例子，预测结果与实验结果拟合得很好，为带螺纹紧固件的耐久性分析方法的研究提供了一种可行的方法。     

疲劳开裂结构等效分析谱构造方法

为了解决外场疲劳裂纹排故中结构疲劳载荷谱数据不全或过于复杂的问题,提出了一种适用于飞机外场疲劳开裂结构的等效分析谱构造方法。该方法以细节疲劳额定值(DFR)法和结构细节有限元分析为基础,构建地—空—地最大应力与结构疲劳寿命的变化曲线,进而通过寿命反推,获取适用的地—空—地损伤比,以此构建等效分析谱,谱型为等幅谱。通过应用实例,将该方法构造的载荷谱与实测谱进行了对比,确认了该方法的正确性和有效性。     

基于ANSYS的同面多电极电容传感器仿真研究

同面多电极电容传感器是一种新的飞机复合材料构件损伤检测技术,该检测技术的正问题中敏感场分布函数的计算要涉及到静电场中电容计算问题。在仿真研究中,电容要通过场的数值计算方法来求得。本文介绍了如何使用ANSYS有限元分析计算同面多电极电容传感器中的各电极对之间的电容,对检测材料发生异常及传感器参数改变时电容的变化进行了分析,为损伤检测的特征提取和逆问题图像重构提供了仿真数据。     

一种支持 NF￣2 和多媒体的数据模型

支持ＮＦ２（Ｎｏｎ－ｆｉｒｓｔ－ｎｏｒｍａｌ－ｆｏｒｍ）和多媒体的数据库系统ＮＦＭＤＢ是在关系数据库ＲＤＢＭＳ的基础上研制的，它是一种扩充了的ＤＢＭＳ。系统采用了扩充的关系数据模型，它支持ＮＦ２和多媒体的数据存储和数据操作。本文重点介绍了ＮＦＭＤＢ系统支持ＮＦ２和多媒体的数据模型，以及基于数据字典的实现方案，系统具有处理复杂对象的能力。     

二维三轴编织复合材料压缩失效行为的细观有限元模拟

为研究典型二维三轴编织复合材料（2DTBC）的压缩破坏机理，建立了细观有限元模拟方法体系。提出了反映编织复合材料真实几何特性的单胞模型建模策略，根据Murakami-Ohno损伤理论建立了各向异性损伤模型来模拟纤维束中的损伤起始和扩展行为，通过引入波动系数描述了纤维束的起伏状态，并采用内聚力单元来模拟界面分层。在此基础上，分析得到了二维三轴编织复合材料在压缩载荷下的破坏过程，研究了压缩载荷下纤维束和界面层的损伤演化，探讨了纤维束波动对压缩性能的影响规律。通过与相关试验结果对比，该模型能够准确预测二维三轴编织复合材料在面内压缩载荷下的力学响应和主要失效行为，以及自由边效应。细观失效过程分析结果表明，二维三轴编织复合材料轴向压缩的破坏是由轴向纤维束的纤维压缩失效主导的；横向压缩破坏则是由偏轴纤维束的纤维压缩失效引起的。     

压气机叶片外物损伤模拟的撞击能量当量法

在分析外物与叶片间的运动态势后，提出压气机叶片外物员伤模拟的撞击能当量法，即使得摆锤的势能与外物摘击叶片时可能达到的功能相等。据此，设计并制作了摆锤装置，并实验观察到钛制压气机叶片损伤形态与撞击能量间的变化关系，即随着撞击能量的增加，损伤形态产生的顺序为，压痕→突缘→裂纹→突缘呈４５°剪切破坏，这与外场收集到的叶片的前缘损伤形态一致，同时，采用了ＴＣ４压气机叶片进行了相应的高周疲劳试验，验证了方法     

基于线性二次型的飞控参数故障渐近调节

 研究了含有参数故障的线性系统,提出了一种基于线性二次型的控制策略。采用该渐近调节反馈控制律,可以减小系统由于容错控制算法时延所致的性能下降。针对某飞机模型进行了仿真,结果验证了所提出策略的有效性。     

A theoretical model of semi-elliptic surface crack growth

A theoretical model of semi-elliptic surface crack growth based on the low cycle strain damage accumulation near the crack tip along the cracking direction and the Newman–Raju formula is developed. The crack is regarded as a sharp notch with a small curvature radius and the process zone is assumed to be the size of cyclic plastic zone. The modified Hutchinson, Rice and Rosengren(HRR) formulations are used in the presented study. Assuming that the shape of surface crack front is controlled by two critical points: the deepest point and the surface point.The theoretical model is applied to semi-elliptic surface cracked Al 7075-T6 alloy plate under cyclic loading, and five different initial crack shapes are discussed in present study. Good agreement between experimental and theoretical results is obtained.