威尼斯网站

您的位置:威尼斯网站 > 科学研究 > 学术科研

威尼斯app官方第五届含弘青年学者论坛威尼斯网站分论坛

发布时间:2019-03-26 来源:本站原创 作者:本站编辑   浏览次数:

威尼斯app官方第五届含弘青年学者论坛

威尼斯网站分论

学术报告(一)

时间:2019年3月25日下午2:30

地点:威尼斯网站25教1320会议室

报告一:

题目:Two-message Key Exchange with Strong Security from Ideal Lattices

报告人:杨铮

报告人简介:杨铮,现任新加坡科技与设计大学博士后研究员,参与新加坡科研基金重点项目SecUTS。2013年于德国波鸿鲁尔大学获博士学位,现主要研究方向包括密码学、隐私保护、以及工业控制网络安全等。目前作为项目负责人主持多项国家自然科学基金和教育部科研项目。曾作为博士后研究员任职于芬兰赫尔辛基大学并参与完成芬兰科学院位置信息安全相关重点项目INSURE。作为(共同)第一作者在多个国际顶级或著名会议和期刊发表学术论文,包括IEEE EuroS&P 2019、 IEEE INFOCOM 2018、 CT-RSA 2018、 PKC 2014、ACNS 2014、 以及 ACM TOSN 和 The Computer Journal等。

内容摘要:We first revisit the generic two-message key exchange (TMKE) scheme (which will be referred to as KF) introduced by Kurosawa and Furukawa (CT-RSA 2014). This protocol is mainly based on key encapsulation mechanism (KEM) which is assumed to be secure against chosen plaintext attacks (IND-CPA). However, we find out that the security of the KF protocol cannot be reduced to IND-CPA KEM. The concrete KF protocol instantiated from ElGamal KEM is even subject to key compromise impersonation (KCI) attacks. In order to overcome the flaws of the KF scheme, we introduce a new generic TMKE scheme from KEM. Instead, we require that the KEM should be secure against one-time adaptive chosen ciphertext attacks (OT-IND-CCA2). We call this class of KEM as OTKEM. In particular, we propose a new instantiation of OTKEM from Ring Learning with Errors (Ring-LWE) problem in the standard model. This yields a concrete post-quantum TMKE protocol with strong security. The security of our TMKE scheme is shown in the extended Canetti-Krawczyk model with perfect forward secrecy (eCK-PFS).

报告二:

题目:Robust Control for a Quadrotor Unmanned Aerial Vehicle in Complex Environments

报告人:陆奇

报告人简介:Qi Lu received his Bachelor of Engineering in Mechanical Engineering and Automation from the China Agricultural University, Beijing, China, in 2012, and Master of Science in Mechanical Engineering from the University of Florida, in 2014. He is currently a Ph.D. candidate in the Department of Mechanical Engineering, Texas Tech University, Lubbock, TX, USA.His current research interest is navigation and control of unmanned aerial vehicles.

内容摘要:Control of a quadrotor is a challenging task yet has received increasing attention, which is driven by the various applications, in recent years from both industrial and research communities. During the quadrotor mission execution, the autonomous flight is desired to ensure the safe and efficient operation while minimizing the workload of the pilot. To achieve that goal, it requires accurate navigation information followed by proper control actions. Even though the global positioning system (GPS) receivers are widely equipped with the commercial quadrotor platforms for navigation purpose, the autonomous flight of the quadrotor in complex GPS-denied environments gives rise to new challenges regarding the navigation and control. Currently, the most common approach for GPS-denied navigation is the motion capture system, which is far from real application scenarios due to the complex setup and high cost. Therefore, it is of practical interest to investigate the development of robust control framework using onboard sensing and computation to achieve the autonomous flight of the quadrotor in GPS-denied complex environments while mitigating the effects of model uncertainties and external disturbances. This talk investigates three specific topics aiming at enhancing the control performance of the quadrotor in GPS-denied complex environments. In particular, the three topics addressed herein are 1) robust trajectory tracking in a GPS-denied environment, 2) robust landing on moving platform, and 3) robust launch with global tracking control. The investigated three topics constitute of the three essential phases, which are take-off, trajectory tracking, and landing, during the quadrotor mission execution.

