复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

模余代数和Morita-Takeuchi关系

H是Hopf代数,C是H-模余代数。首先利用余积分的概念,诱导C的右H-余模结构,并构造了Smash余积余代数C×H,使C×H作为余代数同构于C H。然后,由C的右H-余模结构诱导C的左H0-模结构,令 C=C/KerεH0C,则C×H与 C有Morita-Takeuchi关系。     

求解非对称线性方程组的QMRGCGS方法

1 引言 求解非对称线性方程组Ax=b的双共轭梯度方法(BCG)[3]和它的变形共轭梯度平方方法(CGS)[6]都有典型的不规则收敛行为,后来Freund和Nachtigal提出一种BCG类方法,即拟极小剩余方法(QMR)[7],用来补救BCG方法的收敛性并且产生了光滑的收敛曲线。然而,象BCG方法一样,QMR方法要用到系数矩阵A及其转置A~T与向量的乘积,为了解决这一问题,Freund提出TFQMR方法,此方法具有拟极小剩余性,同时不需用到A~T与向量的乘积。     

模糊半群上的模糊同余及其扩张

给出模糊半群上的模糊同余的概念，并进一步研究它的一些基本代数性质。同时研究带有模糊半群上的模糊同余扩张性质(FCEPF)的半群类，得到一个半群有模糊半群上的模糊同余扩张性质、有模糊同余扩张性质(FCEP)、有同余扩张性质(CEP)三个条件是等价的。     

Kac-系统与Morita等价

本文讨论与Hilbert C~*-模相关的Kac-系统在C~*-代数上的作用的性质,给出了两个Morita等价的C~*-代数(在Kac-系统的作用下得到的C~*-代数的余交叉积是Morita等价的)。从而,Baaj和Skandalis等人的结论是本文定理的特殊情况。     

Mean Value on the Difference Between a Quadratic Residue and Its Inverse Modulo p

The main purpose of this paper is to use the generalized Bernoulli numbers, Gauss sums and the mean value theorems of Dirichlet L-functions between a quadratic residue and its inverse modulo p value formula. to study the asymptotic property of the difference （a prime）, and to give an interesting hybrid mean     

环Z／（m）上两种序列综合算法之间的关系

有限域Fq上单条序列的综合算法有著名的Berlkamp-Massey算法(简记B-M算法)，Reeds和Sipane(1985)将这一算法推广到整数同余类环Z／(m)上．作者曾利用推广的Gr6bner基理论，蛤出了环Z／(m)上单条及多条序列的新的综合算法，简称G-算法．本文讨论这两种序列综合算法之间的关系，并证明了G-算法和B-M算法对域上序列的综合是等价的；对环Z／(m)上的序列，通过对G-算法适当改进，可以顺序得到由推广的B-M算法求得的特征多项式．     

拓扑空间范畴,拓扑FUZZ范畴与拓扑分子格范略畴间的反射与余反射

从整体角度出发，证明拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚｚｙ是ＴＭＬ的反射与余反射（非满）子范畴。     

Yetter-Drinfel'd范畴中辫化余交换余代数

本文研究与Ｈｏｐｆ代数Ｈ关联之ＹｅｔｅｒＤｒｉｎｆｅｌ’ｄ范畴ＹＨＤ中的辫化余交换余代数Ｃ，证明ＨＹＤ中左Ｃ－余模范畴ＨＹＤ是张量范畴，且ＨＹＤ中辫结构Ψ诱导ＣＨＹＤ中一辫结构当且仅当对ＣＨＤＹ中任意对象Ｎ有ΨＮ，ＣΨＣ，ＮＣΓＮ＝ＣＹＤΓＮ；由此导致新的辫化张量范畴．