交互式马尔可夫链-并发系统设计,验证与评价.docVIP

Concurrency includes parallel and distribution. 进程代数成为了当今复杂系数形式刻画与分析的主要工具,比较著名的有:CCS(calculus of communication system),CSP(communicating sequential processes),LOTOS(国际标准化组织,language of temporal ordering specifications). 假设随机变量D1和D2分别满足参数为lambda1和lambda2的指数分布,则: P{D1=D2}= lambda1 / (lambda1+lambda2); 对于存在竞争的状态si(非吸收态),其在时间t内转移到状态sj的概率为: (1-exp(-lamdbai t)) lambdaij / lambdai. 注意在上面的式子中,如果令t- -infinity, 可以再次得到从状态si转移到状态sj的概率为: lambdaij / lambdai.这一转移概率实际上刻画了一个与该CTMC相关的DTMC,称之为内嵌的DTMC(embedded DTMC),它的转移概率矩阵为P=(pij)n×n. 在性能评价领域里马尔可夫分析主要关心的几个性能度量： 到达一个吸收状态的平均时间MTA; 第一次到达某个特定状态s的平均时间MTFP(s); 在一个给定