康托爾誕辰｜科學史上的今天：3/3

本文與 威力暘電子 合作，泛科學企劃執行。

想像一下，當你每天啟動汽車時，啟動的不再只是一台車，而是一百台電腦同步運作。但如果這些「電腦」突然集體當機，後果會有多嚴重？方向盤可能瞬間失靈，安全氣囊無法啟動，整台車就像失控的高科技廢鐵。這樣的「系統崩潰」風險並非誇張劇情，而是真實存在於你我日常的駕駛過程中。

今天，我們將深入探討汽車電子系統「逆天改運」的科學奧秘。究竟，汽車的「大腦」—電子控制單元（ECU），是如何從單一功能，暴增至上百個獨立系統？而全球頂尖的工程師們，又為何正傾盡全力，試圖將這些複雜的系統「砍掉重練」、整合優化？

第一顆「汽車大腦」的誕生

時間回到 1980 年代，當時的汽車工程師們面臨一項重要任務：如何把汽油引擎的每一滴燃油都壓榨出最大動力？「省油即省錢」是放諸四海皆準的道理。他們發現，關鍵其實潛藏在一個微小到幾乎難以察覺的瞬間：火星塞的點火時機，也就是「點火正時」。

如果能把點火的精準度控制在「兩毫秒」以內，這大約是你眨眼時間的百分之一到千分之一！引擎效率就能提升整整一成！這不僅意味著車子開起來更順暢，還能直接省下一成的油耗。那麼，要如何跨過這道門檻？答案就是：「電腦」的加入！

工程師們引入了「微控制器」（Microcontroller），你可以把它想像成一顆專注於特定任務的迷你電腦晶片。它能即時讀取引擎轉速、進氣壓力、油門深度、甚至異常爆震等各種感測器的訊號。透過內建的演算法，在千分之一秒、甚至微秒等級的時間內，精準計算出最佳的點火角度，並立刻執行。

從此，引擎的性能表現大躍進，油耗也更漂亮。這正是汽車電子控制單元（ECU）的始祖—專門負責點火的「引擎控制單元」（Engine Control Unit）。

ECU 的失控暴增與甜蜜的負荷

第一顆 ECU 的成功，在 1980 年代後期點燃了工程師們的想像：「這 ECU 這麼好用，其他地方是不是也能用？」於是，ECU 的應用範圍不再僅限於點火，燃油噴射量、怠速穩定性、變速箱換檔平順度、ABS 防鎖死煞車，甚至安全氣囊的引爆時機……各種功能都交給專屬的 ECU 負責 。

然而，問題來了：這麼多「小電腦」，它們之間該如何有效溝通？

為了解決這個問題，1986 年，德國的博世（Bosch）公司推出了一項劃時代的發明：控制器區域網路（CAN Bus）。你可以將它想像成一條專為 ECU 打造的「神經網路」。各個 ECU 只需連接到這條共用的線路上，就能將訊息「廣播」給其他單元。

更重要的是，CAN Bus 還具備「優先通行」機制。例如，煞車指令或安全氣囊引爆訊號這類攸關人命的重要訊息，絕對能搶先通過，避免因資訊堵塞而延誤。儘管 CAN Bus 解決了 ECU 之間的溝通問題，但每顆 ECU 依然需要獨立的電源線、接地線，並連接各種感測器和致動器。結果就是，一輛汽車的電線總長度可能達到 2 到 4 公里，總重量更高達 50 到 60 公斤，等同於憑空多載了一位乘客的重量。

另一方面，大量的 ECU 與錯綜複雜的線路，也讓「電子故障」開始頻繁登上汽車召回原因的榜首。更別提這些密密麻麻的線束，簡直是設計師和維修技師的惡夢。要檢修這些電子故障，無疑讓人一個頭兩個大。

汽車電子革命：從「百腦亂舞」到集中治理

到了2010年代，汽車電子架構迎來一場大改革，「分區架構（Zonal Architecture）」搭配「中央高效能運算（HPC）」逐漸成為主流。簡單來說，這就像在車內建立「地方政府＋中央政府」的管理系統。

可以想像，整輛車被劃分為幾個大型區域，像是車頭、車尾、車身兩側與駕駛艙，就像數個「大都會」。每個區域控制單元（ZCU）就像「市政府」，負責收集該區所有的感測器訊號、初步處理與整合，並直接驅動該區的馬達、燈光等致動器。區域先自理，就不必大小事都等中央拍板。

