分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 908 浏览量: 2,767
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于可穿戴设备的微型磁耦合谐振无线充电系统的分析Analysis of a Small Charging System for Wearable Devices Based on Magnetic Coupling Resonance
赵 军, 李 靖, 李乃良, 张 遥 下载量: 1,536 浏览量: 3,565 国家自然科学基金支持
电气工程 Vol.5 No.2, May 17 2017, PDF, HTML, XML DOI:10.12677/JEE.2017.52014 被引量
基于特征工件的三轴数控机床动静态误差辨识与分离方法Dynamic and Static Error Identification and Separation Method for Three-Axis CNC Machine Tools Based on Feature Workpiece
吴 昊, 刘 超 下载量: 333 浏览量: 881
机械工程与技术 Vol.12 No.5, October 8 2023, PDF, HTML, XML DOI:10.12677/MET.2023.125048 被引量
磁性镧基吸附剂的制备及其除磷效能研究Fabrication of Magnetic Lanthanum-Based Adsorbent and Its Phosphate Removal Performance
吴梦雪, 张欣桐, 隋晓萌, 吕建波 下载量: 140 浏览量: 233
环境保护前沿 Vol.14 No.2, April 9 2024, PDF, HTML, XML DOI:10.12677/aep.2024.142033 被引量
仿生物电刺激联合温灸腰带治疗产后腹直肌分离的效果观察Clinical Study of Biosimilar Electric Stimulation Combined with Warm Moxibustion Belt in Treating Separation of Rectus Abdominis after Delivery
农小花, 覃丽华, 苏国生, 韦 涵, 黄承夸, 陆美林, 许彩林 下载量: 904 浏览量: 1,606 科研立项经费支持
护理学 Vol.8 No.6, December 17 2019, PDF, HTML, XML DOI:10.12677/NS.2019.86079 被引量
基于特征工件的五轴数控机床动静态误差辨识与分离方法Dynamic and Static Error Identification and Separation Method for Five-Axis CNC Machine Tools Based on Feature Workpiece
梁喆程, 刘 超 下载量: 225 浏览量: 364
机械工程与技术 Vol.13 No.1, February 23 2024, PDF, HTML, XML DOI:10.12677/MET.2024.131001 被引量
磁性污泥生物炭的制备及对水溶液中As(Ⅲ)的吸附性能研究Preparation of Magnetic Sludge Biochar and Study on Its Adsorption Performance for As(III) in Aqueous Solutions
陈婉玲, 成思怡, 周 杰, 夏永丽, 贾瑞雪, 刘星雨, 付 敦 下载量: 191 浏览量: 288 科研立项经费支持
自然科学 Vol.12 No.1, January 30 2024, PDF, HTML, XML DOI:10.12677/OJNS.2024.121029 被引量
铜钴锡硫纳米晶的制备及核磁共振成像应用Synthesis and Application of Magnetic Reso-Nance Imaging of Cu2CoSnS4 Nanoparticle
阳 月, 欧才彰, 刘天龙, 付长慧, 谭龙飞, 王自力, 孟宪伟 下载量: 1,756 浏览量: 4,790 国家自然科学基金支持
材料科学 Vol.7 No.4, July 13 2017, PDF, HTML, XML DOI:10.12677/MS.2017.74063 被引量
La-Ca-MnO3基磁电复合材料中的磁特性及其电场调制Magnetic Properties and Electric-Field Modulation Effect in La-Ca-MnO3 Based Magnetoelectric Composite
张慧钦, 唐 磊, 胡冰琳, 陈水源, 黄志高 下载量: 2,799 浏览量: 8,454 国家自然科学基金支持
应用物理 Vol.5 No.4, April 22 2015, PDF, , XML DOI:10.12677/APP.2015.54005 被引量
针式形磁性复合流体抛光工具设计及工艺试验Design and Process Test of Needle-Shaped Magnetic Composite Fluid Polishing Tool
刘 剑, 彭 婷, 王璐璐 下载量: 404 浏览量: 573
建模与仿真 Vol.11 No.3, May 9 2022, PDF, HTML, XML DOI:10.12677/MOS.2022.113046 被引量