基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,523 浏览量: 5,789
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,603 浏览量: 1,897
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
退火温度对FeNiCr中熵合金组织及力学性能的影响 Effect of Annealing Temperature on the Structure and Mechanical Properties of FeNiCr Medium Entropy Alloy
聂俊红, 聂辉文, 赖春明, 薛拥军, 彭湘蓉 下载量: 425 浏览量: 605 科研立项经费支持
材料科学 Vol.13 No.10, October 25 2023, PDF, HTML, XML DOI:10.12677/MS.2023.1310102 被引量
滚刀刀圈材料的激光熔覆硬度强化试验研究Research on Hardness Strengthening Test of Laser Cladding for Hob Ring Material
康 斌, 李慧鹏, 朱燕毕, 陈 玮, 唐莉梅, 于瑞龙 下载量: 426 浏览量: 651
材料科学 Vol.11 No.11, November 24 2021, PDF, HTML, XML DOI:10.12677/MS.2021.1111139 被引量
Ni对CoFe合金相稳定性的影响The Effect of Ni on Phase Stability of CoFe Alloy
戚梦琳, 倪晓东 下载量: 1,862 浏览量: 5,226
凝聚态物理学进展 Vol.6 No.2, May 31 2017, PDF, HTML, XML DOI:10.12677/CMP.2017.62005 被引量
低应力热膨胀系数测试方法开发及CoCrFeNiAlx (x = 0, 0.5, 1)热膨胀系数测定Development of Low Stress Thermal Expansion Coefficient Testing Method and Determination of CoCrFeNiAlx (x = 0, 0.5, 1) Thermal Expansion Coefficient
韦家仁, 聂洪波, 罗 传, 陈德勇 下载量: 193 浏览量: 240 科研立项经费支持
材料科学 Vol.14 No.4, April 24 2024, PDF, HTML, XML DOI:10.12677/ms.2024.144047 被引量
铜镍合金与低合金钢焊接工艺及其应用Welding Technology and Application of Copper-Nickel Alloy and Low Alloy Steel
武保安, 青 旭, 梁立国, 杨晓鹏 下载量: 623 浏览量: 1,654
石油天然气学报 Vol.42 No.2, June 15 2020, PDF, HTML, XML DOI:10.12677/JOGT.2020.422050 被引量
钯合金氢渗透膜的研究进展Recent Advances on Palladium Alloy Membranes for Hydrogen Purification
赵展, 胡石林, 叶一鸣 下载量: 2,105 浏览量: 5,343
核科学与技术 Vol.5 No.3, July 14 2017, PDF, HTML, XML DOI:10.12677/NST.2017.53019 被引量
热压缩温度对Ni-35Co合金组织的影响Effect of Hot Deformation Temperature on the Microstructure of a Ni-35Co Alloy
孙晓瑜, 张龙飞, 蒋 龙, 江 亮 下载量: 868 浏览量: 1,726 科研立项经费支持
冶金工程 Vol.6 No.4, December 24 2019, PDF, HTML, XML DOI:10.12677/MEng.2019.64034 被引量
Mn和Cu对6013铝合金组织及力学性能的影响Effect of Mn and Cu on Microstructure and Mechanical Properties of 6013 Aluminum Alloy
王翼猛, 刘承武, 冯凡, 周晓远, 陈文琳 下载量: 1,014 浏览量: 2,567
冶金工程 Vol.6 No.2, June 27 2019, PDF, HTML, XML DOI:10.12677/MEng.2019.62016 被引量