而「中央政府」則由車用高效能運算平台（HPC）擔任，統籌負責更複雜的運算任務，例如先進駕駛輔助系統（ADAS）所需的環境感知、物體辨識，或是車載娛樂系統、導航功能，甚至是未來自動駕駛的決策，通通交由車輛正中央的這顆「超級大腦」執行。

乘著這波汽車電子架構的轉型浪潮中， 2008 年成立的台灣本土企業威力暘電子，便精準地切入了這個趨勢，致力於開發整合 ECU 與區域控制器（Domain Controller）功能的模組化平台。他們專精於開發電子排檔、多功能方向盤等各式汽車電子控制模組。為了確保各部件之間的溝通順暢，威力暘提供的解決方案，就像是將好幾個「分區管理員」的職責，甚至一部分「超級大腦」的功能，都整合到一個更強大的硬體平台上。

這些模組不僅擁有強大的晶片運算能力，可同時支援 ADAS 與車載娛樂，還能兼容多種通訊協定，大幅簡化車內網路架構。如此一來，車廠在追求輕量化和高效率的同時，也能顧及穩定性與安全性。

萬無一失的「汽車大腦」：威力暘的四大策略

然而，「做出來」與「做好」之間，還是有差別。要如何確保這顆集結所有功能的「汽車大腦」不出錯？具體來說，威力暘電子憑藉以下四大策略，築起其產品的可靠性與安全性：

1. AUTOSAR ： 導入開放且標準化的汽車軟體架構 AUTOSAR。分為應用層、運行環境層（RTE）和基礎軟體層（BSW）。就像在玩「樂高積木」，ECU 開發者能靈活組合模組，專注在核心功能開發，從根本上提升軟體的穩定性和可靠性。
   
2. V-Model 開發流程：這是一種強調嚴謹、能在早期發現錯誤的軟體開發流程。就像打勾 V 字形般，左側從上而下逐步執行，右側則由下而上層層檢驗，確保每個階段的安全要求都確實落實。
   
3. 基於模型的設計 MBD（Model-Based Design）： 威力暘的工程師們會利用 MatLab®/Simulink® 等工具，把整個 ECU 要控制的系統(如煞車)，用數學模型搭建起來，然後在虛擬環境中進行大量的模擬和測試。這等於在實體 ECU 誕生前，就能在「數位雙生」世界中反覆演練、預先排除設計缺陷，，並驗證安全機制是否有效。
   
4. Automotive SPICE (ASPICE) ： ASPICE 是國際公認的汽車軟體「品質管理系統」，它不直接評估最終 ECU 產品本身的安全性，而是深入檢視團隊在軟體開發的「整個過程」，也就是「方法論」和「管理紀律」是否夠成熟、夠系統化，並只根據數據來評估品質。

既然 ECU 掌管了整輛車的運作，其能否正常運作，自然被視為最優先項目。為此，威力暘嚴格遵循汽車業中一本堪稱「安全聖經」的國際標準：ISO 26262。這套國際標準可視為一本針對汽車電子電氣系統（特別是 ECU）的「超嚴格品管手冊」和「開發流程指南」，從概念、設計、測試到生產和報廢，都詳細規範了每個安全要求和驗證方法，唯一目標就是把任何潛在風險降到最低

有了上述這四項策略，威力暘確保其產品從設計、生產到交付都符合嚴苛的安全標準，才能通過 ISO 26262 的嚴格檢驗。

然而，ECU 的演進並未就此停下腳步。當ECU 的數量開始精簡，「大腦」變得更集中、更強大後，汽車產業又迎來了新一波革命：「軟體定義汽車」（Software-Defined Vehicle, SDV）。

軟體定義汽車 SDV：你的愛車也能「升級」！

未來的汽車，會越來越像你手中的智慧型手機。過去，車輛功能在出廠時幾乎就「定終身」，想升級？多半只能換車。但在軟體定義汽車（SDV）時代，汽車將搖身一變成為具備強大運算能力與高速網路連線的「行動伺服器」，能夠「二次覺醒」、不斷升級。透過 OTA（Over-the-Air）技術，車廠能像推送 App 更新一樣，遠端傳送新功能、性能優化或安全修補包到你的車上。

不過，這種美好願景也將帶來全新的挑戰：資安風險。當汽車連上網路，就等於向駭客敞開潛在的攻擊入口。如果車上的 ECU 或雲端伺服器被駭，輕則個資外洩，重則車輛被遠端鎖定或惡意操控。為了打造安全的 SDV，業界必須遵循像 ISO 21434 這樣的車用資安標準。

