水文模型在山洪模拟中的比较应用Comparison and Application of Hydrological Models in Mountain Flood Simulation
黄 艳, 张艳军, 袁正颖, 吴金津, 董文逊, 林沛榕 下载量: 1,034 浏览量: 2,318 国家自然科学基金支持
水资源研究 Vol.8 No.1, February 27 2019, PDF, , DOI:10.12677/JWRR.2019.81004 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 770 浏览量: 1,129
应用数学进展 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,589 浏览量: 1,877
应用数学进展 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
舒仙槐 下载量: 212 浏览量: 354
争议解决 Vol.10 No.1, January 12 2024, PDF, HTML, XML DOI:10.12677/DS.2024.101049 被引量
RINSIM仿真平台与S2000虚拟实物系统接口软件的设计与开发The Design and Development of Interface Software between RINSIM Simulation Platform and S2000 Emulation System
李 飞, 冯 蔚, 张 侃, 华志刚, 杨勇勇 下载量: 1,006 浏览量: 2,136
核科学与技术 Vol.7 No.3, July 11 2019, PDF, HTML, XML DOI:10.12677/NST.2019.73013 被引量
基于特征选择和幻象残差网络的在线手写签名认证Online Handwritten Signature Verification Based on Feature Selection and Ghost Residual Network
卞 浩, 栾方军, 袁 帅 下载量: 849 浏览量: 1,038 国家自然科学基金支持
计算机科学与应用 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
杜佳俊, 兰 红 下载量: 775 浏览量: 1,216
计算机科学与应用 Vol.10 No.3, March 27 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.103060 被引量
用于MHz应用的推挽式E类功率放大器的设计与仿真Design and Simulation of a Push-Pull Class E Power Amplifier for MHz Applications
胡 浩, 董新科, 曹嘉玲, 毛 琳, 周 宇 下载量: 286 浏览量: 505 国家自然科学基金支持
建模与仿真 Vol.12 No.6, November 17 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.126487 被引量
消极自我概念者的自我验证动机:争论与反思The Self-Verification Motivation of People Who Hold Negative Self-Concept: Arguments and Reflections
岳 童, 高媛媛, 黄希庭 下载量: 3,333 浏览量: 18,367 科研立项经费支持
心理学进展 Vol.4 No.4, July 30 2014, PDF, , DOI:10.12677/AP.2014.44088 被引量
T/CESA 1159-2021软件成熟度标准的软件验证和确认与实践Software Verification and Validation and Practice of T/CESA 1159-2021 Software Ma-turity Standard
徐 俊, 毛明志, 李 军 下载量: 448 浏览量: 746 科研立项经费支持
软件工程与应用 Vol.11 No.4, August 24 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.114087 被引量