检索结果-内蒙古大学图书馆

计算机辅助设计与图形学学报 2008年第10期20卷 1345-1352页

作者：肖子枫韩冀中贺劲韩承德中国科学院计算技术研究所系统结构部

平面线段相交是计算几何的基本问题之一,通常采用基于包围盒过滤规则的平面扫描方法求解.但这些过滤规则没有利用算法执行过程中线段有效部分逐渐缩短的性质,导致候选集和冗余计算增加.通过量化包围盒的主对角线斜率,并使量化后的包围... 详细信息

平面线段相交是计算几何的基本问题之一,通常采用基于包围盒过滤规则的平面扫描方法求解.但这些过滤规则没有利用算法执行过程中线段有效部分逐渐缩短的性质,导致候选集和冗余计算增加.通过量化包围盒的主对角线斜率,并使量化后的包围盒逐渐缩小,提出更加严格的渐缩规整包围盒过滤规则.实验数据表明,相比于包围盒过滤规则,文中提出过滤规则的候选集和计算量平均分别减少16%和14%.

关键词：线段相交平面扫描包围盒渐缩规整包围盒过滤规则

来源：评论

学校读者我要写书评

暂无评论

未来互联网体系结构研究综述

引用

计算机学报 2012年第6期35卷 1109-1119页

作者：谢高岗张玉军李振宇孙毅谢应科李忠诚刘韵洁中国科学院计算技术研究所网络技术研究中心北京100190

互联网逐渐成为社会基础设施,现有TCP/IP体系结构面临诸多挑战,未来互联网体系结构成为研究热点.文中分析了现行互联网在可扩展性、动态性、安全可控性等方面面临的根本性问题,综合比较了面向可扩展性、面向动态性及可信未来互联网体系... 详细信息

互联网逐渐成为社会基础设施,现有TCP/IP体系结构面临诸多挑战,未来互联网体系结构成为研究热点.文中分析了现行互联网在可扩展性、动态性、安全可控性等方面面临的根本性问题,综合比较了面向可扩展性、面向动态性及可信未来互联网体系结构研究,讨论了相关体系结构存在的问题.实验验证是未来互联网研究的重要手段,论文进一步分析了支持互联网体系结构持续创新所需的可编程虚拟化路由器及其试验床的研究进展.论文最后讨论了未来互联网体系结构有待重点研究的相关问题.

关键词：未来互联网体系结构试验床可编程虚拟化路由器下一代网络下一代互联网

来源：评论

学校读者我要写书评

暂无评论

一种PMIPv6网络中基于流的区分服务方案

引用

计算机研究与发展 2011年第9期48卷 1571-1579页

作者：申砾张瀚文许智军张玉军李忠诚潘险峰中国科学院计算技术研究所网络技术研究中心北京100190

PMIPv6协议是由IETF提出的基于网络的区域移动性管理解决方案,其目的在于实现无需终端参与的、基于网络的IP移动性管理.PMIPv6协议仅定义了移动管理实体如何实现终端在域内移动的过程中通信不中断,但是不提供通信的服务质量保证.针对这... 详细信息

PMIPv6协议是由IETF提出的基于网络的区域移动性管理解决方案,其目的在于实现无需终端参与的、基于网络的IP移动性管理.PMIPv6协议仅定义了移动管理实体如何实现终端在域内移动的过程中通信不中断,但是不提供通信的服务质量保证.针对这个问题对PMIPv6协议进行改进,提出了一种PMIPv6域内基于流的区分服务方案.为在PMIPv6域内实现区分服务,提出了通过基于逻辑隧道的业务流区分方法和业务流与逻辑隧道的绑定方法.通过基于逻辑隧道的业务流区分方法,一对区域移动管理实体之间可以建立多条逻辑隧道,以解决PMIPv6区域移动管理实体之间数据通信共享单一隧道的问题;通过业务流与逻辑隧道的绑定方法,区域移动管理实体可以根据用户的需求为不同的业务流建立具有不同服务能力和类型的逻辑隧道并将业务流与逻辑隧道绑定,以实现为业务流提供有差别的服务.基于NS2的仿真结果证明:相比PMIPv6,可以根据各种应用对于延迟、丢包、吞吐量等服务质量参数的要求,为不同的业务流提供有差别的服务,能够更好地满足不同业务对于关键服务质量参数的要求并提供一定的服务质量保证.

关键词： PMIPv6 流区分服务 GRE封装 QoS

来源：评论

学校读者我要写书评

暂无评论

基于主动路由的无线mesh网络区域移动管理方法

引用

软件学报 2012年第7期23卷 1838-1848页

作者：张玉军张瀚文许智君中国科学院计算技术研究所网络技术研究中心北京100190

提出了一种无线mesh网络中基于主动路由的区域移动管理(active routing based intra-domain mobilitymanagement,简称ARMM)方法,将移动终端(mobile station,简称MS)的位置更新和mesh路由器(mesh route,简称MR)之间的动态路由相结合,让MR代替附着在它上面的MS进行位置管理,从而实现MR对MS的定位.给出了ARMM方法中的二层路由模型、路由算法及位置更新机制.性能分析结果表明,相对于现有的区域移动管理方法,ARMM方法具有较小的切换延时、位置更新开销和数据传输开销.

关键词：无线mesh网移动管理位置更新主动路由

来源：评论

学校读者我要写书评

暂无评论

集成电路高层故障模型间关系分析方法

引用

计算机研究与发展 2006年第2期43卷 350-355页

作者：杨修涛鲁巍李晓维中国科学院计算技术研究所信息网络研究室

集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定... 详细信息

