温馨提示:需求数量不同,价格不同。请联系我们,确认当前新的报价!
AMPL是一个复杂的建模工具,支持整个建模周期:开发、测试、部署和维护。通过使用与人们思考优化模型相同的方式来表示优化模型的表示,AMPL促进了快速开发和可高的结果。
AMPL集成了用于描述优化数据、变量、目标和约束的建模语言;用于浏览模型和分析结果的命令语言;以及用于收集和操作及实现迭代方案的脚本语言。这些都使用相同的概念和语法来简化用于程序构建。
建模语言功能
对集合和集合运算符的广泛支持。AMPL模型可以使用对、三元组和更长元组的几何;在集合上索引的几何;无序,有序和循环的对象集;和数组。
算术、逻辑和条件表达式的通用和自然语法;求和和其他迭代运算符的熟悉约定。
自动处理连续和整数变量中的线性和凸二次问题。
非线性编程特性,例如初始原始值和对偶值、用户定义函数、快速自动微分以及“定义”变量的自动消除。
网络流、分段线性、互补条件和逻辑含义的方便替代表示法。
有价值的建模支持功能:
具有批处理选项的交互式命令环境。显示命令可让您查看全部模型组件或表达式,在屏幕上留言或介入文件,使用自动格式化或您自〒己的偏好。
脚本语言,包括循环和if-then-else命令。AMPL命令云语言中的程序可以定义复杂的迭代方案,以处理输入数据、反复调整和解决多个模型的实例,并为分析准备结果。
模型和数据的分离。即使集合和数据表不断增长,AMPL模型仍然保持简洁。模型可以包含多种数据有效性的条件。
数据输入和输出的连接。简洁的语句将模型数据和结果与关系数据表的内容联系起来。
广泛的可用性
可用的求解器包括流行和强大的优化引擎:
连续和混合整数问题的线性和凸二次求解器(CPLEX、Gurobi、Xpress)。
连续问题(CONOPT、Ipopt、KNITRO、MINOS、SNOPT)和混合整数问题(Bonmin、Couenne、KNITRO)的局部ξ解的非线性求解器。
支持的平台包括 Windows、Linux、MacOS 和几个基于 Unix 的工作站。
【英文介绍】
The AMPL system is a sophisticated modeling tool that supports the entire optimization modeling lifecycle: development, testing, deployment, and maintenance.
By using a high-level representation that represents optimization models in the same ways that people think about them, AMPL promotes rapid development and reliable results.
AMPL integrates a modeling language for describing optimization data, variables, objectives, and constraints; a command language for browsing models and analyzing results; and a scripting language for gathering and manipulating data and for implementing iterative optimization schemes. All use the same concepts and syntax for streamlined application-building.