作为一元等距结点样条推广的多元样条

作者们在[4]中已经指出了给定剖分下多元B-样条存在的必要条件(1).它表明,并不是对所有的剖分都有多元B-样条存在的。人们也许以为,如同一元情况一样,只要多元B-样条存在,则它们一定组成多元样条空间的支集(即多元样条空间是所有多元B-样条所支架起来的空间)。本文以标准的三角剖分(2-单纯形)下,多元样条空间S²:=S₄²为例指出这种认识是错误的。事实上,本文定理2,3和4对这个问题已给出了明确的结论。 以上结论说明多元B-样条并不是基本的     

任意剖分下的多元样条分析

本文采用代数几何的方法,研究了在任意剖分下多元样条函数的各种性质.定理2—4给出了一个函数S(υ,ν)是多元参数型样条的充分必要条件.定理1指出了多元样条函数具有“解析延拓”的特征性质.文中得到在任意剖分下多元样条的一般表达形式(定理9和10)和多元样条插值的一般理论.文中也讨论了多元有理样条函数.     

贯穿剖分的若干性质

用有限条直线对区域 D进行的剖分称为贯穿剖分 ,形成剖分的直线称为贯穿线 .称始于内网点终止于 D的边界的线段为 D内的射线 ,如果一个剖分中的每一条网线或者是贯穿线的一部分或者是某一射线的一部分 ,则称该剖分为拟贯穿剖分 .由于贯穿剖分具有的特殊优越性 ,使其成为多元样条中最常用的剖分 .在多元样条里应用最广的均匀 1-型均匀 2 -型剖分就是贯穿剖分的特例 .但是 ,目前对贯穿剖分的性质研究较少 ,这限制了贯穿剖分优越性的进一步挖掘 .针对这一问题本文研究的贯穿剖分的多种性质 ,如 :边缘点的存在性 ,特型剖分域的存在性 ,染色定…     

差分代换矩阵与多项式的非负性判定

主要分析了差分代换矩阵的基本性质,证明了存在有限个差分代换矩阵的乘积可以将单位点$(1,0,\cdots,0)$变换到指定的非负(本原)整点.利用这一结果可以导出${R^n_+}$上判定半正定型的充要条件.根据此充要条件建立的算法(TSDS)可能不停机,针对不停机的情况,再给出一些判定半正定型的充分条件.     

流形的去核乘积

一个拓扑空间X的k重去核乘积,指的是把乘积空间X~k中全部形如(x,…,x)的点去掉后所得到的子空间.吴文俊在[1]中提出了有限可剖分空间的一个新拓扑不变量,其中包括该空间的去核乘积的伦型,即有限可剖分空间的k重去核乘积的伦型是原空间的拓扑不变量,而且一般非同伦不变.[1]还提出在流形的范畴中,这个新拓扑不变量是否有新的意义的问题.本文指出,对于某一类流形来说,它的k重去核乘积的上同调群、同调群以及同伦     

S_4~2中B-样条存在的剖分条件

方形区域上如图1的一种剖分,S_k~μ是μ次连续分片为k次的二元多项式全体。[1]中还指出,S_3~1,S_4~2中的B-样条是图2和图3上的分片多项式。除此,还研究了非等距剖分下S_3~1中图2形式的B-样条,得到了B-样条存在的充要条件:     

关于非均匀剖分下多元样条空间S_2~1(△_(mn)~(2))的拟插值算子

１引言随着计算机科学技术的发展,多元样条在力学和计算机辅助几何设计（ＣＡＧＤ）中的应用越来越引起人们极大兴趣．然而,由于一般剖分下样条空间的研究有相当的难度,迄今为止只对于一些特殊剖分的样条空间取得了一定的进展,如：矩形剖分,均匀的１－型,２－型三角剖分等．王仁宏和崔锦泰讨论了均匀２－型三角剖下的拟插值算子以及其逼近性质,鉴于在工程和实际应用中均匀剖分具有一定局限性,作者在文献（［１］,［３］）的基础上,对于非均匀２－型三角剖分,给出了一类拟插值算子,并研究了它的逼近性质．同时,利用其构造了一类…     

二元弱样条函数空间的维数

