您的位置: 专家智库 > >

薛艳

作品数:6 被引量:18H指数:2
供职机构:陕西师范大学计算机科学学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇期刊文章
  • 2篇学位论文
  • 2篇会议论文

领域

  • 3篇自动化与计算...

主题

  • 3篇互模拟
  • 3篇计算树逻辑
  • 2篇KRIPKE...
  • 1篇学生自主学习
  • 1篇学习者
  • 1篇学习者为中心
  • 1篇学校英语
  • 1篇学校英语教学
  • 1篇一致性
  • 1篇艺术
  • 1篇艺术中专
  • 1篇英语
  • 1篇英语教学
  • 1篇中学生
  • 1篇中学生自主学...
  • 1篇决策过程
  • 1篇教学

机构

  • 6篇陕西师范大学
  • 1篇内江师范学院

作者

  • 6篇薛艳
  • 4篇李永明
  • 2篇邓辉
  • 2篇李亚利
  • 2篇雷红轩

传媒

  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇2011年全...

年份

  • 3篇2012
  • 2篇2011
  • 1篇2009
6 条 记 录,以下是 1-6
排序方式:
基于可能性测度的计算树逻辑和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结构及其相关构造进行了特别的研究。
邓辉薛艳李亚利李永明
共1页<1>
聚类工具0