状态扩展元胞自动机模型在时空数据挖掘中的应用_喻永平

状态扩展元胞自动机模型在时空数据挖掘中的应用_喻永平
状态扩展元胞自动机模型在时空数据挖掘中的应用_喻永平

第33卷第6期2008年6月武汉大学学报·信息科学版Geo matics and Informa tion Science of W uhan U niver sity

V ol .33N o .6

June 2008

收稿日期:2008-04-08。

项目来源:广东省科技创新基金资助项目(2007C 32902)。

文章编号:1671-8860(2008)06-0592-04文献标志码:A

状态扩展元胞自动机模型在时空

数据挖掘中的应用

喻永平1,2 陈晓勇3 刘经南4 都 洁5

(1 广州市城市规划勘测设计研究院,广州市建设二马路23号,510060)(2 武汉大学测绘遥感信息工程国家重点实验室,武汉市珞喻路129号,430079)

(3 亚洲理工学院空间技术应用研究系,泰国曼谷,12120)

(4 武汉大学校长办公室,武汉市珞珈山,430072)(5 武汉大学GPS 研究中心,武汉市珞喻路129号,430079)

摘 要:引入状态扩展元胞自动机模型对时空数据进行挖掘,其核心是引入可以量化的属性和不可量化的状态对元胞状态进行扩展,解决时空数据挖掘中数据稀疏性和属性数据交互性问题,采用遗传算法寻找元胞自动机模型的最优规则。实验结果表明,对于复杂的非线性和数据稀疏性问题,利用该方法能得到比传统方法更好的结果。

关键词:元胞自动机;遗传算法;时空数据挖掘;模式识别;智能地理信息系统中图法分类号:P208

地理系统是复杂的时空演变系统,地理现象的变化是在环境和人为共同作用下的变化,寻找地理现象变化规律一直都是地理学者研究的重点。数据挖掘就是要从海量的数据中挖掘出隐含

的、未知的、潜在的有用知识,从而为决策支持服务。

元胞自动机(CA )模型是典型的时空动态变化模型,已经应用到地理学领域。CA 模型研究的关键是演变规则,常见的建模方法有参数化过程建模和启发式建模,都由地理现象变化的专家知识获取模型规则。本文将状态扩展CA 模型应用到数据稀疏性和属性数据交互性的地理现象中,对时空数据进行挖掘。

1 状态扩展CA 模型

CA 是一种时间、空间、状态都离散,空间相互作用和时间因果关系皆局部的网格动力学模

型。标准CA 模型结构如图1,包括元胞空间、元胞状态、演化规则和时间。

CA 模型具有时空变化规律,只要对CA

图1 标准元胞自动机模型图

Fig .1 T he Standard Cellular A utomata M o del

型进行适当扩展,就会成为良好的时空数据挖掘模型。但由于地理现象的复杂性,难以定义一个统一的模型框架。本文CA 模型主要研究地理现象的时空分布演变规律。

状态扩展CA 模型定义如下:

CA ={F ,L ,G ,N ,S ,R }

(1)

这里,F ={f }表示可以量化表达的属性信息数据;L ={l }表示地理现象的分布,不能量化表达;

G 是地理空间的元胞划分;N ={c 1,c 2,…,c n }是

DOI :10.13203/j .wh ugis2008.06.021

 第33卷第6期喻永平等:状态扩展元胞自动机模型在时空数据挖掘中的应用

元胞邻居,dist(c i-c)

元胞c在t+1时刻的状态由元胞t时刻状态和元胞邻居决定,CA的基本原理为:

s t+1=r(N c,s t)(2)进行时间序列迭代,迭代公式为:

s t+1=r k(r k-1…r1(N c,s t)…))(3) 状态扩展CA模型如图2。与标准CA比较,状态扩展的核心是引入能量化数值表示的属性和不可量化表示的地理现象分布,共同参与演化规则的决策。如对于本文实验,离开放水源的距离就是能量化表示的属性,而鸟巢出现的位置就是不可量化表示的地理现象分布。

图2 扩展状态的元胞自动机模型图

Fig.2 T he Ex tended State Ce llular A utomata M o del

2 状态扩展CA模型在时空数据挖掘中的应用

目前,将某个特定区域的时空数据进行综合,充分考虑影响区域的全部因素,从而发现特定地理现象的时空演变规律的研究很少,这是由于目前的地理信息系统都是静态的,不能很好分析动态变化,不具备智能决策能力,因此就难以挖掘多因素共同作用下的时空变化规律。另外,由于地理现象的错综复杂性,难以建立一个统一的框架进行研究,而是按照特定领域和特定范围进行具体研究。

文献[2]按照复杂性不同,列举了数据挖掘的3种方法。

1)线性回归模型。不考虑空间的相关性,定义如下:

y=X×β+ε(4)这里,y是观测值;X是试验变量数据值;ε是随机误差。

2)空间自回归模型(SAR)。在经典线性回归模型基础上试图模拟空间的相关性,引入空间邻近性矩阵,基本思想是邻近的空间位置对数据具有更大的影响,该影响通过空间相关矩阵来表示:

y=ρW×y+X×β+ε(5) 3)M arkov随机模型。与上面两种方法比较,M arkov随机模型更复杂,是基于Bay esian分类方法的。这与逻辑回归模型不一样,它没有任何参数,不需要假设类型变量的条件分布属于某种特定的分布。对于给定的数据X,用Bayesian 规则从特征向量X和邻居标识向量L i来预测l i:

