您的位置： 专家智库 > >

林添荣

作品数：2 被引量：4H指数：1
供职机构：福建师范大学更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 1篇形式语义
  • 1篇有限自动机
  • 1篇语义
  • 1篇图灵
  • 1篇图灵机
  • 1篇自动机
  • 1篇量子
  • 1篇量子计算
  • 1篇逻辑语义
  • 1篇活动图
  • 1篇UML活动图
  • 1篇HOARE逻...

机构

  • 2篇福建师范大学

作者

  • 2篇林添荣
  • 1篇蒋建民

传媒

  • 1篇福建师范大学...

年份

  • 1篇2011
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
量子有限自动机等价性判定研究
量子计算是一门交叉于数学、物理与计算机科学的前沿学科,具有令人期待的发展前景.量子计算的研究主要分为对量子计算模型、量子计算复杂性和量子算法的研究.目前,广泛引起学者兴趣的量子计算模型主要有量子图灵机(quantumTu...
林添荣
关键词：量子计算有限自动机图灵机
UML活动图的一种逻辑语义被引量：4
2010年
为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义.首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明.
林添荣蒋建民
关键词：UML活动图形式语义HOARE逻辑
全选 清除 导出
共1页<1>
聚类工具0