论文部分内容阅读
首先,提出了基于可能性测度的可能的Kripke 结构的概念,建立了以可能的Kripke 结构为模型的模型检测系统.其次,讨论了可能的Kripke 结构的可能性测度理论,给出了可能的Kripke 结构满足不同的线性时序逻辑(LTL)公式的可能性测度表示.
基于可能性测度的LTL模型检测
【摘 要】
：
首先,提出了基于可能性测度的可能的Kripke 结构的概念,建立了以可能的Kripke 结构为模型的模型检测系统.其次,讨论了可能的Kripke 结构的可能性测度理论,给出了可能的Kripke 结构满足不同的线性时序逻辑(LTL)公式的可能性测度表示.
【机 构】
：
陕西师范大学计算机科学学院,陕西西安 710062 内江师范学院数学与信息科学学院,四川内江641
【出 处】
：
2011年全国理论计算机科学学术年会
【发表日期】
：
2011年9期
其他文献
Torsional fretting wear behavior of pure titanium ,Ti6Al4V, Ti6Al7Nb alloy under bovine serum by nit
The pure titanium(TA2),Ti6Al4V,Ti6Al7Nb treated by ammonia gas (NH3) plasma immersion ion implantation-deposition (PIII-D) is investigated.On a torsional fretting wear test rig,the torsional fretting
Synthesis and Characterizations of Nano-composite Cr-B-W-N coatings by Reactive DC Magnetron Sputter
Nanocomposite Cr-W-B-N coatings with various tungsten contents were synthesized on silicon wafer substrates.The used technique is a DC reactive magnetron co-sputtering deposition equipped with a Cr-B
会议
The use of sputter deposited TiN thin film as a surface conducting layer on the counter electrode of
会议
Bulk-loading of spatial data is the process of constructing a spatial index from scratch.Due to the large size and complexity of spatial data,parallel bulk-loading of spatial data has the shortage tha
会议
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对“平板循环”、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.
会议
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops is an important and difficult problem.Especially,there is lack of efficient appro
会议
MARTE是统一建模语言UML的一个实时和嵌入式方面的扩展.本文给出了pi演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的pi演算来说,时序pi演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.
会议
On necessary conditions for scale-freedom in complex networks, with applications to computer communi
Many complex networks exhibit a scale-free,power-law distribution of vertex degrees.This common feature is a consequence of two generic mechanisms relating to the formation of real networks: (i) netwo
会议