您的位置： 专家智库 > >

曾雅芸

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

合作作者

文献类型

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

领域

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

主题

  • 4篇网络
  • 4篇无线传感
  • 4篇无线传感器
  • 4篇无线传感器网
  • 4篇无线传感器网...
  • 4篇感器
  • 4篇传感
  • 4篇传感器
  • 4篇传感器网
  • 4篇传感器网络
  • 3篇自动机
  • 2篇动态规划
  • 2篇形式化
  • 2篇形式化验证
  • 2篇软件模型
  • 2篇自动机模型
  • 2篇拓扑
  • 2篇拓扑结构
  • 2篇网络拓扑
  • 2篇网络拓扑结构

机构

  • 7篇南京邮电大学

作者

  • 7篇曾雅芸
  • 6篇岳文静
  • 6篇陈志
  • 2篇孙万兴
  • 2篇张亚萍
  • 2篇杨萌
  • 2篇曹壹
  • 2篇黄洵松
  • 2篇毛博

年份

  • 2篇2016
  • 3篇2014
  • 1篇2013
  • 1篇2012
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种基于控制器局域网的信息物理系统的验证方法
一种基于控制器局域网的信息物理系统的验证方法，首先通过建立基于控制器局域网的信息物理系统的验证模型，然后将待验证性质以时序逻辑公式的形式进行规范表示，进而对基于控制器局域网的信息物理系统进行验证。对基于控制器局域网的信息...
陈志曾雅芸岳文静
文献传递
一种基于控制器局域网的信息物理系统的验证方法
一种基于控制器局域网的信息物理系统的验证方法，首先通过建立基于控制器局域网的信息物理系统的验证模型，然后将待验证性质以时序逻辑公式的形式进行规范表示，进而对基于控制器局域网的信息物理系统进行验证。对基于控制器局域网的信息...
陈志曾雅芸岳文静
文献传递
基于动态规划的传感器网络软件模型检验方法
本发明是一种基于动态规划的无线传感器网络软件模型检验方法，包括系统建模、模型预处理、模型性质验证等步骤。系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响的状态；模型...
陈志黄洵松毛博曹壹岳文静曾雅芸迟文东
文献传递
一种基于模拟退火的无线传感器网络层次式路由方法
本发明提出了一种基于模拟退火的无线传感器网络层次式路由方法，该方法基于层次式的网络拓扑结构。网络中由簇内节点、簇头节点和汇聚节点共同维护层次式结构。该方法首先将无线传感器网络划分层次，构建节点的层次式结构，然后再进行数据...
陈志曾雅芸岳文静孙万兴张亚萍杨萌
文献传递
基于CAN的信息物理系统的形式化验证方法研究
信息物理系统被广泛应用于交通、医疗、能源等多个重要发展领域。控制器局域网（CAN）是一种现场总线，该总线可应用于车载信息物理系统。在上述基于CAN的信息物理系统中，保证系统的安全性和可靠性是非常重要的。但是当前对于该系统...
曾雅芸
关键词：信息物理系统CAN形式化验证方法时间自动机
文献传递
基于动态规划的传感器网络软件模型检验方法
本发明是一种基于动态规划的无线传感器网络软件模型检验方法，包括系统建模、模型预处理、模型性质验证等步骤。系统建模通过一套流程方法，建立抽象的时间状态自动机模型；模型预处理用于减少自动机中的对验证过程不产生影响的状态；模型...
陈志黄洵松毛博曹壹岳文静曾雅芸迟文东
文献传递
一种基于模拟退火的无线传感器网络层次式路由方法
本发明提出了一种基于模拟退火的无线传感器网络层次式路由方法，该方法基于层次式的网络拓扑结构。网络中由簇内节点、簇头节点和汇聚节点共同维护层次式结构。该方法首先将无线传感器网络划分层次，构建节点的层次式结构，然后再进行数据...
陈志曾雅芸岳文静孙万兴张亚萍杨萌
全选 清除 导出
共1页<1>
聚类工具0