Hopf代数的Killing型

在有限维Hop f代数上引入K illing型的定义并探讨其基本性质,指出K illing型的非退化性与Hop f代数的半单性不是等价的.对于有限维半单Hop f代数,得到Hop f代数H的伴随作用分解式H=Z(H)ker adt,并讨论了Z(H)与ker adt在K illing型框架下的关系.最后,给出了一些Hop f代数的K illing型的例子.     

复杂网络中简单路径搜索算法及其应用研究

将复杂网络理论应用于制造业中的产品族零部件关系领域,构建了产品族零部件关系网络.为进一步深入研究零部件关系网络,需要搜索零部件关系网络中的简单路径.提出了一种有向无环网络中任意两节点间所有简单路径的通用搜索算法.编制程序实现了该算法,对算法效率进行了分析.将算法应用于产品族零部件关系网络,对零部件关系网络进行了分析,对算法进行了验证.     

基于简化差别矩阵的属性约简算法

为降低基于修正差别矩阵的属性约简算法的时间复杂度和空间复杂度,首先给出了简化差别矩阵的定义,并证明了该矩阵所包含的信息量与修正差别矩阵的信息量等价.其次设计了一个高效的求U/C的算法,其时间复杂度被降为O∑|C|i=1|ki||U|.然后分析了基于修正差别矩阵的属性约简算法的不足,并使用上述高效求U/C的算法,设计了一个基于简化差别矩阵的属性约简算法,证明了该新算法的时间复杂度和空间复杂度分别被降为maxO(|C|2(|Up′os||U/C|)),O∑|C|i=1|ki||U|和max{O|C|(|Up′os||U/C|)),O(|U|)}.最后用一实例说明了新算法的高效性.     

Loop代数_2的一个新子代数及其有关的一族新的可积系

构造了Loop代数A~2的一个新的子代数,由此设计了一个等谱问题,利用屠格式获得一类新的Liouville可积系,且具有双Hamilton结构.作为其约化,得到了一族非线性广义Schrodinger方程.     

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.     

一族可积系的可积耦合

在由一个线性等谱问题导出的一族可积系的基础上,通过构造一个新的Loop代数,应用郭福奎和张玉峰提出的一种构造某些方程族可积耦合的方法,建立了一族可积系的可积耦合。     

L-模糊弱伪理想及其性质

给出了L-fuzzy弱伪理想的概念及其刻画,并研究它的运算性质.在二次弱理想的基础上,借助于以前研究者所得出的一些成果,将弱伪理想进一步推广到L-模糊集论中,提出了L-fuzzy弱伪理想的概念以及L-fuzzy弱伪理想的4种水平截集式刻画,并进一步研究了它在L-模糊环同态下的不变性与逆不变性,以及它的和与积等运算性质.     

拟遗传自同态代数的构造Ⅱ

介绍了表示维数小于等于3的非常重要的代数—左(右)glued代数,并由这类代数出发,构造了一类新的拟遗传自同态代数.     

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

有限区间值模糊逻辑代数及其广义重言式

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性