P(l i/X,L i)=

P(X/l i,L i)P(l i/L i)

P(X/L i)

(6) 逻辑回归模型需要假定参数服从某种特定的分布。M arko v模型虽然不依赖任何参数,不需要知道任何分布类型,理论上能够解决涉及多个变量的概率分布类型,但实际上M arko v模型需要大量的样本数据和少量关于P(X l i,L i)的限制性假设,这是因为Ma rkov方法需要将所有成对的条件相关的变量联系起来。也就是说,在数据缺少时,M arkov方法很难解决它们之间的交互问题。而在地理现象领域,常存在稀疏数据,难以得到全部的相关变量。数据的稀缺性和属性信息交互性是空间数据挖掘常见的问题,其中属性信息交互是数据挖掘的一个关键方面。扩展状态CA模型方法能很好地解决复杂非线性的数据模式识别,特别是涉及多个属性信息交互和数据稀缺情况下,显示了巨大潜力,一方面能解决传统方法所不能解决的问题,另一方面能改善和提高一些方法的精度。

本文提出的状态扩展CA模型用于时空数据挖掘,基本思想是利用历史数据和相关的专业知识作导向,根据历史数据对模型进行校正和检验。为了应用状态扩展CA模型在区域环境中挖掘有用知识,能对复杂的因素进行智能决策,本文引入了遗传算法,在海量的规则空间中寻找最优规则的同时,自动给规则组合赋予相应的权。这里采用标准的GA模型[3]:

GA={P,T,ρ,G,E}(7)式中,P代表所有CA规则的数量;T是CA时间间隔的数量;ρ是变异率;G是后代的数目;E是激活的规则数目。

此外,CA参数设定对GA搜索的性能有较大影响。

593

武汉大学学报·信息科学版2008年6月

1)适应度评价的方法选取。文献[2]提出了4种方法,这里采用同时考虑最后演变结果的精度和空间相对位置的精度的组合:

SAM =A n MP n +A n n MP n n

(8)

式中,A n [i ]=f c [s i ]表示真实出现的分布位置;P n [n ]= f c [s i ]表示预测可能出现的位置;而

A nn [i ]=1-A n [i ]和P nn [i ]=1-P n [i ]是其各自的反值,M =W +I 是空间邻近矩阵和单位矩阵相加值。

2)CA 维数。CA 被用作适应度评价时,CA 维数对于找到优良的基因组所花费的时间具有很大影响。采用小的CA 邻居很快找到能得到结果的基因组,但是适用性较差;而采用较大的CA 邻居需要花费更长时间,但是所找到规则的适用性更好。

3)CA 迭代次数。CA 运行迭代多少次对适应度计算有很大影响,一种合适的方法是开始采用相对多的时间步骤以找到好的基因组;然后逐渐减少迭代次数,以区分更高质量的基因组。4)边界类型。经过实验,采用反射对称的规则类型得到的结果更好。

3 状态扩展CA 模型的时空数据挖

掘应用实例

考虑到数据获取的困难性以及与文献[2]中3种数据挖掘方法比较,本文实例数据取自文献[2],以展示本文提出方法的特点,实例数据如图3和图4所示。某个特定地理区域空间居住许多鸟,从图中数据可以看出,鸟巢在空间出现的位置是稀疏的,受到众多环境因素影响,该问题是稀疏数据和属性交互的时空演变模式问题。经生态学专业领域的研究得知,鸟巢的空间位置分布主要与3个因素相关:①植被的存活能力;②离开放水源的距离;③水源的水深。这3个因素称为实验变量,它们具有交互性

图3 离开放水源距离图F ig .3 T he Distance

to Open W ater

 

图4 鸟巢空间分布位置图Fig .4 Spatial Dist -ribution of N est

假定鸟巢分布的时空演变规律为式(9)或者式(10),式(9)和式(10)都是非常复杂的非线性问题,体现了空间位置相关和属性信息相关。式(10)是在式(9)基础上增加了属性信息相关,比式(9)更复杂。

y t

ij =ρW ×Y t

w +β×co s (X )+ c ×random (ε)

(9)z t

ij =ρW ×Y t

w +β×co s (X )+W × cos (X )×γ+c ×rando m (ε)

(10)

这里,ρ是空间权;W 是邻居;Y t

w 是在时间t 的邻居鸟巢的空间分布;β是邻近位置的权,X 是鸟巢离开放水源的距离;γ是邻居实验变量相关性;c 是噪音权;ε∈N (0,1),y t ij 和z t ij 是在时间t 综合生成的鸟巢空间分布;下标ij 表示元胞单元索引;上标t 表示时间。。

鸟巢空间分布变化是典型的时空数据分布现象,将图3和图4数据作为训练学习数据,而将经过SAR 模型的模式演变的结果数据作为CA 和GA 迭代演变的测试数据。运用上述定义的状态扩展CA 模型和GA 算法对实验数据隐含的式(9)和式(10)的模式进行挖掘,得到如图5和图6所示的结果。

图5 随CA 迭代时间的逐渐拟合改变图Fig .5 G radual F itness I ncrea se O ver CA T ime Steps

图6 随G A 后代演变逐渐拟合改变图

Fig .6 Fitness of G A fo r T wo Scenarios

