论文部分内容阅读
对交互式马尔可夫链模型（IMCs）上的弱模拟前序关系的计算算法进行讨论．在IMCs上判断弱模拟关系时，重点对概率转移关系进行弱模拟前序关系的判断，同时考虑内部动作对系统的影响．通过引入适当的变量。将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解．利用该线性规划问题的数值求解方法，可在多项式时间内求得该线性规划问题的解．从而得到判定LMC上两个进程是否弱模拟的多项式时间算法．