C~1 Smoothness of Steiner Symmetrizations

In this paper, we study the smoothness of the Steiner symmetrization process and generalize the Steiner symmetrization of functions in Sobolev space to the Steiner symmetrization of convex body. We prove that for a C~1 convex body, its Steiner symmetral is still a C~1 convex body.     

中立型泛函微分方程的C_1_稳定性

本文首次使用Razumikhin-温立志型V泛函[3]把文[4](推广[3]对RFDE)中的定理修改为判定方程(1)零解C~1-稳定性,改进了文[1],[2]的结果.     

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

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

限制在光滑参数曲线上的С~1曲面插值

给出了一种限制在光滑参数曲线上的C1曲面插值方法.首先通过曲线参数化,建立从曲线到实参数轴的一个一一映射,将限制在曲线上的曲面插值问题转化为实参数轴上的一元插值问题,然后采用范数极小的方法给出参数轴上的一元C1插值函数,再将此插值函数映射到原曲线上即得到限制在参数曲线上的插值函数.理论推导和图形实例显示表明该方法具有逼近效果好的优点.     

R~n中三次C~l-插值有限元法的误差估计

本文给出了文[1]的插值格式的误差估计,并且证明了空间S_3~1(n)在一般情况下不存在广义B-关联样条基底。     

稳秩1C~ -代数的几个等价刻画

引入酉分解元的概念,给出稳秩1C~*-代数的几个等价刻画,部分回答了D.Handelman的一个问题,并证明了任何稳定有限的单C~*-代数皆可嵌人到具稳秩1的C~*-代数之中。     

标准胞腔上带有边界条件的C^1二元样条空间

设Ω是R~2中任一单连通多边形区域,▽是它的三角分划,文[1,2]给出了带有边界条件的二元样条空间S_d~(1,α)(▽)(α=0,1)当d≥5时的维数公式及局部支撑基底的构造.本文给出当d<5且Ω为标准胞腔时S_d~(1,α)(▽)(α=0.1)的维数公式及局部支撑基底的构造.     

一阶连续过渡曲面的计算机作图

本文在分析圆弧型过渡曲面的基础上,提出具有一阶连续性(C~1)的Bezier曲面来代替圆弧型曲面,采用旋转扫描方式求取相应的数据,获得光滑圆顺的过渡曲面,响应速度比园弧型的快将近一倍。理论上和实践上表明,它是一种简单快速实用的作图方法。     

关于Ext成群的一些条件

对Ext对商及归纳极限成群的条件进行了研究.给出了:当A是—C~*-代数,I是A的闭双侧理想,Ext(A)是群时,Ext(A/I)是群的充要条件;若A=■(A_1,φ_(ij))且Ext(A_i)是群,则Ext(A)也是群.     

C~4ISR系统研究

研究了C4ISR系统模型,包括对C4ISR系统模型的基本要求和C4ISR系统模型的基本结构.C4ISR系统的评价,包括C4ISR系统的指标和C4ISR系统评价的方法.     

C~2光滑插值曲面片

本文给出一种构造C~2光滑参数三角曲面片的方法,所生成的三角曲面片插值空间R~3中的三个已知点,并以这些点处的已知法向量为三角曲面片在相应点处切平面的法向量。在本文给出的方法中,需要的所有Bezier点均可通过简单的代数显式公式求出,并且Bezier点的个数被减少,为在微机上产生复杂插值曲面打下了较好的基础。     

关于C^1—0泛函的极小极大原理的一个注记

用非光滑分析的思想,对C~(1-0)泛函进行了分析,得到了关于C~(1-0)泛函的几个极小极大定理。     

C~2连续的4次插值样条曲线

通过引入 1组新的插值样条基函数 :B0 (t) =-λt 3λt2 - 3λt3 λt4 ,B1(t) =1 (2λ - 1)t- 3t2 5 (1-λ)t3 (3λ - 2 )t4 ,B2 (t) =(1-λ)t 3(1-λ)t2 (7λ - 4)t3 (1- 3λ)t4 ,B3(t) =(λ - 1)t3 (1-λ)t4 ,构造了 4次插值样条函数 ,讨论了可调参数对曲线段端点切矢的影响和曲线的拐点性质 .结果表明 :这些曲线是整体C2 连续的 ,是局部可修改和可调的 .     

论图书馆C^4I系统的建设

概述了C4I系统的概念及其核心理念,探讨了建立图书馆C4I系统面临的障碍,提出了消除这些障碍的相关对策.     

C*-代数正元的比较

讨论由林华新引进的一种C~*-代数的正元的比较理论.以算子理论的方法详细讨论原始定义中所包含的具体信息,得到这种比较理论的等价定义,并给出常用的基本性质和初步的结果.最后讨论了与通常投影比较的异同以及给出对单C~*-代数的一种描述.     

Proof of inseparable prime C~*-algebras A with RR(A) = 0 being orimitive C~*-algebras

First, that prime C~* -algebras with countable primitive ideals are all primitive C~*-algebras is proved. Then the proof that prime C~* -algebras with property RR(A) = 0 are all primitive C~*-algebras is given.