Loading [MathJax]/extensions/tex2jax.js

0

0
0

文字

分享

0
0
0

羅素誕辰│科學史上的今天:05/18

張瑞棋_96
・2015/05/18 ・1203字 ・閱讀時間約 2 分鐘 ・SR值 569 ・九年級

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

1961 年 9 月,高齡 89 歲的羅素爵士(Bertrand Russell, 1872-1970)因煽動公民不服從以達成反核武訴求而遭到起訴,法官好心提供他免於牢獄之災的機會──只要他承諾從此奉公守法。羅素悍然拒絕,昂首入獄坐監七天。

在牢中的羅素應會想起近半世紀前,他也遭逢類似的情境。1914 年,第一次世界大戰爆發,他因反對戰爭而鼓吹青年不要從軍,結果他任教的劍橋大學三一學院給他兩條路:繳交一百英鎊罰金,否則捲鋪蓋走路。他當然不受威脅。四年後他又因反戰言論而被判刑六個月,他甘之如飴,在獄中完成《數學哲學導論》,以較易懂的方式介紹他與老師懷海德(Alfred Whitehead)合寫的《數學原理》。

這三大卷的巨著可是他與老師懷海德為了建構出真正完備的數學體系,自1900年起,花了十年光陰從地基開始一磚一瓦築成的心血結晶啊!為什麼要如此大費周章?因為舊有的數學體系已搖搖欲墜,一些所謂「不證自明」的公設根本經不起考驗(例如歐氏幾何中的平行公設);甚至當代大師康托爾等人企圖打造為數學根基的集合論,也被他的「理髮師悖論」(又稱「羅素悖論」)戳出漏洞。因此他才決定回歸邏輯,把數學建立在無懈可擊的邏輯推理上,這也是為什麼花 362 頁證明 1+1=2 是必要的。

然而他的《數學原理》竟成了粉碎聖杯美夢的墊腳石。25 歲的哥德爾受到這本著作的啟發(他會是世上唯一讀完它的人嗎?)於 1931 年提出「不完備定理」,證明不存在同時具有一致性與完備性的系統,他們這一代的努力都只是徒勞!

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

枉費他創建分析哲學,將哲學問題全面改用嚴謹的邏輯與數學描述,以避免語意上的誤解。更加諷刺的是,他原本寄予厚望的得意門生維根斯坦,後來竟背棄他以邏輯符號取代文字敘述的主張,反而認為世界根本是由語言塑造的。

但他已習慣命運的嘲弄了。崇尚邏輯思考的他,一生竟要籠罩在家族的精神病史陰影下,深恐自己也會遺傳此病。當他年老慶幸自己安然逃過一劫,孰知長子仍難逃精神分裂的宿命。

縱然人生充滿無奈,羅素仍堅守理性主義、自由精神與人道主義。他於 1950 年以《西方哲學史》一書獲頒諾貝爾文學獎,以表揚他「以多元且深具意義的著作捍衛人性與思想自由」;頒獎辭中形容他「在人類知識與數理邏輯方面,他的研究成果可以媲美牛頓在力學方面的成就。」

身為二十世紀最重要的思想巨擘之一,羅素也以行動積極參與公共事務,包括投入教育工作、主張裁減核武、宣揚反戰理念、鼓吹和平主義。死前兩天,他還發表聲明譴責以色列的擴張行動。羅素在宗教上是不可知論者,因此死後依其遺願沒有舉行宗教儀式,骨灰灑於山際。

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

 

 

本文同時收錄於《科學史上的今天:歷史的瞬間,改變世界的起點》,由究竟出版社出版。

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

0

1
0

文字

分享

0
1
0
ECU: 汽車大腦的演化與挑戰
鳥苷三磷酸 (PanSci Promo)_96
・2025/07/02 ・3793字 ・閱讀時間約 7 分鐘

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

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

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

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

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

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

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

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

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

汽車電子控制單元的始祖—專門負責點火的「引擎控制單元」(Engine Control Unit)/ 圖片來源:shutterstock

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

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

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

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

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

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

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

大量的 ECU 與錯綜複雜的線路,也讓「電子故障」開始頻繁登上汽車召回原因的榜首。/圖片來源:shutterstock

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

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

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

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

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

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

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

-----廣告,請繼續往下閱讀-----
2008 年威力暘電子致力於開發整合 ECU 與區域控制器(Domain Controller)功能的模組化平台 /圖片來源:shutterstock

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

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

  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 判斷,交由電腦判斷,比交由人類駕駛還要安全的那一天,離我們不遠了。而人類的角色,將從操作者轉為監督者,負責在故障或斷網時擔任最後的保險。透過科技讓車子更聰明、更安全,人類甘願當一個「最弱兵器」,其實也不錯!

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

討論功能關閉中。

0

1
1

文字

分享

0
1
1
替晶片打造數學工具的喬治.布爾(George Boole)
數感實驗室_96
・2024/06/01 ・561字 ・閱讀時間約 1 分鐘

本文由 國立臺灣師範大學 委託,泛科學企劃執行。 

煮湯時看到調理包背面寫著「加水且加入鹽巴或味精,就大功告成了」。

這句話該怎麼解讀呢?邏輯思維好的人可能很快就能反應過來,意思是加水是必須的,鹽巴和味精至少要加一個。當然,兩者都加也行,但似乎不太健康。

