“云峰”论坛第2期成功举行

2022年4月29日下午，新利luck在线·（中国）有限公司官网计算机与通信工程学院“云峰”论坛之前沿论坛2022年第2期线上会议成功举行。本次会议邀请CCF专委会秘书长、国防科技大学计算机学院蔡志平教授、沈立教授、董威教授和赵宝康副教授分别做了“IPv6环境下的网络安全和智能测绘技术”、“全状态量子模拟器在CUP+GPU异构平台上的性能优化”、“程序生成——从自动化到智能化”和“6G时代的天地一体化网络技术”4场精彩的学术报告。同时4位老师也分别介绍了CCF理论计算机学科专委会、CCF体系结构专委会、CCF形式化方法专委会和CCF互联网专委会。报告会由新利luck在线·（中国）有限公司官网计算机与通信工程学院张锦院长和何施茗副院长共同主持。我院师生160余人积极参加了此次报告会。

学术报告之前，张锦院长代表学院向国防科技大学计算机学院的4位教授的到来表示热烈欢迎，并就学院科研发展现状、科研发展规划以及“云峰”论坛举办的意义做了简要的阐述，同时希望全体师生认真聆听，积极交流、学有所获。

蔡志平教授就基于种子信息的地址生成策略在IPv6 地址空间智能探测中的应用研究情况进行了介绍。移动互联网、工业互联网、物联网等技术的快速发展加速了IPv6的应用普及，包括IPv6资产识别与定位、漏洞发现、渗透测试等在内的IPv6地址探测技术是网络安全保障与防御的重要基础。蔡志平教授首先介绍了IPv6环境下的安全威胁与需求及新型网络安全技术，随后重点介绍了网络空间测绘技术和IPv6智能测量技术在IPv6环境中的应用，包括发表在INFOCOM'21、INFOCOM'22的研究成果，并对技术趋势进行了讨论和展望。

沈立教授以通用量子线路模拟器在CUP+GPU异构平台上的性能优化问题为切入点，并分析了全状态模拟器具有计算并行度高、数据局部性差、计算访存（或通信）比低等特点，因此很难充分利用GPU等加速器的性能优势。沈立教授介绍了其团队研究的DLC（Data Locality and Communication）优化框架，并详细讨论了该框架中全状态向量模拟器的数据访问规律。该框架通过数据划分提高了GPU端的数据局部性，利用动态数据布局减少了GPU之间的通信次数和通信数据量，大幅度提升了全状态量子模拟的性能，并大大减少了模拟所使用的GPU数量。

董威教授全面介绍了程序自动生成技术的发展历程和当前的研究现状。程序自动生成技术指利用某些技术自动地为软件生成源代码，达到根据用户的需求机器自动编程的目的。随后董威教授结合其科研团队近年来在基于代码大数据和群体智能的程序综合、基于反应式综合的无人系统控制程序生成等方面的研究进展，并着重介绍了基于网络知识汇聚和迭代式搜索的程序自动构造方法。最后，董威教授对程序自动化生成和智能化生成间的差异以及发展过程中涉及的一些问题进行探讨。

赵宝康副教授以天地一体化网络系统为主题开展了相关网络体系结构、路由交换、传输优化、安全增强等核心关键技术的学术讲座，本次报告系统性地介绍了卫星互联网的概念、发展现状以及研究成果，并着重分析了典型的卫星互联网——星链。详细阐述了星链系统的组成、架构、特点以及其他相关的卫星互联网发展现状。随后，赵宝康副教授分别从架构、路由、传输以及安全等方面对该领域当前的研究进展与未来的发展方向做了简要的介绍，并于参与师生针对该领域相关科研工作的仿真实验以及软件工具等问题进行了深入的探讨和交流。

人物简介：蔡志平，国防科技大学计算机学院教授，博导，中国计算机学会理论计算机科学专委秘书长。长期从事网络安全、大数据分析、机器学习等领域的基础研究和大型工程项目，作为项目负责人主持国家自然科学基金、国防预研等10多项科研工作。在国际顶级期刊和会议上发表论文120多篇，被引用5500多次，14篇成为ESI高被引论文。获国际会议“最佳论文奖”5次，授权国家发明专利13项。获得“湖南省自然科学一等奖”（第1完成人）、“海南省科技进步二等奖”、国家级教学成果二等奖、军队教学成果一等奖、湖南省教学成果一等奖和军队科技进步奖等教学科研奖项。

人物简介：沈立，国防科技大学计算机学院计算科学系副主任，教授，博导。中国计算机学会杰出会员、体系结构专委会秘书长，湖南省计算机学会常务理事。长期从事计算机体系结构方向的教学和科研工作，编写的《计算机体系结构》教材获得2021年首届全国优秀教材一等奖，教学科研成果先后获得国家教学成果二等奖、军队和湖南省教学成果一等奖、教育部科技进步二等奖、湖南省自然科学二等奖、军队科技进步二等奖等。

人物简介：董威，国防科技大学计算机学院教授、博士生导师，主要研究方向为高可信软件、智能化软件开发方法，中国计算机学会形式化方法专委会秘书长。入选教育部新世纪优秀人才支持计划，曾获中国计算机学会首届NASAC青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家自然科学基金重大项目课题、国家863和973课题、国防领域课题十余项，发表学术论文70余篇，出版国家级规划教材两部，相关成果应用于航空航天、装备控制、自主基础软件等关键领域。

人物简介：赵宝康，国防科技大学计算机学院副教授。中国计算机学会杰出会员、互联网专委会秘书长。主要从事网络体系结构与协议、天地一体化信息网络、高性能网络、网络安全等方面研究，研制成功我国首台空间路由器并实现在轨验证，主持国家自然科学基金、863等科研项目多项，先后获省部级科技进步一等奖1项、二等奖2项。已授权发明专利20余项，在知名期刊和学术会议上发表学术论文100余篇。