基于最小二乘配置模型的高程异常拟合Height Anomaly Fitting Based on Least Squares Configuration Model
王鸣鹤, 吴晓倩, 张启斌 下载量: 1,359 浏览量: 3,321
测绘科学技术 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
邱桂兰 下载量: 907 浏览量: 1,505 科研立项经费支持
地球科学前沿 Vol.8 No.7, November 29 2018, PDF, HTML, XML DOI:10.12677/AG.2018.87130 被引量
面向企业数据安全场景基于孤立森林算法的数据访问异常检测与告警收敛方法Data Access Anomaly Detection and Alarm Aggregation Method Based on Isolation Forest Algorithm for Enterprise Data Security Scenarios
高玉涛, 张若愚, 赵旭栋, 田晓伟, 黄成祁, 姚雪茜, 李 刚 下载量: 15 浏览量: 26
数据挖掘 Vol.14 No.3, July 17 2024, PDF, , XML DOI:10.12677/hjdm.2024.143016 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,512 浏览量: 5,762
应用数学进展 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,245 浏览量: 14,604 科研立项经费支持
心理学进展 Vol.3 No.1, January 28 2013, PDF, , XML DOI:10.12677/AP.2013.31002 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 477 浏览量: 1,108 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量
新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 1,004 浏览量: 3,578
计算机科学与应用 Vol.9 No.6, June 28 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96130 被引量
基于雷电监测的大气电场地震短临异常研究Study on the Short-Impending Anomaly before Earthquakes of Atmospheric Electric Field Based on Lightning Monitoring
邱桂兰, 靳小兵, 卜俊伟, 赵 航, 陈学芬 下载量: 3,257 浏览量: 6,530 科研立项经费支持
地球科学前沿 Vol.10 No.12, December 31 2020, PDF, HTML, XML DOI:10.12677/AG.2020.1012123 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 766 浏览量: 1,120
应用数学进展 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,583 浏览量: 1,866
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量