整合型城乡发展数理模型

城鄉發展的模擬與推理,林峰田國立台灣大學建築與城鄉所教授,目錄,前言:規劃資訊系統數理模型傳統數理模型、整合型大型模型(UrbanSim)動態模擬系統宮格自動機、行為者導向模擬推理系統專家系統、案例式推理、類神經網路未來展望,前言:規劃資訊系統,電腦輔助規劃行政作業資料庫建檔及查詢功能傳統文數字資料庫GIS圖形及屬性資料庫電腦輔助規劃作業傳統數理模型GIS空間分析功能系統模擬技術：預測模擬,傳統數理模型,迴歸分析韓森(Hansen)模式：人口勞來模式：產業、人口、土地使用赫伯史帝芬模式：住宅用地、人口DRAM模式：及就業人口、土地使用CATLAS模式：及就業人口、住宅、運輸,系統理論,McLoughlin(倪世槐譯，1972)都市及區域之系統規劃原理Cybernetics(自動控制學)Faludi(1973)PlanningtheoryDYNAMOSystemDynamics(系統動力學）Stella,批判與回應,1970年代批判理論對規劃理論的挑戰DouglassLee(1973)大型模型的安魂曲黑箱：公式過於複雜，難以檢證大量資料需求：資料缺乏一般性：缺乏深入的特殊知識由上而下的規劃典範：分派與控制Lee(1994)認為大型模型仍有機會,傳統數理模型的理論基礎,根基於都市經濟學地租理論住戶(household)考慮區位、住宅價格、交通成本等因素，選擇其效用最高者土地之利用將會是願付最高地租者加入離散選擇(discretechoice)、隨機效用(randomutility)、競租選擇(bid-choice)、羅吉特模型(logitformulation)等觀念,都市乃是均衡的、靜態的、單一部門、單一就業中心，並未考慮到與動態生態模式(dynamicecologicalmodels)的整合由於個人電腦運算能力的快速增加，和價格的急速下降，以及地理資訊系統(GeographicalInformationSystem)、模糊集合(fuzzyset)、宮格自動機(cellularautomata)、複雜系統(complexsystem)、系統模擬(systemsimulation)等理論的出現，使得都市發展模型的建構愈趨複雜而精緻。,90年代以來的大型模型,CUF：CaliforniaUrbanFutureModelWhat-if?PlanningSupportSystemsUrbanSimSprawlSim,UrbanSim,1991IntermodalSurfaceTransportationEfficiencyAct(ISTEA)立法要求土地使用及運輸規劃模式應予整合。TransportationEquityActforthe21stCentury(TEA21)in1998【ISTEA後繼法令】再次強調整合土地使用、運輸、環境的重要性。整合型模式之需求來自運輸規劃法令、都市成長管理(stategrowthmanagement)、實務及學術界的呼籲。,UrbanSim的發展歷程,原始系統設計為Honolulu,Hawaii開發。測試及修正版(1980-1994)用於Eugene-Springfieldmetropolitanarea，有相當完整的實際校估資料。應用於SaltLakeCity,andothermetropolitanareas,宮格自動機(CellualarAutomata,CA),最早由JohnvonNeumann所提出劍橋JohnConway(1970)發表GameofLife,宮格自動機由網格空間、網格狀態、轉換規則、網格近鄰定義所構成。在網格空間中，每一格點的下一狀態，由周圍格點狀態所決定。,為網格(i,j)在t時的狀態。為網格(i,j)附近網格的狀態集合。所謂附近可以有不同的定義，例如與網格(i,j)相距k單位距離內之所有網格。F是狀態換轉函數。t的(i,j)及附近網格狀態決定了下一(t+1)期的(i,j)網格狀態。,宮格自動機雖使用(個體)格點狀態轉換規則，但就巨觀而言，會出現總體型態的改變，甚至於被稱之為ArtificialLife(人工生命)。TheCentreforAdvancedSpatialAnalysis(CASA),UniversityCollegeLondon(http:/cgi.student.nada.kth.se/cgi-bin/d95-aeh/get/lifeeng#what),複雜系統,局部互動(localinteractions)形成整體型態(globalpattern)的動態過程(dynamicprocess)複雜的系統整體表象可能源自於簡單的、迭代的、非線性的個體行為模式。細微的初始值改變，可能(但不一定)導致鉅大的、甚至於無法預測的變化。存在收歛的吸子(attractor)現象。若進入此一狀態，則吾人可以預測系統行為將會收歛在吸子範圍之內。系統行為可能是跳躍的、非連續的，在一組有限或無限的可能解之間，迅速跳動變換，而不必然是連續的、循環的、漸變或可微分的。系統兼具穩定與不穩定解。些微的擾動可能導致由一個吸子跳至或滑至另一吸子。,傳統都市發展模型的預設,(1)必須開發複雜的數理模型始能模擬複雜的都市發展現象(2)都市發展必然趨向均衡(3)只要資料夠充份、因素均能掌握，都市系統是可以預測的(4)些微的初始值誤差不會導致不可控制的預測結果。這些傳統都市發展模式的預設可以說是被複雜系統理論所徹底顛覆了。,複雜系統城鄉發展模型,奠基於許多的局部有限理性決策模式(locallylimitedrationalmodel)行為者(actor)的互動關係。都市發展的行為者包括了政府、廠商、開發者、地主、一般居民等。所謂局部有限理性決策模式係指行為者就其本身所處的環境，做出自認最合乎其效益的理性行為選擇。但是，由於行為者的知識和訊息是有限的，其思域(vision)也是有限的，所以，行為者僅能就其能力所及，做出局部的、有限的理性選擇。,由於不同行為者的價值觀可能不同，某一行為者的理性選擇，另一行為者可能認為毫無理性可言。行為者的選擇也可能不是單一確定的，有時候，行為者會在數個方案之間拿捏不定，呈現隨機選擇、隨著時間的變遷做出不同選擇的現象。行為者應具有學習的能力，他會隨著經驗的累積、資訊的逐漸充分，而調整其價值觀、效用函數、及決策模式。由於非均質、離散個體行為者、隨機、經驗學習、資訊累積的系統特性，都市發展模型將是非均衡的、動態的、兼具可預測及不可預測性。,CA的演進,早期最簡單的狀態轉換函數採用單一確定規則(simpledeterministicrules)。近來，機率規則、自我修正最大效用羅斯特函式等觀念已逐步融入，以增加其真實性。近來，都市模型更進一步放寬了CA的一些假設，以符合都市系統的特性，例如：(1)空間單元不必然是網格式，而可以是不規則形狀，(2)狀態不必單一屬性，(3)附近地區之範圍不必固定，(4)轉換規則不必唯一，通體適用，(5)時程不必等距，(6)系統可以是開放的，與人口、經濟、環境、生態模式互動,CA在都市及區域規劃的應用,香港大學城市規劃及環境管理研究中心葉嘉安等人做的，利用“灰度”G來表示出空間連續的過程、灰度的增減表示了鄰近區域所造成的影響Clarke,K.C.andGaydos,L.J.,1998.等利用CA和GIS來預測舊金山灣地區(SanFranciscoBayareas)天氣對都市成長的影響Benati利用CA模擬二維的區位理論,台北都會區城鄉發展模擬,資料來源83年國土利用調查資料縣市統計要欄轉換成網格資料設定分析範圍、網格大小土地使用、道路系統可及性、人口密度、聚集性,初始狀態,考慮鄰近效用和高速公路的影響,ICT產業對台北都市空間結構的影響,ICT產業分佈(距主要道路),空間影響因子,主要道路市中心土地使用分區捷運車站大專院校智慧園區,1995年,2025年,2025年智慧園區對周邊土地使用之影響,AgentBasedModel(行為者導向系統模擬),在宮格空間中，分佈著各式各樣，具有不同屬性以及行為模式的行為者(agent)。行為者各依循著其行為模式在網格空間中移動。吾人可以觀察其所呈現出來的總體型態。參考網站：美國西北大學的NetLogo【功能強大的免費軟體!】,推理系統專家系統案例式推理類神經網路,專家系統架構,專家系統,If-then-else的規則式推理模糊集合理論NASA的免費CLIPS軟體分類、診斷、預測、評估可以再努力的領域,案例式推理,顯性知識與隱性知識情境、對策、結果,從前所遭遇過的問題型態傾向於再度發生未來的問題可能會和現在的問題相似相似的問題有相似的解答相似性（similarity）是最重要的概念之一根據以前的經驗來解決新問題以記憶為推理基礎，推理結果會被記憶住CBR提供了傳統規則式系統所缺乏的兩種功能：學習及記憶與規則式推理系統具互補關係,類神經網路(ArtificialNeuralNetwork,ANN),模仿生物神經網路的數學模式,ANN的特性,若其中有一個細胞死了，只會去除相關連結，不會影響思維。類神經網路有復原的功能。可以用來作分類如統計學，說明兩個現象的關係。但是統計中的數字、文字很容易理解，但是類神經網路的權重不知其義