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

电路与系统学报 2012年第2期17卷 1-5页

作者：周韧研刘雷波魏少军清华大学移动计算研究中心北京100084 清华大学微电子学研究所北京100084 清华信息科学与技术国家实验室北京100084

提出一种超精简处理单元架构。该处理单元基于运算-跳转式单指令处理器体系。使用指令优化和内部总线上加速器,该处理单元能够执行传统算术运算式单指令处理器难于执行的高效位运算以及执行效率较低的数据转移操作。以该处理单元构成的... 详细信息

提出一种超精简处理单元架构。该处理单元基于运算-跳转式单指令处理器体系。使用指令优化和内部总线上加速器,该处理单元能够执行传统算术运算式单指令处理器难于执行的高效位运算以及执行效率较低的数据转移操作。以该处理单元构成的片上大规模并行计算阵列可用于图像处理等局部性强、实时性要求高的计算任务。包含有该处理单元架构的16 16的原型阵列已经在FPGA上实现,性能达30.7GOPS@120MHz,平均功耗39.5mW。

关键词：超精简处理单元并行计算图像处理

来源：评论

学校读者我要写书评

暂无评论

基于DAG表示与产生式的IGES装配体数据交换算法

引用

图学学报 2012年第4期33卷 50-58页

作者：黄靖王斌胡楷模张慧清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室北京100084 清华大学计算机科学与技术系北京100084

初始图形交换规范(IGES)是目前应用最为广泛的中性文件格式标准之一,但是相关的研究主要集中在单零件的格式转换上面,对设计中经常用到的装配体的IGES格式研究较少。该文总结了常用CAD软件中装配体导出的IGES文件存储格式,提出并实现了... 详细信息

初始图形交换规范(IGES)是目前应用最为广泛的中性文件格式标准之一,但是相关的研究主要集中在单零件的格式转换上面,对设计中经常用到的装配体的IGES格式研究较少。该文总结了常用CAD软件中装配体导出的IGES文件存储格式,提出并实现了一种基于图表示与产生式规则的IGES装配体数据交换算法,将IGES格式的解析过程标准化,使其具有通用性和可扩展性,并且正确性可以进行形式化验证。应用该方法,该文具体实现了多文件格式的装配体IGES前置和后置处理器。在几何造型系统TiGems7.0中进行的实验结果表明该算法具有较快的速度,也具有较好的鲁棒性。

关键词：初始图形交换规范装配体数据交换有向无环图产生式

来源：评论

学校读者我要写书评

暂无评论

一种基于Paxos算法的证券交易系统内存复制方法研究

引用

计算机科学 2012年第12期39卷 139-144,166页

作者：黄晓东张勇邢春晓黄寅飞武剑锋白硕清华大学信息技术研究院北京100084 清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室北京100084 上海证券交易所技术中心上海200120

近年来随着高速网络技术的发展与高频交易需求的增加,提升交易速度成为电子商务交易提供者的重要关切。当前交易系统通常采用基于共享存储的主备机复制方法来保证高可用性与数据持久性,但因其存在持久化的性能瓶颈而无法进一步降低延迟... 详细信息

近年来随着高速网络技术的发展与高频交易需求的增加,提升交易速度成为电子商务交易提供者的重要关切。当前交易系统通常采用基于共享存储的主备机复制方法来保证高可用性与数据持久性,但因其存在持久化的性能瓶颈而无法进一步降低延迟。为此,提出一种基于Paxos算法的内存数据复制方法,即通过消息传递完成主备机复制,以保证结点间数据的一致性,容忍可能发生的良性故障;并以证券交易系统场景为例对其进行分析。实验结果表明,相比基于共享存储的主备机复制,该方法在万兆以太网环境下可将交易系统订单处理延迟由毫秒级降至百微秒级,并在主机故障时正确地完成热备切换。

关键词：数据复制高可用性低延迟交易系统 Paxos算法

来源：评论

学校读者我要写书评

暂无评论

GPU上的水彩画风格实时渲染及动画绘制

引用

图学学报 2012年第3期33卷 73-80页

作者：王妙一王斌雍俊海清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084

论文提出了一种基于GPU的对三维场景进行实时水彩画效果渲染的方法。该方法的大部分过程使用图像空间的技术实现。算法将画面分为细节层、环境层、笔触层分别渲染,再进行合成。在过程中使用环境遮挡、shadow mapping等技术进行快速的阴... 详细信息

论文提出了一种基于GPU的对三维场景进行实时水彩画效果渲染的方法。该方法的大部分过程使用图像空间的技术实现。算法将画面分为细节层、环境层、笔触层分别渲染,再进行合成。在过程中使用环境遮挡、shadow mapping等技术进行快速的阴影计算,并使用图像滤镜的方法模拟水彩的多种主要特征。由于该方法以图像空间的技术为主,因此可以利用GPU并行处理的特点对计算过程进行加速,进而达到实时的渲染速度。最后建立动画脚本分析系统,进行实时动画渲染,表明该方法在计算机动画、游戏等数字娱乐产业领域有较大的应用潜力。

关键词：非真实感渲染水彩 GPU 动画

来源：评论

学校读者我要写书评

暂无评论

基于BIP框架的DPU系统建模与验证

引用

计算机应用研究 2012年第8期29卷 2961-2966页

作者：黄崇迪万海顾明陈睿清华大学软件学院北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学清华信息科学与技术国家实验室(筹) 北京100084 北京控制工程研究所北京100190

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为... 详细信息

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。

关键词：数据处理单元行为—交互—优先级框架形式化方法建模验证

来源：评论

学校读者我要写书评

暂无评论

