国家天元数学西北中心定于5月17日-20日在线上腾讯会议举办“面向AI的图/复杂网络理论与方法讲习班”。该活动是中心2023“图论与复杂网络”主题年重要活动之一,讲习班由西安交通大学徐宗本院士顶层设计,西北工业大学许勇教授、西安交通大学孙建永教授、孙剑教授召集策划。讲习班将从复杂网络、数学机械化、计算几何三个方面介绍面向人工智能解释和设计、以及机器证明的图和网络相关理论与方法。具体包括复杂网络理论及其应用、图论的计算几何与人工智能、数学机械化概述应用等。通过介绍面向人工智能的特定图与网络相关理论与方法,为人工智能理论与方法的发展提供新视角和新思路。
【课程介绍】
课程一:基于AI的复杂网络理论及应用 课时:10学时
课程简介:本课程将较为全面系统地介绍复杂网络知识,涉及多种大型动态发展的网络如互联网、多体集群网、电网和社会网络为背景的建模、分析、同步、控制和鲁棒性问题,为进一步学习、研究和发展新网络理论和技术做比较完整的铺垫和准备。课程主要内容包括网络科学综述和基本模型描述、网络同步与最优结构分析、网络控制与判定、网络鲁棒性和网络高阶拓扑基础及其应用等。
主讲人:陈关荣 院士 香港城市大学
陈关荣教授1981年获广州中山大学计算数学硕士学位,1987年获美国德州农工大学应用数学博士学位,其后在美国莱斯和休斯顿大学任教,2000年后在香港城市大学任讲座教授至今。陈关荣教授于1997年被选为IEEE Fellow,分别在2008、2012和2016年获国家自然科学二等奖,2011年获俄罗斯圣彼得堡国立大学授予荣誉博士学位,2014年获法国诺曼底大学授予荣誉博士学位并当选为欧洲科学院院士,2015年当选为发展中国家科学院院士。
课程二:数学机械化 课时:10学时
课程简介:本课程主要介绍数学机械化两个经典领域的基本原理和软件,特别是组合数学中的符号计算方法。主要包含以下内容:1.符号计算与数学软件。将介绍数学机械化的研究方向,符号计算的常用软件以及简单的编程。2.几何定理的机器证明。主要介绍多元多项式系统和几何定理机器证明的原理和方法。3.组合数学中的符号计算方法。我们将从经典的Gosper算法和Zeilberger算法出发,介绍符号求和的基本思想和方法。然后我们介绍符号求和的一些新进展,包括多项式递归序列的求和问题、多重和问题等。最后,我们将介绍利用符号计算方法解决组合数学问题的若干示例,包括Ramanujan同余式、组合不等式证明等问题。
主讲人:侯庆虎 教授 天津大学
侯庆虎,天津大学数学学院教授。2001博士毕业于南开大学,研究方向为组合数学及其应用。在组合恒等式的机器证明领域取得了系列成果,包括Zeilberger算法终止性、q超几何级数机器证明、多重和问题、单峰型问题和组合同余式的机器证明等。先后主持国家自然科学基金项目多项,获批国家自然科学基金优秀青年项目,作为课题负责人主持国家重点研发计划项目,作为骨干成员参与国家自然科学基金重点项目和创新群体项目。参与多项应用项目,包括数据分析,人脸识别,DNA存储等。长期与社科院合作进行城市竞争力研究,获得“孙冶方”经济学奖。
课程三:计算几何与人工智能 课时:10学时
上课时间待定,确定后将在中心官网及微信公众平台另行通知。
【日程安排】
时间:2023年5月17日-20日
腾讯会议:953-5638-7622 密码:2023
课程表
【报名方式】
1.讲习班不收取任何费用,从事图论与复杂网络相关领域研究的青年学者及在校研究生均可参加。
2.为了解讲习班受益面,请有意参加的学者于2023年5月15日(周一)前通过链接或扫描二维码填写报名表。按照课表进入腾讯会议室参会。
https://docs.qq.com/form/page/DZXRxYmx2QW5nR05M
【联系方式】
联系人:白老师 国家天元数学西北中心
电话:029-82665627
邮箱:xbty@xjtu.edu.cn
地址:西安交通大学云顶国际4008服务平台111办公室