MBSE（基于模型的系統(tǒng)工程）通常被用來進(jìn)行復(fù)雜大系統(tǒng)設(shè)計。法國貢比涅大學(xué)的科學(xué)家舉重若輕，用最新的DEPS方法，以活動和人為中心完成基于系統(tǒng)方法的鋰電池設(shè)計。

本文提出了一種在系統(tǒng)工程框架內(nèi)對復(fù)雜物理系統(tǒng)進(jìn)行初步設(shè)計的方法。這種方法以預(yù)設(shè)計任務(wù)中涉及的活動和參與者為中心。它側(cè)重于使用DEPS（DEsign Problem Specification）對設(shè)計問題進(jìn)行建模，這是一種在工程中指定和建模設(shè)計問題的最新形式。這種設(shè)計方法完善了基于仿真的分析方法，這些方法目前主要用于物理系統(tǒng)的設(shè)計。

特別是該方法允許綜合預(yù)設(shè)計架構(gòu)，這是分析/仿真方法無法做到的。從需求的文本規(guī)范開始，所提出的方法構(gòu)建了設(shè)計問題的形式模型，并使用約束規(guī)劃對其進(jìn)行了解決。討論了與這種方法相關(guān)的思想和概念：問題模型的可重用性問題，問題的概念，知識和解決方案空間以及需求的正式規(guī)范以及區(qū)分設(shè)計問題模型和設(shè)計系統(tǒng)模型的所有其他內(nèi)容。電動汽車鋰離子電池設(shè)計示例作為本文的實際用例。

結(jié)論

本文的目的有兩個。首先，它提出了一種通過基于綜合過程的基于模型的方法預(yù)先設(shè)計物理系統(tǒng)的方法。這項工作的主要目標(biāo)之一是提出一種方法和框架，專門針對面臨具體和復(fù)雜設(shè)計問題的工業(yè)設(shè)計師。在這種情況下，所接受的愿景同時是建設(shè)性的、歸納的和可升級的。這種方法的一個關(guān)鍵方面是鼓勵設(shè)計要求和設(shè)計問題的形式化，以適應(yīng)不同利益相關(guān)者（客戶、設(shè)計師、專家、項目負(fù)責(zé)人）的觀點。該方法基于問題規(guī)范語言DEPS及其建模/求解集成環(huán)境DEPS Studio。DEPS語言利用了面向?qū)ο笳Z言的許多優(yōu)點（可重用性，分解，泛化/專用化，繼承），解析步驟使用約束規(guī)劃。一旦我們設(shè)計了結(jié)構(gòu)化系統(tǒng)（功能和/或結(jié)構(gòu)上），并且我們能夠建立一組設(shè)計屬性，如方程、代數(shù)和/或邏輯不等式，這種方法是可取的。這不符合純粹創(chuàng)新或創(chuàng)造力的目的。

其次，該方法在基于電動汽車鋰離子電池設(shè)計的用例中進(jìn)行了說明。這個例子證明了這種方法的相關(guān)性和有效性。很明顯，與任何新方法一樣，學(xué)習(xí)語言和計算機工具的階段是必要的，對于已經(jīng)熟悉面向?qū)ο蠼５挠脩魜碚f，這將更容易。然而，作為工業(yè)/學(xué)術(shù)伙伴關(guān)系的結(jié)果，已經(jīng)做出了特別的努力，以便工業(yè)設(shè)計部門的專家可以使用形式主義和語言。通過這種方式，我們鼓勵有興趣的人根據(jù)自己的設(shè)計需求對其進(jìn)行測試，并幫助我們改進(jìn)當(dāng)前版本（更多信息可在 DEPS 協(xié)會網(wǎng)站DEPS （2020）上找到）。與任何面向?qū)ο蠡蚧谀K的語言一樣，DEPS中內(nèi)置的模型可以重用于不同或更復(fù)雜的設(shè)計問題（例如，用于用例或不同需求的完整工具）。目前，作者正在努力擴展電池示例以考慮環(huán)境限制，并將電池集成到更大的設(shè)計問題中，即電動或混合動力汽車。用例的分辨率表明約束規(guī)劃非常適合，因為解決時間仍然非常短。然而，整體設(shè)計時間不限于解決時間，它還必須包括指定需求和對設(shè)計問題進(jìn)行建模所花費的時間。這些擴展的目標(biāo)之一是評估是否確實可以通過利用我們的設(shè)計方法提供的模型的可重用性和DEPS語言的使用來節(jié)省設(shè)計時間。

DEPS語言是最新的，因此在不斷發(fā)展。自第一個版本以來，添加了新功能，將來應(yīng)該會出現(xiàn)一些功能。例如，本文中討論的用例使用其處理目錄約束和混合變量的能力。本文側(cè)重于物理系統(tǒng)的設(shè)計，但其他論文也討論了嵌入式系統(tǒng)軟件的設(shè)計，這使得可以考慮使用它來設(shè)計信息物理系統(tǒng)或產(chǎn)品服務(wù)系統(tǒng)。在未來的工作中，我們還計劃將合成過程生成的解決方案連接到Modelica仿真中。

審核編輯：劉清