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

计算机技术与发展 2015年第8期25卷 20-23,28页

作者：刘根贤汪东升王海霞清华大学计算机科学与技术系北京100084 第二炮兵工程大学信息管理中心陕西西安710025 清华大学信息科学技术国家实验室(筹) 北京100084

ISP(In-System Programming,在系统可编程)指电路板上的微处理器可以通过预先设定的接口对内部FLASH存储器进行编程,而不需要从电路板取下器件。ISP技术已经得到广泛的应用,越来越多的微处理器支持用户自行设计ISP程序。但ISP存在升级... 详细信息

ISP(In-System Programming,在系统可编程)指电路板上的微处理器可以通过预先设定的接口对内部FLASH存储器进行编程,而不需要从电路板取下器件。ISP技术已经得到广泛的应用,越来越多的微处理器支持用户自行设计ISP程序。但ISP存在升级方式单一的问题,还隐含一些安全风险,例如误触发擦写操作造成程序丢失,或者恶意ISP程序窃取敏感信息。针对这些问题,文中提出了多协议ISP设计,分析了ISP安全的硬件支持条件,并进行了相应评估,验证了多协议ISP以及安全设计的可行性。

关键词：在系统可编程微处理器安全多协议

来源：评论

学校读者我要写书评

暂无评论

行为理解的认知推理方法

引用

中国图象图形学报 2014年第2期19卷 167-174页

作者：陶霖密杨卓宁王国建清华信息科学与技术国家实验室普适计算研究部清华大学计算机科学与技术系北京100084

目的人类行为理解是机器智能研究中最富有挑战性的领域。其根本问题是语义获取,即从动作推理得到人的行为,需要跨越两者之间的语义鸿沟,为此提出一种人关于日常行为知识与人体动作行为、环境信息之间的建模方法,以及可扩展的开放式结构... 详细信息

目的人类行为理解是机器智能研究中最富有挑战性的领域。其根本问题是语义获取,即从动作推理得到人的行为,需要跨越两者之间的语义鸿沟,为此提出一种人关于日常行为知识与人体动作行为、环境信息之间的建模方法,以及可扩展的开放式结构环境—行为关系模型,基于该模型提出一种新的行为理解的渐进式认知推理方法。方法首先根据知识,建立多种特征、复合特征和行为之间的关系模型。系统根据当前的输入流,处理得到当前的特征与复合特征集,推理得到当前的可能行为集。该行为集指导处理模块,更新特征集,得到新的行为集。结果应用本文渐进式连续推理方法,系统可以把人关于日常行为的知识与人体运动、环境变化等传感器数据处理获取到的信息动态绑定,实现知识辅助的行为理解。结论提出的推理方法能连续处理长时间、同时发生的行为。

关键词：行为理解认知推理特征行为关系上下文感知

来源：评论

学校读者我要写书评

暂无评论

同步数据流语言可信编译器的构造

引用

软件学报 2014年第2期25卷 341-356页

作者：石刚王生原董渊嵇智源甘元科张玲波张煜承王蕾杨斐清华大学计算机科学与技术系北京100084 新疆大学信息科学与工程学院新疆乌鲁木齐830046 科技部高技术研究发展中心北京100044

同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解... 详细信息

同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解决误编译问题.基于这种方法,开展了从同步数据流语言(Lustre为原型)到串行命令式语言(C为原型)的可信编译器构造的关键技术研究.其挑战性在于两类语言之间的巨大差异,源语言具有时钟同步、数据流、并发及流数据对象等特征,而目标语言则具有顺序控制流特征.同类研究中,目前尚无针对核心翻译过程的公开成果.就单一时钟的情形实现了一个经过形式化验证的完整编译过程,相关技术将应用于安全关键领域编译系统的开发.综述了这一可信编译器的研究背景、意义、总体设计框架、核心技术、现状以及进行中或后续的工作.

关键词：同步数据流语言经过验证的编译器形式化验证形式语义定理证明

来源：评论

学校读者我要写书评

暂无评论

新常态下的计算机教育新探索

引用

计算机教育 2015年第11期 1-2页

作者：孙茂松武永卫彭远红清华大学计算机科学与技术系清华大学大规模在线教育研究中心教育部在线教育研究中心清华大学-新加坡国立大学下一代搜索技术联合研究中心中国中文信息学会中国计算机学会中国国家网格运行管理中心

每年4月最后一个周末是清华大学的校庆日。今年是学校104周年校庆日。同往年一样，一批批计算机科学与技术系（以下简称“计算机系”）校友重返清华园，畅叙绵长情谊，分享人生经验。

关键词：计算机教育计算机科学与技术清华大学计算机系清华园

来源：评论

学校读者我要写书评

暂无评论

SAMS:一种新型身份/位置分离方案

引用

计算机学报 2014年第2期37卷 394-406页

作者：杨芫徐明伟杨家海董庆洲陈文龙王会张志超清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室(筹) 北京100084 清华大学网络科学与网络空间研究院北京100084 北京邮电大学网络与交换国家重点实验室北京100876 首都师范大学信息工程学院北京100037