基于B-网方法,在一定条件下构造了由一列星形域构成的三角剖分 |VI|∪i=1star(vi)相应定点剖分Ⅰ1|VI|∪i=1 star(vi)下2μ次μ阶光滑二元弱样条函数空间Wμ2μ(Ⅰ1|VI|∪i=1 star(vi)的一个最小决定集,据此给出了该空间的维数.作为两个应用的实例,我们给出了非均匀(Ⅰ)型三角剖分△(1)mn及非均匀(Ⅱ)型三角剖分△(2)mn相应的定点剖分下二元弱样条函数空间Wμ2μ(I1△(1)mn)和Wμ2μ(I1△(2)mn)的维数.     

特殊形式的多元有理样条插值

有理样条插值问题最早是由R.Schaback提出的,由于R.Schaback考虑此问题时涉及到了非线性方程组的求解,因而实现起来比较复杂.后来,王仁宏等研究了几类特殊形式的插值有理样条函数,避开了求解非线性方程的困难.能否在多元情形下建立类似的结果?本文对此作出了肯定的回答,并就二元情形的三角剖分和四边形剖分建立了几类特殊形式的插值多元有理样条,构造性地证明了解的存在性和唯一性.     

单位球上加权 Bergman-Nevanlinna空间到 Blo ch-型空间上乘法,复合,微分算子的乘积

文章用径向导数定义了 H(B)空间上的微分算子,从而研究了单位球上加权Bergman-Nevanlinna 空间到 Bloch-型空间上乘法,复合,微分算子的乘积,给出了这类乘积有界和紧的充要条件。     

极限圆型Hamilton算子乘积的自伴性

本文讨论了极限圆型Hamilton算子乘积的自伴性,利用Calkin方法及奇异Hamilton系统自伴扩张的一般构造理论,给出了在极限圆型时判定Hamilton算子乘积自伴的一个充要条件.     

生长曲线模型中协差阵的最优非负估计

本文给出了一个判定非负定阵的新方法,完成了生长曲线模型中误差协差阵非负估计理论的下列工作:(1)最优估计存在的充要条件及存在时的显示表达;(2)任意二次估计为最优估计的充要条件,作为推论给出了最小二乘估计为最优非负估计的充要条件;(3)给出了一个优于最小二乘估计的新估计.     

逻辑系统MTL（BL）的新的模式扩张系统GNMTL（GNBL）

首先给出了G(o)del非算子的一个重要性质:一个模糊逻辑系统中的非是G(o)del非的充要条件是如果x*y=0,则xy=0.然后,基于G(o)del非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL.GNMTL(GNBL)是基于一类左连续t-模(连续t-模)(都包含乘积t-模及G(o)del t-模)的模糊逻辑的共同形式化;最后,分别给出了著名逻辑系统G(o)d与Ⅱ分剐作为GNMTL和GNBL 的模式扩张形式,同时给出了G(o)del逻辑系统的几种等价形式.     

(Ⅱ)型三角剖分下带边界条件的二元二次样条插值

本文研究(Ⅱ)型三角剖分下带边界条件的二元二次样条插值问题的存在唯一性与插值节点分布的关系,并且在证明了中心插值、角点插值和偏心插值问题解的存在唯一性的基础上,给出了这三种插值函数的构造方法.     

单位球上加权Bergman-Nevanlinna空间到Bloch-型空间上乘法,复合,微分算子的乘积（英文）

文章用径向导数定义了H(B)空间上的微分算子,从而研究了单位球上加权Bergman-Nevanlinna空间到Bloch-型空间上乘法,复合,微分算子的乘积,给出了这类乘积有界和紧的充要条件.     

三个极限圆型Hamilton算子乘积的自伴性

本文讨论了极限圆型Hamilton算子乘积的自伴性,利用Calkin理论及奇异Hamilton系统自伴扩张的一般构造理论,给出了在极限圆型时判定三个.Hamilton算子乘积自伴的—个充要条件.     

一类非平面图的色性（英文）

本文研究了一类非平面图K_(3,3)剖分图的色性.利用分析图的色多项式及图的结构特点,获得了与K_(3,3)剖分图色等价的图的结构特点,推广了非平面图的色性问题.     

广义超双曲型方程在乘积区域中的Dirichlet问题

本文讨论广义超双曲型方程在乘积区域中的Dirichlet问题,给出了解唯一的充要条件,在唯一性假设下证明了解的存在性。最后在解不唯一时刻画了解的结构,并给出一个可解的充分条件。     

构造非均匀剖分上局部支集样条函数的积分方法

１　引　　言 给定递增数列｛ｘｉ｝,｛ｙｉ｝,｛ｚｋ｝．对于Ｒ２,由直线｛ｘ＝ｘｉ）和｛ｙ＝ｙｊ｝形成的剖分称为非均匀矩形剖分;再连接每个矩形［ｘｉ,ｘｉ＋１］×［ｙｊ,ｙｊ＋１］的正斜率对角线形成的剖分称为非均匀Ｉ－型三角剖分,记为　１;若连接每个矩形的两条对角线,则所得剖分为非均匀Ⅱ－型三角剖分,记为　２．对于Ｒ３,由平面｛ｘ＝ｘｉ｝,｛ｙ＝ｙｊ｝,｛ｚ＝ｚｋ｝形成的剖分称为非均匀长方体剖分;若再连接每个小长方体［ｘｉ,ｘｉ＋１］×［ｙｊ,ｙｊ＋１］×［ｚｋ,ｚｋ＋１］的过点（ｘｉ,ｙｊ,ｚ…     

关于态射的广义Moore-Penrose逆

本文研究了态射的广义Moore-Penrose逆．给出了范畴中态射的广义Moore-Penrose逆存在的一些新的充要条件．也给出了广义Moore-Penrose逆的乘积公式成立的充要条件。