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

信息工程大学学报 2018年第2期19卷 253-256页

作者：杨强杨朝晖史元春海军装备研究院北京100036 清华大学信息科学与技术国家实验室普适计算研究部北京100084

情境信息构成战场信息的重要辅助信息,对情境信息的利用程度直接决定着军事指挥界面的智能程度。目前对情境价值的发掘还不够深入,缺少情境感知模型的指导。阐述了军事指挥情境的意义,从物理域、信息域、认知域和社会域的角度提出军事... 详细信息

情境信息构成战场信息的重要辅助信息,对情境信息的利用程度直接决定着军事指挥界面的智能程度。目前对情境价值的发掘还不够深入,缺少情境感知模型的指导。阐述了军事指挥情境的意义,从物理域、信息域、认知域和社会域的角度提出军事指挥界面情境感知模型,依据该模型对典型的军事指挥情境进行分类。

关键词：军事指挥界面情境情境感知

来源：评论

学校读者我要写书评

暂无评论

气候系统模式不确定分析工作流执行平台

引用

计算机工程与应用 2017年第6期53卷 46-50,56页

作者：高健薛巍杨广文清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室(筹) 北京100084 清华大学地球系统数值模拟教育部重点实验室地球系统科学研究中心北京100084

气候系统模式的不确定性量化分析包含复杂的工作流执行流程。对其中量化分析过程和模式后处理任务两个阶段的工作流进行了分析,设计和实现了针对该分析工作的工作流执行平台。该平台能够自动化执行典型的气候系统仿真实验与分析的工作流... 详细信息

气候系统模式的不确定性量化分析包含复杂的工作流执行流程。对其中量化分析过程和模式后处理任务两个阶段的工作流进行了分析,设计和实现了针对该分析工作的工作流执行平台。该平台能够自动化执行典型的气候系统仿真实验与分析的工作流程,支持通过专家知识灵活配置工作流。平台中包含工作流层面的容错设计,支持通过分布式并发执行来加速工作流中的大计算量任务。同时,平台支持用户自定义插件的接入,增强了工作流系统的模块化和规范化。使用设计的平台对GAMIL2气候系统模式进行了物理过程参数不确定性的分析实验,验证了本平台的可行性和有效性。

关键词：气候系统模式不确定性量化分析工作流执行模块化

来源：评论

学校读者我要写书评

暂无评论

面向鲁棒图结构防御的过参数化图神经网络

引用

软件学报 2024年第8期35卷 3878-3896页

作者：初旭马辛宇林阳王鑫王亚沙朱文武梅宏清华大学计算机科学与技术系北京100084 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 清华大学北京信息科学与技术国家研究中心北京102206 北京大学软件工程国家工程研究中心北京100871

图数据在现实应用中普遍存在,图神经网络(GNN)被广泛应用于分析图数据,然而GNN的性能会被图结构上的对抗攻击剧烈影响.应对图结构上的对抗攻击,现有的防御方法一般基于图内聚先验进行低秩图结构重构.但是现有的图结构对抗防御方法无法... 详细信息

图数据在现实应用中普遍存在,图神经网络(GNN)被广泛应用于分析图数据,然而GNN的性能会被图结构上的对抗攻击剧烈影响.应对图结构上的对抗攻击,现有的防御方法一般基于图内聚先验进行低秩图结构重构.但是现有的图结构对抗防御方法无法自适应秩真值进行低秩图结构重构,同时低秩图结构与下游任务语义存在错配.为了解决以上问题,基于过参数化的隐式正则效应提出过参数化图神经网络(OPGNN)方法,并形式化证明所提方法可以自适应求解低秩图结构,同时证明节点深层表征上的过参数化残差链接可以有效解决语义错配.在真实数据集上的实验结果表明,OPGNN方法相对于现有基线方法具有更好的鲁棒性,同时,OPGNN方法框架在不同的图神经网络骨干上如GCN、APPNP和GPRGNN上显著有效.

关键词：图节点半监督分类图结构对抗防御过参数化隐式正则化图神经网络

来源：评论

学校读者我要写书评

暂无评论

多维度测量IPv4/IPv6翻译器

引用

小型微型计算机系统 2015年第10期36卷 2390-2394页

作者：陈蒙徐明伟林恒李清宋西瑞清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室(筹) 北京100084 清华大学深圳研究生院深圳518055 北京邮电大学网络与技术国家重点实验室北京100876

互联网中可用IPv4地址即将耗尽,因此全网过渡到IPv6已越加紧迫.为实现这两个互不兼容协议的通信,需使用IPv4/IPv6翻译机制.然而,人们对IPv4/IPv6翻译器的性能仍知之甚少,这将影响该机制在全网的部署.为了填补这一空缺,我们对典型的IPv4/... 详细信息

互联网中可用IPv4地址即将耗尽,因此全网过渡到IPv6已越加紧迫.为实现这两个互不兼容协议的通信,需使用IPv4/IPv6翻译机制.然而,人们对IPv4/IPv6翻译器的性能仍知之甚少,这将影响该机制在全网的部署.为了填补这一空缺,我们对典型的IPv4/IPv6翻译机制(IVI)进行测量;由于其已部署于100多所大学,因此测量结果将具有一定的参考价值.我们评估了网络层有效性,应用层可用性,以及端到端性能影响.结果显示,IVI在大多数情况下表现很好,但也存在一些可改进之处,包括:无法翻译某些类型的数据包,对端到端性能有一定的影响,不支持某些网络应用等.

关键词： IPv6过渡 IPv4/IPv6翻译性能评估

来源：评论

学校读者我要写书评

