×

兹马思-数学第一资源

基于约束的局部搜索的模型驱动可视化。(英语) Zbl 1179.68141
摘要:可视化对于理解优化算法的行为、识别其瓶颈或病态行为以及建议补救技术通常是非常宝贵的。然而,开发可视化通常是一项乏味的活动,需要大量的时间和专业知识。提出了一种基于约束的局部搜索(CBLS)算法可视化框架。给定一个高级模型和一个声明性可视化规范,CBLS可视化工具系统地生成动画来可视化约束和目标、违反和冲突,以及这些度量的时间行为。可视化规范是声明性的,通常由三元组(what、where、how)组成,指示要显示什么、在哪里以及使用哪个图形对象。可视化工具的体系结构是组合的和可扩展的。它提供了可由用户自由组装的构建块,几乎只关注静态方面,而动态方面则通过使用不变量实现自动化。本文重点介绍了可视化工具的各种功能,并描述了其实现的蓝图。

理学硕士:
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
90度59度 数学规划中的逼近方法和启发式方法
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 博宁,A.(1981年)。ThingLab的编程语言方面,一个面向约束的仿真实验室。编程语言和系统的ACM事务处理,3(4),353–387。
[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.,Aggoun,A.,Graf,T.和Berthier,F.(1988年)。约束逻辑编程语言芯片。第五代计算机系统国际会议论文集。
[6] Goualard,F.和Benhamou,F.(2000年)。通过存储检查调试约束程序。在P.Deransart、M.V.Hermenegildo和J.Maluszynski(编辑)中,约束编程的分析和可视化工具。纽约:斯普林格。
[7] 赫尔姆,R.和万豪,K.(1986年)。声明性图形。在ICLP'86(第513-527页)。
[8] Hosobe,H.(2000年)。一种用于用户界面构造的可伸缩线性约束求解器。公元2000年(第218-232页)·Zbl 1044.68768号
[9] Meier,M.(1995年)。调试约束程序。1995年(第204-221页)。
[10] 舒尔特,C.(1997年)。Oz浏览器:一个可视化的约束编程工具。在ICLP'97(第286-300页)。7月,比利时鲁汶。
[11] Simonis,H.和Aggoun,A.(2000年)。搜索树可视化。在P.Deransart、M.V.Hermenegildo和J.Maluszynski(编辑)中,约束编程的分析和可视化工具。纽约:斯普林格。
[12] Simonis,H.,Aggoun,A.,Beldiceanu,N.,和Bourreau,E.(2000年)。复杂约束抽象:全局约束可视化。在P.Deransart、M.V.Hermenegildo和J.Maluszynski(编辑)中,约束编程的分析和可视化工具。纽约:斯普林格。
[13] 萨瑟兰,即(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年)。从高层模型合成基于约束的局部搜索算法。在2007年。七月。
[17] Van Hentenryck,P.,Michel,L.,Paulin,P.和Puget,J.F.(2004年)。OPL studio建模系统。J.Kallrath(编辑),《数学优化中的建模语言》(第43-76页)。多德雷赫特:克鲁瓦。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。