【摘 要】
：
现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性。本文主要研究内容为基于约束的现代调度,即运用约束程序设计方法来求解现代调度问题,从而拓展了约束程序设计
论文部分内容阅读
现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性。本文主要研究内容为基于约束的现代调度,即运用约束程序设计方法来求解现代调度问题,从而拓展了约束程序设计在求解组合优化问题方面的应用领域。主要工作包括:通过对一般工业调度问题的深入研究,建立起基于多值逻辑的调度约束模型和模型库;设计了三种完备约束优化调度算法和三种启发式调度规则,设计了一种新的通用离散资源约束处理策略,从而完善了一般调度问题求解的通用方法库;首次运用约束程序方法对在线/半在线调度问题求解进行了研究;实现了基于约束求解的调度算法,构架出基于约束的调度建模和求解类库框架,并调用此类库对一些典型问题进行了实验测试,运行结果良好。
其他文献
在工程实际中,时滞现象是普遍存在的,且是系统不稳定的主要原因。鉴于此,近年来时滞微分系统的控制问题受到了广泛的关注,结论较多。但是中立型时滞系统的研究相对滞后,这主
模型检测作为一种有限状态系统的自动化验证技术已得到广泛应用，最近该技术在规划和多智能体系统(MAS)等人工智能领域的应用也越来越受到重视，MAS领域强调智能体的自治性和推理
禽传染性支气管炎病毒是归属于冠状病毒属的没有DNA阶段的正义单链RNA病毒,以极高的死亡率引起禽呼吸泌尿性疾病的广泛流行,每年都给家禽饲养业造成巨大的经济损失.因此开展
最近几年来国外基因组（基因网络）系统逻辑行为的研究新进展——基于有限状态自动机模型的方法，针对该方法的局限性，提出了一种基于时间自动机的基因网络模型，以描述网络行为的时间
在现行高中教材中，利用两直线夹角公式求三角形的内角时，教材是根据已知条件画出这个三角形，然后根据图形来确定3个内角的始边与终边，即确定内角是“谁到谁”所成的角，依公式tanθ
给出了东风５型内燃机车主发电压电流的一种采样模拟电路，叙述了其工作原理、试验数据及应用结果，采用该模似电路的样机已成功地应用在微机恒功励磁综合试验台上，较好地改善了其测
非线性伺服问题或非线性输出调节问题指的是设计反馈控制律使得非线性系统的输出渐近地跟踪给定的参考信号，消除输入干扰的影响，且能保证闭环系统的内部稳定性。在过去的几十年
近十年来，随着非线性理论的迅速发展，非线性时间序列分析方法在许多领域得到了广泛的应用和研究。受此启发，作者尝试将这些新发展起来的信号分析和处理方法用于对蕴藏在表面肌电
本文在叙述了机器人技术的发展历史、目前的研究状况以及未来的发展趋势的前提下，结合弯曲木弯曲加工技术的现状，提出了弯曲木加工机器人控制系统的总体设计方案。并对弯曲过程
环境中约99．8％的微生物不能用常规的微生物学方法培养，这样就使得绝大部分微生物资源的开发利用受到制约，而宏基因组克隆技术的产生则克服了对不可培养微生物研究的困难。到目前