×
维科尔·苏涅;胡安·安东尼奥·卡拉斯科

隐式常微分方程求解器，具有良好的局部误差控制，用于马尔可夫模型的瞬态分析。 （英语） Zbl 1411.65092号

申请。数学。计算。 293, 96-111 (2017).
小结：当连续时间马尔可夫链（CTMC）的最大输出速率与最大关注时间的乘积较大时，使用隐式常微分方程（ODE）求解器获得CTMC的瞬态概率分布向量在运行时计算成本方面往往是有利的，我们表明，当应用于CTMC的瞬态分析时，许多隐式ODE解算器可以通过严格控制误差1-范数的迭代方法求解其步骤中涉及的线性系统。这允许开发这些ODE解算器的实现，用于CTMC的瞬态分析，与更标准的实现相比，这些ODE求解器可以更高效、更准确。

MSC公司：

65英镑 常微分方程初值问题的数值方法
60J27型 离散状态空间上的连续时间马尔可夫过程
65立方厘米 马尔可夫链的数值分析或方法

关键词：

隐式ODE解算器;连续时间马尔可夫链;瞬态分析

软件：

伊鲁特;CGS公司;TR-BDF2型;Expokit公司;日晷;罗德斯;枫树
PDF格式BibTeX公司 XML格式引用
\textit{V.Suñé}和\textit{J.A.Carrasco}，应用。数学。计算。293、96-111（2017；Zbl 1411.65092）
全文： 内政部 链接

参考文献：