实验结果表明,采用状态扩展CA 模型方法可以解决复杂的非线性模式识别问题,特别是在

594

 第33卷第6期喻永平等:状态扩展元胞自动机模型在时空数据挖掘中的应用

对多个属性数据共同影响下稀疏数据的隐含规律进行挖掘,该方法特别有效。随着模式复杂性的提高,适应度评价需要更长时间进行迭代。

4 结 语

空间统计学方法用来挖掘时空数据模式已经有很多研究,本文在文献[2]基础上,采用状态扩展CA模型进行时空数据挖掘,显示了巨大潜力,可以发现复杂的非线性时空规律和处理多个属性信息的交互。针对海量数据挖掘问题,需要研究合适的并行算法,采用分布式并行计算才能提高效率。未来工作还需要将本文的方法在更广泛的范畴进行验证,需要深入研究该方法对随机噪音的敏感性。

参 考 文 献

[1] 黎夏,叶嘉安.知识发现及地理元胞自动机[J].中

国科学(D辑),2004,34(9):865-872

[2] Shashi S V.Spatial Co ntex tual Classification a nd

P rediction M ode ls fo r M ining Geo spatial Da ta[J].

IEEE T rans o n M ultimedia,2002(4):174-188 [3] Breukelaar R.U sing a G enetic A lgo rithm to Ev olve

Behavior in M ulti Dimensio na l Cellular A uto mata

[C].G ECCO'05,W ashing ton,D C,2005

[4] F reitasA.Unde rstanding the Crucial Ro le of A ttrib-

ute I nter action in Data M ining[J].A r tificial Intelli-

gence Review,2001,16:177-199

[5] Chawla S,Shekhar S,Wu W,e t al.M odeling Spa-

tial Dependencies fo r M ining G eospatial Data:an I n-

tro ductio n[M]//M iller H,H an J.G eog raphic Data

M ining and K now ledge Discove ry.Londo n:T aylo r

and F rancis,2001

[6] H u Go ng zhu.An Ex tended Cellular A uto mata

M o del for Data M ining of L and Development Data

[C].T he5th I EEE/A CIS Internatio na l Co nference

o n Computer and Info rma tion Science,Ho nolulu,

2006

[7] 罗平.地理特征元胞自动机及在深圳特区土地利用

演化中应用[D].武汉:武汉大学,2004

第一作者简介:喻永平,博士,现主要从事时空GIS理论及应用和土地利用专题研究。

E-m ail:yopiyu@https://www.360docs.net/doc/f017132074.html,

Application of Extended State Cellular Automata to

Spatiotemporal Data Mining

YU Yong ping1,2 CH E N X iaoyong3 LIU J ingnan4 DU J ie5 (1 Gu angz hou Urban Planning and Design S urveying Research Institute,23Jianshe Road,Guangzhou510060,China) (2 S tate Key Laborato ry of Information Engineering in Su rveying,M apping and Remote Sensing,W uhan Univers ity,

129Lu oyu Road,W uhan430079,China)

(3 S pace Technology Applications and Research,Asian Ins titu te of Technology,Bang kok12120,Thailand)

(4 Presidential S ecretariate,W uhan University,Luojia H ill,W uhan430072,C hina)

(5 Research Center of GPS,Wuh an University,129Luoyu Road,W uhan430079,C hina)

A bstract:The paper introduces an ex tended state cellular automata(CA)model to spatio-

temporal data mining(S TDM).The co re of the mo del adds num erable and uncountable at-tribute to the cell and intends to reso lve the problem of the sparse data and large attribute in-fo rm ation interactio n in the spatial and spatiotempo ral data mining tasks.The preliminary

e xperiment show s the approach is suited for the nonlinear problem s,even in the face of

sparse data.They can tackle problem s o f previously prohibitiv e com plexity and also improve previous approaches.The paper advise s the metho d in combination with do main kno w ledge and o ther data mining techniques offer a chance to discover nonlinear spatiotem po ral relation-ships.

Key words:CA;genetic algo rithm;STDM;pattern reco gnize;intelligent GIS

About the firs t author:YU Yon gpin g,Ph.D,majors in the theory and appl ication of spatial-temporal G IS and land use theme.

E-m ail:yopiyu@https://www.360docs.net/doc/f017132074.html,

595

