您的位置： 专家智库 > >

国家教育部博士点基金(20090142120025)

作品数：1 被引量：0H指数：0
相关作者：张晓芳袁凌李国徽更多>>
相关机构：华中科技大学更多>>
发文基金：国家教育部博士点基金教育部留学回国人员科研启动基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 1篇多跳
  • 1篇形式化
  • 1篇形式化建模
  • 1篇形式化证明
  • 1篇异构
  • 1篇异构传感器
  • 1篇异构传感器网...
  • 1篇容错
  • 1篇数据收集
  • 1篇能量均衡
  • 1篇网络
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇系统架构
  • 1篇架构
  • 1篇感器
  • 1篇PV
  • 1篇S系统

机构

  • 2篇华中科技大学

作者

  • 1篇李国徽
  • 1篇袁凌
  • 1篇金海
  • 1篇张晓芳
  • 1篇蒋文斌

传媒

  • 1篇小型微型计算...

年份

  • 1篇2012
  • 1篇2010
共 1 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
异构传感器网络中数据收集的能量均衡
能耗问题一直制约着无线传感器网络的发展。数据收集工作的能量消耗在整个无线传感器网络运行中占有较大比例,其中又存在能耗不均衡的问题。解决此问题可有效延长系统生命周期,降低系统成本,提高系统性能。本文首先介绍了无线中继节点两...
李熙余辰金海蒋文斌
关键词：多跳能量均衡
文献传递
高可靠性温室环境测控系统架构形式化建模与特性证明
2012年
温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率和可靠性,本文提出一个能为设计者提供指导性框架的融入容错技术的高可靠性温室环境测控系统架构.并且运用PVS形式化语言对系统架构进行了精确而无二义性的形式化建模,以及PVS证明工具对系统架构的容错特性进行了机械化证明,以确保系统架构能满足高可靠性需求.
袁凌李国徽张晓芳
关键词：系统架构容错形式化建模形式化证明
全选 清除 导出
共1页<1>
聚类工具0