[發明專利]一種智能服務實時動態監測的方法

有效

• 申請號: 202210424421.1
• 申請日: 2022-04-21
• 公開（公告）號: CN114706731B
• 公開（公告）日: 2023-04-28
• 發明（設計）人: 周長兵;趙登;施振生;張玉清
• 申請（專利權）人: 中國地質大學(北京)
• 主分類號: G06F11/30
• 分類號: G06F11/30;G16Y40/10
• 代理公司: 北京超凡宏宇專利代理事務所(特殊普通合伙) 11463
• 代理人: 榮穎佳

1.一種智能服務實時動態監測的方法，其特征在于，包括：

根據用戶需求，預設智能服務至少一項約束的監測目標，并將所述監測目標轉換為時序邏輯公式，所述智能服務約束包括以下屬性中的至少一種：空間屬性、時間屬性、能耗屬性以及資源限制屬性；

基于黎曼和算子，構建正負偏置的黎曼和計算方式，生成一種新型信號時序邏輯定量化滿足度計算方法，其中，所述基于黎曼和算子，構建正負偏置的黎曼和計算方式，生成一種新型信號時序邏輯定量化滿足度計算方法，包括，基于構建好的正負偏置的黎曼和計算方式，構建新型信號時序邏輯形式化語義，其中，黎曼和算子定義如下：

其中，I＝{I₁，I₂，...，I_k}，I_i＝[t_i，t_i+1]i＝1，2，...，k，k≥1，I_i∩I_i+1＝{t_i+1}，正負偏置的黎曼和算子定義如下：

其中，i＝1……k，k為正整數，基于正負偏置的黎曼和構建的信號時序邏輯的定量化語義為：即定義一個魯棒值函數將給定的一個信號時序邏輯公式一個信號值在一個時間點t∈I，對于一個智能服務sev∈SEV，映射到R內的一個實數值：

其中，x～c表示斷言，c是用戶指定的常數閾值，簡寫為x，表示對一個服務sev_j針對約束x_i在特定時間點t上的信號值，是邏輯非，表示信號時序邏輯算子，表示非信號時序邏輯算子，∧是邏輯與，V是邏輯或，U_I是時序“直到”算子，表示能在區間I內至少某一時間點t∈I滿足，且在時間點t之前總是被滿足，F_I是時序“最終”算子，表示在區間I內至少某一時間點t∈I，能被滿足，G_I是時序“總是”算子，表示在區間I內所有時間點，均能被滿足；

獲取所述監測目標對應的時序信號，并基于所述新型信號時序邏輯定量化滿足度計算方法，實時計算智能服務各項約束的滿足度，實現對所述智能服務的實時動態監測。

2.根據權利要求1所述的方法，其特征在于，所述獲取所述監測目標對應的時序信號，并基于所述新型信號時序邏輯定量化滿足度計算方法，實時計算智能服務各項約束的滿足度，實現對智能服務的實時動態監測，包括：

獲取所述監測目標對應的時序信號及其信號間隔；

基于所述構建好的新型時序邏輯形式化語義，對所述監測目標的邏輯公式，進行正負偏置下的信號處理；

實時計算所述智能服務各項約束的滿足度，實現對所述智能服務的實時動態監測。