有1分配格的另一等价定义

本文首先介绍了格、分配格和有1分配格的定义、定理,然后提出了两个新的有1分配格的三条件等价定义,这两个等价定义比原来四条件等价定义的等式个数更少、长度更短,最后根据有1分配格所满足的五条运算律做了与原始定义的等价性证明。     

有1模格的几个等价定义

对具有单位元的模格,给出三种等价定义,并根据模格所满足的幂等律、交换律、结合律、吸收律和模律,证明了有1模格各种定义之间的等价性.     

交换子空间格代数的模中秩1算子的性质

定义了子空间格代数的(弱闭双边)模,对交换子空间格代数的模中的有限秩算子进行了讨论,得到模中含有有限秩算子与含有秩1算子是等价的及模交换子的性质.     

关于半格的几个结果

一个半格可以定义为一个泛代数，也可以定义为一个偏序集．本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的．为了刻划半格的两种不同定义间的关系，我们建立了两个等式．此外，我们建立了一个充分必要条件．这一充分必要条件反映了两个半格之间的同构与这两个半格的理想格之间的关系．     

李代数的交叉模

介绍了李代数交叉模的一个等价定义,用等价定义讨论了交叉模等价类之间的运算.对给定的李代数L,P及P.模M,考虑所有以M为核、以P为余核的交叉模的等价类集合,在等价类集中定义加法运算和数乘运算.证明了李代数的交叉模等价类集合是一个线性空闸,且与其三阶上同调群空间同构.最后计算了Virasoro代数的三阶上同调群.     

矩阵的秩和非零特征值个数关系的进一步讨论

本文给出了矩阵的秩和非零特征值个数的差的等式与不等式,并讨论这个不等式的上下界等式成立的多角度的等价描述.     

基于分流率的路径交通量求解算法

为求解交通分配问题，提出一种基于分流率的路径交通量求解方法．该方法通过求解一个基于分流率的交通分配模型确定了满足用户平衡准则的路径交通量．文中首先给出分流率的定义，并根据该定义建立一个以分流率为求解变量的交通分配模型，然后证明该模型等价于传统的以路径交通量为变量的交通分配模型．新建模型是一带等式约束和不等式约束的非线性规划，它的变量个数是网络中终点个数和路段个数之积的线性函数，且比以路径交通量为变量的交通分配模型要少很多．文中通过引入网络中节点和有向路段的平均成本的定义简单有效地解决了新建模型消除等式约束后梯度难以求解的问题，并以此给出新建模型的求解算法．该算法以近似Newton方向到约束空间上的投影作为下降方向，用不精确搜索技术确定搜索步长．文中从理论上证明了算法的可行性和收敛性，并通过算例阐述了算法的有效性．计算结果表明：该方法可在理想的时间内求解大规模网络的交通分配问题；在计算时间、计算精度和所需存储内存上比其他能够确定出路径交通量的求解算法都要优越；在相同的计算精度下计算时间仅仅是其他算法的三分之一，甚至更小．     

上连续完备模格的半单性

对于上连续完备模格L,证明了L是局部原子格等价于1是原子的并,也等价于1是独立原子的并,并进一步给出了1可分解为有限个原子并的若干等价条件.     

闭格与拓扑交结构

定义了一种新形式的格——闭格以及一种新的交结构——拓扑交结构,并证明闭格与有上界的拓扑交结构是一一对应的,闭半格与拓扑交结构也是一一对应的.从范畴的观点来看,闭格构成的范畴TL与有上界的拓扑交结构所构成的范畴TTS是范畴等价的;闭半格所构成的范畴TSL与拓扑交结构所构成的范畴TS也是范畴等价的.     

FAR-模形成的格

研究了全体FAR-模形成的格FAR(M)及其子格的结构,证得FAR(M)及其子格为模格.利用同态理论研究同态模间形成的FAR-模格的相互关系,得到一些重要的同态与同构定理.最后指出FAR(M)不是分配格.     

冲激函数δ(t)的一种新定义及其应用

在分析单位冲激函数δ（ｔ），单位跃函数Ｕ（ｔ）的一般定义与本质的基础上，指出了一般定义的局限性，并导出了单位冲激函数δ（ｔ）的一种新定义，进一步论述了与此相关的单位阶跃函Ｕ（ｔ）的一种定义的重要意义．从而为两个函数的进一步研究与应用奠定了基础．     

Heyting代数中同余关系的简化

给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。     

Fuzzy模格的定义及其性质

代数结构的Fuzzy化其基本目的是对Fuzzy集尽可能地利用经典代数的丰富工具处理有关问题;代数结构的Fuzzy化的关键是选择好对Fuzzy代数结构的定义.对Fuzzy格作了重新定义,进而对现有文献中尚未研究的模格的Fuzzy化做了一些有益的探索:给出了Fuzzy点形式的Fuzzy模格的定义,并得到一些基本的与经典代数类似的Fuzzy模格的性质.     

模格中的一个计数公式及其在代数中的应用

证明了模格中的维数计算公式,同时给出了分配格中的维数计算公式.由此证明了代数学其他领域中的几个重要的计数公式:组合学中的容斥原理;数论中多个整数的最大公因数与最小公倍数的计算公式;线性代数中线性子空间的和与交的维数计算公式;群论中有限正规子群的积与交的计算公式.从而将这些计数问题统一起来.     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。     

基于结构元的模糊值函数解析表示与微积分

在已提出模糊结构元概念及模糊数与模糊值函数的结构元表示的基础上,进一步给出了模糊结构元生成的模糊值函数的一般表达形式,并得到了一般表达形式下的模糊值函数的连续性和微分、积分(黎曼意义下)的定义,它们与传统模糊分析中相应定义是等价的。     

粗糙集的代数性质

讨论了近似空间中粗糙集的代数性质,给出了粗糙并,交,补的定义,并定义了粗糙集的伪补元,基于此,从多方面探讨了粗糙集的代数性质,如,它是一个分配格,软代数,甚至是Stone代数。     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

离散曲面上的单位法向量与平均曲率的计算

针对任意的离散曲面,利用重心、夹角等给出了一种新的定义离散单位法向量的方法。并由此定义了任意顶点处的离散平均曲率。首先,针对离散曲面上的单位法向量和平均曲率,进行了综合比较,并给出了比较结果。其次,实验验证表明了该方法的有效性和优越性。