集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定型故障模型间关系可以建立高层故障模型的评估规则,在该规则下可以再对高层故障模型间关系进行分析,以确定彼此间的覆盖关系·归纳模型间的互相覆盖以确定彼此是否包含,这有助于对高层故障模型进行评估,寻找能够对应逼近门级固定型(stuck-at)故障模型的高层故障模型序列,该模型序列有望指导新的测试生成·最后,以对ITC99中标准时序电路的实验来说明该理论方法·

关键词：高层故障模型固定型故障模型统计故障模型序列

来源：评论

学校读者我要写书评

暂无评论

针对可观测性语句覆盖准则的RTL激励生成

引用

计算机研究与发展 2005年第12期42卷 2169-2175页

作者：鲁巍吕涛杨修涛李晓维中国科学院计算技术研究所信息网络研究室

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观... 详细信息

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的·

关键词：可观测性语句覆盖准则激励生成模拟

来源：评论

学校读者我要写书评

暂无评论

分档布鲁姆过滤器的查询算法

引用

计算机学报 2007年第4期30卷 597-607页

作者：谢鲲闵应骅张大方谢高岗文吉刚湖南大学计算机与通信学院长沙410082 中国科学院计算技术研究所网络与普适计算研究部北京100080 湖南大学软件学院长沙410082

布鲁姆过滤器是一种能够简洁地表示集合并支持集合查询的数据结构,广泛应用于数据库、网络和分布式系统中.针对现有的布鲁姆过滤器没有考虑查询失效代价这一缺陷,文中提出一种新的代价敏感的分档布鲁姆过滤器查询算法.它将元素根据不同... 详细信息

布鲁姆过滤器是一种能够简洁地表示集合并支持集合查询的数据结构,广泛应用于数据库、网络和分布式系统中.针对现有的布鲁姆过滤器没有考虑查询失效代价这一缺陷,文中提出一种新的代价敏感的分档布鲁姆过滤器查询算法.它将元素根据不同的查询代价分为不同的子集,通过考查每档子集最低查询失效率的关系,建立由每档子集合最低查询失效假阳性概率表示的集合最低查询失效总代价目标函数,使用类目标函数梯度遗传算法获得每档的最优Hash函数个数ki,完成集合到向量的映射与查找.仿真实验结果表明,使用新结构的查询算法和标准布鲁姆过滤器算法相比,所用的查询计算时间基本相同,因为区分对待集合元素,查询失效总代价仅为标准算法的27%.

关键词：分档布鲁姆过滤器计算机网络分布式计算分布式消息系统集合元素查询

来源：评论

学校读者我要写书评

暂无评论

基于开放网络知识的信息检索与数据挖掘

引用

计算机研究与发展 2015年第2期52卷 456-474页

作者：王元卓贾岩涛刘大伟靳小龙程学旗中国科学院网络数据科学与技术重点实验室(中国科学院计算技术研究所) 北京100190 烟台中科网络技术研究所中国科学院计算技术研究所烟台分所山东烟台264005

网络大数据是指"人、机、物"三元世界在网络空间(cyberspace)中交互、融合所产生并在互联网上可获得的大数据.这些数据具有多源异构、交互性、时效性、社会性、突发性和高噪声等特点,不但非结构化数据多,而且数据的实时性强.... 详细信息

网络大数据是指"人、机、物"三元世界在网络空间(cyberspace)中交互、融合所产生并在互联网上可获得的大数据.这些数据具有多源异构、交互性、时效性、社会性、突发性和高噪声等特点,不但非结构化数据多,而且数据的实时性强.网络大数据背后蕴含着丰富的、复杂关联的知识.建立面向开放网络的知识库是获取网络大数据中的丰富知识的有效手段.对当前国内外主要的开放网络库进行了比较,分析了相应的构建方法、多源知识的融合以及知识库的更新等关键技术.进一步从用户意图理解、查询扩展、语义问答、线索挖据、关系推理以及关系和属性预测等方面出发,总结了基于开放网络知识库的信息检索、数据挖掘与系统应用的研究现状和主要问题.最后,对开放网络知识库的发展趋势和面临的主要挑战进行了展望.

关键词：网络大数据开放网络知识本体信息检索数据挖掘

来源：评论

学校读者我要写书评

暂无评论

极小布尔不可满足子式的提取算法

引用

计算机辅助设计与图形学学报 2004年第11期16卷 1542-1546页

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络室

研究了极小布尔不可满足子式的提取算法 ,它分为近似算法和精确算法两种文中就精确算法提出了局部预先赋值的优化方案 ,并且在理论上证明了该算法的正确性 ;通过实验显示了此算法可以获得更高的效率通过模拟实验观察到 ,利用完全算... 详细信息

研究了极小布尔不可满足子式的提取算法 ,它分为近似算法和精确算法两种文中就精确算法提出了局部预先赋值的优化方案 ,并且在理论上证明了该算法的正确性 ;通过实验显示了此算法可以获得更高的效率通过模拟实验观察到 ,利用完全算法进行近似提取的一个有趣现象 ,即随着公式密度的增加。

关键词：形式验证布尔可满足问题极小布尔不可满足子式

来源：评论

学校读者我要写书评

暂无评论

IPv6邻居发现协议测试研究

引用

计算机工程 2004年第24期30卷 79-81页

作者：孙静波张玉军李忠诚中国科学院计算技术研究所信息网络室

在对协议进行详细分析的基础上,确定了邻居发现协议一致性测试的内容,提出了适合于这些内容的测试方法以及测试生成方法。将这些研究成果应用于实际的测试工作过程中,发现并总结了目前常见的邻居发现协议实现的一些不足之处。

关键词： IPv6 邻居发现协议一致性测试基本功能测试内部状态转换

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：