扰动模糊命题中的阿基米德表现定理

在扰动模糊逻辑命题及其算子的基础上．定义了复合生成子的概念．讨论了阿基米德扰动t-范和扰动t-余范．然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,同时对这些逻辑算子的性质做了较为系统的研究,进而给出阿基米德扰动t-范和扰动t-余范的表现定理．     

模糊赋半范空间的性质研究(Ⅱ)

定义了线性空间C(R)和LP[R]上的模糊范数,证明了(C(R)),‖·‖(·))和(LP[R],‖·‖(·))是模糊赋半范空间,并对它们的性质进行了研究。     

Hilbert空间L~2(R)上的小波保持子

研究了小波的运算性质与保持小波的算子的性质。首先,研究了函数空间L2(R)中的全体小波构成的集合W(L2(R))的代数性质,证明了GW(L2(R)):=W(L2(R))∪{0}(0与小波之集)在数乘、加法及卷积运算下是封闭的,进而形成一个交换赋范代数;其次,讨论了Hilbert空间L2(R)上将小波映射为小波的有界线性算子(称为小波保持子)的性质,证明了这些算子的全体WP(L2(R))构成一个含幺乘法半群;最后,研究了L2(R)上将小波映射为小波或0函数的有界线性算子(称为广义小波保持子),证明了这些算子的全体GWP(L2(R))构成了Banach算子代数B(L2(R))的一个含幺赋范子代数。同时,还给出了L2(R)上有界算线性算子成为小波保持子的一个充分条件。     

Dini型核向量值奇异积分算子交换子的加权赋范不等式

把向量值奇异积分算子交换子的核满足的条件由标准型减弱成Dini型,证明了Dini型核向量值奇异积分算子交换子的几个加权赋范不等式.     

关于v-Noether环

Mori整环是v-理想满足升链条件的整环,将其研究扩大到有零因子的交换环上.v-Noether环被定义为v-理想满足升链条件的交换环.若R是v-Noether环,P是素理想,则R[P]是v-Noether环.而且还得到:若R中每个非零理想都被包含在至多有限个极大t-理想中,R是v-Noether环当且仅当对于每个极大t-理想M而言,R[M]都是v-Noether环.     

几类特殊的概率度量空间

给出了概率度量群和线性概率度量空间的定义,并引进一种特殊的线性概率度量空间--概率赋准范空间.随后定义了概率仿射度量空间,它是一种特殊的概率度量空间,在上面可以构造出一种线性结构使得该度量空间成为一个线性概率度量空间.最后给出了一个概率仿射度量空间的例子,该空间是通过一个非拓扑线性的概率赋范     

扩张子范畴的幂等完备化

给定三角范畴D的子范畴X,Y,证明了若X,Y是幂等完备的且HomD(X,Y[i])=0,其中i=0,-1,则其扩张子范畴X*Y也是幂等完备的.应用到t-结构上,证明了包含t-结构的心的最小的有厚度子范畴是幂等完备的.应用到右(左)recollement上,证明了两端的三角范畴是幂等完备的充要条件是中间的三角范畴是幂等完备的.     

分层立方网络的 t／t-诊断度和诊断算法

故障诊断度在衡量一个多处理机系统的可靠性上起着极其重要的作用。悲观诊断策略（也称作t/t-诊断策略）在允许最多一个处理机误诊的情况下,能极大地提高多处理机系统的自我诊断度。本文主要证明了在 PMC诊断模型下,分层立方网络HCNn 是（2n）/（2n）-可诊断的,同时,也给出了时间复杂度比原有的诊断算法较优的t/t-诊断算法。     

由生成子范畴导出的t-结构

作者根据Keller和Vossieck提出的Aisle的概念及其与t-结构的关系,从三角范畴的一个特殊的生成子范畴出发,得到了该三角范畴上的一个t-结构,这个t-结构的heart恰好就是那个特殊的生成子范畴.     

线性赋范空间上泛函列的一致连续性定理

定义了在线性赋范空间X上泛函序列{fn}强一致连续,弱一致连续和一致收敛的概念,得出了泛函序列{fn}强一致连续必弱一致连续;并证明了定义在线性赋范空间x上的泛函序列{fn}弱一致连续且又是一致收敛序列时,在X上必强一致连续;定义在线性赋范空间x的有界子集D上的强一致连续泛函序列{fn},若满足‖fn-f‖→（n→∞）,则序列是一致收敛的。