[發(fā)明專利]有限狀態(tài)機的模型生成方法、生成裝置及終端設(shè)備

在審

• 申請?zhí)枺?/td>: 201910227099.1
• 申請日: 2019-03-25
• 公開（公告）號: CN110096739A
• 公開（公告）日: 2019-08-06
• 發(fā)明（設(shè)計）人: 國海峰;冷曉寧;楊京雷;楊志遠
• 申請（專利權(quán)）人: 中科恒運股份有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 石家莊國為知識產(chǎn)權(quán)事務(wù)所 13120
• 代理人: 米文智

本申請適用于電子技術(shù)領(lǐng)域，提供了一種有限狀態(tài)機的模型生成方法、生成裝置及終端設(shè)備，包括：獲取待生成的有限狀態(tài)機的模型參數(shù)，所述模型參數(shù)包括輸入屬性集和輸出屬性集；基于所述輸入屬性集和所述輸出屬性集生成至少一組有效事件，每組有效事件包括一個輸入屬性和一個輸出屬性；分別計算每組有效事件的狀態(tài)描述函數(shù)，并分別為每個狀態(tài)描述函數(shù)設(shè)置狀態(tài)轉(zhuǎn)換條件；基于所述模型參數(shù)和所述狀態(tài)轉(zhuǎn)換條件，生成所述有限狀態(tài)機的模型。通過上述方法，能夠自適應地根據(jù)模型參數(shù)生成有限狀態(tài)機，避免了人工手動計算，大大提高了有限狀態(tài)機的建模效率。

技術(shù)領(lǐng)域

本申請涉及電子技術(shù)領(lǐng)域，尤其涉及有限狀態(tài)機的模型生成方法、生成裝置及終端設(shè)備。

背景技術(shù)

有限狀態(tài)機，是表示有限個狀態(tài)以及在這些狀態(tài)之間進行轉(zhuǎn)移和動作等行為的數(shù)學模型。有限狀態(tài)機被廣泛應用于電子工程、語言學、計算機科學、邏輯學等領(lǐng)域。

現(xiàn)有的有限狀態(tài)機的建模方法，是由人工手動計算模型中的各個事件的狀態(tài)描述函數(shù)，并手動為每個事件設(shè)置狀態(tài)轉(zhuǎn)換條件。當有限狀態(tài)機的模型規(guī)模較大時，人工的計算效率較低。

發(fā)明內(nèi)容

有鑒于此，本申請實施例提供了有限狀態(tài)機的模型生成方法、生成裝置及終端設(shè)備，以解決現(xiàn)有技術(shù)中人工建立有限狀態(tài)機模型的效率較低的問題。

本申請實施例的第一方面提供了一種有限狀態(tài)機的模型生成方法，包括：

獲取待生成的有限狀態(tài)機的模型參數(shù)，所述模型參數(shù)包括輸入屬性集和輸出屬性集；

基于所述輸入屬性集和所述輸出屬性集生成至少一組有效事件，每組有效事件包括一個輸入屬性和一個輸出屬性；

分別計算每組有效事件的狀態(tài)描述函數(shù)，并分別為每個狀態(tài)描述函數(shù)設(shè)置狀態(tài)轉(zhuǎn)換條件；

基于所述模型參數(shù)和所述狀態(tài)轉(zhuǎn)換條件，生成所述有限狀態(tài)機的模型。

本申請實施例的第二方面提供了一種有限狀態(tài)機的模型生成裝置，包括：

獲取單元，用于獲取待生成的有限狀態(tài)機的模型參數(shù)，所述模型參數(shù)包括輸入屬性集和輸出屬性集；

事件生成單元，用于基于所述輸入屬性集和所述輸出屬性集生成至少一組有效事件，每組有效事件包括一個輸入屬性和一個輸出屬性；

計算單元，用于分別計算每組有效事件的狀態(tài)描述函數(shù)，并分別為每個狀態(tài)描述函數(shù)設(shè)置狀態(tài)轉(zhuǎn)換條件；

模型生成單元，用于基于所述模型參數(shù)和所述狀態(tài)轉(zhuǎn)換條件，生成所述有限狀態(tài)機的模型。

本申請實施例的第三方面提供了一種終端設(shè)備，包括存儲器、處理器以及存儲在所述存儲器中并可在所述處理器上運行的計算機程序，所述處理器執(zhí)行所述計算機程序時實現(xiàn)本申請實施例第一方面提供的所述方法的步驟。

本申請實施例的第四方面提供了一種計算機可讀存儲介質(zhì)，所述計算機可讀存儲介質(zhì)存儲有計算機程序，所述計算機程序被一個或多個處理器執(zhí)行時實現(xiàn)本申請實施例第一方面提供的所述方法的步驟。

本申請實施例與現(xiàn)有技術(shù)相比存在的有益效果是：

本申請實施例通過獲取待生成的有限狀態(tài)機的模型參數(shù)，模型參數(shù)包括輸入屬性集和輸出屬性集，基于所述輸入屬性集和所述輸出屬性集生成至少一組有效事件，每組有效事件包括一個輸入屬性和一個輸出屬性，通過上述方法，能夠?qū)⒛Ｐ蛥?shù)自由組合得到有限狀態(tài)機的所有可能的狀態(tài)；分別計算每組有效事件的狀態(tài)描述函數(shù)，并分別為每個狀態(tài)描述函數(shù)設(shè)置狀態(tài)轉(zhuǎn)換條件，通過上述方法，能夠自適應地生成有限狀態(tài)機所需的狀態(tài)轉(zhuǎn)換條件；基于所述模型參數(shù)和所述狀態(tài)轉(zhuǎn)換條件，生成所述有限狀態(tài)機的模型。通過上述方法，能夠自適應地根據(jù)模型參數(shù)生成有限狀態(tài)機，避免了人工手動計算，大大提高了有限狀態(tài)機的建模效率。

附圖說明