数字图像区域标定的方法

给出了二值图像区域的标定方法。对于八近邻和四近邻的图像,分别建立了一组最小的完备图。利用图像标定的基本图,为二值图像边界的识别构造了一个自动机,自动机的输出就是顶点链编码,为二值图像区域的标定提供了一个有效算法。     

用顶点链编码计算区域面积的方法

研究了在图像分析和识别中，直接从顶点链编码计算封闭边界所围区域面积的方法，并用该方法对正方形、正三边形和正六边形点阵中区域面积进行了计算．结果表明，顶点链编码计算封闭边界所围区域面积的方法简单易行，且运算速度快．     

一种快速准确地计算图像几何矩的算法

在计算机视觉中．矩是一种重要的形状特征描述．提出一种运用自动机获取任意图像区域边界的Freeman链码及图像区域边界点坐标序列的方法．结合离散化的格林理论．能快速、准确地计算出图像的几何矩．与现有算法相比，该方法对任意图像几何矩的计算具有计算结果准确、内存开销低、运算速度快等优点．     

用顶点链编码计算图像区域密集度和体态比

利用链编码及其特性,分析得出图像区域边界的周长、最小外接矩形（MER）的长与宽及图像所占区域的面积,以此为基础,提出了一种基于链编码的图像区域密集度和体态比的计算方法.     

图像顶点链编码和顶点欧氏距离的计算

利用链编码及其特性,分析得出图像区域边界的周长、最小外接矩形（MER）的长与宽,及图像所占区域的面积.对于正四边形、正三边形和正六边形点阵上的图形,分别提出了直接从链编码计算图像顶点欧氏距离的方法.     

利用顶点链编码探测表格的斜率

根据表格图像中表格的框线或悬线具有最长的边界，以及边界标定自动机能获得区域边界的优点，提出了一种新的表格图像文件倾斜矫正的方法.该方法使用简便，而且在大噪声的背景下也能使用.     

三角形网格的链码方法研究

目前可以应用于三角形网格的链码方法只有顶点链, 而它对角相邻情况的表达存在缺陷, 针对此问题, 提出3种链码方法, 并进行特性分析和性能比较。首先将Freeman链码扩展应用到三角形网格, 根据两种不同的三角形单元, 分别设计对应的12方向Freeman链码编码规则; 然后, 基于外轮廓前进相对方向的变化, 提出相对方向链码; 最后, 通过区分边界网格在外轮廓上的边数和内部网格数的不同组合, 得到边角组合链码。通过实验比较3种链码的表达能力和压缩率, 结果表明, 3 种链码方法均能克服顶点链的缺陷, 准确完备地实现三角形网格形状的边界表达。其中, 边角组合链码的综合性能最高, 平均码数为1, 压缩率可达0.75。     

基于链码差的边界凸凹性判别

对边界凸凹性判别的多种算法进行了分析比较。从边界的链码描述出发,论述了绝对链码、相对链码、链码和、链码差等边界特征参数提取的算法。分析了用链码和曲线,了解边界性状的方法,提出了一种新的基于链码差的边界凸凹性判别算法。实践表明,该算法避免了叉积运算,有效地提高了判别速度,而且实现算法简单、稳定。最后对该算法可能的应用进行了展望。     

图像区域边界抽取与链码树结构生成算法

通过定义二值图像像素顶点的链码，构造像素顶点矩阵，给出了一个基于像素顶点的线性的图像区域边界追踪和链码树结构的生成算法，算法在追踪和抽取区域边界的顶点链码的同时生成区域边界的链码树结构.算法复杂度是线性的，且适用于任意复杂图像区域.     

基于宏观运动波和微观元胞自动机的双车道交通流混合建模

基于运动波理论和线性元胞自动机模型,提出了一种宏观与微观空间表现尺度相结合的双车道交通流混合建模方法.在交通流供需理论框架下,定义了考虑车辆变道行为和元胞自动机空间离散性影响的宏观/微观边界转换条件.该边界条件能够克服在引入车辆变道行为和应用离散化的微观元胞自动机模型时所引起的交通流质量损失问题.应用混合模型模拟双车道堵塞和单车道关闭引起的交通流瓶颈现象.结果表明,交通波在经过模型空间尺度发生变化的边界时能够连续传播,传播速度并未出现降低或者振荡现象,并且交通流质量守恒.混合建模能根据各路段所需表现的空间尺度不同,应用不同空间层次的交通流模型分别模拟,有效提高了大型交通流网络的模拟效能.     

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

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

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

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

Active XML Document Rewriting Based on Tree Automata Theory

The problem of document rewriting is a fundamental problem in active XML（AXML） data exchange and usually has a higher complexity. Prior work was focused on string automaton theory. This paper tries to solve it by using tree automaton. More precisely, the paper firstly defines a new tree automaton, active XML tree automaton （AXTA）, which can efficiently represent the set of AXML documents produced by an AXML document or AXML document schema. And then, an algorithm for constructing AXTA automaton is also proposed. Finally, a polynomial time（PTIME） determining algorithm for AXML document rewriting is presented based on AXTA automaton.     

对DFA最小化算法等价性问题的探讨与改进

有穷自动机极小化问题的研究,在程序测试、模糊系统、概率自动机等方面具有重要意义。利用自动机状态集上的等价关系对自动机的状态集极小化,从而得到与原自动机功能等价的极小化自动机,该内容是词法分析的重点。很多编译原理书籍介绍的DFA最小化算法是＂分割法＂,但该算法存在一定的问题,本文从对一些特殊的DFA的处理入手,分析＂分割法＂算法在等价原则方面的漏洞,并提出了对最小化问题的改进算法。     

基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

基于混合策略的单模式匹配算法

结合后缀有限自动机和正向有限自动机的优点,提出了两个单模式匹配算法.算法中,无论是后缀自动机还是正向有限自动机,只要扫描到的模式前缀长度R>0或者超过模式长度的1/2时,使用正向有限自动机继续向右进行扫描;否则都滑动m-R个字符,使用后缀自动机反向扫描模式串的前缀.两个算法的最差、最好时间复杂度分别为O(n)和O(n/m).结果表明,在短模式的情况下,两个算法的平均时间复杂度均好于RF和LDM,在小字符集长模式或大字符集短模式的情况下它们的平均性能好于BM.     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

122号元胞自动机的演化语言复杂性

研究了122号初等元胞自动机的演化语言,证明了其宽度为1的演化语言是正规的,宽度大于1的演化语言不是正规的。结果表明:仅用有限自动机是无法接受由122号初等元胞自动机产生的演化语言。