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

软件学报 2020年第8期31卷 2285-2308页

作者：李璜华李凌赵宇王生原李翔宇清华大学计算机科学与技术系北京100084 北京信息科技大学理学院北京100192 清华大学微电子学研究所北京100084

设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本... 详细信息

设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解,从软硬件协同角度出发,最终明确了P3语言的核心特性及其编译器P3C的可信编译结构.由于可重构数据包解析器是软件定义网络(SDN)、可编程数据平面的重要一环,因此,实现P3C的可信编译结构将对SDN的安全性具有重大意义.期待P3C项目的开展能够促进网络与形式化领域相关工作的进一步研究.

关键词：领域专用语言可重构数据包解析器形式语义可信编译软件定义网络

来源：评论

学校读者我要写书评

暂无评论

基于RISC-V的计算机系统综合实验设计

引用

计算机工程与设计 2021年第4期42卷 1159-1165页

作者：孙卫真刘雪松朱威浦向勇首都师范大学信息工程学院北京100048 中国科学院计算技术研究所北京101407 清华大学计算机科学与技术系北京100084

针对目前高校计算机系统各课程实验衔接不紧密、实验成本较高的问题,提出设计基于小型FPGA开发板、以RISC-V CPU和Rust操作系统内核为核心的计算机系统综合实验平台。硬件实验以在低成本FPGA芯片上搭建picorv32 RISC-V CPU为核心,软件... 详细信息

针对目前高校计算机系统各课程实验衔接不紧密、实验成本较高的问题,提出设计基于小型FPGA开发板、以RISC-V CPU和Rust操作系统内核为核心的计算机系统综合实验平台。硬件实验以在低成本FPGA芯片上搭建picorv32 RISC-V CPU为核心,软件实验以在硬件实验基础上移植Rust编写的rCore教学操作系统为核心。以较低成本在同一平台完成计算机组成原理与操作系统实验设计,使其形成一个有机的整体,在资源与成本有限的情况下构建一个较为完整的实验体系。实例结果表明,实验平台以软硬件协作的方式,适应技术的发展,及时更新实验内容,可满足高校计算机系统教学综合实验的基本要求。

关键词： RISC-V 系统编程语言组成原理实验操作系统实验软硬件协作

来源：评论

学校读者我要写书评

暂无评论

面向海洋的多模态智能计算:挑战、进展和展望

引用

中国图象图形学报 2022年第9期27卷 2589-2610页

作者：聂婕左子杰黄磊王志刚孙正雅仲国强王鑫王玉成刘安安张弘董军宇魏志强中国海洋大学青岛266100 中国科学院自动化研究所北京100190 清华大学计算机科学与技术系北京100084 青岛海洋科学与技术试点国家实验室青岛266061 天津大学电气自动化与信息工程学院天津300072 北京航空航天大学宇航学院北京100083

海洋是高质量发展的要地,海洋科学大数据的发展为认知和经略海洋带来机遇的同时也引入了新的挑战。海洋科学大数据具有超多模态的显著特征,目前尚未形成面向海洋领域特色的多模态智能计算理论体系和技术框架。因此,本文首次从多模态数... 详细信息

海洋是高质量发展的要地,海洋科学大数据的发展为认知和经略海洋带来机遇的同时也引入了新的挑战。海洋科学大数据具有超多模态的显著特征,目前尚未形成面向海洋领域特色的多模态智能计算理论体系和技术框架。因此,本文首次从多模态数据技术的视角,系统性介绍面向海洋现象/过程的智能感知、认知和预知的交叉研究进展。首先,通过梳理海洋科学大数据全生命周期的阶段演进过程,明确海洋多模态智能计算的研究对象、科学问题和典型应用场景。其次,在海洋多模态大数据内容分析、推理预测和高性能计算3个典型应用场景中展开现有工作的系统性梳理和介绍。最后,针对海洋数据分布和计算模式的差异性,提出海洋多模态大数据表征建模、跨模态关联、推理预测以及高性能计算4个关键科学问题中的挑战,并提出未来展望。

