散文

散文是数学4GL虚拟机,它建立了被称为合成微积分(又名元计算)的整体建模范式。作为TRW系统开发的俚语/线索模拟和优化语言的继承者,它于1974年在控制数据超级计算机上引入。它是第一个使用自动微分(AD)的商业语言,它被优化为在CDC6600 CPU的指令堆栈中循环。尽管散文是一种丰富的块结构过程语言,它的重点是混合同时变量数学系统,如:隐式非线性方程组、常微分方程组和多维优化。每种类型的系统模型都是不同的,并且有操作员模板来自动化和解决它们,并添加到过程语法中。这些自动化系统问题被认为是“整体的”,因为它们的未知量是同时存在的,它们不能通过公式化来分段求解,也不能通过代数运算(如代换)来简化,而必须作为整体来解决。整体性还与算法确定性或数学“闭包”有关,这使得解的收敛性在原则上是可能的和确定的,如果不被数值不稳定性破坏的话(维基百科)