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

2011年中国智能自动化学术会议

作者：肖力田顾明孙家广清华大学软件学院信息科学与技术国家实验室信息系统安全教育部重点实验室计算机科学与技术系北京特种工程设计研究院

为了使用形式化方法对PLC程序的正确性验证奠定基础,研究PLC程序语言的指称语义定义,以实现对PLC形式化定义和检测验证。基于程序建模,定义了PLC程序指称语义的格局、程序语言的语义函数及函数,为其模型检测和定理证明提供了基础。

关键词： PLC程序扩展λ-演算程序建模指称语义

来源：评论

学校读者我要写书评

暂无评论

基于构件的层次化可重构网络构建及重构方法

引用

计算机学报 2010年第9期33卷 1557-1568页

作者：刘强汪斌强徐恪国家数字交换工程技术研究中心郑州450002 清华大学计算机科学与技术系北京100084

下一代网络为了保持网络发展的一致性和连贯性、融合现有底层网络通信基础设施的异构性、能够保证支撑各个领域全面信息化及保证整个网络的可管可控可信做了很多尝试.作者通过对现有网络及下一代网络发展方向的分析,提出了基于构件的层... 详细信息

下一代网络为了保持网络发展的一致性和连贯性、融合现有底层网络通信基础设施的异构性、能够保证支撑各个领域全面信息化及保证整个网络的可管可控可信做了很多尝试.作者通过对现有网络及下一代网络发展方向的分析,提出了基于构件的层次化可重构网络体系结构及松耦合、兼容融合、扩展和隔离的构建原则.作者还提出了基于进程代数的重构原则、模型、功能实体合作方法,并提出了具体实现方案,保证了构建和重构过程中的自主性、反应性和主动性.通过搭建实验网络测试,证明了可重构网络具有良好的灵活性和扩展性.

关键词：可重构网络层次化重构构件模型

来源：评论

学校读者我要写书评

暂无评论

P2P技术分析与流量管理研究

引用

计算机科学 2010年第4期37卷 1-6,10页

作者：王春刚王会杨家海清华大学计算机科学与技术系北京100084 清华大学信息网络工程研究中心北京100084 清华信息科学与技术国家实验室北京100084

随着P2P应用的日益流行,P2P流量消耗了网络的大量带宽,已经影响到了互联网传统业务的服务质量。为解决这一问题,网络运营者和研究人员在P2P流量的管理技术上进行了大量的探索研发工作,主要有P2P流量阻塞、缓存和本地化疏导等技术。首先... 详细信息

随着P2P应用的日益流行,P2P流量消耗了网络的大量带宽,已经影响到了互联网传统业务的服务质量。为解决这一问题,网络运营者和研究人员在P2P流量的管理技术上进行了大量的探索研发工作,主要有P2P流量阻塞、缓存和本地化疏导等技术。首先对P2P技术做了简单概述,然后分析了影响P2P流量分布的重要技术因素,之后综述了最新的P2P流量管理技术,最后做了总结。

关键词： P2P 流量分布节点选择

来源：评论

学校读者我要写书评

暂无评论

一种PE文件加壳检测规则

引用

计算机工程 2010年第14期36卷 135-137页

作者：姜晓新段海新清华大学计算机科学与技术系北京100084 清华大学信息工程网络研究中心北京100084

在恶意代码自动分析系统中,对恶意样本进行文件格式检查,并判断其是否被加壳是对其进行自动分析的第一步。为了对加壳PE可执行文件实现更加准确的识别,提出一个基于文件头和部分文件内容的PE文件加壳检测规则(NFPS)。通过提取PE文件中5... 详细信息

在恶意代码自动分析系统中,对恶意样本进行文件格式检查,并判断其是否被加壳是对其进行自动分析的第一步。为了对加壳PE可执行文件实现更加准确的识别,提出一个基于文件头和部分文件内容的PE文件加壳检测规则(NFPS)。通过提取PE文件中5个方面的特征值,并按照NFPS规则进行计算,即可判定PE文件是否被加壳。经测试,其检测率高达95%以上,并支持多层壳的循环检测。

关键词：恶意代码 PE文件加壳

来源：评论

学校读者我要写书评

暂无评论

新一代高通量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测序转录组基因表达数据处理与分析生物信息学

来源：评论

学校读者我要写书评

暂无评论

接入网IPv6源地址验证方案测试

接入网IPv6源地址验证方案测试

引用

中国教育和科研计算机网CERNET第十七届学术年会

