k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 302 浏览量: 445
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
K-解析函数的洛必达法则L’Hospital Theorem of K-Analytic Functions
陈剑鹏, 潘燕婷, 孙钦秀, 李宏亮 下载量: 741 浏览量: 1,591
理论数学 Vol.10 No.6, June 28 2020, PDF, HTML, XML DOI:10.12677/PM.2020.106073 被引量
清洁粗中砂的强度特性研究Study on Strength Characteristics of Clean Coarse Medium Sand
郑凯旋, 崔自治, 李希虎 下载量: 251 浏览量: 326
土木工程 Vol.12 No.6, June 30 2023, PDF, HTML, XML DOI:10.12677/HJCE.2023.126095 被引量
基于改进K-Means算法的手机处理器聚类分析Clustering Analysis of Mobile Processor Based on Improved K-Means Algorithm
林 挺, 蔡 静, 李东升 下载量: 1,033 浏览量: 1,406 科研立项经费支持
应用数学进展 Vol.9 No.11, November 25 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911235 被引量
树上k-奖励收集多割问题的近似算法 An Approximation Algorithm for the k-Prize-Collecting Multicut on a Tree Problem
侯晨菲 下载量: 612 浏览量: 820 科研立项经费支持
应用数学进展 Vol.10 No.8, August 6 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.108280 被引量
奇异k-Hessian方程的多个径向解Many Radial Solutions of Singular k-Hessian Equations
孙华远, 冯美强 下载量: 1,255 浏览量: 2,882 国家自然科学基金支持
理论数学 Vol.8 No.3, May 29 2018, PDF, HTML, XML DOI:10.12677/PM.2018.83038 被引量
基于机器学习的K-Means聚类优化算法研究Research on K-Means Clustering Optimization Algorithm Based on Machine Learning
李 贞, 刘海燕, 刘 策, 李庆钰, 刘 刚 下载量: 878 浏览量: 2,521 科研立项经费支持
数据挖掘 Vol.12 No.1, January 6 2022, PDF, HTML, XML DOI:10.12677/HJDM.2022.121003 被引量
基于寿命周期的报废汽车回收潜力研究Research on the Recycling Potential of End-of-Life Vehicles Based on Life Cycle
张 朔, 张绪美 下载量: 119 浏览量: 227 科研立项经费支持
运筹与模糊学 Vol.14 No.2, April 15 2024, PDF, HTML, XML DOI:10.12677/orf.2024.142135 被引量
一类k-Hessian 方程正径向解的存在性The Existence of Positive Radial Solutions for a Class of k-Hessian Equation
岳存燕 下载量: 428 浏览量: 1,545
理论数学 Vol.11 No.6, June 8 2021, PDF, , DOI:10.12677/PM.2021.116115 被引量
恒星在形成过程中释放的引力势能Gravitational Potential Energy Releasing during the Star Formation
郭建坡, 林 灵, 白春燕 下载量: 3,041 浏览量: 10,062 国家自然科学基金支持
天文与天体物理 Vol.3 No.3, July 27 2015, PDF, , XML DOI:10.12677/AAS.2015.33005 被引量