基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质,使用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,基于积模型给出陒应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。
推荐文章
基因交互逻辑网络的自动机模型
细胞自动机
有限状态自动机
基因网络
基于非确定型有限状态自动机的基因逻辑网络模型
非确定型
有限状态自动机
基因网络
基于后缀自动机的轨迹模式挖掘方法
定阶马尔可夫模型
变阶马尔可夫模型
后缀字典树
后缀自动机
轨迹模式
轨迹预测
基于Uppaal的时延Petri网到时间自动机等价模型验证
时延Petri网
时间自动机
TPN-to-TA转换
Uppaal
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于自动机的概率计算树逻辑验证方法
来源期刊 计算机工程 学科 工学
关键词 模型检测 分层直到公式 概率计算树逻辑 马尔可夫链 自动机 积模型
年,卷(期) 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
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (51)
共引文献  (178)
参考文献  (9)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1984(1)
  • 参考文献(0)
  • 二级参考文献(1)
1986(2)
  • 参考文献(0)
  • 二级参考文献(2)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(3)
  • 参考文献(0)
  • 二级参考文献(3)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(3)
  • 参考文献(0)
  • 二级参考文献(3)
1995(3)
  • 参考文献(0)
  • 二级参考文献(3)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
1997(4)
  • 参考文献(0)
  • 二级参考文献(4)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(4)
  • 参考文献(1)
  • 二级参考文献(3)
2003(6)
  • 参考文献(1)
  • 二级参考文献(5)
2005(3)
  • 参考文献(0)
  • 二级参考文献(3)
2006(5)
  • 参考文献(0)
  • 二级参考文献(5)
2007(4)
  • 参考文献(2)
  • 二级参考文献(2)
2008(2)
  • 参考文献(0)
  • 二级参考文献(2)
2009(4)
  • 参考文献(0)
  • 二级参考文献(4)
2010(4)
  • 参考文献(2)
  • 二级参考文献(2)
2011(2)
  • 参考文献(2)
  • 二级参考文献(0)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2013(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
模型检测
分层直到公式
概率计算树逻辑
马尔可夫链
自动机
积模型
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
论文1v1指导