张兴兴

作品数：2被引量：2H指数：1
导出分析报告
供职机构：陕西师范大学计算机科学学院更多>>
发文主题：计算树逻辑不动点语义互模拟更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《陕西师范大学学报（自然科学版）》《计算机工程与科学》更多>>
所获基金：国家教育部博士点基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
广义可能性计算树逻辑的不动点语义被引量：1
《陕西师范大学学报（自然科学版）》2015年第4期22-27,共6页邓楠轶 张兴兴 李永明 
国家自然科学基金(11271237;61228305);高等学校博士学科点专项基金(20130202120001)
计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释,并利用归纳法证明此不动点为最大或最小不动点。结论表明,广义可能性计算树逻辑的不动点语义具有不同于经典情形的形式。
关键词：广义可能性测度 计算树逻辑 不动点语义 模型检测 
广义可能性互模拟及其逻辑刻画被引量：1
《计算机工程与科学》2015年第5期951-957,共7页张兴兴 邓楠轶 马占有 李永明 
国家自然科学基金资助项目(11271237;61228305);高等学校博士学科点专项基金资助项目(20130202120001)
首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL-以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoC...
关键词：广义可能性测度 可能性互模拟 计算树逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部