分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 909 浏览量: 2,768
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
双重判别的SAR图像超分辨率重建SAR Image Super-Resolution Reconstruction Based on Dual Discrimination
肖光义, 董张玉, 杨学志 下载量: 501 浏览量: 769
计算机科学与应用 Vol.11 No.6, June 2 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.116167 被引量
具有双带阻的环形UWB单极子天线A Dual Band-Notched UWB Ring Monopole Antenna with Parasitic Resonators
刘 涛, 杨卫莉 下载量: 1,043 浏览量: 2,270
无线通信 Vol.9 No.5, October 8 2019, PDF, HTML, XML DOI:10.12677/HJWC.2019.95019 被引量
混合价态铂纳米颗粒对持留菌杀伤作用的探索Exploration of the Lethal Effects of the Dual-Valent Platinum Nanoparticles on Persisters
涂逸欣, 邹亦文, 周馨涟漪, 陈苏阳, 蒋 瑀, 邓 天 下载量: 467 浏览量: 863 国家自然科学基金支持
生物医学 Vol.12 No.3, June 15 2022, PDF, HTML, XML DOI:10.12677/HJBM.2022.123022 被引量
基于特征工件的三轴数控机床动静态误差辨识与分离方法Dynamic and Static Error Identification and Separation Method for Three-Axis CNC Machine Tools Based on Feature Workpiece
吴 昊, 刘 超 下载量: 337 浏览量: 885
机械工程与技术 Vol.12 No.5, October 8 2023, PDF, HTML, XML DOI:10.12677/MET.2023.125048 被引量
CIMP5气候系统模式对中国冬季气温变化模拟评估及未来情景预估Assessment and Projection of Winter Temperatures in China by CMIP5 Climate System Models
梁苏洁 下载量: 1,722 浏览量: 2,607
气候变化研究快报 Vol.6 No.5, November 28 2017, PDF, HTML, XML DOI:10.12677/CCRL.2017.65035 被引量
高速双相动态电路暨设计自动化流程之实现A Fully Synthesizable Design Flow for High-Speed Dual-Phase Domino Logic
蔡佑慈, 黄翔晖, 郑经华 下载量: 2,812 浏览量: 8,114
电路与系统 Vol.2 No.2, June 19 2013, PDF, , DOI:10.12677/OJCS.2013.22005 被引量
一种双模高隔离共形耐高温天线Research on a Dual-Mode Highly Isolated Conformal Thermo Stability Antenna
王 超, 董妮妮, 万 聪, 贾智旗 下载量: 36 浏览量: 76
天线学报 Vol.13 No.2, June 29 2024, PDF, , XML DOI:10.12677/ja.2024.132003 被引量
二维对偶模型的最优分红Optimal Dividend in the Two-Dimensional Dual Model
韩 咪, 马世霞, 李 桐 下载量: 1,452 浏览量: 2,702 国家自然科学基金支持
统计学与应用 Vol.6 No.5, December 22 2017, PDF, HTML, XML DOI:10.12677/SA.2017.65058 被引量
面向细粒度情感分类任务的双通道分类模型Dual-Channel Classification Model for Fine-Grained Sentiment Classification Task
汪 伟, 马致远, 李清都, 李 想, 韩士洋 下载量: 261 浏览量: 520 国家自然科学基金支持
软件工程与应用 Vol.12 No.1, February 24 2023, PDF, HTML, XML DOI:10.12677/SEA.2023.121014 被引量