面向交叉口CA模型的社會復雜性形式化描述研究.pdf

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

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

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