元胞自动机(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',...

交通流中的NaSch模型及MATLAB代码元胞自动机完整

元胞自动机NaSch模型及其MATLAB代码 作业要求 根据前面的介绍,对NaSch模型编程并进行数值模拟: ●模型参数取值:Lroad=1000,p=,Vmax=5。 ●边界条件:周期性边界。 ●数据统计:扔掉前50000个时间步,对后50000个时间步进行统计,需给出的 结果。 ●基本图(流量-密度关系):需整个密度范围内的。 ●时空图(横坐标为空间,纵坐标为时间,密度和文献中时空图保持一致, 画 500个时间步即可)。 ●指出NaSch模型的创新之处,找出NaSch模型的不足,并给出自己的改进思 路。 ●? 流量计算方法: 密度=车辆数/路长; 流量flux=density×V_ave。 在道路的某处设置虚拟探测计算统计时间T内通过的车辆数N; 流量flux=N/T。 ●? 在计算过程中可都使用无量纲的变量。 1、NaSch模型的介绍 作为对184号规则的推广,Nagel和Schreckberg在1992年提出了一个模拟车辆交通的元胞自动机模型,即NaSch模型(也有人称它为NaSch模型)。 ●时间、空间和车辆速度都被整数离散化。

● 道路被划分为等距离的离散的格子,即元胞。 ● 每个元胞或者是空的,或者被一辆车所占据。 ● 车辆的速度可以在(0~Vmax )之间取值。 2、NaSch 模型运行规则 在时刻t 到时刻t+1的过程中按照下面的规则进行更新: (1)加速:),1min(max v v v n n +→ 规则(1)反映了司机倾向于以尽可能大的速度行驶的特点。 (2)减速:),min(n n n d v v → 规则(2)确保车辆不会与前车发生碰撞。 (3)随机慢化: 以随机概率p 进行慢化,令:)0, 1-min(n n v v → 规则(3)引入随机慢化来体现驾驶员的行为差异,这样既可以反映随机加速行为,又可以反映减速过程中的过度反应行为。这一规则也是堵塞自发产生的至关重要因素。 (4)位置更新:n n n v x v +→ ,车辆按照更新后的速度向前运动。 其中n v ,n x 分别表示第n 辆车位置和速度;l (l ≥1)为车辆长度;11--=+n n n x x d 表示n 车和前车n+1之间空的元胞数;p 表示随机慢化概率;max v 为最大速度。 3、NaSch 模型实例 根据题目要求,模型参数取值:L=1000,p=,Vmax=5,用matlab 软件进行编程,扔掉前11000个时间步,统计了之后500个时间步数据,得到如下基本图和时空图。 程序简介 初始化:在路段上,随机分配200个车辆,且随机速度为1-5之间。 图是程序的运行图,图中,白色表示有车,黑色是元胞。

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

文章编号: 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/f017132074.html,.

CA元胞自动机优化模型原代码

CA优化模型原代码: M=load(‘d:\ca\jlwm’) N=load(‘d:\ca\jlwn.asc’) lindishy=load(‘d:\ca\ldfj3.asc’) caodishy=load(‘d:\ca\cdfj3.asc’) gengdishy=load(‘d:\ca\htfj3.asc’) [m,n]=size(M); Xr=[1 1 -1 1 1 1 -1 -1 1 1;1 1 1 1 -1 -1 1 1 1 -1;-1 1 1 1 -1 -1 -1 1 -1 -1;1 1 1 1 1 1 -1 1 1 I; l -1 -1 1 1 -1 -1 -1 1 1;1 -1 -1 1 -1 1 -1 1 -1 -1;-1 1 -1 -1 -1 -1 1 -1 -1 -1;-1 1 1 1 -1 1 -1 1 -1 -1;1 1 -1 1 1 -1 -1 -1 1 1;1 -1 -1 1 1 -1 -1 -1 1 1]; caodi=0;lindi=0;gengdi=0; for i=1:m forj=l:n if M(i,j)==4 caodi=caodi+1; elseif M(i,j)==3 lindi=lindi+1; elseif M(i,j)==2 gengdi=gengdi+1; end end end for i=1:m for j=1:n if M(i,j)==4 if lindishy(i,j)>gengdishy(i,j) if lindishy(i,j)>caodishy(i,j) z=0; for P=max(1,i-1):min(i+1,m) for q=max(j-1,1):min(j+1,n) if (M(p,q)~=0)&&xr(M(p,q),3)==-1 z=1; end end end if z== 0 caodi=eaodi-1; M(i,j)=3; lindi=lindi+1; end elseif lindishy(i,j)==caodishy(i,j) caoditemp=0; linditemp=0; gengditemp=0;

交通流元胞自动机模型综述

第23卷 第1期2006年1月 公 路 交 通 科 技 Journal of Highway and Transportation Research and Development Vol .23 No .1 Jan .2006 文章编号:1002-0268(2006)01-0110-05 收稿日期:2004-09-27 作者简介:郑英力(1971-),女,福建宁德人,讲师,研究方向为交通控制与仿真.(z hengyl71@s ina .com ) 交通流元胞自动机模型综述 郑英力,翟润平,马社强 (中国人民公安大学 交通管理工程系,北京 102623) 摘要:随着交通流模拟的需要及智能交通系统的发展,出现了基于元胞自动机理论的交通流模型。交通流元胞自动机模型由一系列车辆运动应遵守的运动规则和交通规则组成,并且包含驾驶行为、外界干扰等随机变化规则。文章介绍了交通流元胞自动机模型的产生与发展,总结和评述了国内外各种元胞自动机模型,并对元胞自动机模型的发展提出展望。 关键词:元胞自动机;交通流;微观模拟;模型中图分类号:U491.1+23 文献标识码:A Survey of Cellular Automata Model of Traffic Flow ZH ENG Ying -li ,ZH AI Run -p ing ,MA She -q iang (Department of Traffic Management Engineering ,Chinese People 's Public Security University ,Beijing 102623,China )Abstract :With the increas ing demand of traffic flow si mulation and the development of ITS research ,the traffic flow model based on cellular automata has been developed .Cellular automata model of traffic flow incorporates a series of vehicle movement rules and traffic regulations .Meanwhile ,the model works under some stochastic rules takin g into consideration of drivers 'behaviors and ambient interfer -ences .This paper introduces the establishment and development of cellular automata model of traffic flow ,su mmarizes and comments on different kinds of typical cellular automata models of traffic flow ,and furthermore ,presents a new perspective for further stud y of the model . Key words :Cellular automata ;Traffic flow ;Microscopic simulation ;Model 0 引言 交通流理论是运用物理学和数学定律来描述交通特性的理论。经典的交通流模型主要有概率统计模 型、车辆跟驰模型、流体动力学模型、车辆排队模型等 [1] 。20世纪90年代,随着交通流模拟的需要及智 能交通系统的发展,人们开始尝试将物理学中的元胞自动机(Cellular Automata ,简称CA )理论应用到交通领域,出现了交通流元胞自动机模型。 交通流C A 模型的主要优点是:(1)模型简单,特别易于在计算机上实现。在建立模型时,将路段分 为若干个长度为L 的元胞,一个元胞对应一辆或几辆汽车,或是几个元胞对应一辆汽车,每个元胞的状态或空或是其容纳车辆的速度,每辆车都同时按照所建立的规则运动。这些规则由车辆运动应遵守的运动规则和交通规则组成,并且包含驾驶行为、外界干扰等随机变化规则。(2)能够再现各种复杂的交通现象,反映交通流特性。在模拟过程中人们通过考察元胞状态的变化,不仅可以得到每一辆车在任意时刻的速度、位移以及车头时距等参数,描述交通流的微观特性,还可以得到平均速度、密度、流量等参数,呈现交通流的宏观特性。

有限状态自动机模型

龙源期刊网 https://www.360docs.net/doc/f017132074.html, 有限状态自动机模型 作者:刘威 来源:《新课程·教师》2015年第09期 当我们用计算机进行问题的求解时,首先需要用适当的数据进行问题表示,然后再设计 相应的算法对这些数据进行变换处理来获得问题的求解结果。因此,对问题进行建模和形式化表示,然后进行处理是进行计算机求解的基本途径。数理逻辑、自动机理论给出了如何描述一些基本问题以及如何建立问题的抽象表示,并通过对这些抽象化的表示的性质和它的变化方法进行研究。这些模型都是问题数学模型的典范,给计算机问题求解提供了坚实的理论基础,是计算机求解问题的重要方法和思想。 计算机科学与技术学科是以数学和电子学科为基础发展起来的,一方面研究计算机领域 中的一些普遍规律,描述计算的基本概念与模型,其重点是描述现象、解释规律。另一方面是包括计算机硬件、软件的计算机系统设计和实现的工程技术,简单地说,计算机科学与技术学科通过在计算机上建立模型并模拟物理过程来进行科学调查和研究,它系统地研究信息描述和变换算法,主要包括信息描述和变换算法的理论、分析、效率、实现和应用。 所有问题的描述都要以计算机能识别的语言来实现,计算机语言的文法描述提供了生成 语言的手段,但是,对于语言句子的识别来说,我们需要一些识别语言的模型,我们可以称这种模型为语言的识别模型。这种识别模型应该满足必要的约束条件,首先模型具有有穷个状态,不同的状态代表不同的意义。按照实际的需要,模型可以在不同的状态下完成特定语言的识别。我们可以将输入数据中出现的符号组成一个字符的列表。模型将输入数据作为线性表来进行处理和变换。模型有一个初始的状态,它是系统的开始状态,系统在这个状态下开始进行问题的求解。模型中还有一些状态表示它到目前为止所读入的字符构成的字符串是模型从开始状态引导到这种状态的所有字符串构成的语言就是模型所能识别的输入。我们可以将此模型对应成有穷状态自动机的物理模型,在处理问题的时候,它可以接受一个关于问题的输入数据,数据以字符串的形式提供,我们把这些输入数据划分成一系列的小部分,每个部分由若干字符组成,为了不让输入数据量影响该模型对问题的处理,我们约定,输入数据从开始输入时的时间点开始处理,输入状态可以是无穷的,这就是说,从输入第一部分数据开始,输入端可以有任意长度的输入序列。而且,模型有一个有穷状态控制器,该控制器的状态只有有穷多个,并且规定,模型的每一个动作分为三步,读入待输入的字符,根据当前的状态和读入的字符改变有穷控制器的状态,读下一部分输入数据。计算机的各个组成部分,既包括硬件系统也包括软件系统,都可以对其进行形式化的定义,计算机的硬件系统包括中央处理器、存储器、外部设备,可以形式化地用一个三元组来描述,对计算机个各个硬件部分进行管理的软件的功能也可以用形式化的方法来描述,例如,操作系统的各个功能模块、处理器管理、线程调度、文件系统、设备驱动程序、网络通信管理、虚拟内存管理等都可以进行形式化的定义。有穷状态机就是进行这种形式化定义的模型,有穷状态机是一个五元组,分别是描述状态的有穷非空集合,它称为有穷状态机的一个状态,输入符号表,所有输入有穷状态机的关于问题的描述都是这个符号表中的符号组成的字符串。状态转换函数,表示有穷状态自动机在某一状态读入字符,将

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

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

元胞自动机NaSch模型及其MATLAB代码

元胞自动机N a S c h模型 及其M A T L A B代码 This manuscript was revised by the office on December 22, 2012

元胞自动机N a S c h模型及其M A T L A B代码 作业要求 根据前面的介绍,对NaSch模型编程并进行数值模拟: 模型参数取值:Lroad=1000,p=0.3,Vmax=5。 边界条件:周期性边界。 数据统计:扔掉前50000个时间步,对后50000个时间步进行统计,需给出的结果。 基本图(流量-密度关系):需整个密度范围内的。 时空图(横坐标为空间,纵坐标为时间,密度和文献中时空图保持一致,画500个时间步即可)。 指出NaSch模型的创新之处,找出NaSch模型的不足,并给出自己的改进思路。 流量计算方法: 密度=车辆数/路长; 流量flux=density×V_ave。 在道路的某处设置虚拟探测计算统计时间T内通过的车辆数N; 流量flux=N/T。 在计算过程中可都使用无量纲的变量。 1、NaSch模型的介绍 作为对184号规则的推广,Nagel和Schreckberg在1992年提出了一个模拟车辆交通的元胞自动机模型,即NaSch模型(也有人称它为NaSch模型)。 时间、空间和车辆速度都被整数离散化。道路被划分为等距离的离散的格子,即元胞。 每个元胞或者是空的,或者被一辆车所占据。 车辆的速度可以在(0~Vmax)之间取值。 2、NaSch模型运行规则 在时刻t到时刻t+1的过程中按照下面的规则进行更新: (1)加速:vnmin(vn1,vmax) 规则(1)反映了司机倾向于以尽可能大的速度行驶的特点。 (2)减速:vnmin(vn,dn) 规则(2)确保车辆不会与前车发生碰撞。 (3)随机慢化:以随机概率p进行慢化,令:vnmin(vn-1,0) 规则(3)引入随机慢化来体现驾驶员的行为差异,这样既可以反映随机加速行为,又可以反映减速过程中的过度反应行为。这一规则也是堵塞自发产生的至关重要因素。 (4)位置更新:vnxnvn,车辆按照更新后的速度向前运动。其中vn,xn分别表示第n辆车位置和速度;l(l≥1)为车辆长度; p表示随机慢化概率;dnxn1xn1表示n车和前车n+1之间空的元胞数; vmax为最大速度。 3、NaSch模型实例

计算机模型

前言: 话说梦想关于计算机有一天能像人一样思考的科幻作品是一个已经比较古老的主题了。甚至还有人专门设计了的类似“机械人三原则”之类的具体设想,以此来分析将来计算机智能一旦发展到人的智商我们究竟会面临哪些问题。 不过对于另一些科学家来说,往往他们考虑问题的深度可能不够,他们通常更多的是先考虑如何实现某个技术,至于实现该技术后带来的一切社会、政治问题他们都先不作考虑。我想大概研究武器的科学家比较突出吧。总而言之,无论计算机智能高度发展可能带来什么样的危机。能够实现计算机高度拟人化思维的设想永远是计算机研究者的一个梦想。 然而,计算机本身是否具有能像人一样思考的潜力呢?计算机想要模拟人的思考方式究竟要向那些方向发展呢?我在学习了计算机运算原理之后得到了很大的启示。在此跟大家分享一下,好引起激烈争论,活跃论坛气氛。 PS:本人向来拒绝一切用高深词汇和难以理解的专用名词把一个本来容易理解的问题变得难以接受。下面的内容我尽量的用浅显的道理解释。特别是希腊字母我又打不出来,因此涉及专门的数学证明的地方有兴趣的朋友可以参考相关资料。 1,什么是计算机的运算原理(Theory of computation) 所谓运算原理,或者计算原理。就是研究计算机究竟是用什么方法来工作的。通过理解计算机的工作方法,我们可以推断出计算机究竟能做什么和不能做什么。以及用什么方法才能完成某些工作。这就相当于我们研究一下收音机是如何工作的,就能知道收音机能接受什么信号,不能接受什么信号。 计算机科学虽然发展的越来越快,计算机的性能从数字上越来越高。但是仍然有些事情是单靠发展计算机性能无法实现的。就好像你加大收音机的接受频段,也不可能打出一张X光相片一样。 这里需要指出一点,对于有一定编程基础的朋友而言要区分计算机运算原理并不是计算机算法原理。所谓算法,大家都清楚,是用一个类似程序的流程方法把程序表述出来。比如排序算法,你可以选择大数往后排,或者小的数字往前排。然后考虑一下哪种算法在哪种情况下运行效率比较高,哪种算法存储空间效率比较高等等。计算原理完全是另一个概念,它往往不会具体到某一个算法,它可以告诉你计算机“能”或“不能”执行某一种任务。以及一旦要执行一个非常困难的任务,我们应该向哪个方向考虑。这里面更多的是用数学的概念来进行推导和证明。 那么为了研究计算机的运算方法,我们把计算机简化成为几种非常简单的模型。根复杂的计算机系统比,这些模型看起来可以用简陋形容。但是他们对于我们理解计算机的能力却又是必不可少的工具。 计算机的简单模型主要分为三种:有限状态自动机Finite Automaton(FA),下推自动机Push Down Automaton(PDA),以及图灵机Turing machine。这三种模型一个比一个复杂,一个比一个功能更强大。当然这些名词看起来有点玄。我马上用简单的语言给大家解释一下。 2,有限状态自动机(简称FA) 所谓自动机,其实就是不需要人为干预指可以自动执行某个任务的机器。说白了也就是计算

元胞自动机与Matlab

元胞自动机与MATLAB 引言 元胞自动机(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); ●加入一个简单的图形用户界面是很容易的。在下面这个例子中,应用了三个 按钮和一个文本框。三个按钮,作用分别是运行,停止,程序退出按钮。文框是用来显示的仿真运算的次数。

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

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-),浙江温州人,重庆大学教授,博士,研究方向:微观交通仿真、电力电子技术、运动控制技术及系统。

模糊数学和有限状态机矩阵形式描述的人工情绪模型

第32卷第9期2010年9月 北京科技大学学报Jou rnal of U niversity of Sc i ence and T echno l ogy B eijing V o.l 32No .9Sep .2010 模糊数学和有限状态机矩阵形式描述的人工情绪模型 史雪飞 王志良 张 琼 北京科技大学信息工程学院,北京100083 摘 要 根据大脑的情绪加工环路提出了三个层次的人工情绪框架结构.重点对智能体的底层情绪模型进行了研究,分别采用模糊关系理论和有限状态机的矩阵形式建立了相应的情绪激活状态和行为输出方程.模型考虑了心境和需求对当时情绪的影响,利用矩阵模型可以直接计算出不同情绪状态下的输出行为,解决了单纯用表的形式记录/事件)情绪)行为0序列对的存储空间和查表问题.选择了婴儿的情感行为数据来验证模型的正确性.仿真结果表明:模型在考虑了敏感因子和心境对情绪激活阀值影响的因素后,在机器系统中可以建立有效的情绪与行为输出模型.关键词 模糊关系;有限自动机;情绪模型;人工智能分类号 T P 181 M odelli ng e moti on based on fuzzy mathe m atics and m atrix descri pti on of fi nite state machi nes S H I Xue -fei ,WAN G Zh i -li ang ,ZHANG Q iong School of Infor mati on E ngi neeri ng ,U n i vers it y of Science and T echnology Be iji ng ,Beijing 100083,Ch i na AB STRACT A t hree -l ayer emo ti on m ode l structure based on bra i n science was proposed firstly .T hen a bo ttom -leve l emo ti on m ode l o f t he i ntelli g ent syste m was presented in de tai.l Itw as constructed by usi ng fuzzy m athe m atics andm a trix descr i pti on o f fi n ite state m a -ch i nes .A f uzzy re l a ti on bet w een sti m u l us and e m otion w as produced to de ter m i ne the ac tive e m otion i n conside ration o fm ood and de -sire a t that ti m e .The outpu t behav i o r w as calculated by a m atr i x sty l e o f fi n ite sta te m ach i nes wh ile the active e m oti on w as g iven .T he m ode l constructed in this w ay cou l d reduce m e m ory spaces used only f o r st o ri ng the correspond i ng re l ations a m ong sti m u l us ,emo ti on and behav i or .T he si m ulati on result and concl us i on are presen ted i n the end .K EY W ORDS f uzzy relation ;fi n ite autom aton ;e m otion mode llin g ;artificial i nte lli g ence 收稿日期:2009 --11--16基金项目:国家高技术研究发展计划资助项目(2007AA04Z218);北京市自然科学基金重点项目(KZ200810028016) 作者简介:史雪飞(1973)),女,讲师,博士研究生,E-m ai:l sxf 1245@i es .u st https://www.360docs.net/doc/f017132074.html, .cn;王志良(1956)),男,教授,博士生导师 人工智能的研究从20世纪50年代开始发展到现在已经达到了较高的水平,它的研究内容也从模拟人的感知觉、推理和学习等认知智能逐渐扩展到人的情绪和情感.目前人工情感已成为人工智能领域的研究热点.其中,如何赋予机器情感智力(即情绪建模问题)是研究的核心,其基础和根本是对自然情绪实质的理解和表示.近年来,国内外已有许多人工情绪的模型 [1- -7].由于情绪的复杂性以及人类对自身情感产生和变化规律的研究尚不完善,情绪建模的研究工作进行得比较艰难甚至对这一问题本身的提出也存在着争议.尽管如此,目前在情感计算领域己经有很多 人工情绪模型的出现,它们至少从功能的角度上实现了对人类情绪有限的模仿.最早的经典情绪模型是1988年O rtony 等 [1] 提出的/OCC 情绪认知模 型0.它是基于情绪的认知理论和基于规则的建模, 因为很容易用计算机实现而得到广泛使用.然而,情绪不仅由单一的认知评价过程产生,还与一些低层次的非认知性因素影响有密切联系.英国伯明翰大学的S l o m an [2] 提出的/Cog A ff 模型0同时考虑了 低层的身体反应机制和高层的心理认知对情感的影响,建立了情感的三层体系结构,但是这些抽象的模 型没有提供一个具体的可供计算机执行的情感建模方法.人类情绪的激活具有一定程度的不确定性,

