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

软件学报 2018年第7期29卷 2116-2132页

作者：张晓丽杨家海孙晓晴吴建平清华大学计算机科学与技术系北京100084 清华大学网络科学与网络空间研究院北京100084 清华信息科学与技术国家实验室(清华大学) 北京100084

云计算作为全新的计算模式,将数据中心的资源包括计算、存储等基础设施资源通过虚拟化技术以服务的形式交付给用户,使得用户可以通过互联网按需访问云内计算资源来运行应用.为面向用户提供更好的服务,分布式云跨区域联合多个云站点,创... 详细信息

云计算作为全新的计算模式,将数据中心的资源包括计算、存储等基础设施资源通过虚拟化技术以服务的形式交付给用户,使得用户可以通过互联网按需访问云内计算资源来运行应用.为面向用户提供更好的服务,分布式云跨区域联合多个云站点,创建巨大的资源池,同时利用地理分布优势改善服务质量.近年来,分布式云的研究逐渐成为学术界和工业界的热点.围绕分布式云系统中研究的基本问题,介绍了国际、国内的研究现状,包括分布式云系统的架构设计、资源调度与性能优化策略和云安全方案等,并展望分布式云的发展趋势.

关键词：云计算分布式云云架构资源调度云安全

来源：评论

学校读者我要写书评

暂无评论

互联网自治域间IP源地址验证技术综述

引用

软件学报 2018年第1期29卷 176-195页

作者：贾溢豪任罡刘莹清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室(清华大学) 北京100084 清华大学网络科学与网络空间研究院北京100084

当前,互联网是基于目的地址转发,对源地址不作验证.而互联网很多安全问题的根源在于源地址的不可信.另一方面,随着互联网规模和复杂度的增大以及对政治、经济利益影响的加深,域间路由系统对互联网的稳定运行起着愈发关键的作用.美国国... 详细信息

当前,互联网是基于目的地址转发,对源地址不作验证.而互联网很多安全问题的根源在于源地址的不可信.另一方面,随着互联网规模和复杂度的增大以及对政治、经济利益影响的加深,域间路由系统对互联网的稳定运行起着愈发关键的作用.美国国土安全部将域间路由安全问题列入了美国信息安全的国家战略.近年来,以IP源地址伪造为主要方式的分布式拒绝服务攻击不断地对互联网的安全性和可用性造成极大的破坏,这其中,以跨越多个管理域和国家的攻击最为频繁.因此,建立以自治域为单位的源地址验证防御体系,对互联网的安全意义重大.尽管在相关的标准和研究领域已经提出了多种域间源地址验证技术,但是目前仍未有适用于大规模部署的技术方案.对域间源地址验证的已有研究和标准进展进行了细致的梳理.首先,分析了源地址安全性缺失的原因及后果,结合国际标准化领域的研究现状,指出了域间源地址验证的重要意义;其次,从域间源地址验证技术的特征类别入手,对已有各类研究成果的技术原理和优缺点进行了深入的总结,对研究的演进脉络进行了详细的分析,并在此基础上提出了目前域间源地址验证技术面临的困境及原因;最后,提出了域间源地址验证技术未来可能的研究发展方向及设计原则建议,为后续相关研究工作的开展提供了参考.

关键词：自治域间 IP源地址验证网络安全分布式拒绝服务攻击

来源：评论

学校读者我要写书评

暂无评论

新一代高通量RNA测序数据的处理与分析

引用

生物化学与生物物理进展 2010年第8期37卷 834-846页

作者：王曦汪小我王立坤冯智星张学工生物信息学教育部重点实验室清华信息科学与技术国家实验室(筹)生物信息学研究部清华大学自动化系北京100084 吉林大学计算机科学与技术学院长春130012

随着新一代高通量DNA测序技术的快速发展,RNA测序(RNA-seq)已成为基因表达和转录组分析新的重要手段.RNA-seq技术产生的海量数据为生物信息学带来了新的机遇和挑战.有效地对测序数据进行针对性的生物信息学处理和分析,成为RNA-seq技术... 详细信息

随着新一代高通量DNA测序技术的快速发展,RNA测序(RNA-seq)已成为基因表达和转录组分析新的重要手段.RNA-seq技术产生的海量数据为生物信息学带来了新的机遇和挑战.有效地对测序数据进行针对性的生物信息学处理和分析,成为RNA-seq技术能否在科学探索中发挥重大作用的关键.以新一代Illumina/Solexa测序平台所产生的数据为例,在扼要介绍高通量RNA-seq测序流程的基础上,对RNA-seq数据处理和分析的方法和现有软件做一个较为全面的综述,并对其中有待进一步研究的问题进行展望。

关键词：高通量RNA测序转录组基因表达数据处理与分析生物信息学

来源：评论

学校读者我要写书评

暂无评论

软件定义网络中北向接口语言综述

引用

