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

计算机学报 2005年第10期28卷 1592-1600页

作者：黄晓璐闵应骅吴起中国科学院计算技术研究所信息网络研究室中国科学院研究生院北京100080

引入半马尔可夫模型描述网络流量特性,通过忙阈值和闲阈值的设定将网络流量划分为四种状态:忙、空闲、上升和下降,研究各状态下的网络流量特性及各状态间的相互转换关系.通过网络协议性能分析,在一定的假设条件下推出IP网络流量在处于... 详细信息

引入半马尔可夫模型描述网络流量特性,通过忙阈值和闲阈值的设定将网络流量划分为四种状态:忙、空闲、上升和下降,研究各状态下的网络流量特性及各状态间的相互转换关系.通过网络协议性能分析,在一定的假设条件下推出IP网络流量在处于忙状态时服从几何布朗运动,在空闲状态下服从正态分布,在上升状态或下降状态下服从指数分布.对广域网和局域网的实际流量数据的分析和检验表明,95%的数据均服从相应状态下的上述随机分布,同时根据此模型计算的系统平均利用率与实际统计结果之间的相对误差小于5%,说明引入的模型能真实反映网络流量特性.

关键词：网络流量模型半马尔可夫模型几何布朗运动

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络中数据包拼接方法的研究

无线传感器网络中数据包拼接方法的研究

引用

2005中国计算机大会

作者：张天乐仲伟雁中国科学院计算技术研究所信息网络室，北京100080 中国科学院研究生院北京市电信规划设计院，北京100044

节能对于资源受限制的无线传感器网络具有重要意义。研究证明：无线数据传输是无线传感器网络能量开销的主要方面，大大超过用于计算的开销。通过对包的计算处理，减少包的数量，从而降低路由转发次数，降低传输开销。在部分连接的网络... 详细信息

节能对于资源受限制的无线传感器网络具有重要意义。研究证明：无线数据传输是无线传感器网络能量开销的主要方面，大大超过用于计算的开销。通过对包的计算处理，减少包的数量，从而降低路由转发次数，降低传输开销。在部分连接的网络中以及分簇的无线传感器网络中，会有大量数据包会在节点的缓冲区逗留，对其进行必要的计算处理，可以换取数据传输的优化。本文介绍了一种数据包的处理方法：数据包的优化拼接。将大量的多种长度的碎片数据包通过多水位线搜索算法进行拼接，减少数据包的数量，达到降低传输开销的目的。

关键词：部分连接无线传感器网络拼接多水位线搜索

来源：评论

学校读者我要写书评

暂无评论

信息技术　中文编码字符集

信息技术　中文编码字符集

引用

作者：陈堃銶黄疆胡万进张建国陈壮信息产业部电子工业标准化研究所北京大学计算机技术研究所北大方正集团北京方正新天地信息网络科技有限责任公司四通集团公司中国电子信息产业发展研究院中科院软件所长城软件公司四通利方公司中软总公司金山软件公司联想集团有限公司

标准类型：国家标准

本标准作为GB/T 2311体系的编码字符标准，规定了信息技术用的中文图形字符及其二进制编码的十六进制表示。本标准适用于图形字符信息的处理、交换、存储、传输、显现、输入和输出。

标准号: GB 18030-2005

关键词：字符数据交换数据处理编码字符集汉语

来源：评论

学校读者我要写书评

暂无评论

软件的变量完整性测试方法

引用

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

作者：黄光燕李晓维中国科学院计算技术研究所信息网络室北京100080 中国科学院研究生院

由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程... 详细信息

由于软件测试用例的输出部分很难确定 ,而通过测试变量自身的定义域和变量间的一致性约束关系 ,只需要确定输出值的范围而不用知道其确切的值 ,就可以提高了错误检测的效率同时 ,检测的范围不局限于程序最后的输出结果 ,而是散布在程序中的各个有意义的变量 ,正如调试过程中设置断点观察的那些变量。

关键词：软件测试变量依赖图变量完整性程序切片

来源：评论

学校读者我要写书评

暂无评论

基于对平衡的SOC测试调度算法

基于对平衡的SOC测试调度算法

引用

第三届中国测试学术会议

作者：胡瑜韩银和李华伟吕涛李晓维中科院计算技术研究所信息网络室中科院研究生院中科院研究生院中科院计算技术研究所信息网络室中科院研究生院

随着越来越多的芯片设计采用已经过验证的IP（Intellectual Property,IP）芯核组建系统芯片,芯片的测试的复杂度大大提高,导致需要更长的时间完成系统芯片的测试。不同于以往基于单个芯核扫描链平衡的调度技术,本文提出的对平衡调度技... 详细信息

随着越来越多的芯片设计采用已经过验证的IP（Intellectual Property,IP）芯核组建系统芯片,芯片的测试的复杂度大大提高,导致需要更长的时间完成系统芯片的测试。不同于以往基于单个芯核扫描链平衡的调度技术,本文提出的对平衡调度技术是利用两个芯核配对后扫描链可能比单个芯核扫描链更平衡,获得比单平衡更短的测试时间。文中采用了粒子群优化算法以快速地搜索最优测试方案。在ITC’02基准电路上的实验结果验证了基于对平衡测试调度算法的有效性。

关键词：测试调度平衡系统芯片粒子群优化算法

来源：评论

学校读者我要写书评

暂无评论

软件的变量完整性测试方法

软件的变量完整性测试方法

