科學模型

科學模型 是科學研究中對一類研究方法的通稱，使用數學公式、電腦模擬或簡單的圖示來表示一個簡化的自然界，透過分析這個模型，以期能夠進一步了解科學，包括說明、驗證假說、或分析資料。依據不同需求，科學模型可以藉由概念模型幫助我們了解現象，操作模型給出操作型定義，數學模型幫助量化，以及用圖象模型將抽象概念視覺化。

科學模型是許多領域重要且不可分割的一部份，並且每種科學領域都有其特定的科學模型。以約翰·馮·諾伊曼所說過的一段話為例：... 科學本身從來都不曾試圖去解釋自然現象，甚至是連詮釋自然現象的企圖都不曾有過，反而僅僅是建立模型。所謂的模型，就是——在數學意義上——去建構觀察到的自然現象之間的數學關係。而此模型令人信服的唯一理由，就僅僅是因為它確實有用——能夠描述足夠廣泛的自然現象。

近年來科學建模越發受重視，例如在科學教育、科學哲學、系統理論與視覺化 (電腦圖學)。科學建模也有其相關的科學方法、技術與形上學等議題。

## 目標和方法論

科學模型依其在科學方法中佔據的位置，可以區分不同類型，包括概念模型和概念驗證模型、預測模型、推理模型、以及統計模型等等。許多時候，做實驗是有困難的，所以用概念模型或預測模型代替實驗，避免物理、法律、時間、經費等限制。模型是為了特定的目標而建，建模者根據自己的專業判斷，將不重要的細節排除、並將未驗證的資訊概括而入，最後達成目標。

同一個現象有時會有許多解釋力一樣好的模型，然而模型描述的原理卻不同，這個現象叫作殊途同歸（equifinality）。例如人們接受新產品的比率往往呈一S型曲線，這可能是因為每個人對新科技的接受度不同，少數人特別開放，少數人特別保守，大多數人介於中間；另一個可能是新科技的傳播取決於現有使用者的人數和其競爭優勢，因此使用者太少或太多都會降低其接受率，兩個模型都會產生一樣的曲線。如果模型之間在某些條件下會產生不同的預測，可能用實證研究判斷哪個模型正確。

另一方面，有些完全不同的現象背後的數學原理卻類似，可以用一樣的模型來描述，例如生物族群大小的振盪、心律不整、化學的B-Z反應、以及水龍頭滴水的速率都可以用霍普夫分岔來描述。在其著作《一種新科學》中，史蒂芬·沃爾夫勒姆主張大多數現象背後都有類似的簡單數學原理，因此推動科學進展的最有效方法是研究各種基本數學現象，例如細胞自動機。

### 概念模型

概念模型是用模型來描述一個不容易用語言來描述的概念。概念模型可以用來說明一個科學理論或假說，或是驗證某個假說是否正確。好的概念模型可以清楚地說明系統運行的基本原理、排除不必要的資訊。如同實驗中的控制環境，科學模型排除多餘的變因，讓因果關係變得明顯。

### 預測模型

預測模型將已知的數據套入理論中，計算出未知數。根據預測結果可以判斷模型的正確性、協助應對未來事件、比較不同決策的優劣等等。

### 統計模型

統計模型相當於假說和基本前提，代表的是產生數據的機制，將資料和統計模型一起放入資料分析後，可以判斷模型是否正確。但如果統計模型的某些前提不正確，可能會會推出錯誤結論。一般來說，統計模型是一個機率密度函數，數據依據該函數產生。例如前提是各班級的學生成績是常態分佈，假說是且甲班成績低於乙班，依據學生t檢驗可以比較兩班的成績。常見的統計模型包括廣義線性模型等。

有些研究者會用許多反映不同假說的模型各自分析資料，然後用赤池資訊量準則或貝葉斯資訊準則等方法判斷哪一個模型「最好」，稱為模型選擇。然而最好的模型不見得最正確，例如在遇到對撞變因時，資訊量準則會推薦錯誤的模型，因為在統計上控制對撞變因會讓偽關係更強，造成對撞變因被誤認為干擾變因。

