量子B-代数的可逆元

量子B-代数是一种非可换的逻辑代数,它可以看作是Quantale的一种推广.量子B-代数包含了多种蕴含代数,其中偏序群就是一种特殊的量子B-代数.主要研究了量子B-代数的可逆元,证明了所有可逆元构成一个偏序群.     

Quantale上的Ⅰ型结构及其性质

引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的、∨和∧等运算,分别给出了Quantale上的一个非空子集是Ⅰ型结构和弱子结构的充要条件,证明了在预Girard Quantale上Ⅰ型核映射与Ⅰ型理想余核之间是一一对应关系.     

可传V-Quantale和蕴含V-Quantale

引入了可传V-Quantale和蕴含V-Quantale的概念,并研究了可传V-Quantale和蕴含V-Quantale的性质;在此基础上,给出了一个V-Quantale是可传V-Quantale和蕴含V-Quantale的充要条件.     

预Girard quantale及其性质的研究

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

Heyting代数上的(×)运算与nucleus

引入了Heyting代数上的(×)运算与nucleus,并且讨论了Heyting代数上的(×)运算以及Heyting代数上的nucleus的一系列性质.     

Heyting代数上的运算与nucleus

引入了Heyting代数上的 运算与nucleus,并且讨论了Heyting代数上的 运算以及Heyting代数上的nucleus的一系列性质.     

浅论工业建筑的城市设计化发展趋势

本文从大型工业厂区和新兴高科技园区两个角度对工业建筑的城市设计化发展趋势进行了一个简单的讨论，以希望对工业建筑的设计发展起到指导作用。     

因子von Neumann代数中套子代数上的广义内导子

本文研究了因子von Neumann代数M中套子代数algMβ上的广义内导子.证明了如果δ:algMβ→M是一个线性映射,且对任意A∈algMβ有δ(A)=XAY,其中X,Y∈M.那么δ是一个广义内导子当且仅当存在投影P∈β使得X=λP XP⊥,Y=μP⊥ PY,其中λ,μ∈C.并且证明了δ2=δδ是一个广义内导子的充分必要条件.     

Quantale矩阵可逆性的刻画

研究了Quantale矩阵及其行列式的相关性质,给出了Quantale矩阵的逆的定义,并对Quantale矩阵的逆进行了研究,证明了Quantale矩阵是可逆的当且仅当Quantale矩阵的每行每列是正交的,并且每行每列都是1的分解.     

分配超格

目的 研究超格的内部结构性质。方法 通过引入超格的吸收元、固定元等概念来讨论超格中的分配性。结果 超格的吸收元、固定元直积仍为超格直积的吸收元、固定元；子超格的直积仍为超格直积的子超格。结论 分配超格的同态像、子超格、直积仍是分配超格；超格中的乘法分配律与加法分配律不等价。