第2讲-2 元胞自动机简介2011

F(Sit+1)=f(sti-r,…,sti,…sti+r)
sti 表示在 时刻位置 处的元胞，至此，我们就得到了一个 表示在t时刻位置 处的元胞，至此， 时刻位置i处的元胞 元胞自动机模型
对于局部规则f来讲，函数的输入、输出集均为有限集合， 对于局部规则 来讲，函数的输入、输出集均为有限集合， 来讲 实际上。它是一个有限的参照表。例如， 实际上。它是一个有限的参照表。例如，r=1，f的形式则形似 ， 的形式则形似 如下:[0,0,0]->O; [0,0,1]->0; [0,1,0]->1; [1,0,0]->0; [0,1,1]->1; 如下 [1,0,1]->0; [1,1,0]->0; [1,1,1]->0对元胞空间内的元胞，独立 对元胞空间内的元胞， 对元胞空间内的元胞 施加上述局部函数，则可得到全局的演化。 施加上述局部函数，则可得到全局的演化。
(1)冯 诺依曼(Von Neumann)： (1)冯-诺依曼(Von Neumann)：上下左右 4个 (2)摩尔型(Moore)：上下左右；左上、左下、右上、右下； (2)摩尔型(Moore)：上下左右；左上、左下、右上、右下；8个 摩尔型(Moore) (3)扩展摩尔(Moore)型 扩展为2 (3)扩展摩尔(Moore)型：r 扩展为2或更多 扩展摩尔(Moore) (4)马哥勒斯(Margolus)型 它是每次将一个2x2的元胞块做统 (4)马哥勒斯(Margolus)型：它是每次将一个2x2的元胞块做统 马哥勒斯(Margolus) 2x2 一处理，而上述前三种邻居模型中， 一处理，而上述前三种邻居模型中，每个元胞是分别处理的
元胞自动机简介 （Cellular Automata）
赵 鹏
元胞自动机(Cellular Automata)简要发展历程 元胞自动机(Cellular Automata)简要发展历程
• 元胞自动机是定义在一个由离散、有限状态的元胞组成的元胞空间上，按照 元胞自动机是定义在一个由离散、有限状态的元胞组成的元胞空间上， 一定的局部规则，在离散时间维度上演化的动力学系统。 一定的局部规则，在离散时间维度上演化的动力学系统。 • 冯诺依曼提出模仿人脑的行为，人脑包含自控制和自维护机理。考虑在完全 冯诺依曼提出模仿人脑的行为，人脑包含自控制和自维护机理。 离散的框架下处理，每个元胞都具有内在的状态，由有限数量的信息为组成； 离散的框架下处理，每个元胞都具有内在的状态，由有限数量的信息为组成； 这个元胞系统按照离散时间进行演化 • 1970年数学家Conway提出了著名的生命游戏(Game of life)。尽管生命游 1970年数学家Conway提出了著名的生命游戏(Game life)。 年数学家Conway提出了著名的生命游戏 戏的规则简单， 戏的规则简单，但具有出乎预料的复杂行为 • Wolfram著名的物理学家，他在研究一维和二维元胞自动机，注意到，元胞 Wolfram著名的物理学家，他在研究一维和二维元胞自动机，注意到， 著名的物理学家 自动机是一个离散的动力学系统，但显现出许多连续系统中遇到的行为。 自动机是一个离散的动力学系统，但显现出许多连续系统中遇到的行为。 • 2002年《一种新科学》，对自然选择提出挑战，对时间单向流逝，怎样制造 2002年 一种新科学》 对自然选择提出挑战，对时间单向流逝， 人造生命，股市如何涨落给出了解释；探索了树叶、数目、 人造生命，股市如何涨落给出了解释；探索了树叶、数目、贝壳为什么是其 形状；在其新科学的到统一解释， 形状；在其新科学的到统一解释，即元胞自动机 • 生物学、生态学（兔子-草），物理学（流体力学、场的模拟）、化学（各 生物学、生态学（兔子- ），物理学（流体力学、场的模拟）、化学（ 物理学 ）、化学 种粒子在化学反应中的相互作用）、 ）、交通科学等 种粒子在化学反应中的相互作用）、交通科学等
三角网格的优点是拥有相对较少的邻居数目，这在某些时候很有用;其缺点是 在计算机的表达与显示不方便，需要转换为四方网格。 四方网格的优点是直观而简单，而且特别适合于在现有计算机环境下进行表达 显示;其缺点是不能较好地模拟各向同性的现象，例如后面提到的格子气模型中 的HPP模型。 六边形网格的优点是能较好地模拟各向同性的现象，因此，模型能更加自然 而真实，如格气模型中的FHP模型;其缺点同三角网格一样，在表达显示上较为困 难、复杂。
3 元胞自动机的特征
1)同质性、齐性:同质性，每个元胞的变化服从相同的规律；齐性， 元胞的分布方式相同，大小形状相同，空间分布规则整齐 2)时间离散:元胞按一定规律分布在离散的元胞空间上 3)空间离散:演化按等间隔时间分步进行,时间只取等步长的时刻点 4)状态离散有限： 5)同步计算:元胞自动机的处理同步进行，适合并行计算 6)时空局域性:元胞在t+1时刻的状态，取决于其周围半径r的邻域 中的元胞在t时刻的状态，及所谓的时间、空间局限性 7)维数高:在动力系统中一般讲变量的个数称为维数。由于任何完 备元胞自动机的元胞空间是定义在一维、二维或多维空间上的无 限集，每个元胞的状态便是这个动力学系统的变量。因此，元胞 自动机是一类无穷维动力系统。
二、经典的元胞自动机模型
Conway和他的 生命游戏” 和他的“ 1 Conway和他的“生命游戏”
1)“生命游戏”的构成及演化规则 (1)”生命游戏”的构成：①元胞分布在规则换分的二维方形网格上； ②元胞具有0、1两种状态，0代表死，1代表生；③元胞以相邻的 上下左右好对焦线上的8个元胞维邻居；④一个元胞的生死有其 在该时刻本身的生死状态和周围8个邻居的状态决定。 (2) “生命游戏”的演化规则：①生存 生命游戏” 生存：对一个活的元胞，如果它的 生命游戏 的演化规则： 生存 邻居中有2个或3个元胞是活的，那么该元胞将继续生存； ②死 死 亡：对于一个活的元胞，如果它的邻居中有4个或4个以上的元胞 是活的，该元胞死亡；如果它的邻居中只有1个或没有活的元胞， 那么死亡； ③繁殖：对1个空的元胞，如果它的邻居中有3个活 的，那么该元胞将成为活的元胞
一、元胞自动机的定义、构成和特征 元胞自动机的定义、
1 定义 (1) 物理学的定义
元胞自动机是定义在一个由具有离散、 元胞自动机是定义在一个由具有离散、有限状态的元胞组 成的元胞空间上，并按照一定局部规则，在离散的时间维上 成的元胞空间上，并按照一定局部规则， 演化的动力学系统。 演化的动力学系统。
这个动态演化又由各个元胞的局部演化规则f所决定的。 这个动态演化又由各个元胞的局部演化规则 所决定的。这 所决定的 个局部函数f通常又常常被称为局部规则。对于一维空间， 个局部函数 通常又常常被称为局部规则。对于一维空间，元 通常又常常被称为局部规则 胞及其邻居可以记为S 局部函数则可以记为: 胞及其邻居可以记为 2r+1，局部函数则可以记为
2 元胞自动机的构成
1) 元胞 元胞又可称为单元。或基元， 元胞又可称为单元。或基元，是元胞自动机的最基本的组成 部分。元胞分布在离散的一维、 部分。元胞分布在离散的一维、二维或多维欧几里德空间的晶 格点上。 格点上。 状态可以是{0,1}的二进制形式。或是 的二进制形式。 状态可以是 的二进制形式 或是{s0,s2,……si……sk} 整数形式的离散集，严格意义上。 整数形式的离散集，严格意义上。元胞自动机的元胞只能有一 态变量。但在实际应用中，往往将其进行了扩展。 个状态变量。但在实际应用中，往往将其进行了扩展。例如每 个元胞可以拥有多个状态变量。 个元胞可以拥有多个状态变量。就设计实现了这样一种称之为 多元随机元胞自动机”模型。在车辆交通元胞自动机模型中， “多元随机元胞自动机”模型。在车辆交通元胞自动机模型中， 对车辆占用的元胞， 对车辆占用的元胞，元胞中含有车辆的位置和速度等
2) 元胞空间 元胞所分布在的空间网点集合就是这里的元胞空间。 元胞所分布在的空间网点集合就是这里的元胞空间。 理论上，它可以是任意维数的欧几里德空间规则划分。 理论上，它可以是任意维数的欧几里德空间规则划分。目 前研究多集中在一维和二维元胞自动机上。 前研究多集中在一维和二维元胞自动机上。对于一维元抱自 动机。元胞空间的划分只有一种。而高维的元胞自动机。元 动机。元胞空间的划分只有一种。而高维的元胞自动机。 胞空间的划分则可能有多种形式。对于最为常见的二维元胞 胞空间的划分则可能有多种形式。 自动机。二维元胞空间通常可按三角、 自动机。二维元胞空间通常可按三角、四万或六边形三种网 格排列。 格排列。
4)规则(Rule) 4)规则(Rule) 规则
根据元胞当前状态及其邻居状况确定下一时刻该元胞状 态的动力学函数，简单讲，就是一个状态转移函数。 态的动力学函数，简单讲，就是一个状态转移函数。 记为f: sit+1=f(sit,sNt)，sNt为t时刻的邻居状态组合，我们称f 记为 ， 时刻的邻居状态组合部规则
一、元胞自动机的定义、构成和特征 元胞自动机的定义、
1 元胞自动机的定义 (2)数学定义(基于集合论的定义) (2)数学定义( 数学定义
代表空间维数， 代表元胞的状态 代表元胞的状态， 设d代表空间维数，k代表元胞的状态，并在一个有限集合 代表空间维数 S中取值，r表元胞的邻居半径。Z是整数集，表示一维空间， 中取值， 表元胞的邻居半径 是整数集， 中取值 表元胞的邻居半径。 是整数集 表示一维空间， t代表时间。 代表时间。 代表时间 为叙述和理解上简单起见，在一维空间上考虑元胞自动机， 为叙述和理解上简单起见，在一维空间上考虑元胞自动机， 即假定d=1。那么整个元胞空间就是在一维空间，将整数集 即假定 。那么整个元胞空间就是在一维空间，将整数集Z 上的状态集S的分布 记为S 的分布， 上的状态集 的分布，记为 Z。元胞自动机的动态演化就是在 时间上状态组合的变化，可以记为: 时间上状态组合的变化，可以记为
边界条件 在理论上，元胞空间通常是在各维向上是无限延展的， 在理论上，元胞空间通常是在各维向上是无限延展的，这有利于 在理论上的推理和研究。但是在实际应用过程中， 在理论上的推理和研究。但是在实际应用过程中，我们无法在计 算机上实现这一理想条件，因此，需要定义不同的边界条件。 算机上实现这一理想条件，因此，需要定义不同的边界条件。 三种类型:周期型 反射型和定值型。 周期型、 三种类型 周期型、反射型和定值型。 周期型：是指相对边界连接起来的元胞空间。对于一维空间， 周期型：是指相对边界连接起来的元胞空间。对于一维空间，元胞 空间表现为一个首尾相接的“ 对于二维空间，上下相接， 空间表现为一个首尾相接的“圈”。对于二维空间，上下相接， 左右相接。 形似车胎或甜点圈。 左右相接。而形成一个拓扑圆环面 ，形似车胎或甜点圈。周期 型空间与无限空间最为接近，在理论探讨时， 型空间与无限空间最为接近，在理论探讨时，常以此类空间型作 为试验。 为试验。 反射型：指在边界外邻居的元胞状态是以边界为轴的镜面反射。 反射型：指在边界外邻居的元胞状态是以边界为轴的镜面反射。 定值型：指所有边界外元胞均取某一固定常量， 定值型：指所有边界外元胞均取某一固定常量，如0，1等。 ， 等 在实际应用中，尤其是二维或更高维数的构模时，可以相互结合。 在实际应用中，尤其是二维或更高维数的构模时，可以相互结合。 如在二维空间中，上下边界采用反射型， 如在二维空间中，上下边界采用反射型，左右边界可采用周期型