分享到:

一类多卫星动态调度问题的建模与求解方法

卫星调度是空间资源管理的重要内容之一, 其本身也是一类复杂的资源分配问题。基于动态约束满足理论,针对卫星初始  (本文共5页) 阅读全文>>

《计算机工程与应用》2004年27期
计算机工程与应用

动态约束满足及其在资源调度问题中的应用

论文系统地论述了动态约束满足技术的基本理论与方法,建立了...  (本文共4页) 阅读全文>>

《系统工程学报》2004年05期
系统工程学报

加权约束满足问题的改进深度优先搜索算法

回顾了加权约束满足问题的基本概念,给出了求解的标准深度优先搜索算法,并探讨了利用变量间的约束关系,改进标准深度优先搜索算法的搜索上...  (本文共5页) 阅读全文>>

《软件学报》2019年12期
软件学报

一种量词约束满足问题的混合易解子类

量词约束满足问题是人工智能和自动推理领域的一个重要问题.寻找多项式时间易解子类,是研究此类问题计算复杂性的关键.通过分析二元量词约束满足问题中的约束关系特征,以及量词前缀中的全称量词排列的顺序,提出了针对全称量词变量子结构的易解性质的分析方法.通过该方法,扩展了已知的基于Broken-Triangle Property的多项式时间易解子类,提出...  (本文共15页) 阅读全文>>

《民营科技》2008年04期
民营科技

约束满足问题在题库系统中的应用

主要讨论约束满足...  (本文共3页) 阅读全文>>

《楚雄师范学院学报》2008年03期
楚雄师范学院学报

人工智能中感知问题的求解技术——约束满足法

文中就感知问题的求解技术进行了一些探讨。文章开始首先给大家介绍了人工智能中对现实世界的感知问题解...  (本文共9页) 阅读全文>>