面向交叉口CA模型的社會(huì)復(fù)雜性形式化描述研究.pdf

1、城市交通擁堵已經(jīng)成為困擾大中型城市發(fā)展的重要難題。長(zhǎng)期以來，交通問題一直被視為工程類問題，大多是用系統(tǒng)工程的方法進(jìn)行問題的分析與求解;研究往往分而治之，只考慮交通領(lǐng)域的某一個(gè)方面;提出的建議或措施缺乏系統(tǒng)的機(jī)理分析，更多時(shí)候僅僅考慮交通效率最大化的問題。隨著交通問題形式的諸多呈現(xiàn)，交通系統(tǒng)是一個(gè)復(fù)雜的社會(huì)工程和人類活動(dòng)系統(tǒng)的觀點(diǎn)逐漸得到國(guó)內(nèi)外學(xué)者的認(rèn)同。城市交通問題是多種社會(huì)文化因素的共同作用結(jié)果，并且多數(shù)是以人的交通活動(dòng)為中心的社會(huì)問

2、題，具有較強(qiáng)的社會(huì)性、人文性和復(fù)雜性。
　　本文從社會(huì)對(duì)于交通問題的訴求、常見交通情景和交通社會(huì)行為知識(shí)等現(xiàn)象層面入手，對(duì)城市交通（特別是道路交叉口）進(jìn)行技術(shù)復(fù)雜性和社會(huì)復(fù)雜性兩個(gè)層次的解析?；谲浵到y(tǒng)方法設(shè)計(jì)交通情景和交通社會(huì)行為知識(shí)的形式化描述模型，并以此概念模型為元胞自動(dòng)機(jī)模擬的設(shè)計(jì)基礎(chǔ)，將形式化描述的交通情景和交通社會(huì)行為知識(shí)轉(zhuǎn)化為元胞自動(dòng)機(jī)規(guī)則運(yùn)用到模擬系統(tǒng)之中，驗(yàn)證與優(yōu)化相應(yīng)的交通情景，進(jìn)一步優(yōu)化交通系統(tǒng)的整體涌現(xiàn)狀態(tài)

3、。
　　由于道路交叉口是城市交通問題的瓶頸，本文即以交叉口為主要研究對(duì)象，進(jìn)行面向元胞自動(dòng)機(jī)模擬的交通情景和交通社會(huì)行為知識(shí)的形式化描述及應(yīng)用的研究。首先，本文從不同視角、不同層面解析城市交通的復(fù)雜性，即不僅具有工程型，還具有社會(huì)性;其次，基于軟系統(tǒng)方法，創(chuàng)新性的提出SMART描述模型，進(jìn)行交通情景形式化描述的模型設(shè)計(jì)，并以圖片或組圖為例，進(jìn)行交通情景形式化描述的實(shí)例探究，為后續(xù)CA模擬提供初始狀態(tài)與驗(yàn)證優(yōu)化分析依據(jù);然后，基于C