标准模型下基于格的代理环签名方案

代理环签名是一种特殊的数字签名,可以广泛地应用于很多生活领域.但是现有的代理环签名方案的安全性大都是在随机预言模型下证明的,在实际应用中不一定安全.提出一个标准模型下基于格的代理环签名方案,同时,基于格上的难题SIS和ISIS,证明了方案能够抵抗存在性伪造攻击.     

划分格中的Mbius函数和秩生成函数

设S={1,2,…,n},P(n)是由S的所有划分组成的集合.对于π,σ∈P(n),如果π中的每个块包含在σ的一个块里,就定义π≤σ,那么P(n)作成一个格.如果M(n,k)是由S的所有k部划分组成的集合,而L(n,k)是由M(n,k)生成的格.在P(n)和L(n,k)中,给出M(o|¨)bius函数,并且确定了特征多项式和秩生成函数的表示式.     

盐酸吡格列酮与BSA反应机理的荧光猝灭法、同步荧光法比较研究

利用荧光猝灭法和同步荧光法进行了盐酸吡格列酮(PGH)与牛血清白蛋白(BSA)之间反应机理的比较研究.结果表明:两种方法在研究PGH-BSA体系的猝灭类型、结合常数、结合位置、作用力类型、协同性及能量转移距离等方面,得到了相同的结果,表明同步荧光光谱法可以用于药物与蛋白反应机理的研究.     

完备格上基于Sup-T合成算子的矩阵的平方根

对于完备格L上给定的|I|×|I|的矩阵R,若存在|I|×|I|的L上的矩阵S满足S⊙S=R,则称S为R的平方根,其中I表示指标集|I|的基数,⊙在本文中指的是sup-T合成算子并且T是无限∨分配的保序的算子。本文给出了完备格上基于sup-T合成算子的矩阵平方根存在的充要条件以及相应的理论上的算法求解所有的平方根。     

有限格蕴涵代数的零化子

研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。     

δ格上同余关系的性质

指出δ格并既约元集中极小元在商的弱射影中的作用,证明了δ格上成立的一些等价条件和δ格是简单格的充分必要条件,说明了弱射影与主既约商的关系以及δ格与布尔代数的关系.     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

基于格半群的有限状态自动机的同态

本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.     

全序幂等元剩余格

研究了全序幂等元剩余格,给出了全序幂等元剩余格的另一种新的构造方法,并且得到了这类剩余格的结构定理,推广了相关文献的结论．