摘要：为了提高阶段计划的编制效率,针对编组站静态配流字典序多目标累积调度模型,设计了迭代、约束传播和启发式回溯的混合算法.该算法根据多目标的字典序将模型分为3层:第1层为配流成功的出发列车优先级总和最大化,第2层为出发列车车流来源总数最少化,第3层为车辆平均停留时间最短化.每层先通过约束传播算法化简模型、缩小解空间,再通过启发式回溯算法和约束传播技术联合快速求解.上一层的最优解作为下一层的初始解,并动态增加避免上一层目标退化的约束,迭代求解每层的最优解.通过某编组站实际数据验证表明,本算法耗时小于20 s,满足现场对阶段计划编制的实时性要求,且求得的配流方案优于其他算法.

摘要：为了提高动态配流模型的通用性和稳定性,基于约束程序累积调度和字典序多目标优化,以作业之间实施逻辑和优先级关系、班计划和列车编组计划要求、资源容量限制等为约束,按照配流成功的出发列车优先级总和最大、车辆平均中停时最小和资源利用率最高3个目标的优先级,建立适应于不同解体方式的动态配流字典序多目标累积调度的3层模型.为提高算法效率,设计了约束传播和多点构建性搜索混合的带初始解迭代算法,每层先通过约束传播算法化简模型,再通过带约束传播的多点构建性搜索算法快速求解,以决策出优化的作业排程和配流方案.实验表明,模型扩展性更强、更稳定、更符合现场实际;算法效率高,能够满足现场对计划编制和调整的实施性需求.

摘要：为了满足单件小批定货生产方式下的交货期满足问题 ,本文着重研究 CAPP/PPS集成并行模式下加工过程决策的调度方法 ,该方法采用基于动态分布的并行协同设计模式 ,把交货期和资源负荷作为工艺设计过程的约束 ,通过基于约束传播和智能回溯算法的约束推理 ,成功地建立了满足交货期和资源负荷的实用性工艺方案。

摘要：探讨人工智能中的约束网络及约束传播技术在并行设计中的应用。先将设计变量构成约束网络 ,通过约束传播技术使得设计变量趋于精确 ,并将推理依据进行记录 ,在发生冲突时系统可以根据所记录的约束来源协调设计过程 ,达到协同设计的目的。

摘要：设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.

摘要：约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响，其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来。该文介绍了设计实现的并发约束程序设计语言COPS。COPS系统的主要目标是探索智能语言的实用化与工程化，使其能够真正解决现实世界中用常规语言难以实现的智能应用问题。还介绍了COPS语言的表示及涉及的主要推理技术。

摘要：为了提高地铁正线的运营效率和保障乘务人员的身心健康,针对便乘情况下的地铁乘务任务配对问题,综合考虑了乘务人员总的工作量、乘务人员连续工作量、乘务任务的班次划分、出勤和退勤地点、轮换休息时间和地点、用餐时间和地点、乘务任务完整性、乘务任务的均衡性等因素,以形成的乘务任务数量最少为目标,建立乘务任务配对的约束优化模型。为提高求解效率,使用约束传播算法对变量论域进行动态约减,并设计了约束传播与启发式回溯的混合算法求解模型。实际算例验证表明:约束优化模型符合实际业务需求,提高了乘务排班计划的兑现率;混合搜索算法求解效率较高,提高了计划编制的实时性。

摘要：基于约束的参数化描述及求解是计算机辅助设计研究的一个热点 ,欠约束图的求解是参数化设计的基本问题 ,为了提高欠约束草图求解的参数化设计效率 ,提出了一种基于隐式约束优先级的欠约束草图求解方法 ,并首先给出了欠约束图求解的一般方法以及欠约束图的基本特征 ,提出了利用隐式约束去匹配缺少的显式约束 ;然后将隐式约束按照一定的规则分成不同的优先级 ,再利用优先级高的隐式约束去匹配变动约束图中的欠约束 ,直到完成约束图的有向化 ;最后 ,探讨了无尺寸约束图有向化过程中的基本特点 ,并给出了无尺寸约束图的求解算法和应用实例。实例应用结果表明 。

摘要：热轧调度中的板坯排序问题是一类特殊的排序问题,具有约束条件复杂、NP难特点。为了简化问题,将板坯排序问题转化为一个约束满足问题处理。给出板坯排序问题的约束满足模型,设计了基于约束满足和启发式混合求解算法。用3组实际生产数据对算法性能进行验证,说明了算法的有效性。

摘要：在众多的自动谈判模式中,协同谈判是一种新型的多线程谈判形式。文章分析了面向电子商务的协同谈判中的冲突问题,提出了解决谈判冲突的方法——满意度函数法。该方法在谈判模型中用约束网来表示谈判中的变量和约束关系,通过约束放松来解决谈判中的冲突。作者在对约束及约束网进行详细分析的基础上设计了约束传播算法,用它来求解约束网问题。文章通过实例验证了提出的论点和方法的正确性。采用这种基于约束放松的协同谈判模型可以有效地解决谈判中的冲突,提高谈判的效率。该方法的应用可为解决多个谈判的组合问题提供一种新的思路。