k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 314 浏览量: 458
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
六盘水新一代多普勒天气雷达应用检验分析Application Researches of New Generation Doppler Weather Radar in Liupanshui
黄天福, 刘 相, 林小杰, 刘莉娟, 陈昌文 下载量: 866 浏览量: 1,107
气候变化研究快报 Vol.9 No.5, September 25 2020, PDF, HTML, XML DOI:10.12677/CCRL.2020.95060 被引量
二维材料MXene的制备方法、性能与应用探究Research on the Preparation Method and Application Performance of Two-Dimensional Material MXene
侯淑萍, 韩艺婷, 莫美新, 葛杨美程, 李 辉, 贺小川 下载量: 74 浏览量: 197 科研立项经费支持
纳米技术 Vol.14 No.2, May 28 2024, PDF, HTML, XML DOI:10.12677/nat.2024.1412003 被引量
浅析淄博市人才政策亮点及成效A Brief Analysis of the Talent Policy Highlights and Results of Zibo City
魏可欣, 李秀娟, 曹静艺, 曲绍风, 崔师永 下载量: 418 浏览量: 2,083
可持续发展 Vol.12 No.1, December 31 2021, PDF, HTML, XML DOI:10.12677/SD.2022.121004 被引量
创伤性骨折126例护理结果分析Analysis of Nursing Results of 126 Cases of Traumatic Fracture
王艳芳 下载量: 920 浏览量: 1,697
护理学 Vol.8 No.3, May 27 2019, PDF, HTML, XML DOI:10.12677/NS.2019.83036 被引量
辩证治疗慢性胃炎168结果分析Dialectical Treatment of Chronic Gastritis 168 Results Analysis
吴建斌 下载量: 894 浏览量: 3,669
中医学 Vol.8 No.1, January 23 2019, PDF, HTML, XML DOI:10.12677/TCM.2019.81012 被引量
类比分析法在防灭火工程中的实践与应用Practice and Application of Analogy Analysis Method in Fire-Fighting Engineering
杨占山 下载量: 490 浏览量: 1,416
矿山工程 Vol.9 No.1, January 19 2021, PDF, HTML, XML DOI:10.12677/ME.2021.91004 被引量
物理结构仿生超疏水表面研究与应用进展*Research and Application Progress of Bionic Superhydrophobic Surface with the Physical Characteristics
蒋炎, 阚立爽, 孟凡明 下载量: 3,727 浏览量: 13,292 科研立项经费支持
材料化学前沿 Vol.1 No.1, July 15 2013, PDF, , XML DOI:10.12677/amc.2013.11002 被引量
浅谈数学史在数学教学中的应用研究On the Application of Mathematics History in Mathematics Teaching
张 炎, 靳曼莉 下载量: 220 浏览量: 1,331
教育进展 Vol.13 No.11, November 27 2023, PDF, HTML, XML DOI:10.12677/AE.2023.13111422 被引量
Abaqus质量缩放及其结果准确性的评估Abaqus Mass Scaling and Evaluation of the Accuracy of Its Results
赵益兴 下载量: 965 浏览量: 4,341
建模与仿真 Vol.12 No.2, March 15 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.122098 被引量