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

软件学报 1996年第9期7卷 559-564页

作者：余盛明李华刘慎权中国科学院计算技术研究所CAD开放实验室

分布式计算环境中基于消息传递机制的分布式共享缓冲区中，Ｃａｃｈｅ效率是算法性能的“瓶颈”．本文在分布式共享缓冲区上实现了一个并行体绘制算法．在数据空间，八叉树快速分类改善了Ｃａｃｈｅ的空间相关性；在图象空间，Ｈｉｌｂ... 详细信息

分布式计算环境中基于消息传递机制的分布式共享缓冲区中，Ｃａｃｈｅ效率是算法性能的“瓶颈”．本文在分布式共享缓冲区上实现了一个并行体绘制算法．在数据空间，八叉树快速分类改善了Ｃａｃｈｅ的空间相关性；在图象空间，Ｈｉｌｂｅｒｔ象素遍历方式改善了Ｃａｃｈｅ的时间相关性．在曙光１０００和ＳＧＩ工作站网络上的实验结果都表明，算法的网络数据传送量大大减少，Ｃａｃｈｅ效率明显提高，绘制时间大大缩短．

关键词：并行体绘制八叉树分布式计算环境图象分割

来源：评论

学校读者我要写书评

暂无评论

支持协同设计的工程数据库版本管理

引用

软件学报 1996年第11期7卷 691-697页

作者：王潜平林宗楷郭玉钗中国科学院计算技术研究所CAD开放实验室

计算机支持协同设计是计算机支持协同工作ＣＳＣＷ（ｃｏｍｐｕｔｅｒｓｕｐｐｏｒｔｅｄｃｏｏｐｅｒａｔｉｖｅｗｏｒｋ）的一个应用领域，也是ＣＡＤ技术的进一步发展．本文论述了计算机支持协同设计的基本概念、内容．讨论了用于计... 详细信息

计算机支持协同设计是计算机支持协同工作ＣＳＣＷ（ｃｏｍｐｕｔｅｒｓｕｐｐｏｒｔｅｄｃｏｏｐｅｒａｔｉｖｅｗｏｒｋ）的一个应用领域，也是ＣＡＤ技术的进一步发展．本文论述了计算机支持协同设计的基本概念、内容．讨论了用于计算机支持协同设计的工程数据库版本管理的思想、方法。

关键词：版本管理工程数据库 CSCW

来源：评论

学校读者我要写书评

暂无评论

SCANGIN:一种降低扫描测试中动态功耗的方法

引用

计算机辅助设计与图形学学报 2006年第9期18卷 1391-1396页

作者：李佳胡瑜李晓维王伟中国科学院计算技术研究所先进测试技术实验室

通过调整扫描链上扫描单元顺序与逻辑门插入相结合,以减少扫描移入阶段扫描链上不必要的状态跳变,从而达到降低测试中电路动态功耗的目的.在ISCAS’89基准电路上进行的实验表明,该方法最多能将扫描移入阶段峰值功耗降低94.5%,平均功耗降... 详细信息

通过调整扫描链上扫描单元顺序与逻辑门插入相结合,以减少扫描移入阶段扫描链上不必要的状态跳变,从而达到降低测试中电路动态功耗的目的.在ISCAS’89基准电路上进行的实验表明,该方法最多能将扫描移入阶段峰值功耗降低94.5%,平均功耗降低93.8%,而面积开销可以忽略不计.

关键词：可测试性设计动态功耗扫描链

来源：评论

学校读者我要写书评

暂无评论

基于聚类的视频字幕提取方法

引用

通信学报 2009年第2期30卷 136-140页

作者：宋砚刘安安张勇东林守勋中国科学院计算技术研究所前瞻实验室北京100190 中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100190

针对现有方法的不足,提出了一种视频中字幕提取的方法。该方法在文字定位步骤中采用多尺度文字定位以及文字区域精确化的方法;得到文字区域后,在文字分割步骤中使用一种改进的K均值聚类方法对其中的像素进行聚类,获得二值化的图像;最后... 详细信息

针对现有方法的不足,提出了一种视频中字幕提取的方法。该方法在文字定位步骤中采用多尺度文字定位以及文字区域精确化的方法;得到文字区域后,在文字分割步骤中使用一种改进的K均值聚类方法对其中的像素进行聚类,获得二值化的图像;最后用OCR软件识别得到文字。实验结果表明,该方法应用于网络视频敏感词语检测具有良好的效果。

