n次有理Bézier曲线与C-B样条曲线的连续性条件

三次有理Bézier曲线不能随着工程造型的需要而随时改变其次数,因此本文根据n次有理Bézier曲线和C-B样条曲线的一些性质,给出了C-B样条曲线与n次有理Bézier曲线的三种拼接条件,即G0、G1、G2、连续,由于n次有理Bézier曲线能够随意的改变其次数,从而可以被应用于CAD/CAM中.     

约束微分包含的Filippov型定理

讨论了约束的微分包含的初值问题P(Ω):x'(t)∈F(t,x(t))a.e.onI ,x(0)=ξ0∈Ω,x(t)∈Ω,这里F是非空闭值的集值映射,Ω是Rn中的有界闭集.基于经典的Filippov定理,证明了问题P(Ω)的可行轨的存在性和半直线上的Filippov定理.要求F(t,·)对所有的t是Lipschitz连续的,约束集合Ω为充分光滑并满足一个不变性条件.     

组合广义Ball曲线的G~2Beta约束

文章根据Beta约束和几何连续性的概念,推导出了组合n次广义Ball曲线G2连续的Beta约束条件,并给出了详细的构造过程.所构造的曲线段与已知曲线在公共点是G2连续的,且能通过调整形状参数来局部调节曲线段的形状.给出的数值实例表明,构造过程简便灵活,可以满足不同的设计要求.     

Hessian方程粘性解的Lipschitz连续性

本文利用逼近理论及内估计给出了Hessian方程粘性解的局部Lipschitz连续性。     

变分不等式和非扩张映射的迭代收敛性

介绍了一类包含非扩张映射的变分不等式和Wiener-Hopf方程,基于投影技巧推导出两者之间的等价关系,利用该等价关系提出了一个同步求解非扩张映射不动点和变分不等式的迭代算法,并在适当条件下证明了该迭代算法的强收敛性;所得结论推广了该领域内的一些最新结果.     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

一阶非线性单实变量复Cauchy问题解的惟一性

一阶非线性复柯西问题的C2类复值解的惟一性至今还没有定论,本文在限制了若干条件的情况下,在一点的邻域里讨论了其C2类复值解的惟一性.     

三次Ball曲线的性质及应用

本文构造了组合三次Ball曲线达到G2 连续的过程并且构造出的曲线比组合三次B啨ｚｉｅｒ曲线更易控制 .     

收敛无穷积分的若干问题

研究在无穷积分∫ ∞a f(x)dx ,收敛的条件下 ,被积函数f(x)的一些性质以及f(x) → 0 (x→ ∞ )的几个充分条件。     

强化景观生态过程与格局的连续性与完整性,促进城市可持续发展

该文分析了南宁市城市景观生态过程与格局的现状,指出目前存在的不足之处,为未来南宁市城市景观格局的改善与建设提出初步的构想与建议.