您的位置: 专家智库 > >

国家自然科学基金(60673155)

作品数:15 被引量:54H指数:4
相关作者:张大方缪力邹赛谢鲲陈中更多>>
相关机构:湖南大学衡阳师范学院中国科学院更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划湖南省自然科学基金更多>>
相关领域:自动化与计算机技术化学工程电子电信更多>>

文献类型

  • 13篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 6篇网络
  • 2篇无线传感
  • 2篇无线传感器
  • 2篇无线传感器网
  • 2篇无线传感器网...
  • 2篇感器
  • 2篇SPIN
  • 2篇传感
  • 2篇传感器
  • 2篇传感器网
  • 2篇传感器网络
  • 1篇带宽
  • 1篇带宽测量
  • 1篇定向天线
  • 1篇多维包分类算...
  • 1篇形式化
  • 1篇形式化方法
  • 1篇载荷
  • 1篇载荷分析
  • 1篇识别技术

机构

  • 11篇湖南大学
  • 3篇中国科学院
  • 3篇衡阳师范学院
  • 1篇香港理工大学

作者

  • 9篇张大方
  • 4篇缪力
  • 3篇邹赛
  • 2篇谢鲲
  • 2篇陈中
  • 2篇徐雨明
  • 2篇黎文伟
  • 1篇金秀
  • 1篇闵应骅
  • 1篇梁小满
  • 1篇欧阳陈华
  • 1篇王雷
  • 1篇毕夏安
  • 1篇秦拯
  • 1篇陈文斌
  • 1篇文吉刚
  • 1篇王东
  • 1篇魏书堤
  • 1篇曾彬
  • 1篇李晓鸿

传媒

  • 2篇电子学报
  • 2篇计算机应用
  • 1篇通信学报
  • 1篇计算机工程与...
  • 1篇微电子学与计...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇传感技术学报
  • 1篇福建电脑
  • 1篇Journa...
  • 1篇Tsingh...

年份

  • 3篇2010
  • 1篇2009
  • 5篇2008
  • 5篇2007