你可能會說:「煮湯時誰會想那麼多?這太哲學了!」其實,19 世紀有位數學家將邏輯建立在數學而非哲學之上,他的貢獻深深影響了現代電腦的運算。他就是我們今天的主角——喬治.布爾(George Boole)。

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

在工作會議中,清晰的邏輯思維能幫助我們有條理地表達觀點,並迅速理解他人的意見;程式設計中,邏輯是核心,透過布林代數和邏輯運算,電腦能根據條件執行不同的任務,在智慧家電中利用邏輯閘判斷多個輸入條件來控制輸出結果。

因此,布爾提出的這一套邏輯思維與布林代數,不僅在學術領域至關重要,更是日常生活中不可或缺的工具。

更多、更完整的內容,歡迎上數感實驗室 Numeracy Lab 的 youtube 頻道觀看完整影片,並開啟訂閱獲得更多有趣的資訊!

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

討論功能關閉中。

數感實驗室_96
76 篇文章 ・ 50 位粉絲
數感實驗室的宗旨是讓社會大眾「看見數學」。 數感實驗室於 2016 年 4 月成立 Facebook 粉絲頁,迄今超過 44,000 位粉絲追蹤。每天發布一則數學文章,內容包括介紹數學新知、生活中的數學應用、或是數學和文學、藝術等跨領域結合的議題。 詳見網站:http://numeracy.club/ 粉絲專頁:https://www.facebook.com/pg/numeracylab/

0

1
0

文字

分享

0
1
0
跳脫古典數學邏輯!直覺主義的興起——《大話題:邏輯》
大家出版_96
・2023/04/08 ・1479字 ・閱讀時間約 3 分鐘

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

非古典邏輯:直覺主義

布勞威爾 (1881 – 1966)是最早脫離所謂「古典邏輯」系統的學者之一。他反對弗雷格和羅素將數學化約為邏輯的構想,認為數學根基於我們對某些基本數學物件(如數字和直線)的「直覺」,因此他的學說便稱為「直覺主義」。

直覺主義。圖/大話題:邏輯

惡魔論證

布勞威爾主要將焦點擺在無限集合和序列上,例如所有正數的集合和無理數(如 π 和)小數點後的數字形成的序列等等。他的論證大致如下:

我邏輯上能證明 666 這個序列一定會出現在任何無理數(如 π)的擴張裡。因為若主張 666 不在裡面,就代表 666 不出現在 π 的小數點後數字的任何地方,但這一點在數學上是無法證明的。就算世界上所有白紙都寫滿π的小數點後數字,還是有無限多的數字沒檢查到。

惡魔論證。圖/大話題:邏輯。

直覺邏輯的興起

雖然布勞威爾只想證明有些數學證明的方式和邏輯證明不同,但有些人發現他的論證也能用來證明某些數學領域的邏輯和其他數學領域不同,甚至有些人還據以建構出一套邏輯系統,並嘗試證明這套邏輯適用於所有數學領域。這套系統就叫「直覺邏輯」。

直覺邏輯系統。圖/大話題:邏輯。

直覺主義 v.s. 歸謬法

直覺邏輯有一個關鍵特點,就是不能用萊布尼茲的歸謬法。歸謬法是先假設某個數學陳述的否定為真,然後導出矛盾,進而證明該陳述為真。但要從「某事的否定為假」推導出「某事為真」就得仰賴排中律,因此在某些數學領域裡,歸謬法並不符合數學應該運作的方式,也就是從公理推導出數學語句。

-----廣告,請繼續往下閱讀-----
直覺邏輯與歸謬法互相對立。圖/大話題:邏輯。

直覺主義的數學熱潮

上述問題在 1930 年代引發了一波新的數學熱潮,不少學者嘗試用直覺邏輯替一些常用的基本數學陳述找到證明,也確實找到了不少。

數學系和哲學系紛紛成立,新的學術領域也隨之誕生。就連希爾伯特的方法明明是直覺邏輯的對手,也被加以改造,只使用得到認可的直覺主義程序。直到這股風潮引起了哥德爾的注意。

儘管後來學者對這場爭辯的興趣削弱了一些,但「唯有構造性證明才能確保一個陳述句為真」的基本看法至今仍然得到不少邏輯學家、數學家、科學家和哲學家支持。

許多人試著用直覺邏輯替數學陳述找證明。圖/大話題:邏輯。

處理未來陳述句的老問題

大約同一時期,波蘭數學家盧卡西維茨(1897 – 1956)1920 年提出的構想勾起了一些學者的興趣。此前十多年,這個構想從來不曾在波蘭以外的地區引起多大反應。盧卡西維茨當時想解決的,是從亞里斯多德到羅素都面對過的老問題。

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

編按:「如何判斷大笨鐘一千年後會遇上大雪」這句話的真值?

未來陳述句是邏輯無法確認之事。圖/大話題:邏輯。

——本文摘自《大話題:邏輯》,2023 年 3 月,大家出版出版,未經同意請勿轉載。

-----廣告,請繼續往下閱讀-----
大家出版_96
14 篇文章 ・ 11 位粉絲
名為大家,在藝術人文中,指「大師」的作品;在生活旅遊中,指「眾人」的興趣。