报告三:

题目:GPU CUDA-based parallel algorithm design and implementation for computer vision / optimization problems in 2D/3D Euclidean space

报告人:乔文豹

报告人简介:乔文豹于2014 年6月获得上海大学工学硕士研究生学位,并于2014年10月被国家公派到法国技术大学-应用科学院集团(UT-INSA)下属的贝尔福蒙波利亚技术大学(UTBM)攻读博士学位。在2018年9月获得UTBM 计算机信息学科博士学位之后,乔博士获得世界排名前十大学UCL (University College London)的短期科研职位,research fellow. 乔博士的研究侧重点是GPU CUDA 并行算法设计于实现, 及其在2维3维欧式空间内计算机视觉、路径优化的应用。目前著有计算机学科SCI二区、EI 学术论文共6篇,另有3篇在审。

内容摘要:Parallelism working on GPU CUDA platform is one of the most economical ways to hugely accelerate performance of an originally high time complexity algorithm. Through redesign an algorithm, make it adapted to the characteristic of CUDA platform, a very classic algorithm, for example the 2-opt that takes O(n*n) time complexity, can now work in O(n) time complexity using our algorithm.

Also, many world-class companies and universities, like Apple, Dassault, Amazon, UCL, have met the same problem of too much running time when they use their existing sequential computer vision algorithms, like an existing sequential stereo matching or optical flow algorithm. So, they are also seeking for acceleration based on GPU CUDA for applications in both 2D and 3D Euclidean space. Our latest PhD research has success result on K-D Euclidean applications. 

During the procedure of re-design an existing algorithm or design totally new algorithm for a concrete application, many new algorithms will be found and explored。

报告四:

题目:自动驾驶中基于视觉的可行驶区域检测(Vision-Based Free Space Detection for Autonomous Driving)

报告人:云一宵

报告人简介:云一宵现就职于瑞典沃尔沃汽车集团(Volvo Cars)与汽车安全系统一级供应商奥托立夫(Autoliv)合资成立的Zenuity自动驾驶公司,专注于自动驾驶视觉感知算法的研究与开发。云一宵2009年本科毕业于成都电子科技大学,2011年硕士、2016年博士毕业于瑞典查尔姆斯理工大学(Chalmers University of Technology),主要研究方向为计算机视觉,机器学习,模式识别,具体应用包括图像视频中的目标检测、目标追踪,和人类行为识别等。

内容摘要:This talk mainly addresses the problem of detecting drivable road surface (free space) for self-driving cars, where a camera-based cost-efficient solution is introduced and demonstrated.

报告五

题目:对抗生成网络下的多媒体取证

报告人:丁峰

报告人简介:本科毕业于华中科技大学光电子信息工程专业。2017年博士毕业于美国新泽西理工学院电子信息工程专业。论文指导老师为Yunqing Shi教授。研究方向为计算机视觉,机器学习,信息安全。2017年博士毕业后留校继续在Shi教授课题组从事博士后研究。2018年接受日本大阪大学的邀请,担任特聘研究员,从事计算机图形学的研究。

内容摘要:在当今社会,随着智能设备的普及和技术发展,编辑篡改多媒体信息变得愈发简单,给信息安全带来了威胁。相应的,数字多媒体取证是为了确保信息的真实性和传播过程中完整性的极其重要的研究领域。在2013年左右,卷积神经网络和深度学习的重新崛起而备受研究者们关注。基于这项技术的对抗生成网络(GAN)也被运用于语音以及图像视频生成。可以预见的是,随着对抗生成网络的不断发展,生成的内容愈发真实,如果被别有用心的不法分子运用,将会给社会安全带来极大的危险。本报告将以数字图像取证为例,通过介绍多媒体取证的历史以及当今最前沿的对抗生成网络技术来展望多媒体取证的未来。

报告六

题目:智慧城市中的地下空间安全智慧综合管廊

报告人:翟震

