元胞自动机在城市扩展方面的应用综述

元胞自动机在城市扩展方面的应用综述
元胞自动机在城市扩展方面的应用综述

元胞自动机在城市扩展方面的应用综述

摘要

本文在介绍元胞自动机各要素的基础上,综述了元胞自动机用于城市扩展模拟的历史、元胞自动机用于城市扩展模拟的具体研究方向,即在具体的模型中如何确定模型的结构和参数,并对其未来的发展趋势进行了展望,并指出CA 中的转换规则的扩展是在将来的研究中的一个首要问题。

关键字:元胞自动机;城市扩展模拟;转换规则

一引言

元胞自动机(CA)是一种时间、空间、状态都离散,空间的相互作用及时间上的因果关系皆局部的网格动力学模型,其“自下而上”的研究思路,强大的复杂计算功能、固有的平行计算能力、高度动态以及具有空间概念等特征,使得它在模拟空间复杂系统的时空动态演变方面具有很强的能力。在城市空间动态变化的模拟研究方面, CA模型已应用到除非洲、南极洲的所有大洲的城市模拟研究当中。 CA模型和GIS的集成,一方面增强GIS的空间模型运算及分析能力,另一方面, GIS提供的强大空间处理能力可以为CA模型准备数据和定义有效的元胞转换规则以及对模拟结果进行可视化。同时CA模型还可以与神经网络、主成分分析、遗传算法、模糊逻辑以及其他研究方法相结合,以增强其在城市空间变化模拟研究方面的能力。将CA与MAS技术相结合,建立一个能够模拟多个不同参与因子(自然系统) 、不同决策者(人文系统)共同影响下的城市发展模型,以此来模拟与预测城市发展的真实状况,将是CA模型在城市空间变化模拟与预测研究中的未来发展趋势。

国内元胞自动机应用研究起步较晚,受国际研究的推动,20世纪90年代末地理学界才开始类似的尝试研究,主要集中在基于元胞自动机的LUCC和城市增长模拟,罗平从经典地理过程分析的基本理论人手,分析和阐述了CA对于经典,地理过程分析概念的表达程度的局限性,综合地理系统的几何属性和非几何属性提出了基于地理特征概念的元胞自动机(GeoFeature 一CA),周成虎等人在Batty和Xie的DUEM模型的基础上,构建了面向对象的、随机的、不同构的和两个CA模型耦合的GeoCA—Urban模型,并成功模拟了深圳特区土地利用动态演化过程。何春阳、史培军等从宏观外部约束性因素和局部城市单元自身扩展能力变化的角度建立元胞自动机模型对北京地区城市发展过程进行了模拟重建和不同情景预测。

本文在介绍元胞自动机原理的基础上,对比国内外元胞自动机在城市扩展方面的研究现状和新进展,总结近年来元胞自动机研究的热点和聚焦所在,对其未来的发展趋势进行预测。

二元胞自动机在城市扩展方面的应用

2.1 元胞自动机

元胞自动机(Cellular Automaton)也称细胞自动机、点格自动机等,是一种时间和空间都离散,物理参量只取有限数值集的动力系统理想化模型" 散布在规则网格中的每一元胞取有限的离散状态,遵循同样的作用规则,依据确定的局部规则做同步更新。

CA最主要的特点是复杂的系统可以由一些很简单的局部规则来产生。元胞是CA的最小单位,而元胞空间是元胞的主要属性。根据转换规则,元胞可以从一个状态转换为另一个状态。转换规则是基于邻域函数来实现的。一个CA系统通常包括4个要素:元胞(cells)、状态(states)、邻域范围(neighbors)和转换规则(rules)。一个标准元胞自动机可以用数学符号表示为:

A=(L d,S,N,f )

式中A代表一个元胞自动机系统,L d表示d 维元胞空间;S是元胞有限的离散的状态集合;N表示一个所有领域内元胞的集合(包括中心元胞),即包含有n个不同元胞状态的空间向量;f 则表示了中心元胞与邻居见的转换规则。

经典的元胞自动机有初等元胞自动机、“生命游戏”、格子气自动机和“能自我复制的元胞自动机”等。下面介绍生命游戏的构成及规则:

(1 )元胞分布在规则划分的网格上;

(2 )元胞具有0 ,1 两种状态,0 代表“死”, 1 代表“生”;

(3 )元胞以相邻的8个元胞为邻居,即Moore邻居形式;

(4 )一个元胞的生死由其在该时刻本身的生死状态和周围八个邻居的状态决定。

CA(元胞自动机)模型具有高度的灵活性、开放性、强大的复杂计算功能、固有的平行运算能力、高度动态以及具有空间概念等特征。使得它在模拟空间复杂系统的时空动态演变方面具有很强的能力。目前元胞自动机被广泛应用于模拟各种物理系统和自然现象。

元胞自动机作为一种具有时空动态特征的动力学方法。具有模拟二维空间演化过程的能力,该方法被广泛应用到地理学的诸多领域。其中,元胞自动机在城市扩展方面应用最早,同时也是当前元胞自动机应用研究的热点。

2.2 历史发展

城市是一个复杂的动态巨系统,具有复杂的自组织现象。自然因素和社会经济因素在不同的时间、空间尺度上相互作用、相互影响,共同作用于城市系统的演变,使演变具有很大的不确定性,无法使用数学公式进行表达和模拟。但元胞自动机的特点使得它成为城市空间复杂系统演化动态模拟的主要方法。

在20世纪70年代, Tobler将元胞自动机的概念引入地理学研究,他用CA 模型来模拟当时美

国五大湖边底特律地区城市的迅速扩展,并且他认为类似元胞自动机的地理模型的采用是分析模拟地理动态现象的一次方法革命。在20世纪80年代, Couclelis对元胞自动机在城市扩展方面的应用潜力从理论上作了充分的论述,她认为在城市发展政策和城市发展模拟中,不确定性的特点决定了要用这类模型来进行建模。尤其是对元胞自动机模拟城市扩散的阐述,对后来这方面的研究有深远的影响。

进入20世纪90年代,越来越多CA 模型应用于城市增长的模拟研究中。White 和Engelen多次成功地应用元胞自动机模型模拟了城市的土地利用变化,如美国Cincinnati市的城市增长,全球气候变化对Caribbean岛土地利用构成变化的影响研究等。Deadman等利用CA来模拟加拿大Ontario地区的农村居民点的扩张过程, 获得了很好的结果.Phipps、Cecchini等很多学者都将CA 模型应用于城市形态、城市扩展以及城镇用地状况的模拟研究。Bessusi等用CA模型对意大利东北部城市的扩散进行了模拟,取得了很好的效果,并且将其应用于城市规划的实践当中。曾辉、Sui and Zeng用元胞自动机模型对深圳市郊区的城市扩展情况进行了模拟分析。Barredo等在分析了数字城市的复杂性和其他特征的基础上,用CA模型对爱尔兰的Dublin市从1968年到1998年的城市增长情况进行了模拟分析,并且用分形维数和比较矩阵的方法对模拟结果进行了检验。

2.3 研究现状

由于人们对元胞自动认识的侧重点的不同和具体城市的特性,元胞自动机在城市扩展方面的应用也是百家争鸣,与其对应的结果当然也是百花齐放。截至到目前为止,元胞自动机在城市扩展方面的应用研究主要集中在以下方向:

2.3.1 单纯CA模型的应用

在CA模型的模拟过程中,城市形态的演变过程可以很方便地动态显示出来。尽管城市发展受一系列复杂的因素所影响,但CA模型可以有效地模拟各种可能条件下城市发展的状况,从而探讨城市发展的趋势。元胞转换规则的获取和定义是CA模型的核心,转换规则中的参数对模拟结果有重要影响,如何有效地定义和获取这些参数是模拟真实对象演变的关键。因此,对转换规则的研究也必然是专家或学着热衷的领域,这主要体现在:

