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

光电工程 2008年第10期35卷 116-120页

作者：宋亦旭杨泽红李世昌赵雁南清华大学计算机系智能技术与系统国家重点实验室信息科学与技术国家实验室北京100084

高精度的预对准是设计现代光刻机硅片传输系统需要解决的核心问题之一。首先介绍了预对准单元的设计及实现:预对准机构包括旋转台、对心台和升降台,采用线阵CCD作为传感器进行硅片边缘检测,采用圆拟合方法进行硅片圆心和缺口的定位,对... 详细信息

高精度的预对准是设计现代光刻机硅片传输系统需要解决的核心问题之一。首先介绍了预对准单元的设计及实现:预对准机构包括旋转台、对心台和升降台,采用线阵CCD作为传感器进行硅片边缘检测,采用圆拟合方法进行硅片圆心和缺口的定位,对预对准方法的有效性进行了试验验证。然后,给出了硅片传输系统的构成和控制流程,并对系统定位另一个关键部分计算硅片偏心的重定位环节进行了简要介绍。最后,给出了输片重复精度的试验结果。试验结果表明,在此预对准单元基础上实现的硅片传输系统可以有效提高输片精度。

关键词：预对准硅片传输控制系统

来源：评论

学校读者我要写书评

暂无评论

基于HMM语音合成的语调控制

引用

清华大学学报（自然科学版） 2013年第6期53卷 781-786页

作者：王永鑫贾珈张雨辰蔡莲红清华大学计算机科学与技术系清华信息科学与技术国家实验室普适计算教育部重点实验室北京100084

语调是语音分析和合成领域关注的重要课题,可计算的语调模型是实现语调控制的关键。该文分析了大规模语句的音节音高在句子中的变化,归纳了语调模式。陈述语调主要表现为基调的升降和音高下倾;疑问语调主要特点是疑问焦点的音高提升和... 详细信息

语调是语音分析和合成领域关注的重要课题,可计算的语调模型是实现语调控制的关键。该文分析了大规模语句的音节音高在句子中的变化,归纳了语调模式。陈述语调主要表现为基调的升降和音高下倾;疑问语调主要特点是疑问焦点的音高提升和调型变化。该文提出了一种陈述语调归一化描述方法,以及疑问语调调型差异模型。利用基于隐Markov模型的语音合成系统的控制机制,实现了对语调的控制。实验表明:基于陈述句语调归一化描述方法模拟了陈述句语调的变化,基于疑问语调调型差异模型实现了陈述到疑问语调的转换。语调控制使合成语音的表现力得到了提高。

关键词：语调控制语调基于隐Markov模型(HMM)语音合成语调模型

来源：评论

学校读者我要写书评

暂无评论

普适计算模式下的人机交互

引用

计算机学报 2007年第7期30卷 1041-1053页

作者：徐光祐陶霖密史元春张翔清华信息科学与技术国家实验室普适计算研究部北京100084 清华大学计算机科学与技术系北京100084

普适计算使得信息空间与人们生活的物理空间相融合,与此相应人机接口也将随之扩展到人们生活工作的整个三维物理空间．因此需要研究物理空间中的人机交互方式．在传统的计算模式下,交互环境的物理因素不影响人机交互．而在普适计算的模... 详细信息

普适计算使得信息空间与人们生活的物理空间相融合,与此相应人机接口也将随之扩展到人们生活工作的整个三维物理空间．因此需要研究物理空间中的人机交互方式．在传统的计算模式下,交互环境的物理因素不影响人机交互．而在普适计算的模式下,用户和环境的物理因素将成为交互的重要因素,这将使人机交互的性质产生一系列的变化,其中包括:人机交互本质上是与信息空间的交互;交互接口扩展到日常生活的用品和环境;动态的人机交互上下文;蕴含人机交互．

关键词：普适计算人机交互物理空间信息空间觉察上下文隐式人机交互

来源：评论

学校读者我要写书评

暂无评论

生物信息学社区中图形界面软件的共享方案

引用

华中科技大学学报（自然科学版） 2011年第S1期39卷 184-187页

