薛艳
- 作品数：6 被引量：18H指数：2
- 供职机构：陕西师范大学计算机科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于可能性测度的计算树逻辑和Kripke结构决策过程
- 自H. Hansson在20世纪90年代提出概率测度和有穷马尔可夫链的概率计算树逻辑的理论之后,C. Baier对其进行了深入的研究,并对概率互模拟事件的封闭性和马尔可夫决策过程中事件的可达性进行了详细分析.但是在现实生...
- 薛艳
- 文献传递
- 基于可能性测度的计算树逻辑
- ,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的K...
- 薛艳雷红轩李永明
- 基于可能性测度的计算树逻辑CTL*与可能性互模拟
- ,提出了基于可能性测度的计算树逻辑CTL* (简记为PoCTL*)的概念.其次,给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨.最后对商可能性Kripke结构及其相关构造进行了特别的研究.
- 邓辉薛艳李亚利李永明
- 基于可能性测度的计算树逻辑被引量：14
- 2011年
- 首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。
- 薛艳雷红轩李永明
- 关键词：一致性
- 艺术中专学校英语教学中学生自主学习能力的培养
- 薛艳
- 关键词：学习者为中心
- 基于可能性测度的计算树逻辑CTL~＊与可能性互模拟被引量：11
- 2012年
- 提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
- 邓辉薛艳李亚利李永明
