北大深圳研究生院代表团参加ACM图灵奖五十年中国大会(ACM TURC 2017)

ACM图灵奖五十年中国大会(ACM TURC 2017)于2017年5月12-14日在中国上海举行。图灵奖诞生的50年间,已让65位业内顶尖的计算机科学家、几十项科技成就走进了公众视野,计算机不再是简单的概念,深刻影响着大众的生活和工作。为了纪念卓越的科学家图灵,以他名字命名的ACM图灵奖(ACM A. M. Turing Award),由国际计算机协会(ACM)于1966年设立,奖励那些对计算机事业作出突出贡献的个人,是计算机界最负盛名、最崇高的奖项,有“计算机界的诺贝尔奖”之称。 大会现场 大会现场 回顾图灵奖50年的历史,每一位图灵奖获得者都为计算机学科发展做出重要贡献,推动着计算机学科的革新发展。此次图灵大会聚集了大数据、互联网、物联网、人工智能等领域众多重量级专家和学者及企业代表。 约翰·霍普克罗夫特(John Hopcroft) 因在算法和数据结构设计与分析方面取得突破,在1986年获得图灵奖的约翰·霍普克罗夫特(John Hopcroft),其研究集中于计算的理论方面,特别是算法分析、自动机理论、以及图论算法等。作为大会特邀嘉宾之一,约翰·霍普克罗夫特作了题为”Exciting Ideas in Computer Science”的演讲。 姚期智(Andrew Chi-Chih Yao) 因在计算理论方面做出独特贡献,2000年获得图灵奖的“华人之光”姚期智博士,是迄今为止65位图灵奖获得者中唯一的亚裔学者,也是世界现代密码学基础的奠基人之一,他的研究涵盖了基于复杂性的伪随机数生成理论、密码学、通信复杂性等领域。作为大会特邀嘉宾之一,姚期智作了“经济与金融科技中的博弈论”的演讲。 文顿·瑟夫(Vinton G. Cerf) 文顿·瑟夫(Vinton G. Cerf)是2004年图灵奖获得者,现任谷歌公司副总裁兼首席互联网专家,他是TCP/IP协议和互联网架构的联合设计者之一,被称作“互联网之父”之一。作为特邀嘉宾之一,文顿·瑟夫作了题为”Digital Vellum”的演讲。 除了众多重量级的嘉宾,大会还邀请了相关领域的学者和创业家,如创新工场创立者李开复博士、世界知名的计算机科学家倪明选教授、百度AI技术平台体系总负责人王海峰博士等。多种形式的专题研讨会、特邀报告以及技术研讨会,给参会企业和个人搭建了学习交流的平台。 图灵大会现场,北大深圳研究生院代表团聆听了来自Vinton Cerf、姚期智等几位ACM图灵奖得主在内的特邀报告、专题论坛,参加了演示和展览等形式的交流活动,与优秀学者近距离接触,对话计算机发展,见证网络大数据改变生活,创造价值。 北大老师与学生合影留念 北大深圳研究生院代表团参加了图灵大会技术研讨会分论坛:SIGCOMM China 专题研讨会。研讨会期间,高校及企业代表分别作了专题报告,分享他们的见解并讨论他们在计算机网络、互联网架构方面的研究和经验,推动研究互动发展。 图灵大会建立了与计算机相关领域专家学者亲密接触的平台,多种形式的交流方式、不同主题的论坛会议也让我们了解到目前所面临的新挑战和新问题。...
Read More

2017-2018S1科研沙龙活动记录(一)

