基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,459 浏览量: 5,640
应用数学进展 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,526 浏览量: 1,792
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量
常压与热压烧结工艺对合金靶材结构与性能的影响Effects of Atmospheric and Hot Pressing Sintering Processes on the Structure and Properties of Alloy Targets
刘春轩, 梁啟文, 伍小波, 曹柳絮, 张 扬, 罗 任, 张 杰, 谢 屹 下载量: 389 浏览量: 980 科研立项经费支持
材料科学 Vol.12 No.1, January 24 2022, PDF, HTML, XML DOI:10.12677/MS.2022.121002 被引量
钽钨合金药型罩的热处理工艺研究Heat Treatment Process of Ta-W Alloy Shaped Charge Liner
田开文, 张全孝, 赵 鑫, 黄伟明 下载量: 558 浏览量: 1,471
材料科学 Vol.11 No.5, May 20 2021, PDF, HTML, XML DOI:10.12677/MS.2021.115067 被引量
氧压变化对脉冲激光沉积法制备BeMgZnO四元合金薄膜性能的影响The Influence of Oxygen Pressure on Properties of Pulsed Laser Deposited BeMgZnO Quaternary Alloy Thin Films
杨蓉慧子, 黎明锴, 常 钢, 卢寅梅, 何云斌 下载量: 1,141 浏览量: 1,512 国家自然科学基金支持
材料科学 Vol.8 No.5, May 28 2018, PDF, HTML, XML DOI:10.12677/MS.2018.85065 被引量
铜镍合金与低合金钢焊接工艺及其应用Welding Technology and Application of Copper-Nickel Alloy and Low Alloy Steel
武保安, 青 旭, 梁立国, 杨晓鹏 下载量: 512 浏览量: 1,502
石油天然气学报 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,011 浏览量: 5,192
核科学与技术 Vol.5 No.3, July 14 2017, PDF, , XML DOI:10.12677/NST.2017.53019 被引量
热压缩温度对Ni-35Co合金组织的影响Effect of Hot Deformation Temperature on the Microstructure of a Ni-35Co Alloy
孙晓瑜, 张龙飞, 蒋 龙, 江 亮 下载量: 795 浏览量: 1,608 科研立项经费支持
冶金工程 Vol.6 No.4, December 24 2019, PDF, HTML, XML DOI:10.12677/MEng.2019.64034 被引量
ITO靶材烧结行为研究Study on Sintering Behavior of ITO Target
刘秉宁, 赵 旭, 孙本双, 黄誓成, 陈 杰, 朱桂胜, 赵学义, 王广欣 下载量: 1,219 浏览量: 2,424
材料科学 Vol.9 No.8, August 5 2019, PDF, HTML, XML DOI:10.12677/MS.2019.98093 被引量
Mn和Cu对6013铝合金组织及力学性能的影响Effect of Mn and Cu on Microstructure and Mechanical Properties of 6013 Aluminum Alloy
王翼猛, 刘承武, 冯凡, 周晓远, 陈文琳 下载量: 906 浏览量: 2,398
冶金工程 Vol.6 No.2, June 27 2019, PDF, HTML, XML DOI:10.12677/MEng.2019.62016 被引量