科學依靠計算機建模 - 所以時會發生什麼出了問題?

科學依靠計算機建模 - 所以時會發生什麼出了問題?

從青黴素的轉變發現到相對論和量子力學,科學甚至在有計算機之前就以令人難以置信的速度發展。 其中很大一部分取決於科學方法的穩健性:科學結果通過其他科學家的複制和擴展得到驗證。

但我們做科學的方式正在改變 - 我們現在越來越依賴複雜的計算機模型來理解自然。 事實證明,這些模型幾乎不可能再現 - 這意味著科學的重要試金石正在受到挑戰。 那麼這種變化的實際影響是什麼呢?我們能做些什麼呢?

前現代科學 - 被稱為“自然哲學” - 是經驗主義的。 經驗科學使用過去的觀察來預測未來,然後可以對其進行測試。 第谷布拉赫一位16世紀的丹麥天文學家,以這種方式設法對天空進行準確而全面的觀測。

現代科學,但是,是理論上的。 理論科學也使得預測的,但它的數學模型,而不是從以前的觀察得出他們。 想想艾薩克·牛頓運動定律,如 反平方引力定律.

例如,有一個方程式描述了太陽周圍地球的軌道。 此等式可用於構建計算機模型,您可以在其中插入某些變量並查看解決方案的更改方式。 您可以插入未來的日期並在該日期讀取地球的位置。 您也可以使用相同的程序來模擬其他行星系統 - 它們都基於相同的數學。 您所要做的就是插入不同的質量和所涉及的身體的各種其他屬性。

這些數學方程式在可用時很好 - 但通常它們不是。 例如,我們知道沒有簡單的方程可以解決所謂的“三體問題“,它描述了三具屍體周圍軌道和引力相互影響 - 就像月亮,地球和太陽。

當前的許多科學都涉及更複雜的系統,同樣缺乏精確的解決方案。 這些模型必須是“計算”的 - 描述系統如何從一個瞬間變化到另一個瞬間。 但是,除了通過這種方式“模擬”其演化之外,沒有辦法在未來的某個時間確定確切的狀態。 天氣預報是一個熟悉的例子; 直到1950中出現計算機,才能比實際發生的更快地預測未來的天氣。

當前的科學通常包括設計描述複雜系統的數學模型,然後將其轉換為計算模擬,並運行模擬以進行預測以驗證模型。

建模失敗時

建模用於科學領域 - 從天體物理學和 氣候預測 生物信息學和經濟學。 但是還有 爭論不斷增加 關於這種科學難以通過複製驗證的事實。

事實證明,簡單地用文字描述實驗方法是不夠的。 這部分是因為像英語這樣的自然語言對於精確描述計算而言過於模糊。 畢竟,程序員使用編程語言的原因就在於此。 軟件開發中最大的挑戰之一是將模糊的需求轉換為精確的行為規範。

人類 - 甚至科學家 - 畢竟都是錯誤的。 將任何信息轉換為程序幾乎總是會引入錯誤。 例如,許多科學家依靠數據探索工具,如電子表格,這些工具的設計易於使用,而不是堅固耐用。 簡單地在電子表格中總結錯誤的單元格範圍非常簡單,而不會收到任何警告。 這是其中之一 方法論缺陷 在一篇美國共和黨過去用來製定支持緊縮政策的文件中。

同樣的 最近的一項研究 在調查美國公司Enron期間公佈的15,770電子表格中,顯示包含至少一個公式的24%電子表格存在明顯的錯誤,例如添加空白單元格。

在自然科學中, 火星氣候觀測為了研究火星上的氣候而在1998上發射的太空探測器在一年後丟失了,因為控制軟件的一部分錯誤地使用了英製而非公制單位。 另一項研究 同樣地學實驗九個獨立的實現 - 使用相同的數據集,算法和程序設計語言 - 顯示在所獲得的結果非常小的協議。

更重要的是,即使研究論文的讀者能夠成功地解釋作者的確切含義,然後將其完美地轉化為程序,執行它仍然存在缺陷。 計算機處理數字的方法有一個特別棘手的問題:儘管它們可以完美地操縱整數,例如42和-17,但是操縱實數的標準技術如π≈3.14和√2≈1.414僅允許近似精度。 這些近似意味著計算相同值的明顯等效方式可以 產生不同的結果.