引用

全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

作者：黄光燕李晓维中国科学院计算技术研究所信息网络室(北京) 中国科学院研究生院(北京) 中国科学院计算技术研究所信息网络室(北京)

本文提出变量完整性测试方法来检测软件的错误.由于测试用例的输出部分很难确定,我们通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切值,提高了错误检测的效率.同时,检测的范围不局限于程序... 详细信息

本文提出变量完整性测试方法来检测软件的错误.由于测试用例的输出部分很难确定,我们通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切值,提高了错误检测的效率.同时,检测的范围不局限于程序最后的输出结果,而是散布在程序中的各个有意义的变量,正如调试过程中设置断点观察的那些变量,检测错误更加精准.

关键词：软件测试变量依赖图变量完整性程序切片

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络室(北京) 中国科学院研究生院(北京) 中国科学院计算技术研究所信息网络室(北京) 中国科学院研究生院(北京) 浙江林学院信息系(杭州) 中国科学院计算技术研究所信息网络室(北京)

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

本文研究了提取极小布尔不可满足子式的算法.它分为近似算法和精确算法两种,该文提出了局部预先赋值的优化方案.并且在理论上证明了它的正确性,更进一步通过实验说明了该算法在效率上获得的提高.此外通过模拟实验观察到DPLL近似提取算法的一个有趣现象,即随着公式密度的增加,算法的提取误差会趋于下降.

关键词：布尔可满足问题极小布尔不可满足子式超大规模集成电路局部预先赋值

来源：评论

学校读者我要写书评

暂无评论

面向软件故障检测的数据流分析

面向软件故障检测的数据流分析

引用

全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

作者：张广梅陈蕊李晓维中国科学院计算技术研究所信息网络室(北京) 山东农业大学信息科学与工程学院(泰安) 中国科学院研究生院(北京) 中国科学院计算技术研究所信息网络室(北京) 中国科学院研究生院(北京) 中国科学院计算技术研究所信息网络室(北京)

程序中某一点的数据流状态与软件的执行路径有关.程序中的部分故障与数据流相关.文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点.根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流的各种因... 详细信息

程序中某一点的数据流状态与软件的执行路径有关.程序中的部分故障与数据流相关.文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点.根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流的各种因素及其之间的关系,提出了以基本块为最小程序单位的静态数据流分析方法,为准确地进行数据流分析提供了依据.

关键词：软件故障故障检测数据流分析应用程序

来源：评论

学校读者我要写书评

暂无评论

低测试成本、低测试功耗的SOC芯核包装方法

低测试成本、低测试功耗的SOC芯核包装方法

引用

中国科学院计算技术研究所第八届计算机科学与技术研究生学术讨论会

作者：韩银和 Anshuman Chandra 李华伟李晓维中国科学院计算技术研究所信息网络室北京100080 中国科学院研究生院北京100039 Synopsis Inc. Mountain ViewCA 94043 中国科学院计算技术研究所信息网络室北京100080

SOC测试中,需要对芯核设计包装电路,传统的串行包装方法增加了芯核的测试时间和测试功耗.研究表明,由于测试向量中存在着大量不确定位,所以测试向量中,有很多相邻扫描切片是可以重叠的.文章将提出一种并行包装方法,该包装方法利用扫描... 详细信息

SOC测试中,需要对芯核设计包装电路,传统的串行包装方法增加了芯核的测试时间和测试功耗.研究表明,由于测试向量中存在着大量不确定位,所以测试向量中,有很多相邻扫描切片是可以重叠的.文章将提出一种并行包装方法,该包装方法利用扫描切片重叠这一特点,通过缩短包装扫描链长度来减少测试时间和测试功耗.为了进一步减少测试时间,文章还提出了一种测试向量扫描切片划分和赋值算法.实验结果表明,应用并行包装方法和测试向量切片划分及赋值算法,针对ITC 2002 基准SOC集中d695,能够取得2X 的测试时间减少和20X 的测试功耗减少.

关键词： SOC测试芯核包装电路不确定位扫描切片

来源：评论

学校读者我要写书评

暂无评论

通用CPU的可测试性技术综述

通用CPU的可测试性技术综述

引用

第三届中国测试学术会议

作者：董婕李吉檀彦卓徐勇军李晓维中国科学院计算技术研究所信息网络室中国科学院研究生院

可测试性设计（Design-For-Testability,DFT）已经成为芯片设计中不可或缺的重要组成部分,它通过在芯片的原始设计中加入硬件逻辑,从而提高芯片的可测试性。在高性能通用CPU 的设计中,传统的和一些定制的可测试性技术也得到了广泛的应... 详细信息

可测试性设计（Design-For-Testability,DFT）已经成为芯片设计中不可或缺的重要组成部分,它通过在芯片的原始设计中加入硬件逻辑,从而提高芯片的可测试性。在高性能通用CPU 的设计中,传统的和一些定制的可测试性技术也得到了广泛的应用。本文将结合几款流行的CPU, 综述了可应用于通用CPU等高性能芯片设计中的各种可测试性方法,主要包括扫描设计（Scan Design）,内建自测试（Built-In Self-Test,BIST）,测试点插入（Test Point Insertion）,与IEEE 1149．1 标准兼容的边界扫描设计（Boundary Scan Design,BSD）等技术,从而可以有效地指导我们进行同类芯片的可测试性设计。

关键词：通用CPU 可测试性设计扫描测试内建自测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：