Loading [MathJax]/extensions/tex2jax.js

0

1
3

文字

分享

0
1
3

第一台通用型電子計算機——專利糾葛、優劣並存的 ENIAC │《電腦簡史》數位時代(十)

張瑞棋_96
・2020/10/26 ・3482字 ・閱讀時間約 7 分鐘 ・SR值 551 ・八年級

-----廣告,請繼續往下閱讀-----

上一章曾說阿塔納索夫在愛荷華大學埋頭苦幹時,外界根本不知道美國中西部也有人在打造數位計算機。既然如此,莫奇利又怎麼會前去造訪,而衍生出日後的專利糾紛?其實,一開始是阿塔納索夫主動結識莫奇利的……。

本文為系列文章,上一篇請見:誰才是第一部電子計算機?——靠 650 美元誕生、曾被遺忘的 ABC 電腦│《電腦簡史》數位時代(九)

氣象論文數據太少被拒,發憤打造計算機

莫奇利小阿塔納索夫四歲,與他一樣是物理博士。1932 年取得博士學位後,原本留在母校約翰霍普金斯大學擔任研究助理,但一年後就到位於賓州的烏西納斯學院 (Ursinus College) 擔任物理系主任,雖然是所小學校,但至少是個正式的教職。

1938 年,莫奇利提交了一篇論文,分析太陽表面的活躍程度與大氣電學的關聯性,不料遭到拒絕,理由是所蒐集的數據期間太短。好吧,他是可以取得更多年度的氣象資料重新分析,但這龐大的數據靠他自己一人怎麼可能算得完?於是他先找學生來分擔計算工作,同時一邊研究有什麼自動計算的機器可以代勞。

莫奇利 John Mauchly。圖:Encyclopedia Britannica

莫奇利發現調和分析儀,這個源自克耳文男爵在半個世紀前發明的機械式計算機,專門用來做傅立葉分析,恰恰是他現在最需要的計算工具,因此於 1940 年也打造了一台。結果他在打造的過程中,竟對計算機產生了高度興趣,開始密切注意是否有更新的技術。

-----廣告,請繼續往下閱讀-----

莫奇利參觀了 IBM 最新的商用計算機,也參加 1940 年 9 月在達特茅斯學院舉辦的數學年會,見識史提畢茲展示複數計算機的功能。他還去了解物理學家研究宇宙射線所用的二進位計數器,這是用真空管做成的儀器,專門計算放射性粒子的數目。莫奇利試圖也仿造其邏輯電路,但買不起真空管,只好改用速度較慢,但便宜許多的氖管(灌入稀有氣體氖的燈管)。

愛荷華之行與賓大密集課程,學會設計邏輯電路

1940 年 12 月,莫奇利受邀到美國科學促進協會 (American Association for the Advancement of Science) 舉辦的研討會,發表他終於修訂完成的氣象學論文。莫奇利在演講中提到自己打造的調和分析儀,恰巧阿塔納索夫也在台下聆聽,便在演講結束後主動找莫奇利攀談,提及自己正在打造的真空管計算機(也就是日後的 ABC 電腦),並邀請他來愛荷華參觀。莫奇利第二年暑假驅車前往,就此埋下日後的專利糾紛。

莫奇利從愛荷華回來後,隨即趕赴賓州大學的摩爾電機學院,參加一項為期十週的電子學課程。這是由美國戰爭部 (1949 年才改為國防部) 出資委辦的密集課程,目的在於訓練出更多電子工程師,好為日益擴大的二次大戰戰事做好國防準備。如之前提過,摩爾電機學院與美國陸軍素有淵源,一直為陸軍分析各式火炮的彈道並製作「射表」 (Firing Table),自然成為承辦大學之一。

莫奇利在這課程習得邏輯電路的知識,不但如此,還找到一位志同道合的夥伴艾科特 (J. Presper Eckert)。艾科特當時才 22 歲,仍是摩爾電機學院研究所的學生,卻已多處展現電子工程的長才,包括改善微分分析儀(這是為了分析彈道,而於 1935 年購置的機械式計算機),因此擔任此次課程中的助教。

-----廣告,請繼續往下閱讀-----
ENIAC的共同發明人艾科特。圖:WIKI

