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

第十六届全国Web信息系统及其应用学术会议(WISA2019)

作者：王沛然李加福雷志伟张桂刚张勇邢春晓清华大学行业可信区块链应用技术联合研究中心计算机系信息技术研究院北京 100084 中国科学院自动化研究所北京 100190 清华大学北京信息科学与技术国家研究中心计算机系信息技术研究院互联网产业研究院北京 100084

之所以要研究智能合约的加密方案，就是为了让区块链网络中的其他节点在不知晓合约调用参数的前提下，同样可以验证合约执行结果的正确性。纵观整个密码学领域，同态加密是最有希望实现智能合约加密的技术方向。然而，图灵完备的智能合... 详细信息

之所以要研究智能合约的加密方案，就是为了让区块链网络中的其他节点在不知晓合约调用参数的前提下，同样可以验证合约执行结果的正确性。纵观整个密码学领域，同态加密是最有希望实现智能合约加密的技术方向。然而，图灵完备的智能合约，其复杂程度与同态加密的技术难度和技术发展速度是一对难以调和的矛盾。所以，选择对智能合约进行切分，并分段使用同态加密技术。完全同态加密方案已经在2009年诞生，并在过去10年里发展并演变出几种主流方案，可以很好地支持智能合约中的算数运算。所以将切入点选在智能合约的判断-分支指令中，从而分段使用全同态加密技术。

关键词：智能合约同态加密指令集编译区块链

来源：评论

学校读者我要写书评

暂无评论

说话人识别中的分数域语速归一化

引用

清华大学学报（自然科学版） 2018年第4期58卷 337-341页

作者：艾斯卡尔·肉孜王东李蓝天郑方张晓东金磐石清华大学计算机科学与技术系、清华信息科学技术国家实验室技术创新和开发部语音和语言技术中心、信息技术研究院语音和语言技术中心北京100084 中国建设银行信息技术管理部北京100000

语速变化导致说话人识别系统性能显著下降。该文提出一种分数域语速归一化方法来降低语速变化对说话人识别系统的影响。由不同语速语音数据组成参考集（全局和局部）,对每一个登入说话人估计其对参考集中每一类参考语音的分数分布,局部... 详细信息

语速变化导致说话人识别系统性能显著下降。该文提出一种分数域语速归一化方法来降低语速变化对说话人识别系统的影响。由不同语速语音数据组成参考集（全局和局部）,对每一个登入说话人估计其对参考集中每一类参考语音的分数分布,局部参考集通过按相对语速划分全局参考集而获得。基于该文录制的语速数据库在GMM-UBM（Gaussian mixture model-universal background model）框架下对测试语音进行分数归一化,并通过训练数据扩展有效解决了数据系数问题,最终等错误率相对下降33.33%。研究结果表明：全局和局部归一化方法都有效减少了语速变化对说话人识别系统的影响。

关键词：说话人识别分数域语速归一化相对语速 GMM-UBM

来源：评论

学校读者我要写书评

暂无评论

多边共管的多模态网络标识域名生成管理解析原型系统

引用

中国科学：信息科学 2019年第9期49卷 1186-1204页

作者：李挥邬江兴邢凯轩伊鹏陈世胜梁伟魏进武李卫朱伏生田开颜朱江陆以勤徐恪宋佳兴刘怡俊董永吉韩永祥侯韩旭马军锋徐睿阙建明杨伟豪缪伟豪郑泽峰孙涛韦国华綦九华刘吉白永杰宁崇辉王菡张昕淳胡嘉伟黄健森吕赛刘馨蔚李更新北京大学深圳研究生院深圳518055 国家数字交换系统工程技术研究中心郑州450002 中国电信股份有限公司北京100033 中国联合网络通信有限公司北京100032 广东省新一代通信与网络创新研究院广州510670 北京金山云网络技术有限公司北京100085 华南理工大学电子与信息学院广州510006 清华大学信息科学技术学院北京100084 广东工业大学计算机学院广州510006 东莞理工学院电子工程与智能化学院东莞523808 中国信息通信研究院北京100191 香港中文大学信息工程系香港香港科技大学电子与计算机工程系香港澳门科技大学资讯科技学院澳门深圳大学城网络信息中心深圳518055

面对新形势下互联网蓬勃发展给现有网络体系带来的挑战,现有单边主义下的域名管理系统(DNS)在专业化服务质量和安全管控方面已力不从心.本文从分析现有网络体系问题出发,结合世界网络发展趋势,明确新型网络基本技术特征,以高安全、高鲁... 详细信息

