兰州理工大学学报
蘭州理工大學學報
란주리공대학학보
JOURNAL OF LANZHOU UNIVERSITY OF TECHNOLOGY
2008年
1期
76-81
,共6页
交互式马尔可夫链%强互模拟等价%强模拟前序%算法%计算复杂度
交互式馬爾可伕鏈%彊互模擬等價%彊模擬前序%算法%計算複雜度
교호식마이가부련%강호모의등개%강모의전서%산법%계산복잡도
对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.
對隨機進程代數模型交互式馬爾科伕鏈(IMCs)上的模擬關繫進行研究,根據不動點定理和權函數的定義,給齣交互式馬爾可伕鏈模型上彊互模擬等價和彊模擬前序的判定算法,對算法的時間複雜度進行分析.
대수궤진정대수모형교호식마이과부련(IMCs)상적모의관계진행연구,근거불동점정리화권함수적정의,급출교호식마이가부련모형상강호모의등개화강모의전서적판정산법,대산법적시간복잡도진행분석.
