返回首页
登录

CCF南京 钟山论坛——数据科学与软件工程前沿技术研讨会顺利召开

阅读量:295 2021-08-16 收藏本文

CCF南京会员活动中心20218月15线上方式举办了钟山论坛——数据科学与软件工程前沿技术研讨会”,旨在更好的在疫情期间和暑假的后半程服务CCF会员、科研人员、在校师生,论坛免费开放。

本次论坛的主题是软件定义一切,数据驱动智能”,围绕数据科学与软件工程前沿技术CCF南京针对高校教师和学生策划了此次论坛。特邀活跃于该领域专家学者从他们的最新研究成果与大家进行分享与探讨。

 

本次论坛执行主席由黄志球教授(南京航空航天大学副校长)和陈兵教授CCF南京会员活动中心主席,南京航空航天大学计算机科学与技术学院院长)共同担任。黄志球教授代表南京航空航天大学、陈兵教授代表CCF南京会员活动中心和南京航空航天大学计算机科学与技术学院进行了热情洋溢的精彩致辞。由刘CCF会员,南京航空航天大学计算机科学与技术学院教授)担任本次论坛的主持人。

本次论坛首先由王国仁教授(北京理工大学计算机学院院长)作了题为《Big Data 2.0: 未来数据计算》的报告(南京航空航天大学秦小麟教授主持)。如今,大数据技术正在正在深刻地影响着整个社会和世界。本报告首先回顾了当前大数据计算的发展现状和主要技术进展,包括批处理、流计算等大数据计算平台。接着从批流融合、跨域处理和边缘计算等三个方向介绍未来数据计算的发展趋势。

 

本次论坛的第二位特邀嘉宾程学旗研究员(中国科学院计算技术研究所副所长)作了题为《数据科学与计算智能的发展思考》的报告(南京理工大学肖亮教授主持)。大数据具有规模大、多源异构、高度动态增长、价值密度低等特点,给数据的有效分析和高效处理带来了巨大挑战。程老师从数据复杂性、计算复杂性、系统复杂性三个角度探讨数据科学重要问题,并具体阐述了大数据的精简表达与度量、大数据的计算理论与方法、大数据智能涌现的计算模式等三个方面,最后介绍了他及其团队开展的具体研究工作,给从事相关研究的老师和同学很大的启发。

 

本次论坛的第三位报告嘉宾是李飞飞教授(阿里巴巴集团副总裁),他作了题为《企业级云原生分布式数据库系统: 挑战与趋势》的报告(南京航空航天大学许建秋教授主持)。在云计算时代,云原生分布式数据库因为弹性扩展、高可用、分布式等特性获得了大量应用。为了满足企业级应用需求,云原生数据库探索新的体系架构。同时, 金融级高可用、异地多活等技术挑战也是云原生数据库所必须提供的关键能力。基于对以上技术挑战的不断探索和实践,李教授及其团队自研了针对海量结构化与非结构化数据提供实时融合分析的数据仓库AnalyticDB, 经受了阿里巴巴双十一世界级的交易峰值挑战并取得商业化成功。最后李教授总结了PolarDB和AnalyticDB机器学习以及安全加密等最新技术,希望可以提供智能化、安全的云原生分布式数据库系统。

 

本次论坛出场的第四位嘉宾是马帅老师(北京航空航天大学计算机学院教授)。他作了题为《图数据高效计算方法和系统》的报告(南京航空航天大学皮德常教授主持)。他认为,如今数据规模巨大、动态变化、可靠性低,如何从大数据中快速准确地搜索有价值的信息已成为当前亟待解决的一个重要挑战性问题。首先马老师为我们介绍大图数据高效计算方法和系统。首先,在大数据环境下,图计算任务在最优解难以计算或者不必要时,可以追求高效计算并且满足需求的近似结果。其次,大图数据是动态变化的,马老师还介绍正在研发的一个时态图数据管理TGraph,这会对动态图进行有效的分析和管理。

 

本次论坛的第位嘉宾是谢涛老师(北京大学计算机科学技术系讲席教授)。他作了题为《智能化软件工程和智能软件工程:人工智能和软件工程的交叉融合》的报告(南京大学马晓星教授主持)。作为人工智能与软件工程交叉融合的例子,智能化软件工程和智能软件工程近年来有了很多进展。智能化软件工程侧重于在为解决各种软件工程任务而研发的方法中灌输智能,智能软件工程专注于解决智能软件应用领域的各种软件工程任务。最后谢老师为我们介绍和探讨智能化软件工程和智能软件工程的最新研究进展和未来发展方向。

 

本次论坛出场的第位嘉宾是詹乃军研究员(中国科学院软件研究所计算机科学国家重点实验室副主任)。他作了题为《Extending Hoare Logic to Hybrid Systems》(将霍尔逻辑扩展到混合系统)的报告(南京航空航天大学周宇教授主持)。近年来,混合系统因其强大的功能和可扩展性而越来越受到关注,混合系统的强大规范逻辑是演绎方法的基础。但是,现有的规范逻辑无法轻松处理并发进程模型詹研究员报告了他们 Hoare 逻辑扩展到使用混合通信顺序过程建模的混合系统。首先,他们证明相对 Duration Calculus 的完备性。接着又证明了它相对于微分方程的一阶理论的连续相对完备性,以及它的离散相对完备性。最后,詹老师介绍了自己团队已经在 Isabelle/HOL 中实现了这两个证明系统,并应用它们来验证实际案例,例如中国高速列车控制系统、航天器等。

 

本次论坛出场的第位嘉宾是张路老师(北京大学信息科学技术学院计算机科学与技术系教授)。他作了题为《编译器测试与调试》的报告(南京航空航天大学刘逵副教授主持)。现如今,由于编译器是代码从开发态变成运行态的核心支撑,编译器中的错误可能影响众多软件的开发和运行。张教授介绍针对编译器错误的检测和排除开展的多项研究工作,比如针对编译器测试中常用差分测试预言的证明,基于学习的编译器测试程序排研究基于编译器测试程序变异的编译器错误定位。

 

本次论坛的最后一位嘉宾是应时老师(武汉大学计算机学院教授)。他作了题为《QLLog:基于Q-learning算法的SaaS软件日志异常检测方法》的报告(南京航空航天大学的杨志斌副教授主持)。应教授介绍了一种日志异常检测的新方法--QLLog,这是基于Q-learning的方法,不仅可以高精度检测多种类型的系统异常,还可以对异常事件的严重程度进行排序。此外,还为我们介绍了新设计的日志异常检测模型,并讨论如何利用 Q-learning 算法构建和实现 QLLog 。

 

本次论坛的主题集中在“数据科学与软件工程前沿技术”的探讨上,并对数据计算、数据智能、数据库系统、软件测试、智能化软件工程和智能软件工程等方向的目前进展和挑战,以及将相关最新成果应用到工业界的可能性作了总结与展望,得到了与会者的一致好评。未来CCF南京会员活动中心还会继续根据会员的需求持续安排针对性的专题报告,不断提升对CCF会员和在校师生的服务质量。