您的位置: 专家智库 > >

王熙

作品数:3 被引量:0H指数:0
供职机构:南京大学更多>>
相关领域:建筑科学自动化与计算机技术更多>>

文献类型

  • 2篇专利
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇建筑科学

主题

  • 2篇智能家居
  • 2篇实数
  • 2篇自动机
  • 2篇自动机模型
  • 2篇物联网
  • 2篇物联网系统
  • 2篇消去
  • 2篇联网
  • 2篇联网系统
  • 2篇不安
  • 2篇不安全
  • 1篇新校区
  • 1篇体育
  • 1篇体育馆
  • 1篇体育馆设计
  • 1篇校区
  • 1篇复合化
  • 1篇高校体育
  • 1篇高校体育馆

机构

  • 3篇南京大学

作者

  • 3篇王熙
  • 2篇卜磊
  • 2篇李宣东
  • 2篇王亚楠
  • 2篇沈思远
  • 2篇熊文
  • 2篇马娆

年份

  • 1篇2020
  • 1篇2019
  • 1篇2016
3 条 记 录,以下是 1-3
排序方式:
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型,然后通过对混成自动机模型的路径分析,找出可能到达系统不安全的路径,然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
南京农业大学江北新校区体育馆设计 ——基于高校体育馆多功能利用研究
随着时代的发展,越来越多的体育馆进行赛后的设计和改造,从而实现体育馆赛后多功能的综合利用。对于坐落于各大综合院校的体育馆建筑,除了要承接社会性的体育赛事,还要满足校园体育教学、集会和各类文艺活动等需求,这无疑对体育馆建筑...
王熙
关键词:高校体育馆
文献传递
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型,然后通过对混成自动机模型的路径分析,找出可能到达系统不安全的路径,然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
文献传递
共1页<1>
聚类工具0