导读:本文包含了不确定的有限自动机论文开题报告文献综述及选题提纲参考文献，主要关键词:流程建模,工作流,确定的有限自动机,状态转换
不确定的有限自动机论文文献综述
李雷[1]（2015）在《基于确定的有限自动机的工作流机制研究》一文中研究指出工作流作为企业流程建模的核心技术,具有方便性、灵活性和可配置性的特点,极大的弥补了传统企业信息系统的不足。工作流引擎作为工作流重要的实现手段,是大量办公自动化系统的核心组件,其流转过程的理论研究具有重要的理论和现实意义。本文提出了用确定的有限自动机来研究工作流运转过程的方法,将工作流运转中的各个步骤映射为各项状态和迁移过程,采用确定的有限自动机的观点来描绘和阐述,从而得到了工作流流转的数学模型——自动机的状态迁移图。在此基础上,可以采用自动机理论来分析和研究中工作流的流转过程,从而改善和优化工作流审批流程。(本文来源于《电子制作》期刊2015年09期）
陆琳琳,田野[2]（2013）在《基于确定有限状态自动机的改进多模式匹配算法研究》一文中研究指出针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。(本文来源于《计算机应用与软件》期刊2013年07期）
杨传健,葛浩,姚光顺,王波[3]（2012）在《基于信息系统的确定有限自动机最小化算法》一文中研究指出目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处理过程,给出一个基于分治思想的DFA最小化算法,在平均情况下该算法的时间复杂度为O(n log n),空间复杂度为O(n)。最后通过实例验证了所提算法的正确性。(本文来源于《计算机应用》期刊2012年07期）
张祎民[4]（2012）在《UML2.0序列图到事件确定有限自动机转换的研究》一文中研究指出复杂系统的建模往往需要进行严格的形式化分析和验证，而UML却是半形式化的，因为其语法结构虽然采用了形式化的规约，但其语义部分则是用自然语言描述的，缺乏精确的语义描述，因此会导致一些问题。为了在软件开发早期阶段对UML2.0序列图模型进行分析和验证，本文给出了基于UML2.0序列图的一种事件确定有限自动机模型的定义以及序列图到该自动机的转换算法。文中首先给出了UML2.0序列图，事件确定有限自动机在语法和语义上的形式化描述，然后提出了一种用事件确定有限自动机来描述每个对象在序列图描述的场景中所参与的事件序列的转换方法，并扩展到带有组合片段的UML2.0序列图，接着将该转换方法付诸算法实现，并给出一个实例进行分析，最后本文设计并实现一个序列图到自动机的转换工具，验证了将UML2.0序列图转换为事件确定有限自动机的可行性。(本文来源于《西安电子科技大学》期刊2012-02-01）
许强[5]（2012）在《基于确定有限状态自动机的正则表达式引擎的设计与实现》一文中研究指出伴随着网络安全审计技术的发展，针对应用层的攻击现象越来越多，因为应用层的协议种类繁多，基于正则表达式的审计技术拥有基于字符串匹配的审计技术所不具有的强大表达能力和灵活的扩展性能，越来越多的网络审计技术已经使用正则表达式来进行描述和支持。传统的正则表达式匹配引擎主要分为基于NFA和基于DFA等两种正则表达式匹配引擎，由于DFA在某些领域例如网络监测中的应用越来越广泛，其在词法分析技术当中研究的焦点地位越来越突出。本论文在针对现有的构造DFA引擎优化技术的研究和分析的基础上，从两个方面来研究DFA引擎的优化技术和实现方案：第一、基于单个DFA引擎的构造和优化；第二、基于分组算法构造DFA引擎的构造和优化。在第一种优化技术和实现方案中，研究了正则表达式中特殊的ASCII字符匹配的情况，在研究使用子集构造法构造DFA引擎的过程中，优化了原有的子集构造过程，使单个DFA引擎的生成效率大大提高了，并在此基础上实现了相关的单一DFA正则表达式匹配引擎；在第二种优化技术和实现方案中，研究了正则表达式或者DFA结构之间的相似关系，在研究使用分组方法构造DFA引擎的过程中，收集了大量的测试数据，提出了正则表达式相似度的概念和公式，并在此基础上实现了基于分组算法的分组DFA正则表达式引擎。针对实现的两种正则表达式引擎，制定了详细的测试计划，从时间消耗和空间占用的角度对两个引擎分别做了有针对性的性能测试，实验结果表明，无论是在时间消耗方面还是在空间占用方面，优化后的DFA引擎都比没有引入优化算法的普通DFA引擎优秀的多。(本文来源于《西安电子科技大学》期刊2012-02-01）
沈洁,印桂生,王向辉[6]（2012）在《P2P网络中基于非确定有限自动机的XML数据流过滤》一文中研究指出将自动机方法对XML数据的过滤延伸到P2P网络中,依据在本地XML系统YFilter中构造非确定有限自动机(NFA)的思想,采用Chord环建立起分布式的NFA对于peer节点中的XML数据的查询过滤系统,并基于递归法执行查询过滤,在不同的peer节点上得到满足查询条件的数据集合。通过实验验证了当查询的数量和网络大小发生变化时分布式NFA的方法的执行性能。结果表明:本文方法可在不同的过滤场景中处理百万数量级的XPath查询,具有良好的网络流量和过滤延迟。(本文来源于《吉林大学学报(工学版)》期刊2012年01期）
闵兰,刘益,陈晓敏[7]（2011）在《确定有限自动机推理的可计算逻辑分析》一文中研究指出针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数。在可计算逻辑中,计算问题是机器和环境博弈的过程。同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢。(本文来源于《重庆邮电大学学报(自然科学版)》期刊2011年06期）
张琛,段振华,田聪[8]（2011）在《基于事件确定有限自动机的UML2.0序列图描述与验证》一文中研究指出为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性.(本文来源于《软件学报》期刊2011年11期）
李科,李玉萍[9]（2011）在《确定有限自动机到正则表达式转换的并行处理》一文中研究指出有限自动机和正则表达式都是描述语言重要方法,二者的转换具有重要意义.针对确定有限自动机模型做了深入的分析,在并行环境,提出了一种确定有限自动机到正则表达式的并行转换算法,并以实例详细描述了算法并行处理过程并验证了其算法的可行性.(本文来源于《枣庄学院学报》期刊2011年02期）
王志佳,顾健[10]（2010）在《一种改进的确定有限自动机入侵检测算法研究》一文中研究指出针对传统的基于自动机的入侵检测算法消耗巨大运算空间的缺点,提出了一种改进的基于确定有限自动机的入侵检测算法。该算法在不增加入侵检测算法的运算时间的前提下,极大地减少了算法所需的运算空间。同时设计了对比实验,验证了该算法的有效性。(本文来源于《全国计算机安全学术交流会论文集·第二十五卷》期刊2010-09-17）
不确定的有限自动机论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
不确定的有限自动机论文参考文献
[1].李雷.基于确定的有限自动机的工作流机制研究[J].电子制作.2015
[2].陆琳琳,田野.基于确定有限状态自动机的改进多模式匹配算法研究[J].计算机应用与软件.2013
[3].杨传健,葛浩,姚光顺,王波.基于信息系统的确定有限自动机最小化算法[J].计算机应用.2012
[4].张祎民.UML2.0序列图到事件确定有限自动机转换的研究[D].西安电子科技大学.2012
[5].许强.基于确定有限状态自动机的正则表达式引擎的设计与实现[D].西安电子科技大学.2012
[6].沈洁,印桂生,王向辉.P2P网络中基于非确定有限自动机的XML数据流过滤[J].吉林大学学报(工学版).2012
[7].闵兰,刘益,陈晓敏.确定有限自动机推理的可计算逻辑分析[J].重庆邮电大学学报(自然科学版).2011
[8].张琛,段振华,田聪.基于事件确定有限自动机的UML2.0序列图描述与验证[J].软件学报.2011
[9].李科,李玉萍.确定有限自动机到正则表达式转换的并行处理[J].枣庄学院学报.2011
[10].王志佳,顾健.一种改进的确定有限自动机入侵检测算法研究[C].全国计算机安全学术交流会论文集·第二十五卷.2010