(1).基于案例推理的元胞自动机城市扩展模拟:元胞自动机在研究大区域或模拟时间较长时,想要定义的具体规则来反映城市各地理现象的演变与其影响要素之间的复杂关系有较大的困难。基于案例推理的CA模型是利用案例推理来决定元胞状态的转变,例如从非城市用地转变为城市用地的过程。由于对k最近邻算法进行了改进,将空间距离也引进相似度的计算中,使得案例推理能隐含地反映随空间而变化的动态转换规则。而且,由于在模拟过程中也将新的遥感数据加入到案例库中,所得案例库也是动态更新的,因此可以反映随时间而变

化的动态转换规则。将该模型应用于大区域的珠江三角洲城市演变中实验结果显示。其模拟的空间格局与实际情况吻合较好与常规的基于Logistic的CA模型进行了对比。所获得的模拟结果有更高的精度和更接近实际的空间格局.特别在模拟较为复杂的区域时有更好的模拟效果。

(2).基于分区域的元胞自动机城市扩展模拟:元胞自动机用于模拟城市扩张具有很好的空间建模能力,通常采用的建模方式将影响因子的空间条件作为线性要素对待,而在元胞转换规则建模中考虑影响因子的空间非线性特征更逼近真实状况。该文提出一种基于分区域的元胞自动机模型,通过划分各个全局影响因子的重要性子区域,计算不同类型区域中各因子对土地利用转换的影响强度,从而得到全区域的空间非线性转换规则。利用该模型模拟东莞市1988 —1993 年的城市扩展过程,并与Logistic 模型模拟结果对比,表明这种有空间约束条件的分区域元胞自动机模拟精度更高,能有效模拟城市扩张的空间格局。

通过划分重要性子区域,约束了模拟过程中城市增长的空间条件,使得模型充分考虑到区域内部各个因子权重的空间差异,分区域进行计算,这与实际土地利用变化的非线性特征更为符合;而且这种方法物理意义清晰、易于解释,有利于用户优化参数,使模拟结果贴近实际情况。对东莞市土地利用变化的模拟也表明,由于引入了空间约束条件,在模拟过程中更好的约束了城市的扩张形态。

(3).基于神经网络与元胞自动机的城市扩展模拟:利用人工神经网络适用于复杂信息的非线性预测特性,将神经网络与元胞自动机相结合,从不同时相遥感数据中挖掘城市扩展土地利用演变的规律,自动找到土地利用元胞的转换规则,并以该规则反演和预测城市的扩展演变。它能够更客观地确定元胞转换规则,挖掘城市空间扩展规律,实现城市扩展反演和预测。以浙江省义乌市为实证案例,对模型检验与优化,与同期义乌城市发展状况基本相吻合。

2.3.2 CA模型与GIS的集成应用

由于CA模型被认为是一种扩展的地理信息系统,随着GIS技术的迅速发展, CA与GIS的集成引起了很多学者的兴趣。所有这些研究大大推动了CA模型在城市模拟中的应用, GIS为CA 的规则制定提供了重要的信息来源, CA的空间不再是固定不变的,借助GIS可以把空间的分异性引进CA模型中。CA模型和GIS的集成, 一方面增强了GIS的时空动态建模功能,将CA作为动态空间模拟的一种框架纳入GIS分析中,另一方面, GIS提供的强大空间处理能力可以为CA模型准备数据和定义有效的元胞转换规则以及对模拟结果进行可视化,方便CA模型的校验和决策支持。

在国际上,Couclelis就基于CA模型的城市扩展模拟的理论和元胞自动机模型与GIS的集成方法一直在进行深入地研究,这位科学家是用一种栅格式的GIS与CA模型相集成,来模拟城市的空间变化。Xie提出了城市发展动态模型,该模型以元胞自动机理论来描述和模拟具有自相似

和分形分维特征的城市及其发展过程,并借助地理信息系统技术和元胞自动机模型对Buffalo 市的土地利用变化进行了有效地模拟。

相比于国际,国内张显峰、崔伟宏将CA模型的四元组进行了扩展,形成了扩展的ECA模型,并将其作为GIS的一个模块,在Arc / Info的Grid环境下,用AML和Visual Basic语言将其集成到GIS系统. 利用该模型对包头市自1992年以来的城市扩展情况进行了模拟,模拟的结果与实际情况比较吻合. 利用这个CA模型也对包头市2006和2015年的未来发展趋势进行了预测,同样其预测的精度有待未来包头市发展的真实状况来检验。

2.3.3 CA模型与其他研究方法相结合的应用

由于城市系统本身是一个复杂的巨系统,其空间变化的影响因素很多,而各个城市的发展情况又千差万别,任何一种模型或者模拟方法都很难做到对每一个城市的空间变化做出精确地模拟。CA模型也不例外,它也有它自身的局限性,若与其他的研究或模拟方法相结合将有助于对城市空间变化的精确描述与模拟。

有人将元胞自动机模型和多因子评价模型(multi criteria evaluation, MCE)有机集成,并在Arc / Info GIS中应用AML 和C语言,在统一的用户界面上实现了GIS和CA模型、MCE模型的集成,在这一平台的支持下,尝试着对广州市的城市增长进行了模拟,取得了较好地模拟效果. 随后又不断地将其早期建立的元胞自动机模型进行修正,并且与社会经济模型相耦合,在对广州地区城镇土地利用变化的模拟中取得了较好的效果。

Jenerette在CA模型的转换规则上,引入了遗传算法,并且对美国Phoenix地区过去80余年的城镇土地利用状况进行了模拟。Ward建立了一个与社会经济、生物物理模型相结合的约束CA模型,用该模型对澳大利亚昆士兰东南部快速城市化地区的城市增长情况进行了模拟。

2.4 基于CA模型的城市空间变化模拟的未来发展趋势

用CA模型对城市化的过程和发展趋势进行模拟和预测研究,进而为城市规划等相关部门提高科学的决策依据,有着重大的现实意义。

然而前述所有CA及其应用研究中没有考虑人为因素的主观决策行为。其实,在城市的发展过程中,一个城市的行政主管领导(例如市长)以及城市规划人员的主观决策行为起着非常重要的作用,但是CA模型不能模拟主观因素的决策行为,这也就是CA模型在城市模拟研究中的瓶颈之所在,当然也就降低了城市发展模拟与预测的精度。

在空间环境下自组织的假定意味着CA仅仅能被应用于这样的一些空间系统,也就是只能对在时空上是静态的规则、元胞与邻域响应的空间系统。然而状态、规则与邻域不必是静态的, CA本身没有提供赋予状态、规则和邻域动态特征的方法,所以在空间决策过程中对人类主观影响因素的模拟是有限的。许多研究者都强调将人文系统集成到空间模型中的重要性.

Multi-agent systems(MAS)提供了一种既包含人类决策行为又不削弱自组织功能的方法,正好能够弥补CA的不足。MAS与CA在某种程度上可以说是有一定的重叠:实际上, CA也可以被认为是MAS的一种类型。在地学计算的环境下,MAS多数情况下可与CA一起来体现本身具有CA动态特性的元胞空间周围的个体元胞,或者体现CA动态特性所产生的元胞群,以及该元胞群可能获取的特征。

将CA与MAS技术相结合,建立一个能够模拟多个不同参与因子(自然系统)、不同决策者(人文系统)共同影响下的城市发展模型,以此来模拟与预测城市发展的真实状况,将是CA模型在城市空间变化模拟与预测研究中的未来发展趋势。

三小结

