GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 324 浏览量: 2,033
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
学生程序分析与修复研究Student Program Analysis and Repair Research
胡建鹏, 魏 龙, 林 渤 下载量: 362 浏览量: 566 科研立项经费支持
软件工程与应用 Vol.11 No.3, June 20 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.113064 被引量
电视节目模式的著作权保护问题刍议The Copyright Protection of TV Program Format
郭 映, 姚天冲 下载量: 1,725 浏览量: 3,796
法学 Vol.5 No.3, July 24 2017, PDF, HTML, XML DOI:10.12677/OJLS.2017.53011 被引量
基于评价核数据库的连续点截面处理模块ACEXS的开发与验证Development and Verification of Continuous Point Section Processing Module ACEXS Based on Evaluated Nuclear Database
马 璇, 马续波, 黄钰琴, 胡 馗, 张 斌 下载量: 407 浏览量: 726 国家自然科学基金支持
核科学与技术 Vol.10 No.3, July 7 2022, PDF, HTML, XML DOI:10.12677/NST.2022.103016 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 818 浏览量: 1,356
计算机科学与应用 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,888 浏览量: 4,507 国家自然科学基金支持
图像与信号处理 Vol.6 No.2, April 30 2017, PDF, HTML, XML DOI:10.12677/JISP.2017.62015 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 431 浏览量: 604 国家自然科学基金支持
应用数学进展 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
王百慧 下载量: 390 浏览量: 597
传感器技术与应用 Vol.10 No.2, April 8 2022, PDF, HTML, XML DOI:10.12677/JSTA.2022.102017 被引量
Android系统的自启动程序设计与控制Design and Control on a Self-Turn-On Program of Android System
周天宏, 张思卿, 刘明良 下载量: 3,744 浏览量: 10,766 科研立项经费支持
计算机科学与应用 Vol.4 No.9, September 24 2014, PDF, , DOI:10.12677/CSA.2014.49028 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,514 浏览量: 5,765
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量