马尔可夫过程模块 MarkovPro
马尔可夫(Markov)过程是具有这样性质的随机过程，当过程在某一时刻ti的状态已知，那么，在ti以后任意时刻tj过程处于各种状态的可能性就完全确定，而不受ti之前任意时刻过程所处状态的影响，称为“无后效性”。即只要已知系统开始工作时的状态，就可以确定以后任意时刻t，系统处于可工作状态的概率。
CARMES的MarkovPro模块主要功下：
状态转移图的图形化建模；
系统瞬态特性和稳态特性分析算；
瞬态/稳态可用度、故障频率、MTBF/MTTF、MTTR计算；
每一状态的概率、转移到每一状态频率的计算。
