乔尔·安德森;约翰·奥凯森;莫里茨·迪尔 CasADi：用于自动区分和优化控制的符号包。 （英语） Zbl 1251.65020号 Forth，Shaun（编辑）等人，算法微分的最新进展。根据2012年7月23日至27日在美国科罗拉多州柯林斯堡举行的第六届自动分化国际会议（AD2012）上的演示文稿选出的论文。柏林：施普林格出版社（ISBN 978-3-642-30022-6/hbk；978-3-442-30023-3/电子书）。计算科学与工程课堂讲稿87，297-307（2012）。 总结：我们介绍了CasADi，这是一个免费的开源软件工具，用于快速而有效地解决一般非线性优化问题，特别是动态优化问题。对于数值优化算法的开发人员和此类算法的高级用户，它提供的抽象级别明显低于代数建模语言（如AMPL或GAMS），因此更加灵活，但高于使用传统的自动微分（AD）工具。CasADi最好描述为一个极简计算机代数系统（CAS），它以八种不同的方式实现了自动微分。与代数建模语言类似，它包括高级接口，用于非线性规划、二次规划和微分代数方程积分的最新数字代码。CasADi是在自足的C++代码中实现的，它包含用于快速原型制作的Python和Octave的全功能前端。在本文中，我们提出了CasADi的AD框架，并针对AMPL对该工具进行了基准测试，以解决来自CUTEr测试套件的一组非线性规划问题。关于整个系列，请参见[Zbl 1247.65002号]. 引用于11文件 理学硕士： 65D25个 数值微分 68瓦30 符号计算和代数计算 65千5 数值数学规划方法 90立方厘米 非线性规划 关键词：自动微分;动态优化;最优控制;非线性规划;源代码转换;运算符过载;C类++;蟒蛇;倍频程;数值示例;算法;二次规划;微分代数方程 软件：LAPACK公司;西雅娜;摩洛哥迪拉姆;日晷;倍频程;CppAD公司;针织衫;AMPL公司;ADMAT公司;qpOASES公司;GAMS游戏;卡萨迪;ADOL-C公司;切割机;CPLEX公司;SWIG（开关）;伊波特;迪科尔 PDF格式BibTeX公司 XML格式引用 \textit{J.Andersson}等人，Lect。注释计算。科学。工程87297--307（2012年；兹比尔1251.65020） 全文： 内政部