作者：王之梁毕军孟梦尹霞清华大学信息网络工程研究中心北京100084 清华大学信息科学与技术国家实验室北京100084 清华大学信息科学与技术国家实验室北京100084 清华大学计算机科学与技术系北京100084

提出一整套系统的接入网源地址验证交换机测试总体框架和具体方案。该框架包括3个阶段，采用测试床测试、一致性测试、性能测试等测试方法，应用上述方法对设备厂商实现的接入网源地址验证交换机进行实际测试，并对结果进行分析。测试... 详细信息

提出一整套系统的接入网源地址验证交换机测试总体框架和具体方案。该框架包括3个阶段，采用测试床测试、一致性测试、性能测试等测试方法，应用上述方法对设备厂商实现的接入网源地址验证交换机进行实际测试，并对结果进行分析。测试结果表明：该测试框架和方法能够有效地发现接入网源地址验证交换机实现中存在的问题，有力地推动接入网源地址验证技术的部署应用。

关键词：接入网源地址验证 IPv6协议交换机测试

来源：评论

学校读者我要写书评

暂无评论

句法特征在动词词义排歧中的应用

句法特征在动词词义排歧中的应用

引用

第五届全国青年计算语言学研讨会

作者：王宏显周强清华大学信息技术研究院语音和语言技术中心清华信息科学技术国家实验室技术创新与开发部语音和语言技术中心清华大学计算机科学与技术系

特征选取是用统计方法进行词义排歧的关键。本文通过句法块的分析结果,将主语和宾语、以及主语和宾语在知网中的归类信息应用于目标动词的词义排歧。实验表明,句法特征对于目标动词的词义排歧有重要作用,相对于仅使用词语和词性特征的系... 详细信息

特征选取是用统计方法进行词义排歧的关键。本文通过句法块的分析结果,将主语和宾语、以及主语和宾语在知网中的归类信息应用于目标动词的词义排歧。实验表明,句法特征对于目标动词的词义排歧有重要作用,相对于仅使用词语和词性特征的系统,加入人工标注句法特征后,拥有类动词正确率由83.7%提高到89.2%,存在类动词正确率由84.8%提高到86.1%。

关键词：句法特征词义排歧最大熵主语宾语

来源：评论

学校读者我要写书评

暂无评论

互联网覆盖路由技术研究

引用

软件学报 2009年第11期20卷 2988-3000页

作者：王旸旸毕军吴建平清华大学计算机科学与技术系北京100084 清华大学信息网络工程研究中心北京100084

对互联网覆盖路由相关研究工作进行了调研;按照Internet分层概念重点考查了网络层和传输层的覆盖路由的结构和方法;并且考查了覆盖路由其他相关问题的研究,包括覆盖路由性能的影响因素、多个覆盖网络路由之间的相互作用等.分析了已有研... 详细信息

对互联网覆盖路由相关研究工作进行了调研;按照Internet分层概念重点考查了网络层和传输层的覆盖路由的结构和方法;并且考查了覆盖路由其他相关问题的研究,包括覆盖路由性能的影响因素、多个覆盖网络路由之间的相互作用等.分析了已有研究工作的关键技术的优缺点.最后讨论了未来可能的研究方向,为互联网覆盖路由的研究提供参考.

关键词：路由覆盖路由覆盖网络拓扑多路径路由互联网路由

来源：评论

学校读者我要写书评

暂无评论

电话信道下应用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) 融合

来源：评论

学校读者我要写书评

暂无评论

面向飞行模拟的大气效果实时绘制技术

引用

清华大学学报（自然科学版） 2009年第7期49卷 1019-1022页

作者：雷励星范贤德徐振中清华大学计算机科学与技术系北京100084 空军军训器材研究所北京100195 总装备部科技信息研究中心 100036

针对飞行模拟器视景仿真系统特点,提出了一种适用于大规模场景、基于物理的大气效果实时绘制方法。介绍了大气效果的基本概念、实时绘制的简化模型和图形处理器(GPU)加速方法;修正了光照模型,使大气散射效果随高度而变化;使用开源视景... 详细信息

针对飞行模拟器视景仿真系统特点,提出了一种适用于大规模场景、基于物理的大气效果实时绘制方法。介绍了大气效果的基本概念、实时绘制的简化模型和图形处理器(GPU)加速方法;修正了光照模型,使大气散射效果随高度而变化;使用开源视景仿真软件OSG(OpenSceneGraph),实现了大场景单散射大气效果的实时绘制。结果表明,基于物理的大气效果绘制,能增加飞行模拟视景仿真的真实感。

关键词：飞行模拟大气效果模型修正大规模场景实时绘制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：