Quadrics are of basic importance in Computer Graphics and Computer Aided Design. In this paper,we design a subdivision scheme based on the method suggested by G. Morin and J. Warren to generate conics and quadrics con...Quadrics are of basic importance in Computer Graphics and Computer Aided Design. In this paper,we design a subdivision scheme based on the method suggested by G. Morin and J. Warren to generate conics and quadrics conveniently. Given the control polygon(poly-hedron),the corresponding ellipse (ellipsoid)can be generated. The hyperbolas and hyperboloids are generated based on the generation of ellipses and ellipsoids by a simple transformation. The method in this paper is much simpler and easier to apply than those given by Eugenia Montiel et al.展开更多
Let Fq be a finite field with q elements, where q is a power of an odd prime,In this paperl the authors consider a projective space PG(2v + δ + l, Fq) with dimension 2v + δ + l, partitioned into an affine space AG(2...Let Fq be a finite field with q elements, where q is a power of an odd prime,In this paperl the authors consider a projective space PG(2v + δ + l, Fq) with dimension 2v + δ + l, partitioned into an affine space AG(2v + δ + l, Fq) of dimension 2v + δ + l and a hyperplane H = PG(2v + δ + l - 1, Fq) of dimension 2v + δ + l - 1 at infinity, where l ≠0.The points of the hyperplane H are next partitioned into four subsets. A pair of points a and b of the affine space is defined to belong to class i if the line ab meets the subsct i of H. Finally, a family of four-class association schemes are constructed, and parameters are also computed.展开更多
By using nondegenerate and degenerate quadrics in projective space over finite fields of characteristic 2, some association schemes were constructed and their parameters were computed by the authors (see Adv. in Math....By using nondegenerate and degenerate quadrics in projective space over finite fields of characteristic 2, some association schemes were constructed and their parameters were computed by the authors (see Adv. in Math., 3(2000), 120-128 and Acta Math. Appl. Sinica, 1(1999), 96-103). In this note, their polynomial properties, eigenmatrices, imprimitivities, association subschemes and related quotient association schemes are studied.展开更多
Surface/surface intersection is a fundamental problem in Compute Aided Design and Geometric Modeling since it is essential to solid modeling,numerically controlled machining,feature recognition,computer animation,etc....Surface/surface intersection is a fundamental problem in Compute Aided Design and Geometric Modeling since it is essential to solid modeling,numerically controlled machining,feature recognition,computer animation,etc.In practical applications,quadric surfaces,which are the most basic type of surfaces,are typically bounded surfaces trimmed by a sequence of planes.In this paper,a robust algorithm is proposed for computing the intersection curve segments of two trimmed quadrics based on the parametric representation of the intersection curves of two quadrics.The proposed algorithm guarantees correct topology and ensures that the approximation errors of the end points of the intersection curve segments are less than a given tolerance.The error control is based on an effective solution to a set of polynomial inequality system using the root isolation technique.Some examples are presented to validate the robustness and effectiveness of the proposed algorithm.展开更多
We propose a conjecture relevant to Galkin’s lower bound conjecture,and verify it for the blow-ups of a four-dimensional quadric at a point or along a projective plane.We also show that Conjecture O holds in these tw...We propose a conjecture relevant to Galkin’s lower bound conjecture,and verify it for the blow-ups of a four-dimensional quadric at a point or along a projective plane.We also show that Conjecture O holds in these two cases.展开更多
A Clifford deformation of a Koszul Frobenius algebra E is a finite dimensional Z_(2)-graded algebra E(θ),which corresponds to a noncommutative quadric hypersurface E^(!)/(z)for some central regular element z∈E_(2)^(...A Clifford deformation of a Koszul Frobenius algebra E is a finite dimensional Z_(2)-graded algebra E(θ),which corresponds to a noncommutative quadric hypersurface E^(!)/(z)for some central regular element z∈E_(2)^(!).It turns out that the bounded derived category D^(b)(gr_(Z_(2))E(θ))is equivalent to the stable category of the maximal Cohen-Macaulay modules over E^(!)/(z)provided that E!is noetherian.As a consequence,E^(!)/(z)is a noncommutative isolated singularity if and only if the corresponding Clifford deformation E(θ)is a semisimple Z_(2)-graded algebra.The preceding equivalence of triangulated categories also indicates that Clifford deformations of trivial extensions of a Koszul Frobenius algebra are related to Knörrer's periodicity theorem for quadric hypersurfaces.As an application,we recover Knörrer's periodicity theorem without using matrix factorizations.展开更多
In this paper,we revisit the Kahler structures on the affine quadrics M1={z_(1)^(2)+z_(2)^(2)+z_(3)^(2)=1}in the paper by Bo Yang and Fang-Yang Zheng.We found that the Kahler structures on the complex surface are more...In this paper,we revisit the Kahler structures on the affine quadrics M1={z_(1)^(2)+z_(2)^(2)+z_(3)^(2)=1}in the paper by Bo Yang and Fang-Yang Zheng.We found that the Kahler structures on the complex surface are more complicated than what they have thought.We shall also give some detail calculations and found that our results fit quite well with earlier papers of the first author,one of them with X.X.Chen.展开更多
In this letter we assume that F_q is a finite field with q elements, where q is a power of 2. Let N={x^2+x|x∈F_q} and choose a fixed element α of F_q not belonging to N. Theorem 1. Under affine transformations any q...In this letter we assume that F_q is a finite field with q elements, where q is a power of 2. Let N={x^2+x|x∈F_q} and choose a fixed element α of F_q not belonging to N. Theorem 1. Under affine transformations any quadric in AG(n, F_q), where q is even, can be carried into a quadric with one of the following quadratic equations as its equation:展开更多
Taking nondegenerate quadrics in projective space over finite fields of ch.=2, we construct some families of two-class and three-class association schemes, and calculate their parameters. Moreover, for the three-class...Taking nondegenerate quadrics in projective space over finite fields of ch.=2, we construct some families of two-class and three-class association schemes, and calculate their parameters. Moreover, for the three-class association scheme, we also compute all its eigenvalues, corresponding multiplicities and the character table, and prove that it is a p-polynomial association scheme.展开更多
Let F<sub>q</sub> be a finite field with q elements, where q is a power of a prime, and let AG (n, F<sub>q</sub> )be the n-dimensional aftine space over F<sub>q</sub>. The set of ...Let F<sub>q</sub> be a finite field with q elements, where q is a power of a prime, and let AG (n, F<sub>q</sub> )be the n-dimensional aftine space over F<sub>q</sub>. The set of points (x<sub>1</sub>, x<sub>2</sub>,…,x<sub>n</sub> ) in AG(n, F<sub>q</sub>) which satisfy a quadratic展开更多
This paper proposes an improved algorithm to construct moving quadrics from moving planes that follow a tensor product surface with no base points, assuming that there are no moving planes of low degree following the ...This paper proposes an improved algorithm to construct moving quadrics from moving planes that follow a tensor product surface with no base points, assuming that there are no moving planes of low degree following the surface. These moving quadrics provide an efficient method to implicitize the tensor product surface which outperforms a previous approach by the present authors.展开更多
The current attempt is aimed to outline the geometrical framework of a well known statistical problem, concerning the explicit expression of the arithmetic mean standard deviation distribution. To this respect, after ...The current attempt is aimed to outline the geometrical framework of a well known statistical problem, concerning the explicit expression of the arithmetic mean standard deviation distribution. To this respect, after a short exposition, three steps are performed as 1) formulation of the arithmetic mean standard deviation, , as a function of the errors, , which, by themselves, are statistically independent;2) formulation of the arithmetic mean standard deviation distribution, , as a function of the errors,;3) formulation of the arithmetic mean standard deviation distribution, , as a function of the arithmetic mean standard deviation, , and the arithmetic mean rms error, . The integration domain can be expressed in canonical form after a change of reference frame in the n-space, which is recognized as an infinitely thin n-cylindrical corona where the symmetry axis coincides with a coordinate axis. Finally, the solution is presented and a number of (well known) related parameters are inferred for sake of completeness.展开更多
The skewed symmetry detection plays an improtant role in three-dimensional(3-D) reconstruction. The skewed symmetry depicts a real symmetry viewed from some unknown viewing directions. And the skewed symmetry detect...The skewed symmetry detection plays an improtant role in three-dimensional(3-D) reconstruction. The skewed symmetry depicts a real symmetry viewed from some unknown viewing directions. And the skewed symmetry detection can decrease the geometric constrains and the complexity of 3-D reconstruction. The detection technique for the quadric curve ellipse proposed by Sugimoto is improved to further cover quadric curves including hyperbola and parabola. With the parametric detection, the 3-D quadric curve projection matching is automatical- ly accomplished. Finally, the skewed symmetry surface of the quadric surface solid is obtained. Several examples are used to verify the feasibility of the algorithm and satisfying results can be obtained.展开更多
Modern high speed machining (HSM) machine tools often operates at high speed and high feedrate with high ac- celerations,in order to deliver the rapid feed motion.This paper presents an interpolation algorithm to gene...Modern high speed machining (HSM) machine tools often operates at high speed and high feedrate with high ac- celerations,in order to deliver the rapid feed motion.This paper presents an interpolation algorithm to generate continuous quintic spline toolpaths,with a constant travel increment at each step,while the smoother accelerations and jerks of two-order curve are obtained.Then an approach for reducing the feedrate fluctuation in high speed spline interpolation is presented.The presented ap- proach has been validated to quickly,reliably and effective with the simulation.展开更多
This paper gets the Beltrami equations satisfied by a 1-quasiconformal mapping, which are exactly CR or anti-CR equations on (2,2)-type quadric Q0. This means a 1-quasiconformal mapping on Q0 is CR or anti-CR. This ...This paper gets the Beltrami equations satisfied by a 1-quasiconformal mapping, which are exactly CR or anti-CR equations on (2,2)-type quadric Q0. This means a 1-quasiconformal mapping on Q0 is CR or anti-CR. This reduces the determination of 1- quasiconformal mappings to a problem on the theory of several complex analysis. The result about the group of CR automorphisms is used to determine the unit component of group of 1-quasiconformal mappings.展开更多
基金This work is supported by NKBRSF on Mathematical Mechanics(G1998030600),the National Natural Science Foundation of China(19971087,69603009)and the Doctoral Program(20010358003)and TRAPOYT of MOE,China.
文摘Quadrics are of basic importance in Computer Graphics and Computer Aided Design. In this paper,we design a subdivision scheme based on the method suggested by G. Morin and J. Warren to generate conics and quadrics conveniently. Given the control polygon(poly-hedron),the corresponding ellipse (ellipsoid)can be generated. The hyperbolas and hyperboloids are generated based on the generation of ellipses and ellipsoids by a simple transformation. The method in this paper is much simpler and easier to apply than those given by Eugenia Montiel et al.
文摘Let Fq be a finite field with q elements, where q is a power of an odd prime,In this paperl the authors consider a projective space PG(2v + δ + l, Fq) with dimension 2v + δ + l, partitioned into an affine space AG(2v + δ + l, Fq) of dimension 2v + δ + l and a hyperplane H = PG(2v + δ + l - 1, Fq) of dimension 2v + δ + l - 1 at infinity, where l ≠0.The points of the hyperplane H are next partitioned into four subsets. A pair of points a and b of the affine space is defined to belong to class i if the line ab meets the subsct i of H. Finally, a family of four-class association schemes are constructed, and parameters are also computed.
基金The NNSF (19571024) of China Hebei Province Education Committee Fund (98103).
文摘By using nondegenerate and degenerate quadrics in projective space over finite fields of characteristic 2, some association schemes were constructed and their parameters were computed by the authors (see Adv. in Math., 3(2000), 120-128 and Acta Math. Appl. Sinica, 1(1999), 96-103). In this note, their polynomial properties, eigenmatrices, imprimitivities, association subschemes and related quotient association schemes are studied.
基金supported in part by the National Natural Science Foundation of China under Grant No.61972368。
文摘Surface/surface intersection is a fundamental problem in Compute Aided Design and Geometric Modeling since it is essential to solid modeling,numerically controlled machining,feature recognition,computer animation,etc.In practical applications,quadric surfaces,which are the most basic type of surfaces,are typically bounded surfaces trimmed by a sequence of planes.In this paper,a robust algorithm is proposed for computing the intersection curve segments of two trimmed quadrics based on the parametric representation of the intersection curves of two quadrics.The proposed algorithm guarantees correct topology and ensures that the approximation errors of the end points of the intersection curve segments are less than a given tolerance.The error control is based on an effective solution to a set of polynomial inequality system using the root isolation technique.Some examples are presented to validate the robustness and effectiveness of the proposed algorithm.
基金supported by NSFC Grant(Grant Nos.11890662 and 11831017)supported by NSFC Grant(Grant Nos.12271532 and 11831017)+2 种基金supported by NSFC Grant(Grant No.11831017)Guangdong Introducing Innovative and Enterpreneurial Teams(Grant No.2017ZT07X355)supported by Guangdong Basic and Applied Basic Research Foundation(Grant No.2020A1515010876)。
文摘We propose a conjecture relevant to Galkin’s lower bound conjecture,and verify it for the blow-ups of a four-dimensional quadric at a point or along a projective plane.We also show that Conjecture O holds in these two cases.
基金supported by ZJNSF(LY19A010011)NSFC(11971141,12371017)supported by NSFC(11971449,12131015,12371042).
文摘A Clifford deformation of a Koszul Frobenius algebra E is a finite dimensional Z_(2)-graded algebra E(θ),which corresponds to a noncommutative quadric hypersurface E^(!)/(z)for some central regular element z∈E_(2)^(!).It turns out that the bounded derived category D^(b)(gr_(Z_(2))E(θ))is equivalent to the stable category of the maximal Cohen-Macaulay modules over E^(!)/(z)provided that E!is noetherian.As a consequence,E^(!)/(z)is a noncommutative isolated singularity if and only if the corresponding Clifford deformation E(θ)is a semisimple Z_(2)-graded algebra.The preceding equivalence of triangulated categories also indicates that Clifford deformations of trivial extensions of a Koszul Frobenius algebra are related to Knörrer's periodicity theorem for quadric hypersurfaces.As an application,we recover Knörrer's periodicity theorem without using matrix factorizations.
基金Supported by National Natural Science Foundation of China(Grant No.12171140).
文摘In this paper,we revisit the Kahler structures on the affine quadrics M1={z_(1)^(2)+z_(2)^(2)+z_(3)^(2)=1}in the paper by Bo Yang and Fang-Yang Zheng.We found that the Kahler structures on the complex surface are more complicated than what they have thought.We shall also give some detail calculations and found that our results fit quite well with earlier papers of the first author,one of them with X.X.Chen.
文摘In this letter we assume that F_q is a finite field with q elements, where q is a power of 2. Let N={x^2+x|x∈F_q} and choose a fixed element α of F_q not belonging to N. Theorem 1. Under affine transformations any quadric in AG(n, F_q), where q is even, can be carried into a quadric with one of the following quadratic equations as its equation:
基金This project is supported by the National Natural Science Foundation of China!No.19571024
文摘Taking nondegenerate quadrics in projective space over finite fields of ch.=2, we construct some families of two-class and three-class association schemes, and calculate their parameters. Moreover, for the three-class association scheme, we also compute all its eigenvalues, corresponding multiplicities and the character table, and prove that it is a p-polynomial association scheme.
文摘Let F<sub>q</sub> be a finite field with q elements, where q is a power of a prime, and let AG (n, F<sub>q</sub> )be the n-dimensional aftine space over F<sub>q</sub>. The set of points (x<sub>1</sub>, x<sub>2</sub>,…,x<sub>n</sub> ) in AG(n, F<sub>q</sub>) which satisfy a quadratic
基金supported by the National Natural Science Foundation of China under Grant Nos.11271328and 11571338the Zhejiang Provincial Natural Science Foundation under Grant No.Y7080068
文摘This paper proposes an improved algorithm to construct moving quadrics from moving planes that follow a tensor product surface with no base points, assuming that there are no moving planes of low degree following the surface. These moving quadrics provide an efficient method to implicitize the tensor product surface which outperforms a previous approach by the present authors.
文摘The current attempt is aimed to outline the geometrical framework of a well known statistical problem, concerning the explicit expression of the arithmetic mean standard deviation distribution. To this respect, after a short exposition, three steps are performed as 1) formulation of the arithmetic mean standard deviation, , as a function of the errors, , which, by themselves, are statistically independent;2) formulation of the arithmetic mean standard deviation distribution, , as a function of the errors,;3) formulation of the arithmetic mean standard deviation distribution, , as a function of the arithmetic mean standard deviation, , and the arithmetic mean rms error, . The integration domain can be expressed in canonical form after a change of reference frame in the n-space, which is recognized as an infinitely thin n-cylindrical corona where the symmetry axis coincides with a coordinate axis. Finally, the solution is presented and a number of (well known) related parameters are inferred for sake of completeness.
基金Supported by the National Natural Science Foundation of China(10377007)~~
文摘The skewed symmetry detection plays an improtant role in three-dimensional(3-D) reconstruction. The skewed symmetry depicts a real symmetry viewed from some unknown viewing directions. And the skewed symmetry detection can decrease the geometric constrains and the complexity of 3-D reconstruction. The detection technique for the quadric curve ellipse proposed by Sugimoto is improved to further cover quadric curves including hyperbola and parabola. With the parametric detection, the 3-D quadric curve projection matching is automatical- ly accomplished. Finally, the skewed symmetry surface of the quadric surface solid is obtained. Several examples are used to verify the feasibility of the algorithm and satisfying results can be obtained.
文摘Modern high speed machining (HSM) machine tools often operates at high speed and high feedrate with high ac- celerations,in order to deliver the rapid feed motion.This paper presents an interpolation algorithm to generate continuous quintic spline toolpaths,with a constant travel increment at each step,while the smoother accelerations and jerks of two-order curve are obtained.Then an approach for reducing the feedrate fluctuation in high speed spline interpolation is presented.The presented ap- proach has been validated to quickly,reliably and effective with the simulation.
基金Supported by the National Natural Science Foundation of China (10571155)
文摘This paper gets the Beltrami equations satisfied by a 1-quasiconformal mapping, which are exactly CR or anti-CR equations on (2,2)-type quadric Q0. This means a 1-quasiconformal mapping on Q0 is CR or anti-CR. This reduces the determination of 1- quasiconformal mappings to a problem on the theory of several complex analysis. The result about the group of CR automorphisms is used to determine the unit component of group of 1-quasiconformal mappings.