RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 811 浏览量: 1,345
计算机科学与应用 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,886 浏览量: 4,505 国家自然科学基金支持
图像与信号处理 Vol.6 No.2, April 30 2017, PDF, , XML DOI:10.12677/JISP.2017.62015 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 431 浏览量: 602 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011412 被引量
基于UVM的1000BASE-T图像传输系统的验证 Verification of 1000BASE-T Image Transmission System Based on UVM
王百慧 下载量: 388 浏览量: 593
传感器技术与应用 Vol.10 No.2, April 8 2022, PDF, HTML, XML DOI:10.12677/JSTA.2022.102017 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,512 浏览量: 5,762
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
自我提升还是自我验证:产生条件及影响Self-Enhance or Self-Verification: The Conditions of Motivation and Effect
付彩红, 吕厚超 下载量: 4,245 浏览量: 14,603 科研立项经费支持
心理学进展 Vol.3 No.1, January 28 2013, PDF, , XML DOI:10.12677/AP.2013.31002 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 477 浏览量: 1,108 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量
基于四象限变流器组的新型供电台区试验技术Test and Verification Technology of New Power Supply Station Area Based on Four Quadrant Converters
李 超, 郝正航, 曹雪娇 下载量: 260 浏览量: 437 科研立项经费支持
建模与仿真 Vol.12 No.6, November 14 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.126477 被引量
百毫瓦液氦温区节流制冷机换热器的仿真设计及实验验证Simulation Design and Experimental Verification of Heat Exchanger of Throttle Cryocooler in Hundred Milliwatt Liquid Helium Temperature Region
陈尚奎, 刘少帅, 李 瑛, 蒋珍华, 李子成, 吴亦农 下载量: 497 浏览量: 1,240 国家自然科学基金支持
建模与仿真 Vol.10 No.2, May 12 2021, PDF, HTML, XML DOI:10.12677/MOS.2021.102034 被引量
新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 1,004 浏览量: 3,577
计算机科学与应用 Vol.9 No.6, June 28 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96130 被引量