最近亏损矩阵的可信验证The Verification of the Nearest Defective Matrix
张春磊, 李 喆 下载量: 814 浏览量: 1,155 科研立项经费支持
应用数学进展 Vol.9 No.11, November 20 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911228 被引量
多项式近似因式分解的可信验证The Verification of Approximate Polynomial Factorization
严杰煜, 李 喆 下载量: 704 浏览量: 978 科研立项经费支持
应用数学进展 Vol.9 No.8, August 20 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.98144 被引量
实对称矩阵谱的可信计算The Verification of the Spectra of the Real Symmetric Matrix
王学清, 李 喆 下载量: 695 浏览量: 960 科研立项经费支持
应用数学进展 Vol.9 No.10, October 27 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.910204 被引量
分片负载的多轮均衡化验证方案Multi-Round Balancing Verification Scheme for Sharding Load
李 敏, 李志淮, 白 兵, 陈玉华 下载量: 471 浏览量: 778
计算机科学与应用 Vol.11 No.1, January 18 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.111006 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 322 浏览量: 2,031
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
研究堆安全分析用计算机程序验证要求探讨Discussion on Verification Requirements of Safety Analysis Programs of Research Re-actor
吴园园, 丁子星, 张小伟 下载量: 470 浏览量: 742
核科学与技术 Vol.9 No.3, July 23 2021, PDF, HTML, XML DOI:10.12677/NST.2021.93019 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 818 浏览量: 1,355
计算机科学与应用 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 被引量