MTL 代数的 Wajsberg 形式及其应用

MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法,根据逻辑系统 MTL 中公理的形式,建立了 NMTL 代数的经典代数表示形式,进而证明了 NMTL 代数与 MTL 代数是同一代数结构,证明了满足条件x,y∈L,x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构,并给出 BR0代数和 BL 代数的 Wajsberg 形式。     

强并半格中的C-滤子及其应用

首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.     

稳定型悬索桥的动力位移响应分析

建立稳定型悬索桥的受力模型,并且计算该桥在不同车辆移动荷载作用下的位移响应.并且对计算结果进行了一定分析.     

余Frame范畴中余积的构造

首先,在并半格中引入了上覆盖关系的概念,并以此为基础引入强并半格以及强并半格中上覆盖和C-滤子的概念,证明了强并半格S中全体C-滤子之族C Fil(S)是余Frame,讨论了简单上集值映射u:S→C Fil(S)的相关并半格同态性质;其次,证明了由一族余Frame{A_λ|λ∈Γ}的直积Π_(λ∈Γ)A_λ中只有有限个坐标非零的元素构成的子集A是强并半格,还证明了A是余Frame族{A_λ|λ∈Γ}在并半格范畴中的余积对象;最后,通过各个坐标集中的上覆盖关系在A中定义了上覆盖C~*,再结合简单上集值映射u:A→C~*Fil(A)和标准入射qλ:Aλ→Π_(λ∈Γ)A_λ(λ∈Γ),证明了强并半格A中由上覆盖C~*诱导的余Frame C~*Fil(A)是余Frame族{A_λ|λ∈Γ}在余Frame范畴中的余积对象.