报告人简介:国家物联网工程技术研究中心,2007年获北京大学计算机工程硕士学位,2013年获华盛顿大学物联网工程专业博士学位,先后在美国戴尔计算有限公司研发部门任职技术总工程师,ISG部门技术支撑,专业研究物联网、数据存储等核心技术的发展。2003年----2015年,从事物联网核心技术的研发工作。2015年至今,任职国家物联网工程技术研究中心研究员,研发智慧海洋中的空间安全智慧海底管廊一体化管控系统平台,运用云计算、大数据、通过物联网中的采集器、传感器对管廊空间中的各因子,设备进行实时监控,拥有自主研发的硬件设备和软件系统平台,在智慧海洋项目上,通过一体化管控平台为管理提供信息化支撑技术。

内容摘要:智慧城市中的地下空间安全智慧综合管廊项目:地下空间安全智慧管廊综合管理平台是将综合管廊内部设置的环境与设备监控系统、安全防范系统、通信系统、火灾自动报警系统、燃气泄漏报警系统、示范段新技术(振动光纤检测技术)等等各智能监控与报警子系统和地理信息系统的信息采集与联动控制有机地结合一起,集成到监控中心的统一管理平台上,以实现对管廊、管廊附属设备的综合管理。综合管理平台具有集中指挥调度、监控管理、数据管理、安全报警、应急联动和综合处理等功能,把综合管廊监控与报警各系统集成为一个相互关联和协调的综合系统,实现各系统统一管理、信息共享及联动控制。
综合管理平台和各专业管线配套监控系统和相关监控平台应(预留)联通(接口),为城市基础设施服务发挥核心纽带作用,并为管廊日常运行和应急管理,提供安全、可靠的技术保障。
综合管理平台的集中管理、分散控制、统一调度功能,能够确保各类市政工程管线安全、有序、高效运行,为充分发挥综合管廊服务管理水平,保障城市可持续发展,创造有利条件。
管廊运维综合管理平台可以实现如下功能:
1)将各子系统集成与联接,实现协同运作、一体化智能管理各监控与报警系统,如模拟巡检,事件(监控中心)遥控调度处理。
2)各种数据集成与共享,多用户分权限调用数据,同时保障网络、数据库安全可靠。
3)运维管理信息化。辅助管廊运营维护日常管理工作,如巡检、安保、技术档案、监控值班、资产管理、设施维护维修、管廊人员出入、廊内施工、管线巡检等,推动运维管理流程化、标准化。
4)设施维修、故障处理、应急处理的专家系统,提供高效快捷的处理方案,提高运维工作效率。
项目具有核心技术,市场前景广阔,2014年国家开始第一批12个城市的地下管廊建设,预计在2025年前总体量4万亿,信息化手段进行管廊的建设、运营维护迫在眉睫。

学术报告(二)

时间:2019年3月25日下午2:30

地点:威尼斯网站25教1314会议室

报告一:

题目:Enabling A Smart Grid: Business Model, Machine Learning, and Algorithms;

报告人:汪浩

报告人简介:Wang Hao received his Ph.D. from The Chinese University of Hong Kong and is a Postdoctoral Scholar at Stanford University. His research interests are in the optimization, applied machine learning, and data analytics of Cyber-Physical Systems and Internet of Things. He has published more than 30 peer-reviewed papers in IEEE journals and conferences, and 5 papers in IEEE Trans. Smart Grid (IF 7.364). He was the recipient of the Best Paper Award in IEEE PECON 2016, Best Paper Run-up of IEEE ICC 2017, and recognized by Applied Energy (IF 7.900) and Renewable Energy (IF 4.900) for Outstanding Review Service.

内容摘要:The electric power system is undergoing a fundamental transition to being more sustainable and intelligent, commonly known as the smart grid. To enable a seamless transition, various technologies have been developed, including demand response, renewable energy generation, and energy storage. These new technologies bring both opportunities and challenges to operation and planning of power systems. I will present my research on the development of frameworks and algorithms to integrate new devices and technologies. I will first discuss a cooperative framework for the optimal planning and operation of renewable energy resources, which enables proactive interactions of microgrids. I will then talk about how to leverage machine learning techniques to improve the performance of demand response and economic viability of energy storage. I will conclude with some thoughts on future research opportunities in the area of smart energy systems.

报告二:

题目:智慧交通城市研究成果介绍

报告人:陈博奎

