一种用于无线传感器网络节点检测的形式化方法[CN202010265381.1] - 上海第二工业大学

专利申请

2020-04-07
公布公告

2020-07-31
授权日期

2022-02-11
终止

2030-07-29

一种用于无线传感器网络节点检测的形式化方法

* 专利信息仅供参考，不具有法律效力。有效专利

注册号： CN202010265381.1 申请日期： 2020-04-07 专利主类别： H04W4/38 {{ classMap["H04W4/38"] }}

申请人名称：上海第二工业大学

查看申请人名下所有专利

申请人地址：上海市浦东新区金海路2360号

专利分类项目

H04W4/38 :

H04W12/12 : 欺诈检测

H04W24/04 : 用于维护操作环境的装置

H04W24/06 : 使用仿真业务量进行测试

专利注册信息

初审公告期号	2020-04-07	初审公告日期	2020-07-31
注册公告期号	2022-02-11	注册公告日期	2022-02-11
专用权期限	2020-07-31 - 2030-07-29	专利类型	发明公开
代理组织机构	上海元好知识产权代理有限公司查看该机构代理的所有专利

专利介绍

本发明公开了一种用于无线传感器网络节点检测的形式化方法，在进行节点检测时，首先借助Petri网的建模能力，构建一种基于无线传感器网络的故障检测形式化模型，其次确定形式化模型中的各要素，再构造形式化模型中的规则和结构，通过设置库所、门限阈值、变迁，时间限制和权重，对节点进行精确检测，以减轻重复部署的工作量。本发明将Petri网的建模能力与无线传感器网络的节点检测结合，能够有效的减少相关人员的工作量，避免反复检测节点，提高工作效率。

法律进度