公开(公告)号：CN103974366A

公开(公告)日：2014-08-06

申请号：CN201410176028.0

申请日：2014-04-28

Applicant: 南京邮电大学

Inventor： 陈志 ,  宝磊 ,  王东 ,  岳文静 ,  朱彦沛 ,  高阳阳 ,  高显强

IPC: H04W40/02 ,  H04W84/18

CPC classification number: Y02D70/30

Abstract: 本发明提供一种基于增强学习的无线体域网自组织路由方法，该方法将人体节点看成是智能化节点，将整个无线体域网构成类似多智能化节点的系统，在实施中综合考虑节点跳数、位置、人体节点的剩余能量、节点通信损耗能量，采用Q学习算法建立或更新Q值表，寻找最优路径。本发明能够在保证数据顺利传输的基础上，防止无线体域网部分节点过早死亡，均衡了网络能量，提高了网络生存周期。

公开(公告)号：CN103970652A

公开(公告)日：2014-08-06

申请号：CN201410179163.0

申请日：2014-04-29

Applicant: 南京邮电大学

Inventor： 陈志 ,  岳书珍 ,  岳文静 ,  王东 ,  党凯乐 ,  陈骏 ,  朱彦沛 ,  高阳阳 ,  高显强

IPC: G06F11/36 ,  H04W24/00 ,  H04W84/18

Abstract: 本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则，实现软件模型转化向C语言的代码转化，最后使用有界模型检验工具对转化后的代码进行有界模型检验。本发明能够有效缓解无线传感网软件模型检验中的状态空间爆炸问题，可应用于无线传感网系统验证。