更棒的是,摩爾電機學院有個現成的教職給莫奇利。雖然這只是個講師的職位,和他目前系主任的頭銜比起來差很多,但對於一心想打造計算機的莫奇利而言,留在這裡一定有更多實作磨練的機會,而且又能與艾科特切磋,因此他仍欣然接受,於 1941 年開始在摩爾電機學院任教。

美國參戰急需大量射表,莫奇利提案真空管計算機

美國於 1941 年底參戰後,陸軍急需更多火炮的射表。眼見摩爾電機學院的進度大幅落後,陸軍特地另外招募了一百多的女性計算員,分成兩班輪流操作微分分析儀,卻仍跟不上前線的迫切需求。1942 年 8 月,莫奇利向校方提交了一份備忘錄,直指機械式的微分分析儀先天不足,建議使用真空管打造電子式計算機。

他在備忘錄中舉真空管計數器可達每秒十萬次為例,主張用電子計算機計算彈道,無論是速度或正確性,都會遠勝於機械式的微分分析儀。然而這份備忘錄並沒有得到校方重視,所幸不久後陸軍中尉高士汀 (Herman Goldstine) 被派來摩爾電機學院,才挽救了莫奇利的夢想。

高士汀原本是密西根大學的數學教授,擅於彈道學的分析,遂被徵召進陸軍的彈道研究實驗室 (Ballistic Research Laboratory)。1942 年秋,他被派往摩爾電機學院,負責提升射表的產能,但過了半年仍一籌莫展。這是因為男性多已入伍,而當時懂數學的女性又相當有限,已無法再增加計算員的人力。因此當他 1943 年初獲知莫奇利的備忘錄後,立即找來了解。他研究後,相當認同電子計算機可大幅提升計算速度,解決射表產出不足的問題,因此決定促成此事。

-----廣告,請繼續往下閱讀-----

高士汀努力奔走的同時,莫奇利也找來艾科特補強備忘錄中的技術細節,並將標題改為《電子式微分分析儀的報告》。 1943 年 4 月 9 日,向軍方高層簡報後,成功獲得批准,經費很快就核發下來。

ENIAC——第一部通用型電子計算機問世

六月初,「電子數值積分儀暨計算機」(Electronic Numerical Integrator And Computer,簡稱 ENIAC) 的開發正式啟動,經過兩年半才打造完成,共耗費近五十萬美元(相當於 2020 年的七百萬美元)。完成後的機器重達 27 噸,由 30 個高二米四的機櫃組成,加起來有 30 公尺長,塞滿了 50 坪房間的牆面;IBM 的 ASCC 與之相較猶如小巫見大巫。

安裝於摩爾電機學院的 ENIAC,相片中間即是高士汀。圖:WIKI

ENIAC 的真空管多達 17,468 個,主要用於運算單元與記憶單元,不過運算方式仍是採十進位,而不是二進位。輸入方式有兩種,數據與常用的函數表是用 IBM 現成的打孔卡片機制輸入,然後暫存到記憶單元;程式則跳過打孔卡片,直接用纜線連接控制單元的不同插孔,再調整開關與計數器完成設定。用這種方式輸入程式與數據,是為了完全發揮真空管的優勢,不被讀卡的機械動作拖累。

ENIAC 果然不負眾望,運算速度可達每秒 5,000 次加法或 357 次乘法,不僅超過貝爾實驗室與 IBM 用繼電器打造的計算機百倍以上,也遠勝於阿塔納索夫的 ABC 電腦。用 ENIAC 分析彈道當然也比微分分析儀快多了,只不過當它於 1945 年 11 月啟用時,二次大戰早已結束,原本建造的初衷為了製作射表,如今已不需要了,這簡直就是莊子寓言所說的:花了三年學會屠龍之技,卻無所用其巧。

-----廣告,請繼續往下閱讀-----

所幸 ENIAC 是一部可程式化的通用型電腦,軍方仍能在其它方面用到它龐大的計算能力──例如氫彈的模擬計算,因此它還是一直運作到 1955 年 10 月才退役。

二戰結束後創辦公司,電腦專利遭判無效

對莫奇利與艾科特而言,二次大戰結束反而是他們事業的開始。1946 年 3 月,他們兩人一起離開賓州大學,創辦「艾科特─莫奇利電腦公司」,並將 ENIAC 的相關技術申請專利。