作者：彭辉姜进磊方睿武永卫清华信息科学与技术国家实验室(筹) 北京100084 清华大学计算机科学与技术系北京100084

分析了目前几种可用的图形界面软件的共享方案在中国国家网格生物信息学社区环境下的可行性,提出了一种新的共享图形界面软件的方案.该方案从3个方面进行了改进:从应用-虚拟机服务模式切换到应用-应用服务模式;采用NX远程控制协议代替... 详细信息

分析了目前几种可用的图形界面软件的共享方案在中国国家网格生物信息学社区环境下的可行性,提出了一种新的共享图形界面软件的方案.该方案从3个方面进行了改进:从应用-虚拟机服务模式切换到应用-应用服务模式;采用NX远程控制协议代替原有的VNC协议;增加用户数据的自动挂载功能.实验结果表明:新方案服务器端的负载更小,对网络带宽的需求更低.

关键词：图形用户界面软件共享生物信息学社区中国国家网格网格计算远程控制协议虚拟计算

来源：评论

学校读者我要写书评

暂无评论

生物信息学社区数据空间的设计与实现

引用

华中科技大学学报（自然科学版） 2011年第S1期39卷 180-183页

作者：张金姜进磊方睿武永卫清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室(筹) 北京100084

针对现有网格系统缺乏专有文件系统,导致数据在终端与网格间的传递以及数据在网格环境中的迁移、共享与管理比较困难的问题,利用清华云计算平台,以其中的分布式文件系统Carrier为底层、Corsair为存储管理软件,为用户设计了数据空间.系... 详细信息

针对现有网格系统缺乏专有文件系统,导致数据在终端与网格间的传递以及数据在网格环境中的迁移、共享与管理比较困难的问题,利用清华云计算平台,以其中的分布式文件系统Carrier为底层、Corsair为存储管理软件,为用户设计了数据空间.系统的共享机制分为3个层次:为每个用户分配一定数目的个人私有空间;为每个组分配相应的存储空间;为生物信息学领域的热点资源建立全局共享的存储空间.设计的数据空间实现了层次化的数据共享与管理,为类似问题的解决提供了一种思路.

关键词：生物信息学中国国家网格数据共享云计算分布式文件系统

来源：评论

学校读者我要写书评

暂无评论

基于自适应光标的图形用户界面输入效率优化

引用

软件学报 2012年第9期23卷 2522-2532页

作者：喻纯史元春清华大学计算机科学与技术系北京100084 信息科学与技术国家实验室普适计算研究部北京100084

提高图形用户界面(graphical user interface)的输入效率,是人机交互中的一项重要研究内容.已有的研究包括点击增强技术和自适应界面技术,前者改变光标的控制方式或呈现方式,后者改变界面上控件的位置布局,但两种技术都存在不足.通过分... 详细信息

提高图形用户界面(graphical user interface)的输入效率,是人机交互中的一项重要研究内容.已有的研究包括点击增强技术和自适应界面技术,前者改变光标的控制方式或呈现方式,后者改变界面上控件的位置布局,但两种技术都存在不足.通过分析界面操作,提出了图形用户界面输入效率的评价模型;然后,在此基础上提出一种人机交互效率优化技术:自适应光标.它以自适应的方式,有选择地对界面上用户可能访问的控件通过点击增强技术支持,实现快速访问.该方法既解决了以往的自适应界面技术因频繁调整控件布局而给用户带来额外认知成本的问题,也克服了点击增强技术仅适用于稀疏控件布局的限制.为了检验其可用性,在控件较多的Visual Studio上实现了自适应光标技术.实验结果表明,使用自适应光标技术可以将获取目标的时间缩短27.7%,显著提高了图形用户界面的输入效率.

关键词：输入效率图形用户界面卫星光标自适应界面

来源：评论

学校读者我要写书评

暂无评论

视角无关的动作识别

引用

软件学报 2008年第7期19卷 1623-1634页

作者：黄飞跃徐光祐普适计算教育部重点实验室清华信息科学与技术国家实验室(筹)清华大学计算机科学与技术系北京100084

