有穷自动机相关论文
针对车间MDC系统和MES系统在获取制品信息时存在的数据缺失以及不准确、不及时的问题,提出了一种基于物联网的数控机床零件识别系......
当今时代已进入互联网络的时代,网络的飞速发展给社会带来了巨大的变革,电子商务以及电子政务的蓬勃发展应用就是一个典型的例子.......
随着计算机和网络技术的快速发展，网络安全问题日益突出。由于防火墙只是一种被动防御性的网络安全工具，不能满足如今复杂多变的网络......
近些年来互联网发生了巨大变化,各种新型网络应用不断涌现。识别网络中具体运行着那些网络应用是网络管理,网络维护,网络安全的前......
随着人工智能在近几年的快速发展,人机交互成为计算机领域一个热门的研究方向。人机交互一方面要解决准确识别与快速回应的问题,另......
Android操作系统在当今的市场上有着很高的占有率,用户对于Android手机的使用量已经越来越大。但是,Android手机上的恶意App的数量......
网页裁剪工具是企业信息门户(EnterpriseInformationPortal，简称EIP)中常用的信息资源获取工具，应用于企业信息门户(EIP)建设中，具有......
DNA计算属于生物化学,数学以及计算机等学科的一个交叉领域,其研究的内容涉及到数学,医学,计算机等各个领域。自从Adleman教授开创......
提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平......
本文通过讨论多媒体演示程序的分类和特点,重点阐述了命令分析器在计算机技术和自动控制技术中的重要性和实用性;引入了完备自动机......
(n,k)CRC码是通信和计算机常用编码.通过讨论并导出(n,k)CRC码布尔矩阵的一些代数性质,其中一些性质的推导要直接使用(n,k)CRC码的......
介绍了Thompson算法的基本思想,提出一种利用算符优先关系表来实现Thompson算法的方法,以实现正规式到有穷自动机的转换.描述了算......
期刊
从实用角度简要介绍正则表达式这一应用于文本解析的重要工具,它是文本处理中最为常用的利器.相信掌握这一技术必定会为我们的工作......
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究.在此基础上描述的压......
中文语音检索系统用于快速准确地在中文语音文档中定位用户查询.典型实现方案对语音文档进行识别后建立索引,对查询串进行分词并以......
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通......
讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机(包括确定型的有穷自动机与不确定型的有穷自动机)......
尽管邻接矩阵是有穷自动机的一种常用存储方法,但是,邻接矩阵并不适合存储所有类型的有穷自动机.原因是两个状态间可能有两条以上......
提出一种高效海量字符串集合的模式匹配算法。给出了字符串集合模式匹配的定义，模式的预处理，字符串集合的存储结构和匹配算法，并分析......
软件加密技术是实现软件产品版权保护的有效手段之一。加密软件加密强度的高低主要取决于算法安全、安全源安全和接口安全等三个方......
利用有穷自动机理论对＂企业车辆管理＂的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务......
有穷自动机是一种关于系统状态变迁与时间关系的数学模型，20世纪40年代和50年代分别由McCulloch、Pitts和Moore等建立了自动机模型，......
利用有穷自动机理论研究了高速公路收费站的收费系统.首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图......
该文引入了单体二阶Lukasiewicz逻辑，进而给出了模糊有穷自动机识别语言的逻辑描述，证明了多值逻辑意义下的Buchi与Elgot基本定理．通......
摘要:主要介绍了有穷自动机的基础知识,研究了有穷自动机的等价性,并在确定型有穷自动机的状态集上引入等价关系,给出了自动机的最......
软件加密技术是软件版权保护的有效手段之一，但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的，缺乏系统的观念......
提出了一种基于有穷自动机的解决哈密顿路径问题的DNA算法，将有穷自动机的状态用含有DNA限制性内切酶的识别位点的DNA双链分子来编......
针对模糊识别器与有穷自动机的关系，证明了当输入字母表相同时，任给一个模糊识别器，必然存在一个有穷自动机，使得模糊识别器的行为与有......
利用多态自动机和有穷自动机的关系,根据多态自动机的学习算法,给出了EXACT学习模型下,确定的有穷自动机的学习算法,并对算法复杂......
入侵容忍技术是继防火墙、存取控制、入侵检测技术之后的网络信息安全技术。当一个网络系统遭受非法入侵后，入侵容忍系统仍能厦时自......
有穷自动机可用于描述语言的词法模型,有穷自动机形式的词法模型与特定的控制程序相配合可构成语言的词法分析器。介绍了利用有穷......
为寻求更有效的字符串搜索方法，利用有穷自动机的定义，分析KMP算法以及自动机状态转换规律，提出了一种新的字符串模式匹配算法．结果表......
在比较各种传统分词方法优缺点的基础上，本文提出了一种新的分词算法。它采用改进的双向Markov链统计方法对词库进行更新，再利用基于......
针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有......
本文借助图论的理论 ,通过识别回路和不包含回路的由起始状态到终止状态的路径的方法 ,提出一种构造给定有穷自动机对应的正则表达......
目前采用维修文档记录与管理每次设备维修活动,对于设备维修过程没有建立模型,导致设备维修信息缺乏系统性。为此在逻辑层次建立设......
文中将形式化方法,即有穷自动机理论分析方法应用到电子商务支付协议的研究中,证明了ISI协议不满足支付过程的公平性,在此基础上提......
分析了基于硬件正则表达式匹配的优势,介绍了基于现场可编程门阵列(FPGA)的正则表达式匹配算法的基本思想和设计方法,从匹配速度和......
通过给定的单模式构造出相应的模式匹配自动机，集成单模式匹配自动机而得到多模式非确定型有穷自动机（NFA）。将非确定型自动机转化为......
面向动态供应链，引入智能代理技术，充分发挥智能多代理系统的自主性，重点就商业谈判体系以及其功能的设计与实现进行了较为深入的研究......
软件测试是当前软件生成重要的研究课题。从源程序流程图开始,提出了基于自动机的路径覆盖算法,该算法将源程序通过转换规则构造成......
有穷自动机的等价转化，主要包括不确定有穷自动机（NFA）的确定化，确定有穷自动机（DFA）的最小化。着重探讨了这两个算法中的一种常用的重要......
文章给出了CRC码中所含1的个数与生成多项式的关系的一个性质.在此基础上,利用CRC码对应的有穷自动机变换,使CRC码的生成可由有穷......
本文主要对词法分析器直接编程构造方法进行了分析与研究,分别通过正则表达式、状态图与有穷自动机对词法分析器进行了描述。然后......
教学需要＂教＂与＂学＂双方的密切配合。树立＂学生为主体、教师为主导＂的良好教学关系,是成功教学的关键。本文根据＂编译原理＂课程的特点,提出......
在IETM领域中,装备名简称在数据模块文档中被广泛的使用,这在方便用户的同时也给IETM检索器中关键词匹配带来了难题。针对这种情况......
审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提......
