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

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

有限自动机正则化方法研究

有限自动机正则化是编译中的重要技术,文章针对现有有限自动机正则化方法的不足,分析了有限自动机正则化的本质,提出了一个新的有限自动机正则化方法。这个新的方法具有通用的特点。     

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

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

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

有穷自动机的数字电路故障定位方法

用有穷自动机确定数字电路故障定位方法,从而可得到故障定位向量构成的语言正则性及其性质的一些实用结果     

有限自动机的半环方法

文章利用半环方法来讨论有限自动机.首先,利用线性代数基础给出半环上有限自动机的概念;然后,证明了半环上的有限自动机与不确定的有限状态自动机识别语言的一致性.从数学的角度看该方法使得有限自动机的讨论更加简洁.     

一种DNA计算系统的有限自动机模型

通过一个实例给出了粘贴系统模型的基本定义，讨论了粘贴系统模型的正则文法特性，并从自动机的角度给出了相当于正则文法表达能力的有限自动机模型。     

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

用构造性神经网络推导模糊有限状态自动机

采用构造性神经网络来推导模糊有限状态自动机(记作FFA),在网络训练过程中,按照Blanco网络的学习规则调整连接权重,在网络结构的动态修改中利用了级-相关算法的最大相关性思想,最后将该网络应用到具体的FFA推导中,实验证明它是有效的.     

基于粗糙集理论的有限自动机最小化方法改进

有限自动机放在粗糙集的范畴中来研究,它的各个状态对应粗糙集论域中的每个对象,每个输入符号为一个等价关系。从粗糙集的角度,利用对论域进行知识划分的方法,每次产生新的等价类,直到每个等价类都不能划分为止,从而得到最小化的有限自动机。与已有的研究方法不同,该方法以粗糙集理论为工具,为有限自动机最小化方法研究提供了新的思路。     

利用状态机实现可定制的工作流设计

在ERP(Enterprise Resource Planning企业资源计划)系统开发过程中,工作流的管理是最核心的内容.利用状态机(Finite State Automata)来实现可定制工作流的设计,可以降低ERP产品设计的复杂度.通过软件的流程设置功能,能方便地配置出适合企业实际情况的高效合理的工作流,而且对企业现有的流程改造幅度很小.采用状态机进行业务逻辑的设计,实现可定制的工作流,会收到很好的效果.     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

基于元胞自动机的医学图像识别

使用元胞自动机的方法,对医学中器官的二值图像进行识别,实验证明这种方法能够判别被检查器官与样本库中样本的一致性,并且可以判断它们的相似度.     

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

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

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

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

基于数字图像技术的高频电阻焊状态监测

为实现对高频电阻焊焊接过程的在线实时监测,通过对焊接现象、焊接缺陷及其成因的分析,提出了一种基于高速CCD成像和数字图像处理的焊接过程自动化监测方法.该方法利用架设在焊接区域上部的高速CCD相机获取焊接区的数字图像,通过对焊接区图像的特征加热面积、V型开口角大小、焊接熔合点位置、加热区对称度等多个参数的提取和测量,获取焊接区的多特征参数,然后将这些参数进行数据融合,得到当前的焊接状态.在图像处理中应用了基于非平衡R-G-B填充的抗干扰分割算法、基于直线拟合的V型角开口角大小及角分线检测算法,设计了面积对称度评价函数及基于BP神经网络的多特征融合模型.通过现场实验发现:文中方法能够有效监测焊接区的状态,有利于焊接质量控制.     

基于元胞自动机模型的图像增强仿真设计

将元胞自动机模型应用于图像增强,把经典的图像处理规则转换成元胞自动机的状态演化规则,并用此规则对图像进行平滑和锐化处理,得到仿真图像.对仿真结果图像进行分析表明图像锐化能突出图像边缘,增加图像亮度,图像平滑能突出原图主干部分,降低噪音,使图像亮度变缓,处理得到的效果较好.     

C-TERN: 一种基于CFSA的军事新闻文本时间信息处理算法

提出一种基于层叠有限状态自动机(CFSA)的中文军事文本时间表达式识别与规范化算法C-TERN。C-TERN首先利用成熟的分词工具识别出文本中的时间词, 然后将从通用语言和军事语言中提取的时间表达式规则分成多层, 逐层进行时间信息的精细识别。在规范化过程中, 通过4个步骤分别对特殊时间表达式、简单时间表达式、时间段表达式和绝对/相对时间表达式进行推理计算和规范化。算法考虑了规则集提取的正确性、规则之间冲突的消解以及匹配方式的合理性。在多个数据集上的实验结果显示, C-TERN不但能有效地识别标准时间、偏移时间和不确定性时间表达式, 而且能完成对简单、特殊以及隐含的时间点、时间段和偏移时间的推理与规范化, 能够满足军事文本时间信息处理的需要。     

数字图像连续表示及应用

研究了离散图像的连续表示及重建问题.首先利用弦理论,给出了图像的连续表示形式,然后利用付里叶变换实现了图像连续表示及重建的快速算法,接着将它们应用于图像无级缩放、图像平滑、边缘检测、角点检测,并与传统离散图像处理方法的实验结果进行了比较.实验结果表明:利用图像连续表示方法处理离散图像可以得到不差于传统的离散图像处理方法处理的结果,此方法使离散图像的解析法处理成为可能.