克里斯托夫·弗里茨;米歇尔·哈森福德;杰拉德·L·吉辛格。 方程组评估：走向形式化方法。 （英语） Zbl 0845.68121号 申请。数学。计算。 75，第2-3、223-237号（1996年）. 小结：任何物理系统的模拟都是借助于数学模型进行的。这个模型包含一个数学方程组，有时很难求解。我们在此提出评估的解决方案。该解决方案是在建模与仿真软件PROUESSE中制定的，并集成在其仿真生成器SIGE中。所提出的解是方程组计算的数值解。该解决方案的描述包括一种特定的机制，该机制用于加速模拟过程中方程组的评估处理。这个机制提供了一个一次、自润滑多项式的形式化解。我们可以观察应用于围绕五个放大器构建的通用滤波器示例的评估过程。这个模拟给了我们一个关于处理加速的好主意。 MSC公司： 68岁20岁 模拟（MSC2010） 关键词：专业;建模与仿真软件;SIGE公司;模拟发生器;方程组;通用过滤器 PDF格式BibTeX公司 XML格式引用 \textit{C.Fritz}等人，应用。数学。计算。75，编号2--3，223--237（1996；Zbl 0845.68121） 全文： 内政部 参考文献： [1] King，I.P.，《从网络系统导出的联立方程的自动重新排序方案》，《国际工程数值方法杂志》，第2525-533页（1970年） [2] Hansen，W.J.，《渐进无环有向图：数据库完整性的工具》，《ACM的通信》，22，9，513-518（1979）·Zbl 0413.68057号 [3] Knuth，D.E。；Szwarcfiter，J.L.，生成所有拓扑排序安排的结构化程序，《信息处理快报》，2，6，153-157（1974）·Zbl 0276.68026号 [4] Browder，F.E.，《非线性函数方程的可解性》，《杜克数学杂志》，第30期，第557-566页（1963年）·Zbl 0119.32503号 [5] Rohl，J.S.，从组合过程中消除递归，软件实践和经验，11，8，803-817（1981）·Zbl 0459.68034号 [6] 哈森福德，M。；Lienhardt博士。；Gissinger，G.L。，普劳斯：专为自动应用设计的物理系统模拟和分析软件工具（IMACS’91）。国际医学会91年，都柏林（1991年） [7] Révész，G.E.，《形式语言导论》（1983），McGraw-Hill:McGraw-Hill纽约·Zbl 0523.68084号 [8] 哈森福德，M。；Lienhardt，D。；Gissinger，G.L.，SIGE：将方程组转换为源C程序的软件工具（IMACS’91）。91年卡萨布兰卡国际医学会（1991年） [9] Schreiner，A.T。；Friedman，H.G.，《UNIX编译器构造简介》（1985），普伦蒂斯·霍尔：普伦蒂斯·霍尔·恩格尔伍德·克利夫斯，新泽西州·兹比尔0634.68079 [10] 阿霍，A.V。；Sethi，R。；Ullman，J.D.，《编译器：原理、技术和工具》（1986），艾迪森·卫斯理：艾迪森·卫斯理阅读，马萨诸塞州 [11] Sedgewick，R.，《C中的算法》（1990），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0798.68002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。