本文通过阐明元胞自动机的原理,回顾了元胞自动机在城市扩展方面应用的历史,然后,具体而详细的列举了元胞自动机在城市扩展方面应用所取得的成就,最后,对其未来的发展趋势进行了预测和展望。由于城市是一个具有开放性、不确定性、非线性性、自组织性、随机性等特征的复杂系统,将CA 模型用于模拟城市时空演化过程的研究还有待进一步深化。重点是扩展其转换规则以满足实际应用的需要,CA 中的转换规则的扩展在将来的研究中仍是一个首要问题。

参考文献

[1] 周成虎,孙战利,谢一春.地理元胞自动机研究[M].北京:科学出版社,2001.

[2]黎夏.知识发现及地理元胞自动机[J].地球科学2004, 34 (9):865~872.

[3] 黎夏,叶嘉安.基于神经网络的单元自动机CA及真实和优化的城市模拟[J].地理学报,

002,57(2):159~166.

[4] 李爱民,吕安民,隋春玲.集成GIS的元胞自动机在城市扩展模拟中的应用[J] .

测绘科学技术学报,2009,26(3):165~169.

基于约束条件的元胞自动机土地利用规划布局模型_图文(精)

第32卷第12期 2007年12月武汉大学学报信息科学版Geo matics and Informat ion Science of W uhan U niver sity Vo l.32N o.12Dec.2007收稿日期:2007 10 10。 项目来源:国家自然科学基金资助项目(40271088;广西应用基础研究专项基金资助项目(0731022;广西高校人才小高地资源与环境科学科研创新团队建设经费资助项目。 文章编号:1671 8860(200712 1164 04文献标志码:A 基于约束条件的元胞自动机 土地利用规划布局模型 杨小雄1,2 刘耀林1 王晓红1,3 段滔1 (1 武汉大学资源与环境科学学院,武汉市珞喻路129号,430079 (2 广西师范学院资源与环境科学学院,南宁市明秀东路175号,530001 (3 贵州大学林学院,贵阳市花溪区,550025 摘要:分析了我国当前土地利用规划布局的不足,对标准的元胞自动机模型的元胞涵义、规则定义等进行了 扩展,探讨了元胞自动机模型在政策及相关规划约束、邻域耦合、适宜性约束、继承性约束及土地利用规划指 标约束下的土地利用规划布局的元胞自动机模型。以广西东兴市为例进行了模型的仿真运行和结果分析。 关键词:土地利用规划布局;元胞自动机;约束条件 中图法分类号:P273;P208

常见的土地利用规划布局有土地利用分区模 式和土地利用类型模式[1]。传统的布局方法受人 为因素影响较大,不能动态地反映土地利用规划 布局的全过程,难以适应土地规划智能化信息处 理的需求。 元胞自动机(cellular auto mata,CA作为一 种通用的时空动态模型,已成为城市增长、扩散和 土地利用演化、土地利用情景模拟等方面的研究 热点[2 4]。元胞自动机在土地利用规划布局方面 的研究正处于探讨阶段,并在基本农田保护区的 自动生成方面已取得一些成果[5],但对如何利用 元胞自动机进行区域土地利用规划布局尚未系统 地研究。本文通过基于约束条件的元胞自动机与 GIS 相结合来进行土地利用规划布局研究,对于 消除常规模拟方法所带来的弊端,提高土地利用 总体规划的科学性、合理性具有重要的理论和现 实意义。1 模型构建1.1 基本流程利用元胞自动机进行区域土地利用规划布 局,是从土地利用现状出发,通过土地利用方式的迭代来实现土地利用的规划目标。对于N 种土地利用类型,每个元胞可以有N N 种可能的变化,但在规划期内,土

元胞自动机(CA)代码及应用

元胞自动机(CA)代码及应用 引言 元胞自动机(CA)是一种用来仿真局部规则和局部联系的方法。典型的元胞自动机是定义在网格上的,每一个点上的网格代表一个元胞与一种有限的状态。变化规则适用于每一个元胞并且同时进行。典型的变化规则,决定于元胞的状态,以及其(4或8 )邻居的状态。元胞自动机已被应用于物理模拟,生物模拟等领域。本文就一些有趣的规则,考虑如何编写有效的MATLAB的程序来实现这些元胞自动机。 MATLAB的编程考虑 元胞自动机需要考虑到下列因素,下面分别说明如何用MATLAB实现这些部分。并以Conway的生命游戏机的程序为例,说明怎样实现一个元胞自动机。 ●矩阵和图像可以相互转化,所以矩阵的显示是可以真接实现的。如果矩阵 cells的所有元素只包含两种状态且矩阵Z含有零,那么用image函数来显示cat命令建的RGB图像,并且能够返回句柄。 imh = image(cat(3,cells,z,z)); set(imh, 'erasemode', 'none') axis equal axis tight ●矩阵和图像可以相互转化,所以初始条件可以是矩阵,也可以是图形。以下 代码生成一个零矩阵,初始化元胞状态为零,然后使得中心十字形的元胞状态= 1。 z = zeros(n,n); cells = z; cells(n/2,.25*n:.75*n) = 1; cells(.25*n:.75*n,n/2) = 1; ●Matlab的代码应尽量简洁以减小运算量。以下程序计算了最近邻居总和,并 按照CA规则进行了计算。本段Matlab代码非常灵活的表示了相邻邻居。 x = 2:n-1; y = 2:n-1; sum(x,y) = cells(x,y-1) + cells(x,y+1) + ... cells(x-1, y) + cells(x+1,y) + ... cells(x-1,y-1) + cells(x-1,y+1) + ... cells(x+1,y-1) + cells(x+1,y+1); cells = (sum==3) | (sum==2 & cells); ●加入一个简单的图形用户界面是很容易的。在下面这个例子中,应用了三个 按钮和一个文本框。三个按钮,作用分别是运行,停止,程序退出按钮。文框是用来显示的仿真运算的次数。 %build the GUI %define the plot button plotbutton=uicontrol('style','pushbutton',...

元胞自动机简史

元胞自动机简史 元胞自动机的诞生是人类探索人的认识本质的结果,也是计算技术巨大进步推动的结果。自古以来,人类认识一般问题的根本方法就是,建模和计算(推演)。模型是人类智力能理解自然世界的唯一方式。而元胞自动机正是一种可以用来建模也非常容易进行计算的理论框架和模型工具。最早从计算的视角审视问题的是关心人的认识本质的哲学家。笛卡尔认为, 人的理解就是形成和操作恰当的表述方式。洛克认为, 我们对世界的认识都要经过观念这个中介, 思维事实上不过是人类大脑对这些观念进行组合或分解的过程。霍布斯更是明确提出, 推理的本质就是计算。莱布尼兹也认为, 一切思维都可以看作是符号的形式操作的过程。进入20 世纪, 弗雷格, 怀特海、罗素等人通过数理逻辑把人类的思维进一步形式化, 形成了所谓的命题逻辑及一阶和高阶逻辑。在他们看来, 逻辑和数学, 都是根据特定的纯句法规则运作的。在这里, 所有的意义都被清除出去而不予考虑。在弗雷格和罗素的基础上, 维特根斯坦在他的早期哲学中把哲学史上自笛卡尔以来的原子论的理性主义传统发展到了一个新的高度。在维特根斯坦看来, 世界是逻辑上独立的原子事实的总和, 而不是事物的总和; 原子事实是一些客体的结合, 这些事实和它们的逻辑关系都在心灵中得到表达: 我们在心灵中为自己建造了事实的形象。人工智能事实上就是试图在机器中实现这种理性主义理想的一门学科。 在计算理论发展过程中, 阿兰·图灵(A. Turing) 的思想可以说是最关键的。在1936 年发表的论文中, 图灵提出了著名的图灵机概念。图灵机的核心部分有三: 一条带子、一个读写头、一个控制装置。带子分成许多小格, 每小格存一位数; 读写头受制于控制装置, 以一小格为移动量相对于带子左右移动, 或读小格内的数, 或写符号于其上。可以把程序和数据都以数码的形式存储在带子上。这就是“通用图灵机”原理。图灵在不考虑硬件的前提下, 严格描述了计算机的逻辑构造。这个理论不仅解决了纯数学基础理论问题, 而且从理论上证明了研制通用数字计算机的可行性。 图灵认为, 人的大脑应当被看作是一台离散态机器。尽管大脑的物质组成与计算机的物质组成完全不同, 但它们的本质则是相同。。离散态机器的行为原则上能够被写在一张行为表上, 因此与思想有关的大脑的每个特征也可以被写在一张行为表上, 从而能被一台计算机所仿效。1950 年, 图灵发表了《计算机器和智能》的论文, 对智能问题从行为主义的角度给出了定义, 设计出著名的“图灵测验,论证了心灵的计算本质, 并反驳了反对机器能够思维的9 种可能的意见。 与图灵提出人的大脑是一台离散态的计算机的思想几乎同一时期, 计算机科学的另一个 开创者冯·诺伊曼(J . von Neumann) 则开始从计算的视角思考生命的本质问题。一个人工的机器能够繁殖它自己吗? 当年笛卡尔在声称动物是机器的时候, 就曾被这个问题所难住。但冯·诺伊曼要回答这个问题, 他要找到自动机产生后代的条件, 他要证明机器可以繁殖! 为此, 冯·诺伊曼作了一个思想实验。他想象一台机器漂浮在一个池塘的上面, 这个池塘里有许多机器的零部件。这台机器是一台通用的建造器: 只要给出任何一台机器的描述,这台机器就会在池塘中寻找合适的部件, 然后再制造出这台机器。如果能够给出它自身的描述, 它就可以创造出它本身。不过, 这还不是完全的自我繁殖, 因为后代机器还没有对自身的描述, 它们因此不能复制自己。所以, 冯·诺伊曼继续假定最初的机器还必须包含一个描述复制器, 一旦后代机器产生出来, 它也从亲代那里复制一份关于自身的描述, 这样, 后代机器就可以无穷无尽地繁殖下去。 冯·诺伊曼的试验揭示了一个深刻的问题:任何自我繁殖的系统的基因材料, 无论是自然的还是人工的, 都必须具有两个不同的基本功能: 一方面它必须起到计算机程序的作用, 是一种在繁殖下一代时能够运行的算法, 另一方面它必须起到被动数据的作用, 是一个能够复制和传给下一代的描述。1953 年沃森和克里克揭示的DNA 结构和自我复制的机理。DNA 的特性正好具备冯·诺伊曼所指出的两个要求。 然而, 冯·诺伊曼对他自己的动力学模型并不十分满意。他不能充分地获得最小的逻辑前提, 因为该模型仍然以具体的原材料的吸收为前提。冯·诺伊曼感到, 该模型没有很好地把过程的

城市建设用地扩张研究中CA模型的应用

城市建设用地扩张研究中CA模型的应用 摘要:本文首先介绍了元胞自动机基本理论及其应用于城市建设用地扩张研究中表现的特性。其次,就城市建设用地扩张的特点,阐述了研究中如何定义元胞自动机。然后以Idrisi Andes软件中集成的Markov模型和CA模型为研究工具,重点提出了研究方法及思路。最后总结分析了利用成熟CA模块研究城市建设用地扩张的利弊。 关键词:建设用地;扩张;CA 随着人类生存需求和经济活动的日趋加剧,特别是近年城市化水平的不断提高,给耕地保护和经济发展带来了巨大压力。为了合理有序的推进城市化建设,必须加强城市用地扩张的管理,提高城市用地规划的水平。城市用地是城市复杂巨系统的一部分,其扩张的演变过程遵循一定规律,受到地理条件、基础设施、社会经济、政治、人口、国家政策法规和人类活动等因素的影响。 目前,元胞自动机(CA)模型与GIS技术相结合,进行城市用地扩张的动态模拟日益成为研究热点,作为时空演化分析和模拟的工具,将元胞自动机模型和GIS技术引入城市建设用地扩张的研究中,能够弥补统计分析模型的不足,提供具有时空特性的分析结果。 一、基本概念 元胞自动机(CA)由V on Neumann在20世纪40年代提出,用于研究自复制系统的逻辑特性。元胞自动机是一种时间、空间、状态都离散,空间相互作用及时间因果关系皆局部的网格动力学模型(周成虎等,1999)。分布在规则格网中的每一个元胞拥有有限的离散状态,按照一致的作用规则,根据确定的局部规则同时同步更新元胞状态,完成整个元胞空间的变化。大量元胞通过简单的相互作用完成系统的动态演化。与传统的动力学模型不同,元胞自动机不是由明确的函数或模型确定,而是一系列模型在确定的构造规则条件下的有机组合。遵守这些既定构造规则的模型都可以称作元胞自动机模型。所以元胞自动机是一种解决问题思想,或者说是一个方法框架。 元胞自动机由元胞、元胞空间、元胞状态、邻域、转换规则和离散时间构成。在元胞自动机系统中,各个元胞之间是相互离散的,它们共同构成一个离散的元胞空间;在系统任一个时间点t,每一个元胞只能取离散有限状态集合中的一种状态;邻域由分布在中心元胞周围的元胞集合构成,这些元胞按照一定的布局规则,在中心元胞周围一定范围内,以一定形状存在,邻域对中心元胞下一时刻的状态有很大决定作用;转换规则是元胞状态转换应遵循的规则,确定元胞t到t+1时刻状态是否发生转换和如何转换;元胞自动机中的时间没有具体的意义,是离散的,可以简单的理解为元胞空间的一次迭代变化。 二、建设用地扩张中元胞自动机的构成

基于元胞自动机模型的城市历史文化街区的仿真

文章编号: 1673 9965(2009)01 079 05 基于元胞自动机模型的城市历史文化街区的仿真* 杨大伟1,2,黄薇3,段汉明4 (1.西安工业大学建筑工程系,西安710032;2.西安建筑科技大学建筑学院,西安710055; 3.陕西师范大学历史文化学院,西安710061; 4.西北大学城市与资源学系,西安710069) 摘 要: 为了探讨当前城市规划中远期预测的科学性和准确性问题,将自组织理论与元胞自动机模型结合,在一定的时空区域,构建了一个城市增长仿真模型.将元胞自动机模型应用于西安市最具历史文化特色的区域中,形成自下而上的规划模型.元胞自动机模型对于西安回民区的空间发展城市历史文化特色街区的模拟具有一定的原真性和时效性,在时空中能反应当前的空间格局.元胞自动机在城市规划的预测中具有图式与范式结合的特点,在中长期的预测中形成符合城市规划发展战略的空间格局. 关键词: 元胞自动机;自组织;历史文化特色街区;空间演化 中图号: T U984 文献标志码: A 自组织理论是当前城市复杂性研究的主要研究方向之一.自组织是相对他组织而言,即自我、本身自主地组织化、有机化,意味着一种自动的、自发性的行为,一种自下而上、由内至外的发展方式.其主要涵义可以简单概括:在大多数情况下,作用于系统的外部力量并不能直接对系统的行为产生作用,而是作为一种诱因,即引入序参量引发系统内部发生相变,系统通过这一系列的变化自发地组织起来,最终大量微观个体的随机过程表现出宏观有序的现象[1]. 20世纪40年代U lam提出元胞自动机模型(Cellular Autom at o n M odel,CA),V on N eu m ann将其用于研究自复制系统的逻辑特性,且很快用于研究自组织系统的演变过程,其中对城市系统自组织过程的模拟是焦点问题[2 9]. CA是定义在一个具有离散状态的单元(细胞)组成的离散空间上,按一定的局部规则在离散时间维演化的动力学系统.一个CA模型通常包括单元、状态、邻近范围和转换规则4要素[9],单元是其最小单位,而状态则是单元的主要属性.根据转换规则,单元可以从一个状态转换为另外一个状态,转换规则通过多重控制函数来实现. 自组织理论的提出,对于解释相对封闭,具有自身演化规律的复杂适应系统中的复杂现象和问题具有重要意义和应用前景.而CA 自下而上的研究思路,强大的复杂计算功能、固有的并行计算能力、高度动态特征以及具有空间概念等特征,使其在模拟空间复杂系统的时空演变方面具有很强的能力,在城市学研究中具有天然优势[9 15].本文将自组织理论引入CA模型,并将该模型首次应用于西安回民区这一复杂的相对独立的历史街区中,就是为了得出其在自组织的作用下,未来20年空间发展的变化模型,为城市规划的制定做出科学的预测.下面对西安回民区做一简单介绍. 西安回民区位于西安旧城中心的中西地段,东接西安历史文化遗产钟楼和北大街,西接洒金桥,南到西大街,北到莲湖路,面积约为93.4公顷,人口约为77600人,在此居住的居民中有43.6%以 第29卷第1期 西 安 工 业 大 学 学 报 V o l.29No.1 2009年02月 Jo urnal o f Xi!an T echnolo g ical U niver sity Feb.2009 *收稿日期:2008 06 04 基金资助:国家自然科学基金(50678149) 作者简介:杨大伟(1981 ),男,西安工业大学助教,西安建筑科技大学博士研究生,主要研究方向为城市空间复杂性. E mail:yangdaw ei@https://www.360docs.net/doc/4314991572.html,.

元胞自动机简史

元胞自动机简史元胞自动机的诞生是人类探索人的认识本质的结果,也是计算技术巨大进步推动的结果。自古以来,人类认识一般问题的根本方法就是,建模和计算(推演)。模型是人类智力能理解自然世界的唯一方式。而元胞自动机正是一种可以用来建模也非常容易进行计算的理论框架和模型工具。最早从计算的视角审视问题的是关心人的认识本质的哲学家。笛卡尔认为, 人的理解就是形成 和操作恰当的表述方式。洛克认为, 我们对世界的认识都要经过观念这个中介, 思维事实上不过是 人类大脑对这些观念进行组合或分解的过程。霍布斯更是明确提出, 推理的本质就是计算。莱布尼兹也认为, 一切思维都可以看作是符号的形式操作的过程。进入20 世纪, 弗雷格, 怀特海、罗素等人通过数理逻辑把人类的思维进一步形式化, 形成了所谓的命题逻辑及一阶和高阶逻辑。在他们看来, 逻辑和数学, 都是根据特定的纯句法规则运作的。在这里, 所有的意义都被清除出去而不 予考虑。在弗雷格和罗素的基础上, 维特根斯坦在他的早期哲学中把哲学史上自笛卡尔以来的原 子论的理性主义传统发展到了一个新的高度。在维特根斯坦看来, 世界是逻辑上独立的原子事实 的总和, 而不是事物的总和; 原子事实是一些客体的结合, 这些事实和它们的逻辑关系都在心灵中得到表达: 我们在心灵中为自己建造了事实的形象。人工智能事实上就是试图在机器中实现这种理性主义理想的一门学科。 在计算理论发展过程中,阿兰图灵(A. Turing)的思想可以说是最关键的。在1936年发表的论 文中, 图灵提出了著名的图灵机概念。图灵机的核心部分有三: 一条带子、一个读写头、一个控制装置。带子分成许多小格, 每小格存一位数; 读写头受制于控制装置, 以一小格为移动量相对于带子左右移动, 或读小格内的数, 或写符号于其上。可以把程序和数据都以数码的形式存储在带子上。这就是“通用图灵机”原理。图灵在不考虑硬件的前提下, 严格描述了计算机的逻辑构造。这个理论不仅解决了纯数学基础理论问题, 而且从理论上证明了研制通用数字计算机的可行性。 图灵认为, 人的大脑应当被看作是一台离散态机器。尽管大脑的物质组成与计算机的物质组成完全不同, 但它们的本质则是相同。。离散态机器的行为原则上能够被写在一张行为表上, 因此与思想有关的大脑的每个特征也可以被写在一张行为表上, 从而能被一台计算机所仿效。1950 年, 图灵发表了《计算机器和智能》的论文, 对智能问题从行为主义的角度给出了定义, 设计出著名的“图灵测验,论证了心灵的计算本质, 并反驳了反对机器能够思维的9 种可能的意见。 与图灵提出人的大脑是一台离散态的计算机的思想几乎同一时期, 计算机科学的另一个 开创者冯诺伊曼J . von Neumann)则开始从计算的视角思考生命的本质问题。一个人工的机器能 够繁殖它自己吗?当年笛卡尔在声称动物是机器的时候,就曾被这个问题所难住。但冯诺伊曼要回答这个问题, 他要找到自动机产生后代的条件, 他要证明机器可以繁殖! 为此,冯诺伊曼作了一个思想实验。他想象一台机器漂浮在一个池塘的上面,这个池塘里有许多机器的零部件。这台机器是一台通用的建造器: 只要给出任何一台机器的描述,这台机器就会在 池塘中寻找合适的部件, 然后再制造出这台机器。如果能够给出它自身的描述, 它就可以创造出它本身。不过, 这还不是完全的自我繁殖, 因为后代机器还没有对自身的描述, 它们因此不能复制自己。所以,冯诺伊曼继续假定最初的机器还必须包含一个描述复制器,一旦后代机器产生岀来,它也从亲代那里复制一份关于自身的描述, 这样, 后代机器就可以无穷无尽地繁殖下去。 冯诺伊曼的试验揭示了一个深刻的问题:任何自我繁殖的系统的基因材料,无论是自然的还是人工的, 都必须具有两个不同的基本功能: 一方面它必须起到计算机程序的作用, 是一种在繁殖下一代时能够运行的算法, 另一方面它必须起到被动数据的作用, 是一个能够复制和传给下一代的描述。1953 年沃森和克里克揭示的DNA 结构和自我复制的机理。DNA 的特性正好具备冯诺伊曼所指岀的两个要求。 然而, 冯诺伊曼对他自己的动力学模型并不十分满意。他不能充分地获得最小的逻辑前提, 因为该模型仍然以具体的原材料的吸收为前提。冯诺伊曼感到, 该模型没有很好地把过程的 逻辑形式和过程的物质结构区分开。作为一个数学家,冯诺伊曼需要的是完全形式化的抽象理

元胞自动机在城市扩展方面的应用综述

元胞自动机在城市扩展方面的应用综述 摘要 本文在介绍元胞自动机各要素的基础上,综述了元胞自动机用于城市扩展模拟的历史、元胞自动机用于城市扩展模拟的具体研究方向,即在具体的模型中如何确定模型的结构和参数,并对其未来的发展趋势进行了展望,并指出CA 中的转换规则的扩展是在将来的研究中的一个首要问题。 关键字:元胞自动机;城市扩展模拟;转换规则 一引言 元胞自动机(CA)是一种时间、空间、状态都离散,空间的相互作用及时间上的因果关系皆局部的网格动力学模型,其“自下而上”的研究思路,强大的复杂计算功能、固有的平行计算能力、高度动态以及具有空间概念等特征,使得它在模拟空间复杂系统的时空动态演变方面具有很强的能力。在城市空间动态变化的模拟研究方面, CA模型已应用到除非洲、南极洲的所有大洲的城市模拟研究当中。 CA模型和GIS的集成,一方面增强GIS的空间模型运算及分析能力,另一方面, GIS提供的强大空间处理能力可以为CA模型准备数据和定义有效的元胞转换规则以及对模拟结果进行可视化。同时CA模型还可以与神经网络、主成分分析、遗传算法、模糊逻辑以及其他研究方法相结合,以增强其在城市空间变化模拟研究方面的能力。将CA与MAS技术相结合,建立一个能够模拟多个不同参与因子(自然系统) 、不同决策者(人文系统)共同影响下的城市发展模型,以此来模拟与预测城市发展的真实状况,将是CA模型在城市空间变化模拟与预测研究中的未来发展趋势。 国内元胞自动机应用研究起步较晚,受国际研究的推动,20世纪90年代末地理学界才开始类似的尝试研究,主要集中在基于元胞自动机的LUCC和城市增长模拟,罗平从经典地理过程分析的基本理论人手,分析和阐述了CA对于经典,地理过程分析概念的表达程度的局限性,综合地理系统的几何属性和非几何属性提出了基于地理特征概念的元胞自动机(GeoFeature 一CA),周成虎等人在Batty和Xie的DUEM模型的基础上,构建了面向对象的、随机的、不同构的和两个CA模型耦合的GeoCA—Urban模型,并成功模拟了深圳特区土地利用动态演化过程。何春阳、史培军等从宏观外部约束性因素和局部城市单元自身扩展能力变化的角度建立元胞自动机模型对北京地区城市发展过程进行了模拟重建和不同情景预测。 本文在介绍元胞自动机原理的基础上,对比国内外元胞自动机在城市扩展方面的研究现状和新进展,总结近年来元胞自动机研究的热点和聚焦所在,对其未来的发展趋势进行预测。

元胞自动机的定义与构成及其特征

元胞自动机的定义与构成及其特征 https://www.360docs.net/doc/4314991572.html, 2005-4-17 15:05:00 来源:生命经纬 尽管元胞自动机有着较为宽松,甚至近乎模糊的构成条件。但作为一个数理模型,元胞自动机有着严格的科学定义。同时,元胞自动机是一个地地道道的"混血儿"。是物理学家、数学家,计算机科学家和生物学家共同工作的结晶。因此。对元胞自动机的含义也存在不同的解释,物理学家将其视为离散的、无穷维的动力学系统;数学家将其视为描述连续现象的偏微分方程的对立体,是一个时空离散的数学模型;计算机科学家将其视为新兴的人工智能、人工生命的分支;而生物学家则将其视为生命现象的一种抽象。下面给出几种常见的定义: 1.元胞自动机的物理学定义 元胞自动机是定义在一个由具有离散、有限状态的元胞组成的元胞空间上,并按照一定局部规则,在离散的时间维上演化的动力学系统。 具体讲,构成元胞自动机的部件被称为"元胞",每个元胞具有一个状态。这个状态只琵取某个有限状态集中的一个,例如或"生"或"死",或者是256中颜色中的一种,等等;这些元胞规则地排列在被你为"元胞空间"的空间格网上;它们各自的状态随着时间变化。而根据一个局部规则来进行更新,也就是说,一个元胞在某时刻的状态取决于、而且仅仅家决于上一时刻该元胞的状态以及该元胞的所有邻居元胞的状态;元胞空间内的元胞依照这样的局部规则进行同步的状态更新,整个元胞空间则表现为在离散的时间维上的变化。 2.元胞自动机的数学定义 美国数学家L.P.Hurd和K·Culik等人在90年代初,对元胞自动机分别从集合论和拓扑学等角度进行了严格地描述和定义 (谢惠民,1994; Culik,II K,1990;李才伟,1997) 1)基于集合论的定义 设d代表空间维数,k代表元胞的状态,并在一个有限集合S中取值,r表元胞的邻居半径。Z是整数集,表示一维空间,t代表时间。 为叙述和理解上简单起见,在一维空间上考虑元胞自动机,即假定d=1。那么整个元胞空间就是在一维空间,将整数集Z上的状态集S的分布,记为S Z。元胞自动机的动

元胞自动机参考文献

[1] Zhou W H, Lee J, Li G L, et al. Embedding Game of Life into a Simple Asynchronous Cellular Automaton[C]. Computing and Networking (CANDAR), 2014 Second International Symposium on IEEE, 2014: 503-506. [2]Tian J, Treiber M, Zhu C, et al. Cellular Automaton Model with Non-hypothetical Congested Steady State Reproducing the Three-Phase Traffic Flow Theory[M]. Cellular Automata. Springer International Publishing, 2014: 610-619. [3]Delivorias S, Hatzikirou H, Penaloza R, et al. Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics[M]. Cellular Automata. Springer International Publishing, 2014: 357-366. [4] D'Ariano G M, Mosco N, Perinotti P, et al. Path-integral solution of the one-dimensional Dirac quantum cellular automaton[J]. Physics Letters A, 2014, 378(43): 3165-3168. [5] Bisio A, D’Ariano G M, Tosini A. Quantum field as a quantum cellular automaton: The Dirac free evolution in one dimension[J]. Annals of Physics, 2015, 354: 244-264. [6] Masuda T, Nishinari K, Schadschneider A. Cellular Automaton Approach to Arching in Two-Dimensional Granular Media[M]. Cellular Automata. Springer International Publishing, 2014: 310-319. [7] Takada K, Namiki T. on Limit Set of Two-Dimensional Two-State Linear Cellular Automaton Rules[C]. Computing and Networking (CANDAR), 2014 Second International Symposium on. IEEE, 2014: 470-475. [8] Al-Mamun M A, Srisukkham W, Fall C, et al. A cellular automaton model for hypoxia effects on tumour growth dynamics[C].Software, Knowledge, Information Management and Applications (SKIMA), 2014 8th International Conference on. IEEE, 2014: 1-8. [9] Hu M L, Sun J. Sudden change of geometric quantum discord in finite temperature reservoirs[J]. Annals of Physics, 2015, 354: 265-273. [10] Bure? M, Siegl P. Hydrogen atom in space with a compactified extra dimension and potential defined by Gauss’ law [J]. Annals of Physics, 2015, 354: 316-327. [11] Terrier V. Recognition of linear-slender context-free languages by real time one-way cellular automata[C]. AUTOMATA 2015. 2015, 9099: 251-262. [12] Fuentes M L, Klimchuk J A. Two-dimensional cellular automaton model for the evolution of active region coronal plasmas[J]. The Astrophysical Journal, 2015, 799(2): 128. [13] Tucker G E, Hobley D E J, Hutton E, et al. CellLab-CTS 2015: a Python library for continuous-time stochastic cellular automaton modeling using Landlab[J]. Geoscientific Model Development Discussions, 2015, 8: 9507-9552.

数学建模常用算法模型

按模型的数学方法分: 几何模型、图论模型、微分方程模型、概率模型、最优控制模型、规划论模型、马氏链模型等 按模型的特征分: 静态模型和动态模型,确定性模型和随机模型,离散模型和连续性模型,线性模型和非线性模型等 按模型的应用领域分: 人口模型、交通模型、经济模型、生态模型、资源模型、环境模型等。 按建模的目的分: 预测模型、优化模型、决策模型、控制模型等 一般研究数学建模论文的时候,是按照建模的目的去分类的,并且是算法往往也和建模的目的对应 按对模型结构的了解程度分: 有白箱模型、灰箱模型、黑箱模型等 比赛尽量避免使用,黑箱模型、灰箱模型,以及一些主观性模型。 按比赛命题方向分: 国赛一般是离散模型和连续模型各一个,2016美赛六个题目(离散、连续、运筹学/复杂网络、大数据、环境科学、政策) 数学建模十大算法 1、蒙特卡罗算法 (该算法又称随机性模拟算法,是通过计算机仿真来解决问题的算法,同时可以通过模拟可以来检验自己模型的正确性,比较好用的算法) 2、数据拟合、参数估计、插值等数据处理算法 (比赛中通常会遇到大量的数据需要处理,而处理数据的关键就在于这些算法,通常使用Matlab作为工具)

3、线性规划、整数规划、多元规划、二次规划等规划类问题 (建模竞赛大多数问题属于最优化问题,很多时候这些问题可以用数学规划算法来描述,通常使用Lindo、Lingo软件实现) 4、图论算法 (这类算法可以分为很多种,包括最短路、网络流、二分图等算法,涉及到图论的问题可以用这些方法解决,需要认真准备) 5、动态规划、回溯搜索、分治算法、分支定界等计算机算法 (这些算法是算法设计中比较常用的方法,很多场合可以用到竞赛中) 6、最优化理论的三大非经典算法:模拟退火法、神经网络、遗传算法 (这些问题是用来解决一些较困难的最优化问题的算法,对于有些问题非常有帮助,但是算法的实现比较困难,需慎重使用) 7、网格算法和穷举法 (当重点讨论模型本身而轻视算法的时候,可以使用这种暴力方案,最好使用一些高级语言作为编程工具) 8、一些连续离散化方法 (很多问题都是从实际来的,数据可以是连续的,而计算机只认的是离散的数据,因此将其离散化后进行差分代替微分、求和代替积分等思想是非常重要的) 9、数值分析算法 (如果在比赛中采用高级语言进行编程的话,那一些数值分析中常用的算法比如方程组求解、矩阵运算、函数积分等算法就需要额外编写库函数进行调用)10、图象处理算法 (赛题中有一类问题与图形有关,即使与图形无关,论文中也应该要不乏图片的这些图形如何展示,以及如何处理就是需要解决的问题,通常使用Matlab进行处理) 算法简介 1、灰色预测模型(必掌握)

城市规划-元胞自动机

元胞自动机-城市规划 城市规模设计 雄安新区占地总面积约为2000平方公里,涉及河北省雄县、容城、安新3个县及周边部分区域,地处北京、天津、保定腹地,通过ArcGIS地图软件搜索该区域并从中提取出来,区域图如下所示。 图5 雄安新区区域图 为对雄安新区进行更好的仿真模拟,首先先在地图中截取雄安新区地图,然后进行边缘轮廓提取和白洋淀等不可开发地区的剔除,获得预处理图像。最后用MATlAB进行图像灰度化、二值化处理如下图所示。为后续元胞自动机提供演变地图。 图6 Matlab识别图 城市规划CA模型总步骤: 1: Step首先确定其组成的主要元素:元胞、元胞空间、元胞状态、元胞邻域及转变规则 2: Step分析模拟城市空间结构;

3:Step 确定模型的参数:繁殖参数、扩散参数、传播参数及受规划约束参数 4:Step 确定模型所需元胞转换规则的定义 5:Step 进行城市发展模拟。 ①本文提取的雄安新区地图像素为135109m m ?,元胞空间定义为11m m ?;元胞状态对应的是该地的四种状态:未城市化(即对应能开发还未开发的区域),城市化,扩展中心城市,不能被开发(如白洋淀等区域)。土地状态用编码表示。 ②元胞邻域选取为on V Neumann 邻居,在CA 系统中一个元胞1t +时刻的状态取决于它t 时刻与它邻域内其他元胞状态,考虑到地区之间发展限制因素较多,所以选取邻域较少的Neumann V on 邻居型[7]。 on V Neumann 邻居型数学定义为: ()(){} 20,,1|||||,Z v v v v v v v v v N iy ix oy iy x ix iy ix i ∈≤-+-== (4.18) 式(18)中i v 、y v 为中心元胞邻居元胞的行列坐标值,ax v 、oy v 为中心元胞的行列坐标值。 ③模型参数 借鉴参考文献[7]中的CA 模型设置了以下几个主要参数来描述城市发展[7]。 1.扩散参数diffusion :在自然增长规则下,扩散参数可以表示一个城市化单元格元胞可能转换成另一个城市化单元格元胞的次数 2.繁殖参数breed :在新中心传播增长规则中,繁殖参数用于一个城市化元胞可能转变成为一个新的中心传播城市化元胞 3.传播参数spread :在边界增长的规则下,用于一个扩散中心的已城市化的邻居元胞转变为城市化的可能性 4.规划系数参数onst int C ra :城市规划是城市工程建设和城市管理中基本依据之一,规划系数的变化对规划区最终达成的效果有约束作用[7] 模型转换规则: ④元胞的转换规则是指元胞状态的演化过程的法则,当前中心元胞和邻居元胞所处的状态决定下一个时刻贵中心状态的动力学函数,即一个状态转移函数[7]。 ()11 :,t t t i i n f s f s s ++= (4.19) 式(4.19)中t i s 表示中心元胞i 在t 时刻的状态,t n s 为t 时刻的邻居状态的组 合,1t i s +为中心元胞i 在1t +时刻所处的状态,f 为映射函数,即为元胞局部运动规则[7]。 ⑤在传统的CA 模型转换规则上进行扩展,规则为:边界增长规则、自然增长规则、新扩展中心型增长规则及受规划系数影响增长规则[7]。 1.边界增长规则:原有城市元胞边缘一定区域内,随着城市化发展,城市向外扩展,生成一个新的城市化元胞,体现了城市发展的集聚效应[7]。规定对于

元胞自动机方法及其在材料介观模拟中的应用

https://www.360docs.net/doc/4314991572.html, 1 元胞自动机方法及其在材料介观模拟中的应用 何燕,张立文,牛静 大连理工大学材料系(116023)  E-mail : commat @https://www.360docs.net/doc/4314991572.html,   摘 要:元胞自动机(CA)是复杂体系的一种理想化模型,适合于处理难以用数学公式定量描 述的复杂动态物理体系问题,如材料的组织演变等。本文概述了元胞自动机方法的基本思想 及原理,介绍了CA的基本组成及特征,综述了CA方法在材料介观模拟研究中的应用。研究表 明CA法在对金属凝固结晶、再结晶、及相变现象等材料介观尺度的组织模拟中表现出特有的 优越性。  关键词:元胞自动机,组织演变,介观模拟,动态再结晶 1. 引 言  自20世纪计算机问世以来,用计算机建立模型来模拟材料行为的方法在材料设计中的 应用越来越广泛,此方法既可节省大量的人力物力和实验资金,又能为实验提供巨大的灵活 性和方便性,因而已经引起了各界科学家的高度重视和极大兴趣。计算机对材料行为的模拟 主要有三个方面:材料微观行为、介观行为和宏观行为的模拟。材料的微观行为是指在电子、原子尺度上的材料行为,如模拟离子实(原子)体系行为,在这方面主要应用分子动力学、分子力学等理论方法;材料的介观行为是指材料显微组织结构的转变,包括金属凝固结晶、再结晶及相变过程,在这方面的模拟主要应用Monte Carlo(MC)方法和Cellular Automata(CA)方法;材料的宏观行为主要指材料加工方面,如材料加工中的塑性变形,应力 应变场及温度场的变化等,在这方面的模拟工作主要应用大型有限元软件Marc, Ansys等。大量实验研究表明,材料的微观组织结构决定了其宏观行为及特征。因此,对材料介观行为 的模拟显得尤为重要。传统的数学建模方法是建立描述体系行为的偏微分方程,它依赖于对 体系的成熟定量理论,而对大多数体系来说这种理论是缺乏的;从微观入手的Monte Carlo 方法主要依赖于体系内部自由能的计算,由于其运算量大,需要大量的数据,运算速度慢,为模拟工作带来了诸多不便;而CA方法则另辟蹊径,通过直接考察体系的局部相互作用, 再借助计算机模拟这种作用导致的总体行为,从而得到其组态变化,并体现出宏观上的金属 性能。由于CA的结构简单,便于计算,允许考虑数量极大的元胞,并且在空间和时间的尺 度上都不受限制,出于以上特点,元胞自动机方法已经受到越来越多研究工作者的青睐。本 文概述了元胞自动机方法的基本思想及原理,介绍了CA的基本组成及特征,对CA法在模拟 介观组织行为方面的应用进行了综述。

元胞自动机在城市土地利用规划中的应用

元胞自动机在城市土地利用规划中的应用 一.研究背景及进展 1.1城市土地利用研究背景和进展 随着中国社会主义市场经济体制的不断完善,计划导向的土地利用规划也逐步向社会主义市场经济体制下的土地利用规划转变。借鉴国际上市场经济国家土地利用规划的经验,建立具有中国特色的土地利用规划体系成为必然。对国际上土地利用规划的对比研究有以下主要观点: 美国的土地利用规划更多采用公众参与的方法,参与者包括房屋所有人、社会活动家、房地产开发商、联邦和州政府、规划委员会以及民选官员包括城市议会会员。同时,美国基于可持续发展的土地利用规划设计了保护生态环境、维持生态平衡、注重新技术的应用、提高土地利用效率和控制人口增长的一系列政策。 联合国粮食与农业组织(FAO)的土地利用规划指南强调土地利用规划作为最佳土地利用的选择,是以土地评价为基础的,而且不仅包括自然的适宜性评价,也包括经济效益的评价和环境效应的检验,这是编制规划方案和方案选择的科学基础。 英国规划的体系由国家级规划、区域性规划、郡级规划、区级规划组成。国家级规划叫规划政策指南,提出全国性的土地利用方针政策,以白皮文件的形式下发。地区规划又叫区域规划指南,通过召开区域协调会议制定。郡级规划也叫结构规划,由每一个郡级的规划机关在土地测量基础上,与相关委员会协商后提出本郡土地利用的方针、政策及发展的框架结构。区级规划也叫地方规划,是一种详细的发展和实施规划。 科学发展观对土地利用规划的科学性提出了较高的要求,土地利用规划的应用基础研究尤为重要。从2002年国土资源部启动12个县级规划试点工作,2003年又启动14个地(市)级规划修编试点,2004年土地利用规划修编的重新开始,到2005年关于土地利用规划前期研究工作的国办[32]文的颁布,新一轮土地利用规划稳步开展。相应的土地利用规划相关研究也日益深入,但与城市规划相比,与作为中国空间规划重要组成部分的地位要求还有一定差距。但这些研究的广泛开展标志着中国土地利用规划逐渐走上了新的轨道,是提高中国土地利用规划科学性的重要基础。 城市总体规划和土地利用规划同属空间规划,受空间规划理论和方法的指导。从发展历程而言,两者都经历了开发、发展、控制和保护的不同阶段,或者是物质规划、生态规划、社会规划、文化规划等不同的阶段;就指导理论而言,更具有大体一致的内容;而就实体理论而言,由于规划具体内容的不同而有所差别。但在具体的技术和方法上,都是针对空间问题进行分析、预测和布局的,因而具有相似的方法。两个规划在理论和方法上的一致成为未来两个规划走向一体化的基础[1]。 1.2元胞自动机的研究背景及进展 元胞自动机即Cellular Automata,称作单元自动机,简称CA。起源于20世纪40年代,“现代计算机之父”冯.诺伊曼设计可自我复制的自动机时,参照了生物现象的自繁殖原理,提出了元胞自动机的概念和模型。它是一时间和空间都离散的动力系统,散步在规则格网中的每一元胞取有限的离散状态,遵循同样的作用规则,依据确定的局部规则同步更新,大量元胞通过简单的相互作用而构成动态系统的演化,不同于一般的动力学模型,元胞自动机不

基于元胞自动机原理的微观交通仿真模型

2005年5月重庆大学学报(自然科学版)May2005第28卷第5期Journal of Chongqing University(Natural Science Editi on)Vol.28 No.5 文章编号:1000-582X(2005)05-0086-04 基于元胞自动机原理的微观交通仿真模型3 孙 跃,余 嘉,胡友强,莫智锋 (重庆大学自动化学院,重庆 400030) 摘 要:描述了一种对高速路上的交通流仿真和预测的模型。该模型应用了元胞自动机原理对复杂的交通行为进行建模。这种基于元胞自动机的方法是将模拟的道路量离散为均匀的格子,时间也采用离散量,并采用有限的数字集。同时,在每个时间步长,每个格子通过车辆跟新算法来变换状态,车辆根据自定义的规则确定移动格子的数量。该方法使得在计算机上进行仿真运算更为可行。同时建立了跟车模型、车道变换的超车模型,并根据流程对新建的VP算法绘出时空图。提出了一个设想:将具备自学习的神经网络和仿真系统相结合,再根据安装在高速路上的传感器所获得的统计数据,系统能对几分钟以后的交通状态进行预测。 关键词:元胞自动机;交通仿真;数学模型 中图分类号:TP15;TP391.9文献标识码:A 1 元胞自动机 生物体的发育过程本质上是单细胞的自我复制过程,50年代初,计算机创始人著名数学家冯?诺依曼(Von Neu mann)曾希望通过特定的程序在计算机上实现类似于生物体发育中细胞的自我复制[1],为了避免当时电子管计算机技术的限制,提出了一个简单的模式。把一个长方形平面分成若干个网格,每一个格点表示一个细胞或系统的基元,它们的状态赋值为0或1,在网格中用空格或实格表示,在事先设定的规则下,细胞或基元的演化就用网格中的空格与实格的变动来描述。这样的模型就是元胞自动机(cellular aut omata)。 80年代,元胞自动机以其简单的模型方便地复制出复杂的现象或动态演化过程中的吸引子、自组织和混沌现象而引起了物理学家、计算机科学家对元胞自动机模型的极大兴趣[1]。一般来说,复杂系统由许多基本单元组成,当这些子系统或基元相互作用时,主要是邻近基元之间的相互作用,一个基元的状态演化受周围少数几个基元状态的影响。在相应的空间尺度上,基元间的相互作用往往是比较简单的确定性过程。用元胞自动机来模拟一个复杂系统时,时间被分成一系列离散的瞬间,空间被分成一种规则的格子,每个格子在简单情况下可取0或1状态,复杂一些的情况可以取多值。在每一个时间间隔,网格中的格点按照一定的规则同步地更新它的状态,这个规则由所模拟的实际系统的真实物理机制来确定。格点状态的更新由其自身和四周邻近格点在前一时刻的状态共同决定。不同的格子形状、不同的状态集和不同的操作规则将构成不同的元胞自动机。由于格子之间在空间关系不同,元胞自动机模型分为一维、二维、多维模型。在一维模型中,是把直线分成相等的许多等分,分别代表元胞或基元;二维模型是把平面分成许多正方形或六边形网格;三维是把空间划分出许多立体网格。一维模型是最简单的,也是最适合描述交通流在公路上的状态。 2 基于元胞自动机的交通仿真模型的优点目前,交通模型主要分为3类: 1)流体模型(Hydr odyna m ic Model),在宏观上,以流体的方式来描述交通状态; 2)跟车模型(Car-f oll owing Model),在微观上,描述单一车辆运动行为而建立的运动模型; 3)元胞自动机模型(Cellular Aut omat on),在微观 3收稿日期:2005-01-04 基金项目:重庆市自然科学基金项目(6972) 作者简介:孙跃(1960-),浙江温州人,重庆大学教授,博士,研究方向:微观交通仿真、电力电子技术、运动控制技术及系统。

相关文档
最新文档