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.
The T-meshes are local modification of rectangular meshes which allow T-junctions. The splines over T-meshes are involved in many fields, such as finite element methods, CAGD etc. The dimension of a spline space is a basic problem for the theories and applications of splines. However, the problem of determining the dimension of a spline space is difficult since it heavily depends on the geometric properties of the partition. In many cases, the dimension is unstable. In this paper, we study the instability in the dimensions of spline spaces over T-meshes by using the smoothing cofactor-conformality method. The modified dimension formulas of spline spaces over T-meshes with T-cycles are also presented. Moreover, some examples are given to illustrate the instability in the dimensions of the spline spaces over some special meshes.
Parametric polynomial surface is a fundamental element in CAD systems. Since the most of the classic minimal surfaces are represented by non-parametric polynomial, it is interesting to study the minimal surfaces represented in parametric polynomial form. Recently,Ganchev presented the canonical principal parameters for minimal surfaces. The normal curvature of a minimal surface expressed in these parameters determines completely the surface up to a position in the space. Based on this result, in this paper, we study the bi-quintic isothermal minimal surfaces. According to the condition that any minimal isothermal surface is harmonic,we can acquire the relationship of some control points must satisfy. Follow up, we obtain two holomorphic functions f(z) and g(z) which give the Weierstrass representation of the minimal surface. Under the constrains that the minimal surface is bi-quintic, f(z) and g(z) can be divided into two cases. One case is that f(z) is a constant and g(z) is a quadratic polynomial, and another case is that the degree of f(z) and g(z) are 2 and 1 respectively. For these two cases,we transfer the isothermal parameter to canonical principal parameter, and then compute their normal curvatures and analyze the properties of the corresponding minimal surfaces. Moreover,we study some geometric properties of the bi-quintic harmonic surfaces based on the B′ezier representation. Finally, some numerical examples are demonstrated to verify our results.
Orthogonal multi-matching pursuit(OMMP)is a natural extension of orthogonal matching pursuit(OMP)in the sense that N(N≥1)indices are selected per iteration instead of 1.In this paper,the theoretical performance of OMMP under the restricted isometry property(RIP)is presented.We demonstrate that OMMP can exactly recover any K-sparse signal from fewer observations y=φx,provided that the sampling matrixφsatisfiesδKN-N+1+(K/N)^(1/2)θKN-N+1,N<1.Moreover,the performance of OMMP for support recovery from noisy observations is also discussed.It is shown that,for l_2 bounded and l_∞bounded noisy cases,OMMP can recover the true support of any K-sparse signal under conditions on the restricted isometry property of the sampling matrixφand the minimum magnitude of the nonzero components of the signal.
Orthogonal matching pursuit(OMP)algorithm is an efcient method for the recovery of a sparse signal in compressed sensing,due to its ease implementation and low complexity.In this paper,the robustness of the OMP algorithm under the restricted isometry property(RIP) is presented.It is shown that δK+√KθK,1<1is sufcient for the OMP algorithm to recover exactly the support of arbitrary K-sparse signal if its nonzero components are large enough for both l2bounded and l∞bounded noises.
The asymptotic curve is widely used in astronomy, mechanics and numerical optimization. Moreover, it shows great application potentials in architecture. We focus on the problem how to cover bounded asymptotic curves by a freeform surface. The paper presents the necessary and sufficient conditions for quadrilateral with non-inflection being asymptotic boundary curves of a surface. And then, with given corner data, we model quintic Bezier asymptotic quadrilateral interpolated by a smooth Bezier surface of bi-eleven degree. We handle the available degrees of freedom during the construction to get an optimized result. Some representative surfaces bounded by asymptotic curves with lines or inflections are also discussed by examples. The presented interpolation scheme for the construction of tensor-product Bezier surfaces is compatible with the CAD systems.