软件学报 2016年第4期27卷 993-1008页

作者：于洋王之梁毕军施新刚尹霞清华大学网络科学与网络空间研究院北京100084 清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京100084

软件定义网络(software defined networking,简称SDN)的产生使得网络中的数据平面与控制平面相分离,网络中的控制逻辑集中于控制器上,运行于控制器上的网络应用使得网络变得更加简单可控和灵活.软件定义网络中的北向接口是指控制器与网... 详细信息

软件定义网络(software defined networking,简称SDN)的产生使得网络中的数据平面与控制平面相分离,网络中的控制逻辑集中于控制器上,运行于控制器上的网络应用使得网络变得更加简单可控和灵活.软件定义网络中的北向接口是指控制器与网络应用之间进行通信的接口.在软件定义网络应用研究与开发的过程中,北向接口占据着一个重要的地位.综述了SDN中北向接口的编程语言,首先介绍北向接口编程语言的研究背景,然后根据编程语言的抽象程度、编程模型、实现机制以及是否引入新功能这4个方面将编程语言分类,详细介绍每个类别下各种北向接口语言的结构和核心特性,最后结合语言的应用场景对编程语言进行横向比较,进而展望了北向接口编程语言未来的研究方向.

关键词：软件定义网络北向接口编程语言

来源：评论

学校读者我要写书评

暂无评论

基于链路通断预测的飞行器多路径传输优化

引用

清华大学学报（自然科学版） 2017年第12期57卷 1239-1244页

作者：江卓吴茜李贺武吴建平清华大学计算机科学与技术系北京100084 清华大学网络科学与网络空间研究院北京100084 清华大学清华信息科学与技术国家实验室(筹) 北京100084

