Computer Performance Engineering
Computer Performance Engineering
复制标题
计算机性能工程
DOI：
10.1007/978-3-642-36781-6_7
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Milios D
中科院分区：
文献类型：
--
作者：
Milios D
近似马尔可夫链聚合涉及到一个较小的马尔可夫链，近似给定链的行为的建设。我们讨论了两种不同的方法来获得一个接近最优的状态空间的划分，基于不同的概念的近似状态equivalents.Both近似聚合方法需要一个显式表示的转移矩阵，一个事实，使他们效率低下的大型模型。这项工作的主要目标是调查的可能性组成应用这样一个近似的聚集技术。我们利用Kronecker表示的PEPA模型，以聚合的组件，而不是整个模型的状态空间。
Approximate Markov chain aggregation involves the construction of a smaller Markov chain that approximates the behaviour of a given chain. We discuss two different approaches to obtain a nearly optimal partition of the state-space, based on different notions of approximate state equivalence.Both approximate aggregation methods require an explicit representation of the transition matrix, a fact that renders them inefficient for large models. The main objective of this work is to investigate the possibility of compositionally applying such an approximate aggregation technique. We make use of the Kronecker representation of PEPA models, in order to aggregate the state-space of components rather than of the entire model.
登录
查看更多内容
再生队列的稳定性分析
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
R. Delgado
通讯作者：
R. Delgado
经典再审政策下多级再审制度的稳定性分析
DOI：
--
发表时间：
2017
期刊：
Performance evaluation (Print)
影响因子：
--
作者：
E. Morozov;Tuan Phung
通讯作者：
Tuan Phung
通过中心极限逼近模型检查马尔可夫总体模型
DOI：
--
发表时间：
2013
期刊：
International Conference on Quantitative Evaluation of Systems
影响因子：
--
作者：
L. Bortolussi;Roberta Lanciani
通讯作者：
Roberta Lanciani
DOI：
--
发表时间：
2004
期刊：
Queueing Syst. Theory Appl.
影响因子：
--
作者：
E. Morozov
通讯作者：
E. Morozov
定时特性的流体模型检查
DOI：
--
发表时间：
2015
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
L. Bortolussi;Roberta Lanciani
通讯作者：
Roberta Lanciani