首页> 外文期刊>IEEE transactions on visualization and computer graphics >What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search
【24h】

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search

机译:约束编程用户想看什么?探索可视化在模型和搜索概要分析中的作用

获取原文
获取原文并翻译 | 示例

摘要

Constraint programming allows difficult combinatorial problems to be modelled declaratively and solved automatically. Advances in solver technologies over recent years have allowed the successful use of constraint programming in many application areas. However, when a particular solver's search for a solution takes too long, the complexity of the constraint program execution hinders the programmer's ability to profile that search and understand how it relates to their model. Therefore, effective tools to support such profiling and allow users of constraint programming technologies to refine their model or experiment with different search parameters are essential. This paper details the first user-centred design process for visual profiling tools in this domain. We report on: our insights and opportunities identified through an on-line questionnaire and a creativity workshop with domain experts carried out to elicit requirements for analytical and visual profiling techniques; our designs and functional prototypes realising such techniques; and case studies demonstrating how these techniques shed light on the behaviour of the solvers in practice.
机译:约束编程允许对困难的组合问题进行声明式建模并自动解决。近年来,求解器技术的进步已使约束编程在许多应用领域中得以成功使用。但是,当特定求解器对解决方案的搜索花费的时间太长时,约束程序执行的复杂性将阻碍程序员分析该搜索并理解其与他们的模型之间的关系的能力。因此,必须有有效的工具来支持这种分析,并允许约束编程技术的用户改进其模型或使用不同的搜索参数进行实验。本文详细介绍了该领域中以视觉分析工具为中心的第一个以用户为中心的设计过程。我们报告:通过在线问卷调查和与领域专家进行的创意研讨会确定的见解和机会,以提出对分析和视觉配置技术的要求;我们实现这些技术的设计和功能原型;案例研究表明了这些技术如何在实践中阐明求解器的行为。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号