暂无评论

基于BIP框架的DPU系统建模与验证

引用

计算机应用研究 2012年第8期29卷 2961-2966页

作者：黄崇迪万海顾明陈睿清华大学软件学院北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学清华信息科学与技术国家实验室(筹) 北京100084 北京控制工程研究所北京100190

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为... 详细信息

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。

关键词：数据处理单元行为—交互—优先级框架形式化方法建模验证

来源：评论

学校读者我要写书评

暂无评论

能源互联网与能源路由器

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于位图索引的无线传感器网络可靠传输协议

引用

计算机工程 2012年第21期38卷 63-66页

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

根据无线传感器网络中大量上行数据流实时传输的需求,提出一种基于位图索引的可靠传输协议(BRDT)。该协议使用迭代方式完成一组大量数据的传输。每次迭代的上行数据流采用无重传传输以减少延迟,并采用可靠后项传输传送带有错误标识的位... 详细信息

根据无线传感器网络中大量上行数据流实时传输的需求,提出一种基于位图索引的可靠传输协议(BRDT)。该协议使用迭代方式完成一组大量数据的传输。每次迭代的上行数据流采用无重传传输以减少延迟,并采用可靠后项传输传送带有错误标识的位图索引以恢复丢失数据。在已有低功耗无线图像传感器网络Z-EYE系统中实现并进行验证,结果表明,与RMST协议相比,BRDT对下层的服务需求少,在网络质量较差的情况下,BRDT的性能明显优于NACK重传方法,在同等测试条件下,BRDT的传输效率优于PSFQ协议。

关键词：无线传感器网络无线图像传感器网络可靠传输位图索引终端-网关错误恢复

来源：评论

学校读者我要写书评

暂无评论

混沌振子弱信号检测系统构成及响应速度研究

引用

计算机工程与应用 2015年第9期51卷 16-21页

作者：谢涛曹军威廉小亲北京工商大学计算机与信息工程学院北京100048 清华大学信息技术研究院北京100084 清华信息科学与技术国家实验室北京100084

针对混沌振子微弱信号检测系统中初值影响检测系统输出状态的问题,利用广义胞映射方法对检测系统分岔点附近的全局性态进行分析,根据所获得的数值分析结果,给出一种构成无误判性检测系统的方法,并进一步定义了响应步长作为衡量检测速度... 详细信息

针对混沌振子微弱信号检测系统中初值影响检测系统输出状态的问题,利用广义胞映射方法对检测系统分岔点附近的全局性态进行分析,根据所获得的数值分析结果,给出一种构成无误判性检测系统的方法,并进一步定义了响应步长作为衡量检测速度的指标,利用该指标对无误判性检测系统响应微弱信号的速度进行了分析,所得的结论可为混沌振子检测系统的工程实施提供有效的理论支撑。

关键词：混沌振子微弱信号检测构成方法响应速度

来源：评论

学校读者我要写书评

暂无评论

关键词检出的双向跨词解码算法

关键词检出的双向跨词解码算法

引用

第十二届全国人机语音通讯学术会议（NCMMSC'2013）

作者：刘雨辰徐明星普适计算教育部重点实验室清华信息科学与技术国家实验室(筹)清华计算机科学与技术系

基于子词声学建模的关键词检出系统具有实时性好、词表可灵活配置的优点。在解码过程中,展开的词内搜索网络在词的首尾未能充分利用上下文相关的子词模型,而跨词的搜索网络具有难展开、展开规模大、复杂性高的缺点。本文在词内搜索网络... 详细信息

基于子词声学建模的关键词检出系统具有实时性好、词表可灵活配置的优点。在解码过程中,展开的词内搜索网络在词的首尾未能充分利用上下文相关的子词模型,而跨词的搜索网络具有难展开、展开规模大、复杂性高的缺点。本文在词内搜索网络上进行跨词搜索,通过反向搜索网络,逆向输入语音,与正向搜索交汇的双向搜索方法来降低剪枝风险。实验结果表明,跨词搜索算法相较于词内搜索有显著的性能提升,在两个测试集上分别相对提高27.8%、18.4%,双向搜索策略对有剪枝的跨词搜索有一定的性能提升,分别相对提高1.9%、1.7%。

关键词：关键词检出解码算法跨词搜索双向搜索语音识别

来源：评论

学校读者我要写书评

暂无评论

基于云存储的块级连续数据保护系统

引用

计算机科学与探索 2014年第3期8卷 257-265页

作者：顾瑜刘川意鞠大鹏汪东升清华大学计算机科学与技术系北京100084 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 清华大学信息科学与技术国家实验室北京100084

提出了基于云存储的块级连续数据保护系统MYCDP。MYCDP利用灵活且性价比高的云资源存储业务数据,并采用全局数据去重技术压缩数据量,以取得更低的备份成本。使用针对性设计的版本索引结构和本地缓存机制优化低带宽、高延迟云环境下的数... 详细信息

提出了基于云存储的块级连续数据保护系统MYCDP。MYCDP利用灵活且性价比高的云资源存储业务数据,并采用全局数据去重技术压缩数据量,以取得更低的备份成本。使用针对性设计的版本索引结构和本地缓存机制优化低带宽、高延迟云环境下的数据恢复速度。给出了系统详细结构设计与具体流程描述,通过原型系统与其他方案系统的对比测试,验证了MYCDP能够取得比同样基于云存储的传统delta编码方案更低的备份成本和更快的恢复速度,且在多数实际恢复场景中具有与传统基于本地存储资源的方案相同甚至更好的数据恢复性能。

关键词：连续数据保护(CDP) 云数据去重

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：