站在巨人的肩膀上，看得比較遠

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

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

今天，我們將深入探討汽車電子系統「逆天改運」的科學奧秘。究竟，汽車的「大腦」—電子控制單元（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 判斷，交由電腦判斷，比交由人類駕駛還要安全的那一天，離我們不遠了。而人類的角色，將從操作者轉為監督者，負責在故障或斷網時擔任最後的保險。透過科技讓車子更聰明、更安全，人類甘願當一個「最弱兵器」，其實也不錯！

造假是人類複雜心智的一大產物，歷史上各式各樣的作假、贗品層出不窮。作家 Kristine De Abreu 在 ExplorersWeb 網站的文章^{[參考資料1]}，整理歷史上的 6 起贗品案例，時過境遷後回顧，這些造假頗有趣味。

龐貝石碑

6 起案例最早的是龐貝石碑。這個「龐貝」不是義大利那個龐貝城，在紐約。公元 1820 年有人找到一塊石碑，上頭有看似陌生的圖像、文字，但是無人能釐清來歷。此後衍生出不少相關的假說與討論。

1894 年，工程師史威特（John Edison Sweet）出面宣稱那是他叔叔的惡作劇。這類藍色窗簾的案例十分普通，也很常見。

卡迪夫巨人

1868 年，當時某些基督教信徒根據「創世記」，主張世界上曾經有巨人漫步。美國的無神論者胡爾（George Hull）設局惡搞，製作石頭巨人誆騙信徒，希望藉此證明他們是一群盲信的傻B。

惡搞產品身高 3 公尺，重 1350 公斤，成本 2600 美金（約現在的 54000 元）。本來想運到墨西哥，但是太重，最後埋在紐約的卡迪夫親戚家，1869 年「發現」後被稱為卡迪夫巨人（Cardiff Giant）。

假巨人騙到一些人，不過也很快被識破。後來有人以 23000 美金收購（約現在的 50 萬元）。不論當初意圖是否達到，胡爾都大撈一筆。

當時有位東搞西搞的掮客……沒禮貌，是知名經紀人巴納姆（P.T Barnum） 想買卻被拒絕。於是巴納姆也製作自己的巨人，還宣稱那才是真正的假貨 XDDD

假巨人當時興起一股熱潮，許多觀眾付費參觀。對於這些花錢看假貨的觀眾，有人表示：「每分鐘都有一位傻 B 誕生（There’s a sucker born every minute）」。這句流傳頗廣的話，到底是誰講的其實沒有定論，不過江湖傳言就是巴納姆自己。

伊特拉斯坎勇士雕像

美國的里卡狄兄弟（Pio Riccardi 和 Alfonso Riccardi）與其兒子們，有一門獨特的家族事業：偽造雕像。他們在 1915 到 1918 年製作 3 具 2 公尺高的伊特拉斯坎勇士雕像（Etruscan Terracotta Warriors），並成功賣給紐約的大都會博物館。

伊特拉斯坎文化位於義大利，年代早於羅馬帝國，歷史應該超過 2000 年，可是雕像狀態太好，有人懷疑是假的。1960 年代費歐拉凡提（Alfredo Fioravanti）出面承認，他當初協助兩兄弟造假。

• 延伸閱讀：羅馬帝國之前，有草原血緣，不講印歐語的伊特拉斯坎人

皮爾當人

前幾起贗品案都無傷大雅，但是皮爾當人（Piltdown Man）深深地傷害學術。它可謂人類演化研究史上，最大的造假醜聞。

1912 年，名字和達爾文（Charles Darwin）有點像的英國業餘研究者道森（Charles Dawson）宣稱，在薩塞克斯發現古人類的化石，引發一陣轟動。他在 1915 年又宣布找到化石，這批化石後來合稱「皮爾當人」。

當時一些學者認為，皮爾當人可以填補演化史上，人與猿的缺失環節。英國出土的化石，也支持大英帝國在人類演化史上的地位。業餘人士道森一心想躋身上流，加入英國皇家學會，最終卻沒有如願，在 1916 年去世。

一直有人懷疑皮爾當人的真實性。終於在 1953 年證實皮爾當人分別具有人與猿的特徵，根本是因為皮爾當人不是一個人，而是由猿和人的骨頭拼裝而成。

• 延伸閱讀：人類演化研究史上最大造假醜聞－皮爾當人

