[发明专利]一种面向连续时间马尔科夫链的状态空间约简方法

摘要

本发明公开了一种面向连续时间马尔科夫链的状态空间约简方法，包括以下步骤：在局部状态空间上配置连续随机逻辑中X，U，R，P，W算子的限界语义；将连续时间马尔科夫链转换为离散时间马尔科夫链，并利用均匀化技术计算局部空间上的瞬态与稳态概率；对于算子X，U，R将时域分成零点到某个时间点，两个时间点之间，某个时间点到无穷大三个时间段，并分别利用瞬态概率计算算子P对应的概率度量；对于稳定算子W，构造一组线性不等式来约束离散时间马尔科夫链中瞬态概率与稳态概率之间的关系，求出该不等式的解作为稳态概率的度量值。本发明只需遍历分析属性所需的局部空间，可有效约简状态空间，可应用于大规模随机系统的性能与可靠性分析。

主权项

一种面向连续时间马尔科夫链的状态空间约简方法，其特征在于包括以下步骤：步骤一，在将路径长度约束在有限长度的情况下配置连续随机逻辑中X，U，R，P，W五个算子的限界语义；X为表示“下一个时刻”的时态算子，U为表示“一直到”的时态算子，R为表示“释放”的时态算子，P为概率度量算子，W为稳态算子；步骤二，在将路径长度约束在有限长度的情况下计算局部空间上状态之间的k界瞬态概率，这里k是自然数；步骤三，在将路径长度约束在有限长度的情况下利用k界瞬态概率计算X，U，R，P，W算子对应的概率度量，并依据计算结果判定X，U，R，P，W算子的概率度量是否满足限界语义。