中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

虚拟仪器在频率参数计量测试中的应用

介绍了虚拟仪器及其驱动程序，在ＬａｂＶＩＥＷ图形编程环境下所编制的检定分数频率的虚拟仪器驱动软件。     

Ku波段波导扫频双六端口网络分析仪

介绍研制的一种实用Ku波段扫频双六端口网络分析仪。该仪器能同时测量双口网络的4个散射参数及单口网络的复反射系数。     

浮动壁火焰筒壁温试验和计算分析

对某浮动壁火焰筒的壁温进行了试验和计算分析。该火焰筒应用了新型的浮动壁结构和高效的冲击/发散复合冷却技术。壁温分布试验在全环形燃烧室试验台上进行,采用热电偶和示温漆测量。计算采用了稳态导热问题的有限元求解方法。研究分析表明,火焰筒壁温在材料的长期许用温度范围内,壁温计算反映了火焰筒壁温的分布规律和趋势。冲击/发散复合冷却方式的轴向壁温梯度小于缝槽气膜冷却方式,对降低热应力水平,延长火焰筒使用寿命有利。     

磁选态单束铯束管束光学参数的模拟计算和设计

为提高铯束管跃迁信号强度,在束光学参数设计中,用蒙特卡罗方法模拟计算铯原子通过率和未跃迁比例。通过改变模拟计算中的束光学参数,分析铯原子通过率、未跃迁比例和倍增器首极电流的变化趋势,得到了主要束光学参数的合理取值范围。在铯束管实际装配和试验中使用束光学参数设计结果,有效地增加了倍增器首极电流。     

碳化硅材料被动氧化机理及转捩温度分析

对SiC材料的抗氧化性能进行了试验,研究了该材料的氧化机制以及由被动氧化至主动氧化的转捩温度.结果表明,SiC材料在一定的氧分压环境中,表面温度低于转捩温度时,会在表面形成SiO2薄膜,薄膜厚度和时间的平方根成正比.表面温度高于转捩温度时材料发生主动氧化,材料表面发生烧蚀.     

雨流计数的递归算法

给出了疲劳分析中雨流计数法的另一种等效解释。在这个解释的基础上,提出了雨流计数的递归算法。该算法将包含多于一个应力峰值点的任意载荷 时间历程以两个谷值点为界分解成3个子段,每个子段用递归方法继续分解成3个更短的子段,直至每个子段仅包含一个峰值点或不包含峰值点为止。分解得到的仅包含一个峰值点的任意子段对应一个子循环,其应力的最大值和最小值在递归分解过程中可以同时算出。该算法不需像其他雨流计数算法那样在剔除局部子循环的峰、谷点数据后重新整理载荷 时间历程,也能保留各应力子循环出现的先后次序信息,且最先分离出来的可以是变程最大的应力循环。算法的缺点是不适合实时疲劳损伤计算,且算法在实现时需要计算机为其堆栈分配较多的存储器空间。     

硅含量对聚硅乙炔树脂热性能的影响

合成了一系列不同硅含量的聚硅乙炔树脂,研究了硅含量对其耐热性能的影响.采用GPC、1H-NMR和29Si-NMR对树脂结构进行了表征,并运用DSC、TGA等对其热稳定性及高温抗氧化性进行了初步表征.TGA测试结果表明具有不同硅含量的树脂固化物在氮气中的残重率无明显差异,均在81%～85%;而在空气气氛中,树脂的残重率随着硅含量的增加而明显提高,从51%提高到67%,表明硅含量的增加有利于改善树脂的抗氧化性能.对于本体系硅含量的增加也伴随着Si-H键含量的增加,降低树脂固化温度,增大固化放热量.     

超磁致伸缩致动器轴向谐振频率计算与实验研究

 为提高超磁致伸缩致动器(GMA)的设计效率,建立了GMA动力学模型和ANSYS有限元模型,对其轴向谐振频率进行了计算和模拟,并进行了GMA轴向谐振频率分析实验。通过实验数值和计算值及有限元分析结果的对比,动力学模型计算所得的GMA轴向谐振频率与实验值的误差小于5%, ANSYS分析所得的GMA轴向谐振频率与实验值的误差小于3%,验证了动力学模型和有限元模型的有效性。最后,通过ANSYS有限元分析了GMA各部件对其轴向谐振频率的影响,并提出利用有限元分析来提高GMA的结构刚度从而改善其轴向谐振频率的方法。     

N5B飞机机身钢构架焊接架数字化设计与制造技术

详细阐述了在N5B飞机机身钢构架焊接架的设计与制造中运用数字化技术的先进性。