国家自然科学基金(60241004)

作品数：55被引量：150H指数：8
导出分析报告
相关作者：赵保华屈玉贵周颢刘桂英郭雄辉更多>>
相关机构：中国科学技术大学中国科学院中国科学院软件研究所更多>>
相关期刊：《电子技术应用》《中国科学技术大学学报》《计算机学报》《计算机仿真》更多>>
相关主题：无线传感器网络TCL被动测试有限状态机协议一致性测试更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对Yahalom-Paulson协议的分析与改进被引量：1
《中国科学技术大学学报》2010年第1期98-102,共5页陆超 周颢 赵保华 
国家自然科学基金重大研究计划(90104010);国家自然科学基金(60241004);国家重点基础研究发展(973)计划(2003CB314801)资助
对原始Yahalom-Paulson协议和Backes与Pfitzmann的简化Yahalom-Paulson协议进行分析,指出各自协议中存在的漏洞.原始协议中存在类型缺陷攻击,简化协议中存在重放攻击导致协议参与实体间会话密钥不一致.对Yahalom-Paulson协议作出改进并...
关键词：Yahalom-Paulson协议 类型缺陷攻击 串空间 
无线Adhoc网络中的负载平衡广播路由算法被引量：3
《通信学报》2008年第7期129-134,共6页胡甜 周颢 赵保华 
国家自然科学基金资助项目(60602016,60241004);国家重点基础研究发展计划(“973”计划)基金资助项目(2003CB314801);国家高技术研究发展计划“(863”计划)基金资助项目(2007AA01Z428);华为基金资助项目(YJCB2006044TS)~~
在无线Ad hoc网络中,由于节点的能量有限,如果过分消耗一部分节点的能量使这些节点退出,这样将会影响整个网络的连通性,因而能量的负载平衡成为了一个核心问题,针对该问题提出了一个时间复杂度是O(n2)的贪心算法--WMST(weighted minimum...
关键词：无线ADHOC网络 广播路由 负载平衡 生命期 
基于TCL的DHCP协议冒烟测试
《电子技术应用》2008年第6期125-128,共4页方毅 赵保华 
国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金项目(60241004);国家973重点基础研究发展规划项目(CB314801);华为基金资助项目(YJCB2006044TS)
介绍了基于TCL的协议冒烟测试系统,对DHCP协议进行形式化分析,生成EFSM图,采用UIO方法生成一致性测试序列,并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试,在实际应用中取得了较好的测试效率,缩短了产品研发周期,...
关键词：协议测试 冒烟测试 一致性测试 
WSN随机调度覆盖算法的子集划分最优解被引量：8
《中国科学技术大学学报》2008年第3期225-229,共5页刘永生 周颢 赵保华 
国家自然科学基金重大研究计划(90104010);国家自然科学基金(60602016 ,60241004);中国高技术研究发展(863)计划(2003CB314801);华为基金(YJCB2006062 WL)资助
随机调度覆盖算法实现对传感器进行随机调度,是利用传感器之间的覆盖冗余来延长网络的寿命.为此采用概率模型对随机调度覆盖算法进行分析,并且当被监测区域的面积和监测时间给定以后,在覆盖强度、传感器密度、能量节约和网络寿命的约束...
关键词：无线传感器网络 随机调度覆盖算法 子集划分 传感器数量 
无线传感器网络路由协议中的恶意节点发现和定位机制被引量：3
《中国科学技术大学学报》2008年第3期235-240,共6页蒋元曦 赵保华 
国家自然科学基金重大研究计划(90104010);国家自然科学基金(60602016,60241004);中国高技术研究发展(863)计划(2003CB314801);华为基金(YJCB2006062 WL)资助
恶意节点的存在会给无线传感器网络带来一系列的安全隐患.为此提出一种基于多路径和回馈的恶意节点发现和定位机制.将该机制应用于路由协议,可以有效地抑制恶意节点给网络带来的侵害.
关键词：无线传感器网络 恶意节点 发现和定位 
基于层次结构的IS-IS协议一致性测试
《计算机工程》2007年第18期134-136,共3页康鑫 周颢 赵保华 
国家自然科学基金资助重大研究计划项目(90104010);国家自然科学基金资助项目(60241004);国家"863"计划基金资助项目(2001AA121016);国家"973"计划基金资助项目(2003CB314801)
根据IS-IS协议的特点,提出了对IS-IS协议划分层次进行一致性测试的方法,对IS-IS协议划分层次的方法可以消除测试用例之间的依赖性,减少协议实现中的不一致给测试过程带来的影响,并能够增加测试的覆盖度和可信度。运用该系统对多个IS-IS...
关键词：IS-IS 一致性测试 层次 
基于P2P的SIP用户定位研究被引量：1
《小型微型计算机系统》2007年第10期1755-1759,共5页邓勇 屈玉贵 赵保华 刘桂英 
国家自然科学基金重大研究计划项目(90104010)资助;国家自然科学基金项目(60241004)资助;国家"九七三"计划项目(2003CB314801)资助;中国科学院计算机科学重点实验室基础研究课题基金项目资助.
针对利用P2P算法实现SIP用户定位的时延比较大的问题,提出了一种降低SIP用户定位时间的方法.利用底层网络的拓扑结构将P2P网络分层,SIP用户同时在自己所在的低层逻辑网络和整个P2P覆盖网上进行注册;查找用户时,在每一层上应用Chord算法...
关键词：SIP P2P CHORD 
一种改进的转换可执行分析测试序列生成算法被引量：8
《中国科学技术大学学报》2007年第9期1096-1100,共5页赵保华 陈波 屈玉贵 
国家自然科学基金重大研究计划资助(90104010);国家自然科学基金(60241004);国家重点基础研究发展(973)计划资助(2003CB314801);网络与交换技术国家重点实验室开放课题的资助
为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出(unique input/output,UIO)序列,在数据流部分采用全定义...
关键词：协议测试 扩展有限状态机 转换可执行分析 
一种无信标无线传感器网络中的目标定位策略被引量：3
《计算机应用》2007年第8期1835-1838,共4页蔡志强 谷雨 胡燏翀 许胤龙 
国家自然科学基金资助项目(60241004);国家973计划资助项目(2003CB314801)
无信标无线传感器网络的传感器节点通常是按照一定的概率,以分组形式部署,为实现其定位和动态节点跟踪,提出了的无信标定位发现策略,在已有的部署之上,建立模型去反映目标位置和监测传感器探测信息之间的内在关系,同时还建立了预测模型...
关键词：系统设计 预测模型 贝叶斯理论 最大似然估计 
基于无线传感器网络的战场目标跟踪被引量：11
《传感器与微系统》2007年第7期118-120,共3页李志刚 屈玉贵 蔺智挺 刘桂英 赵保华 
国家自然科学基金重大研究计划资助项目(90104010);国家自然科学基金资助项目(60241004);国家973计划资助项目(2003CB314801);信息产业部基金资助项目(2005C56)
基于无线传感器网络,对目标定位跟踪应用进行了研究。在对目标定位跟踪时,如何既保证跟踪精度又能有效降低能量消耗,针对这个问题,提出了一种简便的加权坐标质心定位方法,通过对目标的定位,给出了一种基于测量信息的跟踪方法,方法实现...
关键词：无线传感器网络 目标定位 目标跟踪 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部