确定有限自动机的逻辑形式定义

通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性．     

双峰映射的一类最小有限自动机

本文研究了具有周期揉序列KS的双峰映射生成的形式语言￡(KS)，得到了接受语言￡(KS)的最小有限自动机，结出了计算￡(KS)的正规语言复杂性的公式．     

确定有限自动机到正则表达式转换的并行处理

有限自动机和正则表达式都是描述语言重要方法,二者的转换具有重要意义.针对确定有限自动机模型做了深入的分析,在并行环境,提出了一种确定有限自动机到正则表达式的并行转换算法,并以实例详细描述了算法并行处理过程并验证了其算法的可行性.     

基于KMP算法的有限自动机的确定化

一般非确定有限自动机转化为确定的有限自动机,其时间复杂度是指数函数级.对于小规模的,以输入串为识别语言的非确定的有限自动机,可采用本文介绍的方法加以确定化,其效率有极大的提高.     

设备自动巡检逻辑的层级有限自动机建模与实现

为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示.给出了HFA向软件实现转化的基本框架.这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证.     

CFSM模型的有限自动机语义

研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。     

有限状态自动机识别过程的一个图论描述及算法

对于一个给定的有限状态自动机A，总试图通过某种途径来得到A所识别的字（w∈A*）的全体即L（A）。借助图论工具给出了有限状态自动机识别过程中一些关键步骤的详细描述，并在此基础上给出了有限状态自动机识别过程的一个算法。     

有限自动机在模式匹配中的应用与研究

有限自动机匹配算法是多模式匹配中的重要算法.反向有限自动机在一定的条件下能压缩自动机的规模,从而提高模式匹配的速度.将反向有限自动机算法与BM算法相结合,利用当前获取信息进一步增大匹配过程中的跳跃距离,可进一步提高模式匹配的速度.     

有限自动机在模式匹配中的应用与研究

有限自动机匹配算法是多模式匹配中的重要算法.反向有限自动机在一定的条件下能压缩自动机的规模,从而提高模式匹配的速度.将反向有限自动机算法与BM算法相结合,利用当前获取信息进一步增大匹配过程中的跳跃距离,可进一步提高模式匹配的速度.     

有穷自动机中的等价性与等价归并算法

通过引入等价性原则,简化了对正则语言判定的步骤,并在有限自动机的状态集上引入等价关系,利用等价归并算法将给定的自动机中的等价状态进行归并,生成与其等价的最小自动机。     

数字图像的加权有限自动机表示

传统的图像压缩技术JPEG方法采用小波变换、离散余弦变换等方法进行,文中所使用的方法是与JPEG技术完全不同的方法[1],在用字母表上的字表示像素地址的基础上把每个像素的地址映射为一实数,则可以得到多分辨率灰度图像的加权有限自动机表示方法,该方法的有效应用将使图像压缩[1~7]的比例得以提高.     

有穷自动机在CRC码生成中的应用及CRC码的布尔函数的性质

文章给出了CRC码中所含1的个数与生成多项式的关系的一个性质.在此基础上,利用CRC码对应的有穷自动机变换,使CRC码的生成可由有穷自动机很容易并自动地生成.同时探讨了CRC码的布尔函数的一些性质.     

基于带标签有限自动机的隐蔽存储通道搜索

分析了隐蔽存储通道存在时的系统运行特征，在此基础上提出一种隐蔽存储通道搜索方法.该方法运用有限自动机模型描述系统运行规则，通过自动化过程发现系统中潜在的隐蔽存储通道.该搜索方法为潜在的隐蔽存储通道描绘出存在场景和信息传递过程，并由此计算出带宽.     

基于函数映射机制的鲁棒性二重数字水印算法

针对二重数字水印嵌入信息量相对较大及其水印之间相互干扰的特点,提出了一种基于函数映射机制的二重数字水印算法.将第一、二重水印建立某种函数映射关系,在嵌入水印时,只需嵌入一份水印样本,并结合小波变换、离散余弦变换和奇异值分解技术,将水印嵌入在寄主图像中.仿真实验结果表明:该算法不仅具有很好的透明性,而且对各种常规数字信号...     

有限区间上函数 k集压缩映象的两个性质及其应用

本文证明了有限区间上函数 k集压缩映象的两个性质 ,且此与通常的 k集压缩映象定义有着本质的区别.在此基础上进一步讨论了 k集压缩映象的不动点问题.     

有穷自动机状态极小化方法及正则语言判定优化

引入了等价性原则,定义等价关系的商集合∑*/～B,通过对商集合的有限性判断,来判定正则语言,大大简化了正则语言判定的步骤,并在有穷自动机的状态集上引入了等价关系,对等价状态进行压缩,构造出与其等价的最小有穷自动机,同时降低了有穷自动机状态的复杂性.     

一种基于元胞自动机的混洗蛙跳优化算法

基于元胞自动机理论提出一种改进混洗蛙跳算法. 该算法将元胞自动机嵌入到混洗蛙跳算法中改进分组策略, 应用云模型和混沌理论改进个体更新方式, 利用演化规则模拟生物进化的动态特征. 对6个基准函数进行测试的实验结果表明, 该算法具有较好的收敛精度和计算速度, 适用于多峰值函数寻优.     

模糊极小自动机与约简模糊自动机

引进了模糊极小自动机与约简模糊自动机的概念 ,讨论了模糊有理语言与二者的关系 ,得到了几个重要结论 .