报告人简介:陈博奎,现任新加坡国立大学计算机学院资深研究员。2015年曾获得澳门科技大学助理教授。主要从事计算机科学、智慧城市交通、物流管理、自动驾驶车辆、交通信息系统等领域的研究工作。先后主持和参与完成国家级科研项目12项,具有丰富的国内外科研工作经历。研究期间,陈博士共计发表学术论文30余篇,主要获奖奖项8项。此外,陈博士还长期担任3个国际期刊的编委和12个SCI一区期刊审稿人。多次受邀参加国际学术会议并作大会特邀报告。

内容摘要:智慧城市交通是未来城市交通的发展趋势,许多国家都对智慧城市研发进行大量的投入。该报告介绍陈博士近年来在智慧城市交通中所取得的科研成果,包括自动驾驶车辆混合仿真系统,动态路径导航系统,潮汐车道动态变道系统,以及动态交通灯配时系统等。最后介绍下智慧城市交通的未来发展方向。

报告三:

题目:社交网络中的信任管理研究

报告人:刘冠峰

报告人简介:刘冠峰,2013年毕业于澳大利亚 Macquarie大学,获得计算机博士学位。博士论文获得当年澳大利亚最佳博士论文提名,并获得2012年Macquarie 大学校长研究奖。目前为麦考瑞大学助理教授,主要从事可信计算、社交网络和图数据挖掘等领域的研究工作。曾参与多项澳洲科研基金项目研究。在IJCAI、AAAI、TKDE、ICDE、TSC、FGCS、WWWJ、ICWS等重要国际期刊与知名国际会议上发表论文80余篇,获得最佳论文奖5次。

内容摘要:在线社交网络已经成为信息发布共享,工作求职,产品推荐等活动的重要网络平台。由于参与者之间的信任影响着服务和产品的选择,信息的传播等。因此信任成为了支持人们网络社交的重要参考指标,具有重要的研究价值。本学术报告介绍社交网络的复杂结构以及社交网络中可信计算的关键方法和问题。

报告四

题目:Network and layered architecture in human brain

报告人:刘泉影

报告人简介:Quanying Liu had her bachelor in electrical engineering and master degree in computer science at Lanzhou University, China. She got her PhD degree at ETH Zurich, Switzerland in 2017 with a thesis titled 'Brain network imaging using high-density EEG'. During her PhD period, she won the Mobility grants from Swiss National Science Foundation to support her to stay University of Oxford and KU Leuven for one year (2015 and 2016), respectively. Inspired by this collaborative research environment, she successfully developed tools to detect the large-scale functional connectivity using EEG technique which have been shared, tested and used among these research groups. Quanying moved to US in November 2017. She is currently working at California Institute of Technology as a postdoctoral fellow. Her research interests are mainly in in understanding the computational processes in brain, the underlying neural basis and network architecture in human brain.

内容摘要:Nervous systems sense, communicate, compute, and actuate movement, using distributed components with tradeoffs in speed, accuracy, cost, sparsity, noise, and saturation throughout. Nevertheless, the resulting control can achieve remarkably fast, accurate, robust performance. We hypothesize it is due to a highly effective network and layered architecture that combines higher layers of planning/predicting with lower layer reflex/reaction.

In an idling condition, the brain is thought to prepare itself for future demands by generating coordinated dynamics that largely overlap with patterns of previous activity. These coordinates dynamics can be studied by using functional connectivity methods. I reported - for the firstly time – the successful brain network imaging using. Here, I will present some methodological approaches that are needed to improve the spatial resolution of source localization with high-density EEG (hdEEG), and to permit brain network imaging using this technique. In particular, we have developed tools for signal preprocessing, head modeling, neural activity reconstruction and connectivity analysis.

Moreover, we proposed a theoretical framework using feedback control theory and information theory which connects the component level speed-accuracy tradeoffs (SATs) in neurophysiology and system level SATs in sensorimotor control performance. It provides a holistic perspective of both levels and is needed to clarify the properties of effective architectures, and why there is such extreme diversity across layers (from planning to reflex) and within levels (of sensorimotor systems and neural components). The results lead to a novel concept, ‘diversity sweet spots (DSSs)': that is, an appropriate diversity in neurons/muscles across layers and within levels help achieve systems that are both fast and accurate despite being built from components that individually are not. DSSs explains the necessity of the observed nerve heterogeneity at the component level as well as the resultant performance heterogeneity at the system level.

