Time: Wednesday, May 4, 4:00pm
Venue: Room 413, Buil. 11th, YuQuan Campus
9-1 蒋沛攸20220504
题目：
基于符号计算的通用求解器——以GMEC为例
摘要：
上次Seminar中，我介绍了如何使用符号计算解决偏微分方程问题，它具有可变的方程、坐标系、边界条件和数值微分精度，几乎可以解决一切线性偏微分方程问题。现在，符号计算已经可以用于求解常微分方程组，它具有和偏微分方程一样的通用性。我将以GMEC项目为例，介绍如何使用符号计算求解器通过简单语句求解同时具有偏微分方程和常微分方程的复杂模型。
在高性能计算中，往往涉及大量的计算与访存，为了达到更高的计算速度，程序优化变得非常重要。程序员编写代码的方式主要是面向过程（OP）和面向对象（OO），但由于计算机的结构特性，这种代码一般不利于高效执行；而高效的代码（面向数据OD）往往违背程序员思维，编写过程极其繁琐且容易出错。符号计算求解器的另一个特性便是操作指令，它可以提供面向对象的通用接口，然后生成面向数据的代码，同时具有抽象（使用简单）和高效的特性。
