基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 708 浏览量: 1,064
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
垃圾分类微信小程序的设计与实现The Design and Realization of Garbage Sorting Wechat Small Program
王文翔, 孟祥娟, 苏把特 下载量: 506 浏览量: 1,766 科研立项经费支持
软件工程与应用 Vol.11 No.4, August 26 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.114090 被引量
计算机编程语言教学之我见My View on the Teaching of Computer Programming Language
魏佳翘, 周冰 下载量: 477 浏览量: 1,667
电脑校园 Vol.1 No.8, August 27 2020, PDF, , DOI: 被引量
面向机械工程专业能力培养的《控制工程基础》课程教学改革探讨Discussion on Course Teaching Reform of “Fundamentals of Control Engineering” Oriented to the Training of Mechanical Engineering Professional Ability
朱春霞, 孙家宁, 王 丹, 范丽婷 下载量: 519 浏览量: 851 科研立项经费支持
创新教育研究 Vol.10 No.4, April 20 2022, PDF, HTML, XML DOI:10.12677/CES.2022.104114 被引量
ChatGPT在数控编程加工中的应用探析Exploration of the Application of ChatGPT in CNC Programming Machining
汪志能 下载量: 1,170 浏览量: 2,894 科研立项经费支持
机械工程与技术 Vol.12 No.4, August 8 2023, PDF, HTML, XML DOI:10.12677/MET.2023.124039 被引量
均衡Riccati方程的新进展The Latest Development of Equilibrium Riccati Equation
张大永, 彭云飞 下载量: 560 浏览量: 1,283 国家自然科学基金支持
运筹与模糊学 Vol.10 No.4, November 18 2020, PDF, HTML, XML DOI:10.12677/ORF.2020.104030 被引量
对编程实现拟人智能可行性的论证Demonstrate the Feasibility of Programming to Realize Anthropomorphic Intelligence (预印本)
程洪文 下载量: 575 浏览量: 1,020
汉斯预印本 Vol.7 No.1, December 8 2022, PDF, , DOI:10.12677/HANSPrePrints.2022.71006 被引量
不锈钢渣资源综合利用研究现状Research Status of Comprehensive Utilization of Stainless Steel Slag
兰树伟, 张志伟, 洪奥越, 王鑫, 徐 昊 下载量: 1,228 浏览量: 3,298
冶金工程 Vol.6 No.1, February 28 2019, PDF, HTML, XML DOI:10.12677/MEng.2019.61005 被引量
钢渣在沥青混合料中的理化性能及工程性能研究Physical and Chemical Properties and Engineering Properties of Steel Slag in Asphalt Mixture
韩雷雷 下载量: 393 浏览量: 544
土木工程 Vol.12 No.8, August 16 2023, PDF, HTML, XML DOI:10.12677/HJCE.2023.128121 被引量
青岛地区一次冷涡槽前强对流天气过程分析Analysis of the Process of Strong Convective Weather in the Background of Cold Vortex in Qingdao
宫明晓, 马 艳, 李 华 下载量: 922 浏览量: 1,325 科研立项经费支持
气候变化研究快报 Vol.8 No.6, October 25 2019, PDF, HTML, XML DOI:10.12677/CCRL.2019.86075 被引量