SH—B型造气炉自动机的研制

详细分析了造气生产过程对自动机的要求,叙述了 SH-B 型自动机的主要功能,讨论了该机的硬件组态及软件设计.     

格子气自动机法模拟液滴微粒的形成

介绍了近年来以流体力学和分子动力学为背景而发展起来的格子气自动机法．应用由格子气自动机方法扩展的LG模型，定性的模拟了二维空间中液体在表面张力的作用下，液滴的形成及变形过程，且其数值计算结果满足Laplace方程式．     

一维水锤问题的格子气自动化

给出一维关阀断流水锤问题的时间，空间，流体完全离散的格子气自动机。     

构造正则表达式的Follow自动机并行算法研究

给出了一种从正则表达式到Follow自动机的并行化算法. 先构造正则表达式的Thompson自动机, 再对其消除ξ边,实现Thompson自动机到Glushkov自动机的转换, 然后对Glushkov自动机的等价状态进行合并,从而得到一种规模更小的有限自动机,即Follow自动机,最后以实例模拟其并行转化过程.     

有限自动机与多路自动机的关系

简单介绍了多路自动机的定义，分析了多种自动机和有限自动机的关系，包括确定的有限自动机和非确定的有限自动机，并且给出了例子，本文的结论推广了计算学习理论中可有效学习的类的范围。     

格子气自动机对多孔介质微观干燥过程的模拟

介绍格子气自动机方法的概念与原理，并用该方法对多孔介质液体吸附和微观干燥现象进行模拟，模拟得到了微观干燥过程湿分迁移特征及干燥特征曲线，模拟结果与文献相符合．初步研究表明，该方法可以用来研究微观的多孔介质干燥过程．     

城市交通系统动力学特性研究——带信号灯控制的一维元胞自动机模型研究

元胞自动机的交通流模型以简单的规则反映交通过程中实际存在的各种复杂因素,并能在计算机上方便实现,从而可以演示这些因素对城市交通系统动态特性的影响。本文系统阐述了元胞自动机在交通流上的应用,以元胞自动机理论为基础,把车辆在路段上运动的变化规律表述为元胞自动机的演化规则,建立了基于元胞自动机理论的交通流模拟的NS模型,并利用Matlab语言实现了带信号灯控制的一维元胞自动机模型的仿真。     

一类有穷自动机的设计

讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机（包括确定型的有穷自动机与不确定型的有穷自动机）二者之问相互转换的方法,最后指出了这个方法可以适用于类似问题的求解。     

基于有限状态自动机的黑白数字图像表示方法

提出了一种用有限状态自动机（FA）来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,任一正则语言也可以表示为一幅黑白数字图像,即正则语言与黑白数字图像可以相互转化。而由自动机理论原理知,正则语言可以用有限状态自动机等价描述,从而得到用有限状态自动机来描述黑白数字图像的方法。这样就建立了图像与自动机理论这两门学科之间的联系,也为用自动机进行图像压缩奠定了基础。     

区间时序逻辑的模型检查

为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则．利用这些规则,可以构造一个chop-自动机,该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合．同时,定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机,使得它们接受相同的原子命题序列集．这样,区间时序逻辑的模型检查问题就等价地转换成了很容易解决的两个标注有限状态自动机的语言包含问题．     

零边界条件下二维元胞自动机矩阵可逆性分析

该文介绍了二维元胞自动机的典型邻域结构,对多状态二维元胞自动机的矩阵描述进行了拓展.通过对零边界条件下元胞自动机的状态转移矩阵的块矩阵的分析,得出矩阵的可逆性与元胞自动机冯诺依曼型邻域之间的联系.     

NFA→FA→GFA自动机转换算法

研究了不确定有穷自动机NFA、确定有穷自动机FA、规范有穷自动机GFA的基本关系与等价转换;给出了"NFA→FA"等价转换算法与"FA→GFA"等价转换算法,构造性证明了从FA到GFA的存在性,提供了自动机极小化算法的研究基础。     

利用自动机理论对收费站收费系统进行设计并实现

利用有穷自动机理论研究了高速公路收费站的收费系统。首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图,然后依据有穷自动机是一种具有离散输入输出系统的数学模型,提出了新的收费站自动机设计——记账式收费自动机的模型及相应的自动机状态转移图,进而给出了详细的分析和应用软件,并画出了相应的系统模块图。由于新的系统避免了大量弊端与不足,管理控制能力有效提高;同时该系统不要求OBU的普及以及全球卫星定位系统的使用,故易于推广,从而大大提高了高速公路收费的安全性、准确性、适用性及有效性。     

用细胞自动机实现Logistic模型

对应用于模拟肿瘤生长的Logistic模型进行了分析和研究,设计了基于一维细胞自动机的肿瘤动态生长模型. 以连续Logistic模型为基础,导出模型的离散差分形式;在前人工作的基础上,设计出基于细胞自动机的离散动态计算机生长模型,并设计出人工细胞自动机状态随机演化规则;对基于一维人工细胞自动机的肿瘤动态生长模型进行了数值仿真实验. 理论分析和结果表明细胞自动机模型仿真曲线与连续Logistic模型两者相互吻合.     

细胞自动机及MATLAB仿真

按照S.Wolfram对细胞自动机的分类规则,以MATLAB为工具,实现了对所有初等细胞自动机演化规则的动态模拟,并针对奇偶规则、蚂蚁规则等典型细胞自动机的演化规则,提出相应的算法,以MATLAB为工具开发了可视化的模型,刻化了细胞自动机在模拟复杂现象方面的优势.     

细胞自动机：简单的规则，复杂的行为

细胞自动机是一种时间、空间与状态都离散的数学模型。回顾了初等细胞自动机模型的应用及其符号动力学刻画的相关文献,在大量统计性质和计算机模拟基础上,着重分析具有鲁棒Bernoulli移位特征的细胞自动机规则的一些符号动力学性质,揭示了细胞自动机的简单规则中蕴含着复杂、混沌的非线性动力学特性。这些结果丰富了细胞自动机的理论基础,也将促进符号动力系统的理论和应用的研究。     

异步自动机半群

首先给出异步自动机半群的定义,并讨论其基本性质.证明了如下结果：异步自动机半群的字问题在指数时间内可解,任一异步自动机半群具有唯一性的异步自动机结构,异步自动机半群具有“伙伴旅游者”的性质.     

耦合元胞自动机模型及其在Mathematica中的实现

提出了一种耦合元胞自动机模型,并就具有置换作用的元胞自动机对进行了模拟研究,并提供了其在Mathematica4．0中的程序实现,实际结果显示,耦合元胞自动机模型具有丰富的内涵。     

有限自动机在自动控制软件设计中的应用

简述了有限自动机的基本概念，提出了应用有限自动机进行软件设计的处理思想，并给出了实现方法。有限自动机在软件设计中以及应用过程中充分考虑了软件设计的规律性，提高了软件设计的工作效率。     

转管武器自动机运动特性仿真分析

针对转管武器自动机开闭锁受力异常的问题,建立了受力和运动与实际样机基本一致的虚拟样机模型.运用动力学仿真软件ADAMS进行了仿真分析,找出了原自动机发生失效的原因,提出了改进办法,使自动机受力得到改善,避免了故障的再发生,并分析了改进后的自动机运动特性.仿真结果表明:改进后自动机运动平稳,各运动特性满足设计要求.