非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

Girard quantale的若干性质

研究了Girard quantale的内部结构，讨论了新算子｜→r（｜→l）的一系列性质．找到了Girard quantale的等价刻画以及一个D—quantale是Girard quantale的充要条件，并探讨了Girard quantale中有效元的一些简单性质。     

Z8上的自自偶码

求出Ｚ８上码的生四及校验矩阵，并由此得到了Ｚ８上的码为自对偶码的必要条件是其码长为偶数；证明了满足一定条件的一对４元码可以构造出Ｚ８上的自对偶码，并给出了构造８元自对偶码的一个方法。     

Z_8上的自对偶码

求出了Ｚ８上码的生成矩阵及校验矩阵，并由此得到了Ｚ８上的码为自对偶码的必要条件是其码长为偶数；证明了满足一定条件的一对４元码可以构造出Ｚ８上的自对偶码，并给出了构造８元自对偶码的一个方法     

关于Morita对偶和自对偶

本文证明了忠实平衡双模_RE_S导出Morita对偶的两个等价条件,由此得到上生成元环的一个新刻划。利用Kraemer的证明方法,本文还证明了有一类上生成元环上的有限正规扩张环具有Morita自对偶,从而推得上生成元环D上的斜半群环R=D*θG具有Morita自对偶,这里G为含单位元的有限半群,θ:G→Aut(D)是半群同态。     

环Z4上自对偶码的一种构造方法

文章利用环Z_4+uZ_4(u~2=0)上的自对偶码构造了环Z_4上的自对偶码,通过引入环Z_4+uZ_4到环Z~n_4的Gray映射,得到环Z_4+uZ_4上自对偶码的一些性质;给出Z_4+uZ_4上自对偶码的欧几里得距离的上界,并且构造了一些参数较好的自对偶码。     

二元等重码的对偶距离分布和对偶重量分布

本文讨论了二元等重码的对偶距离分布和对偶重量分布，首先给出了二元码的对偶重量分布和对偶距离分布的定义，性质和关系，然后对等重码，导出了其对偶重量分布的一个递推关系式，以此得到了对偶距离分布的一个递推不等式，最后，讨论了上述分布的一些应用。     

Hilbert空间上的近似斜对偶g-框架

本文在可分的Hilbert空间H中提出了近似斜对偶g-框架的定义，得到了Hilbert空间上近似斜对偶g-框架的一些性质和若干等价条件，并对近似斜对偶g-框架进行了一些刻画，且得到了近似斜对偶g-框架在构造过程中的一般形式.     

对偶图中的H圈与平图的4着色

阐明了对偶图中的H圈与平图的2棵对偶树的相互依存关系,阐述了平图的4着色与2棵对偶树之间的相互依存关系。平图的顶点4着色以及2棵对偶树的分解决定了对偶图中的H圈,对偶图中的H圈也决定了平图的顶点4着色及2棵对偶树的分解。平图H圈决定了对偶图的2棵对偶树的分解及顶点4着色,对偶图的2棵对偶树的分解及对偶图的顶点4着色决定了平图的H圈的分解。2棵对偶树的2着色等价于平图的顶点4着色,内区与外区的分界线恰好是H圈。提出了多面体平图的H圈的构造步骤和多面体平图的顶点4着色步骤。介绍了12面体平图中30个H圈的构造,对偶图中对偶树的分解、以及对偶树的4着色。解决了任意平图中的H圈的分解方法和计数方法,为解决任意平图中的生成树的构造和计数问题奠定了基础。     

新四元环上线性码的研究

最近,四元素环上的线性码的研究引起了编码与密码学者的极大关注,该文给出了四元素环F2 vF2上线性码及其对偶码的生成矩阵的结构,定义了该环上的Gray映射,由此确定了该环上线性码及其对偶码的Gray象的结构,进一步证明了互为对偶的线性码的Gray象仍是互为对偶的线性码,这对构造一类性能好的码和译码具有重要的指导意义。     

预Girard quantale及其性质的研究

研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系，简化了理想余核的定义，讨论了理想余核的一些性质，给出了右侧幂等quantale上所有理想余核的具体刻画．得到了预Girard quantale是Girard quantale的充要条件．证明了任意Quantale都可以嵌入到预Girard quantale中，并且在预Girard quantale上核映射与理想余核是一一对应关系．     

弱幂等Quantale范畴与相关范畴的关系

首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念, 给出Quantale的最大弱幂等商的等价刻画; 然后证明弱幂等Quantale范畴是Quantale范畴的反射子范畴, 幂等Quantale范畴是弱幂等Quantale范畴的反射子范畴; 最后得到幂等Quantale范畴是Quantale范畴的反射子范畴.     

Quantale上的Localic核与Localic余核映射

 研究了Quantale与单位Quantale Q［e］上的Localic核与Localic余核映射。证明了Quantale Q上的Localic核映射可以惟一地扩张为Q［e］上的Localic核映射,双侧的可换Quantale存在最大的Localic子Quantale。 再将以上结论应用于研究Quantale Q上的最大的Localic余核映射到Q［e］的扩张,给出了Q上的最大的Localic余核映射到Q［e］的扩张的所有形式,并且证明了Q［e］有最大Localic子Quantale当且仅当Q是平凡Quantale。     

L-fuzzy quantale若干性质的研究

首先给出了L-fuzzy quantale的定义,将L-fuzzy frame的一些重要结论推广到L-fuzzy quantale中,并给出了L-fuzzy quantale的一些等价刻画。其次,在Quantale中引入了L-滤子以及L-滤子Quantale的概念,证明了由任意一个L-滤子可以生成一个L-fuzzy quantale,在范畴L-FilQuant与范畴L-FQuant之间可以建立一个诚实函子。最后,引入了L-fuzzy理想、准素理想以及素理想的概念,讨论了它们的一些性质,得到了若干重要结论。     

对合Quantale的表示定理

引入了关系对合Quantale的定义，得到了对合Quantale的表示定理，并且在范畴意义下，讨论了对合Quantale范畴与其满子范畴等价．     

Quantale上的伪同余

为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale与序半群之间的联系.     

关于次正规算子的相似对偶

讨论了次正规算子的相似对偶问题,证明了纯次正规算子相似对偶的对称性,给出了相似的纯次正规算子有相似极小正规延拓的充要条件,还论述了次正规加权位移的情况。     

阶梯算符方法在稀薄费米气体热力学性质研究中的应用

从量子力学算符代数关系出发,引入阶梯算符将系统能量算符表达式简化,导出非对易相空间二维谐振势场中稀薄费米气体的能级公式.给出稀薄费米气体的化学势、内能和热容量依赖于非对易效应参数λ的函数关系.探讨非对易相空间效应对稀薄费米气体热力学性质的影响.     

环Z2+uZ2+u2Z2上的斜循环码

文章研究的是环R=Z2 +uZ2 +u2Z2上一类广义的循环码——斜循环码;首先利用环R构造了一个非交换的多项式环R[x,θ],然后讨论了R上斜循环码与Rn=R[X,θ]/(Xn-1)左理想的关系,给出了斜循环码的生成多项式,以及环R上斜循环码是可逆码的充要条件,并考虑了斜循环码的对偶码.