2018年5月16日青年博士论坛

时间：5月16日(周三)9:00-10:30

地点：仙林校区计算机学科楼327会议室

报告人:陈飞

题目：构建高效灵活的网络即服务（NaaS）

摘要:

近年来，云计算为大范围的分布式服务提供了合理的解决方案。其中，网络即服务（NaaS）将网络作为一种可消费的虚拟化资源，对不同类型的网络传输服务提供支持和保障。然而，在高速增长的全球化服务下，异地化的用户请求在时间上和空间上呈现出较强的动态性。如何构建高效灵活可扩展的服务模式成为影响NaaS效能的关键。围绕这一问题，将从网络传输优化，虚拟网络搭建，以及网络应用的开发部署三个方面展开探讨。

报告人简介:

陈飞，现任江南大学数字媒体学院校聘副教授，于2014年获得加拿大西蒙弗雷泽大学计算机科学专业博士学位。研究方向主要包括云计算和计算机网络。近年来共计发表论文17篇（第1作者10篇），其中SCI索引论文9篇，CCF推荐的A/B/C类会议分别1/2/1篇。主持国家自然科学基金青年基金、江苏省自然科学基金青年基金各一项，参与国家重点研发计划子课题一项，国家科技支撑计划一项。担任国际会议ICCCN2017, MSWiM2017, GLOBECOM 2015/2016/2017/2018 TPC Member，同时为 IEEE Transactions on Wireless Communications, IEEE Transactions on Parallel and Distributed Systems, IEEE Transactions on Multimedia, Elsevier Computer Communications等SCI期刊的审稿委员。

报告人:相东明

题目：基于PD-net网展开的数据不一致检测

摘要:

数据不一致错误时常发生在并发的系统环境中，如多线程、多核架构、并发业务流程设计等。虽然基于状态迁移图的方法可实现相关错误检测，但因其采用交错语义的分析手段，因而很容易导致状态空间爆炸问题，且不易表征并发关系。为此，提出了基于PD-net (Petri Net with Data) 展开技术的检测方法。该方法首先给出了PD-net的形式化定义，通过改进的ERV方法来展开PD-net，以生成有限完备前缀，并从理论上证明了该前缀的有限性与完备性。再者，通过Warshell算法以及关系矩阵运算来获得有限完备前缀的所有并发事件对，针对并发事件对，依据数据不一致的形式化定义，给出了相应的错误检测算法。

报告人简介:

相东明博士，现就读于同济大学电子与信息工程学院，攻读计算机科学与技术专业工学博士学位。目前从事形式化模型与方法、网络信息服务方面的研究，包括模型检测、软件形式化验证、Petri 网理论与应用、业务流程管理、Web 服务、电子交易安全检测等。现负责蒋昌俊科研团队的信息服务与可信计算小组。曾获同济大学优秀博士奖学金。目前已发表学术论文12篇，近三年内发表论文7篇，其中包含SCI一区论文(TII) 1篇。此外，在投学术论文3篇。