面对新形势下互联网蓬勃发展给现有网络体系带来的挑战,现有单边主义下的域名管理系统(DNS)在专业化服务质量和安全管控方面已力不从心.本文从分析现有网络体系问题出发,结合世界网络发展趋势,明确新型网络基本技术特征,以高安全、高鲁棒、高效能和高可用性为导向,提出新型多模态域名管理技术框架,实现融合多边共管的投票管理和多模态网络下标识域名互访和互隧道功能的原型系统.原型系统通过现网测试验证了理论的正确性和可行性.该系统可以方便地应用于自主多模态标识空间下的主权网及高安全专网,为全世界对网络共管共治的诉求提供了中国方案.

关键词：多边共管域名解析多模态网络联盟链共识PoV 多模标识互相隧道/互译后IP高安全专网

来源：评论

学校读者我要写书评

暂无评论

基于区块链的健康链系统设计与实现

基于区块链的健康链系统设计与实现

引用

第十六届全国Web信息系统及其应用学术会议(WISA2019)

作者：雷志伟李加福张桂刚赵旭张勇邢春晓清华大学行业可信区块链应用技术联合研究中心北京 100084 中国科学院自动化研究所北京 100190 清华大学信息国家研究中心计算机系互联网产业研究院北京 100084

新冠疫情在全球范围肆虐，公共场合中的体温测量和行踪登记是控制疫情蔓延的关键手段，目前的信息记录主要依赖人工纸张录入的方式。纸张录入的方式不仅效率低下，而且还面临着易损易丢失的存档风险，同时难以对过往人员与行踪进行快速... 详细信息

新冠疫情在全球范围肆虐，公共场合中的体温测量和行踪登记是控制疫情蔓延的关键手段，目前的信息记录主要依赖人工纸张录入的方式。纸张录入的方式不仅效率低下，而且还面临着易损易丢失的存档风险，同时难以对过往人员与行踪进行快速筛查。该系统基于微信小程序的开发框架，实现了扫码快速注册以及信息登记的功能，同时基于区块链技术来实现底层数据存储和优化，保证数据的不可篡改和快速溯源，最后通过Nginx服务器进行数据通信。

关键词：比特币区块链微信小程序健康链 Nginx

来源：评论

学校读者我要写书评

暂无评论

生成式对抗网络:从生成数据到创造智能

引用

自动化学报 2018年第5期44卷 769-774页

作者：王坤峰左旺孟谭营秦涛李力王飞跃中国科学院自动化研究所复杂系统管理与控制国家重点实验室北京100190 青岛智能产业技术研究院青岛266000 哈尔滨工业大学计算机科学与技术学院哈尔滨150001 北京大学信息科学技术学院北京100871 微软亚洲研究院北京100080 清华大学自动化系北京100084 国防科技大学军事计算实验与平行系统技术研究中心长沙410073

技术创新是社会经济发展的核心驱动力.继以物联网、云计算、大数据和移动互联网为代表的信息技术之后,以深度学习为代表的人工智能技术蓬勃发展,被公认是社会经济发展的新动能和新引擎,有望在农业生产、工业制造、经济金融、社会管理等... 详细信息

技术创新是社会经济发展的核心驱动力.继以物联网、云计算、大数据和移动互联网为代表的信息技术之后,以深度学习为代表的人工智能技术蓬勃发展,被公认是社会经济发展的新动能和新引擎,有望在农业生产、工业制造、经济金融、社会管理等众多领域产生颠覆性变革.

关键词：生成式对抗网络生成数据创造智能

来源：评论

学校读者我要写书评

暂无评论

基于音系学模型的手语理解

引用

中文信息学报 2018年第1期32卷 59-67页

作者：姚登峰江铭虎阿布都克力木.阿布力孜李晗静哈里旦木.阿布都克里木北京市信息服务工程重点实验室(北京联合大学) 北京100101 清华大学人文学院计算语言学实验室心理学与认知科学研究中心北京100084 清华大学计算机科学与技术系智能技术与系统国家重点实验室北京100084

该文试图模拟人脑处理手势信号的过程,设计了一个混合的深层神经网络模型来解决基于音系学模型的手语理解问题,即手语音韵信息到文本转换的问题。为此该文首先综合了手语语言学里同时性和序列性这两个观点的长处,提出了一个手语音系学... 详细信息

该文试图模拟人脑处理手势信号的过程,设计了一个混合的深层神经网络模型来解决基于音系学模型的手语理解问题,即手语音韵信息到文本转换的问题。为此该文首先综合了手语语言学里同时性和序列性这两个观点的长处,提出了一个手语音系学的改进模型,并针对难点设计了基于音系学模型的手语理解算法。直接从语言学的音韵特征推断手语文本,相比从视觉特征推断出手语文本是一个很大的飞跃。实验验证了该认知计算技术的有效性,为实现类人智能奠定了技术基础。

关键词：音韵参数手语深度学习音系学模型

来源：评论

