一般模糊代数系统

对于一些具体的模糊代数系统,如模糊群,模糊环,模糊域,模糊模等等已有不少研究。本文在这些工作的基础上,给出一个一般的模糊代数系统,所有前述模糊代数系统都是它的特例,本文还对一般模糊代数系统的性质做了初步探讨,得到若干结果。

模糊代数系统与模糊范式

模糊代数系统是研究模糊语言及模糊自动机的有力工具,语言的范式已有详细的研究。在模糊代数系统的基础上,给出模糊范式的概念并进行分类,研究proper模糊代数系统与Chomsky模糊范式的关系,给出由proper模糊代数系统构造Chomsky模糊范式的方法,这种方法使得proper模糊代数系统在表达形式上规范化。为了研究proper模糊代数系统的解,构造了operator模糊范式,并得到结论:二者强解的第一分量相等,其余对应分量相差一个右逆算子。模糊范式提供了研究模糊代数系统的不同视角,彰显了模糊范畴下代数系统比经典代数系统具有更好的性质。

模糊代数系统

引入模糊代数系统及其强解的概念,给出其特有性质。定义proper和V-proper模糊代数系统,并给出其解的一般表达形式。建立模糊代数系统与模糊上下文无关文法相互转化法则。最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解。模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的。

R_0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统———R0 代数 ,给出了R0 代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系 ,讨论了R0 代数公理系统的简化问题 ,得到R0 代数的两个特征定理 ,并证明了这两个特征定理中条件的独立性 ,由此得到R0 代数两个独立的公理系统 .研究结果表明 ,R0 代数类和弱R0 代数类都构成代数簇 ,即等式代数类 .因而这两个代数类关于子代数。

一类模糊线性微分代数系统的结构元解法

利用模糊结构元方法,研究了由对称模糊结构元线性生成的模糊线性微分代数系统,给出了模糊线性微分代数系统解存在的充要条件,得到了齐次模糊线性微分代数系统的结构元求解方法。最后,通过算例表明该方法的有效性。

模糊D0L幂级数

将Lindenmayer代数系统推广到模糊半环上,引入模糊L代数系统及模糊L代数幂级数的概念。定义由模糊代数系统生成的模糊D0L幂级数,并研究模糊D0L幂级数的性质。模糊D0L幂级数的重数序列具有很好的性质,且两个模糊D0L幂级数的等价性是可判定的。此外,模糊D0L幂级数的F-代数性、F-上下文无关性及F-有理性也是可判定的。