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

计算机研究与发展 2005年第7期42卷 1277-1282页

作者：韩银和李晓维李华伟中国科学院计算技术研究所信息网络室

测试向量响应压缩电路分为组合压缩电路和时序压缩电路两种.提出一种新的时序压缩电路:锥-压缩器.由于该电路是单输出的,所以总能保证最大压缩率.根据扫描测试中故障出现的特点,通过引入等价概念和两条设计规则来保证该响应压缩电路能... 详细信息

测试向量响应压缩电路分为组合压缩电路和时序压缩电路两种.提出一种新的时序压缩电路:锥-压缩器.由于该电路是单输出的,所以总能保证最大压缩率.根据扫描测试中故障出现的特点,通过引入等价概念和两条设计规则来保证该响应压缩电路能够避免2,3和任何奇数个错误位抵消的情况.这两条设计规则同样适用于处理测试响应中出现未知位的情况.提出的基于随机选取生成算法可以自动生成该压缩电路.最后用实验数据从性能和代价两方面分析了锥-压缩器的适用性.

关键词：错误位抵消未知位屏蔽异或网络多输入移位寄存器

来源：评论

学校读者我要写书评

暂无评论

动态内存错误的静态检测

引用

计算机辅助设计与图形学学报 2005年第3期17卷 400-406页

作者：张广梅李晓维中国科学院计算技术研究所信息网络室

内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在在程序中 ,动态内存管理错误是导致动态内存错误的根本原因动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确... 详细信息

内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在在程序中 ,动态内存管理错误是导致动态内存错误的根本原因动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确定动态内存变量之间存在的过程内和过程间的路径别名关系 ,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析。

关键词：动态内存错误路径别名分析稀疏控制流图程序调用图

来源：评论

学校读者我要写书评

暂无评论

求解可满足问题的调查传播算法以及步长的影响规律

引用

计算机学报 2005年第5期28卷 849-855页

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

该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题利用局部搜索算法来求解.文中所谓步长是指在每一次迭代收敛之... 详细信息

该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题利用局部搜索算法来求解.文中所谓步长是指在每一次迭代收敛之后根据赋值倾向进行赋值的变量个数.该文根据模拟实验观察到步长对调查传播算法的影响规律,即随着步长的递增,算法的时间耗费以及算法的有效性都有近似单调递减的趋势.

关键词：可满足问题因子图调查传播算法局部搜索算法相变

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

测试数据压缩和测试功耗协同优化技术

引用

计算机辅助设计与图形学学报 2005年第6期17卷 1307-1311页

作者：韩银和李晓维中国科学院计算技术研究所信息网络室

提出一种新的压缩编码———VariableTail对测试数据进行压缩.建立了两个优化模型,并提出了一种测试向量排序和不确定位定值算法.利用该算法不仅能提高测试压缩率,而且能降低测试时待测电路上损耗的功耗.理论分析和ISCAS85,ISCAS89电路... 详细信息

提出一种新的压缩编码———VariableTail对测试数据进行压缩.建立了两个优化模型,并提出了一种测试向量排序和不确定位定值算法.利用该算法不仅能提高测试压缩率,而且能降低测试时待测电路上损耗的功耗.理论分析和ISCAS85,ISCAS89电路的实验结果验证了文中编码和算法的有效性.

关键词：测试数据压缩测试功耗 Golomb编码海明距离

来源：评论

学校读者我要写书评

暂无评论

IPv6邻居发现协议测试研究

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于双核扫描链平衡的SoC测试调度

引用

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

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

由于芯核的测试时间与芯核内最长扫描链的长度成正比,通过将SoC中的芯核进行成对匹配,使双芯核内最长的扫描链比两个单芯核内最长的扫描链短,从而缩短测试时间.利用粒子群优化算法和分合策略,高效地匹配芯核、设置芯核的测试顺序并分配... 详细信息

由于芯核的测试时间与芯核内最长扫描链的长度成正比,通过将SoC中的芯核进行成对匹配,使双芯核内最长的扫描链比两个单芯核内最长的扫描链短,从而缩短测试时间.利用粒子群优化算法和分合策略,高效地匹配芯核、设置芯核的测试顺序并分配测试总线,以获得优化的测试计划.在ITC’02基准SoC集上的实验结果表明,相对于其他基于单核扫描链平衡的测试调度技术而言,文中的测试调度技术能获得具有最短测试时间的测试计划.

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

来源：评论

学校读者我要写书评

暂无评论

基于ARMA模型的网络流量预测

引用

计算机研究与发展 2002年第12期39卷 1645-1652页

作者：邹柏贤刘强中国科学院计算技术研究所信息网络室北京100080

随着计算机网络的迅速发展 ,目前的网络规模极为庞大和复杂 ,因此发生各种问题的可能性也越大 ,同时管理网络的难度也增大 .传统的网络管理是在告警之后 ,解决潜在的问题 ,即为一种响应式的行为 ,这时候网络服务很可能已经受到影响 .根... 详细信息

随着计算机网络的迅速发展 ,目前的网络规模极为庞大和复杂 ,因此发生各种问题的可能性也越大 ,同时管理网络的难度也增大 .传统的网络管理是在告警之后 ,解决潜在的问题 ,即为一种响应式的行为 ,这时候网络服务很可能已经受到影响 .根据实际采集的非单播包数的观测值序列 ,建立该流量参数的正常行为 ,然后平稳化该序列 ,估计出网络流量的 ARMA(2 ,1)模型 ,用线性最小均方误差预测方法 ,对网络流量进行预测 ,并检测在将来超越阈值的可能性和发生时间 .这样 ,在网络过载发生之前 ,可以预先采取防范措施 ,来保证网络的正常服务 .这种方法改变了以往的网络管理响应方式。

关键词： ARMA模型网络流量预测计算机网络网络管理

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：