论文部分内容阅读
针对带有复杂参数特征的信息系统性质验证需求，提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型，采用连续随机奖励逻辑描述系统的性质，通过不确定性消解、离散化处理、状态消去等方法，实现了原模型中稳态概率的近似求解。理论分析及实例结果表明了该方法的可行性和有效性。