时间:2017.4.20 地点:A栋118室 主讲人:15级杨力维 17级付求爱 主持人:朴雪威 参与人员:15级,16级,17级实验室同学 活动内容:     2017年4月20号,我们迎来了本学期第一次科研沙龙活动。此次科研沙龙主要讲解微信小程序和拜占庭将军问题。 第一位主讲人是17届的付求爱师弟,付求爱师弟讲的是最新的前沿知识“微信小程序”,讲解主要分为五个部分,小程序概念,小程序的特点,小程序适用场景,小程序与App的对比,小程序的现状以及自己的一些看法。小程序作为微信投入如此精力,甚至寄托于未来的一款产品,野心不可谓不大。而且从最近的趋势来看,微信会逐步放开小程序线上的限制,包括已经开放的长按二维码识别,公众号绑定,微信支付等,以及直接分享朋友圈,时间也许是一个月,也许是一年或两年,但毫无疑问,小程序与微信的联系将会越来越紧密,背靠微信线上的红利也会越来越多,入口以及限制也会越来越开放。最后他总结到,小程序,短期是不可高估的,长期是不可低估的,才3个半月,不妨先让子弹飞一会儿。 第二位主讲人是15级的杨力维,他首先介绍了2013年图灵奖得主Leslie Lamport在分布式系统领域所做的贡献,最著名的四篇文章是:Time, clocks, and the ordering of events in a distributed system,The Byzantine generals problem,The part-time parliament和Paxos made simple。接下来的讲解从宏观的层面梳理了分布式系统一致性的各项内容。分布式一致性不仅包括终值的结果,还包括事件发生顺序或值的变化历史,引申出四种一致性模型:严格一致性,线性一致性,顺序一致性和最终一致性。分布式系统分为同步网络和异步网络,同步网络的特点是具有全局时钟,消息传递有时延上限,消息顺序交付。异步网络没有以上保证,存在以下问题:通讯时延、节点故障(宕机),节点处理错误,甚至恶意破坏系统,节点之间的网络通讯是不可靠的,网络中断。两军问题表明了在不可靠信道中,无法达成一致,FLP定理表明即使信道可靠也无法达成一致。但实际网络中可以放宽对一致性或可用性的要求,实现不同场景的一致性。CAP定理表明了分布式计算系统不可能同时确保一致性(Consistency)、可用性(Availability)和分区容忍性(Partition tolerance),设计中往往需要弱化对某个特性的保证。实际工程中时间的算法都是基于对一致性和可用性的Trade-off。著名的一致性算法有:二阶提交协议(Two Phase Commitment Protocol)、三阶提交协议(Three Phase Commitment Protocol)、Paxos、Raft。它们均引入一个“协调者”的组件来统一调度所有分布式节点的执行。这些算法解决了分布式的系统中存在故障(fault),但不存在恶意(corrupt)节点场景(即可能消息丢失或重复,但无错误消息)下的一致性问题,这是因为传统分布式系统是可控、可信的,但完全分布式系统(比特币,公有区块链)存在拜占庭错误的情况,对于这种情况,需要BFT,PBFT,PoW等算法解决。 两位同学的讲解深入浅出,让我们微信小程序和拜占庭将军问题有了新的认识,大家可以在空闲时间对感兴趣的问题进行深入研究。   附:获奖名单   鼓励奖:付求爱、杨力维 好问题奖:倪嘉科,朱帅,张强,张冰      ...
Read More

雷凯老师受邀参加美国2017年NDNComm社区会议

2017年3月23-26日,雷凯老师参加了命名数据网络(NDN)项目第三次NDN社区会议(NDNcomm),主要会议地点在美国孟菲斯大学Fedex科技大楼的多功能会议厅。会议时间为3月23 - 24日(周四、周五)。 第四次NDN Hackathon在3月25日至26日举行(周六和周日)。参与者来自美国12州的36组织和全球8个国家。 主要会议在周四和周五进行。周四上午,会议主席张北川主持了NDN在移动、物联网和挑战环境的讨论;加州大学洛杉矶分校的Alex Afanasyev,和Jeff Thompson讨论了NDN之上邻居无线低速率通信;洛杉矶大学Seweryn Dynerowicz, Omar Aponte, Paulo Mendes 等人给出《机会无线网络中的NDN运营》等相关演讲。会议还提到NDN安全现状和各种开放问题。自适应缓存算法,NFD控制中心等;展示了命名数据网络与交通仿真,ICN实现环境传感器系统,mini-NDN——一个轻量级的、可伸缩的NDN仿真环境。 周五会议主席Jeff Burke主持了NDN应用程序、库和工具的讨论。来自UCLA的学者们展示了ChronoShare: 分散的文件共享应用程序; NDN-RTC和实验库功能,ndnSIM的演变历程。会议主席GQ Wang主持了路由和转发相关分享和讨论。最后是关于ndn的一些自由讨论和安排。 会后,雷凯老师同会议主席、相关合作伙伴合影留念。 左起分别为: 叶凡老师,stony brook, 纽约州立大学计算机系; 张北川老师, U of Arizona (亚利桑那大学计算机系); 王岚老师, U of Memphis (孟菲斯大学), Chair of CS dept (计算机系主任); 雷凯老师, 北京大学深圳研究生院, 互联网信息工程研发中心(CIRE)。 更多相关信息,延伸阅读: http://www.caida.org/workshops/ndn/1703/, 命名数据网络中文社区: http://www.ndnlab.cn...
Read More

15级同学司尚春、张丽珠、钟尚儒参加北京ICBDA 2017国际会议