元胞自动机NaSch模型及其MATLAB代码精修订

元胞自动机N a S c h模型及其M A T L A B代码 标准化管理部编码-[99968T-6889628-J68568-1689N]

元胞自动机N a S c h模型及其M A T L A B代码 作业要求 根据前面的介绍,对NaSch模型编程并进行数值模拟: 模型参数取值:Lroad=1000,p=0.3,Vmax=5。 边界条件:周期性边界。 数据统计:扔掉前50000个时间步,对后50000个时间步进行统计,需给出的结果。 基本图(流量-密度关系):需整个密度范围内的。 时空图(横坐标为空间,纵坐标为时间,密度和文献中时空图保持一致,画500个时间步即可)。 指出NaSch模型的创新之处,找出NaSch模型的不足,并给出自己的改进思路。 流量计算方法: 密度=车辆数/路长; 流量flux=density×V_ave。 在道路的某处设置虚拟探测计算统计时间T内通过的车辆数N; 流量flux=N/T。 在计算过程中可都使用无量纲的变量。 1、NaSch模型的介绍 作为对184号规则的推广,Nagel和Schreckberg在1992年提出了一个模拟车辆交通的元胞自动机模型,即NaSch模型(也有人称它为NaSch模型)。 时间、空间和车辆速度都被整数离散化。道路被划分为等距离的离散的格子,即元胞。 每个元胞或者是空的,或者被一辆车所占据。 车辆的速度可以在(0~Vmax)之间取值。 2、NaSch模型运行规则 在时刻t到时刻t+1的过程中按照下面的规则进行更新: (1)加速:vnmin(vn1,vmax) 规则(1)反映了司机倾向于以尽可能大的速度行驶的特点。 (2)减速:vnmin(vn,dn) 规则(2)确保车辆不会与前车发生碰撞。 (3)随机慢化:以随机概率p进行慢化,令:vnmin(vn-1,0) 规则(3)引入随机慢化来体现驾驶员的行为差异,这样既可以反映随机加速行为,又可以反映减速过程中的过度反应行为。这一规则也是堵塞自发产生的至关重要因素。 (4)位置更新:vnxnvn,车辆按照更新后的速度向前运动。其中vn,xn分别表示第n辆车位置和速度;l(l≥1)为车辆长度; p表示随机慢化概率;dnxn1xn1表示n车和前车n+1之间空的元胞数; vmax为最大速度。 3、NaSch模型实例

