三维水动力学模型高精度差分格式和解法研究

采用高精度差分格式对三维水动力学问题的时均化Navier-Stokes方程进行了数值模拟，进而采用广义共轭剩余法（GCR方法）求解压力泊松方程，并采用显式三级二阶Runge-Kutts格式模拟了时间步进过程。傅立叶分析表明，文中所采用的三阶迎风紧致差分格式具有较高的精度，数值实验进一步验证了上述数值模型的准确性和有效性。     

有理三次Bezier样条的曲线修正方法

提出了一种新的用于曲线修正的方法:对于初始的G2分段有理三次Bezier样条曲线,首先根据需要给出约束边界,对于与约束边界相交的曲线段,将被其所在的曲线族中的一条与约束边界相切或过约束边界顶点的曲线所取代,最后依据曲率恢复其G2连续性.修正后的曲线不穿过约束边界,且继续保持原有的几何连续性.数值实验表明,该方法简单、快速、有效.     

一类变系数波动方程的精确能控性问题

Hilbert惟一性方法（HUM）常用来研究一类变系数波动方程的精确能控性问题。阐述了在Dirichlet边界条件下,变系数波动方程是精确能控的,并给出了有关该问题的一些重要结果的证明。     

双曲型反问题中系数的确定及其Lipschitz稳定性

研究了黎曼流形上双曲型方程未知阻尼系数的识别问题,对于具有初边界值的双曲型方程?2t u(x,t)-Δg u(x,t)+p(x)?t u(x,t)=0,x∈M,0相似文献   

基于滤波与平滑的曲线重构

提出了一种算法用于从散乱点云中重构曲线，点云通过一个滤波器后被细化．当点云足够细时，可以非常容易地给它定序，从而可以对点云进行曲线拟合或逼近；对于厚度变化不均匀的点云，将半径固定的选点窗口进行改进，引入一个自适应算法，能随点云厚度的变化调整窗口半径，改善滤波器性能．数值实验表明，算法简单、快速、有效，尤其当点云密度很大且厚度不均匀时，曲线重构的效果更好．     

变系数耦合抛物方程边界能控性的必要条件

研究了非标量变系数线性抛物型方程的边界能控性.通过在边界处施加一个控制,建立具有相同时间依赖性系数的两方程系统的边界能控性的一个必要条件.并基于方程的可观测不等式,证明了该必要条件.     

广义B样条曲线及其节点插入算法

通过二阶常系数微分算子的零空间及其初值问题解的唯一性,引入了广义B样条曲线的概念,给出了B样条曲线的一种统一表示形式,介绍了该样条的求值算法及节点插入算法,并对其凸包性质和变差缩减性质作了分析,最后给出了相应算例。数值实验表明:该算法对任意样条都适用,且结果准确、有效。     

一维椭圆边值问题的自适应Petrov-Galerkin方法

讨论了一维椭圆边值问题的基于最佳检验空间之自适应Ｐｅｔｒｏｖ－Ｇａｌｅｒｋｉｎ方法,证明了Ｐｅｔｒｏｖ－Ｇａｌｅｒｋｉｎ有限元解的Ｅ－超收敛性,给出了方法误差的局部后验估计,建立了相应的自适应策略,利用椭圆问题的上述结果,对一维非定常对流占优扩散问题,构造了特征－Ｐｅｔｒｏｖ－Ｇａｌｅｒｋｉｎ自适应算法。     

可展有理Bezier曲面的设计与修正

通过构造与给定有理Bezier曲线形状相似的曲线,构造出可展曲面,从而提出了一种用于可展有理Bezier曲面的设计与修正方法.并进一步根据需要给出约束平面,对于与约束平面相交的曲面片,将被其所在的曲面族中的一个与约束平面相切或插值于约束平面边界的曲面片所取代.该方法不需要重新计算曲面的控制点和权因子,减少了计算量.修正后的曲面片不穿过约束平面,且仍为可展的曲面片.数值实验表明该方法简单、快速、有效.     

B样条曲面的求值和节点插入算法研究

通过研究二阶常系数微分算子的零空间及其初值问题解的唯一性,引入了广义B样条曲线的概念,给出了B样条曲线的一种统一表示形式,介绍了其求值算法及节点插入算法,并以多项式B样条为例,将样条曲线的求值算法和节点插入算法推广到曲面.数值实验表明,求值算法和节点插入算法对样条曲线和样条曲面均准确、有效.