RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬
计算机科学与应用Vol.10 No.6, 全文下载: PDF HTML XML DOI:10.12677/CSA.2020.106129, June 18 2020
RSE-M 2010在福清5、6在役检查中的应用与优化Application and Optimization of RSE-M 2010 in In-Service Inspection Program of Fuqing 5 & 6 Units
刘嘉维, 李健捷, 杨 洋, 李栋梁, 张 卫
核科学与技术Vol.10 No.1, 全文下载: PDF HTML XML DOI:10.12677/NST.2022.101005, January 18 2022
对“爱V不V”结构的多角度分析Multi-Dimensional Studies of Structure “Ai V Bu V”
李 鑫
现代语言学Vol.11 No.11, 全文下载: PDF HTML XML DOI:10.12677/ML.2023.1111756, November 29 2023
基于熵权的模糊物元模型在河流健康评价中的应用研究Application of Fuzzy Matter-Element Model Based on Entropy Weight in River Health Assessment
Marvin C. Thompson, 张 翔, 邓梁堃, 徐 晶, 肖 宜 国家科技经费支持
水资源研究Vol.9 No.4, 全文下载: PDF HTML XML DOI:10.12677/JWRR.2020.94041, August 28 2020
Power-V + 扭力冲击器组合在X井的试验研究The Experimental Study of Power-V + Torsional Percussion Drilling Tool Combination in Well X
龚小卫, 阳君奇, 姜忠南, 包玲玉, 程红伟
石油天然气学报Vol.41 No.5, 全文下载: PDF HTML XML DOI:10.12677/JOGT.2019.415069, October 15 2019
术语学中概念理论的发展流变及其在翻译中的应用The Evolution of Conceptual Theory in Terminology and Its Application in Translation
赵丹丹
现代语言学Vol.12 No.1, 全文下载: PDF HTML XML DOI:10.12677/ML.2024.121033, January 17 2024