基于元胞自动机模型的沙堆稳定模型建立

基于元胞自动机模型的沙堆稳定模型建立 摘要: 世界上任何一个有休闲海滩的地方,似乎都有人在海边建沙堡。不可避免地,海浪的流入和涨潮侵蚀了沙堡。然而,并非所有沙坑对波浪和潮汐的反应都是一 样的。本文旨在通过建立数学模型来建立更稳定的沙堡。 为了保持沙堡基础在波浪和潮汐作用下的稳定性,从结构力学和流体力学的 知识出发,有必要尽可能减轻水流对地基的影响,减少地基砂的损失,保证地基 的稳定。受鱼流线的启发,基座是由四分之一椭圆曲线和旋转180°的抛物线组成 的半旋转结构。建立了半旋转体D0的最大半径、四分之一椭圆的半长轴LE、抛 物线的水平投影长度LR、地基的总长度L和冲击力与地基体积的比值之间的函数 关系。采用最优模型求解地基的最小冲击力与体积比D0= 0.22L,LE=0.63L,LR= 0.37 L,是最佳的三维砂土地基模型。 利用元胞自动机模拟砂土地基的形成过程,对砂地基模型进行优化,以两个 砂桩的塌陷间隔长度为指标,测量砂桩基础的稳定性;从而确定了雨作用下沙基 基础最稳定的三维形状。 关键词:流线结构、元胞自动机模型 一、问题分析 我们针对海浪和潮汐对沙堆基础的影响分析中,我们主要考虑了来自侧向的 水流冲击力对基础的影响,此时保持沙堆基础稳定性的一大主要因素是沙堆水平 方向上的粘接力,如果将沙堆基础视为一个整体,那么基础整体与沙滩的水平向 摩擦力保持了沙堆基础的稳定性。而雨水对于沙堆的作用力主要表现垂直方向上 的冲击力,如果将沙堆基础视为一个整体,那么沙滩对沙堆垂直向上方向的支持 力作为保持沙堆基础稳定性的主要因素。由受力结构分析,第一问所建立的模型 为流线型结构,对雨水垂直向下的的作用有一定缓解作用,但显然不是抵抗雨水 的最优结构。 我们对上述模型进行优化,假设沙堆基础受到每一滴雨水的性质相同,那么 基础结构仍为半旋体结构,为了方便分析我们对沙堆基础的侧面进行分析。 二、模型建立 我们这里使用元胞自动机对沙堆模型进行模拟,从上至下掉落的沙粒将使沙 堆不断堆积,当达到一定的临界高度后沙堆即发生崩塌,我们认为崩塌后的沙堆 基础本身是一个比较稳定的结构,而两次崩塌之间的时间间隔的长度也就代表了 沙堆基础的稳定型结构。 假设元胞个体的堆积和崩塌的最微小的运动都发生在一个 4×4 的单元块内,每次将一个 4×4 的元胞块做统一处理。这个小单元的划分方式是:在每个周期,单元 区域分别向右和向下移动一格,在所有周期中循环这一过程,得到两次崩塌时间 间隔最长的模型。 我们假设雨水的性质都是相同的,因此抵抗雨水的最优沙基模型应为上述最稳定 模型绕中心竖轴旋转过后所形成的三维图形。 三、模型分析: 利用元胞自动机模拟砂堡基础的形成过程,计算两个坍塌时间,确定最稳定 的砂基模型。根据以上分析,我们将该模式的优缺点总结如下: 优点:根据相关公式和规律对问题进行了仿真分析,证明了模型的有效性;利用MATLAB软件对砂桩模型进行仿真,生动地展示了砂桩的形成过程;模型通过合

相关文档
最新文档