Estimation of the Bezout number for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function.In this paper.a coniecture on trianguation is confirmed The relation between the piecewise linear algebraiccurve and four-color conjecture is also presented.By Morgan-Scott triangulation, we will show the instabilityof Bezout number of piecewise algebraic curves. By using the combinatorial optimization method,an upper     

The Bezout Number for Piecewise Algebraic Curves

The computation of the Bezout number, the maximum number of intersection points between two piecewise algebraic curves whose common points are finite, is considered. A piecewise algebraic curve is a curve determined by a bivariate spline function. It is found that the maximum number of intersections depends not only on the degrees and the differentiability of the spline functions, but also on the structure of the partition on which the spline functions are defined.     

The Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, we propose the Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations. We show that, if two continuous piecewise algebraic curves of degrees m and n respectively meet at mnT distinct points over a cross-cut triangulation, where T denotes the number of cells of the triangulation, then any continuous piecewise algebraic curve of degree m + n − 2 containing all but one point of them also contains the last point.     

分片代数曲线交点的结式求法

本文对确定分片代数曲线的二元样条函数的整体表达式中的截断引入参数表示,给出了分片代数曲线交点的结式求法．理论与实例表明,这种算法是有效的．     

分片代数集合的不可约性和同构

本文利用多元样条函数来定义分片代数集合,讨论了分片代数集合的不可约性和同构问题,给出了分片代数集合不可约的两个等价条件,并把分片代数集合的同构分类问题转化为交换代数的同构分类问题。     

Recent researches on multivariate spline and piecewise algebraic variety

The multivariate splines as piecewise polynomials have become useful tools for dealing with Computational Geometry, Computer Graphics, Computer Aided Geometrical Design and Image Processing. It is well known that the classical algebraic variety in algebraic geometry is to study geometrical properties of the common intersection of surfaces represented by multivariate polynomials. Recently the surfaces are mainly represented by multivariate piecewise polynomials (i.e. multivariate splines), so the piecewise algebraic variety defined as the common intersection of surfaces represented by multivariate splines is a new topic in algebraic geometry. Moreover, the piecewise algebraic variety will be also important in computational geometry, computer graphics, computer aided geometrical design and image processing. The purpose of this paper is to introduce some recent researches on multivariate spline, piecewise algebraic variety (curve), and their applications.     

Cubic algebraic spline curves design

In this paper we propose a construction method of the planar cubic algebraic spline curve with endpoint interpolation conditions and a specific analysis of its properties. The piecewise cubic algebraic curve has G ² continuous contact with the control polygon at two endpoints and is G ² continuous between each segments of itself. The process of this method is simple and clear, and provides a new way of thinking to design implicit curves.     

实分片代数曲线的拓扑结构

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.By analyzing the topology of real algebraic curves on the triangles,a practi-caUy algrithm for analyzing the topology of piecewise algebraic curves is given.The algrithm produces a planar graph which is topologically equivalent to the piecewise algebraic curve.     

Nöther-type theorem of piecewise algebraic curves on quasi-cross-cut partition

Nöther’s theorem of algebraic curves plays an important role in classical algebraic geometry. As the zero set of a bivariate spline, the piecewise algebraic curve is a generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves is very important to construct the Lagrange interpolation sets for bivariate spline spaces. In this paper, using the characteristics of quasi-cross-cut partition, properties of bivariate splines and results in algebraic geometry, the Nöther-type theorem of piecewise algebraic curves on the quasi-cross-cut is presented.     

Nöther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the Nöther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

N(o)ther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.N(o)ther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the N(o)ther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

The Nother and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nother type theorems for Cμpiecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible Cμpiecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the Cμpiecewise algebraic curve is established.     

实分片代数曲线的某些研究

分片代数曲线作为二元样条函数的零点集合是经典代数曲线的推广. 利用代数的基本知识, 本文对实分片代数曲线的基本性质进行了初步讨论, 并且将实分片代数曲线与相应的二元样条分类进行讨论. 最后, 对实分片代数曲线上的孤立点进行了研究.     

The Nöther and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nöther type theorems for C ^µ piecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible C ^µ piecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the C ^µ piecewise algebraic curve is established.     

REAL PIECEWISE ALGEBRAIC VARIETY

We give definitions of real piecewise algebraic variety and dimension.By using the techniques of real radical ideal,P-radical ideal,affine Hilbert polynomial,Bernstein-net from of polynomials on simplex,and decomposition of semi-algebraic set,etc.,we deal with the dimension of the real piecewise algebraic variety and real Nullstellensatz in C^μ spline ring.     

Bifurcation of limit cycles by perturbing piecewise non-Hamiltonian systems with nonlinear switching manifold

This paper is devoted to the study of limit cycles that can bifurcate of a perturbation of piecewise non-Hamiltonian systems with nonlinear switching manifold. We derive the first order Melnikov function to these systems. As application, the sharp upper bound of the number of bifurcated limit cycles of two concrete systems, whose switching manifolds are algebraic curves, is presented.     

Real intersection points of piecewise algebraic curves

The piecewise algebraic curve, as the set of zeros of a bivariate spline function, is a generalization of the classical algebraic curve. In this work, we present an algorithm for computing the real intersection points of piecewise algebraic curves. It is primarily based on the interval zeros of the univariate interval polynomial in Bernstein form. An illustrative example is provided to show that the proposed algorithm is flexible.     

On Meet-Complements in Cohn Geometries

Within the frame of projective lattice geometry, the present paper investigates classes of meet-complements in Cohn geometries and especially in Ore and Bezout geometries. The algebraic background of these geometries is given by torsion free modules over domains — in particular Ore and Bezout domains. ¹     

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.     

基于函数值的有理三次插值样条曲线的区域控制

将插值曲线约束于给定的区域之内是曲线形状控制中的重要问题.构造了一种基于函数值的分母为三次的C~1连续有理三次插值样条.这种有理三次插值样条中含有二个调节参数,因而给约束控制带来了方便.对该种插值曲线的区域控制问题进行了研究,给出了将其约束于给定的折线、二次曲线之上、之下或之间的充分条件.最后给出了数值例子.