RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 816 浏览量: 1,351
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
功能梯度混凝土圆筒结构研究进展Research Progress of Functionally Graded Concrete Cylinder Structures
胡雷雨, 王 政, 高曜翔, 王 浩, 薛恺文, 崔振东 下载量: 632 浏览量: 980
土木工程 Vol.11 No.3, March 24 2022, PDF, HTML, XML DOI:10.12677/HJCE.2022.113037 被引量
单位球丛上L(g)泛函变分问题The Variational Problem of L(g) on Unit Tangent Sphere Bundles
康 恒 下载量: 69 浏览量: 169
理论数学 Vol.14 No.5, May 31 2024, PDF, HTML, XML DOI:10.12677/pm.2024.145219 被引量
胺的合成反应综述The Summary of the Synthesis of Amines
何永富, 李荣疆 下载量: 3,276 浏览量: 9,072
合成化学研究 Vol.4 No.2, October 19 2016, PDF, , XML DOI:10.12677/SSC.2016.42002 被引量
证明D-Finite类数学猜想的新方法A New Method to Prove Mathematical Conjecture of D-Finite Class
杨 军, 郭志成 下载量: 1,184 浏览量: 3,955
理论数学 Vol.9 No.3, May 20 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93046 被引量
基于人因工程学的社区自助服务终端设计 Community Self-Service Terminal Design Based on Human Factors Engineering
陈俊玮, 蒋佳妮 下载量: 126 浏览量: 233
传感器技术与应用 Vol.12 No.2, March 14 2024, PDF, HTML, XML DOI:10.12677/JSTA.2024.122016 被引量
汉语中概念语法隐喻与级转移Ideational Grammatical Metaphor in Chinese and Rank-Shift
陈 倩 下载量: 3,882 浏览量: 10,041
现代语言学 Vol.3 No.3, August 21 2015, PDF, , XML DOI:10.12677/ML.2015.33016 被引量
肿瘤预后相关免疫抑制分子概述The Overview of Tumor-Related Immunosuppressive Molecules
张冬云, 刘 冉, 刘安丽, 李 寅, 王 静 下载量: 3,361 浏览量: 12,616
临床医学进展 Vol.5 No.2, June 12 2015, PDF, , XML DOI:10.12677/ACM.2015.52014 被引量
一类具有时滞的耦合神经元系统的同步The Synchronization of a Coupled Neuronal Network with Time Delay
郑艳红 下载量: 1,132 浏览量: 4,229 国家自然科学基金支持
理论数学 Vol.8 No.5, September 13 2018, PDF, HTML, XML DOI:10.12677/PM.2018.85071 被引量
高频大电流不断电除冰方法High Frequency High Current Uninterrupted Power Serving De-icing Method
胡书昌, 王树文, 马文川 下载量: 3,493 浏览量: 9,327
智能电网 Vol.1 No.1, July 29 2011, PDF, , DOI:10.12677/sg.2011.11007 被引量