新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 1,020 浏览量: 3,622
计算机科学与应用 Vol.9 No.6, June 28 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96130 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 781 浏览量: 1,153
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,603 浏览量: 1,897
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
检察民事公益诉讼调查核实权研究 Research on Procuratorial Civil Public Interest Litigation Investigation and Verification Rights
舒仙槐 下载量: 233 浏览量: 379
争议解决 Vol.10 No.1, January 12 2024, PDF, HTML, XML DOI:10.12677/DS.2024.101049 被引量
基于特征选择和幻象残差网络的在线手写签名认证Online Handwritten Signature Verification Based on Feature Selection and Ghost Residual Network
卞 浩, 栾方军, 袁 帅 下载量: 855 浏览量: 1,048 国家自然科学基金支持
计算机科学与应用 Vol.13 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.133063 被引量
基于安卓SDK的图片验证码设计Design of Image Verification Code Based on Android SDK
杜佳俊, 兰 红 下载量: 791 浏览量: 1,237
计算机科学与应用 Vol.10 No.3, March 27 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.103060 被引量
T/CESA 1159-2021软件成熟度标准的软件验证和确认与实践Software Verification and Validation and Practice of T/CESA 1159-2021 Software Ma-turity Standard
徐 俊, 毛明志, 李 军 下载量: 451 浏览量: 757 科研立项经费支持
软件工程与应用 Vol.11 No.4, August 24 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.114087 被引量
微电网项目方案设计与仿真验证Scheme Design and Simulation Verification of a Microgrid Project
钱君霞, 宋鹏程, 马鸿娟, 梅建春, 徐 晶, 孙子雯 下载量: 537 浏览量: 1,246 科研立项经费支持
电气工程 Vol.8 No.4, December 29 2020, PDF, HTML, XML DOI:10.12677/JEE.2020.84019 被引量
基于Hopfield神经网络模型的验证码识别问题Hopfield Neural Network Based Approach to Recognizing the Verification Code
张靖文, 林萍芝, 肖思佳, 王浩华 下载量: 394 浏览量: 721 国家自然科学基金支持
应用数学进展 Vol.10 No.11, November 25 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1011426 被引量
新型应变式三向力传感器的标定和验证The Calibration and Verification of the New Three-Directional Strain Gauge Force Transducer
颜钰琳, 王 臻 下载量: 296 浏览量: 579
仪器与设备 Vol.11 No.2, June 30 2023, PDF, HTML, XML DOI:10.12677/IaE.2023.112017 被引量