具有相伴单位元的结合超代数的上同调

同调与上同调理论在数学中占有很重要的地位。结合代数的上同调理论是十分丰富的,但是超代数的上同调理论还需要进一步的研究。本文结合超代数上同调群的定义,研究得到了具有相伴单位元1的结合超代数的上同调群的一些较好的性质。     

交换C~*-代数张量积的纯态和谱

讨论了非交换C*-代数的谱与纯态值域,得到了C*-代数张量积中两个元的本质纯态值域的表示.     

(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

R0-代数的R0-语义集上的拓扑

以ΩM记R0-代数M到R0-单位区间的全体赋值之集.证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的,即x≤y当且仅当(V)v∈ΩM,v(x)≤v(y).然后通过一种自然的方式在ΩM上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质.建立R0-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

基于CARIMA模型的PFC与GPC的等价性

建立了新型的模型预测控制方法——预测函数控制(PFC)与传统的广义预测控制(GPC)的联系.首先推导了基于含有色噪声的自回归增量滑动平均(CARIMA)模型的预测函数控制的控制律,然后通过选取不同的基函数获取PFC控制律的形式并与GPC控制律进行比较.从而证明了在一定的基函数的选取方式下,基于CARIMA模型的PFC算法和GPC算法是等价的.揭示了PFC与GPC两者之间深刻的内在联系,为PFC的工程应用提供了理论保证.     

关于C*-代数中的可逆元和酉元的凸组合

讨论了Hilbert空间上的C^*-代数A中的可逆群和酉群的一些关系，证明了C^*-代数A中的元素A是可逆的充要条件是存在两个非负实数λ1和λ2，且λ1≠λ2以及酉群中的两个元素U1和U2使得A=λ1U1 λ2U2，给出了λ代数A中范数不大于1的可逆元的全体闭包和酉群的一些关系。     

关于量子力学中效应代数上的收敛理论及不变量

本文介绍了量子力学中效应代数的研究进展。指出利用无穷矩阵理论研究其上的收敛理论和不变量，对建立量子力学的数学基础有重要意义。     

BCK-代数的L-fuzzy理想的新刻画

给出BCK-代数的L-fuzzy子代数和L-fuzzy理想等概念的新的等价刻画。     

L-凸空间中的Ky Fan极大极小不等式及其应用

在较弱的条件下证明了L-凸空间中的Ky Fan极大极小不等式，并给出其等价形式．作为应用，得出了L-凸空间中的鞍点定理。     

概念的EI代数表示与布尔矩阵表示的研究

AFS方法是一种新的模糊数学分析方法，它包括AFS代数——一种非布尔代数的分子格，AFS结构——一种特殊的“system”(“system”是组合数学中的一个主要的数学对象)和认知域．在AFS代数和AFS结构的基础上，用AFS方法给出了EI代数和布尔矩阵环之间的一个同态关系，并证明了与每个布尔矩阵对应的所有概念的集合在EI代数上形成一个子代数．并且找到了子代数的一些性质和研究子代数的新方法．应用这些新方法和子代数的性质可以深入研究概念的数学本质．