缪尔纳，尼尔斯;奥利弗·泰尔;马丁·范策尔 结合分解和约简对自稳定系统进行状态空间分析。 （英语） Zbl 1311.68029号 J.计算。系统。科学。 79，第7期，1113-1125（2013）. 摘要：通过对系统组件乘积对应的马尔可夫链进行状态空间分析，可以精确计算分布式系统的容错措施。这种方法的威力内在地受到状态空间爆炸的限制，即马尔可夫链在底层系统大小上的指数增长。我们提出了一种分解方法来缓解这一限制。集总是一种著名的约简技术，便于在集总等价下计算马尔可夫链商的相关度量。为了避免计算难以处理的大马尔可夫链上的集总等效值，我们提出了一种支持子系统的较小马尔可夫链条上的局部集总的系统分解。通过对子系统的集总马尔可夫链进行重新组合，可以构建整个系统的集中转移模型，从而避免构建完整的产品链。一个示例演示了如何计算利用集总和分解的自稳定系统的极限窗口可用性（即特定容错措施）。 MSC公司： 64岁以下 分布式系统 60J20型 马尔可夫链和离散时间马尔可夫过程在一般状态空间（社会流动、学习理论、工业过程等）上的应用 68米15 网络和计算机系统的可靠性、测试和容错 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：容错;自稳定;概率模型检验;概率双相似性;马尔可夫链;限制窗口可用性 PDF格式BibTeX公司 XML格式引用 \textit{N.Müllner}等人，《计算杂志》。系统。科学。79，编号7，1113--1125（2013；Zbl 1311.68029） 全文： 内政部 参考文献： [1] 阿维奇耶尼斯，A。；J.-C.拉普利。；Randell，B。；Landwehr，C.，可靠和安全计算的基本概念和分类，IEEE Trans。可靠安全计算。，1, 11-33 (2004) [4] Katoen，J.-P。；Klink，D。；Leucker，M。；Wolf，V.，概率系统的三值抽象，J.Log。阿尔盖布。程序。，81, 356-384 (2012) ·Zbl 1277.68219号 [5] Lamport，L.，Specifying Systems，The TLA+Language and Tools for Hardware and Software Engineers（2002），Addison-Wesley出版社 [7] Kemeny，J.G。；Snell，J.L.，有限马尔可夫链，本科生。数学课文。（1969），Van Nostrand：Van Nostrand纽约·Zbl 0112.09802号 [8] Hillston，J.，《绩效建模的组合方法》（1996），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市 [10] 卡普拉。；Dutheillet，C。；弗朗西斯科尼斯，G。；Ilié，J.，《关于集总马尔可夫链的部分对称性的使用》，SIGMETRICS Perform.Eval。修订版，28，33-35（2001） [14] 德里萨维，S。；Hermanns，H。；Sanders，W.H.，马尔可夫链中的最优状态空间集总，Inform。过程。莱特。，87, 309-315 (2003) ·Zbl 1189.68039号 [16] 库尔卡尼，S。；Arora，A.，《多容性重复拜占庭协议的成分设计》（Compute.Sci.课堂讲稿，第1346卷（1997）），169-181 [17] Arora，A。；Kulkarni，S.，《通过非任务容错设计屏蔽容错》，IEEE Trans。柔软。工程师，24335-450（1998） [18] Kulkarni，S.S。；Arora，A.，自动添加容错，（第六届实时和容错系统形式化技术国际研讨会论文集，FTRTFT’00（2000），Springer-Verlag:Springer-Verlag London，UK），82-93·Zbl 0986.68584号 [19] Tixeuil，S.，《算法和计算理论手册》，（自稳定算法。自稳定算法，Chapman&Hall/CRC应用算法数据结构服务（2009），CRC出版社，Taylor&Francis Group），26.1-26.45 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。