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

第十届全国容错计算机学术会议

作者：徐勇军陈治国骆祖莹李晓维中国科学院计算技术研究所信息网络室(北京) 中国科学院计算技术研究所信息网络室(北京) 电子科技大学物理电子学院(成都) 清华大学计算机科学与技术系(北京)

随着工艺的发展,功耗成为大规模集成电路设计领域中一个关键性问题.降低电源电压是减少电路动态功耗的一种十分有效的方法,但为了保证系统性能,必须相应地降低电路器件的阈值电压,而这样又将导致静态功耗呈指数形式增长,进入深亚微米工... 详细信息

随着工艺的发展,功耗成为大规模集成电路设计领域中一个关键性问题.降低电源电压是减少电路动态功耗的一种十分有效的方法,但为了保证系统性能,必须相应地降低电路器件的阈值电压,而这样又将导致静态功耗呈指数形式增长,进入深亚微米工艺后,漏电功耗已经能和动态功耗相抗衡,因此,漏电功耗快速模拟器和低功耗低漏电技术一样变得十分紧迫.诸如HSPICE的精确模拟器可以准确估计漏电功耗,但仅仅适合于小规模电路.本文首先证实了CMOS晶体管和基本逻辑门都存在堆栈效应,然后提出了快速模拟器的漏电模型,最后通过对ISCAS85&89基准电路的实验说明了在精度许可(误差不超过3％)的前提下,本文的模拟器获得了成百倍的加速,对机器内存的需求量也获得很大降低.

关键词：漏电功耗深亚微米工艺 BSIM漏电模型堆栈效应

来源：评论

学校读者我要写书评

暂无评论

首例中国女性数字化可视人体数据集采集与可视化研究

引用

第三军医大学学报 2003年第5期25卷 394-396页

作者：张绍祥刘正津谭立文邱明国李七渝李恺崔高宇郭燕丽刘光久单锦露刘继军张伟国陈金华王健陈伟陆明游箭庞学利肖红许忠信王欲甦邓俊辉唐泽圣第三军医大学基础医学部人体解剖学教研室(计算医学研究室) 重庆400038 第三军医大学附属大坪医院野战外科研究所影像诊断科重庆400042 第三军医大学附属西南医院放射科重庆400038 第三军医大学附属西南医院肿瘤科放疗中心重庆400038 清华大学计算机科学与技术系北京100084

目的　建立中国女性数字化可视人体 (Chinesedigitizedvisiblehumanfemale)。方法　选择经肉眼观察、CT和MRI检查无器质性病变的中等身材、青年女性人体标本 1例 ,经外形测量、血管灌注后 ,用 5 %明胶包埋 ,置入 -3 0℃冰库中冰冻 1周 ... 详细信息

目的　建立中国女性数字化可视人体 (Chinesedigitizedvisiblehumanfemale)。方法　选择经肉眼观察、CT和MRI检查无器质性病变的中等身材、青年女性人体标本 1例 ,经外形测量、血管灌注后 ,用 5 %明胶包埋 ,置入 -3 0℃冰库中冰冻 1周 ,然后在 -2 5℃低温实验室中用TK 63 5 0型数控铣床 (铣切精度为 0 0 0 1mm)从头至足逐层铣切。逐层用高清晰度数码相机摄影 ,完成人体模型数据获取 ,得到人体结构数据集。利用连续断层图像数据 ,在SGI图像工作站上 ,利用本课题组自主开发的三维重建软件包进行人体结构的三维重建和立体显示。结果　所选用标本为女性 ,2 2岁 ,身高 162 0mm ,体质量 5 4kg ,非器质性疾病死亡。CT扫描层厚 :头颈部为 1 0mm ,其他部位为 2 0mm。MRI扫描层厚头部为 1 5mm ,其余部位为 3 0mm。连续横断面层厚 :头部为 0 2 5mm ,其他部位为 0 5mm ,全身共计 3 64 0个断面。数字化摄影分辨率为 62 914 5 6(3 0 72× 2 0 48)像素 ,每个断面图像文件大小为 3 6MB ,整个数据集数据量为 13 1 0 4GB。结论　①经文献检索和查新 ,仅见美国Colorado大学于 1995年 12月完成了 1例女性人体标本的数据采集。本研究结果增添了新的一例女性可视化人体的数据资料 ,其研究结果同时在国际互联网站发布 ,网?

关键词：中国女性数字化可视人体可视化断面解剖计算机三维重建

来源：评论

学校读者我要写书评

暂无评论

高性能路由器分组调度算法研究

引用

