李亚利
- 作品数：6 被引量：17H指数：2
- 供职机构：陕西师范大学计算机科学学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 基于可能性测度的计算树逻辑CTL~＊与可能性互模拟被引量：11
- 2012年
- 提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
- 邓辉薛艳李亚利李永明
- 基于可能性测度的计算树逻辑CTL*与可能性互模拟
- ,提出了基于可能性测度的计算树逻辑CTL* (简记为PoCTL*)的概念.其次,给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨.最后对商可能性Kripke结构及其相关构造进行了特别的研究.
- 邓辉薛艳李亚利李永明
- 基于可能性测度的时序逻辑性质研究
- 在实际生活中,较大的和复杂的系统在运行过程中不可避免地出现不确定的、不一致的信息,所以经典的模型检测不能处理并发系统中所有的验证问题.为了处理概率不确定性的系统验证,Baier和Katoen介绍了基于概率测度的模型检测的...
- 李亚利
- 文献传递
- 可能性测度下计算树逻辑的若干性质被引量：7
- 2013年
- 为讨论可能的计算树逻辑(PoCTL)与计算树逻辑(CTL)的关系,给出PoCTL公式与CTL公式等价的概念,利用公式的等价性证明了CTL是PoCTL的一个真子集.通过PoCTL模型检测算法与PoCTL公式的分析,解决了PoCTL模型检测的时间复杂度问题.最后对重复事件与持久性事件的定性性质及定量性质进行研究,用实例验证了CTL公式与PoCTL公式在可能性测度与概率测度下的本质区别.
- 李亚利李永明
- 关键词：计算树逻辑等价性
- 中美中小学课堂教学比较研究
- 基础教育是全社会关注的热点,而基础教育的课堂教学质量则是影响整个教育发展的重要因素之一。21世纪,课堂教学中教师只传授课本知识已不能满足教学的需要,教会学生获取知识和信息的方法,提高学生分析和理解问题的能力受到越来越多的...
- 李亚利
- 关键词：课堂教学教学目标教学方法教学组织形式
- 文献传递
- 可能性测度下LTL性质的研究
- 在可能的有穷Kripke结构中,给出了可能性测度的一些基本概念,定义了瞬时可能性测度.用构造法证明了在转移步数限制下可达可能性测度与可达瞬时可能性测度相等,受限的转移步数限制下的可达可能性测度与受限可达瞬时可能性测度相等...
- 李亚利马占有邓辉李永明
