【报告摘要】曲线曲面求交问题是计算机辅助设计、计算机图形学、计算机辅助工程等领域的关键问题。本报告将介绍我们在曲线曲面求交方面的最新成果。对于平面上的参数曲线，我们通过比较两个参数曲线在两个坐标轴上的值域范围来缩减可能的相交点处的参数取值范围。利用小盒子中的反向单调系统，我们可以确定简单交点的存在唯一性。对于特殊奇点如尖点、自交点以及切点，我们给出了可行的处理方法。数值例子显示出我们的方法具有较好的稳定性和较高的效率。特别的我们的方法能快速处理高次系统。

 

【报告人简介】李博，中国科学院数学与系统科学研究院副研究员，博士生导师。2010年博士毕业于中国科学院数学与系统科学研究院。2010年6月至2012年6月，在中国科学院数学与系统科学研究院系统控制重点实验室从事博士后研究。此后，在中国科学院数学与系统科学研究院数学机械化重点实验室从事科研工作。2015年11月至2016年11月，在澳大利亚国立大学工程与计算机学院进行访问研究。他研究过的领域包括蛋白质结构比对、酶动力学、网络科学等，在相关领域国内外知名杂志、重要会议上发表论文二十余篇。他主持过一项国家自然科学基金青年基金项目，获得过数学与系统科学研究院2014年度突出科研成果奖，2018年第37届中国控制会议关肇直奖。