当前互联网中的IP地址同时标识主机身份和主机位置,这种语义重载主要导致了两方面的问题.一方面,它使得核心网络路由表项数量急剧增长,引起路由可扩展性问题.另一方面,主机难以在不改变身份标识的情况下实现多宿主和移动中的高速切换.... 详细信息

当前互联网中的IP地址同时标识主机身份和主机位置,这种语义重载主要导致了两方面的问题.一方面,它使得核心网络路由表项数量急剧增长,引起路由可扩展性问题.另一方面,主机难以在不改变身份标识的情况下实现多宿主和移动中的高速切换.解决这两个问题的根本办法是主机的身份和位置分离,即分别使用相互独立的身份标识和位置标识.目前身份/位置分离方案得到了研究人员的广泛关注,然而现有的方案只是针对某一个问题,不能同时解决这两个问题.此外身份位置分离之后的真实身份问题也很重要.文中提出了一种新型身份/位置分离方案SAMS(Scalable Authentic Mobile identifier-locator Separation scheme),它将用户身份标识、主机身份标识、边缘网络位置标识和核心网络位置标识分离,并设计合理的体系结构将这4种标识结合在一起,对路由可扩展性,主机多宿主和移动能力都有很大的提高,并支持真实身份.文中实现了SAMS的原型系统,并在CERNET2主干网上进行了规模部署和实验,验证了方案的有效性和系统的兼容性.

关键词：身份位置分离路由可扩展身份认证主机移动多宿主中图法

来源：评论

学校读者我要写书评

暂无评论

自抗扰控制器的阶次与参数的选取

引用

控制理论与应用 2014年第11期31卷 1480-1485页

作者：张超朱纪洪高亚奎清华大学清华信息科学与技术国家实验室智能技术与系统国家重点实验室计算机科学与技术系北京100084 中航工业第一飞机设计研究院飞控与液压研究室陕西西安710089

本文就选择不同阶次的自抗扰控制器时,对系统的控制参数选取进行了研究.结果表明:线性时不变系统的线性自抗扰控制,可等效为一个复合控制系统,其等效反馈补偿器为一超前校正单元串联一积分器;其等效前置滤波器为一滞后校正单元串联一微... 详细信息

本文就选择不同阶次的自抗扰控制器时,对系统的控制参数选取进行了研究.结果表明:线性时不变系统的线性自抗扰控制,可等效为一个复合控制系统,其等效反馈补偿器为一超前校正单元串联一积分器;其等效前置滤波器为一滞后校正单元串联一微分器.观测器带宽和控制器带宽的比值,决定着反馈补偿器的最大相位超前角,而频带则决定着最大相位超前角的发生位置.同时,随着自抗扰控制器阶次的增加,补偿器的最大超前校正角也增加.通过对开环系统的频域分析,本文给出了利用该补偿器的频域特性进行自抗扰控制器参数设计的一般步骤,可大幅度减少工程师的反复试验过程,方便工程师应用.

关键词：自抗扰控制阶次选择参数选取频域分析

来源：评论

学校读者我要写书评

暂无评论

维吾尔语形态复杂词汇的神经表征和处理机制研究--以心理语言学研究结论为证据

维吾尔语形态复杂词汇的神经表征和处理机制研究--以心理语言学研...

引用

中国中文信息学会2015学术年会(CIPS2015)暨第十四届全国计算语言学学术会议(CCL2015)、第三届基于自然标注大数据的自然语言处理国际学术研讨会(NLP-NABD2015)

作者：阿布都克力木.阿布力孜江铭虎姚登峰哈里旦木.阿布都克里木艾山.吾买尔清华大学人文学院计算语言学实验室北京100084 清华大学心理学与认知科学研究中心北京100084 清华大学计算机科学与技术系智能技术与系统国家重点实验室北京100084 新疆大学信息科学与工程学院新疆乌鲁木齐830046

本文通过心理语言学的词汇判断实验范式来研究维吾尔语屈折词和派生词在大脑心理词典中的表征及存储形式.实验一是维吾尔语屈折词的表征及加工研究,实验二为维吾尔语派生词的表征及加工研究.实验一的行为实验结果揭示人脑加工维吾尔语... 详细信息

本文通过心理语言学的词汇判断实验范式来研究维吾尔语屈折词和派生词在大脑心理词典中的表征及存储形式.实验一是维吾尔语屈折词的表征及加工研究,实验二为维吾尔语派生词的表征及加工研究.实验一的行为实验结果揭示人脑加工维吾尔语屈折词时需要对它进行形态分析.实验二的行为数据却显示,派生词和单语素词的加工过程是相同的.本实验结果显示维吾尔语派生词、屈折词的加工形式是彼此独立和不同的过程,维吾尔语屈折词是分解加工而派生词进行整体加工.

关键词：屈折词派生词神经表征机制加工形式心理语言学

来源：评论

学校读者我要写书评

暂无评论

面向复杂数据的对象存储系统

引用

计算机科学与探索 2014年第2期8卷 129-138页

作者：兰超张勇邢春晓清华大学计算机科学与技术系北京100084 清华大学信息技术研究院北京100084 清华大学信息科学与技术国家实验室北京100084