2017年3月10-12日,15级同学司尚春、张丽珠、钟尚儒在雷凯老师的指导下,参加了在北京举办的ICBDA 2017国际会议(2017 IEEE 2nd International Conference on Big Data Analysis),并将实验室的论文成果“An Enhanced Computational Feature Selection Method for Medical Synonym Identification via Bilingual Multi-Corpus Training”、“Syndromes Diagnostic Model for Coronary artery disease (CAD): an improved Naïve Bayesian Classification Model Based on Attribute Relevancy”、“Topic Representation: A Novel Method of Tag Recommendation for text”在会议上与来自全球的学者分享讨论。 ICBDA(2017)由IEEE和西交利物浦大学大数据分析研究所联合主办,University of Texas at Dallas, USA协办,会议旨在促进大数据分析等领域的学术交流与合作,是一个交流大数据的实践经验、推进大数据技术创新与应用、展示国内外大数据领域最新科研成果的平台。会议邀请了Prof. Nen-Fu Huang、Prof. Steven Guan、Dr. Simon Fong、Prof. Hongwei Du等做了Keynote Speech。 钟尚儒同学在11号下午的学术交流会中分享了论文“Topic Representation: A Novel Method of Tag Recommendation for text”,并和与会的学者和同学进行了相关交流。 Topic Representation: A Novel Method of Tag Recommendation for text 作者:Shangru Zhong ; Kai Lei ; Xiaohui Huang ; Jincheng Wu 文章链接:https://ieeexplore.ieee.org/document/8078720   (图1: 钟尚儒同学分享学术论文) 张丽珠同学在12号下午分享了论文“Syndromes Diagnostic Model for Coronary artery disease (CAD): an improved Naïve Bayesian Classification Model Based on Attribute Relevancy”相关的研究成果。 Syndromes Diagnostic Model for Coronary artery disease (CAD): an improved Naïve Bayesian Classification Model Based on Attribute Relevancy 作者:Kai Lei ; Lizhu Zhang ; Ying Shen ; Xiaohui Huang ; Jincheng Wu 文章链接:https://ieeexplore.ieee.org/document/8078768   (图2: 张丽珠同学分享学术论文) 司尚春同学在12号下午分享了论文“An Enhanced Computational Feature Selection Method for Medical Synonym Identification via Bilingual Multi-Corpus Training”,进行了现场交流。 An...
Read More

贵州省大数据局局长马宁宇博士莅临实验室指导

12月20日上午,贵州省政府副秘书长、大数据局局长马宁宇博士、省政府信息中心洪浩处长一行三人专程莅我们云计算重点实验室。北京大学深圳研究生院副院长涂欢博士,深圳市图灵信息科技研究院执行院长刘英杰、汪漪博士参加了接待。雷凯老师汇报了数据科学与内容中心未来网络方面研究进展。     马局长在了解相关研究的可行性、先进性之后感到此行收获颇丰,向涂欢副院长表达希望引入北大相关智力和资源共建“云上贵州”以及联合组建重点实验室的愿望,并衷心地希望北大能安排学生到贵州实践,联合培养,为国家输送出更多优秀的未来互联网、大数据方面人才。...
Read More

15级徐丽妹同学参加IEEE PDCAT 2016会议

2016年12.15-12.18,15级徐丽妹同学参加了IEEE PDCAT 2016国际会议(The 17th International Conference on Parallel and Distributed Computing, Applications and Technologies),并将实验室的论文成果“A novel Trust Model for Activity Social Network Based on PeerTrust”在会议上与来自全球的学者分享讨论。 A novel Trust Model for Activity Social Network Based on PeerTrust 作者:Limei Xu ; Yining Ma ; Kai Lei 文章链接:https://ieeexplore.ieee.org/document/7943370   PDCAT第十七届并行与分布式计算国际会议是科学家和工程师的主要论坛,是一个展示全世界目前最新研究成果,思想的发展和应用在各个领域的并行与分布式计算的平台。 徐丽妹同学在18号下午的学术交流会中进行了论文分享,session 6A: Network security I中的A Novel Trust Model for Activity Social Network Based on PeerTrust。采用全英文演讲和现场问答的形式,介绍了实验室目前在三角地系统信任机制方面的研究成果。在口头报告后,与到会的专家和学者进行了互动交流。 通过参加本次会议,了解到了网络领域内最新研究进展,开拓了视野。通过与参会人员的交流,受到了很多启发。通过做报告,认识到了语言表达的重要性。感谢互联网研发中心和雷老师的资助。...
Read More

15级同学石涧参加武汉ICPADS 2016国际会议

