買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網獲悉陜西科技大學申請的專利一種離散事件系統的系統安全實時驗證方法和系統獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119272284B 。

龍圖騰網通過國家知識產權局官網在2025-08-29發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202411343588.0，技術領域涉及：G06F21/57；該發明授權一種離散事件系統的系統安全實時驗證方法和系統是由何舟;袁嘉星;古嬋設計研發完成，并于2024-09-25向國家知識產權局提交的專利申請。

本一種離散事件系統的系統安全實時驗證方法和系統在說明書摘要公布了：本發明公開了一種離散事件系統的系統安全實時驗證方法和系統，根據離散事件系統信息建立離散事件系統的TimeLabeledPetriNets模型，離散事件系統信息包括事件、標簽和時間信息；對離散事件系統的TimeLabeledPetriNets模型使用離散事件系統的實時觀測表達式和離散事件系統的初始秘密狀態的表達式得到離散事件系統的實時觀測與離散事件系統的初始秘密狀態；根據離散事件系統驗證實時安全的約束條件構建整數線性規劃數學問題模型；將離散事件系統的實時觀測與離散事件系統的初始秘密狀態帶入整數線性規劃模型進行求解驗證整數線性規劃模型的安全性得到驗證結果；根據驗證結果判斷離散事件系統安全性。

本發明授權一種離散事件系統的系統安全實時驗證方法和系統在權利要求書中公布了：1.一種離散事件系統的系統安全實時驗證方法，其特征在于，包括以下步驟： 根據離散事件系統信息建立離散事件系統的TimeLabeledPetriNets模型，離散事件系統信息包括事件、標簽和時間信息； 對離散事件系統的TimeLabeledPetriNets模型使用離散事件系統的實時觀測表達式和離散事件系統的初始秘密狀態的表達式得到離散事件系統的實時觀測與離散事件系統的初始秘密狀態； 根據離散事件系統驗證實時安全的約束條件構建整數線性規劃數學問題模型；整數線性規劃數學問題模型的目標函數為使約束條件成立的總花費時間最少； 離散事件系統驗證實時安全的約束條件包括第一約束條件、第二約束條件、第三約束條件和第四約束條件； 第一約束條件是系統狀態標識M的運行正確性； 第二約束條件是變遷σt遵循時間約束； 第三約束條件是可觀測標簽及其時間與實時觀測一致； 第四約束條件是實時觀測的可觀標簽一致的σt的初始狀態與初始秘密狀態不一致； 將離散事件系統的實時觀測與離散事件系統的初始秘密狀態帶入整數線性規劃模型進行求解驗證整數線性規劃模型的安全性得到驗證結果； 根據驗證結果判斷離散事件系統安全性。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人陜西科技大學，其通訊地址為：710021 陜西省西安市未央區大學園；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。