這份專利直到 1964 年才獲准,但因為他們的公司早在 1950 年就賣給雷明頓蘭德公司 (Remington Rand),而這家公司五年後又遭另一家公司併購,專利也就歸屬於合併後的斯佩里蘭德公司 (Sperry Rand) 所有。斯佩里蘭德取得專利後,開始向其它電腦公司索取授權金,Honeywell 不願支付,雙方於 1971 年鬧上法庭。

阿塔納索夫因此才以證人身分出庭,證明莫奇利從他這裡獲知數位電腦的相關技術。最後法官認定莫奇利與艾科特的發明衍生自阿塔納索夫的設計,於 1973 年判決專利無效。

-----廣告,請繼續往下閱讀-----

ENIAC 突顯舊思維的缺陷,促成現代電腦的出現

其實 ENIAC 與阿塔納索夫的 ABC 電腦有著根本性的不同。雖然兩者都用真空管,但 ENIAC 的用法卻是當成計數器,以傳統的十進位計算,而不是像 ABC 那樣當成二進位的邏輯閘。ENIAC 這樣的設計比起 ABC,反而又倒退了一步。當然 ENIAC 是通用型電腦這一點,比只能解線性方程式的 ABC 強多了,不過要靠插拔纜線、切換開關的方式設定程式實在太過麻煩。

ENIAC 的程式設計師須以插拔纜線、切換開關的方式設定程式。圖:WIKI

無論如何,ENIAC 的確是件劃時代的作品,它將計算機的運算能力提升了兩三個數量級以上,而且還能變換程式做各種運算。因為它的成功運行,而帶動了更多打造通用型電腦的計畫。

另一方面,它的諸多缺點也突顯了舊思維的設計亟待改善,新的電腦立即針對這些缺陷重新設計,因而又往現代電腦更邁向一大步。而在其中扮演關鍵角色的正是從數學、物理、經濟學,乃至 DNA,都有卓越貢獻的全能型天才──馮紐曼。

-----廣告,請繼續往下閱讀-----
文章難易度
張瑞棋_96
423 篇文章 ・ 1026 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。

0

1
1

文字

分享

0
1
1
伺服器過熱危機!液冷與 3D VC 技術如何拯救高效運算?
鳥苷三磷酸 (PanSci Promo)_96
・2025/04/11 ・3194字 ・閱讀時間約 6 分鐘

-----廣告,請繼續往下閱讀-----

本文與 高柏科技 合作,泛科學企劃執行。

當我們談論能擊敗輝達(NVIDIA)、Google、微軟,甚至是 Meta 的存在,究竟是什麼?答案或許並非更強大的 AI,也不是更高速的晶片,而是你看不見、卻能瞬間讓伺服器崩潰的「熱」。

 2024 年底至 2025 年初,搭載 Blackwell 晶片的輝達伺服器接連遭遇過熱危機,傳聞 Meta、Google、微軟的訂單也因此受到影響。儘管輝達已經透過調整機櫃設計來解決問題,但這場「科技 vs. 熱」的對決,才剛剛開始。 

不僅僅是輝達,微軟甚至嘗試將伺服器完全埋入海水中,希望藉由洋流降溫;而更激進的做法,則是直接將伺服器浸泡在冷卻液中,來一場「浸沒式冷卻」的實驗。

-----廣告,請繼續往下閱讀-----

但這些方法真的有效嗎?安全嗎?從大型數據中心到你手上的手機,散熱已經成為科技業最棘手的難題。本文將帶各位跟著全球散熱專家 高柏科技,一同看看如何用科學破解這場高溫危機!

運算=發熱?為何電腦必然會發熱?

為什麼電腦在運算時溫度會升高呢? 圖/unsplash

這並非新問題,1961年物理學家蘭道爾在任職於IBM時,就提出了「蘭道爾原理」(Landauer Principle),他根據熱力學提出,當進行計算或訊息處理時,即便是理論上最有效率的電腦,還是會產生某些形式的能量損耗。因為在計算時只要有訊息流失,系統的熵就會上升,而隨著熵的增加,也會產生熱能。

換句話說,當計算是不可逆的時候,就像產品無法回收再利用,而是進到垃圾場燒掉一樣,會產生許多廢熱。

