新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 905 浏览量: 3,325
计算机科学与应用 Vol.9 No.6, June 28 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96130 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 254 浏览量: 1,921
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
基于安卓SDK的图片验证码设计Design of Image Verification Code Based on Android SDK
杜佳俊, 兰 红 下载量: 692 浏览量: 1,091
计算机科学与应用 Vol.10 No.3, March 27 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.103060 被引量
微电网项目方案设计与仿真验证Scheme Design and Simulation Verification of a Microgrid Project
钱君霞, 宋鹏程, 马鸿娟, 梅建春, 徐 晶, 孙子雯 下载量: 442 浏览量: 1,108 科研立项经费支持
电气工程 Vol.8 No.4, December 29 2020, PDF, HTML, XML DOI:10.12677/JEE.2020.84019 被引量
全桥MMC型直流融冰装置电气设计仿真校核研究Research on Electrical Design Simulation and Verification of Full Bridge MMC DC Ice-Melting Device
班国邦, 邹 雕, 杨 旗, 张露松, 杨文勇, 刘 丽 下载量: 479 浏览量: 624
智能电网 Vol.11 No.3, June 24 2021, PDF, HTML, XML DOI:10.12677/SG.2021.113026 被引量
研究堆安全分析用计算机程序验证要求探讨Discussion on Verification Requirements of Safety Analysis Programs of Research Re-actor
吴园园, 丁子星, 张小伟 下载量: 372 浏览量: 599
核科学与技术 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
潘 越, 程子敬 下载量: 704 浏览量: 1,196
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
基于UVM的1000BASE-T图像传输系统的验证 Verification of 1000BASE-T Image Transmission System Based on UVM
王百慧 下载量: 295 浏览量: 463
传感器技术与应用 Vol.10 No.2, April 8 2022, PDF, HTML, XML DOI:10.12677/JSTA.2022.102017 被引量
基于MIKE URBAN模型的武汉市典型城区内涝研究——I:模型构建与模拟验证Research on Waterlogging in Typical Urban Area of Wuhan City Based on MIKE URBAN Model—I: Model Construction and Simulation Verification
孙晓 晨, 熊立华, 周 密, 闫 磊 下载量: 468 浏览量: 3,235 国家自然科学基金支持
水资源研究 Vol.10 No.5, October 18 2021, PDF, HTML, XML DOI:10.12677/JWRR.2021.105050 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 669 浏览量: 960
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量