导读:本文包含了有限自动机论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:自动机,同态,矩阵,语言,乘积,极小,分布式。
有限自动机论文文献综述
王超[1]（2019）在《一种基于有限自动机的程序分析技术研究》一文中研究指出程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析,基于有限自动机理论,提出一种实现软件静态信息识别的程序分析技术,根据程序设计语言的语法规则对程序语句进行了分类,针对每类语句设计了对应的识别自动机,在此基础上设计并实现了一个程序分析原型系统。系统应用结果表明,利用这一技术可以有效的提取出程序的控制流和数据流信息,能够为软件质量的定量分析和软件维护工作奠定良好基础。(本文来源于《计算机时代》期刊2019年12期）
罗智勇,杨旭,孙广路,谢志强,刘嘉辉[2]（2019）在《基于马尔可夫的有限自动机入侵容忍系统模型》一文中研究指出为保证区域网被入侵时,系统仍然能为合法用户提供正常服务,设计了一种有限自动机入侵容忍模型。该模型在马尔可夫的理论基础上,通过建立状态转移概率矩阵来描述系统提供服务的状态变换关系,将转移状态进行量化求解,发现系统中关键结点。通过对关键结点的维护可以增强系统的容忍能力和提高服务的可靠性。实验对比表明,该模型不但具备很强的入侵容忍能力,在保障系统受到入侵时的完整性也具有明显优势。(本文来源于《通信学报》期刊2019年10期）
李晓欧,刘军[3]（2019）在《一种基于Prolog有限自动机的正则表达式算法研究》一文中研究指出正则表达式用于人工阅读比较容易,但是对于计算机阅读与理解则相对很困难。介绍了Prolog人工智能语言的结构与特性、正则表达式与有限自动机的定义,阐述了它们之间的关系与转换方式,并提出了实现了一种基于Prolog的通过有限自动机匹配正则表达式算法。(本文来源于《电脑编程技巧与维护》期刊2019年07期）
吴成来[4]（2019）在《矩阵模型方法在有限自动机极小化的应用》一文中研究指出文章主要讨论了矩阵模型方法在有限自动机极小化方面的应用。希望通过文章的研究,可以为相关人士提供一定的参考和借鉴。(本文来源于《科技创新与应用》期刊2019年08期）
吴宗显[5]（2018）在《关于有限自动机弱译码误差传播有界的一些结果》一文中研究指出本文主要讨论了一类特殊的延迟τ步可逆的可逆有限自动机。这一类有限自动机具有特殊的性质即:它的任意一个延迟τ1步弱逆都对它误差传播有界,且误差传播长度≤τ1。(本文来源于《贵阳学院学报(自然科学版)》期刊2018年03期）
杨京开,蔡永裕,程裕强,黄飞丹[6]（2017）在《概率有限自动机积的覆盖性》一文中研究指出提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.(本文来源于《湖南科技大学学报(自然科学版)》期刊2017年04期）
迟晓晴,王玉涵,王艳慧[7]（2018）在《有限自动机可识别语言的基数》一文中研究指出利用有向图的邻接矩阵研究有限自动机的可识别语言的基数问题。通过建立有限自动机的可识别语言与其有向图中从初始结点(有限自动机的初始状态)到终止结点(有限自动机的终止状态)的路的一一对应关系,利用邻接矩阵给出了有限自动机的可识别语言的基数公式,研究了两个自动机不等价的充分条件。(本文来源于《计算机工程与应用》期刊2018年15期）
范林军,史湘宁,凌云翔[8]（2017）在《时钟有限自动机模型及其演化算法》一文中研究指出传统分布仿真系统时钟不一致影响因素分析方法,已不能满足当前面向服务分布仿真的时钟状态分析需要。从系统全局时钟演化出发,阐述了时钟状态演化内涵与过程;在此基础上,基于有限自动机理论,提出了用于时钟不一致影响因素量化分析的动态演化模型及其算法:时钟有限自动机CFSA和时钟一致性演化算法CCEA。仿真实验表明:相比传统的分析方法,使用CFSA模型及其CCEA演化算法刻画系统时钟一致性状态变迁过程,探寻各种不一致因素的影响机理,量化分析各因素的影响程度等具有可行性、有效性和新颖性,可为面向服务分布仿真中时钟同步算法设计提供指导性建议。(本文来源于《计算机工程与科学》期刊2017年02期）
王拥兵,李永明[9]（2016）在《确定型模糊多重集有限自动机的极小化》一文中研究指出主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。(本文来源于《计算机工程与科学》期刊2016年12期）
王拥兵[10]（2016）在《加权有限自动机及其商变换半群》一文中研究指出加权有限自动机是处理不确定环境下的计算的一种通用数学模型.文章对加权有限自动机及其乘积的结构作了进一步的研究.引入了加权变换半群和商变换半群的概念,并依据半环自身的结构,给出了加权有限自动机诱导的商变换半群有限的条件.讨论了加权有限自动机在各种乘积情形下的状态转移函数的性质,并建立了加权有限自动机的乘积(级联积)与其对应的商变换半群之间的关系,为进一步研究加权有限自动机的结构奠定了基础.(本文来源于《系统科学与数学》期刊2016年10期）
有限自动机论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为保证区域网被入侵时,系统仍然能为合法用户提供正常服务,设计了一种有限自动机入侵容忍模型。该模型在马尔可夫的理论基础上,通过建立状态转移概率矩阵来描述系统提供服务的状态变换关系,将转移状态进行量化求解,发现系统中关键结点。通过对关键结点的维护可以增强系统的容忍能力和提高服务的可靠性。实验对比表明,该模型不但具备很强的入侵容忍能力,在保障系统受到入侵时的完整性也具有明显优势。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
有限自动机论文参考文献
[1].王超.一种基于有限自动机的程序分析技术研究[J].计算机时代.2019
[2].罗智勇,杨旭,孙广路,谢志强,刘嘉辉.基于马尔可夫的有限自动机入侵容忍系统模型[J].通信学报.2019
[3].李晓欧,刘军.一种基于Prolog有限自动机的正则表达式算法研究[J].电脑编程技巧与维护.2019
[4].吴成来.矩阵模型方法在有限自动机极小化的应用[J].科技创新与应用.2019
[5].吴宗显.关于有限自动机弱译码误差传播有界的一些结果[J].贵阳学院学报(自然科学版).2018
[6].杨京开,蔡永裕,程裕强,黄飞丹.概率有限自动机积的覆盖性[J].湖南科技大学学报(自然科学版).2017
[7].迟晓晴,王玉涵,王艳慧.有限自动机可识别语言的基数[J].计算机工程与应用.2018
[8].范林军,史湘宁,凌云翔.时钟有限自动机模型及其演化算法[J].计算机工程与科学.2017
[9].王拥兵,李永明.确定型模糊多重集有限自动机的极小化[J].计算机工程与科学.2016
[10].王拥兵.加权有限自动机及其商变换半群[J].系统科学与数学.2016
论文知识图