要解決問題,得用科學方法。在一個系統中,我們通常以「熱設計功耗」(TDP,Thermal Design Power)來衡量電子元件在正常運行條件下產生的熱量。一般來說,TDP 指的是一個處理器或晶片運作時可能會產生的最大熱量,通常以瓦特(W)為單位。也就是說,TDP 應該作為這個系統散熱的最低標準。每個廠商都會公布自家產品的 TDP,例如AMD的CPU 9950X,TDP是170W,GeForce RTX 5090則高達575W,伺服器用的晶片,則可能動輒千瓦以上。

-----廣告,請繼續往下閱讀-----

散熱不僅是AI伺服器的問題,電動車、儲能設備、甚至低軌衛星,都需要高效散熱技術,這正是高柏科技的專長。

「導熱介面材料(TIM)」:提升散熱效率的關鍵角色

在電腦世界裡,散熱的關鍵就是把熱量「交給」導熱效率高的材料,而這個角色通常是金屬散熱片。但散熱並不是簡單地把金屬片貼在晶片上就能搞定。

現實中,晶片表面和散熱片之間並不會完美貼合,表面多少會有細微間隙,而這些縫隙如果藏了空氣,就會變成「隔熱層」,阻礙熱傳導。

為了解決這個問題,需要一種關鍵材料,導熱介面材料(TIM,Thermal Interface Material)。它的任務就是填補這些縫隙,讓熱可以更加順暢傳遞出去。可以把TIM想像成散熱高速公路的「匝道」,即使主線有再多車道,如果匝道堵住了,車流還是無法順利進入高速公路。同樣地,如果 TIM 的導熱效果不好,熱量就會卡在晶片與散熱片之間,導致散熱效率下降。

-----廣告,請繼續往下閱讀-----

那麼,要怎麼提升 TIM 的效能呢?很直覺的做法是增加導熱金屬粉的比例。目前最常見且穩定的選擇是氧化鋅或氧化鋁,若要更高效的散熱材料,則有氮化鋁、六方氮化硼、立方氮化硼等更高級的選項。

典型的 TIM 是由兩個成分組成:高導熱粉末(如金屬或陶瓷粉末)與聚合物基質。大部分散熱膏的特點是流動性好,盡可能地貼合表面、填補縫隙。但也因為太「軟」了,受熱受力後容易向外「溢流」。或是造成基質和熱源過分接觸,高分子在高溫下發生熱裂解。這也是為什麼有些導熱膏使用一段時間後,會出現乾裂或表面變硬。

為了解決這個問題,高柏科技推出了凝膠狀的「導熱凝膠」,說是凝膠,但感覺起來更像黏土。保留了可塑性、但更有彈性、更像固體。因此不容易被擠壓成超薄,比較不會熱裂解、壽命也比較長。

OK,到這裡,「匝道」的問題解決了,接下來的問題是:這條散熱高速公路該怎麼設計?你會選擇氣冷、水冷,還是更先進的浸沒式散熱呢?

-----廣告,請繼續往下閱讀-----

液冷與 3D VC 散熱技術:未來高效散熱方案解析

除了風扇之外,目前還有哪些方法可以幫助電腦快速散熱呢?圖/unsplash

傳統的散熱方式是透過風扇帶動空氣經過散熱片來移除熱量,也就是所謂的「氣冷」。但單純的氣冷已經達到散熱效率的極限,因此現在的散熱技術有兩大發展方向。

其中一個方向是液冷,熱量在經過 TIM 後進入水冷頭,水冷頭內的不斷流動的液體能迅速帶走熱量。這種散熱方式效率好,且增加的體積不大。唯一需要注意的是,萬一元件損壞,可能會因為漏液而損害其他元件,且系統的成本較高。如果你對成本有顧慮,可以考慮另一種方案,「3D VC」。

3D VC 的原理很像是氣冷加液冷的結合。3D VC 顧名思義,就是把均溫板層層疊起來,變成3D結構。雖然均溫板長得也像是一塊金屬板,原理其實跟散熱片不太一樣。如果看英文原文的「Vapor Chamber」,直接翻譯是「蒸氣腔室」。

