什蒂·潘·克拉普卡;彼得·迈耶 安全模型的聚合/分解方法。 （英语） Zbl 1090.65515号 申请。数学。，普拉哈 47，第2期，127-137（2002）. 概述：本文讨论了安全相关系统（面向安全的设备）数学建模的可能性。现行欧洲铁路运输标准要求使用一些数学模型。我们对使用马尔可夫模型来满足这些标准的可能性感兴趣。文中给出了该方法在联锁设备寿命周期中的应用实例。提出了一种计算马尔可夫链某些特征的有效聚集/分解方法。 引用于1文件 MSC公司： 65层10 线性系统的迭代数值方法 2015财年65 矩阵特征值和特征向量的数值计算 15B51号 随机矩阵 关键词：马尔可夫链;随机矩阵;平稳概率向量;聚合算法;分解算法 PDF格式BibTeX公司 XML格式引用 \textit{Š.Klapka}和\textit{P.Mayer}，应用。数学。，Praha 47，No.2，127--137（2002；Zbl 1090.65515） 全文： 内政部 欧洲DML 参考文献： [1] G.Ciardo、A.Blakmore、P.F.Chimento、JR.、J.K.Muppala和K.S.Trivedi：使用随机奖励网自动生成和分析马尔可夫奖励模型。线性代数、马尔可夫链和排队模型，C.D.Meyer，R.J.Plemmons（编辑），Springer Verlag，纽约，1993年，第145-191页·Zbl 0799.60085号 [2] R.David，H.Alla：《Petri网和Grafcet:离散事件系统建模工具》。普伦蒂斯·霍尔国际出版社，1992年·Zbl 0810.68014号 [3] B.W.Johnson：容错数字系统的设计与分析。Addison-Wesley出版公司，马萨诸塞州，1989年。 [4] Š. Klapka，P.Mayer：铁路安全建模的一些方面。《第十三届SANM会议录》，Nečtiny（编辑），Západočeskáuniverzita，Plzeň，1999年，第135-140页。 [5] K.Kule：联锁系统的可靠性和安全性。NADAS，普拉哈，1980年。 [6] I.Marek，P.Mayer：计算随机矩阵平稳概率向量的迭代聚合/分解方法的收敛性分析。数字。线性代数应用。5 (1998), 253-274. <a href=“http://dx.doi.org/10.1002/（SICI）1099-1506（199807/08）5:43.0.CO；2-B“target=”_blank“>DOI 10.1002/（SICI）1099-1506（199807/08）5:43.0.CO；2-B型| [7] I.Marek，P.Mayer：计算随机矩阵平稳概率向量的迭代聚合/分解方法可以有限终止。J.微分方程3（2001），301-313·Zbl 1045.65031号 [8] M.Ajmone Marsan、G.Balbo、G.Conte、S.Donatelli和G.Franceschinis：用广义随机Petri网建模。约翰·威利父子公司，奇切斯特，1995年·兹比尔0843.68080 [9] B.Plateau，K.Atif：模拟并行系统的随机自动机网络。IEEE软件工程交易17（1991），1093-1108·doi:10.1109/32.99196 [10] K.Rástočn：安全计算机联锁系统分析模型。《习惯化》论文，伊利纳大学，1998年。 [11] W.J.Stewart：马尔可夫链数值解简介。普林斯顿大学出版社，普林斯顿，1994年·Zbl 0821.65099号 [12] J.Walter：《经济中的随机模型》。SNTL，普拉哈，1970年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。