学校读者我要写书评

暂无评论

基于P4的主动网络遥测机制

基于P4的主动网络遥测机制

引用

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

作者：刘争争毕军周禹王旸旸林耘森箫清华大学网络科学与网络空间研究院北京 100084 清华大学计算机科学与技术系北京 100084 北京信息科学与技术国家研究中心北京 100084 清华大学网络科学与网络空间研究院北京 100084 北京信息科学与技术国家研究中心北京 100084

随着以可编程协议无关报文处理语言(P4,programming protocol-independent packet processors)为主要编程语言的可编程数据平面的兴起,给网络遥测领域带来了新的发展机遇.带内网络遥测(INT,In-band network telemetry)就是其中一种具有... 详细信息

随着以可编程协议无关报文处理语言(P4,programming protocol-independent packet processors)为主要编程语言的可编程数据平面的兴起,给网络遥测领域带来了新的发展机遇.带内网络遥测(INT,In-band network telemetry)就是其中一种具有代表性的能够探测到设备级遥测数据的被动遥测技术.然而INT的探测范围受到探测点部署位置的限制,难以获取全局网络视图.同时将遥测指令和数据封装到正常数据分组所带来较高的探测开销以及部署和运维的复杂性导致可扩展性不好.为此,提出了一种基于P4的能够覆盖全网且可扩展性强的主动网络遥测平台NetVision.

关键词：互联网主动网络遥测机制可编程协议无关报文处理语言可编程数据平面全局网络视图可扩展性

来源：评论

学校读者我要写书评

暂无评论

基于光学微腔的超声信号探测

基于光学微腔的超声信号探测

引用

2017中国自动化大会（CAC2017）暨国际智能制造创新大会（CIMIC2017）

作者：杨震宁朱昌龙葛树志张靖清华大学自动化系新加坡国立大学电子与计算机工程系清华信息科学与技术国家实验室清华大学量子信息科学与技术研究中心

本文主要通过建模和仿真,研究将光学微型环芯腔用于两种不同类型的超声信号探测,并分析了光学微腔的不同参数对超声信号探测灵敏度的影响。研究表明对于衰减正弦型的超声输入信号,探测器的探测灵敏度会随着光学模式失谐量绝对值的增加... 详细信息

本文主要通过建模和仿真,研究将光学微型环芯腔用于两种不同类型的超声信号探测,并分析了光学微腔的不同参数对超声信号探测灵敏度的影响。研究表明对于衰减正弦型的超声输入信号,探测器的探测灵敏度会随着光学模式失谐量绝对值的增加先增加后减小。当改变被测超声信号频率时,在被测超声信号频率和机械频率相等时,探测器灵敏度取得最大值。进一步,对脉冲型超声信号输入进行了初步研究,并发现探测器灵敏度会随脉冲型超声信号时长的减小而降低。本文的工作对于利用光学微腔,实验实现超声信号探测,以及进一步实现生物样品的光声成像提供了理论依据。

关键词：光学微腔超声信号探测光声成像

来源：评论

学校读者我要写书评

暂无评论

基于无模型自适应控制的无人驾驶汽车横向控制方法

引用

自动化学报 2017年第11期43卷 1931-1940页

作者：田涛涛侯忠生刘世达邓志东北京交通大学电子信息工程学院先进控制系统研究所北京100044 清华大学计算机系智能技术与系统国家重点实验室清华信息科学与技术国家实验室(筹)北京100084

提出了一种基于无模型自适应控制的无人驾驶汽车横向控制方案.首先,将无人驾驶汽车循迹跟踪控制问题转化成预瞄偏差角跟踪问题,然后基于无人驾驶汽车横向控制系统的动态线性化数据模型,设计出无模型自适应控制算法、伪梯度估计算法和伪... 详细信息

提出了一种基于无模型自适应控制的无人驾驶汽车横向控制方案.首先,将无人驾驶汽车循迹跟踪控制问题转化成预瞄偏差角跟踪问题,然后基于无人驾驶汽车横向控制系统的动态线性化数据模型,设计出无模型自适应控制算法、伪梯度估计算法和伪梯度重置算法,进而实现了自主车辆的无人驾驶.该方法的实现仅用到无人驾驶汽车运行时的输入输出数据,避免了对无人驾驶汽车进行复杂机理建模的难题,对于复杂的无人驾驶汽车运行过程具有很好的自适应性,对不同的无人驾驶车辆具有较强的可移植性.该方案已实际应用于清华大学无人驾驶汽车实验平台,在北京市丰台区的实地测试实验、在江苏省常熟市高速路的测试以及2015年"中国智能车未来挑战赛"的现场应用验证了所提方案的有效性.

关键词：无模型自适应控制无人驾驶汽车横向控制预瞄偏差角

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：