ProE方程式曲线的创建和实例剖析