当前位置: 首 页 - 科学研究 - 学术会议 - 正文

英国beat365官方网站入口计算数学系列会议——符号计算

发表于: 2020-11-30   点击: 


会议形式:网络会议

会议日期:2020年12月2日上午9:00-10:30

加入方式:腾讯会议ID:464 933 296  密码:1202

会议日程:

主持人:张树功

时间

报告人

题目

9:00-9:40

贾晓红

椭球排列的完全分类及快速判定

9:40-9:50

休息

主持人:张树功

9:50-10:30

申立勇

The µ-Basis of Improper Rational Curves

报告题目: 椭球排列的完全分类及快速判定

报告人:贾晓红 副研究员

(中科院数学与系统科学研究院)

摘要:几何体的排列反映了几何体的位置关系和对空间的划分方式,曲面排列的计算与曲面求交及碰撞检测问题密切相关,并被广泛应用于CAD/CAM、机器人、分子模拟、计算物理、激光手术等领域。椭球是上述应用中形体逼近的常用包围体,我们将给出两椭球的排列在微分同胚意义下的分类、穷举、代数判定条件、符号判定算法,以及在连续运动及变形下椭球排列变化的连通图。并以此探索符号计算在几何形态判定及更广泛的工业环境中的应用。


报告题目: The µ-Basis of Improper Rational Curves

报告人:申立勇 教授

(中国科学学院大学数学科学学院)

摘要:  The µ-basis of a rational curve surface is a new algebraic tool which plays an important role in connecting the rational parametric form and the implicit form of a rational curve surface. However, most results are presented for proper rational parametrizations. In this paper we consider the µ-basis for an improper rational planar curve. Based on the given properties and new results, we design two new proper reparametrization algorithms using mu-basis.