研究堆安全分析用计算机程序验证要求探讨Discussion on Verification Requirements of Safety Analysis Programs of Research Re-actor
吴园园, 丁子星, 张小伟 下载量: 418 浏览量: 667
核科学与技术 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
潘 越, 程子敬 下载量: 755 浏览量: 1,267
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
月相正名及西周王年考The Right Understanding of the Name for Phase of the Moon—The Research & Verification of the Time of the Western Zhou Dynasty
郑捍马 下载量: 4,460 浏览量: 19,737
历史学研究 Vol.2 No.2, April 25 2014, PDF, , DOI:10.12677/OJHS.2014.22002 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 289 浏览量: 1,977
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 960 浏览量: 3,456
计算机科学与应用 Vol.9 No.6, June 28 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96130 被引量
检察民事公益诉讼调查核实权研究 Research on Procuratorial Civil Public Interest Litigation Investigation and Verification Rights
舒仙槐 下载量: 155 浏览量: 262
争议解决 Vol.10 No.1, January 12 2024, PDF, HTML, XML DOI:10.12677/DS.2024.101049 被引量
基于MIKE URBAN模型的武汉市典型城区内涝研究——I:模型构建与模拟验证Research on Waterlogging in Typical Urban Area of Wuhan City Based on MIKE URBAN Model—I: Model Construction and Simulation Verification
孙晓 晨, 熊立华, 周 密, 闫 磊 下载量: 588 浏览量: 3,423 国家自然科学基金支持
水资源研究 Vol.10 No.5, October 18 2021, PDF, HTML, XML DOI:10.12677/JWRR.2021.105050 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 434 浏览量: 1,035 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量
自我提升还是自我验证:产生条件及影响Self-Enhance or Self-Verification: The Conditions of Motivation and Effect
付彩红, 吕厚超 下载量: 4,208 浏览量: 13,845 科研立项经费支持
心理学进展 Vol.3 No.1, January 28 2013, PDF, , XML DOI:10.12677/AP.2013.31002 被引量
消极自我概念者的自我验证动机:争论与反思The Self-Verification Motivation of People Who Hold Negative Self-Concept: Arguments and Reflections
岳 童, 高媛媛, 黄希庭 下载量: 3,292 浏览量: 17,313 科研立项经费支持
心理学进展 Vol.4 No.4, July 30 2014, PDF, , DOI:10.12677/AP.2014.44088 被引量