RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 755 浏览量: 1,267
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
基于方向特征的维吾尔文离线签名鉴别Uyghur Off-Line Signature Verification Based on the Directional Features
祖丽皮亚•艾尼, 麦合甫热提, 努尔毕亚•亚地卡尔, 库尔班•吾布力 下载量: 1,857 浏览量: 4,456 国家自然科学基金支持
图像与信号处理 Vol.6 No.2, April 30 2017, PDF, , XML DOI:10.12677/JISP.2017.62015 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 407 浏览量: 560 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011412 被引量
基于自然的解决方案的发展历程Analysis of Nature-Based Solution Evaluation Criteria and Evaluation Frameworks
贾雨欣 下载量: 257 浏览量: 1,035
环境保护前沿 Vol.12 No.6, December 29 2022, PDF, HTML, XML DOI:10.12677/AEP.2022.126164 被引量
基于UVM的1000BASE-T图像传输系统的验证 Verification of 1000BASE-T Image Transmission System Based on UVM
王百慧 下载量: 353 浏览量: 537
传感器技术与应用 Vol.10 No.2, April 8 2022, PDF, HTML, XML DOI:10.12677/JSTA.2022.102017 被引量
基于网络药理学和实验验证研究射干–麻黄对支气管炎的免疫调节作用Study on Immunomodulatory Effect of Belamcandae Rhizoma and Ephedrae Herba on Bronchitis Based on Network Pharmacology and Experimental Verification
陈锐扬, 邸逸凡, 潘 宇, 郭晓瑞, 张 晶, 徐明远, 唐中华 下载量: 476 浏览量: 1,198 科研立项经费支持
药物化学 Vol.10 No.1, February 28 2022, PDF, HTML, XML DOI:10.12677/HJMCe.2022.101007 被引量
基于评价核数据库的连续点截面处理模块ACEXS的开发与验证Development and Verification of Continuous Point Section Processing Module ACEXS Based on Evaluated Nuclear Database
马 璇, 马续波, 黄钰琴, 胡 馗, 张 斌 下载量: 340 浏览量: 623 国家自然科学基金支持
核科学与技术 Vol.10 No.3, July 7 2022, PDF, HTML, XML DOI:10.12677/NST.2022.103016 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,490 浏览量: 5,699
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
首都机场地面观测对实况分析场的独立性检验Independence Evaluation of Real-Time Analysis with Surface Observation of Capital Airport
陈一枝, 郭建侠, 高 岑 下载量: 378 浏览量: 497 国家科技经费支持
地球科学前沿 Vol.12 No.4, April 25 2022, PDF, HTML, XML DOI:10.12677/AG.2022.124054 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 434 浏览量: 1,037 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量