公开(公告)号：CN103269489A

公开(公告)日：2013-08-28

申请号：CN201310141660.7

申请日：2013-04-22

Applicant: 南京邮电大学

Inventor： 陈志 ,  李梦泽 ,  岳文静 ,  黄洵松 ,  毛博 ,  曹壹 ,  迟文东

IPC: H04W16/18 ,  H04W24/02 ,  H04W52/02 ,  H04W84/18

CPC classification number: Y02D70/00

Abstract: 本发明提供一种面向环境监测的无线传感器网络优化方法，该方法采用基于遗传算法来解决包含传感器节点、簇头、汇聚节点在内的无线传感器网络中簇的组建和重构的问题，引入活跃节点、普通节点、休眠节点的概念，综合考虑了网络的连通性约束、能量节约等方面的需要，通过适应度函数计算各个节点的适应度取值，选取适应度取值最高的节点成为簇头节点，实现节点在活跃、普通和休眠三种状态下的自动切换。本发明能够扩大网络监测范围、提高在环境监测中网络节点能量利用效率，极大地延长网络寿命。

公开(公告)号：CN103220685A

公开(公告)日：2013-07-24

申请号：CN201310140565.5

申请日：2013-04-22

Applicant: 南京邮电大学

Inventor： 陈志 ,  黄洵松 ,  毛博 ,  曹壹 ,  岳文静 ,  曾雅芸 ,  迟文东

IPC: H04W16/18 ,  H04W24/00 ,  H04W84/18

Abstract: 本发明是一种基于动态规划的无线传感器网络软件模型检验方法，包括系统建模、模型预处理、模型性质验证等步骤。系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响的状态；模型性质验证采用基于动态规划思想的记忆化搜索验证方法。本发明能够有效地验证相关网络协议是否满足要求，缓解验证过程中状态空间爆炸问题，给出的系统验证过程时空复杂度低。