您的位置： 专家智库 > >

张兴兴

作品数：2 被引量：2H指数：1
供职机构：陕西师范大学计算机科学学院更多>>
发文基金：国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇计算树逻辑
  • 1篇互模拟
  • 1篇不动点语义

机构

  • 2篇陕西师范大学

作者

  • 2篇李永明
  • 2篇张兴兴
  • 1篇马占有

传媒

  • 1篇计算机工程与...
  • 1篇陕西师范大学...

年份

  • 2篇2015
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
广义可能性计算树逻辑的不动点语义被引量：1
2015年
计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释,并利用归纳法证明此不动点为最大或最小不动点。结论表明,广义可能性计算树逻辑的不动点语义具有不同于经典情形的形式。
邓楠轶张兴兴李永明
关键词：计算树逻辑不动点语义
广义可能性互模拟及其逻辑刻画被引量：1
2015年
首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL-以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoCTL*和GPoCTL-公式与互模拟状态之间的等价关系。
张兴兴邓楠轶马占有李永明
关键词：计算树逻辑
全选 清除 导出
共1页<1>
聚类工具0