非一致的Ⅰ—型和Ⅱ—型和三角剖分△m,n^（i）（i=1,2）上的？…

本文以逐次分解法为基础,具体讨论了非一致的Ⅰ－型和Ⅱ－型三角部分下的多元样条函数空间Ｓｋ＾４－１（△ｍ,ｎ＾（ｉ）（ｉ＝１,２）,给出了此空间上样条函数的显式表达式及空间维数公式。     

非均匀(Ⅱ)型三角剖分下双周期二次样条空间S21(△mn(2))

设Ω＝「０，ｘｍ」「０，ｙｎ」，Ω的熟知的非均匀（Ⅰ）、（Ⅱ）型三角剖分分别记为△ｍｎ＾（ｉ），ｉ＝１，２，△ｍｎ＾（ｉ）上的分片二次ｋ次Ｃ＾１多项式的全体记为Ｓ２（△ｍｎ＾（ｉ））称为二元ｋ次一阶光骨的样条函数空间，进一步，引入其子空间Ｓ２（△ｍｎ＾（ｉ））＝（ｓ∈Ｓ２（△ｍｎ＾（ｉ））：Ｄａｓ（．，ｙｎ），Ｄａｓ（０，．），ａ＝０，１），称为双周期ｋ次样条空间，本文给出了Ω的非均匀（Ⅱ）型三角     

非均匀（Ⅱ）型三角剖分下双周期二次样条空间S_2~1（△_（mn）~（2））

设Ω＝［０，Ｘｍ］　［０，ｙｎ」，Ω的熟知的非均匀（Ⅰ）、（Ⅱ）型三角剖分分别记为△ｍｎ（ｉ），ｉ＝１，２．△ｍｎ（ｉ）上的分片二元ｋ次Ｃ１多项式的全体记为Ｓ２１（△ｍｎ（ｉ）），称为二元ｋ次一阶光滑的样条函数空间．进一步，引入其子空间Ｓ２１（△ｍｎ（ｉ））＝｛ｓ∈Ｓ２１（△ｍｎ（ｉ））：Ｄａｓ（·，０）＝Ｄａｓ（·，ｙｎ），Ｄａｓ（０，·）＝Ｄａｓ（Ｘｍ，·），ａ＝０，１｝．称为双周期ｋ次样条空间．本文给出了Ω的非均匀（Ⅱ）型三角剖分△ｍｎ（２）下双周期二次样条空间Ｓ２１（△ｍｎ（２））的维数及一组基底．     

均匀二型剖分下的二元五次B样条基函数及其应用

1975年王仁宏建立了任意剖分下多元样条函数的基本理论框架,即所谓光滑余因子方法.多元样条在函数逼近、计算机辅助几何设计、有限元及小波等领域中均有重要的应用.由于某些特殊剖分如均匀剖分的可研究性,1984年王仁宏给出均匀二型剖分下的二元三次一阶光滑样条空间S13（Δm（2n））的维数及其B样条基函数,在计算机辅助几何设计,微分方程数值解等方面应用广泛.在研究光滑余因子方法的基础上,分析均匀二型剖分下的二元五次三阶光滑样条空间S35（Δm（2n））函数空间,给出了S35（Δm（2n））的维数及其B样条基函数,满足曲面拟合和微分方程数值解等应用中对更高阶光滑性的要求.基于该组基函数,提出一种Poisson方程的数值解方法,通过数值实例检验该方法的精度.     

带边界条件样条函数空间S21,1(△mn(2))上的Lagrange插值

讨论非均匀（Ⅱ）型三角剖分△^-（2）mn上二元二次样条空间的带边界条件子空间S^-（2）mn上的一类所谓支集中心型的Lagrange插值,运用矩阵方向图技术,证明当△^-(2)mn满足所谓非降比剖分条件时相应的插值问题适定,在此条件下,得到插值函数的Lagrange型表示。     

L_ω~2(-1,1)空间的多项式小波分解

设Ｌ２ω（－１,１）是（－１,１）上加权Ｌｅｂｅｓｇｕｅ可积函数空间,其中权函数ω＝（１＋ｘ）１２（１－ｘ）－１２．利用关于权函数ω（ｘ）正交的Ｊａｃｏｂｉ多项式,构造了一列多项式小波．空间Ｌ２ω（－１,１）被分解为小波函数空间的直和．相应的小波函数和尺度函数还具有某种插值性质．     

二元五次C样条函数空间S5(△W)的局部基

利用Hermite插值条件,给出Wang型加密三角剖分下二元五次C^2样条函数空间S5^2（△W）具有局部支集的11个基底表达式.     

S_3~1(△)表示的B样条

运用三角剖分的协调条件，分析了S13（△）中B样条支撑集问题，获得一般三角剖分下B样条支撑集的存在条件。作为特例，得（Ⅰ）型、（Ⅱ）型三角剖分的B样条支撑集。     

d(f)=i的平面图

Ｓａｃｈｓ,Ｋｏｚｙｓｅｖ和Ｇｒｉｈｂｅｒｙ指出平面图具有Ｈａｍｉｌｔｏｎ图的一个必要条件是ｎｉ＝３（ｉ－２）ｉ＝ｎｉ＝３（ｉ－２）′ｉ＝ｎ－２,其中ｉ和′ｉ分别为Ｈａｍｉｌｔｏｎ圈内、外度为ｉ的面数。本文探讨面的度相等的平面图及面并成顶点在边界上的连通区域的面数．     

广义I型三角剖分下二元样条函数空间S5^2（△mn^（1））的维数。

利用B-网方法和最小决定集技术,在广义I型三角剖分S5^2△mn^（1）下构造了二元五次C^2样条函数空间S5^2（△mn^（1））的一个最小决定集,给出了空间S5^2（△mn^（1））的维数．     

