克里斯蒂安·比肖夫。；布鲁诺·朗；沃尔夫冈·马夸特；马丁·莫尼格曼 化学过程中奇点的验证测定。 （英语） 兹比尔1395.92192 Krämer，Walter（编辑）等人，《科学计算，验证数值，区间方法》，德国卡尔斯鲁厄，2000年9月19日至22日。纽约州纽约市：施普林格出版社（ISBN 978-0-306-46706-6/hbk；978-1-4757-6484-0/电子书）。305-316（2001年）。 小结：出于安全和经济原因，理解和控制化学过程的行为是重要的问题。有些过程可能有多个稳态，甚至以复杂的方式在它们之间切换，多重性的原因并不总是很好地被理解。研究这种行为的奇异性理论方法导致了非线性系统，其解对应于过程的特定奇异状态。为了排除某些类型的奇点，必须使用严格的方法来检查匹配系统的可解性。由于这些系统是高度结构化的，我们的求解方法将符号预处理阶段（用于使用结构的术语操作）与基于分支和边界类型的严格间隔求解器相结合。我们报告了使用这种方法解决中小型示例问题的经验。关于整个系列，请参见[Zbl 1392.65008号]. 引用于2文件 MSC公司： 92E20型 化学中的经典流动、反应等 65千5 数值数学规划方法 90C57型 多面体组合学，分支与绑定，分支与切割 65H10型 方程组解的数值计算 关键词：化学过程；奇点理论；非线性系统；严格求解器 软件：并入PT_90 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Bischof}等人，in：科学计算，验证数值，区间方法，德国卡尔斯鲁厄，2000年9月19-22日。纽约州纽约：施普林格。305-316（2001年；Zbl 1395.92192） 全文： DOI程序 参考文献： [1] [1] G.Alefeld和J.Herzberger\（区间计算简介）。纽约学术出版社，1983年·Zbl 0552.65041号 [2] [2] V.Gehrke和W.M arquardt。反应精馏研究的奇点理论方法\（计算化学工程），21（补遗）S1001-S10061997。 [3] [3] M.Golubitsky和D.G.Schaeffer\（分岔理论中的奇点和群），（第一卷）。斯普林格·弗拉格，纽约，1985年·Zbl 0607.35004号 [4] [4] A.灰谷\（评估衍生品-算法微分原理和技术）。宾夕法尼亚州费城SIAM，2000年·Zbl 0958.65028号 [5] [5] E.R.Hansen。预处理线性化方程\（计算），58:187-1961997·Zbl 0918.65037号 ·doi:10.1007/BF02684439 [6] [6] R.B.Kearfott\（严格的全球搜索：持续问题）。Kluwer学术出版社，多德雷赫特，1996年。有关软件的当前版本，请参阅·Zbl 0876.90082号 [7] [7] R.B.Kearfott和X.Shi。非线性系统算术表达式分解高效迭代的预条件选择启发式算法\（区间计算\），4（1）：15-331993·Zbl 0829.65066号 [8] [8] R.Klatte、U.Kulisch、M.Neaga、C.Ullrich和D.Ratz\（Pascal-XSC-语言描述及示例）。施普林格·弗拉格，柏林，1992年·Zbl 0757.68023号 [9] [9] R.克劳茨克。纽顿算法大师zur Bestimmung von Nullstellen mit Fehlerschranken\（计算），4:187-2011969·Zbl 0187.10001号 ·doi:10.1007/BF02234767 [10] [10] B.语言验证人Lösung von Gleichungs-und Ungleichungssystemen。Z.（数学机械）。，75（S II）：S541-S5421995年·Zbl 0850.65130号 [11] [11] R.E.Moore和L.Qi。非线性系统的连续区间检验\（SIAM J.数值分析）。，19 (4): 845-850, 1982. ·Zbl 0497.65027号 ·doi:10.1137/0719060 [12] [12] A.纽梅尔\（方程组的区间方法）。剑桥大学出版社，剑桥，1990年·Zbl 0715.65030号 [13] [13] R.Seydel\（实际分岔和稳定性分析）。Springer-Verlag，纽约，第二版，1994年·Zbl 0806.34028号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。