k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国
应用数学进展Vol.11 No.11, 全文下载: PDF HTML XML DOI:10.12677/AAM.2022.1111817, November 10 2022
乘积图和F-Sum图的Steiner K-距离Steiner K-Distances in Graph Products and F-Sum Graphs
胡玲莉, 颜 娟, 陈娅红 国家自然科学基金支持
理论数学Vol.13 No.5, 全文下载: PDF HTML XML DOI:10.12677/PM.2023.135151, May 31 2023
G 与 K2 的联图的局部反魔幻着色数The Local Antimagic Chromatic Number of the Join Graphs G ∨ K2
杨 雪, 边 红, 于海征 国家自然科学基金支持
应用数学进展Vol.10 No.11, 全文下载: PDF HTML DOI:10.12677/AAM.2021.1011421, November 24 2021
基于改进K-Means算法的手机处理器聚类分析Clustering Analysis of Mobile Processor Based on Improved K-Means Algorithm
林 挺, 蔡 静, 李东升 科研立项经费支持
应用数学进展Vol.9 No.11, 全文下载: PDF HTML XML DOI:10.12677/AAM.2020.911235, November 25 2020
基于随机秩次k近邻规则的不平衡数据分类算法An Ensemble Imbalanced Data Classification Algorithm Based on Random k-Rank Nearest Neighbor Rules
沈怡欣, Subhash C. Bagui, 马双鸽
应用数学进展Vol.9 No.5, 全文下载: PDF HTML XML DOI:10.12677/AAM.2020.95074, May 6 2020
微纳多齿谐振光栅偏振分束器的研究A Polarizing Beam Splitter Based on Micro-Nano Multi-Subparts Resonant Grating
吴华明, 肖文波, 刘宪爽, 肖永生, 黄丽贞, 马林飞, 丁月霞, 曾 静 国家自然科学基金支持
应用物理Vol.6 No.12, 全文下载: PDF HTML DOI:10.12677/APP.2016.612034, December 16 2016