关键词：文字提取 OCR K均值聚类

来源：评论

学校读者我要写书评

暂无评论

时序电路状态覆盖向量的遗传方法筛选

引用

计算机辅助设计与图形学学报 2006年第2期18卷 251-256页

作者：杨修涛鲁巍李晓维中国科学院计算技术研究所先进测试技术实验室

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动... 详细信息

传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转换与静态状态转换概念·同时,基于该方法给出一个测试生成工具GRTT·最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行比较·

关键词：静态状态转换动态状态转换遗传算法测试向量生成

来源：评论

学校读者我要写书评

暂无评论

数据流相关软件故障的静态检测

引用

计算机辅助设计与图形学学报 2005年第11期17卷 2477-2483页

作者：张广梅李晓维中国科学院计算技术研究所先进测试技术实验室

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量... 详细信息

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.

关键词：数据流相关的软件故障数据流分析引用-定值链故障检测

来源：评论

学校读者我要写书评

暂无评论

应用向量划分的低功耗确定性BIST方法

引用

计算机辅助设计与图形学学报 2005年第12期17卷 2690-2695页

作者：李吉韩银和李晓维中国科学院计算技术研究所先进测试技术实验室

提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,... 详细信息

提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,采用文中方法能够减少80%左右的跳变,而只需要原始Mintest测试集25%左右的测试数据存储.

关键词：确定性BIST LFSR重播种低功耗测试向量划分

来源：评论

学校读者我要写书评

暂无评论

RTL和门级结合的处理器时延测试产生方法

引用

计算机辅助设计与图形学学报 2006年第1期18卷 75-81页

作者：方红霞李华伟李晓维中国科学院计算技术研究所先进测试技术实验室

针对处理器的数据通路中的通路时延故障,提出一种基于指令集的处理器时延测试产生方法.对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测(FUPs)和潜在功能可测的(PFTPs).对PFTPs记录潜在测试指令(序列)组合,提取控制和... 详细信息

针对处理器的数据通路中的通路时延故障,提出一种基于指令集的处理器时延测试产生方法.对于每条指令提取出状态矩阵,并基于状态矩阵将通路分为功能不可测(FUPs)和潜在功能可测的(PFTPs).对PFTPs记录潜在测试指令(序列)组合,提取控制和数据约束,在门级进行有约束的非强健时延测试产生.最后的测试指令由控制指令(序列)+潜在测试指令(序列)+观测指令(序列)构成.

关键词：时延测试指令集处理器数据通路

来源：评论

学校读者我要写书评

暂无评论

深度学习检索框架的前沿探索

引用

计算机研究与发展 2018年第9期55卷 1987-1999页

作者：郭嘉丰范意兴中国科学院网络数据科学与技术重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院计算技术研究所北京100190

经过几十年的发展,信息检索技术获得了长足的进步和广泛的应用,但当前主流的搜索引擎系统距离真正智能的信息获取系统仍然有较大差距.智能信息获取系统能够对网络大数据的内容进行获取、阅读和理解,对关键语义信息实现存储和检索,并能... 详细信息

经过几十年的发展,信息检索技术获得了长足的进步和广泛的应用,但当前主流的搜索引擎系统距离真正智能的信息获取系统仍然有较大差距.智能信息获取系统能够对网络大数据的内容进行获取、阅读和理解,对关键语义信息实现存储和检索,并能够依据用户的信息需求进行推理、决策和信息生成.实现这样的系统,迫切需要在检索架构和检索模型上形成根本性的改变和理论突破.近年来,围绕智能信息获取的需求,利用深度学习检索框架展开了系统性研究,在数据表征、数据索引以及检索算法等方向上形成了一系列原创成果,在探索全新的深度学习检索架构上不断迈进.

关键词：信息检索深度学习数据表征相关匹配数据索引

来源：评论

学校读者我要写书评

暂无评论

RTL可观测性语句覆盖评估方法

引用

计算机辅助设计与图形学学报 2006年第1期18卷 62-68页

作者：鲁巍吕涛杨修涛李晓维中国科学院计算技术研究所先进测试技术实验室

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他... 详细信息

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合.实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低.

关键词：可观测性覆盖准则模拟

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：