k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 306 浏览量: 449
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
新生儿睾丸扭转1例并文献复习Neonatal Testicular Torsion: A Case Report and Literature Review
张东宁, 杨 斌, 马丰连, 付庆喜, 朱崇田 下载量: 529 浏览量: 825
临床医学进展 Vol.10 No.7, July 7 2020, PDF, HTML, XML DOI:10.12677/ACM.2020.107182 被引量
个人用户多个终端同步密码管理系统的设计与实现Design and Implementation of Synchronized Password Management Sys-tem for Individual Users with Multiple Terminals
刘 禹, 苏有慧, 徐正知 下载量: 955 浏览量: 3,017 科研立项经费支持
计算机科学与应用 Vol.9 No.6, June 24 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96123 被引量
微信远程控制的原理与实现The Principle and Realization of WeChat Remote Control
张运喜, 李鹏展, 刘 佳 下载量: 1,143 浏览量: 3,914 国家自然科学基金支持
计算机科学与应用 Vol.8 No.6, June 27 2018, PDF, HTML, XML DOI:10.12677/CSA.2018.86098 被引量
个体价值心理冲突调控模型探析A Conceptual Model for Individual Value Conflicts Regulation
李万县, 李 丹 下载量: 2,174 浏览量: 3,950 科研立项经费支持
心理学进展 Vol.5 No.11, November 25 2015, PDF, , XML DOI:10.12677/AP.2015.511089 被引量
浅谈电网企业物资现场收货与质量检验的协同机制Discussion on the Cooperative Mechanism of the Receiving and Quality Inspection On-Site in Power Grid Enterprises
黄 丽, 张行健, 刘晓明 下载量: 432 浏览量: 590
现代管理 Vol.11 No.12, December 21 2021, PDF, HTML, XML DOI:10.12677/MM.2021.1112163 被引量
基于PASCO平台的大学物理实验的教学改革实践Teaching Reform Practice of University Physics Experiment Based on PASCO Platform
黄 港 下载量: 54 浏览量: 61
职业教育 Vol.13 No.4, July 15 2024, PDF, , XML DOI:10.12677/ve.2024.134162 被引量
自动角膜刀取材的角膜后弹力层撕除角膜内皮移植术的护理Nursing Care of Patients Undergoing Descemet’s Stripping with Automated Endothelial Keratoplasty
张丽娟, 徐甄, 陈婷 下载量: 1,513 浏览量: 2,831
护理学 Vol.6 No.2, April 18 2017, PDF, , XML DOI:10.12677/NS.2017.62007 被引量
智能门禁系统电路设计与仿真实现Circuit Design and Simulation Implementation of Intelligent Access Control System
毛莎莎, 朱清超, 毛诗思, 高 岩, 宋晓鸥 下载量: 42 浏览量: 69
计算机科学与应用 Vol.14 No.6, June 21 2024, PDF, , XML DOI:10.12677/csa.2024.146137 被引量
TTS技术在ECDIS报警中的应用研究Application Study of TTS Technology in ECDIS Alarm
陈志平 下载量: 1,618 浏览量: 3,204
交通技术 Vol.5 No.4, July 13 2016, PDF, , XML DOI:10.12677/OJTT.2016.54012 被引量