在均溫板中,會放入容易汽化的工作流體,當流體在熱源處吸收熱量後就會汽化,當熱量被帶走,汽化的流體會被冷卻成液體並回流。這種利用液體、氣體兩種不同狀態進行熱交換的方法,最大的特點是:導熱速度甚至比金屬的熱傳導還要更快、熱量的分配也更均勻,不會有熱都聚集在入口(熱源處)的情況,能更有效降溫。

-----廣告,請繼續往下閱讀-----

整個 3DVC 的設計,是包含垂直的熱導管和水平均溫板的 3D 結構。熱導管和均溫板都是採用氣、液兩向轉換的方式傳遞熱量。導熱管是電梯,能快速把散熱工作帶到每一層。均溫板再接手將所有熱量消化掉。最後當空氣通過 3DVC,就能用最高的效率帶走熱量。3DVC 跟水冷最大的差異是,工作流體移動的過程經過設計,因此不用插電,成本僅有水冷的十分之一。但相對的,因為是被動式散熱,其散熱模組的體積相對水冷會更大。

從 TIM 到 3D VC,高柏科技一直致力於不斷創新,並多次獲得國際專利。為了進一步提升 3D VC 的散熱效率並縮小模組體積,高柏科技開發了6項專利技術,涵蓋系統設計、材料改良及結構技術等方面。經過設計強化後,均溫板不僅保有高導熱性,還增強了結構強度,顯著提升均溫速度及耐用性。

隨著散熱技術不斷進步,有人提出將整個晶片組或伺服器浸泡在冷卻液中的「浸沒式冷卻」技術,將主機板和零件完全泡在不導電的特殊液體中,許多冷卻液會選擇沸點較低的物質,因此就像均溫板一樣,可以透過汽化來吸收掉大量的熱,形成泡泡向上浮,達到快速散熱的效果。

然而,因為水會導電,因此替代方案之一是氟化物。雖然效率差了一些,但至少可以用。然而氟化物的生產或廢棄時,很容易產生全氟/多氟烷基物質 PFAS,這是一種永久污染物,會對環境產生長時間影響。目前各家廠商都還在試驗新的冷卻液,例如礦物油、其他油品,又或是在既有的液體中添加奈米碳管等特殊材質。

-----廣告,請繼續往下閱讀-----

另外,把整個主機都泡在液體裡面的散熱邏輯也與原本的方式大相逕庭。如何重新設計液體對流的路線、如何讓氣泡可以順利上浮、甚至是研究氣泡的出現會不會影響元件壽命等等,都還需要時間來驗證。

高柏科技目前已將自家產品提供給各大廠商進行相容性驗證,相信很快就能推出更強大的散熱模組。

-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

鳥苷三磷酸 (PanSci Promo)_96
223 篇文章 ・ 313 位粉絲
充滿能量的泛科學品牌合作帳號!相關行銷合作請洽:contact@pansci.asia

0

3
0

文字

分享

0
3
0
量子革命來襲!一分鐘搞定傳統電腦要花數千萬年的難題!你的電腦是否即將被淘汰?
PanSci_96
・2024/10/17 ・2050字 ・閱讀時間約 4 分鐘

-----廣告,請繼續往下閱讀-----

量子電腦:解碼顛覆未來科技的關鍵

2023 年,Google 發表了一項引人注目的研究成果,顯示人類現有最強大的超級電腦 Frontier 需要花費 47 年才能完成的計算任務,Google 所研發的量子電腦 Sycamore 只需幾秒鐘便能完成。這項消息震驚了科技界,也再次引發了量子電腦的討論。

那麼,量子電腦為什麼如此強大?它能否徹底改變我們對計算技術的認知?

歡迎訂閱 Pansci Youtube 頻道 獲取更多深入淺出的科學知識!

量子電腦是什麼?

量子電腦是一種基於量子力學運作的新型計算機,它與我們熟悉的傳統電腦截然不同。傳統電腦的運算是建立在「位元」(bits)的基礎上,每個位元可以是 0 或 1,這種二進位制運作方式使得計算過程變得線性且單向。然而,量子電腦使用的是「量子位元」(qubits),其運算邏輯則是基於量子力學中的「疊加」與「糾纏」等現象,這使得量子位元能同時處於 0 和 1 的疊加狀態。