关键词：海洋大数据多模态海洋多媒体内容分析海洋知识图谱海洋大数据预测海洋高性能计算海洋目标重识别

来源：评论

学校读者我要写书评

暂无评论

SMS4-like结构以及NBC算法的量子算法攻击研究

引用

密码学报 2020年第6期7卷 864-874页

作者：尤启迪钱新周旋袁野吴兆阳清华大学计算机科学与技术系北京100084 北京卫星信息工程研究所北京100086

本文利用Simon量子算法和Grover搜索算法首次给出对SMS4-like结构,和作为改进的第二类广义Feistel结构的代表算法之一的NBC算法的量子算法攻击.对SMS4给出6轮量子区分器,进行10轮量子密钥恢复攻击;首次对SMS4-like结构给出(2d-2)轮量子... 详细信息

本文利用Simon量子算法和Grover搜索算法首次给出对SMS4-like结构,和作为改进的第二类广义Feistel结构的代表算法之一的NBC算法的量子算法攻击.对SMS4给出6轮量子区分器,进行10轮量子密钥恢复攻击;首次对SMS4-like结构给出(2d-2)轮量子区分器,进行(3d-2)轮量子密钥恢复攻击.对NBC-128给出6轮量子区分器,进行11轮量子密钥恢复攻击;对NBC-256给出10轮量子区分器,进行16轮量子密钥恢复攻击.

关键词： SMS4-like结构 NBC算法 Simon算法 Grover算法量子密码分析

来源：评论

学校读者我要写书评

暂无评论

卷积神经网络并行方法研究

引用

计算机应用与软件 2020年第11期37卷 209-214页

作者：朱传家刘鑫方佳瑞江南计算技术研究所江苏无锡214083 清华大学计算机科学与技术系北京100084

随着训练数据集的增大和神经网络的日益复杂,训练深度神经网络非常耗时,在有效的时间内训练深度神经网络成为一大挑战。卷积神经网络具有网络参数分布不均匀的特点。提出一种同时使用数据并行和模型并行的卷积神经网络并行方法,并基于... 详细信息

随着训练数据集的增大和神经网络的日益复杂,训练深度神经网络非常耗时,在有效的时间内训练深度神经网络成为一大挑战。卷积神经网络具有网络参数分布不均匀的特点。提出一种同时使用数据并行和模型并行的卷积神经网络并行方法,并基于国产超级计算机系统和深度学习框架Caffe进行实验。实验结果表明,对某些全连接层,使用模型并行相比使用数据并行加速可达33倍。

关键词：卷积神经网络并行方法数据并行模型并行国产超级计算机系统

来源：评论

学校读者我要写书评

暂无评论

基于“神威太湖之光”的Caffe分布式扩展研究

引用

计算机应用与软件 2020年第1期37卷 15-20页

作者：朱传家刘鑫方佳瑞江南计算技术研究所江苏无锡214083 清华大学计算机科学与技术系北京100084

随着深度学习的快速发展,其规模越来越大,需要的计算越来越复杂。分布式扩展技术可以有效提高大规模数据的处理能力。基于神威太湖之光超算平台对深度学习框架Caffe进行分布式扩展研究,对比同步方式下参数服务器分布式扩展方法和去中心... 详细信息

随着深度学习的快速发展,其规模越来越大,需要的计算越来越复杂。分布式扩展技术可以有效提高大规模数据的处理能力。基于神威太湖之光超算平台对深度学习框架Caffe进行分布式扩展研究,对比同步方式下参数服务器分布式扩展方法和去中心化的分布式扩展方法。实验表明,同步方式下,去中心化的分布式扩展方法相比参数服务器分布式扩展方法在通信效率方面具有明显的优势,对特定的模型通信性能提高可达98倍。

