约束编程相关论文
随着我国航天产业的不断发展,如何高效管理大规模的航天测控资源、为航天产业提供高效地面测控服务面临巨大挑战。多星测控资源调......
约束编程(CP)是用于建模和求解组合约束问题的通用且灵活的框架。表约束(也称为扩展约束)明确表示它们所涉及的变量的值的允许组合......
约束传播作为约束编程的关键方法,在许多工业应用中被广泛使用,例如在设计与配置问题,数据库问题,参数选择建模问题,调度问题中已......
约束编程与约束满足问题是近三十年来在人工智能领域发展起来的一个研究方向。产品配置器是近十几年来发展起来的一项技术。文中介......
作业车间调度，是指为具体的任务（工序）安排生产资源（机器）并确定合理的加工顺序，是一个典型的NP—Hard问题，有着广泛的研究。首先介绍混合......
通常航班计划都是分阶段完成的，即航班时刻表-机型指派-飞机排班-机组排班，每一个问题都相对独立的建模并求解。通常无法得到全局最......
作业车间（Job Shop）调度问题是指为具体的任务（工序）安排生产资源（机器）并确定合理的加工顺序,是一个典型的NP-Hard问题,有着广泛的研究.......
产品配置器技术是人工智能领域近十几年来发展起来的一个新的研究方向 ,而约束编程、约束满足问题等也是近三十年才发展起来的。本......
将产品的选择看作一种层次约束满足问题．从而提出一种基于层次约束满足的多属性决策算法HCSMDA，该算法基于约束逻辑编程，可解决实际的......
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束......
随着我国工程建设水平的提高,大型公共建筑的空间结构越来越复杂,使得建筑物内的人员疏散路径过长,导致室内人群的疏散时间增加。......
飞机排班是航空运输生产计划的重要环节,对航空公司的正常运营和整体效益有着决定性影响;飞机排班通常构建为大规模整数规划问题,......
随着航空运输需求的增大,各个航空公司拥有的飞机数量不断增加,飞机排班的重要性日益突出。飞机排班是航空运输的重要而复杂的环节......
针对目前航空公司飞机排班的研究大多是分阶段顺序完成,即在机型指派后考虑飞机排班,少量一体化排班的研究建立在严格的假设条件之......
为解决单循环赛的赛程编排问题,提出了基于约束编程的统一编排求解模式。同时设计与实现了perfect-matching约束用于单循环赛编排......
航班计划是航空公司日常经营中的一项重要活动,如何有效地利用飞机等资源已是航空公司面临的一大问题。目前航班计划的制定主要依......
作业车间调度问题（Job Shop Schedule Pmblem）是指为具体的任务（工序）安排生产资源（机器）并确定合理的加工顺序，是一个典型的NP-Hard问题，......
为了改善航班计划两阶段完成的次优性,将机型指派、路线选择与机尾号指派综合考虑,构建了飞机排班的整数规划与约束规划杂交一体化......
