搜索筛选:
搜索耗时0.8085秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[会议论文] 作者：薛艳,李永明,雷红轩,
来源：2011年全国理论计算机科学学术年会 年份：2004
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与...
[会议论文] 作者：李丽君,雷红轩,李永明,
来源：2011年全国理论计算机科学学术年会 年份：2011
首先,提出了基于可能性测度的可能的Kripke 结构的概念,建立了以可能的Kripke 结构为模型的模型检测系统.其次,讨论了可能的Kripke 结构的可能性测度理论,给出了可能的Kripke 结构满足不同的线性时序逻辑(LTL)公式的可能性测度表示.......
相关搜索：