伽利略手稿

美國的密西根大學 1934 年購入一份「伽利略手稿」，據說是伽利略本人 1609 年的手筆。造假兼打假專家威爾丁（Nick Wilding）在 2022 年 8 月證實，那是假的。決定性的證據來自紙張上的 BMO 水印，它要等到 1770 年才出現，遠遠晚於伽利略的年代。

推測這份假貨來自造假名人尼可查（Tobia Nicotra），他在 1930 年代復刻哥倫布、莫札特、林肯等等名人，製作超過 600 件贗品。

維京人的文蘭地圖

有些贗品花費數十年破解，有些則一開始就知道是假的，後來再漸漸補足證據。就像某些偵探故事，一開始就知道誰是兇手，後來才釐清作案過程，可謂證明題。

美國的耶魯大學 1960 年代取得一份 15 世紀地圖，上頭繪有文蘭（Vinland），也就是維京人在美洲的殖民地。幾乎一開始就判斷這份地圖是假的，不過做證明題也有意思，圍繞其衍伸出有趣的議題。現在知道，此圖字體不符合年代以外，使用墨水含有天然的鈦，證實這是晚於 1920 年代的字跡。

至於維京人是否曾經抵達美洲？1960 年代在這份贗品地圖出現不久後，考古學家於加拿大東北部的紐芬蘭，尋獲蘭塞奧茲牧草地遺址（L’Anse aux Meadows），證實維京人確實在美洲留下足跡。只是文蘭在哪裡，仍是謎題。

• 延伸閱讀：公元1021年，維京人在紐芬蘭砍樹

參考資料

1. Why Did They Do It? Six Archaeological Forgeries and the People Behind Them
2. Analysis unlocks secret of the Vinland Map — it’s a fake

本文亦刊載於作者部落格《盲眼的尼安德塔石匠》暨其 facebook 同名專頁。

數感實驗室／朱倍玉

如果有人突然問你： \(  a^{2}+b^{2=} \)？ 台灣學生大概像膝反射一樣，自然而然地答出 \( c^{2} \)。

直角三角形，直角的兩鄰邊長的平方和等於斜邊長的平方。這是人人都熟悉的畢氏定理，也是百年數學之謎「費馬最後定理」的一部分。

費馬提出的世紀難題

費馬（Pierre de Fermat）是 17 世紀的一名律師，數學是他業餘的興趣，當時與他書信往來的包括了笛卡爾、帕斯卡、惠更斯等歷史上知名的數學家。雖然費馬本業跟數學天差地遠，但他相繼提出微積分、機率論與數論的研究，在數學界的貢獻不輸職業數學家，也因此獲得「業餘數學家王子」的封號。

研究《算數》（Arithmetica）這本書時，費馬在書的空白處寫下「\(  a^{n}+b^{n}=c^{n} \)，當 \(  n>2  \) 時無正整數解」，並且用拉丁文留下一句話「我發現了一個極為美妙的證明，可是空白處太小所以沒寫下來」。

短短一條小學生就能理解的式子，再加上一句話，卻讓後世的數學家們花了足足三百年，直到 1995 年才由懷爾斯（Andrew John Wiles）教授完成證明，而這項證明，被稱為上個世紀的大任務。

(2019/8/20) 編按：原文提及費馬定理時敘述為「無解」，實為「無正整數解」，特此更正。

立志要趁早，十歲許願解題的懷爾斯

這個世紀大任務的起點是懷爾斯 10 歲那年。他在圖書館翻閱一本講述費馬最後定理歷史的書，當時，他便對費馬留下來的難題產生濃厚興趣。在其他人才正要認識三角形的年紀，懷爾斯已經下定決心要解決這道流傳百年的難題。正好，又提供大家一個立志要及早的偉人例證。

跟很多成就大事的人一樣，懷爾斯在研究費馬最後定理的過程並非一帆風順。他踏入數學界的時期，正好是數學界準備放棄費馬最後定理的時候。大多數學家認為費馬最後定理無法證明，紛紛轉往其他領域。懷爾斯的指導教授也不例外，要懷爾斯放棄夢想，別白忙一場。也因此除了夢想外，他同時開始研究橢圓曲線^註1這個領域。

