您的位置： 专家智库 > >

高阳阳

作品数：13 被引量：0H指数：0
供职机构：南京邮电大学更多>>

合作作者

文献类型

  • 13篇中文专利

主题

  • 6篇控制器
  • 6篇控制器局域网
  • 5篇软件模型
  • 5篇网络
  • 4篇通信
  • 4篇自动机
  • 4篇自动机模型
  • 4篇无线
  • 4篇路由
  • 4篇路由方法
  • 3篇无线传感
  • 3篇无线传感网
  • 3篇传感
  • 3篇传感网
  • 2篇代码
  • 2篇源代码
  • 2篇软件代码
  • 2篇软件源代码
  • 2篇搜索
  • 2篇状态迁移图

机构

  • 13篇南京邮电大学

作者

  • 13篇岳文静
  • 13篇陈志
  • 13篇高阳阳
  • 7篇王东
  • 4篇宝磊
  • 3篇岳书珍
  • 3篇陈骏

年份

  • 3篇2017
  • 3篇2016
  • 7篇2014
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于瞬时分差学习的无线体域网路由方法
本发明提供一种基于瞬时分差学习的无线体域网路由方法，该方法在瞬时分差能量预测的基础上，结合动态源路由(DSR)协议，完成无线体域网的通信路由。由于无线体域网中人体节点状态离散，并且该网络是一个小型的网络，采用瞬时算法对邻...
陈志宝磊王东岳文静朱彦沛高阳阳高显强
基于局部偏序规约的控制器局域网模型验证方法
本发明提出一种基于局部偏序规约的控制器局域网模型验证方法，包括系统建模、模型预处理、模型性质验证等步骤。在该方法中，系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响...
陈志高阳阳朱彦沛高显强岳文静
文献传递
基于有界模型检验的无线传感网软件代码验证方法
本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则...
陈志岳书珍岳文静王东党凯乐陈骏朱彦沛高阳阳高显强
文献传递
一种基于增强学习的无线体域网路由方法
本发明提供一种基于增强学习的无线体域网自组织路由方法，该方法将人体节点看成是智能化节点，将整个无线体域网构成类似多智能化节点的系统，在实施中综合考虑节点跳数、位置、人体节点的剩余能量、节点通信损耗能量，采用Q学习算法建立...
陈志宝磊王东岳文静朱彦沛高阳阳高显强
一种传感器网软件可达性验证方法
本发明提出一种传感器网软件可达性验证方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移，然后用粒子群算法对所得的软件模型进行优化，在具体实施总可以时序逻辑公式来表示无线传感网软件所需要满...
陈志岳书珍岳文静王东陈骏党凯乐朱彦沛高阳阳高显强
文献传递
基于状态空间搜索的控制器局域网协议验证方法
本发明所述的基于状态空间搜索的控制器局域网协议验证方法包含如下过程：系统建模、模型预处理、模型验证。在建模过程中，构建较为抽象的时间状态自动机模型，状态迁移图通过使用动态规划的思想，实现在避免产生冗余状态下的状态空间图的...
朱彦沛陈志高阳阳高显强岳文静
文献传递
一种控制器局域网络的自适应故障诊断方法
本发明提出一种控制器局域网的自适应故障诊断方法，以解控制器局域网总线通信中由于节点故障而可能发生的问题，从而确保整个系统的安全性。本发明提供了一种对控制器局域网故障节点检测的方法，通过自适应故障检测算法实现对系统安全性的...
陈志高显强朱彦沛高阳阳岳文静
文献传递
基于局部偏序规约的控制器局域网模型验证方法
本发明提出一种基于局部偏序规约的控制器局域网模型验证方法，包括系统建模、模型预处理、模型性质验证等步骤。在该方法中，系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响...
陈志高阳阳朱彦沛高显强岳文静
文献传递
基于有界模型检验的无线传感网软件代码验证方法
本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则...
陈志岳书珍岳文静王东党凯乐陈骏朱彦沛高阳阳高显强
文献传递
一种基于瞬时分差学习的无线体域网路由方法
本发明提供一种基于瞬时分差学习的无线体域网路由方法，该方法在瞬时分差能量预测的基础上，结合动态源路由(DSR)协议，完成无线体域网的通信路由。由于无线体域网中人体节点状态离散，并且该网络是一个小型的网络，采用瞬时算法对邻...
陈志宝磊王东岳文静朱彦沛高阳阳高显强
文献传递
全选 清除 导出
共2页<12>
聚类工具0