关键词：深度学习分布式优化 Caffe 神威太湖之光

来源：评论

学校读者我要写书评

暂无评论

“辛顿·乔姆斯基·语言学发展”多人谈

引用

语言战略研究 2024年第6期9卷 5-17页

作者：冯志伟陈国华李宇明陈保亚袁毓林孙茂松徐杰司富珍詹卫东完权王伟刘畅新疆大学中国语言文学学院北京外国语大学外国语言研究所北京语言大学北京大学中文系澳门大学人文学院中国语言文学系中国澳门清华大学计算机科学与技术系澳门大学人文学院中国澳门北京语言大学语言学系/乔姆斯基研究所中国社会科学院语言研究所中国人民大学哲学院

2024年4月8日,有“人工智能教父”之称的杰弗里·辛顿(Geoffrey ***)在都柏林大学接受尤利西斯奖章的获奖感言里,对乔姆斯基提出了毫不客气的批评:“语言学家被一个名叫乔姆斯基的人误导了好几代……他有一个偏执古怪的理论,即语言... 详细信息

2024年4月8日,有“人工智能教父”之称的杰弗里·辛顿(Geoffrey ***)在都柏林大学接受尤利西斯奖章的获奖感言里,对乔姆斯基提出了毫不客气的批评:“语言学家被一个名叫乔姆斯基的人误导了好几代……他有一个偏执古怪的理论,即语言不是学会的。他成功地说服很多人相信这一点。但这一看就知道纯粹是胡言乱语。语言显然是学会的。大型神经网络学习语言,不需要任何先天结构,只是从随机权重和大量数据开始。乔姆斯基却仍然在说,但这并非真正的语言,这不算数,这是不对的。许多统计学家和认知科学家也说,永远不可能在这样一个大网络里学习语言。乔姆斯基从来没有提出任何一种有关语义的理论。他的理论全是关于句法的。”这篇发言引起了中国语言学界的关注,陈国华教授把它译为中文,以《杰弗里·辛顿接受尤利西斯奖章时发表的获奖感言》为题,发表在《当代语言学》2024年第4期上。10月8日,霍普菲尔德(John ***)和辛顿以“通过人工神经网络实现机器学习的基础性发现和发明”获得诺贝尔物理学奖后,关于大语言模型和语言学发展、辛顿和乔姆斯基的话题再度爆火。一位人工智能大家,获得了诺贝尔物理学奖;他批评了一位美国的著名语言学家,却引发了中国语言学者的热烈讨论,反思中国语言学的问题。这形成了一个奇妙的蝴蝶效应。我刊随即与《当代语言学》编辑部筹划,联合举办“大语言模型与语言学发展座谈会”。10月17日,座谈会在商务印书馆召开,线上线下学者各陈己见。我刊特就此设多人谈栏目与学界共享。

关键词：诺贝尔物理学奖语言学发展人工智能尤利西斯当代语言学语言模型中国语言学蝴蝶效应

来源：评论

学校读者我要写书评

暂无评论

一种基于帧图像的动态视觉传感器样本集建模方法

引用

电子学报 2020年第8期48卷 1457-1464页

作者：陆兴鹏王明羽曹扬赵瑞莲周武李兆麟魏少军清华大学计算机科学与技术系北京100084 清华大学微电子学研究所北京100084 北京航天晨信科技有限公司北京102308 北京化工大学信息科学与技术学院北京100029

动态视觉传感器(Dynamic Vision Sensor,DVS)利用事件驱动原理实现运动目标的快速提取,具有低延迟、低存储空间和高动态范围等优势.目前研究表明,基于DVS的神经网络在目标检测等领域具有明显的速度优势.但是,这类神经网络在训练时所需... 详细信息

