学生风采
所在位置 网站首页 > 思政工作 > 学生风采 > 正文
数学年会系列报道
编辑:学院团委发布时间:2009年04月23日

 

  422日下午1400,中国数学会2009学术年会组合与计算机数学分组报告在厦门大学卢嘉锡楼202报告厅举行。本场分组报告由孟吉翔主持。

  北京大学8797威尼斯老品牌冯荣权教授做了以“On the Coverings of Graphs”为题的学术报告。冯荣权教授以非常谦虚地话语开始自己的报告,接着介绍“Graphs, Cayley graphs, Regular quotients and regular coverings, Ordinary voltages, Graph coverings”方面的相关内容,“图覆盖”是此次报告的主题,那第一部分引出了“图覆盖”这一概念,介绍完“图覆盖”概念后,冯教授从“Isomorphism of coverings, Trivalent circulant graphs, Folding Number more than 3, Typical coverings of a Cayley graph, Enumeration of typical circulant coverings, Trivalent circulant graphs again, Double circulant coverings”这几个话题来阐述相关的内容以及自己的观点,本报告还有“Characteristic polynomials of graph coverings”和“Graph bundles, a generalization”这两部分的内容。报告完毕后,冯教授认真谦虚地回答了在场数学老师的提问。

    南开大学组合数学中心Chirs.Reidys教授做了以“RNA structures: combinatorics and folding”为题的学术报告。Chirs.Reidys教授从以下五部分来阐述他的本次报告:“RNA: some background”,“k-noncrossing RNA structures”,“Irreducibility in RNA”,“Cross: folding pseudoknot structures”和“rip: RNA-RNA interaction”。 Chirs.Reidys教授1995年获得德国Friedrich Schiller大学博士,1996年起在美国Los Alamos国家实验室计算机科学部工作,20071月到南开任教。Chirs.Reidys教授整场报告热情洋溢,充满幽默,报告完毕后认真回答了在场老师的提问。

北京大学8797威尼斯老品牌夏壁灿教授做了题为“Semi-Algebra System Solving and Program Verification”的学术报告。夏壁灿教授向在场老师介绍了关于半代数系统求解的进展、工具及其应用,报告从以下几部分展开:“Semi-Algebra”,“A Demo on DISCOVERER”,“Reachebibity computation of hybrid systems”,“Invariant generation of polynomial programs”和“Discovering non-linear ranking functions”。夏教授报告的过程结合了程序的演示,报告结束后回答在场老师的提问。

上海师范大学数理学院王军教授做了题为“有限集上的组合学中的群论方法”的学术报告。王军教授从以下几个部分认真地阐述了此次的报告:“Two Famous Theorems on Finite Sets”,“Subset-Subspace Analogy”,“Normalized Property and LYM property for Ranked Posets”,“Group Action”,“Action of Groups on Ln(q)”和“Kruskal-Katona Theorem”。王教授在报告结束后认真回答了老师的问题。