邓辉
- 作品数:5 被引量:9H指数:1
- 供职机构:陕西师范大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术理学政治法律更多>>
- 可能性测度下LTL性质的研究
- 在可能的有穷Kripke结构中,给出了可能性测度的一些基本概念,定义了瞬时可能性测度.用构造法证明了在转移步数限制下可达可能性测度与可达瞬时可能性测度相等,受限的转移步数限制下的可达可能性测度与受限可达瞬时可能性测度相等...
- 李亚利马占有邓辉李永明
- 基于可能性测度的计算树逻辑CTL~*与可能性互模拟被引量:9
- 2012年
- 提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。
- 邓辉薛艳李亚利李永明
- 基于可能性测度的计算树逻辑CTL*与可能性互模拟
- ,提出了基于可能性测度的计算树逻辑CTL* (简记为PoCTL*)的概念.其次,给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨.最后对商可能性Kripke结构及其相关构造进行了特别的研究.
- 邓辉薛艳李亚利李永明
- 黑非洲现代化的时序模式初探
- 对于黑非洲的现代化问题,国外学者侧重于现代化延误原因和对策的研究,但往往集中于经济领域,并且所提出的对策或者是脱离黑非洲国情的完全西化,或是一种具有绝对化倾向的'外向型'发展,无益于黑非洲现代化的实现.国内学者对黑非洲现...
- 邓辉
- 关键词:黑非洲
- 文献传递
- 基于可能性测度的计算树逻辑与可能性互模拟
- 模型检测技术因其具有简洁明了,自动化程度高等优点,被应用于工业设计的诸多领域,特别是硬件系统、软件系统.这种基于仿真、测试、演绎和推理的自动验证技术作为一种形式化的方法和工具,可以有效地检测到硬件和软件系统存在的风险和漏...
- 邓辉
- 文献传递