最近亏损矩阵的可信验证The Verification of the Nearest Defective Matrix
张春磊, 李 喆 下载量: 780 浏览量: 1,113 科研立项经费支持
应用数学进展 Vol.9 No.11, November 20 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911228 被引量
分片负载的多轮均衡化验证方案Multi-Round Balancing Verification Scheme for Sharding Load
李 敏, 李志淮, 白 兵, 陈玉华 下载量: 449 浏览量: 751
计算机科学与应用 Vol.11 No.1, January 18 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.111006 被引量
冻干蛋白粉生产车间验证 Validation of Freeze-Dried Protein Powder Production Workshop
范芙琴, 王 铨, 张钧年, 张保库, 罗永芳 下载量: 407 浏览量: 944
食品与营养科学 Vol.10 No.1, February 24 2021, PDF, HTML, XML DOI:10.12677/HJFNS.2021.101008 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 299 浏览量: 1,995
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 731 浏览量: 1,069
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
交叉验证法在模型比较中的应用Application of Cross-Validation in Model Comparison
张汇洋, 刘瑞银 下载量: 318 浏览量: 575
应用数学进展 Vol.12 No.4, April 28 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.124193 被引量
基于安卓SDK的图片验证码设计Design of Image Verification Code Based on Android SDK
杜佳俊, 兰 红 下载量: 745 浏览量: 1,171
计算机科学与应用 Vol.10 No.3, March 27 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.103060 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 419 浏览量: 580 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011412 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,497 浏览量: 5,717
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
微电网项目方案设计与仿真验证Scheme Design and Simulation Verification of a Microgrid Project
钱君霞, 宋鹏程, 马鸿娟, 梅建春, 徐 晶, 孙子雯 下载量: 485 浏览量: 1,174 科研立项经费支持
电气工程 Vol.8 No.4, December 29 2020, PDF, HTML, XML DOI:10.12677/JEE.2020.84019 被引量