[1] Grassmann，W.K.，马尔科夫排队系统的瞬态解，计算。操作。第4、1、47-53号决议（1977年）
[2] 总直径。；Miller，D.R.，《作为瞬态马尔可夫过程建模工具和求解程序的随机化技术》，Oper。研究，32，2，343-361（1984）·兹伯利0536.60078
[3] van Moorsel，A.P.A。；Sanders，W.H.，《自适应均匀化》，斯托克出版社。模型，10，3，619-647（1994）·Zbl 0804.60061号
[4] Van Moorsel，A.P.A。；Sanders，W.H.，结合自适应和标准均匀化的马尔可夫模型瞬态解，IEEE Trans。宗教。，46, 3, 430-440 (1997)
[5] Sidje，R.B。；Burrage，K。；MacNamara，S.，计算马尔可夫链瞬态分布的非精确均匀化方法，SIAM J.Sci。计算。，2562-2580年6月29日（2007年）·Zbl 1154.65300号
[6] Sidje，R.B.，Expokit:计算矩阵指数的软件包，ACM Trans。数学。软质。，24, 1, 130-156 (1998) ·Zbl 0917.65063号
[7] Gershgorin，S.A.，Uber die abgrenzung der eignwerte einer matrix，布尔。俄罗斯科学院。科学。数学。序列号。，6, 749-754 (1931)
[8] Reibman，A。；Trivedi，K.，马尔可夫模型的数值瞬态分析，计算。操作。第15、1、19-36号决议（1988年）·Zbl 0642.60097号
[9] Dahlquist，G.G.，线性多步方法的一个特殊稳定性问题，BIT-Numer。数学。，3, 1, 27-43 (1963) ·Zbl 0123.11703号
[10] Malhotra，M。；Muppala，J.K。；Trivedi，K.S.，刚性马尔可夫链瞬态分析的刚性容限方法，微电子。信实。，34, 11, 1825-1841 (1994)
[11] Dunkel，J。；Stahl，H.，关于刚性马尔可夫链的瞬态分析，关键应用的可靠计算3，137-160（1993），Springer
[12] 林德曼，C。；Malhotra，M。；Trivedi，K.S.，马尔可夫闭合容错系统可靠性评估的数值方法，IEEE Trans。宗教。，44, 4, 694-704 (1995)
[13] Malhotra，M.，《可修复马尔可夫系统瞬态分析的高效计算技术》，《性能评估》。，24, 311-331 (1995) ·Zbl 0876.60073号
[14] Tombuyses，B。；Devogth，J.，《求解马尔科夫O.D.E.系统的可用性和可靠性计算》，Reliab。工程系统。安全。，48，47-55（1995年）
[15] Malhotra，M.，马尔可夫可用性模型瞬态分析的有效刚度敏感方法，IEEE Trans。信实。，45, 3, 426-428 (1996)
[16] Sidje，R.B。；Stewart，W.J.，马尔可夫链中出现的大型稀疏矩阵指数的数值研究，计算。统计数据分析。，29, 3, 345-368 (1999) ·Zbl 1042.65508号
[17] R.E.银行。；库伦，W.M。；Fichtner，W。；Grosse，E.H。；Rose，D.J。；Smith，R.K.，《硅器件和电路的瞬态模拟》，IEEE Trans。计算。辅助设计。集成。循环。系统。，4, 4, 436-451 (1985)
[18] Ehle，B.L.，关于指数函数的Padé逼近和初值问题数值解的A-稳定方法，技术代表CSRR 2010（1969），滑铁卢AACS大学系
[19] Fehlberg，E.，Klassische Runge-Kutta-formeln vierter und niedrigerer ordnung mit schrittweiten-kontroller und ihre anwendung auf wrmelitungs问题，计算，6，1-2，61-71（1970）·Zbl 0217.53001号
[20] Curtois，P.J.，《可分解性：排队和计算机系统应用》（1977），学术出版社·Zbl 0368.68004号
[21] Maire，R.A。；Reibman，A.L。；Trivedi，K.S.，非循环马尔可夫链的瞬态分析，性能评估。，7, 3, 175-194 (1987) ·Zbl 0643.60072号
[22] 海尔，E。；Wanner，G.，《求解常微分方程II：刚性和微分代数问题》，第二修订版（1996年），Springer·Zbl 0859.65067号
[23] Axelsson，O.，一类A-稳定方法，位数值。数学。，9, 3, 185-199 (1969) ·Zbl 0208.41504号
[24] Butcher，J.C.，隐式龙格-库塔过程，数学。计算。，18, 85, 50-64 (1964) ·Zbl 0123.11701号
[25] Byrne，G.D.，《在僵硬ODE环境中使用Krylov方法的语用实验》，（Cash，J.R.；Gladwell，I.（1992），牛津大学出版社），323-356·Zbl 0769.65038号
[26] Varga，R.S.，矩阵迭代分析，计算数学中的Springer级数，27（2009），Springer·Zbl 1216.65042号
[27] 萨阿德，Y。；Schultz，M.H.，《GMRES：求解非对称线性系统的广义最小残差算法》，SIAM J.Sci。统计计算。，7, 3, 856-869 (1986) ·Zbl 0599.65018号
[28] Sonneveld，P.，CGS，非对称线性系统的快速Lanczos型解算器，SIAM J.Sci。统计计算。，10，1，36-52（1989年）·Zbl 0666.65029号
[29] 巴雷特·R。；贝里，M。；Chan，T.F。；德梅尔，J。；J.多纳托。；Dongarra，J.，《线性系统解的模板：迭代方法的构建块》，第2版（1994），SIAM:SIAM Philadelphia，PA
[30] van der，V.H.A.，Bi-CGSTAB:非对称线性系统解的Bi-CG的一种快速平滑收敛变体，SIAM J.Sci。统计计算。，13, 2, 631-644 (1992) ·Zbl 0761.65023号
[31] Ahlberg，J.H。；Nilson，E.N.，花键拟合的收敛特性，J.Soc.Ind.Appl。数学。，11, 1, 95-104 (1963) ·Zbl 0196.48701号
[32] Varah，J.M.，矩阵最小奇异值的下界，线性代数应用。，11, 3-5 (1975) ·Zbl 0312.65028号
[33] Varga，R.S.，关于对角占优的循环定理，线性代数应用。，13, 1, 1-9 (1976) ·Zbl 0336.15007号
[34] Bagnara，R.，Jacobi和Gauss-Seidel方法收敛性的统一证明，SIAM Rev.，37，1，93-97（1995）·Zbl 0824.65013号
[35] 何西阿，M.E。；Shampine，L.F.，TR-BDF2的分析与实施，应用。数字。数学。，20, 1, 21-37 (1996) ·兹比尔0859.65076
[36] 拜恩，G.D。；Hindmarsh，A.C.，常微分方程数值解的一种多元算法，ACM Trans。数学。软质。，1, 1, 71-96 (1975) ·Zbl 0311.65049号
[37] Gear，C.W.，《常微分方程中的数值初值问题》（1971），普伦蒂斯·霍尔·Zbl 1145.65316号
[38] 杰克逊，K.R。；Sacks-Davis，R.，刚性常微分方程的可变步长多步公式的替代实现，ACM Trans。数学。软质。，6, 3, 295-318 (1980) ·Zbl 0434.65046号
[39] Saad，Y.，ILUT：双阈值不完全LU因子分解，Numer。线性代数应用。，1, 4, 387-402 (1994) ·Zbl 0838.65026号
[40] 辛德马什，A.C。；Brown，P.N。；格兰特，K.E。；Lee，S.L。；塞尔维亚人，R。；Shumaker，D.E.，SUNDIALS：非线性和微分/代数方程求解器套件，ACM Trans。数学。软质。，31, 3, 363-396 (2004) ·Zbl 1136.65329号
[41] Stallman，R.M.，《GCC开发人员社区，使用GNU编译器集合》。对于GCC版本4.4.7（2012），自由软件基金会
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。