软件学报 2002年第4期13卷 621-628页

作者：江勇吴建平徐明伟清华大学计算机科学与技术系网络研究所北京100084

Internet同时面临着两个问题:更快的交换路由结构和引入服务质量（QoS）保证,每个问题都可以独立解决.高性能路由器可以用输入缓冲的交叉开关（crossbar）代替共享内存来获得更快的速度;QoS能够通过分组公平排队算法PFQ（packet fair qu... 详细信息

Internet同时面临着两个问题:更快的交换路由结构和引入服务质量（QoS）保证,每个问题都可以独立解决.高性能路由器可以用输入缓冲的交叉开关（crossbar）代替共享内存来获得更快的速度;QoS能够通过分组公平排队算法PFQ（packet fair queuing）来得到.然而到目前为止,这两个问题的解决还是互斥的——所有的分组公平排队算法研究都需要路由器采用输出排队或者集中式共享内存.基于输入输出结合排队CIOQ（combinedinput output queuing）结构,设计和实现了一种分组调度算法DF2Q（distributed feedback fair queuing）.该调度算法最重要的特征是引入了反馈机制.分析并讨论了DF2Q的性能.实验结果表明,它能够很好地避免内部拥塞和提高资源利用效率.

关键词：公组公平排队输入输出结合排队高性能路由器分组调度算法服务质量 Internet

来源：评论

学校读者我要写书评

暂无评论

路由查找算法研究综述

引用

软件学报 2002年第1期13卷 42-50页

作者：徐恪徐明伟吴建平吴剑清华大学计算机科学与技术系网络研究所北京100084

随着Internet的迅猛发展,用于主干网络互联的核心路由器的接口速率已经达到了2.5Gbps^10Gbps.这一速率要求核心路由器每秒能够转发几百万乃至上千万个以上的分组.分组转发的重要一步就是查找路由表,因此快速的路由查找算法是实现高速分... 详细信息

随着Internet的迅猛发展,用于主干网络互联的核心路由器的接口速率已经达到了2.5Gbps^10Gbps.这一速率要求核心路由器每秒能够转发几百万乃至上千万个以上的分组.分组转发的重要一步就是查找路由表,因此快速的路由查找算法是实现高速分组转发的关键.路由查找需要实现最长前缀区配.近年来,研究人员提出了多种路由查找算法,以提高查找性能.分析了路由查找问题及其难点,全面综述了各种查找算法,并对它们进行了详细的分析和比较,最后指出了进一步的研究方向.

关键词：路由器路由查找算法 IP地址 Internet

来源：评论

学校读者我要写书评

暂无评论

互联网端到端拥塞控制研究综述

引用

软件学报 2002年第3期13卷 354-363页

作者：章淼吴建平林闯清华大学计算机科学与技术系网络技术研究所北京100084

随着互联网规模的增长,互联网上的用户和应用都在快速地增长,拥塞已经成为一个十分重要的问题.近年来,在拥塞控制领域开展了大量的研究工作.拥塞控制算法可以分为两个主要部分:在端系统上使用的源算法和在网络设备上使用的链路算法.在... 详细信息

随着互联网规模的增长,互联网上的用户和应用都在快速地增长,拥塞已经成为一个十分重要的问题.近年来,在拥塞控制领域开展了大量的研究工作.拥塞控制算法可以分为两个主要部分:在端系统上使用的源算法和在网络设备上使用的链路算法.在介绍拥塞控制算法的基本概念以后,在源算法和链路算法两个方面总结了拥塞控制算法的研究现状,并分析了进一步的研究方向.

关键词：互联网拥塞控制 Internet 网络流量源算法计算机网络

来源：评论

学校读者我要写书评

暂无评论

调试器对并行程序干扰特性的研究

引用

计算机学报 2002年第2期25卷 122-129页

作者：刘建沈美明郑纬民清华大学计算机科学与技术系高性能计算技术研究所北京100084

机群系统中并行程序的执行具有不确定性 ,这种不确定性给并行程序的调试带来了困难 .并行程序的不确定性是由运行环境中的各种干扰因素造成的 .该文研究交互式调试行为对调试程序的干扰特性。

关键词：机群系统并行程序调试器不确定性干扰特性程序设计

来源：评论

学校读者我要写书评

暂无评论

Agent逻辑和真假子集语义

引用

软件学报 2002年第11期13卷 2112-2115页

作者：胡山立石纯一中国科学院软件研究所计算机科学重点实验室清华大学计算机科学与技术系北京100084