那麼,可以做些什麼呢? 如果即使是專業軟件開發人員也無法可靠地生成正確的軟件,那麼像科學家這樣的業餘程序員還有什麼希望?

其中一項工作是製作用於設計“特定領域”編程語言的工具,每種編程語言都針對特定類別的問題進行定制,例如經濟市場中的代理行為或藥物跨細胞的擴散。 這些目標旨在使專家更容易直接用熟悉的術語描述計算,而不必間接地用通用編程語言對它們進行編碼。

第二種方法旨在為程序設計更具表現力但仍然用戶友好的“類型系統”。 這樣可以更容易地捕獲“愚蠢”錯誤,例如電子表格中的空白單元格,或者混合不同單位的值。 但它不能排除所有邏輯錯誤。 第三行是開發可用的代碼庫以進行精確算術,避免了近似問題。

這些方法很有可能有助於解決未來的問題,或至少消除一些風險。 畢竟,世界需要科學,科學家需要計算機 - 這不太可能很快改變。

關於作者

Jeremy Gibbons,牛津大學計算機系教授。 編程語言研究主題負責人。

這篇文章最初出現在談話

相關圖書:

InnerSelf市場

Amazon

enafarzh-CNzh-TWdanltlfifrdeiwhihuiditjakomsnofaplptruesswsvthtrukurvi

關注InnerSelf

Facebook的圖標Twitter圖標YouTube圖標instagram圖標pintrest圖標rss圖標

 通過電子郵件獲取最新信息

每週雜誌 每日靈感

證據

死白草包圍的藍色水
地圖追踪了美國 30 年的極端融雪
by 米凱拉·梅斯-亞利桑那
過去 30 年極端融雪事件的新地圖闡明了推動快速融雪的過程。
在大海的白色海冰與在水中反射的日落
地球的冰凍面積每年減少 33 平方英里
by 德克薩斯A&M大學
地球的冰凍圈每年正在縮小 33,000 平方英里(87,000 平方公里)。
風力渦輪機
一本有爭議的美國書正在為澳大利亞的氣候否認提供支持。 它的中心主張是真實的,但無關緊要
by Ian Lowe,格里菲斯大學理學院名譽教授
上週看到保守的澳大利亞評論員艾倫瓊斯支持一本有爭議的書,我的心沉了下來……
圖片
路透社的氣候科學家熱門名單在地理上是傾斜的:為什麼這很重要
by Nina Hunter,博士後研究員,誇祖魯-納塔爾大學
路透社的“世界頂級氣候科學家”熱榜正在氣候變化界引起轟動。 路透社...
一個人在藍色的水中拿著一個貝殼
古代貝殼暗示過去的高二氧化碳水平可能會回歸
by 萊斯利·李-德州農工大學
研究人員使用兩種方法來分析在深海海底沉積物核心中發現的微小生物,估計……
圖片
馬特卡納萬建議寒流意味著全球變暖不是真的。 我們打破了這個和其他兩個氣候神話
by Nerilie Abram,教授; ARC未來研究員; ARC 極端氣候卓越中心首席研究員; 澳大利亞國立大學澳大利亞南極科學卓越中心副主任
昨天,參議員馬特·卡納萬 (Matt Canavan) 在推特上發布了新南部地區雪景的照片時,引起了很多人的關注……
生態系統哨兵為海洋發出警報
by 蒂姆拉德福德
海鳥被稱為生態系統哨兵,警告海洋損失。 隨著他們的人數下降,他們的財富也會減少……
為什麼海獺是氣候勇士
為什麼海獺是氣候勇士
by 扎克·史密斯
除了是地球上最可愛的動物之一,海獺還有助於保持健康、吸收碳的海帶……

最新視頻

