命题逻辑中的蕴涵置换法

引进了命题逻辑中的蕴涵置换的概念，建立了蕴涵置换法，指出了蕴涵置换法的使用范围。     

感应加热钢包炉电磁与结构优化

感应加热钢包炉是国外新发展的一种二次精炼及加热设备，具有高效、低能耗、无污染的特点，本文在感应加热钢包炉电磁与结构分析工作的基础上，用电磁场数值模拟方法对感应加热钢包炉的电磁设计和包壳结构进行优化。     

四阶方程两点边值问题Hermite有限元解的渐近展式与外推

1引言有限元解的渐近展式是提高微分方程数值解精度的重要工具,比如亏量校正和外推就是建立在有限元解的渐近展式的基础之上．许多作者对此进行了大量的研究(见[1]-[4]),特别是文[1],提出了在研究有限元解的渐近展式中十分有用的能量嵌入技巧．本文利用能量嵌入定理得到了四阶方程两点边值问题Hermite有限元解及其二阶平均导数的渐近展式,进一步我们还讨论了它们的Richardson外推公式．考虑四阶方程两点边值问题     

自发形核生长的AlN单晶湿法腐蚀研究

采用湿法腐蚀工艺,使用熔融态KOH和NaOH作为腐蚀剂,对一种物理气相传输(PVT)自发形核新工艺在2100~2250 ℃条件下生长的AlN单晶进行了腐蚀实验.通过实验及扫描电子显微镜(SEM)结果分析,得到了典型的AlN单晶c面、r系列面及m面最佳的腐蚀工艺参数及腐蚀形貌.另外,基于腐蚀形貌分析,发现了采用该自发形核新工艺生长的AlN晶体某些独特习性并计算出AlN单晶腐蚀坑密度(EPD).     

硅树脂对多孔氧化铝基陶瓷的制备及强化效应的影响

以氧化铝粉为基体,热固性硅树脂为粘结剂,利用热压注方法制备出多孔氧化铝基陶瓷试样,接着又用液态硅树脂对该试样进行强化处理.结果表明:以硅树脂为粘结剂,制备的氧化铝基陶瓷在1500℃烧结后,具有46.99;的显气孔率,22.15 MPa的抗弯强度,0.23;的收缩率,但其1600℃高温抗弯强度仅为2.04 MPa.在液态硅树脂强化后,其室温强度达到了37.67 MPa,高温强度也相继增加,在1600℃下,其强度增加到10.18 MPa.     

大型铸件凝固计算中的潜热处理方法

以大型铸件凝固计算为背景，对目前广泛采用的等效比热法进行了分 析；指出了其应用的范围和局限性；提出了可以减少以至消除凝固潜热热源 计算偏差，进而提高计算精度的修改的等效比热法和热源迭代法。后者更适 于对大型铸件的凝固计算。     

诱导磁场对Bi-Mn合金微观结构与磁性的影响

用x射线衍射和低温磁测量方法，系统研究了在外加诱导磁场下制备的Bi Mn合金的微观结构和磁性.结果表明，在外加诱导磁场下制备的Bi Mn wt6%合金呈现典型的双相结构和各向异性特征，MnBi相c轴沿外加诱导磁场方向取向排列.随外加诱导磁场的增大，剩余磁化强度Mr逐渐增大，这说明MnBi相的取向程度越来越好.发现MnBi相的自旋重取向温度TSR随外加诱导磁场的增大逐渐向高温区移动.对外加诱导磁场影响Bi Mn wt6%合金的微观结构和磁性以及该类材料磁各向异性能的物理机理进行了分析和讨论. 关键词： 磁场诱导 Bi Mn合金 MnBi相 定向排列     

勘探技术在岩土工程中的应用探析

工程勘探技术伴随着现代新技术的应用而日益受到工程施工上的青睐,地质条件勘察作为岩土工程建设施工的基础和前提,对于整个工程施工来说意义重大,特别是大中型建筑如桥梁、地铁、场馆、港岸、水利工程等,都与地质勘探技术息息相关。为此,了解和熟悉现代勘探技术在岩土工程施工中的技术分析,并从勘察报告中获取有价值的技术参数和信息,以指导岩土工程施工需要就显得尤为重要。     

感应钢包炉电磁场和工作特性的数值分析

提出了感应钢包炉的等效电路以及感应钢包炉的漏磁场、空载磁场和负载磁场的数学模型，利用有限元法作了计算，进而给出了等效电路参数及工作特性的算法。     

运动导体中电磁场计算的迎风有限元法

运动导体中电磁场控制方程为一对流扩散型微分方程,为克服此类方程的Galerkin有限元解在网格Peclet数大于1时出现的伪振荡同时克服Heinrich迎风有限元法对扩散项处理的不合理性,提出了一种修正的Heinrich迎风有限元法,并应用于若干运动导体电磁场的有限元分析。