基于自动机的概率计算树逻辑验证方法

• 作者: 王海涛 纪明宇 陈志远
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 模型检测 分层直到公式 概率计算树逻辑 马尔可夫链 自动机 积模型
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 285-289
• 页数: 5页
• 分类号: TP311
• 字数: 4256字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.12.061

摘要

根据带有随机特征的复杂信息系统性质验证的需求，针对离散概率回报模型的分层直到公式，提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上，使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质，使用自动机技术建模路径公式，通过构造积模型完成模型与自动机的同步演化，基于积模型给出陒应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	纪明宇	东北林业大学信息与计算机工程学院	11	15	3.0	3.0
3	陈志远	哈尔滨工程大学计算机科学与技术学院	12	46	5.0	6.0
6	王海涛	东北林业大学信息与计算机工程学院	10	13	2.0	3.0