主要研究了数字图书馆应用中数字对象的有效存储和索引机制,提出并设计了针对数字图书馆的数据仓储系统PuntTable。PuntTable使用非关系模式存储和管理对象,并且通过在数据对象内部建立索引来支持查询。PuntTable包括两个主要模块:一个... 详细信息

主要研究了数字图书馆应用中数字对象的有效存储和索引机制,提出并设计了针对数字图书馆的数据仓储系统PuntTable。PuntTable使用非关系模式存储和管理对象,并且通过在数据对象内部建立索引来支持查询。PuntTable包括两个主要模块:一个是PuntStore,一种有多存储引擎的数据存储系统;另一个是PuntIndex,一种支持多种索引方式的索引系统。PuntTable实现了高吞吐量和低延迟对象存储,数据对象的索引和内容都可以选择最为合适的存储层来进行存储。使用实际数字图书馆中的数据对PuntTable进行了测试和评估。在测试所用的数据集中,每个数据都采用不同长度,使测试更加接近实际应用。实验结果显示,对于不同的数据集使用不同的存储模型可以显著增大数据库系统的吞吐量,并且有效减少延迟。

关键词：数字图书馆对象存储数据管理架构大数据

来源：评论

学校读者我要写书评

暂无评论

交互集合耦合模式系统对北太平洋SST变率和ENSO的模拟检验

引用

地球物理学报 2014年第4期57卷 1021-1031页

作者：辛晓歌薛巍张明华李慧岷张涛张洁中国气象局国家气候中心北京100081 清华大学计算机科学与技术系北京100084 清华大学地球系统数值模拟教育部重点实验室北京100084 清华大学地球系统科学研究中心北京100084 纽约州立大学石溪分校大气与海洋学院纽约117945000

清华大学地球系统科学研究中心在一个标准耦合模式(SC)的基础上建立了交互集合耦合模式系统(IE),该系统可以实现多个不同大气模式或者同一大气模式采取不同初值组成的多个分量集合之后与海、陆、冰模式进行耦合.本文利用同一大气模式七... 详细信息

清华大学地球系统科学研究中心在一个标准耦合模式(SC)的基础上建立了交互集合耦合模式系统(IE),该系统可以实现多个不同大气模式或者同一大气模式采取不同初值组成的多个分量集合之后与海、陆、冰模式进行耦合.本文利用同一大气模式七个不同初值分量与其它模式分量开展在线集合耦合试验,利用积分稳定之后100年的试验结果,分析了IE在减小海-气界面大气噪音的情况下,对北太平洋海表面温度(SST)变率和ENSO的模拟,并与SC模拟结果进行了对比.分析表明,IE减小了北太平洋中高纬度SST方差的85%以上,表明该区域SST变率主要受大气的影响,且主要是通过改变海表湍流热通量实现的.黑潮延伸体区和北太平洋中部副热带涡旋区域平均SST 8年左右的低频周期主要受来自大气内部动力过程的驱动.在集合耦合模拟中,无论是副热带涡旋区SST与ENSO的联系,还是ENSO与北太平洋中高纬度SST的联系都能模拟出来,而标准模式未能模拟出这些现象,意味着大气噪音过强将掩盖ENSO与太平洋热带外SST的联系.IE对与ENSO关联的"太平洋—北美"(PNA)遥相关型的合理模拟,并通过湍流热通量对海表温度的影响,是其能够更好模拟ENSO与北太平洋中高纬度SST关系的重要原因.本文通过分析验证了所建立的交互集合耦合模式系统的合理性,揭示了该系统在海-气相互作用研究领域方面具有一定应用前景.

关键词：交互集合耦合模式 ENSO PNA 海-气相互作用

来源：评论

学校读者我要写书评

暂无评论

能源互联网与能源路由器

引用

中国科学：信息科学 2014年第6期44卷 714-727页

作者：曹军威孟坤王继业杨明博陈震李文焯林闯清华大学信息技术研究院北京100084 清华信息科学与技术国家实验室北京100084 清华大学计算机科学与技术系北京100084 国家电网公司信息通信部北京100031

日益紧张的能源供需矛盾和环境压力等要求可再生清洁能源应该在未来能源体系中承担主要能源供给任务.能源传输技术、存储技术、信息通信以及高性能计算技术的发展为有效利用分布式、间歇性可再生能源提供了技术支持.针对类似于信息互联... 详细信息

日益紧张的能源供需矛盾和环境压力等要求可再生清洁能源应该在未来能源体系中承担主要能源供给任务.能源传输技术、存储技术、信息通信以及高性能计算技术的发展为有效利用分布式、间歇性可再生能源提供了技术支持.针对类似于信息互联网式的能源互联网愿景,本文探讨了以能源路由器为核心交换装置的能源互联网实现模型,从能源路由器的实现目标,已有支撑技术和实现部署方式等方面分析了涉及的关键技术,并结合已有研究成果说明了该领域亟需突破的研究方向.

关键词：能源互联网能源路由器可再生能源分布式能源微网

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：