×

用于约束编程的微内核体系结构。 (英语) Zbl 1390.90520号

摘要:本文介绍了一个微内核围绕少量核心功能和最小接口组织的约束编程体系结构。该体系结构与许多实现的整体性形成对比。通过这种设计,变量、域和约束都保持在微内核的外部,微内核将传播逻辑和事件协议与建模构造隔离开来。这个目标-CPsearch以一种完全透明和完全组合的方式将宿主语言的控制原语与搜索组合词混合在一起,提供了一个自然的搜索过程,在该过程中可以使用本地构造和调试器等工具。实证结果表明,软件工程效益与运行效率并不矛盾。

MSC公司:

90立方 非线性规划
90-04 与运筹学和数学编程有关的问题的软件、源代码等
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿贡,A;Beldiceanu,N,CHIP编译器概述,(1991),(ICLP-91)。巴黎:
[2] Barendregt,H.P.(1984)。lambda演算——其语法和语义,逻辑和数学基础研究第103卷北荷兰。
[3] Benhamou,F.、Goualard,F.,Granvilliers,L.和Puget,J.-F.(1999)。修改外壳和盒子的一致性。ICLP公司(第230-244页)。
[4] Boussemart,F.、Hemery,F.和Lecoutre,C.(2004)。约束满足问题的修正排序启发式算法。第一次国际研讨会:约束传播和实施. ·Zbl 1152.68543号
[5] Colmerauer,A,序言III简介,ACM通信,28,412-418,(1990)
[6] Dincbas,M.、Van Hentenryck,P.、Simonis,H.、Aggoun,A.、Graf,T.和Berthier,F.(1988年)。约束逻辑编程语言CHIP。第五代计算机系统国际会议记录.东京。
[7] Dincbas,M.、Van Hentenryck,P.、Simonis,H.、Aggoun,A.、Graf,T.和Berthier,F.(1988年)。约束逻辑编程语言CHIP。第五代计算机系统国际会议记录.东京。
[8] 末日,G;Hentenryck,P;Michel,L,基于约束的局部搜索的模型驱动可视化,约束,14,294-324,(2009)·Zbl 1179.68141号 ·doi:10.1007/s10601-008-9063-y
[9] Fontaine,D.、Michel,L.和Van Hentenryck,P.(2013)。混合优化的模型组合器。在Schulte,C.(编辑)中,第19届约束规划原理与实践国际会议论文集(第8124卷,第299-314页)。施普林格-柏林-海德堡。
[10] Fontaine,D.和Michel,L.(2012年)。用于独立于求解器的模型操作和混合求解器操作的高级语言。在Beldiceanu,N.、Jussien,N.和Pinson,E.(编辑)中,CPAIOR,计算机科学课堂讲稿第7298卷(第180-194页)。斯普林格。
[11] Gamma,E.、Helm,R.、Johnson,R.和John,V.(1994年)。设计模式:可重用面向对象软件的元素,第1版。Addison Wesley专业版。
[12] Gent,I.a.n.P.、Jefferson,C.和Miguel,I.(2006)。仆从:一个快速可伸缩的约束求解器。2006年ECAI会议记录,Riva del Garda(第98-102页)。IOS出版社。
[13] Gent,I.P.、Jefferson,C.和Miguel,I.(2006)。中约束传播的监视文本仆从在Benhamou,F.(编辑),约束编程的原理与实践——CP 2006,计算机科学课堂讲稿第4204卷(第182-197页)。施普林格-柏林-海德堡·Zbl 1420.68195号
[14] Helsgaun,K,Cback:用C进行回溯编程的简单工具,软件实践实验,25905-934,(1995)·doi:10.1002/spe.4380250805
[15] Hentenryck,P.V.和Michel,L.(2013)。目标CP优化系统。在Schulte,C.(编辑)中,约束编程的原理与实践——第19届国际会议,CP 2013,乌普萨拉,瑞典,9月16-20日,计算机科学讲稿第8124卷(第8-29页)。斯普林格。
[16] 胡克,J.N.(2000)。基于逻辑的优化方法:结合优化和约束满足威利·Zbl 0974.90001号
[17] IBM。Ilog CONCERT技术。http://eaton.math.rpi.edu/cplex90html/refconcert/index.html。
[18] Ilog Solver 4.4(1998)。参考手册。Ilog SA,法国Gentilly。
[19] 贾法尔,J;Michaylov,S;Stuckey,PJ;Yap,R,CLP(R)语言和系统,ACM编程语言和系统事务,14,339-395,(1992)·数字对象标识代码:10.1145/129393.129398
[20] Jussien,N.、Rochart,G.和Lorca,X.(2008)。Choco约束编程解算器。CPAIOR’08整数和约束编程开源软件研讨会(OSSICP’08)。骨化蛋白.
[21] Kuchcinski,K.和Szymanek,R.(2012年)。Jacop图书馆用户指南技术报告。
[22] Laburthe,F.和Caseau,Y.(1998年)。SALSA:一种用于搜索算法的语言。第四届约束规划原则与实践国际会议(CP'98).意大利·兹比尔1020.68028
[23] Lagerkvist,M.Z.和Schulte,C.(2009年)。传播者群体。在Gent,I.P.(编辑)中,CP,计算机科学课堂讲稿第5732卷(第524-538页)。斯普林格。
[24] Michel,L.、See,A.和Van Hentenryck,P.(2006年)。C++中的高级非确定性抽象。第十二届约束规划原则与实践国际会议。(CP’06),计算机科学课堂讲稿南特。
[25] 米歇尔,L;参见,A;Van Hentenryck,P,约束编程的透明并行化,INFORMS计算杂志,21363-382,(2009)·Zbl 1243.90008号 ·doi:10.1287/ijoc.1080.0313
[26] Michel,L.和Van Hentenryck,P.(2013)。约束编程的域视图。TRICS13:实现约束编程系统的技术.
[27] 米歇尔,L;参见,A;Hentenryck,PV,COMET中的并行和分布式本地搜索,计算机与运筹学,362357-2375,(2009)·Zbl 1179.90288号 ·doi:10.1016/j.cor.2008.08.014
[28] Michel,L.和Hentenryck,P.V.(2012年)。基于活动的黑盒约束编程求解器搜索。在Beldiceanu,N.、Jussien,N.和Pinson,R.(编辑),组合优化问题约束编程中AI和OR技术的集成,计算机科学课堂讲稿第7298卷(第228-243页)。施普林格-柏林-海德堡·Zbl 1241.68008号
[29] 莫斯科,MW;马迪根,CF;赵,Y;张,L;Chaff,SM,工程一个高效的sat求解器,530-535,(2001),纽约
[30] Nethercote,N.、Stuckey,P.J.、Becket,R.、Brand,S.、Duck,G.J.和Tack,G.(2007)。Minizin:走向标准cp建模语言。第十三届约束规划原则与实践国际会议论文集(第529-543页)。斯普林格。
[31] Prud’homme,C.、Fages,J.-G.和Lorca,X.(2014)。Choco3文件。TASC,INRIA Rennes,LINA CNRS UMR 6241,COSLING S.A.S.公司。
[32] Prud’homme,C.、Lorca,X.、Douence,R.和Jussien,N.(2013年)。使用dsl的传播引擎原型。COSpeL:关于组合优化领域特定语言的第一次研讨会.
[33] Refalo,P.(2000)。约束规划模型和混合求解器的线性公式。第六届约束规划原则与实践国际会议(CP'00)(第369-383页)。新加坡·Zbl 1044.68792号
[34] Refalo,P.(2004)。基于影响的约束编程搜索策略。在Wallace,M.(编辑),CP,计算机科学课堂讲稿第3258卷(第557-571页)。斯普林格·Zbl 1152.68577号
[35] 施里杰弗斯,T;塔克,G;Wuille,P;萨穆洛维茨,H;Stuckey,PJ,搜索组合词,约束,18,269-305,(2013)·Zbl 1309.90090号 ·doi:10.1007/s10601-012-9137-8
[36] Schulte,C.、Tack,G.和Lagerkvist,M.(2009年)。Gecode通用约束开发环境。
[37] 舒尔特,C;Stuckey,PJ,Efficient constraint propagation engines,ACM Transactions on Programming Languages and Systems,31,2:1-2:43,(2008年)·doi:10.1145/1452044.1452046
[38] Schulte,C.和Tack,G.(2010年)。实施有效的传播控制。TRICS 2010,实施约束编程系统技术第三次研讨会.
[39] 舒尔特,C;Tack,G,基于视图的传播子推导,约束,18,75-107,(2013)·Zbl 1328.68202号 ·doi:10.1007/s10601-012-9133-z
[40] Smolka,G.(1995)。Oz编程模型。在Leeuwen,J.V.(编辑)中,今日计算机科学(第1000期,第324-343页).LNCS,Springer Verlag公司。
[41] Van Hentenryck,P.(1989年)。逻辑编程中的约束满足。剑桥:《逻辑编程系列》,麻省理工学院出版社。
[42] Van Hentenryck,P.(1989)。逻辑编程中的并行约束满足:PEPSys中CHIP的初步结果。第六届逻辑程序设计国际会议里斯本。
[43] Van Hentenryck,P.(1991)。CLP语言CHIP:约束求解和应用。COMPCON-91公司旧金山。
[44] Van Hentenryck,P.(1999)。OPL优化编程语言马萨诸塞州剑桥:麻省理工学院出版社。
[45] Van Hentenryck,P.(2005)。基于约束的局部搜索马萨诸塞州剑桥:麻省理工学院出版社·Zbl 1102.68460号
[46] Van Hentenryck,P.和Michel,L.(2005)。混合搜索的非确定性控制。第二届组合优化问题约束规划中人工智能与或技术集成国际会议论文集(CP-AI-OR’04)布拉格·Zbl 1133.68438号
[47] Van Hentenryck,P.和Michel,L.(2009年)。基于约束的局部搜索马萨诸塞州剑桥:麻省理工学院出版社·Zbl 1179.68141号
[48] Van Hentenryck,P.、Michel,L.和Deville,Y.(1997年)。Numerica:一种用于全局优化的建模语言马萨诸塞州剑桥:麻省理工学院出版社。
[49] Van Hentenryck,P.、Saraswat,V.和Deville,Y.(1995)。约束语言cc(FD)的设计、实现和评估。约束编程:基础和趋势施普林格出版社·Zbl 0920.68026号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。