• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >A Generic, Collaborative Framework for Interval Constraint Solving
【24h】

A Generic, Collaborative Framework for Interval Constraint Solving

机译：间隔约束求解的通用协作框架

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis presents a generic framework for defining and solving interval constraints on any set of domains (finite or infinite) that are lattices. This framework combines a number of characteristics desirable in any constraint system such as transparency, on both constraints and computation domains (i.e., it follows a glass box approach where new constraints can be user defined and new, possibly compound, constraint domains can be constructed from existing domains using lattice combinators), cooperativity (so that different solvers, possibly on distinct domains, can communicate and hence, cooperate in solving a problem) and genericity (i.e., it can be applied on any computation domain with lattice structure).
机译：该论文摘录了博士学位论文的内容，该论文名为“区间约束求解的通用协作框架”，该论文最近得到了辩护。本文提出了一个通用的框架，用于定义和求解关于任何网格（有限或无限）域的区间约束。该框架在约束和计算域上都结合了任何约束系统所需的许多特性，例如透明度，即透明性（即遵循玻璃箱方法，用户可以定义新约束，并可以从中构造新的，可能是复合的约束域）。使用晶格组合器的现有域），协作性（以便可能在不同域上的不同求解器进行通信，从而在解决问题上进行协作）和通用性（即，它可以应用于具有晶格结构的任何计算域）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号