五次(0,3)类缺插值样条的局部渐近性质

本文讨论［１］中所定义的五次（０，3）类缺插值样条Ｓｎ（ｘ），当ｆ∈ｃθ［０，１］时，的局部渐近性质。得到： 定理 设ｆ（ｘ）∈Cθ［０，１］，Sｎ（ｘ）是ｆ（ｘ）的五次（0，3）类（ｉ）型缺插值样条，＝Ⅰ，Ⅱ，Ⅲ，Ⅳ，那么对于任意固定的ｘ∈（０，１），当 n→时有 Ｓｎ（ｘ）＝ｆ（ｘ）－［Ｂθ（ｕ）－１／４２］·ｆ（６）（ｘ）·ｈ６／６！＋ｏ（ｈ６）和 Ｓｎ（ｒ）（ｘ）＝＝ｆ（ｒ）（ｘ）－Ｂ６－ｒ（ｕ）ｆ（６）（ｘ）·ｈ６－ｒ／（６－ｒ）！＋ｏ（ｈ６－ｒ），ｒ＝１，２，３，４，5。其中Ｂ１（ｕ）是首项系数为１的ｊ次Ｂｅｒｎｏｕｌｌｉ多项式；u＝（ｘ－γｈ）ｉ　γ＝［ｎｘ］。     

带(F-ρ)-凸的多目标变分问题的对偶

对一类包含任意范数的多目标变分问题（Ｐ）及其Ｗｏｌｆｅ和Ｍｏｎｄ－Ｗｅｉｒ型对偶，在对目标和约束函数的（Ｆ－ρ）－凸的假设下，证明了弱对偶和强对偶定理．     

Beurling型ω-超可微函数空间的一些判别条件

本文利用Fourier—laplace变换对Beurling型超可微函数空间ε（ω）（Ω）和试验函数空间D（ω）（Ω）的性质进行了讨论,并给出了其上的一些等价的判别条件．     

船舶型线设计方法研究

本文构造出一种有理三次β样条函数，并描述其特征；提出了应用有理三次β样条曲线来设计船体型线的方法；同时，利用这一原理，编制出船舶型线设计软件系统（Ｆｏｒｍ－Ｓ）。     

广义I型三角剖分下二元样条函数空间S25(～△(1)mn)的维数

利用 B-网方法和最小决定集技术,在广义I 型三角剖分～△(1) mn 下构造了二元五次C 2样条函数空间S 2 5(～△(1) mn )的一个最小决定集,给出了空间S 2 5(～△(1) mn )的维数.     

F(w~+)=ag(w~-)+b型的边值问题

本文讨论边值条件型如 的函数类Ｕ（Ｄ）和 Ｄ－ｚ（Ｄ）中的解,其中边界上给定的函数ａ（ｔ）≠０,ｂ（ｔ）满足Ｈｏｌｄａｒ条件,而ｆ（ｗ）ｇ（ｗ）是某对单叶函数．设ＩｎｄＬ［ａ）ｔ）］＝ｘ。对单连域,在Ｕ（Ｄ）中得到： 定理１：对齐次问题 （ｉ）ｘ≥０,有解其中 ｐｘ（ｚ）是ｘ次多项式,,г（ｚ）是 Ｃａｕｃｈｙ型积分; （ｉｉ）ｘ＜０,问题无解。 定理２：对非齐次问题 （ｉ ）ｘ≥０,有解其中Ｘ（ｚ）是齐次边值的标准函数,ψ（ｚ）是Ｃａｕｃｈｙ型积分; （ｉｉ）ｘ＜０,且当ψ（ｚ）在∝点具有－ｘ阶零点时,有解 在Ｄ－ｚ（Ｄ）类中,得到 定理５：齐次边值条件的解为定理：６非齐次边值条件的解为ｘ≥０,有解ｘ＞０,一般无解。完全类似,能够得到ｍ＋１联能域的结果。定理６：非芥次逾值兹件的解力ｄｅｏ,＃＃０＜０,一般ｆ＄．完全臾似,能够得到 ｍ＋１＄通域的结果.     

min∑（i=1,m）ci‖x—αi‖型最优场址问题的PR共轭梯度…

给出了求解ｍｉｎ∑（ｉ＝１，ｍ）ｃｉ‖ｘ－αｉ‖型最优场址问题的一个Ｗｅｉｓｚｆｅｌｄ算法与ＰＲ共轭梯度法的混合算法，并证明了其全局性。     

半T1—型空间和半T1（1／2）—型空间及其关系

关于拓扑空间的半分离空间，已有半Ｔ１，ｉ＝０，１，２，３，４，本文在文献（１）、（２）的基础上，提出半Ｔ１－型空间和半Ｔ１（１／２）－型空间，并讨论了它们的某些性质及彼此之间的关系。     

关于σ-局部可数基

证明了下列两个定理：（１）Ｘ有σ－局部可数基的充分必要条件是Ｘ是ｑ－空间且有－σ－局部可数ｋ－网．（２）设Ｘｎ（ｎ∈Ｎ）具有σ－局部ｋ－网，若为ｋ－空间，则下列之一成立．①每一Ｘｉ有σ－局部可数基．②除有限多个Ｘｉ外．Ｘｉ（ｉ∈Ｎ）为紧可度量空间．     

任意三角剖分下的C~1-有理样条函数及基函数

采用结点基的方法，结合研究多元多项式样条函数的光滑余因子方法的思想，解决了任意三角剖分下的Ｃ１－有理样条函数的存在性，并得到了任意三角剖分下具有最少自由度的Ｃ１－有理样条函数类．构造了具有３次代数精度的有理插值算子及其相应的全部Ｃ１－广义楔函数的简便的显示表达式。