动态视觉传感器(Dynamic Vision Sensor,DVS)利用事件驱动原理实现运动目标的快速提取,具有低延迟、低存储空间和高动态范围等优势.目前研究表明,基于DVS的神经网络在目标检测等领域具有明显的速度优势.但是,这类神经网络在训练时所需要的样本集主要依赖DVS相机产生,缺少高效的样本集生成方法,这制约了这类神经网络的应用与发展.本文根据DVS原理,提出了一种基于帧图像的DVS建模以及样本集建模方法.该方法设定每个像素单元独立工作,经过动态差分和逻辑判断后输出触发的地址-事件数据,这些数据通过编码和归一化生成神经网络训练时所需要的样本集.通过对MNIST和CIFAR-10样本集建模的实验结果表明,该建模方法效果与DVS相机基本一致;与基于帧图像的存储方式相比,该样本集可以明显减少存储空间.该方法所生成样本集已经通过卷积神经网络训练和测试验证.

关键词：动态视觉传感器样本集建模事件驱动存储优化

来源：评论

学校读者我要写书评

暂无评论

基于LDA模型的中美主流媒体“新冠疫苗”议程设置及属性分析——以新华网和《纽约时报》为例

引用

科技传播 2021年第18期13卷 7-12页

作者：韩美奂曹金许斌清华大学深圳国际研究生院中国科普研究所科普理论研究室清华大学计算机科学与技术系

在新冠肺炎疫情背景下,“新冠疫苗”成为媒体关注的焦点。文章基于计算语言分析方法对中美主流媒体新华网和《纽约时报》一年来3000多篇“新冠疫苗”的新闻议题进行研究。在议程设置中,双方均涉及全球化、疫苗公共政策、科学成就、疫情... 详细信息

在新冠肺炎疫情背景下,“新冠疫苗”成为媒体关注的焦点。文章基于计算语言分析方法对中美主流媒体新华网和《纽约时报》一年来3000多篇“新冠疫苗”的新闻议题进行研究。在议程设置中,双方均涉及全球化、疫苗公共政策、科学成就、疫情基本信息、责任等五大议题,但美方还包含经济及政治选举议题。在属性议程设置方面,双方在责任和全球化两个方面差异显著,体现出中国负责任的“疫苗大国”形象。

关键词： LDA模型主流媒体新冠疫苗议程设置

来源：评论

学校读者我要写书评

暂无评论

面向阻变存储器的长短期记忆网络加速器的训练和软件仿真

引用

计算机研究与发展 2019年第6期56卷 1182-1191页

作者：刘鹤季宇韩建辉张悠慧郑纬民清华大学计算机科学与技术系北京100084 清华大学微电子学研究所北京100084

长短期记忆(long short-term memory,LSTM)网络是一种循环神经网络,其擅长处理和预测时间序列中间隔和延迟较长的事件,多用于语音识别、机器翻译等领域.然而受限于内存带宽的限制,现今的多数神经网络加速器件的计算模式并不能高效处理... 详细信息

长短期记忆(long short-term memory,LSTM)网络是一种循环神经网络,其擅长处理和预测时间序列中间隔和延迟较长的事件,多用于语音识别、机器翻译等领域.然而受限于内存带宽的限制,现今的多数神经网络加速器件的计算模式并不能高效处理长短期记忆网络计算;而阻变存储器交叉开关结构能够以存内计算形式完成高效、高密度的向量矩阵乘运算,从而成为一种高效处理长短期记忆网络的极具潜力的加速器设计模式.研究了面向阻变存储器的长短期记忆神经网络加速器模拟工具以及相应的神经网络训练算法.该模拟工具能够以时钟驱动的形式模拟设计者提出的以阻变存储器交叉开关结构为核心加速部件的长短期记忆加速器微体系结构,从而进行设计空间探索;同时改进了神经网络训练算法以适应阻变存储器特性.这一模拟工具基于System-C实现,且对于核心计算部分实现了图形处理器加速,可以提高阻变存储器器件的仿真速度,为探索设计空间提供便利.

关键词：阻变存储器长短期记忆网络训练算法仿真框架神经网络

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：