有界Heyting代数上基于模糊LI理想的一致拓扑结构研究

为了从拓扑层面进一步揭示有界Heyting代数的内部特征,基于由模糊LI理想诱导的同余关系在有界Heyting代数上构造一致拓扑结构并研究其拓扑性质.证明了:1)一致拓扑空间是第一可数、零维、非连通、局部紧的完全正则空间;2)—致拓扑空间是T_1空间当且仅当是T_2空间;3)有界Heyting代数中格运算和蕴涵运算关于一致拓扑都是连续的,从而构成拓扑有界Heyting代数.同时,获得了一致拓扑空间是离散空间和紧致空间的充分必要条件.     

基于模糊二元运算的直觉模糊群

为了使直觉模糊群也具有经典的结构,首先给出经典集合G的一种直觉模糊二元运算,利用这种直觉模糊二元运算定义了直觉模糊群,讨论这种直觉模糊群的一些性质,并给出直觉模糊群的两种等价定义。由于直觉模糊群具有和群一样经典的结构,因此,使直觉模糊代数的深入研究有了充分的理论基础。     

求解模糊数限定运算的一种新方法

针对模糊数限定运算比较困难的问题,提出了一种比较便捷的运算方法.首先,利用模糊结构元理论给出了模糊数一种新的表现定理.在此定理基础上,得到了模糊数运算的解析表达形式.解决了模糊结构元中,非同序模糊数和非单调模糊数不能运算的问题,统一并拓展了模糊数运算的结构元表述形式.     

伪BCI-代数的导出半群与T-部分（英文）

伪BCI-代数是一类非经典逻辑代数,它是伪BCK-代数的推广,而伪BCK-代数与各种非可换模糊逻辑代数有密切关系。本文从任意伪BCI-代数出发,构造了两种加法运算,进而得到两个导出半群。同时,本文引入强伪BCI-代数、伪BCI-代数的T-部分等概念,给出伪BCI-代数的T-部分成为伪BCI-滤子的一些等价条件。     

模糊数的正向和反向表述及模糊数运算的拓展

模糊数运算的存在不可逆等问题,主要在于传统(正向)区间数严格限定所致.因此,提出了"反向区间数"的概念,利用该概念,能够给经典模糊分解定理、扩张原理新的表达形式.之后,分别以正(反)向区间为基础,分析模糊数的结构元表达形式,得到正(反)向区间对应结构元理论中单调增(减)函数.定义了反向区间数和反向区间数加、乘运算法则,利用结构元理论,证明了正、反向模糊数的加、乘运算解析表达式,得到了模糊方程解的判断定理.在保持传统运算法则不变的同时,对模糊数概念进行正(反)向的表述,并定义了二者的运算法则,这拓展了传统模糊数解的空间,进而解决模糊方程求解、不可逆等问题.通过算例看出,这两种表述在实际的计算过程中具有明显的意义.     

模糊数的相等、同一与等式限定运算

讨论了在模糊数运算中相等与同一的区别,在Klir的模糊数限定运算基础上提出了模糊数的等式限定运算以及等式限定运算的结构元表示方法,解决了传统模糊数运算的不可逆问题.通过模糊数的结构元表示方法,将其等式限定运算转换为两个同序单调函数的运算,这不仅仅给出等式限定运算的可操作形式,同时对于求解模糊数方程也给出了具体的计算方法.     

O型模糊数及其结构元表示方法

为研究平面或空间模糊几何问题的需要,在平面或空间模糊点的背景下,给出了O型模糊数的概念,它是一类二维实数域上的模糊集,同时给出了O型模糊数的二维模糊结构元表示方法.二维模糊数的结构元方法,可以使O型模糊数的运算变成普通实数与模糊结构元之间的运算,使得过去必须依赖扩张原理和表现定理来刻画的模糊数运算变得更加简单与直观,不仅仅为模糊分析计算的简化提供了工具,也为二维实数域上模糊分析理论与应用的研究开创了一条新的途径.     

Kadison-Singer代数研究综述

回顾了建立KS-代数的研究背景,系统介绍了KS-代数的定义和性质以及超有限KS-代数、非超有限KS-代数、KS-格的构造和强KS-代数的研究结果,同时分析了KS-代数和经典的不变子空间、Kadison可迁代数、von Neumann代数生成元等问题之间的联系;讨论了非自伴代数的运算,给出了两种不同构造非自伴代数的运算法则;在此基础上,提出了未来学科发展有待研究的16个问题.     

空间向量

