×

兹马思-数学第一资源

用量词消去法进行稳定性分析。(英语) Zbl 1037.65506
稳定性是用于偏微分方程近似的时步数值格式的重要性质之一。稳定性可以使用Von Neumann稳定性分析(Fourier方法)进行分析。分析得到了Von Neumann稳定条件,并将其转化为一组普遍量化的多项式不等式。利用柱面代数分解算法,用量词消去法消除普遍量化的变量。由此得到的稳定条件是一组解析不等式,它对数值格式的参数施加了约束。所有的分析阶段都是用符号计算完成的。

理学硕士:
6506年 偏微分方程初边值问题的有限差分方法
65平方米 偏微分方程初值和初边值问题数值方法的稳定性和收敛性
68立方厘米 符号计算与代数计算
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 符号稳定性问题;数值分析。数字。方法流体力学。17,第5号,43-58(1986年)
[2] Ganzha,V.G.;Vorozhtsov,E.V.:用广义Routh-Hurwitz问题的数值解来分析差分格式的稳定性。计算机。物理。通讯43209-216(1987)·Zbl 0664.65094
[3] Ganzha,V.G.;Vorozhtsov,E.V.;Van Hulzen,J.A.:差分格式稳定性分析的新符号-数值方法。Issac'92,9-15(1992年)·Zbl 0978.65509
[4] Collins,G.E.:实闭域初等理论中的量词消去。计算机科学讲义33134-183(1975)
[5] Hong,H.:基于CAD的量词消除的改进。博士论文(1990)
[6] Collins,G.E.;Hong,H.:量词消去的部分圆柱代数分解。J、 象征性的。计算机。第12期,第3期,299-328页(1991年)·6807ZB63.54万
[7] Richtmyer,Robert D.;Morton,K.W.:初值问题的差分方法。(1967年)·Zbl 0155.47502
[8] 波斯特尼科夫,M.M.:稳定多项式。(1981年)
[9] 甘特马赫:矩阵理论的应用。(1959年)·Zbl 0085.01001
[10] Liska,R.;Drska,L.:FIDE:用于求解偏微分方程的有限差分法自动化的简化包。Issac'90169-176(1990)
[11] D、 欧思哲,冲击流体力学的改进FCT算法,计算机。物理学,正在出版中。·Zbl 0791.76058
[12] Silling,S.A.:波码中粘塑性模型差分方法的稳定性和准确性。J、 计算机。物理。104,30-40(1993年)·Zbl 0768.73092
此参考列表基于出版商或数字数学图书馆提供的信息。它的数学和标识符可能包含启发式匹配的数据项。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。