Bézier曲线降多阶逼近的一种方法

文献[1,2]讨论了Bezier曲线一次降多阶逼近问题,得到了很好的结果.文献[1]利用广义逆矩阵得到不保端点插值的降多阶逼近曲线的控制顶点的表达式.但却没有得到带端点任意阶插值条件的降多阶逼近曲线的控制顶点的表达式.文献[2]得到了带端点任意阶插值的降多阶逼近曲线的控制顶点的解析表达式.本文首先给出两Bezier曲线间距离的定义;然后根据降阶曲线与原曲线间的距离最小,分别得到了用矩阵表示的不保端点插值和保端点任意阶插值的降多阶逼近曲线的控制顶点的显示表达式.所给数值例子显示,用本文方法得到的降多阶逼近曲线对原曲线有很好的逼近效果.     

基于最小二乘法的张量积Said-Ball曲面降多阶逼近

给出张量积Said-Ball曲面降多阶逼近的一种方法.该方法根据原张量积Said-Ball曲面Pn,m(u,v)与降多阶张量积Said-Ball曲面Qn1,m1(u,v)(n1≤n-1,m1≤m-1)在最小二乘范数下的距离函数在单位正方形[0,1]×[0,1]上取最小值,从而得到了用矩阵表示的降多阶张量积Said-Ball曲面Qn1,m1(u,v)的控制顶点{qij}in1=,0,m1j=0的显示表示式.在降多阶过程中,分别考虑了带角点高阶插值条件和不带角点插值条件的情形.文末附有数值例子,并将本文方法与参考文献(9)的方法做了比较.     

C-Bézier曲线降阶的B网扰动和约束优化法

基于B网扰动和约束优化方法,对n次C-Bézier曲线控制多边形顶点进行扰动,并找到其退化为n-1次次C-Bézier曲线的条件.在满足退化条件的约束下,使n次C-Bézier曲线控制多边形顶点扰动量最小,由此找到降阶为n-1次的C-Bézier曲线,同时也研究了在C~0,C~1连续条件下对n次C-Bézier曲线降阶的B网扰动和约束优化方法.给出了扰动显示格式计算方法和降阶逼近的误差估计式.     

关于(R,r)-循环分块矩阵求逆与相乘的一种快速算法

利用矩阵分块逐次降阶的方法和快速富里叶变换(FFT),给出了mn阶(R,r)-循环分块矩阵求逆与相乘的一种快速算法,证明了其计算复杂性为O(mnlog2mn).     

一类非端点插值B样条曲线降阶的方法

降阶算法是B样条曲线和曲面设计的一个基本算法,它广泛应用于组合曲线,蒙皮或扫描曲面等设计中.Piegl与Tiller曾给出B样条曲线的降阶方法.本文给出了解决更一般的非端点插值B样条曲线降阶的方法.新的方法主要是通过对现有的节点插入方法进行分析,给出了一种端点插值递推公式,并利用此公式对Piegl与Tiller降阶方法加以改进,使之能够解决非端点插值均匀及非均匀B样条曲线的降阶问题.     

r-一致超图Ramsey函数的渐近下界(英文)

本文利用Lovasz局部引理的Spencer形式和对称形式给出r-一致超图Ramsey函数的渐近下界.证明了:对于任意取定的正整数f0,使得当n→∞时,有R~((r))(m~l,n~(k-l))≥(c-o(1))(n~(r-1)/logn)~■.特别地,R~((r))_k(n)≥(1-o(1))n/e k~■(n→∞).对于任意取定的正整数s≥r+1和常数δ>0,α≥0,如果F表示阶为s的r-一致超图,■表示阶为t的r-一致超图,且■的边数满足m(■)≥(δ-o(1))t~r/(logt)α(t→∞),则存在c=c(s,δ,α)>0,使得R~((r))(F,■)≥(c-o(1))(t~(r-1)/(logt)~l+(r-l)α)~(m(F)-l/s-r).     

矩阵的逆及秩的降阶方法

降阶方法是处理矩阵问题的最核心的思想方法之一.从分块矩阵■出发,利用降阶的思想,讨论了该矩阵的逆与秩的计算,并给出该降阶公式的各种变形以及在解题中的应用.     

关于多个算子的Furuta型算子单调函数

设p≥1,且A、B是Hilbert空间上两个正算子,T.Furuta给出若A≥B>0,那么对任意t∈[0,1]有,G(r,s)=A-r/2{Ar/2(A-t/2BpA-t/2)sAr/2}1-t+r/(p-t)+srA-r/2是关于r,s在r≥t及s≥1上单调递减的,我们给出该结果可以推广到多个算子的情形.     

关于多维线性系统的逆

本文给出了多维线性系统求逆的新方法,与以前的方法相比,该方法将高阶矩阵的求逆转化为逐次求低阶矩阵的规范形,而且计算更简单、有效和程序化．本文进一步讨论了多维线性系统的降阶逆系统,并分别通过选取可观测空间和不可观测空间的特殊基,得到了比以往降阶逆系统的阶数更加低的降阶逆系统,揭示了原系统的可观测性对逆系统的阶的影响．     