2016年12.13-16日,15级同学石涧在雷凯老师的指导下,李丽华师姐、寻云波师兄的帮助下参加了在湖北武汉 举办的ICPADS 2016国际会议(The 22nd IEEE International Conference on Parallel and Distributed Systems),并将实验室的论文成果“A Peer-to-Peer File Sharing System over Named Data Networking” 在会议上与来自全球的学者分享讨论。 A Peer-to-Peer File Sharing System over Named Data Networking 作者:Jian Shi ; Xuewei Piao ; Lihua Li ; Yunbo Xun ; Kai Lei 文章链接:https://ieeexplore.ieee.org/document/7823745 ICPADS第22届并行与分布式计算国际会议是一个关于Big Data and Massive Storage Systems、Multicore Computing and Parallel/Distributed Architecture、Parallel/Distributed Algorithms and Applications、P2P and Web-Based Computing等的IEEE会议。会议于13号下午开始workshop、14号上午开场。会议邀请了Yunhao Liu、Beng Chin、Nei Kato等国内外知名学者做了keynote演讲。 石涧同学于15号下午的Session PWC-I: P2P and Web-Based Computing上分享了论文。交流采用全英文演讲和现场问答的形式,介绍了实验室在P2P与NDN结合上的研究成果,并和与会学者和同学进行了交流。 通过参加本次会议,了解到了并行与分布式领域的最新研究进展,开拓了视野,在科研上受到了很多启发。非常感谢雷老师能够给予我这次参加会议的机会。 ...
Read More

15级同学杨力维和朱帅参加吉林长春IEEE ICCSNT 2016国际会议

2016年12.9-12日,15级同学杨力维和朱帅参加了在吉林长春举办的IEEE ICCSNT 2016国际会议,(The 5th International Conference on Computer Science and Network Technology),并将实验室的两篇论文成果“Ndynamo: An ndnDHT-based Distributed Storage System over Named Data Networking”及” Combining ICE and SIP Protocol for NAT Traversal in New Classification Standard”在会议上与来自全球的学者分享讨论。       ICCSNT第五届计算机科学与网络技术国际会议是一个关于计算机网络、无线传感器、多媒体及信号处理、人工智能等领域的国际会议。邀请了Prof. Dimitrios A. Karras,Dr. Shaoying Zhu,Dr. Fengfeng Zhou等做了Plenary Speech。 朱帅同学在10号下午的学术交流会中分享了Ndynamo: An ndnDHT-based Distributed Storage System over Named Data Networking。 Ndynamo: An ndnDHT-based Distributed Storage System over Named Data Networking。 作者:Shuai Zhu ; Meng Yuan ; Kai Lei 文章链接:https://ieeexplore.ieee.org/document/8070137 杨力维同学在11号上午分享了Combining ICE and SIP Protocol for NAT Traversal in New Classification Standard Combining ICE and SIP Protocol for NAT Traversal in New Classification Standard 作者:Liwei Yang ; Kai Lei 文章链接:https://ieeexplore.ieee.org/document/8070224 交流采用全英文演讲和现场问答的形式,介绍了实验室目前在NDN分布式存储和内网穿透方面的研究成果,并和与会的学者和同学进行 了相关交流。             非常感谢雷老师能够给予我们这次参加会议的机会,让我们有机会参加和感受国际高级会议的气氛和风采,充分体现了实验室和老师“以学生为本”的办学理念和教育思想。...
Read More

2016-2017S2科研沙龙活动记录(二)

