计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2013年
11期
3924-3928
,共5页
模型检测%稳态公式%定量分析%连续随机奖励逻辑%离散化%状态消去
模型檢測%穩態公式%定量分析%連續隨機獎勵邏輯%離散化%狀態消去
모형검측%은태공식%정량분석%련속수궤장려라집%리산화%상태소거
model checking%steady-state formula%quantitative analysis%continuous stochastic reward logic%discretization%state elimination
针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法.使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确定性消解、离散化处理、状态消去等方法,实现了原模型中稳态概率的近似求解.理论分析及实例结果表明了该方法的可行性和有效性.
針對帶有複雜參數特徵的信息繫統性質驗證需求,提齣一種作用于連續概率獎勵模型的穩態公式性質驗證分析方法.使用具有綜閤特徵錶示能力的連續時間馬爾可伕決策過程作為繫統定量分析模型,採用連續隨機獎勵邏輯描述繫統的性質,通過不確定性消解、離散化處理、狀態消去等方法,實現瞭原模型中穩態概率的近似求解.理論分析及實例結果錶明瞭該方法的可行性和有效性.
침대대유복잡삼수특정적신식계통성질험증수구,제출일충작용우련속개솔장려모형적은태공식성질험증분석방법.사용구유종합특정표시능력적련속시간마이가부결책과정작위계통정량분석모형,채용련속수궤장려라집묘술계통적성질,통과불학정성소해、리산화처리、상태소거등방법,실현료원모형중은태개솔적근사구해.이론분석급실례결과표명료해방법적가행성화유효성.
