插值特殊曲线的可展曲面造型研究进展

可展曲面一直是计算机辅助几何设计领域中的热点问题,其在曲线曲面造型中有着很好的应用前景.另外,它与逼近论、最优化、微分几何、线几何等领域密切相关,并产生了一些很好的数学结果.本文主要综述可展曲面的一些基本结果及作者近年来在该方向的一些研究工作,并对未来工作进行展望,主要包括具有一定几何约束的可展曲面的构造和拼接等.     

基于NURBS的极小曲面造型

1 引言极小曲面问题是微分几何领域中一个古老而活跃的问题．在微分几何学中,极小曲面的研究已十分成熟．如何把极小曲面引入CAGD领域,是一个极有价值的课题．文献 [1]提出一种几何构造法,得到了一类三次多项式形式的负高斯曲率极小曲面,将其表示为三次B-B曲面,并将其用到房顶曲面设计当中．文献[2]讨论参数多项式极小曲面,证明了只存在一类三次等温参数极小曲面,并研究了这类曲面的一些基本性质．虽然这些多     

微分几何的教学设计与实践——以《可展曲面》为例

微分几何是数学类高年级本科生的一门专业课,课程内容充分体现了"数"与"形"的结合.通过微分几何的学习对培养学生的逻辑思维能力和直觉思维能力起到非常重要的作用.结合多年的教学实践,本文以可展曲面为例介绍微分几何课程的教学设计与实践体会.     

一类初等微分几何定理机器证明的算法与实现

空间曲面上的曲线论是初等微分几何的重要部分．作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法．该算法结合了曲面上的活动标架,曲面上曲线的测地标架和曲线自身的Frenet标架,在Maple 9下得到实现．对20个例子进行的测试表明,由该算法生成的自动证明简短可读．     

计算机辅助几何设计中极小曲面造型的研究进展

极小曲面在工程领域有着广泛应用,因此将其引入计算机辅助几何设计领域具有重要意义.详细概述了近年来计算机辅助几何设计领域中极小曲面造型的研究工作,按照造型方法的不同,可将现有工作分为精确造型方法和逼近造型方法两类.精确造型方法主要包括两个部分:某些特殊极小曲面的控制网格表示与构造;等温参数多项式极小曲面的挖掘与性质.逼近造型方法主要包括3个部分t基于数值计算的逼近方法;基于线性偏微分方程的逼近方法;基于能量函数最优化的逼近方法.最后对这些方法进行了分析比较,并讨论了极小曲面造型中有待进一步解决的问题.     

广义Bézier曲线与曲面在连接中的应用

通常的贝齐尔（Ｂｅｚｉｅｒ）曲线、曲面，在其端点或边界只具有ＧＣ１阶插值性．本文在保持通常贝齐尔曲线、曲面性质的基础上，定义了一种广义的贝齐尔曲线、曲面，使其在曲线段的端点和曲面片的边界具有高阶光滑插值性，它可方便地光滑连接两条参数型的曲线段和两张以上参数型曲面片，并且连接方式是ＧＣｒ（ｒ≥１）的．所以广义贝齐尔曲线、曲面在计算机辅助设计应用中更具有独特的意义．     

广义de Sitter空间中法向Lorentzian超曲面的nullcone Gauss映射的奇点

利用奇点理论研究了广义de Sitter空间中具有Lorentzian法空间的一类超曲面.介绍了这类超曲面的局部微分几何,定义了nullcone Gauss映射及nullcone高度函数族,进而研究了nullcone高度函数族的性质及nullcone高斯映射的几何意义,最后研究了这类超曲面的通有性质.     

基于伪类光超曲面奇点分类的教学研究

在微分几何的教学中,曲线,曲面理论是最主要的基础理论知识.欧氏空间中密切曲线在微分几何学中具有重要的研究价值.主要运用具有类光向量的费雷内标架讨论在四维Minkowski空间中与欧氏空间不同的一类特殊密切曲线(伪类光曲线)的一些几何性质,同时通过横截性原理给出了由伪类光曲线生成的伪类光超曲面的局部几何性质与奇点分类.     

几何教学中讲授伪欧氏空间中曲线几何性质探究

曲线,曲面理论是古典微分几何教学中的主要研究对象.然而在古典微分几何的教学中,学生往往只是知道如何解题,不知道微分几何学的主要研究工具,以至于不会运用微分几何解决后继课程中的问题.因此在微分几何的教学中有必要增加一些伪欧氏空间中曲线理论.首先讨论在教学中的一个非常重要曲线理论研究工具-费雷内标架,其次运用该标架讨论在四维伪欧氏空间中斜螺线的一些几何性质,最后通过横截性原理与开折理论,结合微分几何基础给出了由偏零斜螺线生成的密切超曲面的局部几何性质.     

基于特征列方法和Wronskian行列式的曲面定理机器证明

将Chou与Gao的关于微分几何中曲线定理机器证明的方法推广到微分几何曲面定理中. 改进了经典的Wronskian行列式, 它可以用于判断微分域中的有限个元素是否在其常数域上线性相关. 基于Wronskian行列式, 可以用代数语言来描述微分几何曲面理论中的几何表述, 进而用特征列方法来证明这些定理.     

