首页
北京航空航天大学佘志坤教授和南开大学段华贵教授来我院做学术报告
作者： 时间：2024-05-14访问量：
2024年5月10日下午，北京航空航天大学佘志坤教授和南开大学段华贵教授受邀来我院做学术报告。报告面向全校师生开放，由数学研究所所长刘新为教授主持。
佘志坤教授报告题目为“基于可达集上下近似的混成系统安全性验证研究”。佘教授从多学科交叉融合的产物—信息-物理系统（CPS）出发，指出混成系统是研究信息-物理系统的一个非常有效的数学模型，但是混成系统安全性验证是一不可判定问题。 之后报告围绕动力系统可达集的上下近似展开：首先引入演化函数并借助李导数给出它的泰勒级数展开；然后基于部分和公式，提出两种计算可达集上下近似的方法并给予实现；最后与已有的两种可达集上下近似方法的计算结果进行比较，并展示了其优越性。
段华贵教授报告题目为“哈密顿系统的周期轨道”。段教授首先介绍了哈密顿系统的研究背景，然后介绍了为研究周期轨道而建立的辛道路的指标迭代理论；最后进一步地介绍了有关周期轨道多重性猜想的最新研究进展。
佘志坤教授和段华贵教授的讲解深入浅出，我院师生深受启发。报告结束后，与会师生与两位专家进行了学术讨论与交流，现场氛围活跃。
图文/刘天昊 审核/何华 刘国栋
