Experimental study of core MHD behavior and a novel algorithm for rational surface detection based on profile reflectometry in EAST

Microwave reflectometry is a powerful diagnostic that can measure the density profile and localized turbulence with high spatial and temporal resolution and will be used in ITER,so understanding the influence of plasma perturbations on the reflect signal is important.The characteristics of the reflect signal from profile reflectometry,the time-of-flight(TOF)signal associated with the MHD instabilities,are investigated in EAST.Using a 1D full-wave simulation code by the Finite-DifferenceTime-Domain(FDTD)method,it is well validated that the local density flattening could induce the discontinuity of the simulated TOF signal and an obvious change of reflect amplitude.Experimental TOF signals under different types of MHD instabilities(sawtooth,sawtooth precursors and tearing mode)are studied in detail and show agreement with the simulation.Two new improved algorithms for detecting and localizing the radial positions of the low-order rational surface,the cross-correlation and gradient threshold(CGT)method and the 2D convolutional neural network approach(CNN)are presented for the first time.It is concluded that TOF signal analysis from profile reflectometry can provide a straightforward and localized measurement of the plasma perturbation from the edge to the core simultaneously and may be a complement or correction to the q-profile control,which will be beneficial for the advanced tokamak operation.

Interval Bézier Surfaces Approximation of Rational Surfaces

On the basis of the perturbation, we present an approach to approximating rational surfaces by the interval Btzier surfaces using energy minimization method. The approach makes the perturbation surfaces have more restrictions than the original surfaces. It could be combined with subdivision method to obtain a piecewise interval polynomial approximation for a rational surface. The applications of this approach are illustrated too.

Lattices,Diophantine equations and applications to rational surfaces

In this article,we study certain quadratic Diophantine equations in Picard lattices of blow-ups of the complex projective plane,and describe their relations with root systems and Weyl group orbits of quasiminuscule fundamental weights.We apply these to study the geometry of certain rational surfaces.

The minimal genus problem in rational surfaces CP^2#nCP^2

There are three key ingredients in the study of the minimal genus problem for rational surfaces CP2#nCP2: the generalized adjunction formula, the action of the orthogonal group of the Lorentz space and the geometric construction. In this paper, we prove the uniqueness of the standard form (see Definition 1.1 and Theorem 1.1) of a 2-dimensional homology class under the action of the subgroup of the Lorentz orthogonal group that is realized by the diffeomorphisms of CP2#nCP2.Using the geometric construction, we determine the minimal genera of some classes (see Theorem 1.2).

Degenerations of rational Bézier surface with weights in the form of exponential function

Rational Bezier surface is a widely used surface fitting tool in CAD. When all the weights of a rational B@zier surface go to infinity in the form of power function, the limit of surface is the regular control surface induced by some lifting function, which is called toric degenerations of rational Bezier surfaces. In this paper, we study on the degenerations of the rational Bezier surface with weights in the exponential function and indicate the difference of our result and the work of Garcia-Puente et al. Through the transformation of weights in the form of exponential function and power function, the regular control surface of rational Bezier surface with weights in the exponential function is defined, which is just the limit of the surface. Compared with the power function, the exponential function approaches infinity faster, which leads to surface with the weights in the form of exponential function degenerates faster.

Judging or setting weight steady-state of rational Bézier curves and surfaces

Many works have investigated the problem of reparameterizing rational B^zier curves or surfaces via MSbius transformation to adjust their parametric distribution as well as weights, such that the maximal ratio of weights becomes smallerthat some algebraic and computational properties of the curves or surfaces can be improved in a way. However, it is an indication of veracity and optimization of the reparameterization to do prior to judge whether the maximal ratio of weights reaches minimum, and verify the new weights after MSbius transfor- mation. What＇s more the users of computer aided design softwares may require some guidelines for designing rational B6zier curves or surfaces with the smallest ratio of weights. In this paper we present the necessary and sufficient conditions that the maximal ratio of weights of the curves or surfaces reaches minimum and also describe it by using weights succinctly and straightway. The weights being satisfied these conditions are called being in the stable state. Applying such conditions, any giving rational B6zier curve or surface can automatically be adjusted to come into the stable state by CAD system, that is, the curve or surface possesses its optimal para- metric distribution. Finally, we give some numerical examples for demonstrating our results in important applications of judging the stable state of weights of the curves or surfaces and designing rational B6zier surfaces with compact derivative bounds.

Computation of lower derivatives of rational triangular Bézier surfaces and their bounds estimation

By introducing the homogenous coordinates, degree elevation formulas and combinatorial identities, also by using multiplication of Bernstein polynomials and identity transformation on equations, this paper presents some explicit formulas of the first and second derivatives of rational triangular Bézier surface with respect to each variable (including the mixed derivative) and derives some estimations of bound both on the direction and magnitude of the corresponding derivatives. All the results above have value not only in surface theory but also in practice.

