粗糙有限状态机的分解

利用代数的方法研究了粗糙有限状态机的可恢复性、连通性与可分离性等代数性质,得到了一个粗糙有限状态机是可恢复的当且仅当它的每一个准素粗糙子有限状态机都是强连通的当且仅当其每一个单生成粗糙子有限状态机都是准素的当且仅当其每一个非空连通粗糙子有限状态机都是准素的,给出了粗糙有限状态机不是连通的的充分必要条件,讨论了粗糙有限状态机的一些分解性质。     

模糊有限状态机的一些性质

讨论模糊有限状态机的一些代数性质,得到模糊有限状态机在同态作用下子系统(强子系统)的前像仍是子系统(强子系统),证明若两个模糊有限状态机之间存在满足一定条件的同态映射时,前一个模糊有限状态机是强连通的(循环的),则后一个模糊有限状态机也是强连通的(循环的),且若这个同态是强满同态,则其中一个模糊有限状态机是完全的当且仅当另一个模糊有限状态机是完全的。对模糊有限状态机的积与原来的模糊有限状态机的完全性、强连通性、循环性、交换性等关系也进行讨论,得到一些结果。     

模糊有限状态机的积的代数性质

文章利用代数的方法讨论了模糊有限状态机的全直积、级联积、圈积、模糊有限状态机的和的代数性质。证明了模糊有限状态机的和与其因子在子系统(强子系统)、交换性、连通性、可恢复性等方面的相似的结构性质;给出了模糊有限状态机的全直积、级联积、圈积与其因子之间的关系;获得了模糊有限状态机的各种积的容许划分与其因子的容许划分之间的关系、以及模糊有限状态机的积的商与模糊有限状态机的商的积之间的联系。     

双极模糊有限状态机的半群

利用双极模糊集的定义,引入了双极模糊有限状态机的两种同余关系,刻画了这两种同余关系的性质,讨论了由这两种同余关系产生的双极模糊有限状态机的半群的一些性质,给出了两种半群之间的关系。     

模糊有限状态机的商与同态北大核心

文章利用模糊有限状态机的容许划分讨论了模糊有限状态机的商与同态问题,得到了在强满同态或强同构意义下模糊有限状态机之间的关系,以及它们的商模糊有限状态机的相互关系,获得了模糊有限状态机的同态分解定理,给出了可识别集的一些性质。     

模糊有限状态机的商与同态

文章利用模糊有限状态机的容许划分讨论了模糊有限状态机的商与同态问题,得到了在强满同态或强同构意义下模糊有限状态机之间的关系,以及它们的商模糊有限状态机的相互关系,获得了模糊有限状态机的同态分解定理,给出了可识别集的一些性质。     

模糊有限状态机笛卡尔合成的一些结果

讨论了模糊有限状态机的笛卡尔合成的一些性质,得到了模糊有限状态机的笛卡尔合成在强同构意义下满足交换律,结合律,讨论了模糊有限状态机的笛卡尔合成与其因子在子系统(强子系统),自由子集,基等方面的相似的结构性质,给出了模糊有限状态机的笛卡尔合成的准素子机分解,证明了模糊有限状态机的笛卡尔合成的容许关系的投影是其因子的容许关系.     

粗糙有限状态机的可恢复性与连通性

利用代数的方法研究了粗糙有限状态机的可恢复性与连通性,通过前驱与后继的关系,给出了粗糙有限状态机的可恢复性、连通性与可分离性的一些刻画,讨论了粗糙有限状态机的一些基本性质.     

循环模糊有限状态机的半群和同态

定义了循环模糊有限状态机M=(Q,X,μ)输入字集X*上的右同余关系,讨论了其等价类做成的半群E(M)的性质,及以该半群的子集为状态集的循环模糊有限状态机(M)与原循环模糊有限状态机M的同态关系,得出了在某些条件下,(M)与M是强同构的.     

幺半环上模糊有限状态机的一些性质

状态机的很多性质在计算机等方面有着广泛的应用,因此对状态机的研究具有重要的意义.本文给出了幺半环上模糊有限状态机的概念,对状态之间的等价进行了定义,引入了同态的概念,得到同态定理和满同态分解定理,讨论了幺半环上模糊有限状态机在同态下的交换性质和连通性以及子状态机的可分离性.     

循环直觉模糊有限状态机的一些性质

定义了循环直觉模糊有限状态机M=(Q,X,A)以及输入字集X*上的同余关系,讨论了其等价类做成的半群E(M)的性质、E(M)与E(M)之间的关系;以及讨论了循环直觉模糊有限状态机M其他的一些性质。     

直觉模糊有限状态机的积

利用代数方法给出直觉模糊有限状态机的直觉笛卡尔积、直觉直积、直觉限制直积、直觉圈积、直觉级联积构造方法,并且讨论了它们的代数性质,同时探讨了直觉模糊有限状态机的直觉限制直积的覆盖,级联积的可分离的,以及利用直觉模糊变换半群探索了直觉圈积的结合性.     

One-step模糊图及相关的分解定理

主要研究一种特殊的模糊图(即one-step模糊图)的性质。提出了one-step模糊图、Hamiltonian模糊图、r-正则模糊图、二部模糊图、连通模糊图等概念,给出了强one-step Hamiltonian模糊图、强one-step r-正则模糊图、强one-step二部模糊图、强one-step连通模糊图的构造、强one-step模糊图在笛卡尔积、合成、补运算下的的简易表达式、one-step模糊图的分解定理以及强one-step模糊图在笛卡尔积运算下保持不变的一些性质,证明了任意模糊图可以分解为one-step模糊图。     

扰动模糊并有限状态机

引进了扰动模糊有限状态机的并概念,讨论了建立在自动机上的扰动模糊集之间的运算关系,得到了扰动模糊集下并有限状态机识别语言集合之间的一些等式。     

Morse函数与非紧流形之加边

设M为连通的非紧的光滑的n维流形带有紧边缘bM.本文定义了M的强Morse函数和强Morse数.M称为有限型的,若M的强Morse数为有限。本文的主要结果是:M可加边的充要条件为M是有限型的.     

Morse函数与非紧流形之加边

设M为连通的非紧的光滑的n维流形带有紧边缘bM.本文定义了M的强Morse函数和强Morse数.M称为有限型的,若M的强Morse数为有限。本文的主要结果是:M可加边的充要条件为M是有限型的.     

格值模糊有限自动机的同态

引入了格值模糊有限自动机的(强)同态的概念,研究了它们的相关性质,得出了同态基本定理。给出了A上容许关系及强同态的核的概念,研究了它们相关性质。     

布尔矩阵的振荡条件与振荡指数

首先将常用类型的模糊矩阵都纳入到了二阶占优模糊矩阵的统一框架之内,然后利用模糊矩阵的有向伴随图,指出了强连通布尔矩阵振荡的一个充要条件,依次证明了强连通的二阶占优布尔矩阵的振荡指数为2n-2,非强连通的二阶占优布尔矩阵的振荡指数为3n-4.     

循环模糊有限自动机的同态性质

讨论了模糊有限自动机(即模糊Mealy机)的同态性质和循环模糊有限自动机的同态性质,证明了每个模糊有限自动机都是有限个循环模糊有限自动机的直和的同态象。     

环上的模糊理想幂格及其强截集诱导的格

给出了环上模糊理想幂格的概念,得到相关性质。进而由环上模糊理想强截集诱导出格,讨论了它不是分配格,但为模格。同时,将环上升为主理想环,得到了模糊理想乘积的强截集等于强截集的乘积,且都为环的理想。最后,讨论了Boolean环的模糊子集为模糊理想与其伴随构成交半格的关系。