模糊有限自动机的最小化算法优化

现有的模糊自动机最小化算法没有涉及到对模糊自动机状态的隶属度迁移和变化的讨论,优化的模糊自动机最小化算法弥补了这类算法的不足之处。该算法将模糊有限自动机首先转化为单个初始状态的模糊自动机,然后再将转化后的模糊自动机化简为最小模糊自动机,算法在转化过程中单独讨论了模糊自动机状态隶属度的转化方式,使得算法更加严谨和简化。     

BCI-代数的扰动模糊q-理想*

将扰动模糊集应用于BCI-代数中,引入了BCI-代数的扰动模糊q-理想的概念,研究了它相关性质,讨论了扰动模糊q-理想与扰动模糊理想、扰动模糊子代数之间的关系,给出了扰动模糊q-理想的几个等价刻画和扩展定理,指出了BCI-代数的扰动模糊q-理想的同态象与同态原象在一定条件下仍是扰动模糊q-理想。     

模糊树自动机语言的封闭性

给出了[Σ-]代数、[Σ-]树、模糊[Σ-]树自动机、模糊[Σ-]树自动机行为的定义。引入了模糊树自动机语言的并、交、连接和Kleene闭包运算,证明了在这些运算下模糊树自动机语言的封闭性。     

利用语言运算的封闭性构造自动机

构造接收复杂语言的自动机是困难的,而复杂语言可以通过简单的语言进行语言间的运算而得到,根据右线性语言、上下文无关语言和上下文相关语言对联合,连接和迭代运算是封闭的特点,提出了利用简单自动机构造复杂自动机的方法.该方法实用、简便,同时也可以作为利用自动机证明语言对运算封闭性的理论基础.     

犹豫模糊图及其在多属性决策中的应用*

犹豫模糊集作为定量描述犹豫不决的有效工具,通过同时处理不确定性信息中的犹豫性与模糊性,解决犹豫不决背景下的多属性决策问题.文中针对属性值为犹豫模糊数的多属性决策问题,研究基于模糊图论的相关模型与多属性决策方法.首先,提出犹豫模糊图的概念和部分常见运算规则.然后,构建基于犹豫模糊图的一般性多属性决策方法.最后,通过具体算例和对比性分析验证文中方法的合理性.     

有限自动机可识别语言的基数

利用有向图的邻接矩阵研究有限自动机的可识别语言的基数问题。通过建立有限自动机的可识别语言与其有向图中从初始结点（有限自动机的初始状态）到终止结点（有限自动机的终止状态）的路的一一对应关系,利用邻接矩阵给出了有限自动机的可识别语言的基数公式,研究了两个自动机不等价的充分条件。     

ω幂上下文无关语言及其封闭性质*