這意味著,量子電腦能夠在同一時間進行多個計算,從而大幅提高運算效率。對於某些非常複雜的問題,例如氣候模型、金融分析,甚至質因數分解,傳統電腦可能需要數千年才能完成的運算任務,量子電腦只需數分鐘甚至更短時間便可完成。

-----廣告,請繼續往下閱讀-----

Google、IBM 和量子競賽

Google 和 IBM 是目前在量子計算領域中競爭最為激烈的兩大科技公司。Google 的 Sycamore 量子電腦已經展示出極高的計算速度,令傳統超級電腦相形見絀。IBM 則持續投入量子電腦的研究,並推出了超過 1000 個量子位元的系統,預計到 2025 年,IBM 的量子電腦將擁有超過 4000 個量子位元。

除此之外,世界各國和企業都爭相投入這場「量子霸權」的競賽,台灣的量子國家隊也不例外,積極尋求量子計算方面的突破。這場量子競賽,將決定未來的計算技術格局。

量子電腦的核心原理

量子電腦之所以能如此快速,是因為它利用了量子力學中的「疊加態」和「糾纏態」。簡單來說,傳統電腦的位元只能是 0 或 1 兩種狀態,而量子位元則可以同時處於 0 和 1 兩種狀態的疊加,這使得量子電腦可以在同一時間內同時進行多次計算。

舉例來說,如果一台電腦需要處理一個要花 330 年才能解決的問題,量子電腦只需 10 分鐘便可解決。如果問題變得更複雜,傳統電腦需要 3300 年才能解決,量子電腦只需再多花一分鐘便能完成。

-----廣告,請繼續往下閱讀-----

此外,量子電腦中使用的量子閘(quantum gates)類似於傳統電腦中的邏輯閘,但它能進行更複雜的運算。量子閘可以改變量子位元的量子態,進而完成計算過程。例如,Hadamard 閘能將量子位元轉變為疊加態,使其進行平行計算。

量子電腦能大幅縮短複雜問題的計算時間,利用量子閘進行平行運算。圖/envato

計算的效率

除了硬體技術的進步,量子電腦的強大運算能力也依賴於量子演算法。當前,最著名的兩種量子演算法分別是 Grover 演算法與 Shor 演算法。

Grover 演算法主要用於搜尋無序資料庫,它能將運算時間從傳統電腦的 N 遞減至 √N,這使得資料搜索的效率大幅提升。舉例來說,傳統電腦需要花費一小時才能完成的搜索,量子電腦只需幾分鐘甚至更短時間便能找到目標資料。

Shor 演算法則專注於質因數分解。這對於現代加密技術至關重要,因為目前網路上使用的 RSA 加密技術正是基於質因數分解的困難性。傳統電腦需要數千萬年才能破解的加密,量子電腦只需幾秒鐘便可破解。這也引發了全球對後量子密碼學(PQC)的研究,因為一旦量子電腦大規模應用,現有的加密系統將面臨極大的威脅。

-----廣告,請繼續往下閱讀-----

量子電腦的挑戰:退相干與材料限制

儘管量子電腦具有顛覆性的運算能力,但其技術發展仍面臨諸多挑戰。量子位元必須保持在「疊加態」才能進行運算,但量子態非常脆弱,容易因環境中的微小干擾而坍縮成 0 或 1,這種現象被稱為「量子退相干」。量子退相干導致量子計算無法穩定進行,因此,如何保持量子位元穩定是量子電腦發展的一大難題。

目前,科學家們正在探索多種材料和技術來解決這一問題,例如超導體和半導體技術,並嘗試研發更穩定且易於量產的量子電腦硬體。然而,要實現大規模的量子計算應用,仍需克服諸多技術瓶頸。

量子電腦對未來生活的影響

量子電腦的快速發展將為未來帶來深遠的影響。它不僅將推動科學研究的進步,例如藥物設計、材料科學和天文物理等領域,還可能徹底改變我們的日常生活。例如,交通運輸、物流優化、金融風險管理,甚至氣候變遷預測,都有望因量子計算的應用而變得更加精確和高效。

然而,量子計算的發展也帶來了一些潛在的風險。隨著量子電腦逐漸成熟,現有的加密技術可能會被徹底摧毀,全球的資訊安全體系將面臨巨大挑戰。因此,各國政府和企業已經開始研究新的加密方法,以應對量子時代的來臨。

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----