15 条 记 录,以下是 1-10
排序方式:
WPathload:一种改进的可用带宽测量方法研究
针对Pathload可用带宽测量方法存在收敛慢、开销大的问题,文章基于时延变化的统计规律,改进发送速率调整算法,提出了一种Pathload可用带宽测量方法的改进方法(WPathload),并采用周期流组到达目的端的速率代...
曾彬张大方黎文伟谢高岗
关键词:可用带宽带宽测量网络测试
文献传递
基于自适应波束天线自组网的能量效率拓扑控制被引量:3
2010年
针对自适应波束定向天线自组网,运用样方统计法推导自组网高概率连通的关键传输半径和邻居数K,提出一种基于邻居数的分布式拓扑控算法DK-Neigh,构建结点出度等于(或略小于)K的有向连通拓扑图.仿真结果表明:DK-Neigh可以保证网络连通率大于96%;当天线波束宽度小于60度时,DK-Neigh的结点节能比全向天线K-Neigh算法提高15%.DK-Neigh在保证网络高概率连通的同时减少结点能耗,提高网络能量效率.
李晓鸿张大方陈文斌王东
关键词:自组网定向天线拓扑控制能量效率
Improving Rollback-Recovery Efficiency by Tuning Pessimism Grain
2007年
Wide-area systems are becoming a popular infrastructure for long-running applications. Rollback- recovery, as a common technology for fault tolerance and load balance, must meet the challenges of scalability and inherent variability in such applications. Most of the rollback-recovery protocols, however, are poor in scalability. Although pessimistic message logging protocols have no such problem, their fault-free overhead sometimes is prohibitive. Aiming at good scalability and acceptable overhead, this paper introduces the concept of pessimism grain and presents a coarse-grained pessimistic message-logging scheme. The paper also evaluates the impact of pessimism grain on the performance of the recovery scheme. Experimental results show that pessimism grain is one of the key configuration parameters to reach a desired performance level. In practice, the proper pessimism grain should be selected based on the characteristics of the applications.
杨金民张大方李建勋程京
关键词:ROLLBACKRECOVERYSCALABILITYPROTOCOL
程序模型检测的两阶段框架被引量:3
2007年
模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性。基于对这两种程序模型检测方法各自优缺点的分析,提出了一种两阶段程序模型检测框架,通过结合两种程序模型检测方法,可有效提高程序模型检测对较大规模程序的适用性。
缪力张大方
关键词:SPIN
联合多维布鲁姆过滤器查询算法被引量:11
2008年
分析了现有多维布鲁姆过滤器查询算法(MDBF)工作原理,提出了一种改进的两步表示和查询的联合多维布鲁姆过滤器(CMDBF)查询算法。CMDBF新增一个用于表示元素整体的联合布鲁姆过滤器CBF,CMDBF中元素表示和查找分两步进行。将MDBF的各属性的表示和查询作为第一步,第二步联合元素所有属性域,利用CBF完成元素整体的表示和查询确认。理论分析和仿真实验结果表明,CMDBF能够支持多维集合元素的简洁表示和查询,相比MDBF查询误判率降低明显。
谢鲲秦拯文吉刚张大方谢高岗
关键词:计算机网络分布式计算
基于正方形网格剖分的无线传感器网络方向性路由算法的研究被引量:4
2008年
作为一种新型的无线自组网络,传感器网络在环境与军事监控,地震与气候预测、等许多方面都具有广泛的应用前景。基于网格剖分的思想,提出了一种基于正方形网格剖分的无线传感器方向性路由算法.新算法中,Sink节点首先将其目标区域剖分为正方形网格,并将得到的剖分信息广播给网络中的所有传感器节点,并构造目标区域的近似最小连通覆盖集。然后计算每个网格到Sink节点最近的网格的最短相对长度,通过这个最短相对长度构建多条路径。在路由时节点采用休眠机制进行方向性路由。算法分析和仿真实验表明,新算法与能量多路径路由算法比较,它在整个网络的寿命等方面具有更优的性能。
邹赛梁小满张大方王雷陈中欧阳陈华
关键词:传感器网络
基于MP、RUP对软件过程的研究
2007年
随着软件规模的扩大,软件危机进一步加深,软件过程的研究越来越重要。本文基于微软过程与传统的统一建模过程对软件过程进行了研究。采二者的优点,补二者的不足,提出了MRUP软件过程,通过实践比较,在中小型软件开发,更加优于二者。
曾卫徐雨明魏书堤邹赛
关键词:RATIONAL统一过程
基于有效载荷分析的BT流量识别技术被引量:12
2007年
为提高现有BT流量识别技术的准确性,通过分析BT协议和BT实际传输数据,找出BT传输过程中必会出现的各种固定字串,以之作为特征字串,从而利用增加特征字串个数来提高识别准确性。实验表明,对比现有的技术,该方法能提高识别的准确性,克服因未捕获握手包而无法识别数据流的缺陷。
李明伟张大方曾彬黎文伟
关键词:网络流量
一种自动化模型检测ANSI-C程序的实用方法被引量:4
2010年
模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。为了利用模型检测技术,通常的办法是手工构建一个抽象模型,然而这个方法存在一些不足,如成本过高、易引入建模错误等。本文提出了一种自动化模型检测ANSI-C程序的方法,并开发了模型提取工具C2Spin,它能够分析ANSI-C源代码,并生成对应的PROMELA验证模型,从而显著降低了建模的开销。利用C2Spin,模型检测工具SPIN可以自动地检测使用C语言编写的应用程序中的多种错误,如死锁等。在初步实验中,依靠C2Spin生成的模型,我们发现了SPIN4.3.0的一个语义错误,以及Holzmann对两个经典互斥算法的实现程序中的活锁错误。这些结果表明,C2Spin能够帮助人们更加快速有效地测试C程序。
王大伟张大方缪力
关键词:形式化方法PROMELA
IEEE802.11中WEP认证协议的SPIN模型检测被引量:7
2008年
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。
金秀张大方缪力
关键词:WEP协议逻辑验证状态搜索协议漏洞
共2页<12>
聚类工具0