您的位置： 专家智库 > >

王瑞

作品数：1 被引量：0H指数：0
供职机构：兰州大学信息科学与工程学院更多>>
发文基金：国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 2个自动化与计算...
  • 1个电子电信
  • 1个理学

主题

  • 2个等价
  • 2个等价性验证
  • 2个电路
  • 2个组合电路
  • 2个逻辑
  • 2个黑盒
  • 1个调控网络
  • 1个学费
  • 1个优化算法
  • 1个元胞
  • 1个元胞自动机
  • 1个制动
  • 1个制动器
  • 1个时序逻辑
  • 1个数据查询
  • 1个扭矩
  • 1个欧氏距离
  • 1个注解
  • 1个自动机
  • 1个耦合度

机构

  • 1个兰州大学
  • 1个西北民族大学

资助

  • 2个国家重点基础...
  • 1个国家自然科学...
  • 1个中央高校基本...

传媒

  • 2个微计算机信息
  • 1个黑龙江科技信...
  • 1个计算机工程与...
  • 1个计算机与数字...
  • 1个山东大学学报...
  • 1个西北民族大学...
  • 1个重庆文理学院...
  • 1个陇东学院学报
  • 1个2009年中...
  • 1个全国第20届...
  • 1个全国第20届...

地区

  • 1个甘肃省
共 2 条 记 录，以下是 1-2
张自强
供职机构：兰州大学信息科学与工程学院
研究主题：线性时序逻辑 AOP 面向切面编程 OEM模型 半结构化
发表作品相关人物供职机构所获资助研究领域
岳园
供职机构：西北民族大学数学与计算机科学学院
研究主题：逻辑 组合电路 等价性验证 可满足性 刚体
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0