討論功能關閉中。

PanSci_96
1262 篇文章 ・ 2408 位粉絲
PanSci的編輯部帳號,會發自產內容跟各種消息喔。

0

1
0

文字

分享

0
1
0
計算機先驅:巴貝奇與他的小型差分計算機——《資訊大歷史》
azothbooks_96
・2022/07/01 ・3045字 ・閱讀時間約 6 分鐘

-----廣告,請繼續往下閱讀-----

查爾斯.巴貝奇

查爾斯.巴貝奇(Charles Babbage),1792 至 1871 年。

1843 年,一位英國數學家提出了分析機原理,這個構思將在一百零三年後由後人付諸實踐,並有了一個為大家熟知的名字——計算機(今日俗稱電腦)。很遺憾,查理斯.巴貝奇終其一生也沒能實現造出分析機的願望,但他依舊是當之無愧的計算機先驅。

直到今天,許多計算機書籍扉頁裡仍然刊載著他的照片,以表紀念。

巴貝奇發明小型差分計算機

一七九二年,巴貝奇出生於倫敦一個富有的銀行家家庭,十八歲進入著名的劍橋大學三一學院,成為牛頓的校友。後來他擔任了牛頓擔任過的「盧卡斯數學教授」職務。在進入大學之前,他就展現出極高的數學天分。

進入大學後,巴貝奇發現,當時英國人普遍接受的牛頓建立在運動基礎之上的微積分,不如萊布尼茨基於符號處理的微積分那樣便於理解和傳播。為了推廣已被歐洲大陸普遍接受的萊布尼茨的微積分,他和其他人一同創辦了英國的(數學)分析學會。

不過巴貝奇並不是一個安分的學生,他一方面顯現出超凡的智力,另一方面又不按照要求完成學業,為此他不得不轉了一個學院,才能繼續學業。在學校裡,他還對很多超自然的現象感興趣。

延伸閱讀:巴貝奇誕辰|科學史上的今天:12/26

如果不是趕上工業革命,巴貝奇或許會尋找某個傳統的數學領域或者自然哲學領域做一輩子研究,並且留下一個巴貝奇定律或者巴貝奇定理。但是,工業革命的大背景,讓他把畢生精力和金錢都投入研究一種能夠處理資訊的機械中。

-----廣告,請繼續往下閱讀-----

這也不奇怪,因為工業革命為資訊處理提供了思想上的依據、技術上的條件和廣闊的市場。工業革命是人類歷史上最偉大的事件。它不僅第一次讓人類從此進入可持續發展的時代,也改變了人們的思想。人類從相信神,到今天開始變得自信起來,相信這個世界是確定的、有規律的,而自己能夠發現世界上所有的規律。

早在牛頓時代,著名物理學家玻意耳(Robert Boyle)在總結牛頓等人的科學成就之後,就提出了「機械論」,也被稱為「機械思維」。

提出「機械論」的玻意耳(Robert Boyle)。圖/Wikipedia

玻意耳等人(包括牛頓、哈雷等)認為,世間萬物的規律都可以用機械運動的規律來描述,包括蒸汽機和火車在內的工業革命中那些最重要的發明,都受益於機械思維。人們熱衷於用機械的方法解決問題,從精密的航海導航,到能夠奏樂的音樂盒,再到能織出各種圖案的紡織機。

既然能想到的所有規律都可以用運動規律來描述,那麼就很容易想到讓具有特殊結構的齒輪組運動來完成計算,這便是設計機械計算機的思想基礎。

其實,這種想法早在十七世紀就有人嘗試過。法國數學家帕斯卡(Blaise Pascal)發明了一種手搖計算器——雖然有時人們將它稱為最早的機械計算機,但實際上它和我們今天理解的電腦概念沒有太多相似之處,稱之為「計算器」更為恰當。

-----廣告,請繼續往下閱讀-----

帕斯卡計算器從外觀上看有上下兩排旋鈕,每個旋鈕上都刻著○至九這十個數字。在做加減法時,只要將參加運算的兩個數字分別撥到相應的位置,然後轉動手柄,計算器裡的一組組齒輪就會轉動,完成計算。

帕斯卡計算器。圖/Wikipedia

