您的位置: 专家智库 > >

国家自然科学基金(60702081)

作品数:6 被引量:4H指数:1
相关作者:徐伟强贾宇波黄成伟蔡浩王海宁更多>>
相关机构:浙江理工大学浙江大学南京邮电大学更多>>
发文基金:国家自然科学基金浙江省自然科学基金浙江省科技厅重点资助项目更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇一致性
  • 2篇移动AGEN...
  • 2篇网络
  • 2篇协议一致性测...
  • 2篇PED
  • 1篇代理
  • 1篇多径
  • 1篇移动代理
  • 1篇有限状态机
  • 1篇通信
  • 1篇通信机制
  • 1篇通信模型
  • 1篇通信失效
  • 1篇状态机
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇路由
  • 1篇路由方法

机构

  • 5篇浙江理工大学
  • 2篇浙江大学
  • 1篇南京邮电大学

作者

  • 3篇徐伟强
  • 2篇蔡浩
  • 2篇黄成伟
  • 2篇舒挺
  • 2篇孙守迁
  • 2篇贾宇波
  • 2篇王海宁
  • 1篇刘良桂
  • 1篇李文书
  • 1篇酆广增

传媒

  • 1篇计算机应用与...
  • 1篇计算机系统应...
  • 1篇电路与系统学...
  • 1篇北京邮电大学...
  • 1篇Journa...
  • 1篇浙江大学学报...

年份

  • 3篇2010
  • 1篇2009
  • 2篇2008
6 条 记 录,以下是 1-6
排序方式:
启发式探索的协议测试序列生成
2009年
为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法.该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题.实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.
舒挺孙守迁王海宁徐伟强李文书
关键词:协议一致性测试可达性分析
一种改进的移动Agent通信模型被引量:1
2010年
移动Agent系统的通信问题是阻碍其广泛应用于实践的最重要的因素之一。通过对已有的移动Agent系统通信机制的研究与分析,提出了一种改进的移动Agent通信参考模型。该参考模型分别从移动Agent命名与定位、移动Agent通信安全和移动Agent通信失效三个方面进行分析,在某种程度上解决了移动Agent的通信问题,并提高了移动Agent通信安全性。最后,对未来的工作做了展望。
黄成伟贾宇波蔡浩
关键词:移动AGENT通信机制PED通信失效
一种移动Agent安全参考模型被引量:2
2010年
移动Agent系统的安全性问题是阻碍其广泛应用于实践的最重要因素之一。通过对已有的移动Agent系统安全理论的讨论与分析,提出了一种更严密移动Agent安全参考模型。该参考模型分别从移动Agent通信安全、移动Agent服务器安全和移动Agent自身安全三个方面进行分析,在某种程度上提高了移动Agent的安全性。
黄成伟贾宇波蔡浩
关键词:移动AGENTPED
一种新的基于ACSA的ad hoc多径QoS路由方法被引量:1
2008年
ad hoc网络中基于蚁群系统算法(ACSA)的路由协议已经被广泛地研究,但其中的大部分本质上都属于单径路由协议,使得源宿之间最短路径上的主机负担加重。另一方面,由于引入了蚂蚁的正反馈机制,使得协议本身比较差的鲁棒性受到进一步的削弱,多径路由能够更好地支持QoS。本文将ACSA和链路不相交的多径路由结合起来以解决上述问题。新提出的基于ACSA的多径QoS路由方法建立和利用多条链路不相交路径来并发发送数据,并且采用信息素来分散通信流量,因此能够适应网络的动态变化和更好的支持QoS,仿真结果表明该方法要优于其他相关的算法。
刘良桂酆广增徐伟强
关键词:ADHOC网络移动代理
ESIS序列自适应生成算法
2010年
在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了提高可执行状态验证序列(ESIS)的计算效率,提出一种ESIS序列自适应生成算法.新算法采用基于可执行分析树(EAT)的可执行分析方法确保生成的ESIS序列的可执行性.引入变迁区分度因子和节点收敛度因子,计算EAT搜索树节点权重来评价当前搜索方向的正确性.利用EAT搜索树节点权重函数作为节点搜索引擎,根据当前已经搜索节点的权重自适应选择下一步搜索的目标节点,把ESIS序列自动生成问题转化为自适应搜索权重最大的EAT节点问题来解决.实验数据表明,与宽度优先可执行性分析方法相比,自适应算法具有更小的状态格局搜索空间.
舒挺孙守迁王海宁徐伟强
关键词:协议一致性测试扩展有限状态机
LOCALIZATION FOR MOBILE TARGET IN WIRELESS SENSOR NETWORKS
2008年
A precise localization for mobile target in wireless sensor networks is presented in this letter,where a geometrical relationship is explored to improve the location estimation for mobile target,in-stead of a simple centroid approach.The equations of location compensation algorithm for mobiletarget are derived based on linear trajectory prediction and sensor selective activation.The resultsbased on extensive simulation experiments show that the compensation algorithm gets better per-formance in metrics of quality of tracking and energy efficiency with the change of sensor sensing range,the ratio of sensing range and sensor activation range,and the data sampling rate than traditionalmethods,which means our proposing can achieve better quality-energy tradeoff for mobile target inwireless sensor networks.
Chen JimingCao KejieShi ZhiguoXu WeiqiangSun Youxian
关键词:无线传感器网络目标跟踪
共1页<1>
聚类工具0