-
公开(公告)号：CN103888958B
公开(公告)日：2017-05-31
申请号：CN201410117790.1
申请日：2014-03-26
Applicant: 南京邮电大学
Abstract: 本发明给出一种基于偏序简化算法的无线传感网软件模型优化方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移系统，然后用偏序简化算法对所得的软件模型进行优化，之后用时序逻辑公式来表示无线传感网软件所需要满足的属性或性质，将对无线传感网软件的验证转化为验证软件模型是否满足公式的问题。本发明方法能够用来优化无线传感网软件模型，有效缓解无线传感网软件模型检验中的状态空间爆炸问题。
-
公开(公告)号：CN103974366B
公开(公告)日：2017-08-01
申请号：CN201410176028.0
申请日：2014-04-28
Applicant: 南京邮电大学
CPC classification number: Y02D70/30
Abstract: 本发明提供一种基于增强学习的无线体域网自组织路由方法，该方法将人体节点看成是智能化节点，将整个无线体域网构成类似多智能化节点的系统，在实施中综合考虑节点跳数、位置、人体节点的剩余能量、节点通信损耗能量，采用Q学习算法建立或更新Q值表，寻找最优路径。本发明能够在保证数据顺利传输的基础上，防止无线体域网部分节点过早死亡，均衡了网络能量，提高了网络生存周期。
-
公开(公告)号：CN103888462A
公开(公告)日：2014-06-25
申请号：CN201410117770.4
申请日：2014-03-26
Applicant: 南京邮电大学
IPC: H04L29/06
Abstract: 本发明提出一种基于局部偏序规约的控制器局域网模型验证方法，包括系统建模、模型预处理、模型性质验证等步骤。在该方法中，系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响的状态；模型性质验证在传统的验证方法的基础上，使用局部偏序规约思想，简化验证。本发明能够有效地验证相关网络协议是否满足要求，缓解验证过程中状态空间爆炸问题，给出的系统验证过程时空复杂度低。
-
公开(公告)号：CN103888460B
公开(公告)日：2017-09-12
申请号：CN201410116466.8
申请日：2014-03-26
Applicant: 南京邮电大学
IPC: H04L29/06
Abstract: 本发明所述的基于状态空间搜索的控制器局域网协议验证方法包含如下过程：系统建模、模型预处理、模型验证。在建模过程中，构建较为抽象的时间状态自动机模型，状态迁移图通过使用动态规划的思想，实现在避免产生冗余状态下的状态空间图的生成，在控制器局域网软件模型检验中，利用基于分解的状态搜索算法，进一步优化模型的状态搜索空间，使整个系统的验证过程在时间和空间复杂度达到进一步的优化，并将经过算法处理的数据输出转换为检验人员易懂的语言形式。本发明能够有效地验证相关网络协议是否满足要求，缓解验证过程中状态空间爆炸问题，实现的系统验证过程时空复杂度低。
-
公开(公告)号：CN103970652B
公开(公告)日：2016-08-17
申请号：CN201410179163.0
申请日：2014-04-29
Applicant: 南京邮电大学
Abstract: 本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则，实现软件模型转化向C语言的代码转化，最后使用有界模型检验工具对转化后的代码进行有界模型检验。本发明能够有效缓解无线传感网软件模型检验中的状态空间爆炸问题，可应用于无线传感网系统验证。
-
Patent Agency Ranking
公开(公告)号：CN103885441B
公开(公告)日：2016-05-18
申请号：CN201410116453.0
申请日：2014-03-26
Applicant: 南京邮电大学
IPC: G05B23/02
Abstract: 本发明提出一种控制器局域网的自适应故障诊断方法，以解控制器局域网总线通信中由于节点故障而可能发生的问题，从而确保整个系统的安全性。本发明提供了一种对控制器局域网故障节点检测的方法，通过自适应故障检测算法实现对系统安全性的保证。本发明所述自适应故障检测算法可以有效减少系统的硬件需求，使系统在不增加硬件的基础上达到预定功能。本发明所述自适应故障检测方法充分考虑了基于分布式控制器局域网络的工作特点，有效弥补了控制器局域网体系中信息冗余的不足，降低总线负载，提高传输效率。
-
公开(公告)号：CN103974370A
公开(公告)日：2014-08-06
申请号：CN201410177183.4
申请日：2014-04-29
Applicant: 南京邮电大学
CPC classification number: Y02D70/32
Abstract: 本发明提供一种基于瞬时分差学习的无线体域网路由方法，该方法在瞬时分差能量预测的基础上，结合动态源路由(DSR)协议，完成无线体域网的通信路由。由于无线体域网中人体节点状态离散，并且该网络是一个小型的网络，采用瞬时算法对邻居节点进行能量预测，不仅考虑该节点的剩余能量，也要考虑该节点发送一定比特信息所要损耗的能量，基于对周围节点的能量预测，使得路由的选取更具倾向性。本发明能够有效延长无线体域网的生存周期，降低无线体域网的整体能耗。
-
公开(公告)号：CN103974366A
公开(公告)日：2014-08-06
申请号：CN201410176028.0
申请日：2014-04-28
Applicant: 南京邮电大学
CPC classification number: Y02D70/30
Abstract: 本发明提供一种基于增强学习的无线体域网自组织路由方法，该方法将人体节点看成是智能化节点，将整个无线体域网构成类似多智能化节点的系统，在实施中综合考虑节点跳数、位置、人体节点的剩余能量、节点通信损耗能量，采用Q学习算法建立或更新Q值表，寻找最优路径。本发明能够在保证数据顺利传输的基础上，防止无线体域网部分节点过早死亡，均衡了网络能量，提高了网络生存周期。
-
公开(公告)号：CN103970652A
公开(公告)日：2014-08-06
申请号：CN201410179163.0
申请日：2014-04-29
Applicant: 南京邮电大学
Abstract: 本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则，实现软件模型转化向C语言的代码转化，最后使用有界模型检验工具对转化后的代码进行有界模型检验。本发明能够有效缓解无线传感网软件模型检验中的状态空间爆炸问题，可应用于无线传感网系统验证。
-
公开(公告)号：CN103974370B
公开(公告)日：2017-03-29
申请号：CN201410177183.4
申请日：2014-04-29
Applicant: 南京邮电大学
CPC classification number: Y02D70/32
Abstract: 本发明提供一种基于瞬时分差学习的无线体域网路由方法，该方法在瞬时分差能量预测的基础上，结合动态源路由(DSR)协议，完成无线体域网的通信路由。由于无线体域网中人体节点状态离散，并且该网络是一个小型的网络，采用瞬时算法对邻居节点进行能量预测，不仅考虑该节点的剩余能量，也要考虑该节点发送一定比特信息所要损耗的能量，基于对周围节点的能量预测，使得路由的选取更具倾向性。本发明能够有效延长无线体域网的生存周期，降低无线体域网的整体能耗。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.017 seconds)
