您的位置： 专家智库 > >

岳书珍

作品数：7 被引量：0H指数：0
供职机构：南京邮电大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇学位论文

领域

  • 1篇自动化与计算...

主题

  • 7篇传感
  • 7篇传感网
  • 6篇无线传感
  • 6篇无线传感网
  • 5篇软件模型
  • 3篇代码
  • 2篇语言
  • 2篇源代码
  • 2篇软件代码
  • 2篇软件源代码
  • 2篇时序逻辑
  • 2篇偏序
  • 1篇映射
  • 1篇映射规则
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇群算法
  • 1篇状态空间爆炸
  • 1篇子群
  • 1篇粒子群

机构

  • 7篇南京邮电大学

作者

  • 7篇岳书珍
  • 6篇岳文静
  • 6篇陈志
  • 3篇高阳阳
  • 3篇陈骏
  • 3篇王东
  • 1篇孙万兴
  • 1篇张亚萍
  • 1篇杨萌

年份

  • 1篇2017
  • 1篇2016
  • 4篇2014
  • 1篇2012
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种面向无线传感网的模型到代码的转化方法
本发明是一种面向无线传感网的模型到代码的转化方法，所采用的统一建模语言到代码的转换方法是基于访问者的转化方法，根据模型与代码之间的关系，定义模型与目标代码的具体映射规则，然后设置一个访问者来访问该模型，将映射规则嵌入至访...
陈志岳书珍岳文静杨萌张亚萍孙万兴
文献传递
一种传感器网软件可达性验证方法
本发明提出一种传感器网软件可达性验证方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移，然后用粒子群算法对所得的软件模型进行优化，在具体实施总可以时序逻辑公式来表示无线传感网软件所需要满...
陈志岳书珍岳文静王东陈骏党凯乐朱彦沛高阳阳高显强
文献传递
基于有界模型检验的无线传感网软件代码验证方法
本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则...
陈志岳书珍岳文静王东党凯乐陈骏朱彦沛高阳阳高显强
文献传递
基于有界模型检验的无线传感网软件代码验证方法
本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则...
陈志岳书珍岳文静王东党凯乐陈骏朱彦沛高阳阳高显强
文献传递
基于偏序简化算法的无线传感网软件模型优化方法
本发明给出一种基于偏序简化算法的无线传感网软件模型优化方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移系统，然后用偏序简化算法对所得的软件模型进行优化，之后用时序逻辑公式来表示无线传感...
陈志岳书珍岳文静朱彦沛
文献传递
基于偏序简化算法的无线传感网软件模型优化方法
本发明给出一种基于偏序简化算法的无线传感网软件模型优化方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移系统，然后用偏序简化算法对所得的软件模型进行优化，之后用时序逻辑公式来表示无线传感...
陈志岳书珍岳文静朱彦沛
基于有界模型检验的传感网软件验证方法研究
传感网是一种由具有感知、处理和无线通信能力的传感器节点通过自组织方式形成的一种多跳网络。随着传感网的迅速发展，传感网软件的规模逐渐变大，这使得不同的应用领域对传感网软件的性能都有着越来越高的要求。软件验证技术是保证软件性...
岳书珍
关键词：传感网状态空间爆炸
文献传递
全选 清除 导出
共1页<1>
聚类工具0