威力暘電子運用前面提到的四大核心策略，確保自家產品能符合從 ISO 26262 到 ISO 21434 的國際認證。從品質管理、軟體開發流程，到安全認證，這些努力，讓威力暘的模組擁有最高的網路與功能安全。他們的產品不僅展現「台灣智造」的彈性與創新，也擁有與國際大廠比肩的「車規級可靠度」。憑藉這些實力，威力暘已成功打進日本 YAMAHA、Toyota，以及歐美 ZF、Autoliv 等全球一線供應鏈，更成為 DENSO 在台灣少數核准的控制模組夥伴，以商用車熱系統專案成功打入日系核心供應鏈，並自 2025 年起與 DENSO 共同展開平台化量產，驗證其流程與品質。

毫無疑問，未來車輛將有更多運作交由電腦與 AI 判斷，交由電腦判斷，比交由人類駕駛還要安全的那一天，離我們不遠了。而人類的角色，將從操作者轉為監督者，負責在故障或斷網時擔任最後的保險。透過科技讓車子更聰明、更安全，人類甘願當一個「最弱兵器」，其實也不錯！

我們都知道無窮（infinity）是什麼。無窮比任何數都更大。當你從一二三不停數下去的時候你會靠近它。它也是萬物甚至更多事物的總和。

我們談到無窮時，一定會想知道一件事：

比無窮還大？有可能嗎？

這個問題其實真的有答案。它不是開放性問題，也不是陷阱題。答案不是「是」就是「否」，而且我會在這一章的結尾公布答案。

讀者可以先猜猜看，但我們或許應該先訂好遊戲規則，讓大家知道該怎麼思考。

具體說來，我們需要訂定關於「較大」的規則。我們要怎麼確定自己發現了比無窮更大的事物？如果是有限的量，要分辨某個事物比另一個事物更大相當容易，但碰到無窮時似乎就沒那麼簡單了。我們不希望完全靠感覺判斷，所以必須選擇簡單明瞭的規則，用來判定一個量是否比另一個量「更大」。

配對數量的多寡來判斷哪邊比較「大」

那麼，在一般、有限的狀況下，我們通常怎麼判定「較大」？我們說右邊這一堆比左邊的更大是什麼意思？

沒錯，用看的就知道。但假設我們遇到一個外星人，這個外星人從沒聽過「更大」、「更多」、「更好」這些概念，我們該如何解釋右邊這堆較大？真的，試試看就知道。這個概念太基本了，其實很難從頭開始解釋。

當我們碰到困難時，數學中有個常用的技巧，就是提出完全相反的問題，看看會有什麼結果。我們要怎麼跟外星人解釋這兩堆的大小相同？

我們不能用「相等」這個詞，因為它正是我們要去解釋的東西。這個外星人想了解我們說兩樣事物「相等」或「相同」時是什麼意思，以及它的主要概念是什麼。

有個方法行得通。把兩堆東西並排起來，一個對一個。如果兩兩配對後正好用完，沒有剩餘，表示這兩堆東西大小相同。

「提出相反問題」的技巧確實有用。只要把這個規則反轉過來，就能得到「較大」的定義。

現在問題已經定義清楚了，答案也隨之確定。那麼，世界上有什麼事物比無窮更大？答案是「是」還是「否」？世界上有什麼事物和無窮兩兩配對之後還有剩餘？現在我們可以思考之後猜猜看。

無窮跟無窮 +1 誰比較大？

我們可以把無窮想成一個深不見底的袋子，裡面裝著無限多個物體。

我們可以從這個袋子裡拿出任意數量的物體，袋子裡也還剩下無限多個。

世界上怎麼可能有其他事物比它更大？好吧，如果是無窮加一呢？

多一個物體看來應該不會對無窮造成什麼影響，但我們用配對規則來確認看看。首先，我們可以把無窮袋中的物體排成一排，這樣比較容易看清楚哪個跟哪個配對。

如果我們以最顯而易見的方式配對，無窮加一看起來當然更大。

不過要小心！規則指出，兩個事物必須無法正好兩兩配對，才會有一者較大。（最好經常回頭看清楚規則！）還有一種配對方法確實可行，而且兩方都不會有剩餘：

如果你覺得這樣好像在騙人，請花點時間告訴自己，這樣真的沒錯。我們不是把一個物體跟點點點配對，而是把它跟隱藏在點點點中的下一個物體配對。既然兩個袋子都有無限多個物體，不會有物體配對不到，所以兩者大小相同。無窮加一等於無窮！

我來講個故事說明這個結果有多奇怪。

無窮大飯店！如何塞進無窮 +1 位客人