Visible region extraction from a sequence of rational Bézier surfaces

A method for computing the visible regions of free-form surfaces is proposed in this paper. Our work is focused on accurately calculating the visible regions of the sequenced rational Bézier surfaces forming a solid model and having coincident edges but no inner-intersection among them. The proposed method calculates the silhouettes of the surfaces without tessellating them into triangle meshes commonly used in previous methods so that arbitrary precision can be obtained. The computed sil- houettes of visible surfaces are projected onto a plane orthogonal to the parallel light. Then their spatial relationship is applied to calculate the boundaries of mutual-occlusion regions. As the connectivity of the surfaces on the solid model is taken into account, a surface clustering technique is also employed and the mutual-occlusion calculation is accelerated. Experimental results showed that our method is efficient and robust, and can also handle complex shapes with arbitrary precision.

APPROXIMATION OF INTERVAL BEZIER SURFACES

Based on the conception of perturbation, an approach to the interval Bezier surfaces approximating ra- tional surfaces is presented using the energy minimization method. The method places more restrictions on the perturbation surfaces than the original surfaces. The applications of the approach are also presented. Experimen- tal result is combined with the subdivision method to obtain a piecewise interval polynomial approximation for a rational surface.

Constrained Control of Interpolating Surfaces by Parameters

In order to meet the needs of practical design, an interpolation technique is employed to constrain the shape of surfaces. The method of preserving positivity on the interpolation surface and constraint on interpolating data is also developed. The advantage of this new method is that it can be used to constrain the shape of an interpolating surface only by selecting suitable parameters, and numerical examples are presented to show the performance of the method.

Parametric Selection and Continual Combination of Building Surface

A method to reparametrize G retional curve to obtain a C^1 curve is given. A practical G^1 continual connective between adjacent NURUS patches along common guadratic boundary curve is presented in this paper, and a specific algorithm for control points and weights of NURBS patches is discussed.

Finite Abelian Groups of K3 Surfaces with Smooth Quotient

The quotient space of a K3 surface by a finite group is an Enriques surface or a rational surface if it is smooth.Finite groups where the quotient space are Enriques surfaces are known.In this paper,by analyzing effective divisors on smooth rational surfaces,the author will study finite groups which act faithfully on K3 surfaces such that the quotient space are smooth.In particular,he will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a K3 surface to a Hirzebrunch surface such that the branch divisor is that effective divisor.Furthermore,he will decide the Galois group and give the way to construct that Abelian cover from an effective divisor on a Hirzebruch surface.Subsequently,he studies the same theme for Enriques surfaces.

Determination and(Re)Parametrization of Rational Developable Surfaces

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.

A Survey of the Representations of Rational Ruled Surfaces

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.

The Geometric Continuity of Rational Bezler Triangular Surfaces

The problems of geometric continuity for rational Bezter surfaces are discussed. Concise conditions of first order and second order geometric continuity for rational triangular Bézier surfaces are given. Meanwhile,a geometric condition for smoothness between adjacent rational Bézier surfaces and the transformation formulae between rational triangular patches and rational rectangular patches are obtained.

A Subdivision Scheme for Rational Triangular Bézier Surfaces

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.

NEW DESIGN METHOD FOR HYPOID GEARS

A digital model is presented for the purpose of design, manufacture and measurement of hypoid gear, based on the non-uniform rational B-spline surface （NURBS） method. The digital model and the function-oriented active design technique are combined to form a new design method for hypoid gears. The method is well adaptable to CNC bevel gear cutting machines and CNC-controlled gear inspection machines, and can be used to create the initial machine tool cutting location data or program measurement path. The presented example verifies the method is correct.

On the canonical map of surfaces with q≥6

We carry out an analysis of the canonical system of a minimal complex surface S of general type with irregularity q > 0.Using this analysis,we are able to sharpen in the case q > 0 the well-known Castelnuovo inequality KS2≥3pg(S) + q(S)-7.Then we turn to the study of surfaces with pg=2q-3 and no fibration onto a curve of genus > 1.We prove that for q≥6 the canonical map is birational.Combining this result with the analysis of the canonical system,we also prove the inequality:KS2≥7χ(S) + 2.This improves an earlier result of Mendes Lopes and Pardini (2010).

IMPLICITIZATION USING UNIVARIATE RESULTANTS

Among several implicitization methods, the method based on resultant computation is a simple and direct one, but it often brings extraneous factors which are difficult to remove. This paper studies a class of rational space curves and rational surfaces by implicitization with univaxiate resultant computations. This method is more efficient than the other algorithms in finding implicit equations for this class of rational curves and surfaces.

An Improved Algorithm for Constructing Moving Quadrics from Moving Planes

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.