约束可满足相关论文
作为智能调度中最难解问题之一的Job-Shop调度问题,其模型具有一般通用性和巨大的现实意义,人们在Job-Shop问题上已经提出很多优秀......
随着深空任务数量的增加以及星上操作的日益复杂,深空探测器自主任务规划技术已成为提高探测器的鲁棒性、增加科学回报、降低运控......
基于传统的CSP算法不能充分体现规划过程的特点,讨论了如何将规划中的动作关系映射到CSP结构中,并据此提出了一种以动作为中心的启......
随着深空探测任务的增加以及星上科学任务的日益复杂,深空探测器自主任务规划与调度技术成为研究的热点。在深空探测器任务特点与......
从二维图像提取到的特征点相对位置信息,利用对于目标物体的先验知识如边缘比例、夹角特征等,形成基于投影成像规则的变量约束方程......
