×
末日，格雷戈伊尔;帕斯卡·范·亨特利克;劳伦特·米歇尔

基于约束的局部搜索的模型驱动可视化。 （英文） Zbl 1179.68141号

约束条件 第3期，第14期，294-324页（2009年）.
总结：可视化对于理解优化算法的行为、识别其瓶颈或病理行为以及建议补救技术来说，通常是非常宝贵的。然而，开发可视化往往是一项乏味的活动，需要大量的时间和专业知识。本文提出了一个基于约束的局部搜索（CBLS）算法可视化框架。给定一个高级模型和声明性可视化规范，CBLS可视化工具系统地生成动画，以可视化约束和目标、违规和冲突，以及这些度量的时间行为。可视化规范是声明性的，通常由一个三元组（what、where、how）组成，指示要显示的内容、位置和使用的图形对象。可视化工具体系结构是组合的和可扩展的。它提供了用户可以自由组装的构建块，并且几乎只关注静态方面，动态方面通过使用不变量实现自动化。本文重点介绍了可视化工具的各种功能，并描述了其实现蓝图。

引用于7文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
90 C59 数学规划中的近似方法和启发式

关键词：

模型驱动的可视化;基于约束的局部搜索;优化算法

软件：

Oz探险家;HiRise公司;OPL公司;VIFID/TRIFID公司;恰当的;DiSCiPl公司;彗星;炸薯条
PDF格式BibTeX公司 XML格式引用
\textit{G.Dooms}等人，《限制》14，第3期，294--324（2009；Zbl 1179.68141）
全文： 内政部

参考文献：

[1] Borning，A.（1981年）。ThingLab（一个面向约束的模拟实验室）的编程语言方面。ACM编程语言和系统事务，3（4），353–387·doi:10.1145/357146.357147
[2] Carro，M.和Hermenegildo，M.（2000）。约束可视化工具：VIFID/TRIFID工具。在P.Deransart、M.V.Hermenegildo和J.Maluszynski（编辑）《约束编程的分析和可视化工具》中。纽约：施普林格。
[3] Carro，M.和Hermenegildo，M.（2000）。搜索树可视化工具：APT工具。在P.Deransart、M.V.Hermenegildo和J.Maluszynski（编辑）《约束编程的分析和可视化工具》中。纽约：施普林格。
[4] Deransart，P.、Hermenegildo，M.和Maluszynski，J.（编辑）（2000年）。用于约束编程、约束调试的分析和可视化工具（DiSCiPl项目）。伦敦：斯普林格。
[5] Dincbas，M.、Van Hentenryck，P.、Simonis，H.、Aggun，A.、Graf，T.和Berthier，F.（1988年）。约束逻辑编程语言CHIP。第五代计算机系统国际会议论文集。
[6] Goualard，F.和Benhamou，F.（2000年）。通过存储检查调试约束程序。在P.Deransart、M.V.Hermenegildo和J.Maluszynski（编辑）《约束编程的分析和可视化工具》中。纽约：施普林格。
[7] Helm，R.和Marriott，K.（1986年）。声明性图形。ICLP’86（第513–527页）。
[8] Hosobe，H.（2000年）。用于用户界面构建的可缩放线性约束求解器。CP’2000（第218-232页）·Zbl 1044.68768号
[9] Meier，M.（1995）。调试约束程序。CP’1995（第204-221页）。
[10] Schulte，C.（1997）。Oz Explorer：一个可视化约束编程工具。在1997年的ICLP中（第286–300页）。比利时鲁汶，7月。
[11] Simonis，H.和Aggoun，A.（2000年）。无搜索可视化。在P.Deransart、M.V.Hermenegildo和J.Maluszynski（编辑）《约束编程的分析和可视化工具》中。纽约：施普林格。
[12] Simonis，H.、Aggoun，A.、Beldiceanu，N.和Borreau，E.（2000）。复杂约束抽象：全局约束可视化。在P.Deransart、M.V.Hermenegildo和J.Maluszynski（编辑）《约束编程的分析和可视化工具》中。纽约：施普林格。
[13] 萨瑟兰，I.E.（1963）。Sketchpad，一个人机图形通信系统。在计算机科学领域的优秀论文中。纽约：加兰。
[14] Van Hentenryck，P.（2007年）。约束编程作为声明性算法。F.Benhamou、N.Jussien和B.O'Sullivan（编辑），《约束编程趋势》。里昂：赫尔墨斯。
[15] Van Hentenryck，P.和Michel，L.（2005）。基于约束的本地搜索。剑桥：麻省理工学院·Zbl 1153.90582号
[16] Van Hentenryck，P.和Michel，L.（2007）。从高级模型中综合基于约束的局部搜索算法。在AAAI'07年。7月。
[17] Van Hentenryck，P.、Michel，L.、Paulin，P.和Puget，J.F.（2004年）。OPL工作室建模系统。J.Kallrath（Ed.），《数学优化中的建模语言》（第43-76页）。多德雷赫特：克鲁沃。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。