锌 swMATH ID: 8334 软件作者: 万豪酒店,Kim;尼赫科特,尼古拉斯;雷扎·拉斐;Peter J.Stuckey。;玛丽亚·加西亚·德拉·班达;华莱士,马克 描述: 锌建模语言的设计。锌是作为G12项目的一部分开发的一种新的建模语言。它有四个重要特征。首先,Zin允许使用类似于自然数学的符号来规范模型。为此,它支持重载函数和谓词以及自动强制,并提供算术、有限域和设置约束。第二,虽然Zin是一种相对简单且较小的语言,但它可以通过强大的语言构造(如用户定义的谓词和函数以及约束类型)轻松扩展到不同的应用领域。第三,Zin提供了复杂的类型和实例化检查,允许早期检测模型中的错误。最后,锌的主要新颖之处可能是它被设计为支持一种建模方法,在该方法中,相同的概念模型可以自动映射到不同的设计模型,从而允许建模者轻松地“即插即用”不同的解决技术,从而为该问题选择最合适的方法。我们详细描述了锌的各种语言特性以及我们在其设计中面临的许多权衡。 主页: http://rd.springer.com/article/10.1007%2Fs10601-008-9041-4 关键词: 语言设计;建模;CSP公司;优化;约束编程 相关软件: 本质;迷你锌;Gecode公司;AMPL公司;彗星;ESRA公司;SCIP公司;OPL公司;CPLEX公司;NP-SPEC公司;GAMS游戏;SIC斯图斯;迷你们;CSPLib数据库;伊波特;OSiL公司;莫塞克;GLPK公司;古罗比;MIPLIB公司 引用于: 28文件 全部的 前5名被86位作者引用 6 彼得·詹姆斯·斯塔基 三 塔克,吉多 三 马克·华莱士。 2 亨德里克·布洛克 2 巴特·博加特 2 莫里斯·布鲁诺 2 德卡特,布罗斯 2 斯特夫·德·普特 2 吕克·德·雷德 2 马克·德内克 2 艾伦·M·弗里希。 2 玛丽亚·加西亚·德拉班达 2 斯特凡诺·瓜兰迪 2 安东尼·拉巴尔 2 费德里科·马卢塞利 2 万豪酒店,Kim 2 伊恩·米格尔 2 简·拉蒙 2 四川省韦尔市 1 阿坤、奥祖尔 1 阿洛奇,大卫 1 伊莎贝·安德烈 1 文森特·阿拉万蒂诺斯 1 马塞洛·巴尔杜奇尼 1 苏菲·芭比 1 J.克里斯托弗·贝克 1 尼古拉斯·贝尔迪卡努 1 瓦夏克·贝勒 1 杰雷米·别森 1 里卡多·卡费拉 1 卡尔森,Mats 1 安德烈·奥古斯托·西雷 1 法比安·达格纳特 1 达斯,安库什 1 杰西卡·凯瑟琳·戴维斯 1 西蒙·德·吉夫里 1 奥斯卡·道森 1 安东·德里斯 1 弗朗索瓦·法格斯 1 蒂鲍特·费迪 1 皮埃尔·弗莱纳 1 凯瑟琳·格伦·弗朗西斯 1 尤金·弗洛伊德。 1 乔阿金·迪亚斯·加西亚 1 霍兰德·加斯曼。 1 伊恩·菲利普·根特 1 枪,蒂亚斯 1 沃里克·哈维 1 斯特凡·海因茨 1 詹·菲利普·霍夫曼 1 约翰·胡克(John N.jun Hooker)。 1 约阿希姆·扬森 1 克里斯·杰斐逊 1 克里斯托弗·杰斐逊 1 乔治·卡特西雷洛斯 1 贝诺·莱加特 1 尤利亚·利勒 1 卢宾,迈尔斯 1 马骏 1 迈克尔·马赫(Michael J.Maher)。 1 马丁·朱利安 1 理查德·基普·马丁 1 伯纳黛特·马丁内斯·埃尔南德斯 1 米歇拉·米兰 1 大卫·G·M·米切尔(David G.M.Mitchell)。 1 尼古拉斯·奈瑟科特 1 Peter W.南丁格尔。 1 齐格弗里德·尼杰森 1 巴里·奥沙利文 1 贾斯汀·皮尔逊 1 尼古拉斯·佩尔蒂埃 1 史蒂文·普雷斯特维奇。 1 雷扎·拉斐 1 霍斯特·萨穆洛维茨 1 托马斯·希克斯 1 汤姆·施里杰弗斯 1 延斯·舒尔茨 1 安德烈亚斯·舒特 1 约翰·斯莱尼。 1 佐尔坦·索莫吉 1 尤金妮亚·特诺夫斯卡 1 塞杜·特拉奥雷 1 沃尔什,托比 1 翁淑春 1 皮特·威勒 1 Yunes,Tallys H。 全部的 前5名9篇连载文章中引用 9 约束条件 三 人工智能 2 运筹学年鉴 2 信息计算杂志 2 逻辑程序设计理论与实践 1 国际近似推理杂志 1 人工智能研究杂志 1 4OR(或) 1 数学规划计算 全部的 前5名在7个字段中引用 19 计算机科学(68至XX) 13 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 变分法与最优控制;最优化(49至XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文