In this paper, we present a proper reparametrization algorithm for rational ruled surfaces. That is, for an improper rational parametrization of a ruled surface, we construct a proper rational parametrization for the ...In this paper, we present a proper reparametrization algorithm for rational ruled surfaces. That is, for an improper rational parametrization of a ruled surface, we construct a proper rational parametrization for the same surface. The algorithm consists of three steps. We first reparametrize the improper rational parametrization caused by improper supports. Then the improper rational parametrization is transformed to a new one which is proper in one of the parameters. Finally, the problem is reduced to the proper reparametrization of planar rational algebraic curves.展开更多
In this paper, a class of lattice supports in the lattice space Zm is found to be inherently improper because any rational parametrization from Cm to Cm defined on such a support is improper. The improper index for su...In this paper, a class of lattice supports in the lattice space Zm is found to be inherently improper because any rational parametrization from Cm to Cm defined on such a support is improper. The improper index for such a lattice support is defined to be the gcd of the normalized volumes of all the simplex sub-supports. The structure of an improper support S is analyzed and shrinking transformations are constructed to transform S to a proper one. For a generic rational parametrization RP defined on an improper support S, we prove that its improper index is the improper index of S and give a proper reparametrization algorithm for RP. Finally, properties for rational parametrizations defined on an improper support and with numerical coefficients are also considered.展开更多
Extension of a B-spline curve or surface is a useful function in a CAD system. This paper presents an algorithm for extending cubic B-spline curves or surfaces to one or more target points. To keep the extension curve...Extension of a B-spline curve or surface is a useful function in a CAD system. This paper presents an algorithm for extending cubic B-spline curves or surfaces to one or more target points. To keep the extension curve segment GC^2-continuous with the original one, a family of cubic polynomial interpolation curves can be constructed. One curve is chosen as the solution from a sub-class of such a family by setting one GC^2 parameter to be zero and determining the second GC^2 parameter by minimizing the strain energy. To simplify the final curve representation, the extension segment is reparameterized to achieve C-continuity with the given B-spline curve, and then knot removal from the curve is done. As a result, a sub-optimized solution subject to the given constraints and criteria is obtained. Additionally, new control points of the extension B-spline segment can be determined by solving lower triangular linear equations. Some computing examples for comparing our method and other methods are given.展开更多
The developable surface is an important surface in computer aided design, geometric modeling and industrial manufactory. It is often given in the standard parametric form, but it can also be in the implicit form which...The developable surface is an important surface in computer aided design, geometric modeling and industrial manufactory. It is often given in the standard parametric form, but it can also be in the implicit form which is commonly used in algebraic geometry. Not all algebraic developable surfaces have rational parametrizations. In this paper, the authors focus on the rational developable surfaces. For a given algebraic surface, the authors first determine whether it is developable by geometric inspection, and then give a rational proper parametrization in the affrmative case. For a rational parametric surface, the authors also determine the developability and give a proper reparametrization for the developable surface.展开更多
We give a proper reparametrization theorem for a set of rational parametric equations which is proper for all but one of its parameters. We also give an algorithm to determine whether a set of rational parametric equa...We give a proper reparametrization theorem for a set of rational parametric equations which is proper for all but one of its parameters. We also give an algorithm to determine whether a set of rational parametric equations belongs to this class, and if it does, we reparametrize it such that the new parametric equations are proper.展开更多
The rational ruled surface is a typical modeling surface in computer aided geometric design.A rational ruled surface may have different representations with respective advantages and disadvantages.In this paper,the au...The rational ruled surface is a typical modeling surface in computer aided geometric design.A rational ruled surface may have different representations with respective advantages and disadvantages.In this paper,the authors revisit the representations of ruled surfaces including the parametric form,algebraic form,homogenous form and Plucker form.Moreover,the transformations between these representations are proposed such as parametrization for an algebraic form,implicitization for a parametric form,proper reparametrization of an improper one and standardized reparametrization for a general parametrization.Based on these transformation algorithms,one can give a complete interchange graph for the different representations of a rational ruled surface.For rational surfaces given in algebraic form or parametric form not in the standard form of ruled surfaces,the characterization methods are recalled to identify the ruled surfaces from them.展开更多
This paper shows that the multiplicity of the base point locus of a projective rational surface parametrization can be expressed as the degree of the content of a univariate resultant.As a consequence,we get a new pro...This paper shows that the multiplicity of the base point locus of a projective rational surface parametrization can be expressed as the degree of the content of a univariate resultant.As a consequence,we get a new proof of the degree formula relating the degree of the surface,the degree of the parametrization,the base point multiplicity and the degree of the rational map induced by the parametrization.In addition,we extend both formulas to the case of dominant rational maps of the projective plane and describe how the base point loci of a parametrization and its reparametrizations are related.As an application of these results,we explore how the degree of a surface reparametrization is affected by the presence of base points.展开更多
An explicit formula is developed to decompose a rational triangular Bezierpatch into three non-degenerate rational rectangular B6zier patches of the samedegree. This formula yields a stable algorithm to compute the co...An explicit formula is developed to decompose a rational triangular Bezierpatch into three non-degenerate rational rectangular B6zier patches of the samedegree. This formula yields a stable algorithm to compute the control verticesof those three rectallgular subpatches. Some properties of the subdivision arediscussed and the formula is illustrated with an example.展开更多
基金This paper is partially supported by the National Fundamental Research 973 Program of China under Grant No.2004CB318000.
文摘In this paper, we present a proper reparametrization algorithm for rational ruled surfaces. That is, for an improper rational parametrization of a ruled surface, we construct a proper rational parametrization for the same surface. The algorithm consists of three steps. We first reparametrize the improper rational parametrization caused by improper supports. Then the improper rational parametrization is transformed to a new one which is proper in one of the parameters. Finally, the problem is reduced to the proper reparametrization of planar rational algebraic curves.
基金This research is supported by the National Key Basic Research Project of China under Grant No. 2011CB302400 and the National Natural Science Foundation of China under Grant No. 10901163.
文摘In this paper, a class of lattice supports in the lattice space Zm is found to be inherently improper because any rational parametrization from Cm to Cm defined on such a support is improper. The improper index for such a lattice support is defined to be the gcd of the normalized volumes of all the simplex sub-supports. The structure of an improper support S is analyzed and shrinking transformations are constructed to transform S to a proper one. For a generic rational parametrization RP defined on an improper support S, we prove that its improper index is the improper index of S and give a proper reparametrization algorithm for RP. Finally, properties for rational parametrizations defined on an improper support and with numerical coefficients are also considered.
文摘Extension of a B-spline curve or surface is a useful function in a CAD system. This paper presents an algorithm for extending cubic B-spline curves or surfaces to one or more target points. To keep the extension curve segment GC^2-continuous with the original one, a family of cubic polynomial interpolation curves can be constructed. One curve is chosen as the solution from a sub-class of such a family by setting one GC^2 parameter to be zero and determining the second GC^2 parameter by minimizing the strain energy. To simplify the final curve representation, the extension segment is reparameterized to achieve C-continuity with the given B-spline curve, and then knot removal from the curve is done. As a result, a sub-optimized solution subject to the given constraints and criteria is obtained. Additionally, new control points of the extension B-spline segment can be determined by solving lower triangular linear equations. Some computing examples for comparing our method and other methods are given.
基金supported by Beijing Nova Program under Grant No.Z121104002512065The author PerezDíaz S is a member of the Research Group ASYNACS(Ref.CCEE2011/R34)
文摘The developable surface is an important surface in computer aided design, geometric modeling and industrial manufactory. It is often given in the standard parametric form, but it can also be in the implicit form which is commonly used in algebraic geometry. Not all algebraic developable surfaces have rational parametrizations. In this paper, the authors focus on the rational developable surfaces. For a given algebraic surface, the authors first determine whether it is developable by geometric inspection, and then give a rational proper parametrization in the affrmative case. For a rational parametric surface, the authors also determine the developability and give a proper reparametrization for the developable surface.
基金This paper is partially supported by National Key Research Program of People's Republic of China under Grant No. 2004CB318000.
文摘We give a proper reparametrization theorem for a set of rational parametric equations which is proper for all but one of its parameters. We also give an algorithm to determine whether a set of rational parametric equations belongs to this class, and if it does, we reparametrize it such that the new parametric equations are proper.
基金supported by Beijing Natural Science Foundation under Grant No.Z190004the National Natural Science Foundation of China under Grant No.61872332+2 种基金the University of Chinese Academy of Sciences and by FEDER/Ministerio de CienciaInnovación y Universidades Agencia Estatal de Investigación/MTM2017-88796-P(Symbolic Computation:New challenges in Algebra and Geometry together with its applications)the Research Group ASYNACS(Ref.CCEE2011/R34)。
文摘The rational ruled surface is a typical modeling surface in computer aided geometric design.A rational ruled surface may have different representations with respective advantages and disadvantages.In this paper,the authors revisit the representations of ruled surfaces including the parametric form,algebraic form,homogenous form and Plucker form.Moreover,the transformations between these representations are proposed such as parametrization for an algebraic form,implicitization for a parametric form,proper reparametrization of an improper one and standardized reparametrization for a general parametrization.Based on these transformation algorithms,one can give a complete interchange graph for the different representations of a rational ruled surface.For rational surfaces given in algebraic form or parametric form not in the standard form of ruled surfaces,the characterization methods are recalled to identify the ruled surfaces from them.
基金partially supported by FEDER/Ministerio de Ciencia,Innovación y Universidades-Agencia Estatal de Investigación/MTM2017-88796-P(Symbolic Computation:new challenges in Algebra and Geometry together with its applications)。
文摘This paper shows that the multiplicity of the base point locus of a projective rational surface parametrization can be expressed as the degree of the content of a univariate resultant.As a consequence,we get a new proof of the degree formula relating the degree of the surface,the degree of the parametrization,the base point multiplicity and the degree of the rational map induced by the parametrization.In addition,we extend both formulas to the case of dominant rational maps of the projective plane and describe how the base point loci of a parametrization and its reparametrizations are related.As an application of these results,we explore how the degree of a surface reparametrization is affected by the presence of base points.
文摘An explicit formula is developed to decompose a rational triangular Bezierpatch into three non-degenerate rational rectangular B6zier patches of the samedegree. This formula yields a stable algorithm to compute the control verticesof those three rectallgular subpatches. Some properties of the subdivision arediscussed and the formula is illustrated with an example.