您的位置： 专家智库 > >

王旭

作品数：2 被引量：3H指数：1
供职机构：哈尔滨金融学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇等价
  • 1篇等价性检验
  • 1篇信息感知
  • 1篇信息交互
  • 1篇智能交互
  • 1篇时序逻辑
  • 1篇数据采集
  • 1篇物联网
  • 1篇联网
  • 1篇计算机
  • 1篇交互模型
  • 1篇感知
  • 1篇BDD

机构

  • 2篇哈尔滨金融学...
  • 1篇中国电子科技...

作者

  • 2篇王旭
  • 1篇郝春梅
  • 1篇张瑞雪
  • 1篇赵立波
  • 1篇李冰冰

传媒

  • 1篇中国电子商务
  • 1篇现代计算机（...

年份

  • 1篇2017
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
计算机形式验证方法研究综述
2011年
对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。
张瑞雪郝春梅王旭
关键词：时序逻辑等价性检验BDD
物联网信息感知与信息交互技术综述被引量：3
2017年
分析物联网中的信息感知技术最新研究情况。从数据采集、数据清洗、数据融合几方面,对比各种数据采集算法特点、适用方面,指出现有算法的不足,提出研究方向;分析信息交互技术,将信息交互分为人机智能交互与设备间交互。人机智能交互中,介绍两种模型及应用方向;设备间交互中,提出一种为设备分类的分类方法,根据分类标准,概括物联网基本交互模型。
赵立波李冰冰王旭
关键词：物联网信息感知信息交互数据采集智能交互交互模型
全选 清除 导出
共1页<1>
聚类工具0