基于最小二乘配置模型的高程异常拟合Height Anomaly Fitting Based on Least Squares Configuration Model
王鸣鹤, 吴晓倩, 张启斌 下载量: 1,301 浏览量: 3,226
测绘科学技术 Vol.6 No.4, October 17 2018, PDF, HTML, XML DOI:10.12677/GST.2018.64029 被引量
四川理塘毛垭温泉水温异常特征及映震能力研究The Research of Temperature Anomaly of Maoya Thermal Spring in Litang, Sichuan and Its Ability on Reflecting Earthquake
邱桂兰 下载量: 867 浏览量: 1,419 科研立项经费支持
地球科学前沿 Vol.8 No.7, November 29 2018, PDF, HTML, XML DOI:10.12677/AG.2018.87130 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,481 浏览量: 5,671
应用数学进展 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,195 浏览量: 13,529 科研立项经费支持
心理学进展 Vol.3 No.1, January 28 2013, PDF, , XML DOI:10.12677/AP.2013.31002 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 408 浏览量: 1,000 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量
基于雷电监测的大气电场地震短临异常研究Study on the Short-Impending Anomaly before Earthquakes of Atmospheric Electric Field Based on Lightning Monitoring
邱桂兰, 靳小兵, 卜俊伟, 赵 航, 陈学芬 下载量: 3,201 浏览量: 6,453 科研立项经费支持
地球科学前沿 Vol.10 No.12, December 31 2020, PDF, HTML, XML DOI:10.12677/AG.2020.1012123 被引量
新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 943 浏览量: 3,402
计算机科学与应用 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
张璇思, 刘佳姝, 江建国 下载量: 705 浏览量: 1,029
应用数学进展 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,547 浏览量: 1,815
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量
检察民事公益诉讼调查核实权研究 Research on Procuratorial Civil Public Interest Litigation Investigation and Verification Rights
舒仙槐 下载量: 151 浏览量: 246
争议解决 Vol.10 No.1, January 12 2024, PDF, HTML, XML DOI:10.12677/DS.2024.101049 被引量