×

计算图中的凸性和凹性检测:凸性评估的树行走。 (英语) Zbl 1243.90004号

小结:我们研究了与两个数学规划建模系统相关的符号工具,这些工具可用于自动检测目标函数和约束函数中是否存在凸性和凹性,以及在某些情况下可行集的凸性。椰子解算器系统[H.Schichl公司,“COCONUT:持续约束–更新技术”,http://www.mat.univie.ac.at/users/neum/public_html/glopt/cochof/]专注于非线性全局连续优化,并拥有自己的建模语言和数据结构。AMPL博士元解决方案[R.福勒D.奥尔班【计算机管理科学7,第4期,437-463(2010;Zbl 1243.90005号)]旨在分析非线性可微优化模型,并将其挂接到AMPL解算器库中[D.M.同性恋,“将求解器连接到AMPL”,技术代表97-4-06,贝尔实验室,新泽西州默里山,http://www.ampl.com/REFS/hooking2.pdf]. 当我们的符号凸性分析返回非决定性结果时,可以用一个可以检测非凸性的数值阶段来补充。我们报告了使用这些工具对全局和局部优化的测试问题集的数值结果。

MSC公司:

90-04 与运筹学和数学编程有关的问题的软件、源代码等
90立方 非线性规划
90立方厘米 涉及图形或网络的编程
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用
全文: 内政部