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

移动IP的切换特征分析(英文)

引用

软件学报 2005年第7期16卷 1305-1313页

作者：赵庆林李忠诚冯丽杨建华中国科学院计算技术研究所信息网络室北京100080 香港大学数学系

移动IP是一种简单的、可扩展的全球移动管理方案.从理论上分析了移动IP的切换特征??分组丢失和分组乱序的概率分布.应用这个结果,优化了重叠区域半径.实例表明,模型准确地刻画了移动IP的切换行为.结果对于评价移动IP的切换性能非常有用.

关键词：移动IP 蜂窝重叠分组丢失分组乱序

来源：评论

学校读者我要写书评

暂无评论

组合电路功耗敏感性统计分析

引用

计算机辅助设计与图形学学报 2005年第1期17卷 122-128页

作者：徐勇军韩银和李华伟李晓维中国科学院计算技术研究所信息网络室北京100080 中国科学院研究生院北京100039

功耗已经成为集成电路设计的一个十分重要的问题对于一个给定的电路 ,其功耗是与输入密切相关的 ,即对于不同的输入向量集 ,同一电路可能会有不同的功耗功耗敏感性定义了由于原始输入的改变而引起的功耗变化特性文中给出了基于信号... 详细信息

功耗已经成为集成电路设计的一个十分重要的问题对于一个给定的电路 ,其功耗是与输入密切相关的 ,即对于不同的输入向量集 ,同一电路可能会有不同的功耗功耗敏感性定义了由于原始输入的改变而引起的功耗变化特性文中给出了基于信号置 1概率和跳变率传输特性的功耗敏感性分析方法 ,并详细阐述了它在无时延动态功耗估计和静态功耗估计中的应用实验结果表明 ,它在保证了较好精度的条件下 ,大大降低了估计时间 ;另外 ,这一方法还可以应用于时延动态功耗估计、在特定向量集上的动态及静态功耗估计。

关键词：功耗估计功耗敏感性信号置1概率 Shannon展开

来源：评论

学校读者我要写书评

暂无评论

通用CPU设计验证中的等价性检验方法

引用

计算机辅助设计与图形学学报 2005年第2期17卷 230-235页

作者：李光辉邵明李晓维浙江林学院信息工程学院杭州311300 中国科学院计算技术研究所信息网络研究室

针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性 ,提出了目前应用最广泛的一种形式验证方法———等价性检验在一款通用CPU设计验证中的应用方案 ,包括寄存器传输级 (RTL)设计与门级网表、门级网表与门级网表、RT... 详细信息

