用偏微分方程构造过渡曲面

Abstract. 为了探索更有效的曲面造型方法,英国Leeds大学Bloor等人研究了用偏微分方程(Partial Differential Equation, 简称PDE)构造自由曲面的方法,并将其引入CAD/CAM领域,他们曾用PDE方法构造了过渡曲面、自由曲面和N边域曲面,还研究了该法在功能曲面设计中的应用。理论上飞机外形、船体和螺旋桨叶片的曲面都可以用PDE方法构造。本文主要介绍如何用PDE构造过渡曲面。
Key Words. PDE, 过渡曲面, Blend Surface
1 Introduction

PDE方法使用一组椭圆偏微分方程构造曲面,曲面的形状由所选择的PDE和边界条件确定。用PDE方法构造曲面的特点如下:

1) 构造曲面简单易行,给定曲面的边界及其上的跨界导矢,即可生成一张光滑的曲面;

2) 曲面由其参数的超越函数表示而非简单多项式,故所得曲面自然光顺;

3) 除曲面边界和跨界导矢外,尚可调整方程中的一个物理参数来控制曲面的形状;

4) 在功能曲面设计方面有很大潜力;
电,磁,光、热、流动、振动等自然现象最终都可以用偏微分方程PDE来描述。如电磁相关的麦克斯韦方程,流体的Navier-Stokes方程,热传导的Laplace方程等等都是PDE。对PDE进行求解,就可以在电脑中模拟这些自然现象。掌握PDE就可以在很多行业中应用,如3D游戏中的一些光影、流水等特效实现;工业上更精确的多物理场仿真等。
PDE主要分为三类:双曲型、抛物型、椭圆型。PDE需要加上一定的条件(定解条件)才能求解,求PDE在定解条件下解的问题称为定解问题。PDE定解问题分三类:初值问题,边值问题和混合问题。对于描述稳恒过程的Laplace方程或Poisson方程,与时间无关,就不需要考虑初始条件,只需要边界条件加上方程构成定解问题,称为边值问题。由初始条件和方程构成定解问题称为初值问题,也称Cauchy问题;既有边界条件又有初始条件的定解问题,称为混合问题。在几何造型中主要考虑椭圆型PDE的边值问题。
本文主要使用PDE构造过渡曲面, 通过将过渡面显示出来加深对PDE的理解。
2 过渡曲面

过渡曲面设计在CAD/CAM中具有重要地位,其目的是在相关曲面之间生成光滑的过渡曲面。RossignaiRequicha把过渡曲面分为四类:由函数约束支配的过渡曲面、艺术过渡曲面、光滑过渡曲面和圆角倒角过渡曲面。过渡曲面设计有多种方法,如:Tiller提出用的理B样条表示曲面,WoodwardB样条及截面线表示自由曲面,还有滚球法Rolling Ball等。数学上过渡曲面的构造可以看作如下问题:给定边界的有限区域求在该区域上满足给定边界条件的曲面。PDE方法在几何造型中的最初应用就是构造过渡曲面。数学上过渡曲面可以由椭圆PDE的边值问题得到。以一阶连续的过渡曲面为例,只要给定边界曲线和一阶导矢,就可以构造出一张光滑的过渡曲面。与其他方法相比,PDE方法比较简单,而且生成的曲面光滑。
考虑最简单的情况,即矢量函数S(u,v)满足二阶偏微分方程,即Laplace方程:

为说明求解方法,考虑XOY平面上一个圆与其上方一球面的零阶过渡。假设(u,v)的取值 范围为[0,1][0, 2PI]XOY平面上的圆以原点为圆心,半径为R;球的半径为r,球心在(0,0, Z0);取其与平面z=H (0 的交线为过渡线,则其边界条件为:

采用分离变量法对上述方程进行求解,满足方程和边界条件的解为:

感兴趣的同学可以推导一下上述方程的解,加深对分离变量法的理解。通过求解PDE得到曲面参数方程,我们可以将上述曲面在OpenCASCADE中显示出来。

在方程中引入一个系数a就可以控制过渡曲面的形状,式中a为光滑参数:

同样地采用分离变量法对上述方程进行求解,满足方程和边界条件的解为:

当取光滑参数a=4时,所得球与平面圆间的过渡曲面如下图所示:

3 Conclusion

综上所述,通过PDE方法构造过渡曲面简单易行,且造成的过渡曲面自然光顺。上述示例为最简单的情况,只能起到抛砖引玉作用,仍然需要思考边界条件是自由曲线的情况。PDE生成的过渡曲面形状控制能力较弱,只有一个光滑参数a
物理、力学、工程技术和其他自然科学提出了大量偏微分方程问题,掌握PDE理论及数值解法,就可以在电脑中模拟出这些自然现象。对PDE感兴趣的同学可以参考相关书籍。
4 References

1 朱心雄. 自由曲线曲面造型技术. 科学出版社. 2000

2 潘祖梁, 陈仲慈. 工程技术中的偏微分方程. 浙江大学出版社. 1995

3 谷超豪, 李大潜, 陈恕行, 郑宋穆, 谭永基. 数学物理方程. 高等教育出版社. 2012

4 陆金甫, 关治. 偏微分方程数值解法. 清华大学出版社. 2004

5 徐国良. 计算几何中的几何偏微分方程方法.  科学出版社. 2008

6 Eric Lengyel. 詹海生译. 3D游戏与计算机图形学中的数学方法. 清华大学出版社. 2016

7 王成恩. 面向科学计算的网格划分与可视化技术. 科学出版社. 2011

© 版权声明
THE END
喜欢就支持一下吧
点赞1W+ 分享
评论 抢沙发
头像
欢迎您留下宝贵的见解!
提交
头像

昵称

取消
昵称表情代码图片

    暂无评论内容