细胞有向图自动机及算法

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

基于控制周期特征式的线性混合自动机验证

提出了一种基于归纳法思想的验证方法,通过控制周期上特性的描述,发现了基于控制周期特征式的线性混合自动机验证方法,这一方法采用定理证明过程来得出归纳证明的结构;采用模型检查方法来得出归纳证明的奠基和迭代步,这一方法同时兼顾了模型检查和定理证明的特点用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题,得出了对著名案例ＧａｓＢｕｒｎｅｒ问题中的参数３ｎｏｎ＿ｌｅａｋｋｉｎｇ≥７６的最优范围。     

概率有限自动机的交换性

提出了一类概率有限自动机并给出其交换的概念,得到了此类自动机交换的一些刻画,定义了两个概率有限自动机的和与积,并且得到了和自动机、积自动机交换的充要条件。     

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

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

细胞自动机超并行数据压缩方法

提出细胞自动机元胞级超并行无失真数据压缩方法，并用遗传进化算法获得细胞自动机中的数据压缩规则，证明了细胞自动机文本压缩规则的正确性，讨论了有关的时间复杂性及符号动力学特性。与其他传统的串行或小规模并行的数据压缩方法相比，本文的方法有更好的实时性，普适性，以及Ｓｙｓｔｏｌｉｃ硬件实现的可行性。     

高阶细胞自动机新的数据压缩方法

构造出高阶置换映射，进而得出更有效的高阶细胞自动机超并行数据压缩方法，与细胞行动机超并行数据压缩方法相比，其处理速度可以成倍地提高。证明了用遗传进化算法得到的高阶细胞自动机元胞级无失真数据压缩规则的正确性和可行性。并推广到任意阶，给出了对应的置换映射，之后讨论了有关的时间复杂性及高阶数据压缩方法的有效性。     

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

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

细胞自动机及其理论研究进展

细胞自动机固有的组成单元的简单性,单元之间作用的局部性和信息处理的高度并行性,并表现出复杂的全局特性等特点使得其广泛应用于物理模型模拟、密码学和内建式自测试等领域。本文简述了细胞自动机的基本概念,研究了细胞自动机的分析理论和细胞自动机的综合理论。     

一种一维细胞自动机的分类

讨论了基本细胞自动机的一种扩展模型,通过二元矩阵展现了局部规则与全局演化的关系.利用矩阵的秩对这类细胞自动机进行了计算机实验分类.     

基于Agent的农田生态细胞自动机模型

提出一种基于Agent的细胞自动机(CA)演化模型，并采用整体建模仿真的方法，对农田虫害的演化进行了模拟．它采用自底向上的建模思想，利用Agent的局部连接规则，建立复杂系统的整体模型．针对不同环境条件设定相应的仿真参数，可以得到恰当的害虫种群演化结果，有助于农田生态管理的科学决策．同时，农田虫害的管理是预测专家系统的重要应用领域，该模型与专家系统的最终集成，可以提高专家系统的预测能力．     

Some Properties of Fractals Generated by Linear Cellular Automata

Fractals and cellular automata are both significant areas of research in nonlinear analysis. This paper studies a class of fractals generated by cellular automata. The patterns produced by cellular automata give a special sequence of sets in Euclidean space. The corresponding limit set is shown to be a fractal and the dimension is independent of the choice of the finite initial seed. As opposed to previous works, the fractals here do not depend on the time parameter.     

地理元胞自动机及空间动态转换规则的获取

 以东莞市黄江等镇城市发展为例,利用逐步逻辑回归方法,获取分区的元胞自动机动态规则,用分区的动态规则CA模拟了研究区1988-2004年的城市扩张,采用逐点对比法和Moran I指数对模拟结果进行了评价。结果表明,分区的空间动态转换规则比统一的静态转换规则能获得更高的模拟精度,动态转换规则克服了传统静态转换规则无法反映区域内部城市发展差异的缺陷。     

三维Fredkin规则元胞自动机

给出了三维Fredkin规则的元胞自动机. 通过选择三维Von Neumann相邻以及三维Fredkin规则, 实现了元胞自动机在三维空间中对简单初始构型的自我复制.     

一维Conway元胞自动机的涌现计算

给出四参数Conway元胞自动机的翻转规则及演化结果. 通过增加相邻元胞数量发现， r=1的规则中没有Wolfram第四等级； r≥2中存在Wolfram第四等级.     

元胞自动机研究进展

元胞自动机是一个具有简单运算规则的动态模型,但却能展现出复杂的行为．元胞自动机引起了许多研究者的关注,相关研究工作已经广泛展开．论文综述了元胞自动机的研究进展及在不同领域的一些应用．     

元 胞 自 动 机 中 的 组 织 生 长

给出元胞自动机中组织生长的数学描述. 通过引入组织生长及死亡的概念, 给出元胞自动机中简单组织生长规律及组织存活年龄的计算方法.     

基于模糊元胞自动机的复杂图案、纹理生成实现

结合模糊规则和元胞自动机的机理,分析了模糊元胞自动机的基本原理,根据元胞自动机的不同构形,提出多种模糊元胞自动机演化规则,并根据这些基本规则,分别用3邻元、5邻元以及9邻元进行元胞状态更新,生成了多颜色\复杂、漂亮的图案和织物纹理,其结果在针织织物设计中意义重大.     

元胞自动机模型的尺度敏感性分析

以深圳市龙华镇为案例区,构建了土地利用/覆被变化的元胞自动机模型,从时间和空间两个方面定量研究了LUCC模型的尺度效应。通过改变模型输入数据的空间分辨率和模型模拟的时间长度,探讨了尺度对土地利用变化模型的影响。分别采用龙华镇1990年30,60,90,120,150,180,210和240 m空间分辨率的土地利用数据作...     

基于元胞自动机的大学课程教学模拟

用232号初等元胞自动机规则和教学策略、响应概率及倾向概率等参数控制规则建立了大学课程教学的元胞自动机模型。模拟研究了大学课程教学的复杂性,教学策略、响应概率、倾向概率及初始条件的影响,教学设计的优化等。结果表明,该模型符合大学课程教学实际,可以作为大学课程教学的数值模拟工具。     

关于一维元胞自动机的研究

本文研究满足三重局部变换规则——1规则的一维有限元胞自动机在固定边界条件下的稳定性，刻画了其位形变化规律、不动点及GOE等重要性质。