基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画.为了对这些时态性质进行高效的验证,在ALC-LTL的基础上研究了时态描述逻辑的模型检测问题.一方面,使用时态描述逻辑ALC-LTL公式来表示待验证的时态规范;另一方面,在对系统建模时借助描述逻辑ALC对领域知识进行刻画.针对上述扩展后得到的模型检测问题,提出了基于自动机的ALC-LTL模型检测算法.模型检测算法由3个阶段组成:首先将时态规范的否定形式和系统模型分别构造成标记büchi自动机;接下来构造这两个自动机的乘积自动机,并将关于ALC的推理机制融入到乘积自动机的构造过程中;最后对该乘积自动机进行判空检测.与LTL模型检测相比,时态描述逻辑ALC-LTL的模型检测引入了描述逻辑的刻画和推理机制,可以在语义Web环境下对语义Web服务等复杂系统的时态性质进行刻画和验证.
推荐文章
含有合取查询的时态描述逻辑ALC-LTL模型检测
线性时态描述逻辑
模型检测
合取查询
语义Web
基于线性时态逻辑的Petri网模型检测研究
线性时态逻辑
Petri网
Büchi自动机
模型检测
一种基于Büchi自动机的LTL程序模型检测方法
线性时序逻辑
Büchi自动机
模型检测
基于有限自动机的PPP协议描述
PPP协议
有限自动机
状态图
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测
来源期刊 计算机科学 学科 工学
关键词 线性时态描述逻辑 模型检测 标记büchi自动机 ALC-类 乘积自动机 判空问题 语义Web
年,卷(期) 2013,(10) 所属期刊栏目 软件与数据库技术
研究方向 页码范围 166-171
页数 6页 分类号 TP301
字数 9711字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 常亮 桂林电子科技大学广西可信软件重点实验室 77 450 12.0 17.0
2 李凤英 桂林电子科技大学广西可信软件重点实验室 22 88 5.0 8.0
3 徐周波 桂林电子科技大学广西可信软件重点实验室 53 284 8.0 15.0
4 朱创营 桂林电子科技大学广西可信软件重点实验室 4 17 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (7)
共引文献  (9)
参考文献  (4)
节点文献
引证文献  (5)
同被引文献  (3)
二级引证文献  (4)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(1)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(1)
  • 参考文献(0)
  • 二级参考文献(1)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2013(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(2)
  • 引证文献(2)
  • 二级引证文献(0)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(3)
  • 引证文献(2)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
线性时态描述逻辑
模型检测
标记büchi自动机
ALC-类
乘积自动机
判空问题
语义Web
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机科学
月刊
1002-137X
50-1075/TP
大16开
重庆市渝北区洪湖西路18号
78-68
1974
chi
出版文献量(篇)
18527
总下载数(次)
68
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
财经界 中国金融 保险研究 金融论坛 财会研究 金融经济(理论版) 时代金融(下旬) 财经论丛(浙江财经学院学报) 时代金融(中旬) 银行家 中国外资(下半月) 税务与经济 中国科技投资 征信 海南金融 中国证券期货 西部金融 中国外资 中国财政 中国金融电脑 金融科技时代 中国医疗保险 中国保险 审计与理财 绿色财会 福建金融 财务与金融 保险职业学院学报 金融博览 农银学刊 中国信用卡 河北金融 新财经(理论版) 中国投资 当代农村财经 中国城市金融 吉林金融研究 现代商业银行 国际融资 新财经 化工学报 化工学报 高分子材料科学与工程 硅酸盐学报 广东化工 现代化工 燃料化学学报 无机材料学报 化工新型材料 硅酸盐通报 广州化工 精细化工 石油化工 农药 高分子学报 应用化学 应用化工 塑料工业 过程工程学报 中国塑料 工程塑料应用 化学研究与应用 有机化学 中国石油和化工标准与质量 涂料工业 高分子通报 中国医药工业杂志 高校化学工程学报 腐蚀科学与防护技术 膜科学与技术 无机盐工业 无机盐工业 无机盐工业 林产化学与工业 化工自动化及仪表 工业用水与废水 功能高分子学报 化学与生物工程 腐蚀与防护 中国造纸 煤炭学报 煤炭科学技术 煤矿机械 煤炭技术 金属矿山 中国矿业 煤矿安全 采矿与安全工程学报 煤炭工程 矿床地质 西部探矿工程 煤田地质与勘探 中国煤炭 地质与勘探 矿山机械 矿冶工程 工矿自动化 矿业安全与环保 矿物学报 岩矿测试 非金属矿 矿业研究与开发 煤炭经济研究 资源与产业 探矿工程-岩土钻掘工程 煤矿开采 中国煤炭地质 山东煤炭科技 内蒙古煤炭经济 矿冶 黄金 化工矿物与加工 现代矿业 矿产保护与利用 能源与环保 采矿技术 矿产与地质 选煤技术 选煤技术 铀矿地质 计算机工程与应用 计算机工程 计算机应用研究 软件学报 计算机应用 计算机学报 系统仿真学报 计算机研究与发展 计算机工程与设计 计算机科学 控制与决策 电脑知识与技术 计算机集成制造系统 计算机仿真 自动化学报 计算机技术与发展 计算机应用与软件 计算机辅助设计与图形学学报 小型微型计算机系统 控制理论与应用 控制理论与应用 遥感学报 传感器与微系统 传感技术学报 制造业自动化 微电子学与计算机 计算机工程与科学 机器人 计算机系统应用 计算机与现代化 测控技术 计算机与数字工程 工业控制计算机 测绘与空间地理信息 电机与控制学报 中文信息学报 福建电脑 控制工程 遥感技术与应用 信息与控制
论文1v1指导