一类新CZCPs的构造The Construction of a New CZCPs
陈俊洁 下载量: 79 浏览量: 126
应用数学进展 Vol.13 No.4, April 25 2024, PDF, HTML, XML DOI:10.12677/aam.2024.134137 被引量
关于TSP的骨架算法综述The Review of Backbone Algorithm about TSP
王锦彪, 马发民 下载量: 3,040 浏览量: 10,208 国家自然科学基金支持
计算机科学与应用 Vol.3 No.8, November 28 2013, PDF, , XML DOI:10.12677/CSA.2013.38065 被引量
LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,005 浏览量: 5,322
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
一类多值控制网络最优决策的半张量积求解法研究Research on Semi-Tensor Product Solution Method for Optimal Decision of a Class of Multi-Valued Control Networks
符繁强, 韦维, 周荧, 钱柳 下载量: 1,103 浏览量: 2,859 国家自然科学基金支持
应用数学进展 Vol.7 No.10, October 24 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.710152 被引量
k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 264 浏览量: 382
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 201 浏览量: 294
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
一种基于回溯求解约束满足问题的置信传播算法A Belief Propagation Algorithm for Constraint Satisfaction Problem Based on Backtracking
林 童 下载量: 258 浏览量: 417
应用数学进展 Vol.12 No.3, March 15 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.123101 被引量
基于Spark的流程对象并行数据挖掘的研究与实现Research and Implementation of Parallel Data Mining of Process Object Based on Spark
郑雅飞, 杜 韬, 朱连江, 曲守宁 下载量: 2,094 浏览量: 4,450
数据挖掘 Vol.6 No.4, October 24 2016, PDF, , XML DOI:10.12677/HJDM.2016.64018 被引量
一种新型的混合系统A Novel Hybrid System
魏金飞 下载量: 208 浏览量: 281
应用数学进展 Vol.12 No.6, June 6 2023, PDF, , DOI:10.12677/AAM.2023.126266 被引量
R0-代数的几类反犹豫模糊滤子Several Types of Anti-Hesitation Fuzzy Filters for R0-Algebras
郑苗苗 下载量: 305 浏览量: 408
理论数学 Vol.12 No.5, May 24 2022, PDF, HTML, XML DOI:10.12677/PM.2022.125090 被引量