2016-2017S2科研沙龙活动记录(二) 时间:2016.12.1 地点:A栋118室 主讲人:14张翔 14级唐浩 主持人:朴雪威 参与人员:14级,15级,16级实验室同学 活动内容:     2016年12月1号,我们迎来了本学期第二次科研沙龙活动。此次科研沙龙主要讲有关NDN平台指南以及ndnSIM 2.2基于NS-3的NDN仿真器。 第一位主讲人是14级的张翔师兄,张翔师兄讲解的是NDN平台指南。讲解主要分为三个部分,ndn-cxx,NDN Forwarding Daemon(NFD)和NLSR路由协议,证书链配置。ndn-cxx是NDN平台的底层⼯具库,⽤以⽀持各种应⽤的实现。Security Library: 产⽣身份、密钥、证书并签名;NDN数据包的签名机制;安全验证机制。Signed Interest: 以TLV的格式,将签名信息放在名字中(timestamp, randomvalue, SignatureInfo, SignatureValue)。NDN Certificate Format: 描述了当前NDN中的证书格式,标准化安全认证机制的处理流程。ndnsec -help: 查看这个安全相关的命名使⽤⽅法。还有其他的库的介绍。NDN Forwarding DaemonNDN Forwarding Daemon ⽬前是NDN协议与算法的实际执⾏者。模块化 (modularity) 和可扩展 (extensibility) 是NFD的两个主要特性。专注⽹络协议实现及数据包转发,核⼼模块耦合度低,⼯具模块剥离⾄ndn-cxx库中。ndn-cxx Library, Core, and Tools: 为NFD其它模块提供公共的服务(Hash、 DNS、 Config…)。Face:对不同层级的传输进⾏抽象 (udp、 tcp、 File Descriptor、Ethernet等)。Tables: 实现CS、 PIT、 FIB等与NDN数据包转发相关的数据结构。Forwarding: 数据包转发的处理流程,相关转发策略的⽀持。NFD command使⽤nfd-start和nfd-stop启动、关闭NFD。nfdc可以进⾏转发设置、选择转发策略。NLSR路由协议,证书链配置。NLSR——邻接路由配置,general: 层次化的命名结构(network/site/router/),需要与证书⼀致。具体的配置可以看张翔师兄的博客,网址是http://www.hawkers.cc/2016/04/nlsr-security-certchain.html。 第二组主讲人是14级的唐浩师兄,讲的是ndnSIM 2.2基于NS-3的NDN仿真器。分为三个部分NS-3简介,ndnSIM原理与架构,NS-3对象系统。首先讲了Network Simulator的发展进程,NS-3的基本组件包括Application,Protocol,NetDevice,Node,Channel,Help。NDNSIM添加了NDN协议模块的NS-3模拟器,最新版本2.2在2016年11月11号更新,核心代码小于两万行,核心功能包括接入NFD(NDN Forwarding Daemon),接入Producer与Consumer应用脚本,包的追踪与统计。NDN协议的实现包括CS,PIT,FIB,转发流水线,转发策略,路由信息管理。在最新的NDNSIM2.2中子模块NFD和ndn-cxx升级到0.4.1,支持NACK机制。如何做实验,包括创建实验场景,设计Consumer,Producer端APP,修改NFD中转发daemon,仿真和画图。NS-3对象模型,包括Object,ObjectBase,SimpleRefCount,三大特性,智能指针,对象聚合系统和属性系统。 两位师兄的讲解深入浅出,让我们对NFD和NDNSIM的使用有了更深的认识,但是要掌握这些知识,需要大家更深入的学习和动手操作,在实际编程中,加深理解。   附:获奖名单 鼓励奖:张翔、唐浩 好问题奖:邢捷、徐丽妹  ...
Read More

2016-2017S2科研沙龙活动记录(一)

时间:2016.11.1 地点:A栋118室 主讲人:15级张强 16级李可可、罗晟 主持人:朴雪威 参与人员:雷凯老师及15、16级实验室同学 活动内容:    2016年11月1号,我们迎来了本学期第一次科研沙龙活动。此次科研沙龙主要讲有关浅谈命名实体识别以及5G技术分享。 第一位主讲人是15级的张强同学,他首先通过我想听刘德华的忘情水”这个例子来让大家了解命名实体识别的概念。接着介绍了命名实体识别的其他应用,包括识别从影视评论提取作品名/演员名/导演名等,细致的解释了命名实体识别的实现方法,基于规则和词典的方法,问题是导致准确率较高,但召回率较低。形象地介绍了准确率(Precision)/召回率(Recall)/F1值的概念。紧接着讲解了使用条件随机场(CRF)对机构名识别和混合方法。最后总结命名实体识别是自然语言处理中比较经典的问题了,各种算法看似高深,但是技术实现上都很成熟,很难从方法上发掘新的创新点,应用上或许可以;解决实际应用中,不要太拘泥于算法的实现,刚开始可以使用开源工具实现,重要的是寻找特征;人工智能即有多少人工就有多少智能。           之后,第二组主讲人包括16级李可可和罗晟同学,对近些年比较热门的5G技术分享做了大致介绍,移动通信技术发展历程,从1G到4G再到5G的产生,两种基本全双工模式,包括Frequency Division Duplexing(频分双工)及Time Division Duplexing(时分双工),5G的产生主要是因为移动互联网的发展,物联网的广泛应用及可持续发展的节能目的。IMT-2020(5G)推进组5G无线技术架构白皮书包括连续广域覆盖场景,热点高容量场景,低时延高可靠场景,低功耗大连接场景。5G关键技术包括Software Defined Network,Content Delivery Network,Information Centric Network,超密集组网,网络自组织及大规模天线。       他们三人的讲解深入浅出,层次递进,让大家领略到计算机及通信领域学科的知识点。通过一晚上的科研沙龙活动,使大家扩展了知识面。   附:获奖名单 鼓励奖:张强、李可可、罗晟 好问题奖:倪嘉科、刘颖、朱帅、魏子庄、钟尚儒...
Read More