国家自然科学基金(60673155)

作品数：15被引量：41H指数：4
导出分析报告
相关作者：张大方缪力邹赛谢鲲陈中更多>>
相关机构：湖南大学衡阳师范学院中国科学院香港理工大学更多>>
相关期刊：《微电子学与计算机》《Chinese Journal of Electronics》《福建电脑》《通信学报》更多>>
相关主题：SPIN传感器网络无线传感器网络NETWORK_SECURITYBT流量更多>>
相关领域：自动化与计算机技术化学工程电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
An index-split Bloom filter for deep packet inspection被引量：2
《Science China(Information Sciences)》2011年第1期23-37,共15页HUANG Kun ZHANG DaFang 
supported by the National Natural Science Foundation of China(Grant Nos.90718008,60673155);the National Basic Research Program of China(Grant No.2007CB310702)
Deep packet inspection （DPI） scans both packet headers and payloads to search for predefined sig- natures. As link rates and traffic volumes of Internet are constantly growing, DPI is facing the high performance cha...
关键词：network security packet processing deep packet inspection hash table Bloom filter 
基于自适应波束天线自组网的能量效率拓扑控制被引量：3
《电子学报》2010年第6期1399-1404,共6页李晓鸿 张大方 陈文斌 王东 
国家973重点基础研究发展计划(No.2007CB310702);国家自然科学基金(No.60673155)
针对自适应波束定向天线自组网,运用样方统计法推导自组网高概率连通的关键传输半径和邻居数K,提出一种基于邻居数的分布式拓扑控算法DK-Neigh,构建结点出度等于(或略小于)K的有向连通拓扑图.仿真结果表明:DK-Neigh可以保证网络连通率大...
关键词：自组网 定向天线 拓扑控制 能量效率 
基于计数布鲁姆过滤器的快速多维包分类算法被引量：8
《电子学报》2010年第5期1046-1052,共7页谢鲲 赵姣姣 张大方 毕夏安 
国家自然科学基金(No.60673155);国家自然科学基金重大研究计划(No.90718008);国家973重点基础研究发展计划(No.2007CB310702)
本文从数据包匹配规则的聚集特性出发,将计数布鲁姆过滤器和哈希表相结合,设计并实现了一种高效的多维包分类算法CBHT(Counting Bloom filter and Hash Table).基于包匹配规则的聚集特性,对于五维包分类问题,CBHT算法首先利用计数布鲁...
关键词：包分类 计数布鲁姆过滤器 哈希表 
基于无线传感器网络的数据交换算法的研究
《微电子学与计算机》2009年第4期166-169,173,共5页邹赛 徐雨明 邹飞 陈中 
国家自然科学基金项目国防基础科研项目(60673155);"十一五"项目(A1420060162);湖南省教育厅项目(08D066);衡阳师范学院青年项目(08A33)
研究数据交换算法对延长无线传感器网络具有重大意义,基于节点整体交换算法,提出了数据域交换算法;理论分析与实验测试结果表明,算法在时间复杂度与空间复杂度方面比整体交换算法更优胜.
关键词：数据交换 传感器网络 节点交换 
基于正方形网格剖分的无线传感器网络方向性路由算法的研究被引量：3
《传感技术学报》2008年第5期819-822,共4页邹赛 梁小满 张大方 王雷 陈中 欧阳陈华 
国家自然科学基金资助项目国防基础科研资助(60673155);“十一五”项目资助(A1420060162);湖南省自然科学基金资助(03JJY3098);湖南省教育厅项目资助(07016);衡阳师范学院教改项目资助(jy0605);衡阳师范学院青年项目资助(2006A24);湖南省科技厅项目资助(2006JK3010)
作为一种新型的无线自组网络,传感器网络在环境与军事监控,地震与气候预测、等许多方面都具有广泛的应用前景。基于网格剖分的思想,提出了一种基于正方形网格剖分的无线传感器方向性路由算法.新算法中,Sink节点首先将其目标区域剖分为...
关键词：传感器网络 正方形网格剖分 方向性分区路由 
基于Spin的UML状态图模型检查的设计与实现被引量：3
《计算机工程与应用》2008年第10期43-47,共5页郭伟 缪力 张大方 闵应骅 
国家部委基础科研“十一五”项目;国家自然科学基金(the National Natural Science Foundation of China under Grant No.60673155)
UML已经是软件建模方面的标准语言,UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,Statechart往往包含设计者所未预料到的隐患,通过模型检查来对Statechart进行穷举检验就成为一个重要课题,首...
关键词：模型检查 STATECHART Statechart山脉算法 迁移提取 SPIN 
IEEE802.11中WEP认证协议的SPIN模型检测被引量：4
《计算机工程与设计》2008年第3期590-591,600,共3页金秀 张大方 缪力 
国家自然科学基金项目(60673155);国防基础科研“十一五”基金项目(A1420060162)
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语...
关键词：WEP协议 模型检测 认证 协议分析 逻辑验证 状态搜索 协议漏洞 
联合多维布鲁姆过滤器查询算法被引量：8
《通信学报》2008年第1期56-64,共9页谢鲲 秦拯 文吉刚 张大方 谢高岗 
国家自然科学基金资助项目(60673155,90604015,60703097);湖南省科技计划基金资助项目(2006FJ4110);广东省科技计划基金资助项目(2007B01020043)~~
分析了现有多维布鲁姆过滤器查询算法(MDBF)工作原理,提出了一种改进的两步表示和查询的联合多维布鲁姆过滤器(CMDBF)查询算法。CMDBF新增一个用于表示元素整体的联合布鲁姆过滤器CBF,CMDBF中元素表示和查找分两步进行。将MDBF的各属性...
关键词：计算机网络 分布式计算 分布式消息系统 集合元素查询 多维布鲁姆过滤器 
程序模型检测的两阶段框架
《计算机应用》2007年第12期3089-3091,共3页缪力 张大方 
国家自然科学基金资助项目(60673155)
模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性。基于对这两种程序模型检测方...
关键词：程序模型检测 流分析 SPIN 程序分析 
基于MP、RUP对软件过程的研究
《福建电脑》2007年第12期1-2,共2页曾卫 徐雨明 魏书堤 邹赛 
国家自然科学基金资助项目国防基础科研(60673155)资助;"十一五"项目(A1420060162)资助;湖南省自然科学基金(03JJY3098)资助;衡阳师范学院教改项目(jy0605)资助;衡阳师范学院青年项目(2006A24)资助;湖南省科技厅项目(2006JK3010)资助;2005衡阳师范学院<软件工程>重点课程资助
随着软件规模的扩大,软件危机进一步加深,软件过程的研究越来越重要。本文基于微软过程与传统的统一建模过程对软件过程进行了研究。采二者的优点,补二者的不足,提出了MRUP软件过程,通过实践比较,在中小型软件开发,更加优于二者。
关键词：微软过程 RATIONAL统一过程 MRUP过程 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部