### 推理模型

推理模型（inference model）比較不同的假說和實驗方法會產生什麼樣的數據，以了解科學研究過程中，科學家究竟可以從手邊的數據分析出哪些合理的推論。

## 建模的過程

在確立目標和模型在科學研究中的功能後，操作定義和量化、挑選假設前提，然後依據這些前提建立模型：

- 圖像模型：最簡單，不使用實際的公式推導，而是用圖象，例如經濟學的供需曲線。
- 數學模型：需要數學能力
- 電腦模擬：最複雜，需要寫程式的能力

首先必須明白問題的本質，才能根據研究目標將系統簡化成模型，用圖象、數學公式或程式碼來表示各種概念。判斷哪些核心部件必須保留、哪些可以簡化是建模的重要步驟。如果所有的細節都包含在內，模型和真實世界是一樣的，則沒有使用模型的意義。在許多研究領域有許多現有的模型框架可以使用，例如賽局理論、流行病SIR模型、流體力學公式、化學反應速率方程等等，許多時候研究者可以直接套用舊有的框架來研究新問題。然而，就算是研究一樣的問題，不同的研究者也可能因自己的偏好和對研究對象的理解不同而影響建模的判斷。

建模時的種種假設前提會限制模型的適用範圍。只有當前提正確時，模型才能保證正確，科學的進展往往始於用前提更廣的模型來取代舊有模型。例如狹義相對論預設慣性參考系，而廣義相對論進一步說明了這個前提的意義。

分析模型的方法有許多，包括計算模型的穩定狀態、求極值、描述變數之間的關係、用電腦模擬找趨勢等等。在變數的可能範圍很廣時，有時會在大範團快速掃描幾個數值套入模型後的結果，然後再依據這些結果挑選有興趣的範圍作細部的分析，這種手段稱為space mapping。一般來說，分析模型後需要將結果可視化。

### 常用軟體

現代科學模型往往需要用到電腦，不管是計算複雜的算式、是將大量數據套入模型分析、作圖、或是電腦模擬皆然。在各領域，科學建模有許多不同模擬軟體和程式語言，也有人開發了協助建模的圖形介面。目前常見的包括Mathematica、Matlab、Python、Open Source Physics、Easy Java Simulations、 STELLA、Wolfram SystemModeler等等。

## 模型的好壞

怎樣才算是好的模型是科學哲學和科學史學者尚在研究的問題。常見的觀點是好的模型應該要有以下特質：

- 漂亮，沒有專為特定目標而存在的修改（ad hoc modifications）
- 簡約，少有任意、可改動的變數（奧卡姆剃刀）
- 有解釋力，和現有的各種證據吻合
- 能產生精確的預測，未來有機會否證
- 可以提供重要的見解、指引未來的研究。

然而這些判準是主觀的，沒有固定的標準，而且符合這些特質的模型不見得比較正確，例如愛因斯坦曾說：「所有的東西應該盡可能地簡單，但不能比這更簡單。」除此之外，歷史上發生的各種典範轉移是否都是如此換成更好的模型也有爭議，例如日心說的解釋力在當時並沒有比地心說更高。

## 各領域的模型發展史

### 微積分和物理

17世紀是微積分的發展時期，戈特弗里德·威廉·萊布尼茨和艾薩克·牛頓兩人幾乎同時使微積分觀念成熟，澄清微、積分之間的關係，使計算系統化，並且把微積分大規模使用到幾何與物理研究上。牛頓利用了微積分的技巧，由萬有引力及運動定律出發說明了他的宇宙體系，解決天體運動，流體旋轉的表面，地球的扁率，擺線上重物的運動等問題。

如今，純物理的模型大多為概念驗證模型，例如標準模型以及其他尚未確認的弦論、多重宇宙等。應用物理的模型則較多模擬和預測。

### 人口和族群動力模型

1798年馬爾薩斯提出人口的指數成長模型。

