Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

阐述了利用相平衡计算对合金进行相分析计算机模拟的依据。对W6Mo5Cr4V2、W10Mo4Cr4V3Al和Mo5Cr4V3种高速工具钢在淬火加热态和退火加热态的组织进行了相分析。其结果表达了这3种钢在上述状态下的相组成及其变化规律

利用紧凑拉伸试样通过预制疲劳裂纹研究近片层组织Ti-45Al-8Nb-0.2W-0.2B-0.1Y合金和全片层组织Ti-45Al-7Nb-0.2W-0.2Hf-0.3B-0.15C合金在750℃下的断裂韧性,并分析两种组织合金的断口形貌.结果表明,近片层组织和全片层组织高铌TiAl合金750℃时的断裂韧性分别为19.54和31.58 MPa·m1/2,且近片层组织疲劳裂纹开始萌生时的最大疲劳载荷明显低于全片层组织.断口分析表明近片层组织中裂纹主要在等轴γ晶中萌生,裂纹扩展方式包括沿γ晶、穿γ晶及沿片层、穿片层;全片层组织中裂纹主要在垂直于加载方向的片层间萌生,裂纹以沿片层与穿片层的混合方式进行扩展且伴有二次裂纹的萌生

通过对含W的S32760超级双相不锈钢不同温度时效热处理研究σ相的析出行为.用扫描电镜和透射电镜分析σ相的形貌和化学组成,并研究σ相对力学性能和耐腐蚀性能的影响.在850~1000℃之间,实验钢析出大量由Fe-Cr-Mo-W组成的具有正方结构的σ相,钢板强度和硬度高,塑性差,延伸率低于4%;1050℃时仍存在少量析出,虽然延伸率大幅度提高至31.1%,但冲击韧性离散度高,冲击功偏低;直至1080℃,σ相才能完全溶解至基体中,抗拉强度为640MPa,延伸率为35.5%,纵、横向冲击功平均值分别达到217J和110J.随时效热处理温度升高,点蚀电位提高,点蚀失重率不断下降,1080℃热处理的试样点蚀电位高达1246mV.该试样在50℃的3.5% NaCl溶液中腐蚀失重率也仅为0.005~0.007g·m-2·h-1

通过在不同温度下等温奥氏体化,研究KT5331钢奥氏体晶粒长大行为,并探讨析出相对奥氏体晶粒长大行为的影响机理.研究表明,KT5331钢奥氏体晶粒长大可分为三个阶段：1075℃以下,由于含W和Nb的析出相钉扎作用,晶粒长大缓慢;1075℃以上,含W和Nb的析出相溶解,钉扎作用减弱,随加热温度和保温时间延长晶粒迅速长大;1225℃及以上,δ铁素体析出,晶粒尺寸随加热温度升高而急剧减小.通过拟合分别得到晶粒粗化温度以下（950~1075℃）和晶粒粗化温度以上（1100~1200℃）的晶粒长大模型

淡水需求:生活用水、动力装置用水、锅炉补水 海水[Sea Waters.w.)]:平均含盐量35g/ 淡水[Fresh Water.w.:含盐量<1000mg/ 造水机[Fresh Water Generator(f..g)]:所产淡水含 盐量应低于10mg/(根据锅炉补给水的要求)

GH220合金正常热处理组织有γ基体。γ′、MC、M6C和M3B2相。第一阶段晶粒长大温度1150℃—1170℃,第二阶段为1210℃。碳化物相M6C最大析出峰在1000℃左右,并发现不同成分的二种M6C相。正常热处理得不到大小二种γ′,等温弯晶热处理能得到大小γ′和弯曲晶界组织。长期时效,低W、Mo、Al、Ti（17.61％）合金析出M23C6相。当W+Mo大于12％（如12.31％）正常热处理会析出少量μ相;等于12％时,时效后才出现μ相。合金中加入微量元素Mg可改变碳化物形状,使之细化

研究了CSP流程试制50W270高牌号无取向硅钢热轧→常化→冷轧→退火过程中织构的演变.利用电子背散射衍射技术对全流程织构进行测量和分析.发现热轧板织构在厚度方向上存在较大差异，表层主要为铜型、黄铜和高斯织构，1/4层存在微弱的高斯织构和旋转立方织构，中心层以γ纤维织构和旋转立方织构为主，还含有较弱的α纤维织构.与热轧板相比，常化板表层和1/4层织构变化不大，中心层旋转立方织构和α纤维织构增强.冷轧板各层均具有α纤维织构和γ纤维织构.与冷轧板相比，成品板各层中α纤维织构基本消失，还出现了立方织构和高斯织构

应用综合分析手段对不同W、Mo、Al、Ti含量的GH220合金相的溶解、析出规律进行了研究。找出了主要合金元素对析出相的影响,进一步揭示了合金中微量相的变化规律,给出了不同热处理工艺下相的含量。为合金的研制和使用提供了重要依据

Huffman树的构造 构造 Huffman树步骤: 根据给定的n个权值{w1,w2,…wn},构造n棵只有 根结点的二叉树。 在森林中选取两棵根结点权值最小的树作左右子 树,构造一棵新的二叉树,置新二叉树根结点权 值为其左右子树根结点权值之和