本文定义了ω幂上下文无关语言ω—P— cfl和一类ω下推自动机ω—pda，给出了它们 的关系.借助于ω时序转换器ω—ST，讨论了ω—p—cfl类的某些封闭性质，证明了对于ω—p—cfl类L，m(L)={s’(A)|A∈s'是一个ω—ST)=(h₂(h₁^-1(A)∩R)|A∈L,R是一个ω正规语言，h_{1相似文献}   

基于有限自动机的二值图像的开运算

以图像与图像平移的并集作为状态集,以探针与探针拷贝的并集作为输入字母表,用向量加减法构造状态转换映射和输出映射,给出了实现数学形态学基本运算开运算的有限自动机。与通用计算机对图像的串行处理相比,开运算自动机采取了并行结构。开运算自动机将运算的时间复杂度降低到了探针像素个数减1。     

ω—正则语言类的一个子类*

ω—语言是由有穷字母表∑上的一些无穷串组成的集合．被ω一有穷自动机接受的ω一语言称为ω一正则语言．作者曾从集合的角度描述了一类ω一正则语言，而不是传统地从生成或识别的角度来描述这一类正则语言．本文从集合的角度来描述更为广泛的一类ω一正则语言．     

Finite-State Unification Automata and Relational Languages

We define the new notion of a (finite-state) unification automaton, a device for finite-state recognition of relational languages by means of unification transitions. Words in such a language are formed by composing base relations, and have the general form r_i1(x_j1, x_k1)···r_in(x_jn, x_kn) for some n. Generation of such languages by regarding Horn clauses as grammers has been considered before, but to the best of our knowledge, recognizing such languages by suitably designed automata is a new approach. The main result presented is a pumping lemma, forming a necessary condition for finite-state recognizability. Some example results about such automata are given.     

一种模糊自动机的新模型

通过对秃头悖论的讨论分析,对传统自动机模式是否适用于模糊自动机进行分析论证,指出传统自动机模型的缺陷在于没有模糊性,不能处理模糊的事物,并对模糊自动机的旧模型提出质疑,因为旧模型固定的隶属度无法表达模糊事物的变化过程,最后从量变和质变角度提出一种模糊自动机的新模型。     

一种模糊自动机的新模型

通过对秃头悖论的讨论分析,对传统自动机模式是否适用于模糊自动机进行分析论证,指出传统自动机模型的缺陷在于没有模糊性,不能处理模糊的事物,并对模糊自动机的旧模型提出质疑,因为旧模型固定的隶属度无法表达模糊事物的变化过程,最后从量变和质变角度提出一种模糊自动机的新模型。     

基于完备剩余格值逻辑的自动机和文法理论

初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架。引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言。获得l值自动机及被l值自动机识别的语言的连接问题刻画。特别地,建立l值和L值泵引理,并得到l值语言的判定性刻画。最后,揭示带ε移动的l值自动机与不带ε移动的l值自动机之间的两个等价关系。     

Rough Sets Model Based on Random Fuzzy Sets and Fuzzy Logic Operators

As knowledge block in knowledge base is fuzzy and obtained randomly, we propose a random fuzzy rough set model based on random fuzzy sets and fuzzy logic operators. We give some properties of the random fuzzy rough set. We investigate the relationship between fuzzy measures defined by lower approximation and upper approximation of fuzzy set and fuzzy probability measures.     

Language equations for timed alternating finite automata

Traditionally, finite state automata are untimed or asynchronous models of computation in which only the ordering of events, not the time at which events occur, would affect the result of a computation. For real-time systems, it is important to augment these models of computation with a notion of time. For this purpose timed automata have become a powerful canonical model for describing timed behaviors and an effective tool for modeling real-time computations. In this paper, we extend the notion of timed alternating finite automata (TAFA), a class of alternating finite automata (AFA) extended with a finite set of real-valued clocks, and we present an algebraic interpretation of TAFA which parallels that of timed regular expressions and language equations. We further extend the equational representation of AFA to describe timed alternating finite automata, and explore solutions for such equations over time languages.     

一种CSCW环境下群组自动机树同步模型

给出一种在协同环境下的基于群组自动机的动态树同步模型,模型对操作同步和状态同步都给出了能够具体到实际过程每一步的描述。在考察状态同步时,把它限制在引起更新冲突的系统最小局部进行,效率得到了保证;由于模型在描述系统时采用递归性质的算法,极适合于描述动态系统。     

Fuzzy插值及其Fuzzy泛函网络构造理论

首先分别介绍了泛函网络概念和Fuzzy插值概念及性质;将泛函网络结构特性和Fuzzy插值映射有机地结合起来,提出了一类新型FuzzY泛函网络模型,给出其Fuzzy泛函网络构造方法;采用构造性方法从理论上证明了FuzZy泛函网络能够以任意精度逼近任意定义在有界闭集上的连续函数。这从理论上为Fuzzy泛函网络的使用提供了依据,具有明显的实际应用价值。     

自动机与模型检查

首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言的包含问题技巧来解决模型检查问题,这里强调的是Vardi与Wolper提出的方法。     

离散II-型模糊集的不确定性度量

随着II-型模糊集理论的不断发展和应用领域的扩大,需要探讨II-型模糊集不确定性的性质与度量方法,在研究II-型模糊集不确定性特征及模糊熵的基础上,通过扩展模糊熵的定义,给出了离散II-型模糊集熵的定义,证明其满足模糊熵的4条公理性条件,该定义将对II-型模糊集在不确定环境中的应用提供新的思路和方法。