假設我們在一家非常特別的「無窮大飯店」當櫃臺接待人員。無窮大飯店有無限多間房間。飯店裡有條長長的走廊，沿著走廊有一排房門，連綿不絕地延續下去，無論走多遠都不會結束。走廊沒有盡頭，所以也沒有「無窮號房」或「最後一號房」。當然有一號房，每間房間也都有下一號房。

今天晚上格外忙碌，飯店裡每間房間都住滿了（對，這個世界裡有無限多個人）。如果沿走廊隨意走一段距離，選一扇門敲幾下，就會聽到：「有人！請勿打擾！」無限多間房間，裡面住著無限多個人。

接著有人從外面走進飯店大廳說：「請問還有房間嗎？」我們不是第一天在無窮大飯店工作，當然知道該怎麼做。我們拿起廣播系統麥克風說：「各位來賓，抱歉打擾一下，請各位來賓搬到下一間房間。沒錯，請收拾好行李，走出房門，朝遠離大廳的方向搬到下一間房間。謝謝合作，祝您有個愉快的夜晚。」大家都照做之後，就有房間給新住客了。

無限多間房間，無限多加一位住客，房間跟住客依然正好兩兩配對。無窮加一等於無窮。

無窮加五、無窮加一兆……都沒關係，這個邏輯全都成立。兩個袋子可以正好配對，可以多裝進一位客人。無窮非常大，任何有限的量根本沒得比。所以我們還沒有找到比無窮更大的事物。

——本文摘自《不用數字的數學：讓我們談談數學的概念，一些你從沒想過的事……激發無窮的想像力！》，2022 年 9 月，經濟新潮社，未經同意請勿轉載。

• 本文轉載自數感實驗室 Numeracy Lab

繼《鬼滅之刃》的熱潮後，本季的新番動畫《咒術迴戰》亦來勢洶洶，特別是在動畫揭曉五条悟老師摘下眼罩後帥到天怒人怨的臉，以及近乎犯規的能力後，更引發了許多討論。而我們感興趣的是——五条悟老師的咒術與一個數學悖論有關。

____________________防雷分隔線_______________________

．

．

．

．

．

．

．

____________________防雷分隔線_______________________

在動畫第七集中，五条悟讓對手漏瑚完全無法靠近他的手掌。他說：

「你觸碰到的是，我和你之間的無限。」

沒錯，這個能力和「芝諾悖論」有著異曲同工之妙。芝諾悖論的經典案例是：阿基里斯永遠追不上先起跑的烏龜。聽起來不合理吧？小孩子都能追上眼前的烏龜了，何況是號稱希臘第一勇士的阿基里斯？

對此，芝諾悖論的說法是，假設阿基里斯跟烏龜之間有一段距離，當阿基里斯花時間跑完這段距離時，烏龜同一時間又走了一小段；阿基里斯再花一點時間跑這一小段，同一時間烏龜又再往前走一小段。不管距離多近，阿基里斯都得再花一點時間去追趕，而同一時間，烏龜又可以再往前跑一點點。

換句話說，「追趕者首先應該達到被追者出發之點」的前提，限制了阿基里斯前進的距離，所以只要烏龜持續前進，阿基里斯永遠都追不到烏龜。
破解這個悖論最快的方法就是帶數字算一次，假設阿基里斯的跑速 10 公尺／秒，烏龜速度則是 0.1 公尺／秒。今天，烏龜先跑 999 公尺，則阿基里斯每次追趕所花的時間分別是：

999÷10 = 99.9 秒
99.9 秒×0.1÷10 = 0.999 秒
0.999 秒×0.1÷10 = 0.00999 秒
……

我們可以得到一個首項 99.9，公比 0.01 的無窮等比數列，雖然因為公比小於 1，它會收斂在約 101，表示阿基里斯花 101 秒就能追上烏龜。但如果就有「幾項」來說，那的確是無限多項，這個就是五条悟老師說的「我和你之間的無限」。

動畫中，五条悟老師運用了這個悖論，讓對手漏瑚彷彿被一隻無形的超慢烏龜擋住，每次只能前進一點點，更重要的是，他的咒術得以讓漏瑚每次前進的時間，沒有因為距離縮短而變小。

阿基里斯之所以能追上烏龜的關鍵是，雖然有無限多項，但後期追趕的時間趨近於零。所以只要漏瑚每次前進的時間依然維持定值，那他就會真的被一隻無形的超慢烏龜擋住，每次前進距離變得無限小，他花了無限多的時間，依然無法移動，宛若靜止。

不愧是有著逆天設定的五條悟老師，連咒術的講解都那麼簡單幾句帶過，數學老師好好講，一堂課都要過去了啦！