导读:本文包含了偏有限自动机论文开题报告文献综述及选题提纲参考文献，主要关键词:有限自动机,程序分析,信息识别,软件维护
偏有限自动机论文文献综述
王超[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]（2016）在《加权有限自动机的幺半群》一文中研究指出讨论了加权有限自动机的变换幺半群,并通过加权有限自动机的同余关系,提出了语法幺半群的概念,给出了语法幺半群有限的条件,并建立了变换幺半群与语法幺半群之间的关系。最后讨论了加权有限自动机的转移幺半群。(本文来源于《陕西师范大学学报(自然科学版)》期刊2016年05期）
汪国武[9]（2016）在《带空移动的加权有限自动机量化等价及其转换》一文中研究指出在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空移动的加权有限自动机与不带空移动的加权有限自动机是否具有等价性这一问题,提出量化等价的概念,并研究如何将一个带空移动的加权有限自动机转换为一个与之量化等价的不带空移动的加权有限自动机。研究结果表明:这两者是量化等价的。(本文来源于《计算机应用与软件》期刊2016年08期）
陈莉萍[10]（2016）在《Web服务组合中事务驱动的服务选择有限自动机》一文中研究指出对于Web服务组合来说,组件服务的可靠性和一致性是非常重要的要求,然而传统面向Qo S的组合方法中并没有考虑到组件服务的事务约束。文章提出了一种利用Web服务事务属性进行服务选择的方法。在该方法中定义了Web服务的事务属性和反映用户事务需求的冒险度,建立了事务驱动的服务选择有限自动机,并用实验证明该选择机制是有效的。(本文来源于《渭南师范学院学报》期刊2016年12期）
偏有限自动机论文开题报告
（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].陕西师范大学学报(自然科学版).2016
[9].汪国武.带空移动的加权有限自动机量化等价及其转换[J].计算机应用与软件.2016
[10].陈莉萍.Web服务组合中事务驱动的服务选择有限自动机[J].渭南师范学院学报.2016