约束编程相关论文
随着我国航天产业的不断发展,如何高效管理大规模的航天测控资源、为航天产业提供高效地面测控服务面临巨大挑战。多星测控资源调......
车间调度问题是一个典型的NP-Hard问题,有着广泛的研究。为便于比较,本文先引入车间调度问题的混合整数规划模型;然后介绍了约束编......
随着世界时尚对东方民族服饰文化的关注,越来越多的人被中国的旗袍所吸引.在旗袍市场中,有定制和成衣两种类型.定制的成本太高,不......
该文从运行机制、运行效率以及运行效果等几个方面对于现存且常用的十几种一致性算法进行了详尽的剖析与研究,在此基础上,提出了新......
约束传播作为约束编程的关键方法,在许多工业应用中被广泛使用,例如在设计与配置问题,数据库问题,参数选择建模问题,调度问题中已......
约束编程与约束满足问题是近三十年来在人工智能领域发展起来的一个研究方向。产品配置器是近十几年来发展起来的一项技术。文中介......
作业车间调度，是指为具体的任务（工序）安排生产资源（机器）并确定合理的加工顺序，是一个典型的NP—Hard问题，有着广泛的研究。首先介绍混合......
通常航班计划都是分阶段完成的，即航班时刻表-机型指派-飞机排班-机组排班，每一个问题都相对独立的建模并求解。通常无法得到全局最......
作业车间（Job Shop）调度问题是指为具体的任务（工序）安排生产资源（机器）并确定合理的加工顺序,是一个典型的NP-Hard问题,有着广泛的研究.......
产品配置器技术是人工智能领域近十几年来发展起来的一个新的研究方向 ,而约束编程、约束满足问题等也是近三十年才发展起来的。本......
将产品的选择看作一种层次约束满足问题．从而提出一种基于层次约束满足的多属性决策算法HCSMDA，该算法基于约束逻辑编程，可解决实际的......
...
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束......
飞机排班是航空运输生产计划的重要环节,对航空公司的正常运营和整体效益有着决定性影响;飞机排班通常构建为大规模整数规划问题,......
随着航空运输需求的增大,各个航空公司拥有的飞机数量不断增加,飞机排班的重要性日益突出。飞机排班是航空运输的重要而复杂的环节......
针对目前航空公司飞机排班的研究大多是分阶段顺序完成,即在机型指派后考虑飞机排班,少量一体化排班的研究建立在严格的假设条件之......
表约束,也称为外延式约束,是约束编程领域最常见的约束形式,表压缩方法通过紧凑的表示元组集可以极大地缩减空间消耗,同时加速GAC......
为解决单循环赛的赛程编排问题,提出了基于约束编程的统一编排求解模式。同时设计与实现了perfect-matching约束用于单循环赛编排......
航班计划是航空公司日常经营中的一项重要活动,如何有效地利用飞机等资源已是航空公司面临的一大问题。目前航班计划的制定主要依......
作业车间调度问题（Job Shop Schedule Pmblem）是指为具体的任务（工序）安排生产资源（机器）并确定合理的加工顺序，是一个典型的NP-Hard问题，......
为了改善航班计划两阶段完成的次优性,将机型指派、路线选择与机尾号指派综合考虑,构建了飞机排班的整数规划与约束规划杂交一体化......
飞机排班是航空运输生产计划的重要环节,对航空公司的正常运营和整体效益有着决定性影响.飞机排班通常构建为大规模整数规划问题,......
