广西科技大学学报
廣西科技大學學報
엄서과기대학학보
Journal of Guangxi University of Technology
2014年
3期
59-62,86
,共5页
马尔科夫决策过程%交互式马尔科夫链%时间有界可达概率%时间策略
馬爾科伕決策過程%交互式馬爾科伕鏈%時間有界可達概率%時間策略
마이과부결책과정%교호식마이과부련%시간유계가체개솔%시간책략
对系统模型进行验证是保证系统安全的一个关键.连续时间Markov过程可以刻画复杂并发系统的随机、概率、不确定性特征.提出时间依赖策略下连续时间Markov过程验证方法,将连续时间Markov过程转换成为交互式马尔科夫链,给出模型的转换方法及不确定性选择策略的转换方法,最终通过求解交互式马尔科夫链的时间可达概率最值实现对连续时间Markov过程模型的验证.理论分析表明,提出的方法具有可行性.
對繫統模型進行驗證是保證繫統安全的一箇關鍵.連續時間Markov過程可以刻畫複雜併髮繫統的隨機、概率、不確定性特徵.提齣時間依賴策略下連續時間Markov過程驗證方法,將連續時間Markov過程轉換成為交互式馬爾科伕鏈,給齣模型的轉換方法及不確定性選擇策略的轉換方法,最終通過求解交互式馬爾科伕鏈的時間可達概率最值實現對連續時間Markov過程模型的驗證.理論分析錶明,提齣的方法具有可行性.
대계통모형진행험증시보증계통안전적일개관건.련속시간Markov과정가이각화복잡병발계통적수궤、개솔、불학정성특정.제출시간의뢰책략하련속시간Markov과정험증방법,장련속시간Markov과정전환성위교호식마이과부련,급출모형적전환방법급불학정성선택책략적전환방법,최종통과구해교호식마이과부련적시간가체개솔최치실현대련속시간Markov과정모형적험증.이론분석표명,제출적방법구유가행성.