人体动作识别是计算机视觉中一个流行而且重要的研究课题.当观察视角发生变化时,动作识别变得格外困难.至今为止,关于动作识别和手势识别的大多数研究工作都是围绕着视角相关的表达展开的.有一小部分利用了视角不变的表示开展研究,可是... 详细信息

人体动作识别是计算机视觉中一个流行而且重要的研究课题.当观察视角发生变化时,动作识别变得格外困难.至今为止,关于动作识别和手势识别的大多数研究工作都是围绕着视角相关的表达展开的.有一小部分利用了视角不变的表示开展研究,可是它们大多数存在一些缺陷,比如缺少用于识别的足够信息,依赖鲁棒的语义特征点的检测或者是点对应.为了解决这个问题,实现视角无关、动作人无关的动作识别,提出了"包容形状"的表示,这种表示不依赖于特定视角.在人体动作识别中,人的身体旋转通常是引起视角变化的主要原因.包容形状充分利用了两个正交摄像机拍摄的轮廓信息以去除由人的身体旋转产生的影响.从来自两个正交的摄像机拍摄的外轮廓,可以很容易计算得到包容形状.利用包容形状的体态表示和隐马尔可夫模型,取得了非特定人、任意视角下动作识别的很好的实验结果.这些实验结果也表明了包容形状包含有足够区分度的信息.同时提出了包客形状的扩展表示,以便在两个摄像机并不完全正交的更为一般的摄像机配置条件下也可以应用,这极大地加强了其实用价值.

关键词：动作识别视角无关包容形状隐马尔可夫模型

来源：评论

学校读者我要写书评

暂无评论

机器人灵巧手的触觉分析与建模

引用

机器人 2013年第4期35卷 394-401页

作者：萧伟孙富春刘华平清华大学计算机科学与技术系智能技术与系统国家重点实验室清华信息科学与技术国家实验室北京100084

为实现机器人灵巧手的精细操作,分析了灵巧手触觉时间序列的特点,提出了一种基于分段线性动态系统的"模型袋"描述方法.通过求解动态系统模型参数矩阵,构造了用于描述不同类型目标物体的模型族,在低维特征空间中建立了触觉时... 详细信息

为实现机器人灵巧手的精细操作,分析了灵巧手触觉时间序列的特点,提出了一种基于分段线性动态系统的"模型袋"描述方法.通过求解动态系统模型参数矩阵,构造了用于描述不同类型目标物体的模型族,在低维特征空间中建立了触觉时间序列与模型族之间的对应关系.通过对带有触觉阵列传感器的灵巧手系统进行实验,验证了本文提出的方法不仅可以准确精炼地描述同类目标物体触觉信息的动态过程,还可以建立对不同类型目标物体的综合描述,为在特征空间内进行多模态信息融合提供支撑.

关键词：灵巧手触觉线性动态系统模型袋精细操作

来源：评论

学校读者我要写书评

暂无评论

一种基于场景的CTCS-3列车控制系统建模方法研究

引用

铁道学报 2011年第9期33卷 55-61页

作者：王帅吉吟东杨士元清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室北京100084 清华大学自动化系北京100084

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模... 详细信息

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。

关键词： CTCS-3列车运行控制系统自动机顺序图形式化建模运营场景

来源：评论

学校读者我要写书评

暂无评论

微小型自主直升机自抗扰控制

引用

机器人 2009年第5期31卷 385-390页

作者：谈黎贾培发清华大学计算机科学与技术系清华信息科学与技术国家实验室智能技术与系统国家重点实验室北京100084

针对微小型直升机建模困难,而且内部和外部扰动都比较大的问题,提出一种基于自抗扰控制的飞行控制方法.按照飞行控制的要求改进了原算法的扩张状态观测器离散方程和非线性反馈函数.起飞、悬停和强风中飞行控制仿真验证了改进的自抗扰控... 详细信息

针对微小型直升机建模困难,而且内部和外部扰动都比较大的问题,提出一种基于自抗扰控制的飞行控制方法.按照飞行控制的要求改进了原算法的扩张状态观测器离散方程和非线性反馈函数.起飞、悬停和强风中飞行控制仿真验证了改进的自抗扰控制方法的有效性.

关键词：微小型自主直升机自抗扰控制飞行控制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：