分片负载的多轮均衡化验证方案Multi-Round Balancing Verification Scheme for Sharding Load
李 敏, 李志淮, 白 兵, 陈玉华 下载量: 479 浏览量: 789
计算机科学与应用 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
吕妍颖, 张小盈, 江建国 下载量: 337 浏览量: 2,046
应用数学进展 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
吴园园, 丁子星, 张小伟 下载量: 498 浏览量: 785
核科学与技术 Vol.9 No.3, July 23 2021, PDF, HTML, XML DOI:10.12677/NST.2021.93019 被引量
基于“预测–验证–分析–结论”策略的教学设计研究——以碱金属元素的结构与性质为例Research on Teaching Design Based on the Strategy of “Prediction-Verification-Analysis-Conclusion”—Taking the Structure and Properties of Alkali Metal Elements as an Example
刘 静, 廉蕊嘉 下载量: 337 浏览量: 543
教育进展 Vol.12 No.7, July 27 2022, PDF, HTML, XML DOI:10.12677/AE.2022.127391 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 863 浏览量: 1,403
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
基于余弦Softmax损失的说话人验证研究Speaker Verification Analysis Based on Cosine Softmax Loss
谢旗旺, 周林华 下载量: 454 浏览量: 631 国家自然科学基金支持
应用数学进展 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
王百慧 下载量: 393 浏览量: 606
传感器技术与应用 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,523 浏览量: 5,789
应用数学进展 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,266 浏览量: 14,931 科研立项经费支持
心理学进展 Vol.3 No.1, January 28 2013, PDF, , XML DOI:10.12677/AP.2013.31002 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 532 浏览量: 1,167 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量