期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
时态逻辑的比较与分析
被引量：
7
Comparison and Analysis of Temporal Logic
下载PDF
职称材料
导出
摘要
对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析，指出它们各自的特点及适用范围。
Through analyzing and comparing the two versions of temporal logic linear temporal logic and branching temporal logic.The properties and their application range are pointed out.
作者
张广泉
孙敏
机构地区
重庆师范学院数学与计算机科学系
四川经济干部管理学院信息系
出处
《渝州大学学报》
1999年第2期15-18,共4页
关键词
线性时态逻辑
分支时态逻辑
时态逻辑
模态逻辑
linear temporal logic,branching temporal logic,path
分类号
O141 [理学—基础数学]
TP301 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
61
引证文献
7
二级引证文献
20
同被引文献
61
1
蒋屹新,林闯,邢栩嘉.
基于线性时态逻辑的Petri网模型检测[J]
.系统仿真学报,2003,15(z1):6-10.
被引量：8
2
梁爱丽,朱嘉奇,王捍贫,屈婉玲.
一种新的时段演算及其验证[J]
.计算机研究与发展,2008,45(z1):169-174.
被引量：1
3
孙静,秦世引,宋永华.
模糊PETRI网在电力系统故障诊断中的应用[J]
.中国电机工程学报,2004,24(9):74-79.
被引量：85
4
李晓山,周巢尘.
时段演算综述[J]
.计算机学报,1994,17(11):842-851.
被引量：10
5
贲可荣,陈火旺.
命题时态逻辑定理证明新方法[J]
.软件学报,1994,5(7):21-28.
被引量：1
6
龚洁,唐若鹰,王霄,唐稚松.
XYZ／CFC与XYZ／PAD：图形一文本程序设计环境[J]
.软件学报,1994,5(8):37-46.
被引量：1
7
张师超,张钹.
间断区间时态逻辑的语义[J]
.计算机学报,1996,19(12):949-952.
被引量：2
8
张毅,张师超.
间断区间时态逻辑的语义[J]
.高技术通讯,1996,6(6):26-29.
被引量：1
9
文静华,李祥,张焕国,梁敏,张梅.
基于ATL的公平电子商务协议形式化分析[J]
.电子与信息学报,2007,29(4):901-905.
被引量：7
10
邓大勇 江峰 刘清.基于时态算子的上、下近似计算[J].计算机科学,2002,.
引证文献
7
1
崔亚林.
基于时序逻辑语言XYZ/E验证信誉系统[J]
.科协论坛（下半月）,2009(3):97-97.
2
饶元,李尊朝.
基于XYZ/ADL的Web服务体系结构形式描述[J]
.系统工程理论与实践,2006,26(3):53-60.
被引量：5
3
乐全明,董志赟,郑华珍,郁惟镛,张沛超,王忠民,章启明.
基于时态逻辑技术的高压输电线系统故障诊断[J]
.电力系统自动化,2006,30(9):38-43.
被引量：7
4
刘珊艳,张广泉.
基于时序逻辑语言XYZ/E的实时系统应用研究[J]
.重庆师范大学学报（自然科学版）,2006,23(3):63-66.
被引量：1
5
杨科,肖美华,钟小妹,占东明.
时序逻辑及其表达能力综述[J]
.华东交通大学学报,2023,40(2):57-70.
6
邓大勇,马丽,刘清.
带时态算子和H、L算子的Rough逻辑[J]
.南昌水专学报,2003,22(1):1-5.
7
唐达,徐超,杨晓丽.
工作流建模中时态逻辑的研究与应用[J]
.计算机集成制造系统-CIMS,2004,10(4):388-393.
被引量：7
二级引证文献
20
1
庞善臣,蒋昌俊.
Petri网在工作流系统建模和分析中的应用[J]
.系统仿真学报,2005,17(z1):100-104.
被引量：6
2
庞善臣,闫春钢,蒋昌俊.
基于家态的多事务工作流完整性分析[J]
.电子学报,2006,34(6):1163-1168.
被引量：4
3
桂强,刘意川,张沛超.
高压电网故障信息数据挖掘系统的研究[J]
.继电器,2007,35(10):37-40.
被引量：4
4
陈彬,于继来.
基于电网潮流分布特征的在线故障智能诊断[J]
.电力系统自动化,2007,31(16):29-34.
被引量：6
5
魏慧,张广泉.
基于XYZ/ADL的Web服务组合形式化描述[J]
.苏州大学学报（工科版）,2007,27(4):28-33.
被引量：1
6
唐达,李晔.
基于全序语义结构化工作流的研究[J]
.大连理工大学学报,2007,47(5):751-757.
7
刘珊艳,戎玫,张广泉.
实时时序逻辑语言XYZ/RE到时间自动机的映射[J]
.微计算机应用,2008,29(6):69-75.
被引量：3
8
许有志,王锐兵,王道平.
面向农业领域的敏捷知识管理系统研究[J]
.情报杂志,2008,27(7):54-56.
被引量：6
9
赵阳,易先清,罗雪山.
MD_WFN:一种基于Petri网的工作流模型研究[J]
.计算机应用研究,2008,25(11):3335-3339.
被引量：1
10
蒋农,钱沄涛.
复杂即时流程集成模型及其在保险业的应用[J]
.计算机工程,2009,35(13):283-284.
被引量：1
1
李曙光,张延西,闫琪.
Agent系统的一种面向角色的一阶分支时态逻辑[J]
.计算机应用,2004,24(B12):183-185.
2
唐洪涛.
复杂查询数据库数据的方法初探[J]
.科学时代,2013(24).
3
邓茗春,李刚.
几种典型神经网络结构的比较与分析[J]
.信息技术与信息化,2008(6):29-31.
被引量：6
4
吴康.
自动化控制软件和硬件的万能连接-OPC[J]
.世界电子元器件,2004(8):54-57.
被引量：1
5
李振华,郑琳川,刘睿.
基于代码的网站内外网访问[J]
.计算机系统应用,2014,23(1):171-174.
6
孟令宇.
浅谈数据库数据的复杂查询利用工具的进行[J]
.中国科技信息,2005(17A):50-50.
被引量：2
7
盖玉先,滕燕,董申.
用于振动主动控制的传感器[J]
.工具技术,2000,34(4):33-35.
被引量：1
8
李鸿儒,宋强.
在数字电路验证中使用模型检验[J]
.科学技术与工程,2008,8(8):2038-2043.
被引量：3
9
Savas KONUR.
A survey on temporal logics for specifying and verifying real-time systems[J]
.Frontiers of Computer Science,2013,7(3):370-403.
被引量：5
10
邓大勇,马丽,刘清.
带时态算子和H、L算子的Rough逻辑[J]
.南昌水专学报,2003,22(1):1-5.
渝州大学学报
1999年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