1　知识网络空间向量及其运算、空间直角坐标系和坐标运算　　　　　　　　空间直线、平面位置关系的判定 ,求空间角和距离　　　　　　　　简单多面体和球的相关性质及计算2　本单元重、难点分析本单元知识是在学习了平面向量、空间直线与平面的基础上展开的 ,对空间几何提出了一种代数化的研究思想 .把空间图形的性质代数化 ,用代数运算推理来研究几何 ,因此 ,要把学习的重点放在用向量代数的方法解决几何问题上 ,培养用向量代数运算规律进行推理的能力 .空间向量的加法、减法 ,数乘向量的意义及运算律与平面向量类似 ,必须结合式与图之间…     

L-quadri代数

Quadri代数是由Aguiar和Loday引入的一类著名的Loday代数.在本文中,我们引入具有4个运算的L-quadri代数的概念,它满足广义左对称性,其4个运算的和的换位运算是Lie代数,并且是quadri代数的Lie代数类似结构.任何quadri代数是L-quadri代数,并且L-quadri代数可以放在Lod...     

有界Heyting代数的⊕运算与模糊LI理想

对有界Heyting代数的模糊LI理想问题作进一步深入研究.首先,在有界Heyting代数上定义了⊕运算并讨论其运算性质.其次,借助运算⊕获得了模糊LI理想的若干等价刻画.最后,获得了由一个有界Heyting代数的全体模糊LI理想之集构成的完备Heyting代数中蕴涵算子的表示定理.     

BL代数的等价刻画及更多性质

研究了与H(a)jek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-BL代数是等价的,进而得到了BL代数更多的性质.     

模糊数限定运算、广义限定运算与广义运算

在综合分析模糊数的限定运算和广义限定运算的基础上,通过扩展模糊数结构元的表示方法,将模糊数结构元理论中的变换函数的单调性推广到连续性(至多在x=0处有一个间断点),提出了模糊数的广义运算,试图解决模糊数运算出现的多种问题。     

[-1,1]上同序单调函数的同序变换群与模糊数运算

定义对称区间[-1，1]上的同序单调有界函数的同序变换，利用文[1]提出的模糊数的结构元表示方法，得到模糊数四则运算的结构元表示以及模糊数运算结果的隶属函数的确定方法。在多数的模糊数运算问题中，结构元的单调变换形式是容易得到的，此时，模糊数的运算将变得非常简单。文中还给出了一个运算的实例。     

基于结构元的复模糊数及其序列极限

复模糊数是模糊复分析中的基本概念,在模糊复分析中,它的运算是基于扩张原理的形式给出的,是对元素遍历某个条件所对应的结果进行运算,这种遍历过程给实际操作带来了很多的不便,因此,在一定程度上也阻碍了模糊复分析理论的应用.对此,本文基于模糊结构元的理论基础,探讨了复模糊数运算的另一种新的途径,这种方法简化了复模糊数的运算,也...     

粗糙集代数与MV代数

讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法.粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后,粗糙集代数就成为MV代数.     

模糊数和模糊值函数的等式限定运算

通过模糊数的结构元表示方法,利用两个单调函数的自反单调变换构造了等式限定算子,推广了文[6]中的等式限定运算,处理了存在负模糊情况下关于乘法运算的不可逆问题.同时,本文还将等式限定运算推广到模糊值函数上,提出了模糊值函数等式限定运算的结构元方法,解决了模糊值函数运算的不可逆问题.     

模糊分析计算中的结构元方法

提出模糊结构元的概念，研究模糊结构元的性质，给出模糊数和模糊值函数的结构元表现定理。利用模糊数和模糊值函数的结构元表现形式，使得过去必须依赖扩张原理和表现定理来刻画的模糊数运算、模糊值函数的微积分运算等变得更加简单与直观。     

量子Euclid空间上的实结构和微分运算

本文讨论量子(q形变)Euclid空间上的实结构问题.在c*代数的框架内,通过区分左右微商运算,我们在N维量子Euclid 空间上构造了一种与微分运算相协调的实结构.这种构造方法也适用于量子Minkowski 空间的情况。     

模糊运算和模糊有限元静力控制方程的求解

根据模糊数的区间形式表达和区间运算的性质,给出了模糊数和模糊变量的运算规则.据此并依据区间有限元理论,提出了结构模糊有限元静力控制方程的几种求解方法.方法可根据输入模糊数的隶属函数,给出结构响应量的可能性分布.且计算量小,易于实施.算例分析说明了方法是实用和可行的.