兰州理工大学学报
蘭州理工大學學報
란주리공대학학보
JOURNAL OF LANZHOU UNIVERSITY OF TECHNOLOGY
2008年
3期
73-76
,共4页
交互式马尔可夫链%性能评价%路径%aCSL逻辑
交互式馬爾可伕鏈%性能評價%路徑%aCSL邏輯
교호식마이가부련%성능평개%로경%aCSL라집
将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs模型的路径定义和基于概率转移率的路径转移发生的概率计算方法,解决了Until算子的描述.使用基于动作的逻辑aCSL给出IMCs的性能评价.证明该方法的正确性,它是纯马尔可夫链模型中性能评价方法的扩展.
將馬爾可伕路徑概率計算方法推廣到隨機進程代數:交互式馬爾科伕鏈(IMCs)模型上.由于IMCs中存在動作轉移和概率轉移,兩種不同性質的轉移破壞瞭繫統的穩定性,因此在IMCs的性能刻畫中,去掉繫統的穩態性刻畫,給齣動作和概率轉移共存的IMCs模型的路徑定義和基于概率轉移率的路徑轉移髮生的概率計算方法,解決瞭Until算子的描述.使用基于動作的邏輯aCSL給齣IMCs的性能評價.證明該方法的正確性,它是純馬爾可伕鏈模型中性能評價方法的擴展.
장마이가부로경개솔계산방법추엄도수궤진정대수:교호식마이과부련(IMCs)모형상.유우IMCs중존재동작전이화개솔전이,량충불동성질적전이파배료계통적은정성,인차재IMCs적성능각화중,거도계통적은태성각화,급출동작화개솔전이공존적IMCs모형적로경정의화기우개솔전이솔적로경전이발생적개솔계산방법,해결료Until산자적묘술.사용기우동작적라집aCSL급출IMCs적성능평개.증명해방법적정학성,타시순마이가부련모형중성능평개방법적확전.
