搜索筛选:
搜索耗时0.8430秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：雷红轩,俸卫,
来源：数学杂志 年份：2011
本文研究了格值有限状态自动机（LFSA）的同态和强同态及其性质．利用强同态概念，在格值有限状态自动机的状态集上建立了一种等价关系，得到了格值有限状态自动机的商自动机，证明了商自......
[期刊论文] 作者：薛艳,雷红轩,李永明,
来源：计算机工程与科学 年份：2011
首先，提出了可能的Kripke结构的定义，建立了可能的Kripke结构的可能性测度空间，并分析了可能的Kripke结构的一系列性质，即任一路径转移的可能性可由其初始状态的可能性分布与各转......
[会议论文] 作者：李丽君,雷红轩,李永明,
来源：2011年全国理论计算机科学学术年会 年份：2011
首先,提出了基于可能性测度的可能的Kripke 结构的概念,建立了以可能的Kripke 结构为模型的模型检测系统.其次,讨论了可能的Kripke 结构的可能性测度理论,给出了可能的Kripke 结构满足不同的线性时序逻辑(LTL)公式的可能性测度表示.......
相关搜索：
