交替ω—有穷自动机接受ω—语言能力的研究

本文研究了交替ω－有穷自动机关于接受条件Ｚ１和Ｚ２接受ω＝语言的能力,并且与交替ω－有穷自动机关于另外接受条件接受ω－语言的能力进行了比较,从而得出了下面主要结果：ＡＣ１＝ＡＺ１＝Ａ６２Ｚ１＝Ａ＾ＳＺ２＝ＡＺ２。     

ω—自动机与扩大了的正规表达式

在提出扩大了正规表达式的概念的基础上，建立ω－自动机与扩大了的ω－正规表达工之间的１－１对应，并给出了２类不能构造出确定型ω－自动机的表达的（语言）。     

带约束条件的DES最优监控综合方法

基于ＤＥＳ的Ｄ－自动机模型，提出一种带约束条件的最优监控综合问题，然后分别讨论了逻辑监控与时序监控下该问题解的存在性与求解的方法。结果表明，时序监控优于逻辑监控方法。     

带约束条件的DES的最优监控综合方法

基于ＤＥＳ的Ｄ－自动机模型，提出一种带约束条件的最优监控综合问题，然后分别讨论了逻辑监控与时序监控下该问题解的存在性与求解的方法．结果表明，时序监控优于逻辑监控方法．     

完备格子气自动机Look－UPTable的状态

给出了完备格子气模型的Ｌｏｏｋ－ＵｐＴａｂｌｅ的状态解的存在条件，并给出特定情况下的状态个数．     

回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

在细胞图自动机上寻找图的基本回路

将细胞自动结构推广到任意图结构，并用它解决图论中的问题，是细胞自动机理论在图论领域中的一个应用．本文给出了用细胞图自动机求任意连通图的所有基本回路的并行算法     

１３—Ｂit多速格子气自动机模型的理论分析与模拟

运用流体离散运动论方法对１３－Bit多速正六边形格子气自动机模型进行了理论分析,在由格子Bolytzmann方程求得矩方程的基础上,根据Chapman-Enskog展开方法,导出了该模型的宏观热流体力学方程,从理论上证明了所建地于热流体力学问题描述的正确性。并给出了平板非等温流体绕流动现象的模拟结果。     

细胞有向图自动机及算法

本文提出了细胞（ｄ１，ｄ２）－有向图自动机的定义，研究了怎样用它求得（ｄ１，ｄ２）－有向图的广度优先混合方向支撑树，单向树及强连通分量等问题并给出了相应的并行算法和时间复杂度分析。     

细胞自动机的演化与计算理论’

本文介绍一细胞自动机的基础原理，讨论了细胞自动演化位形序列与形式语言的等价性，并给出９０规则与１５０规则的正则语言集，则时还建立了Ｔｕｒｉｎｇ机仿真９０规则的程序并给出相应的状态转移图。     

关于Moore自动机可逆性的一些结果

主要讨论了Moore自动机(弱)可逆的一些性质，并给出了当|S|=|Y|时，Moore自动机(弱)可逆的充要条件。     

树自动机理论在XML中的应用

XML的发展，引发了人们对于文档和形式语言之间关系的研究，树自动机理论重新引起了研究者们的高度重视。介绍了树自动机的概念、类型及处理方式，讨论了树自动机在XML中的应用，以XML文档有效性检验为例，实现了一个XML文档DTD树自动机，实验结果表明树自动机理论能够有效地处理XML文档。     

自动机及其代数规范描述

本文利用泛代数的思想和方法研究自动机理论,建立了亚群和自动机的方程规范模型,把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义,并讨论了和规范代数的同态及同余之间的关系。     

城市主干道交通流模型的研究

采用周期性边界条件,利用改进的Nagel-Schreckenberg模型,建立了城市主干道交通流模型,研究了红绿灯周期,刹车概率,转入,转出概率对交通流的影响。     

广义标准自动机及其商自动机

文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。     

用键合图理论建立浮动自动机系统动力学模型

该文介绍了系统动力学键合图理论的基本思想，并结合火炮自动机的具体特点，以某浮动自动机为实例介绍了用键合图理论把浮动自动机系统表示成统一格式的图形和数学模型的方法和步骤。文中还给出了用所建立的浮动自动机键合图模型编程上机的运算结果，并将计算结果和实测的结果进行了对比。对比表明，计算结果和实测结果基本相符，这说明用键合图理论建立火炮浮动自动机的动力学模型是可行的。键合图理论是系统动力学的新的分支，把它引入火炮自动机的设计中，可以丰富和发展自动机的设计计算理论。     

自增殖细胞自动机的建模理论与算法

提出了细胞自动机的建模机理与算法，以及用链语言描亭自增殖过程的方法，研制了相应的验证性软件，得到了一组不同初始态、单个或多个无序种子条件下，以及各种可能的邻座情况下不同细胞自动化的进行图像。     

关于属性G-(g-)量子文法与属性量子自动机

为了提高量子文法的描述能力，较好地克服上下文有关文法的难点，引入了属性G－（g-）量子文法、（广义）属性量子自动化等概念，进而研究了它们之间的关系，即：对每一给定的属性G－（g-）量子文法， 都可以构造出一个广义属性量子自动机Q，使得它们所接受的语言集相等，反之亦然。从而达到了自动识别属性G－（g-）量子语言的目的。     

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

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