您的位置： 专家智库 > >

朱晔

作品数：1 被引量：1H指数：1
供职机构：泰州学院计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇模糊逻辑
  • 1篇计算树逻辑
  • 1篇KRIPKE...

机构

  • 1篇泰州学院

作者

  • 1篇郦丽
  • 1篇江敏
  • 1篇朱晔

传媒

  • 1篇内江师范学院...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
模糊计算树逻辑的基本性质被引量：1
2016年
引入了基于Zadeh模糊逻辑的计算树逻辑的语法和语义,讨论了不同的模糊计算树逻辑公式之间的语义关系,分析了模糊计算树逻辑语义模型的模糊赋值函数发生变化时,对模糊计算树逻辑语义的影响.
朱晔郦丽江敏
关键词：KRIPKE结构形式化验证模糊逻辑计算树逻辑
全选 清除 导出
共1页<1>
聚类工具0