物联网产业是推动两化融合的典型代表——清华大学物联网专家曹军威

引用

计算机光盘软件与应用 2013年第8期16卷 10-10页

作者：曹军威清华大学信息技术研究院清华大学院务委员会清华信息科学与技术国家实验室公共平台与技术部

记者：曹教授，您如何看待当前中国物联网产业的发展现状和前景？

关键词：物联网清华大学产业专家

来源：评论

学校读者我要写书评

暂无评论

基于位图索引的无线传感器网络可靠传输协议

引用

计算机工程 2012年第21期38卷 63-66页

作者：周韧研刘雷波尹首一魏少军清华大学移动计算研究中心清华大学微电子学研究所北京100084 清华信息科学与技术国家实验室北京100084

根据无线传感器网络中大量上行数据流实时传输的需求,提出一种基于位图索引的可靠传输协议(BRDT)。该协议使用迭代方式完成一组大量数据的传输。每次迭代的上行数据流采用无重传传输以减少延迟,并采用可靠后项传输传送带有错误标识的位... 详细信息

根据无线传感器网络中大量上行数据流实时传输的需求,提出一种基于位图索引的可靠传输协议(BRDT)。该协议使用迭代方式完成一组大量数据的传输。每次迭代的上行数据流采用无重传传输以减少延迟,并采用可靠后项传输传送带有错误标识的位图索引以恢复丢失数据。在已有低功耗无线图像传感器网络Z-EYE系统中实现并进行验证,结果表明,与RMST协议相比,BRDT对下层的服务需求少,在网络质量较差的情况下,BRDT的性能明显优于NACK重传方法,在同等测试条件下,BRDT的传输效率优于PSFQ协议。

关键词：无线传感器网络无线图像传感器网络可靠传输位图索引终端-网关错误恢复

来源：评论

学校读者我要写书评

暂无评论

汉语声母感知清晰度计算方法的探讨

汉语声母感知清晰度计算方法的探讨

引用

第十届中国语音学学术会议(PCC2012)

作者：贾珈王永鑫张逸嘉田业蔡莲红普适计算教育部重点实验室清华信息科学与技术国家实验室(筹)清华大学计算机科学与技术系

人耳特别是患耳对于声母的感知能力往往弱于对韵母的感知。研究汉语声母的感知特性,对临床听力评估具有重要的现实意义。本文将人耳对不同声母感知的难易程度定义为该声母的感知清晰度,并探讨了汉语声母感知清晰度的可计算问题。具体为... 详细信息

人耳特别是患耳对于声母的感知能力往往弱于对韵母的感知。研究汉语声母的感知特性,对临床听力评估具有重要的现实意义。本文将人耳对不同声母感知的难易程度定义为该声母的感知清晰度,并探讨了汉语声母感知清晰度的可计算问题。具体为,从言语声学特征的角度,挖掘汉语不同声母的关键区分特征;通过言语测听实验,分析关键区分特征与声母感知清晰度之间的相关性;进而采用线性回归策略,提出了一种基于关键区分特征的声母感知清晰度的计算方法。实验结果表明,该方法可以为规范听障言语测听的语料提供必要的技术支持。

关键词：难易程度声学特征

来源：评论

学校读者我要写书评

暂无评论

肿瘤热疗计划系统的研究进展

引用

计算机应用研究 2012年第12期29卷 4407-4411页

作者：卓子寒翟伟明刘玲玲蔡东阳李一戈唐劲天清华大学工程物理系粒子技术与辐射成像教育部重点实验室医学物理与工程研究所北京100084 清华大学计算机科学与技术系智能技术与系统国家重点实验室清华信息科学与技术国家实验室北京100084 天津医科大学医学影像学院天津300070

通过大量文献资料的调研和分析,针对目前国内外热疗计划系统的重要研究进展进行分类回顾,包括通用系统设计、发展过程与现状等,基于调查结果对热疗计划系统目前存在的关键技术问题进行总结,最后探讨和提出了热疗计划系统进一步研究和发... 详细信息

通过大量文献资料的调研和分析,针对目前国内外热疗计划系统的重要研究进展进行分类回顾,包括通用系统设计、发展过程与现状等,基于调查结果对热疗计划系统目前存在的关键技术问题进行总结,最后探讨和提出了热疗计划系统进一步研究和发展的可能性。

关键词：肿瘤热疗计划系统适形热疗温度场分布

来源：评论

学校读者我要写书评

暂无评论

云中数据管理:系统与实践

引用

数据与计算发展前沿 2012年第6期 18-25页

作者：杨广文姜进磊黄小猛清华大学计算机科学与技术系清华信息科学与技术国家实验室(筹) 清华大学地球系统科学研究中心

我们正处在一个大数据的时代,海量的数据无论是对数据的存储还是管理都带来了一系列的挑战。云存储作为应对挑战的一种有效方式已经受到人们的重视并获得了蓬勃的发展,然而构造一个优秀的云存储系统并不是一件容易的事情,面临诸多技术... 详细信息

我们正处在一个大数据的时代,海量的数据无论是对数据的存储还是管理都带来了一系列的挑战。云存储作为应对挑战的一种有效方式已经受到人们的重视并获得了蓬勃的发展,然而构造一个优秀的云存储系统并不是一件容易的事情,面临诸多技术难题。本文介绍了清华大学在云中数据管理方面所做的工作,包括分布式文件系统Carrier和数据存储与共享服务Corsair的设计实现及其在校园云存储中的应用情况,其目的是为云存储系统的构建提供借鉴,从而更好的应对大数据的挑战。

关键词：云计算云存储大数据数据共享

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：