CHARACTERISATION OF RATIONAL AND NURBS DEVELOPABLE SURFACES IN COMPUTER AIDED DESIGN

In this paper we provide a characterisation of rational developable surfaces in terms of the blossoms of the bounding curves and three rational functions Λ,M,v.Properties of developable surfaces are revised in this framework.In particular,a closed algebraic formula for the edge of regression of the surface is obtained in terms of the functions Λ,M,v,which are closely related to the ones that appear in the standard decomposition of the derivative of the parametrisation of one of the bounding curves in terms of the director vector of the rulings and its derivative.It is also shown that all rational developable surfaces can be described as the set of developable surfaces which can be constructed with a constant Λ,M,v.The results are readily extended to rational spline developable surfaces.     

Bending of a piecewise developable surface

We substantiate in detail the possibility of one-parameter bending of a developable surface possessing a stationary curvilinear edge and stationary rectilinear generators. We construct particular examples of developable surfaces that possess a curvilinear edge and admit one-parameter bendings. We also give examples of closed piecewise developable surfaces that admit one-parameter bendings.     

Design and G connection of developable surfaces through Bézier geodesics

For potential application in shoemaking and garment manufacture industries, the G¹ connection of (1, k) developable surfaces with abutting geodesic is important. In this paper, we discuss the developable surface which contains a given 3D Bézier curve as geodesic and prove the corresponding conclusions in detail. Primarily we study G¹ connection of developable surfaces through abutting cubic Bézier geodesics and give some examples.     

Laguerre homogeneous surfaces in R~3

In this paper,we study oriented surfaces of R3 in the context of Laguerre geometry.We construct Laguerre invariants on the non-Dupin developable surfaces,which determine the surfaces up to a Laguerre transformation.Finally,we classify the Laguerre homogeneous surfaces in R3 under the Laguerre transformation groups.     

Developable Bézier-like surfaces with multiple shape parameters and its continuity conditions

To solve the problems of shape adjustment and shape control of developable surfaces, we propose two direct explicit methods for the computer-aided design of developable Bézier-like surfaces with multiple shape parameters. Firstly, with the aim of constructing Bézier-like curves with multiple shape parameters, we present a class of novel Bernstein-like basis functions, which is an extension of classical Bernstein basis functions. Then, according to the important idea of duality between points and planes in 3D projective space, we design the developable Bézier-like surfaces with multiple shape parameters by using control planes with Bernstein-like basis functions. The shape of the developable Bézier-like surfaces can be adjusted by changing their three shape parameters. When the shape parameters take different values, a family of developable Bézier-like surfaces can be constructed and they retain the characteristics of Bézier surfaces. Finally, in order to tackle the problem that most complex developable surfaces in engineering often cannot be constructed by using a single developable surface, we derive the necessary and sufficient conditions for G¹ continuity, Farin−Boehm G² continuity and G² Beta continuity between two adjacent developable Bézier-like surfaces. In addition, some properties and applications of the developable Bézier-like surfaces are discussed. The modeling examples show that the proposed methods are effective and easy to implement, which greatly improve the problem-solving abilities in engineering appearance design by adjusting the position and shape of developable surfaces.     

DEVELOPABLE SURFACE PATCHES BOUNDED BY NURBS CURVES

In this paper we construct developable surface patches which are bounded by two rational or NURBS curves, though the resulting patch is not a rational or NURBS surface in general. This is accomplished by reparameterizing one of the boundary curves. The reparameterization function is the solution of an algebraic equation. For the relevant case of cubic or cubic spline curves, this equation is quartic at most, quadratic if the curves are Bézier or splines and lie on parallel planes, and hence it may be solved either by standard analytical or numerical methods.     

Some Global Theorems on Closed Surfaces With Qenus Zero in E~3

ＳｏｍｅＧｌｏｂａｌＴｈｅｏｒｅｍｓｏｎＣｌｏｓｅｄＳｕｒｆａｃｅｓＷｉｔｈＱｅｎｕｓＺｅｒｏｉｎＥ~３￥ＺｈｏｕＳｈｅｎｇｗｕ；ＬｉｕＪｉｎｌｕ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＭｅｃｈａｎｉｃｓ，ＣｈｉｎａＵｎｉｖｅｒｓｉｔｙ...     

一类直纹面的研究

本文给出了过任意空间Ｃｋ（ｋ≥３）类光滑曲线的直纹面是可展曲面的充要条件．同时得到了该空间曲线为相应直纹面的曲率线,测地线和渐近曲线的充要条件     

Schottky Uniformizations of Genus 6 Riemann Surfaces Admitting A5 as Group of Automorphisms

In this note we construct a 1-complex dimensional family of (marked) Schottky groups of genus 6 with the property that every closed Riemann surface of genus 6 admitting the group A₅ as conformal group of automorphisms is uniformized by one of these Schottky groups. In the algebraic limit closure of this family we describe three noded Schottky groups uniformizing the three boundary points of the pencil described by González-Aguilera and Rodriguez. We are able to find a very particular Riemann surface of genus 6 which is a (local) extremal for a maximal set of homologically independent simple closed geodesics. We observe that it is not Wimann's curve, the only Riemann surface of genus 6 with S₅ as group of conformal automorphisms. The Schottky uniformizations permit us to compute a reducible symplectic representation of A₅.