您的位置： 专家智库 > >

屈玉贵

作品数：4 被引量：0H指数：0
供职机构：华为技术有限公司更多>>

合作作者

文献类型

  • 4篇中文专利

主题

  • 2篇形式化
  • 2篇形式化描述
  • 2篇通信
  • 2篇通信半径
  • 2篇通信距离
  • 2篇通信系统
  • 2篇能耗
  • 2篇无线传感
  • 2篇无线传感器
  • 2篇感器
  • 2篇测试系统
  • 2篇传感
  • 2篇传感器

机构

  • 4篇华为技术有限...
  • 2篇中国科学技术...

作者

  • 4篇屈玉贵
  • 2篇张英堂
  • 2篇江涛
  • 2篇郑杰
  • 2篇郭淑杰
  • 2篇刘桂英
  • 2篇赵宝华

年份

  • 1篇2012
  • 2篇2009
  • 1篇2006
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于模型转换的协议正确性验证和测试方法
本发明涉及一种基于模型转换的协议正确性验证和测试方法，该方法主要包括：利用至少两种形式化模型对协议进行形式化描述；分别将所述至少两种形式化模型转换成同一种的形式化模型；通过比较所述同一种的形式化模型间的差异获得验证后的协...
屈玉贵江涛赵宝华李姝张利琰周颢
文献传递
通信半径确定方法、通信系统及无线传感器
本发明公开了一种通信半径确定方法、通信系统及无线传感器。本发明方法包括：若簇头发生更新，包括：第一簇头替代者获取与第二簇头之间的通信距离d1；所述第一簇头替代者获取所述第二簇头与第二簇头替代者之间的通信距离d2；所述第一...
赵宝华屈玉贵郭淑杰郑杰张英堂刘桂英
文献传递
通信半径确定方法、通信系统及无线传感器
本发明公开了一种通信半径确定方法、通信系统及无线传感器。本发明方法包括：若簇头发生更新，包括：第一簇头替代者获取与第二簇头之间的通信距离d1；所述第一簇头替代者获取所述第二簇头与第二簇头替代者之间的通信距离d2；所述第一...
赵宝华屈玉贵郭淑杰郑杰张英堂刘桂英
文献传递
基于模型转换的协议正确性验证和测试方法
本发明涉及一种基于模型转换的协议正确性验证和测试方法，该方法主要包括：利用至少两种形式化模型对协议进行形式化描述；分别将所述至少两种形式化模型转换成同一种的形式化模型；通过比较所述同一种的形式化模型间的差异获得验证后的协...
屈玉贵江涛赵宝华李姝张利琰周颢
文献传递
全选 清除 导出
共1页<1>
聚类工具0