理性Agent规约的形式框架通常基于信念、愿望和意图逻辑.为了克服现有的信念、愿望和意图逻辑中存在的问题,为非正规模态算子提供一种合适的语义表示.讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑... 详细信息

理性Agent规约的形式框架通常基于信念、愿望和意图逻辑.为了克服现有的信念、愿望和意图逻辑中存在的问题,为非正规模态算子提供一种合适的语义表示.讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑中存在的问题.介绍了作者开发的真假子集语义及其在Agent形式化中的应用.他们的框架使意图的有问题的性质无效.并且证明通过对模型的代数结构施加一定的约束,能获得许多希望的性质.最后对真假子集语义进行了分析.这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示,是对经典的正规模态算子可能世界语义的一个重要发展,是理性Agent性态的逻辑规约的有力工具,可应用于建立新的合适的Agent逻辑系统.

关键词： Agent 逻辑真假子集语义人工智能

来源：评论

学校读者我要写书评

暂无评论

人体上肢姿态的估计及多解分析

引用

软件学报 2002年第11期13卷 2127-2133页

作者：任海兵徐光礻右清华大学计算机科学与技术系人机交互与媒体集成研究所北京100084

人体是复杂的变形物体(deformable objects),结构自由度多.仅仅从2D表观特征出发,很难分析和识别精细的动作,更谈不上理解用户的意图.因为手势是交流的主要方式,所以,以3D模型为基础,对人体上肢建模,重构人体上肢的3D姿态.从实用化和尽... 详细信息

人体是复杂的变形物体(deformable objects),结构自由度多.仅仅从2D表观特征出发,很难分析和识别精细的动作,更谈不上理解用户的意图.因为手势是交流的主要方式,所以,以3D模型为基础,对人体上肢建模,重构人体上肢的3D姿态.从实用化和尽可能少引入误差出发,分析了重构人体上肢姿态所必须的最少条件.在此条件下,提出了端点固定的关节模型(end-determined articulate model)及其对应的方程组,以估计各个关节点的3D坐标.然后,分析方程组解的最大可能数目,并给出相应的求解方法.最后,利用结果误差和位姿来检验解的合理性.

关键词：人体上肢姿态估计多解分析关节模型 3D重建计算机视觉

来源：评论

学校读者我要写书评

暂无评论

基于特征线条的手势识别

引用

软件学报 2002年第5期13卷 987-993页

作者：任海兵徐光祐林学訚清华大学计算机科学与技术系人机交互与媒体集成研究所北京100084

单目视觉的手势识别系统,通常把人手建模成一个像素或者一块,从整体上分析手势的运动参数并提取表观特征.从细微之处着手,融合颜色、运动和边缘等多种信息以提取能够反应人手结构特性的特征线条,并将特征线条分割成小的曲线段,跟踪这些... 详细信息

单目视觉的手势识别系统,通常把人手建模成一个像素或者一块,从整体上分析手势的运动参数并提取表观特征.从细微之处着手,融合颜色、运动和边缘等多种信息以提取能够反应人手结构特性的特征线条,并将特征线条分割成小的曲线段,跟踪这些曲线段的运动.采用平面模型对手势图像表观的变化建模,根据各个曲线段的运动,融合成手的整体运动分量.同时分析了图像坐标系的选取和对运动参数的影响,提出了随手运动的坐标系,以抽取平移不变的平面模型参数,进行手势识别.

关键词：特征线条平面模型手势识别图像处理计算机视觉

来源：评论

学校读者我要写书评

暂无评论

数字视频特技镜头转换检测算法的分析

引用

软件学报 2002年第7期13卷 1278-1283页

作者：白雪生张子银徐光祐杨士强史元春清华大学计算机科学与技术系人机交互与媒体集成研究所北京100084

随着数字设备在视频制作中的广泛应用,数字特技(DVE)也越来越多地被用于镜头转换,这就要求视频检索能有效地对DVE镜头转换进行检测.通过对DVE镜头转换的模型和特性的分析,指出了目前基于二维时空图处理算法的局限性,进而提出了一种基于... 详细信息

随着数字设备在视频制作中的广泛应用,数字特技(DVE)也越来越多地被用于镜头转换,这就要求视频检索能有效地对DVE镜头转换进行检测.通过对DVE镜头转换的模型和特性的分析,指出了目前基于二维时空图处理算法的局限性,进而提出了一种基于转换曲面的DVE检测算法以解决这个问题.并对在实际DVE视频上的镜头检测结果进行了分析,取得了很好的结果.

关键词：数字视频特技镜头转换镜头检测镜头切变时空图分析算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：