1925和1926年，洛特卡－沃爾泰拉方程，成為生態學以及演化生物學描述生物互動的基礎。之後Kermack–McKendrick theory為流行病學的分室系統方法打下基礎。1945年，萊斯利矩陣將不同年齡的生殖和存活率列入考慮，用線性代數更詳盡地描述生物族群的成長。

### 機率和統計模型

1906年的馬可夫鏈描述離散狀態、離散時間的隨機轉換。

1908年和1909年的哈溫平衡描述不同基因型在族群中的基因頻率，是遺傳學的基礎。卡爾·皮爾森和法蘭西斯·高爾頓等人開始發展生物統計學，之後羅納德·費雪、休厄爾·賴特、JBS·霍爾丹等人計算生物基因或性狀在族群中的分佈，促生現代演化綜論，包括族群遺傳學、計量遺傳學等各種模型。因為基因頻率和機率的關係密不可分，許多模型描述的是隨機過程，例如描述遺傳漂變的賴特-費雪模型和Moran模型。

### 供需模型

供給和需求的概念早在中世紀一些穆斯林經濟學家即有。在歐洲的學術界，1767年詹姆士·斯圖亞特、1776年亞當·斯密、1817年李嘉圖都有使用。1838年法國數學家古諾首先發展一個數學化的供需模型。

19世紀晚期邊際效用學派興起，這個學派以英國經濟學家傑文斯、奧地利經濟學家門格爾和法國經濟學家瓦爾拉斯爲首。他們理論的共同點是價格是由生產決策的邊際價格決定。這是自從亞當·斯密關於如何決定供給價格的思想以來一個非常重要的改變。1870年作者弗萊明·詹金（Fleeming Jenkin）首先在論文裏繪出第一條供給曲線和需求曲線，包括使用比較靜態的辦法研究供給和需求在勞動市場的應用。這個模型後來被馬歇爾在其1890年的教科書著作《經濟學原理》（Principles of Economics）進一步發展及普及。

### 賽局

對於博弈論的研究開始於1913年的恩斯特·策梅洛、後經埃米爾·博雷爾、馮·諾伊曼和奧斯卡·摩根斯坦，在1940年代系統化和形式化。隨後約翰·福布斯·納什利用不動點定理證明了均衡點的存在，為博弈論的一般化奠定了堅實的基礎。納什和約翰·C·海薩尼及萊因哈德·澤爾騰因為他們對博弈論的貢獻而獲得1994年的諾貝爾經濟學獎。羅伯特·J·奧曼、肯·賓摩爾、戴維·克瑞普斯及阿里爾·魯賓斯坦也對博弈論做出重大貢獻。

1970年代，約翰·梅納德·史密斯和喬治·普萊斯將賽局理論應用到生物學上，建立演化均衡策略的概念。

### 電腦

電腦的發展對科學模型有重要的貢獻，許多本來過於困難或花時間的計算都因為電腦而得以進行。1940年代發展的蒙地卡羅方法用亂數來解決很多計算問題，例如和馬可夫鏈結合後處理貝氏統計模型。硬體的升級以及平行運算等技術則讓大數據得以發展。機器學習甚至讓模型的複雜度超過人類可以理解的範圍。

電腦的快速運算促成許多仰賴模擬的科學模型，例如強調個體差異的個體為本模擬為生態學作出重大貢獻。氣象預報模型則描述難以用有限的數學公式推算的複雜系統。透過模擬有機化學的各種機制，電腦模擬也用在找尋新藥物以及晶片設計。

### 心理學

1971年，Schelling用個體為本模型說明為什麼即使人們沒有種族主義傾向，居住區域也可能發生種族隔離，是最早將科學模型用在心理學的例子之一。現在，科學模型、質化研究、量化研究、訪問、和文本分析是心理學的五大研究方法。

科學模型也廣泛應用在認知科學，例如用電腦模擬幾種不同的規則來判斷語句應如何發生閩南語連續變調，以研究語言學習的認知過程。