p-内射半模

给出p-内射半模的概念,并在此基础上刻划了p-内射半模与Hom函子的关系.接下来证得p-内射半模的直积与直和仍保持是p-内射半模。以及讨论了在无零因子半环中,p-内射半模与可除半模的关系。最后由于p-内射半模定义的条件比内射半模弱,证明了在任意真半环上存在非零的p-内射半模。     

纯投射半模

为研究半环上的纯投射性,先给出了纯子半模和纯真正合列的概念及其相关性质;接着定义了纯投射半模并讨论了纯投射半模与共变函子Home(P,-)的关系,以及纯投射半模的直和性和可裂性;最后探讨了纯投射半模与投射半模的关系,给出了在完全纯半环上,纯投射半模就是投射半模。     

S-系的稳定扭类

首先证明了S-系及其同态的正合列的一些结果．利用S-系的正合列，研究了S-系的关于取内射包闭的一类扭论．即稳定扭论。证明了一个(特殊)扭论τ是稳定的．当且仅当对任意的(τ-)内射S-系M，其扭根Tτ(M)是M的直积因子。     

Ding分次模和强Ding分次模

研究了分次环R上的Ding分次投射(内射)R-模以及强Ding分次投射(内射)R-模,证明了任意分次环上的Ding分次投射(内射)模类是投射(内射)可解的.研究了强Ding分次投射(内射)R-模与Ding分次投射(内射)R-模之间的关系,以及强Ding分次投射(内射)R-模与非分次的强Ding投射(内射)R-模之间的关系.证明了对有限群分次环R,若M是强Ding投射(内射)R-模,则F(M)是强Ding分次投射(内射)的;若N是强Ding分次投射(内射)R-模,则U(N)是强Ding投射(内射)的.     

FCP-投射模与某些环

设R为一个环,如果对每一有限余相关右R-模A,Ext1R(M,A)=0,称一个右R-模M是FCP-投射的.如果有限余生成内射右R-模的有限余生成商模是有限余相关的,则R称为右余凝聚的.如果有限余生成内射右R-模的有限余生成商模是内射的,则R称为右余半遗传的.本文给出了FCP-投射模的一些特征,用FCP-投射模刻画了右V-环和右半遗传环,给出了右V-环为阿丁半单环的一些条件,研究了右余凝聚环上模的FCP-投射维数,还研究了FCP-投射模为投射模的环.     

Ding-内射模的函子伴随性

主要研究了Ding-内射模以及有有限内射维数的模类的逼近,构造了Ding-内射模范畴对应的稳定范畴之间的两对伴随函子.     

PI-内射模

引入PI-内射模,它是余挠模的一种自然推广.通过对PI-内射模的研究,定义了弱完全环并给出了Noether环与von Neumann正则环的一些新刻画.证明了:(1)若R为右Noether环,则每个右R-模都是PI-内射的;(2)Noether环R是完全环当且仅当R上的所有PI-内射模是余挠的.     

基本内射模的方程组特征

本文定义了左R-模上的基本相容方程组的概念,并由此给出基本内射模的一个等价刻划。这一结论是文[1]结论的推广。     

极小拟内射模和强Kasch模

设R为一个环,M为一个右R-模．若每个从M的单子模到M的同态都可以开拓为M的自同态,则称M为一个极小拟内射模．若每个单的右R-模都可以嵌入M,则称M为一个强Kasch模．本文研究了这两类模的一些刻画和性质．     

关于拟Koszul模范畴的核与余核

设R是诺特半完全代数,0——K——M——N——0是有限生成R-模范畴中的任意短正合列.主要研究了当K,M是拟Koszul模时,N何时是拟Koszul模以及M,N是拟Koszul模时,K何时是拟Koszul模,它完善了GREEN和MARTíNEZ-VILLA在1996年得到的结果.     

离散交换群上Toeplitz算子代数的一个正合列

在引进几乎不变子集的基础上定义一般的离散交换群上的广义Toeplitz算子,研究该算子的一些性质,得到了几乎不变子集的一个刻画以及由该广义Toeplitz算子生成的C*-代数的一个正合序列。     

副猪嗜血杆菌的MLST分析及数据库建立

对副猪嗜血杆菌86个分离株的7个看家基因,包括ATP合成酶β链(atpD)、翻译起始因子IF-2(in-fB)、核糖体蛋白β亚基(rpoB)、苹果酸脱氢酶(mdh)、6-磷酸葡萄糖脱氢酶(6pgd)、3-磷酸甘油醛脱氢酶(g3pd)和延胡索酸还原酶B(frdB)进行了PCR扩增;对扩增产物进行了测序;对序列编辑、队列     

自变量为整数的映射函数生成算法

针对自变量为整数的系列数据,利用计算机整数除法去余的特点,提出了一种简单实用的映射函数自动生成算法。该算法要求自变量不小于零且从小到大排列,每个数据在映射函数中增加一线性项,其中自变量参与的除法是计算机整数除法,后面的数据减去相应的数后进行下一线性项的计算。该     

最远点和极大化序列的收敛性

设X为其范数是G—可微的局部一致凸Banach空问,K∈X是弱紧集,则■x的每个极大化序列都收敛于z是x中的稠密G_δ集。     

势为—l/r＋ur＋α~2r~2的Schrodinger方程的一些准确解

本文研究了势函数为的方程有准确解问题，解的形式以加权的多项式给出，并给出了相应的势参数的限制条件．     

非线性标量化函数与向量优化问题的适定性

定义一类非线性标量化函数,给出具有可变锥结构的向量优化问题的DH-适定和B-适定的概念。利用这类非线性标量化函数,把具有可变锥结构的向量优化问题转化为数值优化问题,然后研究这类数值优化问题与原可变锥结构的向量优化问题适定性之间的关系。     

两个渐近非扩张映射公共不动点的迭代程序

在一致凸Banach空间中,研究了迭代序列逼近收敛于两个渐近非扩张映射的公共不动点。所得结果推广了已有的一些结果。     

基于可满足性模理论的CMOL电路单元映射

针对纳米CMOS混合电路(CMOL)单元映射时, 传统的精确算法存在编码变量多、文件存储大导致的求解规模受限问题, 提出了一种基于可满足性模理论(SMT)的CMOL电路单元映射方法, 该方法通过整型编码减小文件存储大小, 通过渐进式求解算法兼顾求解规模和速度. 实验结果表明, 与传统的精确算法相比, 本文提出的方法可大幅减少中间处理文件的大小, 并以较小的求解速度为代价提高了处理大规模电路的能力.