基于直觉模糊时间Petri网的不确定性时间推理方法

发布时间：2017-08-16 17:19

  本文关键词：基于直觉模糊时间Petri网的不确定性时间推理方法

  更多相关文章： 直觉模糊集 Petri网 时序逻辑 时间推理

【摘要】：针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。
【作者单位】： 咸阳师范学院;西安通信学院;空军工程大学防空反导学院;
【关键词】： 直觉模糊集 Petri网 时序逻辑 时间推理
【基金】：国家自然科学基金(61272011,61309022) 国家重点实验室基金(2012ADL-DW0301) 陕西省自然科学青年基金资助项目(2013JQ8031)
【分类号】：TP301.1
【正文快照】： *0引言由于系统的随机性、缺乏属性参数以及信息不完备等因素的影响,战场态势在时间信息方面存在较大的模糊不确定性,而这类时间知识的描述与推理是整个态势评估系统建模需要研究和解决的关键问题,也是其智能化的集中体现[1-3]。直觉模糊Petri网(Intuitionistic Fuzzy Petri N

【相似文献】

中国期刊全文数据库 前10条

1 吴志林;张文辉;;命题线性时序逻辑的对偶模型问题的复杂性(英文)[J];软件学报;2007年07期

2 Ю.Я.巴齐列夫斯基;莫莎;;时序逻辑函数论的几个问题(上)[J];电子计算机动态;1961年06期

3 赵兴贤,林春亭;状态图法在气动时序逻辑回路设计上的应用[J];大连海运学院学报;1983年01期

4 郑茂松;;时序逻辑语言[J];计算机科学;1983年06期

5 姜文彬;四值逻辑与脉冲异步时序逻辑网络分析和设计[J];电子学报;1990年03期

6 刘蔚东;;关于时序逻辑设计中的自启动问题[J];电工技术;1997年08期

7 黄佳;;基于行为时序逻辑的安全协议研究[J];信息通信;2012年04期

8 谢扬光;同步时序逻辑网络的图上作业设计法[J];长春邮电学院学报;1986年02期

9 姜文彬;脉冲型时序逻辑网络设计的解析方法[J];计算机学报;1989年04期

10 姜文彬;脉冲型时序逻辑网络设计（Ⅲ）[J];山东建材学院学报;1995年02期

中国重要会议论文全文数据库 前2条

1 章超;李彩虹;李廉;;SPIN在同步时序逻辑中的应用[A];2005年全国理论计算机科学学术年会论文集[C];2005年

2 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

中国博士学位论文全文数据库 前6条

1 逄涛;命题投影时序逻辑符号模型检测及其应用研究[D];西安电子科技大学;2014年

2 刘万伟;扩展时序逻辑的推理及符号化模型检验技术[D];国防科学技术大学;2009年

3 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年

4 万良;基于行为时序逻辑TLA的系统、规则与协议检测的研究[D];贵州大学;2009年

5 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年

6 赵常智;基于运行时验证的软件监控关键技术研究[D];国防科学技术大学;2011年

中国硕士学位论文全文数据库 前10条

1 刘照洋;基于行为时序逻辑TLA的网络协议的描述与验证[D];贵州大学;2015年

2 张丽;命题投影时序逻辑的判定性和表达性[D];西安电子科技大学;2007年

3 杨琳琳;基于时序逻辑的安全协议验证方法的研究[D];南京航空航天大学;2010年

4 韩冰;线性时序逻辑在失业保险审计中的应用研究[D];哈尔滨工程大学;2010年

5 田聪;命题投影时序逻辑的可判定性[D];西安电子科技大学;2007年

6 林丽秀;时序逻辑转换断言图的研究[D];电子科技大学;2013年

7 赵延珂;基于时序逻辑模型验证的入侵检测方法研究[D];郑州大学;2014年

8 李亚利;基于可能性测度的时序逻辑性质研究[D];陕西师范大学;2013年

9 葛徐骏;基于时序逻辑的双向一致性检测[D];华东师范大学;2015年

10 黄贻望;基于行为时序逻辑模型检测的研究与应用[D];贵州大学;2009年

，

本文编号：684520