计算广义逆A_(T,S)~(2)的迭代法

1引言与引理 文【l}中Ben一Israel与Greville给出了计算矩阵A的Moore一penrose逆的一阶和p阶 迭代法，陈永林图推广了11]的结果，给出了类似的计算矩阵A的具有指定值域T与零 空间s的(z)一逆A级公的一阶迭代法 X* ，=X、 X0(I一AX*)，k=0，1，2，二 刘桂香:计算广义逆A钾:的迭代     

Leibniz 2-Algebras and Twisted Courant Algebroids

Let Y be an integral projective curve whose singularities are of type A_k, i.e. with only tacnodes and planar (perhaps non-ordinary) cusps. Set g:= p_a(Y). Here we study the Brill - Noether theory of spanned line bundles on Y. If the singularities are bad enough, we show the existence of spanned degree d line bundles, L, with h⁰(Y, L) ≥ r + 1 even if the Brill - Noether number ρ(g, d, r) < 0. We apply this result to prove that genus g curves with certain singularities cannot be hyperplane section of a simple K3 surface S ? P ^g.     

Trigonal gorenstein curves and special linear systems

LetY be a Gorenstein trigonal curve withg:=pa(Y)≥0. Here we study the theory of special linear systems onY, extending the classical case of a smoothY given by Maroni in 1946. As in the classical case, to study it we use the minimal degree surface scroll containing the canonical model ofY. The answer is different if the degree 3 pencil onY is associated to a line bundle or not. We also give the easier case of special linear series on hyperelliptic curves. The unique hyperelliptic curve of genusg which is not Gorenstein has no special spanned line bundle.     

Application of degree reduction of polynomial Bézier curves to rational case

An algorithmic approach to degree reduction of rational Bézier curves is presented. The algorithms are based on the degree reduction of polynomial Bézier curves. The method is introduced with the following steps: (a) convert the rational Bézier curve to polynomial Bézier curve by using homogenous coordinates, (b) reduce the degree of polynomial Bézier curve, (c) determine weights of degree reduced curve, (d) convert the Bézier curve obtained through step (b) to rational Bézier curve with weights in step (c).     

Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization

In this paper, we present several methods for the construction of elliptic curves with large torsion group and positive rank over number fields of small degree. We also discuss potential applications of such curves in the elliptic curve factorization method (ECM).     

On chordal and bilateral SLE in multiply connected domains

We discuss the possible candidates for conformally invariant random non-self-crossing curves which begin and end on the boundary of a multiply connected planar domain, and which satisfy a Markovian-type property. We consider both, the case when the curve connects a boundary component to itself (chordal), and the case when the curve connects two different boundary components (bilateral). We establish appropriate extensions of Loewner’s equation to multiply connected domains for the two cases. We show that a curve in the domain induces a motion on the boundary and that this motion is enough to first recover the motion of the moduli of the domain and then, second, the curve in the interior. For random curves in the interior we show that the induced random motion on the boundary is not Markov if the domain is multiply connected, but that the random motion on the boundary together with the random motion of the moduli forms a Markov process. In the chordal case, we show that this Markov process satisfies Brownian scaling and discuss how this limits the possible conformally invariant random non-self-crossing curves. We show that the possible candidates are labeled by two functions, one homogeneous of degree zero, the other homogeneous of degree minus one, which describes the interaction of the random curve with the boundary. We show that the random curve has the locality property for appropriate choices of the interaction term. The research of the first author was supported by NSA grant H98230-04-1-0039. The research of the second author was supported by a grant from the Max-Planck-Gesellschaft.     

ON THE COHOMOLOGY OF A SPACE CURVE CONTAINING A PLANE CURVE

In this paper we study the Hartshorne–Rao module of curves in P ³ of degree d and genus g, containing plane curves of degree d ? p, p ≥ 1. We prove an optimal upper bound for the Rao function of these curves and we show that the curves attaining the bound are obtained from an extremal curve by an elementary biliaison of height min(p, d ? p) ? 1 on a quadric surface.     

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.     

Recovering plane curves of low degree from their inflection lines and inflection points

In this paper we consider the following problem: is it possible to recover a smooth plane curve of degree d ≥ 3 from its inflection lines? We answer the posed question positively for a general smooth plane quartic curve, making the additional assumption that also one inflection point is given, and for any smooth plane cubic curve.     

Modular operads

We develop a higher genus analogue of operads, which we call modular operads, in which graphs replace trees in the definition. We study a functor F on the category of modular operads, the Feynman transform, which generalizes Kontsevichs graph complexes and also the bar construction for operads. We calculate the Euler characteristic of the Feynman transform, using the theory of symmetric functions: our formula is modelled on Wicks theorem. We give applications to the theory of moduli spaces of pointed algebraic curves.