报告五:

题目:Exploring Design Principles of Cellular Information Processing (探索细胞内信息处理系统的设计原理)

报告人:冯松

报告人简介:博士后研究员,任职于洛斯阿拉莫斯国家实验室非线性研究中心。在此之前获得华威大学的计算生物学博士学位,阿卜杜拉国王科技大学的硕士学位和浙江大学的学士学位。研究兴趣广泛,目前主要对于复杂网络,进化,设计原理与控制相关的课题感兴趣。平时爱好攀岩,滑雪和徒步等户外运动。

内容摘要:Biological systems exhibit complex dynamics, due to the complex interactions in the intra- and inter- cellular biochemical reaction networks. These complex systems often generate response dynamics that are essential for correct decision-makings in cells. Especially, these complex interactions are results of long term of evolutionary process. With such evolutionary complexity, systems biologists aim to decipher the structure and dynamics of signalling and regulatory networks underpinning cellular responses; synthetic biologists can use this insight to alter existing networks or engineer de novo ones. Both tasks will benefit from an understanding of which structural and dynamic features of networks can emerge from evolutionary processes, through which intermediary steps these arise, and whether they embody general design principles. Here we combine in silico evolution with rule-based modelling of signalling networks to study a particular response dynamics, namely ultrasensitive response dynamics. By evolving signalling networks under synthesised fitness functions, we demonstrate that some networks evolved from selections with ultrasensitive response dynamics take advantage of known mechanisms. Even more interestingly, some evolved signalling networks displays hysteresis in their switching-like response dynamics. Further analysis reveals that one of the most prevalent core signalling motifs displays bistability through allosteric enzymes. Unlimited multistability and complex cell state transitions emerge along with increasing number of allosteric enzymes and/or number of conformational states in a single enzyme.

报告六:

题目:GNSS电离层扰动特征探测与日地活动的关系

报告人:杨恒

报告人简介:杨恒,男,西班牙加泰罗尼亚大学信号理论与传播系(UPC/TSC)博士研究生,现任加泰罗尼亚大学数学系(UPC/MAT)研究助理,长期从事GNSS电离层探测研究,其主要内容包括:a)通过去趋势的电离层地图检测多尺度电离层扰动,b)电离层行扰的季节特征 (TIDs)和对精确GNSS导航的影响,c)检测、识别和模拟日地活动如地震、海啸、日食等引起的电离层类波扰动。 目前已在SCI期刊上发表了多篇文章,并在国际会议上作为作者/共同作者在口头/海报展示中作出了若干贡献。

内容摘要:报告主要涉及高层大气电离层GNSS反演,电离层类波扰动检测和表征以及扰动与日地活动的关系。利用地基全球卫星导航系统(GNSS)接收器观测数据进行电离层物理状态反演,并通过计算的垂直总电子含量(VTEC)估计电离层扰动(TID)。主要介绍了一种方法,可应用于大规模密集的全球定位系统地球观测网络,克服了VTEC采样时空非均匀性和TID传播特征不确定性的观测和建模限制,用于检测TID的数量及传播参数。通过收集学习日本GEONET网络收集的去趋势VTEC数据,我们研究了2011年3月21日春分日期间中尺度电离层行扰(MSTID)的重要物理特征:a)与特定小型地震时空高度相容的圆形MSTID; b)方位角几乎相同的两个不同的MSTID; c)夜间存在速度为400-600米/秒的MSTID。利用该方法对于美国CORS网络观测数据的研究,我们提供了对2017年8月21日美国日全食期间复杂多尺度TID演变的详细描述,主要是日食全影与半影的不同冷却效应在电离层产生了时变多样性特征的扰动,如类冲击波、双弓波等的活动等,其结果与太阳与地球表面的垂直角度的时间演变相关。并检测到一种出现在类弓波扰动之前的中尺度TID,与孤波(soliton waves)的特征高度一致。最后,报告了2011年3月11日日本东北9.1级地震海啸期间对于电离层产生的复杂扰动与如瑞利波、声波、声重波等的关系研究。

 

威尼斯网站-威尼斯app官方