约束传播论文

基于定量信息的定性仿真研究
论文摘要仿真技术是一门迅速发展的高新技术;由于它具有经济、可靠、安全、灵活、可多次重复使用等优点,已成为许多复杂系统分析、设计、试验、评估等不可缺少的重要手段。微分差分方程是用...
约束满足技术的研究及在生产调度中的应用
论文摘要生产管理是提高现代生产企业生产效率和经济效益的重要手段。生产调度是生产管理系统关键的核心技术。单件车间调度问题是生产调度领域最为复杂的一类典型调度问题,由于其背景广泛存...
基于约束传播的约束求解方法研究
论文摘要约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的解而用到的各种技术。而约束传播即为众多的约束推...
基于约束的现代调度系统研究
论文摘要现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性。本文主要研究内容为基于约束的现代调度,即运用约束程序设计方法来求解现代调度问题,从而拓展了约束程序设计在求...