交互式马尔科夫链上强模拟关系的计算  

Computation of strong simulation relationships on interactive Markov chains

作　　者：赵锡英[1] 张明新[1] 邢敬宏[1] 

机构地区：[1]兰州工业高等专科学校计算机工程系,甘肃兰州730050

出　　处：《兰州理工大学学报》2008年第1期76-81,共6页Journal of Lanzhou University of Technology

基　　金：甘肃省自然科学基金(3ZS051-A25-047);甘肃省教育厅科研基金(0712-02)

摘　　要：对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.Simulation relation on interactive Markov ehains（IMCs） of algebraic model for stochastic process was studied, and by using the fixed-point theory and weight function definition, the discrimination algorithms for strong bisimulation equivalence and strong simulation preorder on stochastic process algebraic IMCs were given and the temporal complexity of the given algorithms was analyzed, also.

关 键 词：交互式马尔可夫链 强互模拟等价 强模拟前序 算法 计算复杂度 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]