量子群主Ｔilting模的形式特征标

设p≥2(h-1)，λ∈X^ 是p^2室中的正则支配权，证明了主Uψ模Mψ(λ^-0＋Pλ^1）的形式特征标公式:描述了ψ(λ^-0＋Pλ^1）的合成因子的分布状态，于A2型量子群，给出了p^2室一般位置室吉Uψ模范畴主Uψ模ψ(λ^-0＋Pλ^1）合成因子的分解模式。     

模板作用与金刚石的选择性生长

用生命科学中的DNA(或RNA)模板和碱基(或氨基酸)模块的概念,从物理学角度说明模板对大尺度有序结构特别是亚稳相的生长,对自由能相差很小的异构体的选择生长所具有的重要作用.金刚石和石墨表面具有模板的特征,它们将主导自身外延层的生长方式.异质衬底的某些局域微观结构可以作为新相生长成核的局域模板;不同材料、不同的处理方法及不同的化学环境下的衬底具有不同的局域微观结构,从而决定了多晶薄膜的取向优势.     

F-倾斜对与F-W-倾斜对

引入了F-倾斜对与F-W-倾斜对的概念,它是对倾斜对和W-倾斜对概念的推广,给出了F-W-倾斜对存在的条件,并研究了F-W-倾斜对与W-倾斜对的关系.     

内射模和投射模的推广

设R是环,n和d是固定的非负整数,T是1-倾斜R-模(未必有限生成).称R-模M是(n,d)-T-内射模,如果对任意P∈Pr esnT,有ExtdR+1(P,M)=0.称R-模M是(n,d)-T-投射模,如果对任意(n,d)-T-内射模N,有ExtlR(M,N=0.给出(n,d)-T-内射模与(n,d) -T-投射模的...     

G2型量子群表示的Grobner—Shirshov基

用单李代数的泛包络代数表示的Grobner-Shirshov基方法,也就是Grobner-Shirshov对（pair）方法,来构造G2型量子群表示的Grobner—Shirshov基是非常苦难的。而用双自由模方法来构造G2型量子群的有限维不可约表示的Grobner—Shirshov基是非常方便的;以已知的G2型量子群的Grobner—Shirshov基为基础．用双自由模方法构造G2型量子群的不可约表示的Grobner-Shirshov基。     

一种基于贝叶斯理论的软件可靠度评估方法

针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算的详细推导过程,并通过一个具体实例解释了计算过程.该方法能重用已有的测试结果,计算速度快,简单易行.通过对每个模块提供数值可靠度估算,可以作为测试用例选择的依据,降低了测试成本,从而很好地为软件测试提供支持.     

L-FUZZY模的同态与同构

给出了Ｌ－ｆｕｚｚｙ模的同态与同构的概念，并证明了一些性质。     

可除模的几个特征

在对前人的成果进行分析的基础上 ,发现可除模也存在一种与内射模相类似的延拓性 ,通过比较、归纳得到以下结果 :设R是一个环 ,r0 是任意正则元 (即非零因子元 ) ,M是左R -模 ,则M是可除模 M是PR -内射模 Ext1R(R/Rr0 ,M) =0 R/r0 R M =0 .而且给出了可除模的子模是可除模的充要条件 .     

Linux可安装模块的研究

首先阐述了Linux可安装模块的机制,并分析了Linux中可安装模块的主要数据结构及它们之间的关系,然后论述了可安装模块在Linux内部的实现过程以及模块的安装和卸载方法,最后举例说明其具体的实现过程。     

模的平坦维数和SF-环的几个结果

主要证明:(1)设 0 →A→B →C→ 0为左R-模的正合列,则(i)当fdB >fdC时,fdA =fdB;(ii)当fdB 相似文献