国防基础科研计划(A1420060162)

作品数：13被引量：42H指数：5
导出分析报告
相关作者：张大方谢鲲缪力谢高岗曾彬更多>>
相关机构：湖南大学中国科学院香港理工大学衡阳师范学院更多>>
相关期刊：《计算技术与自动化》《计算机应用》《系统仿真学报》《计算机工程与设计》更多>>
相关主题：对等网络流量控制LINUXTC可用带宽测量更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向流量控制的可扩展策略库的设计与实现
《计算机科学》2008年第12期250-253,共4页刘潇潇 张大方 谢鲲 姜玉蓉 
国防基础科研"十一五"项目(A1420060162);湖南省科技计划资助项目(2006GK3101)
Linux提供了一套功能强大的流量控制机制,成为当前实现网络QoS的重要工具。针对制定流量控制方案时带宽划分精度和粒度难以权衡,采用单一队列调度算法实施流量整形效果不尽如人意等问题,提出了基于可扩展策略库的流量控制管理方案,在Li...
关键词：流量控制 流量整形 可扩展策略库 LINUX 
LINUX进程间通信的模型检测
《计算机科学》2008年第10期295-299,共5页姜玉蓉 缪力 张大方 刘潇潇 
国家自然科学基金项目(60673155;60703097);国防基础科研"十一五"项目资助(A1420060162)
模型检测是一种强大的自动分析验证技术。分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,继而转换成SPIN的输入语言PROMELA,对其进行模型检测,验证了系统的有界性和可终止性,并就进程间通信中容...
关键词：模型检测 LINUX 进程间通信 SPIN 系统验证 
基于H.323协议的VoIP语音流量识别被引量：6
《计算机应用》2008年第9期2204-2206,共3页毕夏安 张大方 谢鲲 牟晓玲 
国防基础科研"十一五"项目(A1420060162)
通过分析H.323协议和H.323协议的会话流程,基于H.323协议的VoIP通信过程中出现的会话特征,提取出通信双方的元组信息来识别整个会话流量,设计出相应的流存储、搜索、更新方案和识别VoIP流量的算法。实验表明,该方法能够准确识别基于H.32...
关键词：H.323 会话 业务流 流量识别 
BH-3hBAC：一种稳定的MANET分簇策略被引量：5
《系统仿真学报》2008年第6期1523-1528,共6页陈嘉宁 谢高岗 张大方 曾彬 
国防基础科研“十一五”项目(A1420060162)
移动自组织网络(MANET)是一种无需基础设施支持的新型无线网络,其具有很大的动态性。分簇作为一种提高网络可扩展性的方法,在移动自组织网络中有着广泛的应用。在分簇策略3hBAC的基础上,引入了簇头备份机制,提出了一种稳定的MANET分簇策...
关键词：移动自组织网络 分簇策略 BH-3hBAC 簇头备份机制 
BitTorrent系统中一种近似全局最少优先的文件块选择策略被引量：3
《计算机应用研究》2008年第5期1419-1421,共3页王利娥 黄昆 张大方 
国防基础科研“十一五”规划项目(A1420060162)
提出了一种近似全局最优的文件块选择策略——种子覆盖网。在BitTorrent系统中,所有种子自组成一个应用层覆盖网,每个种子保存已上传文件块信息;种子响应请求时通过种子覆盖网查找下载者感兴趣且上传数目最少的文件块上传。模拟实验表明...
关键词：对等网络 文件块选择 近似全局最少优先 局部最少优先 
基于IXP2400的流量控制实现被引量：1
《计算机应用》2008年第5期1107-1110,共4页谢希 张大方 谢鲲 刘天明 
国防基础科研“十一五”基金项目(A1420060162)
网络流量控制(TC)是为了保证网络中不同服务的需要,在确保业务可靠性、时延、时延抖动、吞吐量、包丢失率的前提下,充分利用各调度机制对网络中各种业务流的状态所进行的控制。网络处理器平台提供了高效灵活的处理机制,优化了网络包处...
关键词：流量控制 IXP2400 ToS字段 网络处理器 
布鲁姆过滤器代数运算探讨被引量：8
《电子学报》2008年第5期869-874,共6页谢鲲 张大方 文吉刚 谢高岗 尤志强 
国防基础科研“十一五”规划(No.A1420060162)
本文探讨布鲁姆过滤器的代数运算和集合查询的关系,定义布鲁姆过滤器的"并","交","异或","补","差"代数运算,从理论和实验两方面分析布鲁姆过滤器的代数运算和集合代数运算并集,交集,异或集,补集,差集的元素查询关系.理论分析和实验结...
关键词：计算机网络 分布式计算 分布式消息系统 集合元素查询 代数运算 
基于主动测试的流媒体业务性能测量工具设计与实现被引量：5
《计算机应用》2008年第4期832-836,共5页曾彬 张大方 张玫 
国防基础科研“十一五”项目(A1420060162)
流媒体业务是推动下一代互联网发展的主要动力之一,对其性能的测量极为重要。根据流媒体业务性能测量的要求,借鉴主动测试技术,从端用户角度提出了合理反映流媒体业务性能的指标,分析了精确测量性能指标的方法,从而设计并实现了基于主...
关键词：主动测试 流媒体 性能测量 
IEEE802.11中WEP认证协议的SPIN模型检测被引量：4
《计算机工程与设计》2008年第3期590-591,600,共3页金秀 张大方 缪力 
国家自然科学基金项目(60673155);国防基础科研“十一五”基金项目(A1420060162)
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语...
关键词：WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞 
结构化对等网中一种副本概率选择算法
《计算机应用研究》2008年第2期543-545,共3页朱娴淑 黄昆 张大方 
国家自然科学基金资助项目(60473031);国防基础科研"十一五"资助项目(A1420060162)
结构化P2P系统常采用为热点文档创建副本的方法,降低存有热点文档节点的负载。从如何高效利用副本的角度出发,提出了一种副本概率选择算法(PRS),采用能者多劳的思想,请求数据包以较大的概率转发到负载轻的副本节点上。让轻负载节点分担...
关键词：对等网络 分布式哈希表 负载平衡 副本选择 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部