帕斯卡計算器最初只能做加法,後來經過改良, 可以做減法和乘法, 但做不了除法。在帕斯卡之後,萊布尼茨改良了計算器。他發明了一種以他名字命名的轉輪「萊布尼茨輪」,方便實現四則運算中的進位和借位。

到了十九世紀初,經過近兩個世紀的改進,機械計算器已經能夠完成四則運算,但是計算速度很慢,精度也不夠高,而且設備造價昂貴。不過,這種計算器更大的缺陷在於,對於複雜的運算(比如對數運算和三角函數運算)都做不到。

十九世紀機械工業的發展需要進行大量的複雜計算,比如三角函數的計算、指數和對數的計算等。在微積分出現之前,完成這些函數的計算是幾乎不可能的事。

-----廣告,請繼續往下閱讀-----

十八世紀之後,歐洲數學家用微積分找到了很多計算上述函數的近似方法,不過這些方法的計算量極大,需要很長的時間,而且當時除了數學家,一般人是完成不了那些計算的。為了便於工程師在工程中和設計時完成各種計算,數學家設計了數學用表,如此一來工程師就可以從表中直接查出計算的結果。

不過,那個時代的數學用表錯誤百出,為生產和科學研究帶來了很多麻煩。而這個問題很難避免,因為手算很難保證完全不出錯。如果很多數學家分別獨立計算,還可以比對結果發現錯誤。但是巴貝奇發現,那些不同版本的數學用表都是抄來抄去,而犯的錯也都一樣。

因此,巴貝奇想設計一種機械來完成微積分的計算,然後用它來計算各種函數值,得到一份可靠的數學用表。當時他只有二十二歲。

延伸閱讀:兩艘軍艦換不到兩噸重的計算機?巴貝奇與差分機|《電腦簡史》 齒輪時代(十八)

在隨後的十年裡,巴貝奇造出來一台有六位精度(巴貝奇最初的目標是達到八位精度)的小型差分計算機。隨後巴貝奇用它算出了好幾種函數表,用於解決航海、機械和天文方面的計算問題。

-----廣告,請繼續往下閱讀-----

值得指出的是,巴貝奇的這次成功受益於工業革命的成就——當時機械加工的精度比瓦特時代已經高出了很多,這讓巴貝奇能夠加工出各種尺寸獨特的齒輪。

但是,當時並沒有二十世紀的精密加工技術,製造小批量特製齒輪和機械部件的成本高、難度大,這給巴貝奇後來的工作帶來了諸多不便。

巴貝奇小型差分計算機的部分模組。圖/Wikipedia

不過,首次成功還是讓巴貝奇獲得了英國政府的資助,用以打造一台精度高達二十位的計算機。

幾年後,他又獲得了劍橋大學盧卡斯數學教授的職位,讓他有了穩定的收入。在此之前,他一直在花自己繼承的十萬英鎊遺產。勝利女神似乎正向他招手,但接下來的時日,他在計算機研究方面一籌莫展。

-----廣告,請繼續往下閱讀-----

從表面上看,巴貝奇遇到的困難是因為那台差分機太複雜了,裡面有包括上萬個齒輪的二點五萬個零件,當時的加工水準根本無法製造。但更本質的原因是,巴貝奇並不真正理解計算的原理。他不懂得對於複雜的計算來說,不是要把機器做得更複雜,而是要用簡單的計算單元來實現複雜的計算。

當然,在那個年代沒有人瞭解這些。作為現代計算機基礎理論的布林代數要再等十幾年才會被提出來,而且要再過近一個世紀,才會被應用到計算技術中。

後人根據巴貝奇的設計打造而成的差分機。圖/Wikipedia

——本文摘自《資訊大歷史:人類如何消除對未知的不確定》,2022 年 6 月,漫遊者文化,未經同意請勿轉載。

-----廣告,請繼續往下閱讀-----
azothbooks_96
55 篇文章 ・ 21 位粉絲
漫遊也許有原因,卻沒有目的。 漫遊者的原因就是自由。文學、人文、藝術、商業、學習、生活雜學,以及問題解決的實用學,這些都是「漫遊者」的範疇,「漫遊者」希望在其中找到未來的閱讀形式,尋找新的面貌,為出版文化找尋新風景。