导读:本文包含了模糊自动机论文开题报告文献综述及选题提纲参考文献，主要关键词:模糊自动机,模糊文法,神经网络,沉积环境
模糊自动机论文文献综述
朱远鑫[1]（2015）在《基于模糊自动机的沉积环境判别方法研究》一文中研究指出搬运介质、搬运方式、沉积环境和气候等因素控制着沉积物粒度参数的变化,因此,沉积物粒度分析对揭示气候变化和环境的演变具有重要意义。粒度参数中平均粒径、标准偏差、偏差和峰值是沉积物粒度的四个重要参数。不同粒度组分的形成与搬运均与沉积环境密切相关,处理、分析粒度数据有利于进一步确定沉积环境,这对于现代沉积学研究,乃至古代沉积物的沉积环境分析无疑都具有重要的理论和现实意义。模糊神经系统是这样一个模糊系统,它在处理数据样本过程中,使用某种学习算法去确定系统中的各项参数如模糊集和模糊规则,而该学习算法则由神经网络原理学习或激发出来的。利用模糊技术与神经网络的结合,我们可以充分发挥两者的优势,有效弥补各自的不足,这使得有关模糊神经系统的研究得到追捧,在包括自动控制、聚类分析和模式识别等领域中已得到成功应用,为人工智能的发展又增添了新的方向。本文是以诺姆·乔姆斯基提出的Chomsky体系文法为基础的,通过引入模糊自动机基本理论,简要概述了当前模糊自动机研究中有关神经网络技术的应用情况,这其中主要是以模糊有限状态自动机、模糊文法和神经网络这叁者的关系为主线的,而通过对相关的神经网络进行训练,我们就可以抽取出所需的自动机,然后利用抽取的自动机进行文法的推导,以及对沉积环境进行判别分析。有关模糊神经系统的研究与应用已经具有一定的规模,但对于本论文来说,主要是研究基于神经网络的模糊正则文法推导算法以及模糊自动机的判别方法相关的问题。在模糊正则文法推导中,训练用于抽取模糊自动机的二阶反馈神经网络的算法主要有实时递归学习算法(RTRL)和实数编码基因遗传算法(RCGA),但是这两种算法存在通病：时间复杂度高,训练速度极慢。另外针对模糊有限态自动机(FSA)样本,两种算法都有不同种类的异常情况出现,也就是说泛化性很弱。最后,RTRL稳定性很弱；RCGA早熟现象经常出现。因而本文给出针对RCGA的改进算法：Levesbeg-Marguard Genetic Algorithm(LMGA),改进了训练速度以及解决了早熟的问题；针对RTRL算法,第七章给出了Levesbeg-Marguard Back Propagation(LMBP)算法,不仅加快了训练速度,增加了吞吐量,而且还能处理特殊情况下的字符串,比如超长串的情况。本文还给出了实验仿真与验证,并归纳了本文的结论。(本文来源于《广东工业大学》期刊2015-05-01）
薛倩倩,李永明[2]（2014）在《格值模糊自动机及对应语言的分级》一文中研究指出为了探讨格值模糊自动机等价的条件,采用对偏序格半群加以限制的方法,将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限歧义以及无限歧义自动机这几种不同的类型,得到这几类自动机接受语言之间的关系为L-DFA■L-Seq■L-NAmb■L-FAmb■L-Reg;当偏序格半群非局部有限时,关系为L-DFAL-SeqL-NAmbL-FAmbL-Reg;当偏序格半群局部有限时,关系为L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.(本文来源于《陕西师范大学学报(自然科学版)》期刊2014年03期）
李琳,李永明[3]（2013）在《可逆模糊自动机》一文中研究指出首先提出了可逆模糊自动机的概念,研究了能被可逆模糊自动机接受的语言(简记为F(Σ))的一些性质。其次给出了自由群上被可逆模糊自动机接受的模糊子集的概念,详细研究了可逆模糊语言与经典可逆语言的关系。最后,通过引入语法幺半群刻画了F(Σ)的代数性质。通过这些性质可以有效的判断一个模糊语言是否能被一个可逆模糊自动机接受。(本文来源于《模糊系统与数学》期刊2013年02期）
金检华[4]（2013）在《模糊自动机及其语言的代数性质与应用研究》一文中研究指出自动机与形式语言理论对于计算机系统及其语言、软件的发展具有重要的影响，它还广泛的用于生命科学，生物化学，心理学，语言学等学科。由于现实的复杂系统往往含有不确定性，研究不确定环境下的计算理论成为20世纪60年代以来的热点课题，对形式语言的刻画与分类一直是其中的一个重要的研究方向。为了缩短形式语言与自然语言之间的差距，模糊自动机的理论与应用研究迅速展开。李永明教授分别于2005年和2011年提出的基于格半群和格值的模糊自动机理论成为目前模糊自动机研究的主要方向。本文在此基础上先从代数角度研究基于序半群的模糊自动机及其代数性质，进一步，对于一般的格结构，从宽度优先和深度优先两种语义角度出发，研究了基于格的模糊正则文法理论。另外，在直觉模糊集及伪半环背景框架下进一步对下推自动机和上下文无关语言进行详细研究，为自然语言建立了适应的计算理论数学模型。本文的主要工作具体有以下几个方面：（1）基于序半群的自动机的代数性质。提出取值于序半群的模糊自动机，证明（强）后继算子和前驱算子，模糊后继和模糊前驱算子在某些条件下为闭包算子。引进弱主子机器，给出格半群上的自动机的一种唯一分解方法。以quantale为真值结构，证明这种模糊自动机的模糊子机器与模糊子系统一致。最后详细探讨了序半群上的自动机的某些算子的性质与真值结构的代数性质的内在联系。特别地，模糊后继和前驱算子的保并性质可分别由序半群的右和左分配律刻画，且当真值结构为格半群时，后继算子的幂等性可由格半群的无零因子性等价刻画。（2）基于格的模糊文法理论。基于宽度优先和深度优先语义方式，建立取值于格的模糊文法理论，这将为模糊自动机的分析提供一种必要的工具。研究取值于格的有穷自动机(简记为l-VFAs)、格值正则文法(l-RGs)及格值确定型正则文法(l-DRGs)之间的关系。结果发现，基于每一种语义方式，l-VFAs与l-RGs在接受相同的模糊语言类的定义下是等价的。进一步，证明格值确定型自动机、l-VFAs、l-RGs及l-DRGs在深度优先语义方式下是相互等价的。对任意l-RG，以宽度优先方式识别的语言与以深度优先方式识别的语言一致当且仅当真值论域l是分配格。（3）直觉模糊上下文无关语言。以直觉模糊集为真值结构，我们提出直觉模糊上下文无关文法(IFCFGs)及具有终状态的直觉模糊下推自动机(IFPDAs)。然后研究直觉模糊可识别语言的代数刻画包括分解形式和表现定理。通过引进一般化的子集构造方法，我们证明IFPDAs与它的简单形式即直觉模糊简单型下推自动机(IFSPDAs)等价，并且证明所有的直觉模糊可识别步骤函数类与所有由IFPDAs接受的语言类是一致的。进一步，得到以终状态方式接受语言的直觉模糊下推自动机和以空栈方式接受语言的直觉模糊下推自动机是等价的。另外，我们基于直觉模糊集提出乔姆斯基范式文法(IFCNF)和Greibach范式文法(IFGNF)。研究结果表明，由IFCFGs生成的直觉模糊上下文无关语言集分别与由IFCNFs生成的语言集和由IFGNFs生成的语言集相等，而且他们都等同于直觉模糊可识别步骤函数集。接下来我们研究了直觉模糊上下文无关语言的代数运算性质。最后，给出判定直觉模糊上下文无关语言的Pump引理及其实例分析。（4）伪半环上的加权下推自动机与上下文无关文法。基于转移语义和宽度优先代数语义，我们研究取值于伪半环的加权下推自动机和加权上下文无关文法(WCFG)。证明伪半环上的加权下推自动机比加权有穷自动机的计算能力更强。在转移语义方式下，以终状态方式接受形式幂级数的加权下推自动机(WPDAs)与以空栈方式接受形式幂级数的加权下推自动机(WPDAs)等价。对任意加权下推自动机，研究以转移语义和宽度优先代数语义识别的形式幂级数相同时的等价刻画。对任意WPDA，识别的形式幂级数的象集是有限的当且仅当伪半环是双局部有限生成的。进一步，证明若伪半环满足乘法局部有限生成的条件，则对任意WPDA，且基于转移语义方式，存在一个分明简单型加权下推自动机与之等价。最后给出证明，基于以上两种语义方式中的任一种，仅以最左推导方式生成形式幂级数的WCFGs和WPDAs在识别相同的形式幂级数的意义下是等价的。(本文来源于《湖南大学》期刊2013-03-28）
王茜,李永明[5]（2012）在《通用模糊自动机》一文中研究指出首先使用模糊语言的分解定义了通用模糊自动机:这个自动机以该模糊语言的分解作为状态,通过模糊语言的包含度定义其转移函数。其次定义了模糊自动机上的态射,证明了接受给定模糊语言的所有自动机都可以标准地映射到该语言对应的通用模糊自动机上,这个性质称为通用性。最后进一步讨论了模糊商自动机,模糊m-最小自动机,模糊最小自动机及与通用模糊自动机之间的关系。(本文来源于《模糊系统与数学》期刊2012年06期）
王茜[6]（2012）在《通用模糊自动机》一文中研究指出自动机理论是研究离散数学系统的结构、作用及其关系的数学理论.随着现代科技的发展,计算机科学对基础理论的要求也随之提高,作为计算机科学中的重要理论,自动机理论已成为许多学科的理论和应用基础.自动机作为计算的数学模型,在计算机科学中的文本处理、编译程序、硬件设计、人工智能等应用领域起着重要的作用.同时自动机也可以作为语言识别器,用来研究各种形式语言.随着Zadah的模糊集理论的提出,自动机识别语言的能力扩展到了模糊集理论的应用范围,并随之产生了模糊自动机.模糊自动机是自动机这个数学模型的一个扩充,其中包含了像“模糊的”“不准确的”这类概念,使得自动机识别的语言更接近自然语言,这在人工智能领域中得到了广泛的应用.通用自动机是一种特殊的自动机,每一个正则语言都有其对应的通用自动机,并且接受该语言的所有自动机都可以通过某种态射的形式映射到它的通用自动机上.这个性质称为通用自动机的通用性,这也是通用自动机名字的由来.通用自动机为研究经典有穷自动机的最小化问题提供了一种新的渠道.受此启发,本文提出了通用模糊自动机的概念,研究了通用模糊自动机的性质,可以利用通用模糊自动机研究模糊自动机的最小化问题.本文的主要工作如下：1.首先对模糊语言进行了研究,根据模糊语言的性质,在经典语言分解的基础上,定义了模糊语言的分解,进一步定义了模糊语言的左右商,并且从代数角度出发,讨论了模糊语言商的性质.2.在通用自动机的基础上,提出通用模糊自动机的概念,利用模糊语言的分解与商的性质,给出了模糊语言对应的通用模糊自动机的形式化模型.定义了模糊自动机间的态射,引入了模糊商自动机、模糊m-最小自动机的概念,比较了模糊商自动机、模糊m-最小自动机、模糊最小自动机以及通用模糊自动机之间的关系.再利用态射讨论了通用模糊自动机的通用性,并根据通用模糊自动机的通用性对其性质作了进一步的研究.最后,对通用模糊自动机进行了刻画.定义了通用模糊自动机的λ-截集,证明了模糊语言对应的通用模糊自动机的λ-截集恰好是这个模糊语言的λ-截集对应的通用经典自动机.这将通用模糊自动机与通用自动机有效地联系了起来.(本文来源于《陕西师范大学》期刊2012-05-01）
李琳[7]（2012）在《两种不同定义下的可逆模糊自动机》一文中研究指出1967年,模糊自动机的概念首次被W. G. Wee和E. S. Santos提出.从那时起,各类模糊自动机的概念被相继提出.它们主要集中在代数结构的真值和模糊转移及输出函数的定义两个方向.模糊有穷自动机可以看做是状态集和输入集为有限集合的模糊关系系统,因此找到一个模糊有穷自动机的最小形式是此类研究的一个关键所在,已有很多学者在此方面做了研究.能被模糊有穷自动机识别的语言的研究早在1970年就被Zadeh, Lee和Thomason等人提出.其中模糊语言的代数性质被Shen, Mordeson和MalikAlgebraic研究.此外,模糊有穷自动机还有很多重要的应用,如学习系统,词计算模型,模糊离散事件系统,模式识别和数据基础理论.T. E. Hall和Ch. Reutenauer第一个提出了可逆自动机的概念J-E Pin对可逆自动机识别的语言做了许多研究,给出了许多很好的性质S. Lombardy给出了一个办法来构造能接受一个可逆语言的最小自动机.已有文献中,相继研究了模糊下推自动机,模糊图灵机等以及它们识别的语言.近年来,邱道文教授提出了完备剩余格值逻辑上的模糊自动机.李永明教授对格值模糊自动机理论问题做了深入与系统的研究,得到了很多很好的结果.然而,目前就可逆条件下的模糊自动机尚未有人展开深入研究.因此,本文提出了可逆模糊自动机的两种不同定义,研究了两种不同定义下识别语言的一些性质.本文给出了在支集和层集下定义的可逆模糊自动机及其识别的语言,讨论了两种不同定义下的双确定型模糊自动机和自由群上的可逆模糊自动机.除此之外还分别给出了可逆模糊语言的代数性质.每章都有一个小结,从中对比可以看出不同定义下的两个可逆模糊自动机的相同点和不同点.(本文来源于《陕西师范大学》期刊2012-05-01）
黄飞丹[8]（2011）在《两类循环模糊自动机的弱等价性》一文中研究指出定义循环模糊自动机和循环模糊有限状态自动机,并讨论了这两类循环模糊自动机的弱等价性。(本文来源于《模糊系统与数学》期刊2011年06期）
曹卫华,张灵,刘军[9]（2011）在《一种模糊自动机的新模型》一文中研究指出通过对秃头悖论的讨论分析,对传统自动机模式是否适用于模糊自动机进行分析论证,指出传统自动机模型的缺陷在于没有模糊性,不能处理模糊的事物,并对模糊自动机的旧模型提出质疑,因为旧模型固定的隶属度无法表达模糊事物的变化过程,最后从量变和质变角度提出一种模糊自动机的新模型。(本文来源于《现代计算机(专业版)》期刊2011年10期）
柏明强,莫智文[10]（2009）在《模糊自动机的强连通性及群自动机》一文中研究指出为了更好地研究模糊自动机的结构和性质,采用代数的方法,在传统的模糊有限状态自动机的基础上,通过定义状态集合为代数群的自动机,讨论了这一类自动机的连通性和正则性,这丰富了模糊自动机理论.(本文来源于《纯粹数学与应用数学》期刊2009年03期）
模糊自动机论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为了探讨格值模糊自动机等价的条件,采用对偏序格半群加以限制的方法,将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限歧义以及无限歧义自动机这几种不同的类型,得到这几类自动机接受语言之间的关系为L-DFA■L-Seq■L-NAmb■L-FAmb■L-Reg;当偏序格半群非局部有限时,关系为L-DFAL-SeqL-NAmbL-FAmbL-Reg;当偏序格半群局部有限时,关系为L-DFA=L-Seq=L-NAmb=L-FAmb=L-Reg.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模糊自动机论文参考文献
[1].朱远鑫.基于模糊自动机的沉积环境判别方法研究[D].广东工业大学.2015
[2].薛倩倩,李永明.格值模糊自动机及对应语言的分级[J].陕西师范大学学报(自然科学版).2014
[3].李琳,李永明.可逆模糊自动机[J].模糊系统与数学.2013
[4].金检华.模糊自动机及其语言的代数性质与应用研究[D].湖南大学.2013
[5].王茜,李永明.通用模糊自动机[J].模糊系统与数学.2012
[6].王茜.通用模糊自动机[D].陕西师范大学.2012
[7].李琳.两种不同定义下的可逆模糊自动机[D].陕西师范大学.2012
[8].黄飞丹.两类循环模糊自动机的弱等价性[J].模糊系统与数学.2011
[9].曹卫华,张灵,刘军.一种模糊自动机的新模型[J].现代计算机(专业版).2011
[10].柏明强,莫智文.模糊自动机的强连通性及群自动机[J].纯粹数学与应用数学.2009