大規模的氣候遷移已經開始
大規模的氣候遷移已經開始
by 超級用戶
氣候危機正迫使世界各地成千上萬的人逃離家園,因為他們的家園越來越無法居住。
上一個冰河時代告訴我們為什麼我們需要關心溫度2℃的變化
上一個冰河時代告訴我們為什麼我們需要關心溫度2℃的變化
by 艾倫·威廉姆斯(Alan N Williams)等
政府間氣候變化專門委員會(IPCC)的最新報告指出,沒有實質性的減少……
地球已經生活了數十億年-我們到底有多幸運?
地球已經生活了數十億年-我們到底有多幸運?
by 托比·泰瑞爾
生產智人花了3到4億年的進化。 如果氣候完全失敗了一次……
如何繪製12,000年以前的天氣圖可以幫助預測未來的氣候變化
如何繪製12,000年以前的天氣圖可以幫助預測未來的氣候變化
by 布萊斯·瑞
在大約12,000年前的最後一個冰河時代結束時,其特徵是最終的寒冷階段稱為Younger Dryas。
本世紀里海將下降9米或更多
本世紀里海將下降9米或更多
by 弗蘭克·韋瑟林格(Frank Wesselingh)和Matteo Lattuada
想像您在海岸上,望向大海。 在您的面前躺著100米長的荒蕪沙子,看上去像一片荒蕪。
金星再次像地球,但氣候變化使它無法居住
金星再次像地球,但氣候變化使它無法居住
by 理查德·恩斯特
我們可以從我們的姊妹星球金星那裡學到很多有關氣候變化的知識。 金星目前的表面溫度為……
五個氣候懷疑:氣候錯誤信息的速成課程
五個氣候懷疑:氣候錯誤信息的速成課程
by 約翰庫克
該視頻是關於氣候錯誤信息的速成課程,總結了用來質疑現實的主要論點...
北極已經3萬年沒有變暖了,這意味著地球發生了巨大變化
北極已經3萬年沒有變暖了,這意味著地球發生了巨大變化
by 朱莉·布里格姆-格蕾特和史蒂夫·佩奇
Every year, sea ice cover in the Arctic Ocean shrinks to a low point in mid-September.每年1.44月中旬,北冰洋的海冰覆蓋面積都縮小到最低點。 This year it measures just XNUMX…今年,它的測量值僅為XNUMX…

最新文章

綠色能源2 3
中西部的四個綠色氫氣機會
by 克里斯汀·泰(Christian Tae)
為了避免氣候危機,中西部和美國其他地區一樣,需要通過以下方式使其經濟完全脫碳……
ug83qrfw
需要消除需求響應的主要障礙
by 約翰摩爾,在地球上
如果聯邦監管機構做對了,中西部的電力客戶可能很快就能賺錢,同時……
為氣候種植的樹木2
種植這些樹木以改善城市生活
by 邁克·威廉姆斯-賴斯
一項新研究將活橡樹和美國梧桐確立為 17 種“超級樹”中的冠軍,這將有助於使城市……
北海海床
為什麼我們必須了解海底地質才能駕馭風
by Natasha Barlow,利茲大學第四紀環境變化副教授
對於任何能夠輕鬆進入淺海多風的北海的國家來說,海上風將是滿足網絡需求的關鍵……
迪克西大火摧毀了加利福尼亞州歷史悠久的格林維爾,為森林小鎮提供了 3 場野火課程
迪克西大火摧毀了加利福尼亞州歷史悠久的格林維爾,為森林小鎮提供了 3 場野火課程
by Bart Johnson,俄勒岡大學景觀建築學教授
4 月 XNUMX 日,一場在炎熱乾燥的山林中燃燒的野火席捲了加利福尼亞州格林維爾的淘金熱鎮……
中國可以實現限制煤電的能源和氣候目標
中國可以實現限制煤電的能源和氣候目標
by 艾文林
在 XNUMX 月的領導人氣候峰會上,習近平承諾中國將“嚴格控制燃煤發電......
死白草包圍的藍色水
地圖追踪了美國 30 年的極端融雪
by 米凱拉·梅斯-亞利桑那
過去 30 年極端融雪事件的新地圖闡明了推動快速融雪的過程。
停在路邊的消防員抬頭望向橙色的天空時,一架飛機將紅色阻燃劑灑向森林火災
模型預測 10 年的野火爆發,然後逐漸下降
by 漢娜·希基-U。 華盛頓
看看野火的長期未來預測,最初大約十年之久的野火活動爆發,……

 通過電子郵件獲取最新信息

每週雜誌 每日靈感

新態度 - 新的可能性

InnerSelf.com氣候影響新聞網 | 內力網
MightyNatural.com | WholeisticPolitics.com | InnerSelf市場
版權所有©1985 - 2021心靈有所出版物。 版權所有。