针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性 ,提出了目前应用最广泛的一种形式验证方法———等价性检验在一款通用CPU设计验证中的应用方案 ,包括寄存器传输级 (RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证此外 ,给出了验证过程中一些常见问题的解决办法验证结果表明了该方法的可行性。

关键词：形式验证模拟等价性检验比较点匹配

来源：评论

学校读者我要写书评

暂无评论

面向芯核设计的功耗层次化管理策略

引用

计算机辅助设计与图形学学报 2005年第5期17卷 1079-1084页

作者：陈静华陈迪平徐勇军张志敏李晓维湖南大学应用物理系长沙410082 中国科学院计算技术研究所信息网络研究室北京100080

在对现有的各种低功耗设计技术和动态功耗管理策略进行研究的基础上,提出了一种适合于面向芯核设计的层次化电路功耗层次化管理策略及其实现方法通过让系统在处于空闲状态时迅速进入极低功耗模式的方法来降低功耗,不但能很好地完成复杂... 详细信息

在对现有的各种低功耗设计技术和动态功耗管理策略进行研究的基础上,提出了一种适合于面向芯核设计的层次化电路功耗层次化管理策略及其实现方法通过让系统在处于空闲状态时迅速进入极低功耗模式的方法来降低功耗,不但能很好地完成复杂系统的功耗管理功能,而且具有较好的可扩展性将此方法应用于一款数百万门级的片上系统设计中的实验结果表明,在对芯片面积和性能影响不大的情况下,在很大程度上实现了功耗管理。

关键词：层次化功耗管理片上系统时钟门控

来源：评论

学校读者我要写书评

暂无评论

一种应用于SoC的总线系统模拟验证方法

引用

计算机辅助设计与图形学学报 2005年第10期17卷 2220-2226页

作者：岳华伟徐勇军张志敏易波中国科学技术大学物理系合肥230026 中国科学院计算技术研究所信息网络室北京100080 中国科学院计算技术研究所计算机体系结构研究室北京100080

提出一种基于模拟仿真和覆盖率分析的方法.通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间... 详细信息

提出一种基于模拟仿真和覆盖率分析的方法.通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间,得到了预期的验证结果.

关键词：片上系统总线系统验证覆盖率分析

来源：评论

学校读者我要写书评

暂无评论

一种基于GIS的网络层次化地图模型及实现算法

引用

计算机工程 2005年第6期31卷 12-15,86页

作者：王恺杨峰毕经平中国科学院计算技术研究所信息网络室北京100080

大型计算机网络地域分布广,网元数目众多,传统网络管理系统以网络拓扑这种虚拟空间的方式实现网络的监控管理,没有充分利用网元的地理位置信息,网络监控和管理存在不便之处。地理信息系统(GIS)的应用能够赋予网络监控管理系统清晰直观... 详细信息

大型计算机网络地域分布广,网元数目众多,传统网络管理系统以网络拓扑这种虚拟空间的方式实现网络的监控管理,没有充分利用网元的地理位置信息,网络监控和管理存在不便之处。地理信息系统(GIS)的应用能够赋予网络监控管理系统清晰直观、易于监控和管理的特性。通过建立一种基于 GIS 的网络层次化地图模型,系统解决了网络拓扑与 GIS 地图有效结合这一问题,实现了在 GIS 地图中网络拓扑与运行状态信息的层次化管理,给出了网络 GIS 地图的生成、维护的非递归算法。模型和算法的有效性和完备性在大型网络性能监测与分析系统 NIPMAS 中得到了实际验证。

关键词：地理信息系统网络管理层次化地图模型

来源：评论

学校读者我要写书评

暂无评论

SIP可视电话系统的信令流分析

引用

计算机工程与应用 2005年第15期41卷 157-159,165页

作者：何彬张国清中国科学院计算技术研究所信息网络室北京100080

文章从会话初始协议SIP(SessionInitiationProtocol)的基本概念出发,首先描述了SIP可视电话系统中的协议栈结构、功能实体部署图和在IPv6下的运行环境,接着重点分析了通信域内速拨和域间直拨两种呼叫方式中的SIP信令流程,最后总结了该... 详细信息

文章从会话初始协议SIP(SessionInitiationProtocol)的基本概念出发,首先描述了SIP可视电话系统中的协议栈结构、功能实体部署图和在IPv6下的运行环境,接着重点分析了通信域内速拨和域间直拨两种呼叫方式中的SIP信令流程,最后总结了该系统中体现出的SIP协议优势。

关键词：会话初始协议信令流可视电话 IPv6

来源：评论

学校读者我要写书评

暂无评论

基于主动测试的HTTP业务性能分析

引用

计算机研究与发展 2005年第3期42卷 493-500页

作者：范超谢高岗张大方李忠诚湖南大学计算机与通信学院长沙410082 中国科学院计算技术研究所信息网络研究室北京100080 湖南大学软件学院长沙410082

Web业务在当前Internet流量中占有重要地位,而网络路径对HTTP业务性能的影响直接决定了用户可察觉的Web服务器访问的响应时间和页面下载速率的差异.通过主动业务仿真方法,测量端到端路径HTTP业务的性能表现,分析了业务响应时间的构成与... 详细信息

Web业务在当前Internet流量中占有重要地位,而网络路径对HTTP业务性能的影响直接决定了用户可察觉的Web服务器访问的响应时间和页面下载速率的差异.通过主动业务仿真方法,测量端到端路径HTTP业务的性能表现,分析了业务响应时间的构成与分布特征,发现对同一页面在不同时间访问的下载速率表现出高可变性,证明常用的基于均值-标准差的性能故障检测判别方法并不完全适用于该类性能参数,提出了基于盒式图的端到端路径HTTP业务性能故障检测算法.

关键词：主动测试业务仿真 HTTP性能分析故障检测

来源：评论

学校读者我要写书评

暂无评论

芯片验证分析及测试流程优化技术

引用

计算机辅助设计与图形学学报 2005年第10期17卷 2227-2231页

作者：韩银和李晓维罗飞茵林建京陈宇川朱小荣中国科学院计算技术研究所信息网络室北京市微电子技术研究所北京100076 泰瑞达(上海)有限公司上海201206

分析了不同测试项目对于一款采用0.18μm工艺流片的高性能通用处理器芯片失效的发现能力.以失效分析的数据作为基本数据结构,提出了测试项目有效性和测试项目耗费时间的折中作为启发式信息的优化算法,利用该算法生成的测试流程可以减少... 详细信息

分析了不同测试项目对于一款采用0.18μm工艺流片的高性能通用处理器芯片失效的发现能力.以失效分析的数据作为基本数据结构,提出了测试项目有效性和测试项目耗费时间的折中作为启发式信息的优化算法,利用该算法生成的测试流程可以减少失效芯片的测试时间.该算法和动态规划算法相比,计算复杂度从O(dn2n)降低到O(dn3).最后用实验数据证明了该算法的有效性.

关键词：失效分析实速测试动态规划算法启发式搜索算法

来源：评论

学校读者我要写书评

暂无评论

IPv6协议安全问题研究

引用

中国科学院研究生院学报 2005年第1期22卷 30-37页

作者：张玉军田野中国科学院计算技术研究所信息网络研究室北京100080

全面分析了IPv6协议本身的内在安全特性和附加的外在安全特性 .在此基础上 ,分析了IPv6可能遇到的安全问题 ,包括针对内部数据结构的安全威胁、可移动性面临的安全威胁 ,以及IPv6对现有安全体系结构的挑战 .对相应的安全问题 ,详细描述... 详细信息

全面分析了IPv6协议本身的内在安全特性和附加的外在安全特性 .在此基础上 ,分析了IPv6可能遇到的安全问题 ,包括针对内部数据结构的安全威胁、可移动性面临的安全威胁 ,以及IPv6对现有安全体系结构的挑战 .对相应的安全问题 ,详细描述了问题的来源和特性 ,并提出了解决这些问题的技术方案 .

关键词： IPv6协议安全问题内部数据结构移动性网络安全体系结构

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：