然而事實上在更早以前，日本數學家谷山豐和志村五郎提出「谷山－志村猜想」，他們認為橢圓曲線與「模形式」^註2可能有關聯。但是，橢圓曲線或是它與模形式的關聯跟費馬最後定理有什麼關係呢？1985 年，德國數學家佛列（Gerhard Frey）將谷山－志村猜想與費馬最後定理連結，他認為谷山－志村猜想可能可以協助完成費馬最後定理的證明。

後來，法國數學家賽爾（Jean-Pierre Serre）、美國數學家里貝特（Ken Ribet）也投入研究。他們發現只要證明出谷山－志村猜想就可以完成費馬最後定理的證明，才再次啟動懷爾斯的世紀難題證明之路。

於是，長達 7 年的時間，懷爾斯致力於研究谷山－志村猜想與費馬最後定理，他也找來另一位數學教授卡茲（Nicholas Katz）加入研究。懷爾斯是一個很低調的人，為了避免引起眾人的懷疑與關注，他在學校開設新課程，好讓卡茲協助他找到證明費馬最後定理所需要的最後一項工具──類數公式^註3。

由於懷爾斯從未說明開課目的，也沒向學生解釋這個公式將幫助他們通往費馬最後定理，只是不停地證明，難度相當高，搞到最後台下聽眾就只剩下卡茲。不久後，懷爾斯正式完成所有證明。他選擇在劍橋大學舉辦三場研討會，對外宣稱研討會的內容討論的是橢圓曲線和模形式，完全沒提到費馬最後定理。

當時有些謠言，這場研討會似乎有更勁爆的突破要發生，許多學者因此前來。研討會上，懷爾斯從橢圓曲線、模形式，一路證明到費馬最後定理，帶給台下聽眾滿滿的驚喜。隔天報章雜誌上，到處都在報導世紀難題已經解決的喜訊。

以為解開了嗎？過程曲折離奇

然而「福兮，禍之所伏」，驚喜後面還藏了一個巨大的驚嚇。當懷爾斯的證明手稿進入審查階段，卡茲與懷爾斯反覆驗證時，他們找到一處先前完全沒發現的錯誤。

人們尖銳地檢視著懷爾斯的失誤，漫天的喜訊瞬間化成毫無遮掩的嘲諷。懷爾斯接受訪問時也表達，在備受矚目的狀態下進行研究並不是他的風格。他把自己關在書桌前，試圖解決這個錯誤，然而不論怎麼做都沒辦法突破。

就在陷入絕望之際，他偶然在桌邊看到一份關於「岩澤理論」的論文。一時靈光乍現，他運用了岩澤理論來化解掉原先證明的錯誤，完成證明。1995 年，世紀難題才正式從未竟之謎的名單中消除。

「或許，我能給出關於我研究數學的歷程最貼切的描述，就是進入一棟大房子。當一個人開始探索第一個全黑的房間時，裡頭一片漆黑，他會在家具中邊跌倒邊摸索。漸漸地知道家具的位置。六個月後，你會找到開關並且打開燈。開燈的那一瞬間，整個房間被光線壟罩，你終於，能清楚地看見你站在哪裡」

——懷爾斯（Andrew John Wiles）

BBC拍攝了一部關於破解費馬最後定理的紀錄片，這段話正是懷爾斯在片頭的開場白。

破解費馬最後定理的世紀任務就像是完成一場接力式的拔河比賽，仰賴歷史上許多數學家的一臂之力，更需要在時間的沖刷與眾人的關注下承擔壓力的決心。從這個例子我們也可以看到，數學不是計算，更不是算得快就叫數學好。它是思考與邏輯，能讓許多人投入一生也樂此不疲的遊戲。

今年的 8 月 17 日，正好是費馬的 418 歲生日，特別寫這段費馬留給後人的禮物來祝他生日快樂！

註釋：

1. 橢圓曲線（Elliptic Curve）是二元三次曲線的一種形式，其圖形並非橢圓，而是圓環狀。
2. 模形式（Modular forms）是具有極複雜對稱性的複數平面函數。
3. 類數公式（Class number formula）與環的有限序列有關。

資料來源：

• 費瑪最後定理（Fermat’s Last Theorem） 紀錄片
• mathworld.wolfram-Elliptic Curve
• 模形式
• mathworld.wolfram-Class Number Formula
• 解開「費馬最後定理」的懷爾斯—《科學月刊》
• Andrew John Wiles
• Andrew-Wiles
• Pierre de Fermat