为各类飞行器提供互联网接入的主要技术方案可以分为卫星通信和地空宽带2种。当飞行器处于两者的重叠覆盖区域,采用多路径进行数据通信将有可能极大改善传输性能。针对上述飞行器多接入场景,该文提出了一种多路径传输优化方案DMPTCP(dyn... 详细信息

为各类飞行器提供互联网接入的主要技术方案可以分为卫星通信和地空宽带2种。当飞行器处于两者的重叠覆盖区域,采用多路径进行数据通信将有可能极大改善传输性能。针对上述飞行器多接入场景,该文提出了一种多路径传输优化方案DMPTCP(dynamic multipath transmission control protocol)。针对链路通断情况发现缓慢、数据分配效率低的问题,结合飞行轨迹可预测的特点,设计了一种基于链路通断状态预测的数据分配算法;并针对链路时延和丢包率差异大所导致的接收方乱序情况严重的问题,通过接收方同时在多条子流回复连接层否定确认信息,使得发送方能够快速获得接收方总体乱序情况并对丢包进行重传。仿真实验表明:DMPTCP在聚合带宽和接收方总体乱序情况两方面均明显优于现有多路径传输机制。

关键词：天地一体化网络飞机通信地空宽带多路径传输数据分配

来源：评论

学校读者我要写书评

暂无评论

电话信道下应用DMFCC进行说话人识别

引用

清华大学学报（自然科学版） 2009年第10期49卷 1597-1600页

作者：王刚郑方清华信息科学与技术国家实验室技术创新与开发部语音和语言技术中心北京100084 清华大学计算机科学与技术系北京100084

鉴别性Mel频率倒谱系数(DMFCC)是一种修正的Mel频率倒谱系数(MFCC),其更加强调语音频谱各个子带携带的鉴别性信息,采用自适应的非均匀的滤波器组设置。在宽带信号应用中,DMFCC的作用和效果已经被证明;但在窄带信号应用中,DMFCC还鲜见有... 详细信息

鉴别性Mel频率倒谱系数(DMFCC)是一种修正的Mel频率倒谱系数(MFCC),其更加强调语音频谱各个子带携带的鉴别性信息,采用自适应的非均匀的滤波器组设置。在宽带信号应用中,DMFCC的作用和效果已经被证明;但在窄带信号应用中,DMFCC还鲜见有成功应用的例子。该文在电话信道下对应用DMFCC进行说话人识别研究,在美国国家标准技术研究院(NIST)2006年说话人识别评测Female核心测试集上,以MFCC作为特征参数的系统的等错误率为7.57%,以DMFCC作为特征参数的系统的等错误率为7.25%,而采用基于逻辑自回归的线性融合方法把基于两种不同特征的系统在分数域进行融合后系统的等错误率可达到6.31%,相对于基于MFCC的系统等错误率下降16.6%。实验表明,在电话信道下直接应用DMFCC可小幅度提高性能;理论分析以及实验结果表明:二者存在一定的互补性,即把DMFCC和MFCC融合应用能够大幅度提高电话信道下说话人识别的性能。

关键词：电话信道说话人识别鉴别性Mel频率倒谱系数(DMFCC) 融合

来源：评论

学校读者我要写书评

暂无评论

可重构媒体处理器任务编译器的前端设计

引用

北京邮电大学学报 2011年第3期34卷 108-112,126页

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

为了解决算法程序自动映射到可重构媒体处理器的问题,有效提高程序并行执行的效率,提出一种具有自动并行化的任务编译前端.该任务编译前端通过展开核心循环可提高并行执行度,在数据依赖分析确保运算正确执行的基础上,对循环体内的数组... 详细信息

为了解决算法程序自动映射到可重构媒体处理器的问题,有效提高程序并行执行的效率,提出一种具有自动并行化的任务编译前端.该任务编译前端通过展开核心循环可提高并行执行度,在数据依赖分析确保运算正确执行的基础上,对循环体内的数组访问进行标量替换,以优化数据传输开销.实验结果表明,该任务编译前端能有效提高代码并行性和优化数据传输能力,与Garp C编译器的编译前端相比,该任务编译前端设计的性能可提升约2～4倍.

关键词：可重构计算任务编译器循环展开标量替换

来源：评论

学校读者我要写书评

暂无评论

基于网络资源与用户行为信息的领域术语提取

引用

软件学报 2013年第9期24卷 2089-2100页

作者：闫兴龙刘奕群方奇张敏马少平茹立云智能技术与系统国家重点实验室(清华大学) 北京100084 清华大学信息科学与技术国家实验室北京100084 清华大学计算机科学与技术系北京100084 总参陆航研究所北京101121

领域术语是反映领域特征的词语.领域术语自动抽取是自然语言处理中的一项重要任务,可以应用在领域本体抽取、专业搜索、文本分类、类语言建模等诸多研究领域,利用互联网上大规模的特定领域语料来构建领域词典成为一项既有挑战性又有实... 详细信息

领域术语是反映领域特征的词语.领域术语自动抽取是自然语言处理中的一项重要任务,可以应用在领域本体抽取、专业搜索、文本分类、类语言建模等诸多研究领域,利用互联网上大规模的特定领域语料来构建领域词典成为一项既有挑战性又有实际价值的工作.当前,领域术语提取工作所利用的网络语料主要是网页对应的正文,但是由于网页正文信息抽取所面临的难题会影响领域术语抽取的效果,那么利用网页的锚文本和查询文本替代网页正文进行领域术语抽取,则可以避免网页正文信息抽取所面临的难题.针对锚文本和查询文本所存在的文本长度过短、语义信息不足等缺点,提出一种适用于各种类型网络数据及网络用户行为数据的领域数据提取方法,并使用该方法基于提取到的网页正文数据、网页锚文本数据、用户查询信息数据、用户浏览信息数据等开展了领域术语提取工作,重点考察不同类型网络资源和用户行为信息对领域术语提取工作的效果差异.在海量规模真实网络数据上的实验结果表明,基于用户查询信息和用户浏览过的锚文本信息比基于网页正文提取技术得到的正文取得了更好的领域术语提取效果.

关键词：领域术语自动抽取新词发现 Web数据挖掘用户行为分析

来源：评论

学校读者我要写书评

暂无评论

面向多口音语音识别的声学模型重构

引用

清华大学学报（自然科学版） 2011年第9期51卷 1161-1166页

作者：张超刘轶郑方清华信息科学技术国家实验室技术创新与开发部语音和语言技术中心北京100084 清华大学计算机科学与技术系北京100094

该文提出了应用声学似然分作为置信度来生成可靠口音相关单元的方法。基于可靠口音相关单元构造声学模型,并通过声学模型重构的方法将它们融合到标准普通话模型中,以改善普通话语音识别器对带多方言口音语音的识别效果。另外,还提出了... 详细信息

该文提出了应用声学似然分作为置信度来生成可靠口音相关单元的方法。基于可靠口音相关单元构造声学模型,并通过声学模型重构的方法将它们融合到标准普通话模型中,以改善普通话语音识别器对带多方言口音语音的识别效果。另外,还提出了使用增量式决策树融合及根据支配度选择Gauss混合2种方法来减少冗余的Gauss混合,从而提高了重构后的声学模型的效率。实验表明:该方法在不降低对标准普通话的识别率的前提下,对粤、吴口音的绝对音节错误率分别下降了9.25%和9.21%。

关键词：语音识别多方言口音可靠口音相关单元声学模型重构

来源：评论

学校读者我要写书评

暂无评论

线性时序逻辑转换Büchi自动机的按需即时算法

引用

清华大学学报（自然科学版） 2014年第2期54卷 281-288页

作者：单来祥覃征卢欣晔卢正才清华大学计算机科学与技术系清华信息科学与技术国家实验室北京100084 清华大学软件学院北京100084 中国科学院软件研究所北京100190

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足... 详细信息

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。

关键词：线性时序逻辑基于迁移的Büchi自动机按需即时

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：