&

黑巖小說>重生后我只做正確選擇 > 第589章入伙（第1頁）

“陳總，您剛才提到的，是算法功能層面的建模和實現(xiàn)。

但我認為，離散數(shù)學在智能駕駛領(lǐng)域，還有一個極其關(guān)鍵、甚至可以說是性命攸關(guān)的應用點?！?/p>

他頓了頓，目光掃過顧南舟，最后定格在陳默臉上，“形式化驗證（Formal

Verification）。”

“尤其是對行為決策系統(tǒng)?！?/p>

蔣雨宏的語氣帶著金屬般的質(zhì)感。

“我們?nèi)绾未_保設(shè)計的決策邏輯，在無限復雜的現(xiàn)實場景中，不會出現(xiàn)致命漏洞？

如何證明我們的系統(tǒng)，在理論上就滿足某些最核心的安全屬性？

比如，‘永遠不發(fā)生碰撞’（Collision-Free），‘永遠遵守交通規(guī)則’（Rule

Compliance）？”

他說話的時候配合上手勢和動作，像極了一個指揮家：

“這就需要用時序邏輯（Temporal

Logic），比如線性時序邏輯（LTL

Linear

Temporal

Logic）或計算樹邏輯（CTL

Computation

Tree

Logic），來精確地形式化描述這些安全屬性。

然后，利用模型檢測（Model

Checking）等自動化的形式化方法，窮盡系統(tǒng)所有可能的狀態(tài)和路徑，來嚴格證明或證偽這些屬性是否成立?！?/p>

蔣雨宏的目光變得極其嚴肅：

“這關(guān)系到人命！不是靠海量的路測里程就能完全覆蓋的。

我們需要在數(shù)學上，在邏輯層面，就給系統(tǒng)套上最堅固的安全枷鎖。

離散數(shù)學中的邏輯學（Logic）和自動機理論（Automata

Theory），正是打造這把安全鎖的基石。