您的位置： 专家智库 > 作者详情>熊文

熊文

作品数：4 被引量：0H指数：0
供职机构：南京大学更多>>
相关领域：自动化与计算机技术环境科学与工程更多>>

合作作者

题名
作者

文献类型

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

领域

  • 2篇自动化与计算...
  • 1篇环境科学与工...

主题

  • 2篇智能家居
  • 2篇实数
  • 2篇自动机
  • 2篇自动机模型
  • 2篇物联网
  • 2篇物联网系统
  • 2篇消去
  • 2篇联网
  • 2篇联网系统
  • 2篇不安
  • 2篇不安全
  • 1篇氮磷
  • 1篇氮磷营养
  • 1篇氮磷营养盐
  • 1篇营养盐
  • 1篇有界
  • 1篇生态模型
  • 1篇水华
  • 1篇太湖
  • 1篇太湖蓝藻

机构

  • 4篇南京大学

作者

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

年份

  • 1篇2019
  • 1篇2017
  • 1篇2016
  • 1篇2012
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
相关度排序
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
混成自动机验证技术及应用研究
混成系统是一类兼具离散与连续行为的复杂系统，其离散行为受事件驱动，连续行为随时间变化，在实时控制领域应用广泛。由于实时控制系统广泛应用于安全攸关领域，使用混成自动机进行建模并验证系统安全性成为相关领域的重要研究问题。但是...
熊文
关键词：编码复杂度
太湖蓝藻生长限制因子分析及水华模拟研究
生态模型作为再现、预测、调控决策支持的工具越来越多的被用于湖泊水库生态研究之中。在太湖水华研究中，模型能够将外部环境因子与藻类内在生长特性相结合的复杂生态过程定量化，为太湖蓝藻水华形成机理和控制方法提供科学基础。　　基于...
熊文
关键词：生态模型蓝藻氮磷营养盐
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的路径，然后将这些可达路径编码成SMT...
卜磊熊文任昕悦王熙马娆沈思远王亚楠李宣东
文献传递
全选 清除 导出
共1页<1>
聚类工具0