[發明專利]一種智能調度方法及調度系統

在審

• 申請號: 202110351760.7
• 申請日: 2021-03-31
• 公開（公告）號: CN112951399A
• 公開（公告）日: 2021-06-11
• 發明（設計）人: 李媛婷;賴金林;鄭曉敏;徐錦宏;蘇志雄;譚藝強;彭志勇;陳剛;黎美玲
• 申請（專利權）人: 廣東醫通軟件有限公司
• 主分類號: G16H40/20
• 分類號: G16H40/20;G06F30/20;G06F111/04
• 代理公司: 中山穎聯知識產權代理事務所(普通合伙) 44647
• 代理人: 何卓南;鐘作亮

1.一種智能調度方法，其特征在于，包括：

利用布爾邏輯運算，對每一約束條件進行建模，以得到約束公式F；

將所述約束公式F進行Tseitin變換，以得到合取范式CNF；

將所述合取范式CNF輸入到布爾可滿足性求解器中進行計算，以確定所述合取范式CNF中是否存在使得所述合取范式CNF得到滿足的賦值；

若是，輸出所述賦值指定的第一資源分配方案。

2.根據權利要求1所述的方法，其特征在于，所述方法還包括：

若所述合取范式CNF中不存在使得所述合取范式CNF得到滿足的所述賦值，將所述合取范式CNF輸入到最大可滿足性求解器中進行計算，以得到次優解；

輸出所述次優解指定的第二資源分配方案。

3.根據權利要求2所述的方法，其特征在于，所述若所述合取范式CNF中不存在使得所述合取范式CNF得到滿足的所述賦值，將所述合取范式CNF輸入到最大可滿足性求解器中進行計算，以得到次優解之后，以及所述輸出所述次優解指定的第二資源分配方案之前，所述方法還包括：

檢測所述次優解是否使得所述合取范式CNF中被滿足的子句數目達到最大；若是，執行所述輸出所述次優解指定的第二資源分配方案。

4.根據權利要求3所述的方法，其特征在于，所述利用布爾邏輯運算，對每一約束條件進行建模，以得到約束公式F之前，所述方法還包括：

設置所述布爾邏輯運算中的布爾變量的二值性與被分配資源的二值性之間的對應關系。

5.根據權利要求1～4任一項所述的方法，其特征在于，所述方法還包括：

所述合取范式CNF至少包括為所述布爾可滿足性求解器與所述最大可滿足性求解器的標準輸入格式。

6.一種調度系統，其特征在于，所述調度系統包括：

第一計算單元，用于利用布爾邏輯運算，對每一約束條件進行建模，以得到約束公式F；

第二計算單元，用于將所述約束公式F進行Tseitin變換，以得到合取范式CNF；

第三計算單元，用于將所述合取范式CNF輸入到布爾可滿足性求解器中進行計算，以確定所述合取范式CNF中是否存在使得所述合取范式CNF得到滿足的賦值；

第一輸出單元，用于在所述第三計算單元確定出所述合取范式CNF中存在使得所述合取范式CNF得到滿足的賦值時，輸出所述賦值指定的第一資源分配方案。

7.根據權利要求6所述的調度系統，其特征在于，所述調度系統還包括：

第四計算單元，用于在所述第三計算單元確定出所述合取范式CNF中不存在使得所述合取范式CNF得到滿足的賦值時，將所述合取范式CNF輸入到最大可滿足性求解器中進行計算，以得到次優解；

第二輸出單元，用于輸出所述次優解指定的第二資源分配方案。

8.根據權利要求7所述的調度系統，其特征在于，所述調度系統還包括：

檢測單元，用于在所述第四計算單元將所述合取范式CNF輸入到最大可滿足性求解器中進行計算，以得到次優解之后，以及所述第二輸出單元輸出所述次優解指定的第二資源分配方案之前，檢測所述次優解是否使得所述合取范式CNF中被滿足的子句數目達到最大；

執行單元，用于在所述檢測單元檢測出所述次優解使得所述合取范式CNF中被滿足的子句數目達到最大時，執行所述輸出所述次優解指定的第二資源分配方案。

9.一種調度系統，其特征在于，所述調度系統包括：

存儲有可執行程序代碼的存儲器；

與所述存儲器耦合的處理器；

所述處理器調用所述存儲器中存儲的所述可執行程序代碼，執行權利要求1-5任一項所述的智能調度方法。

10.一種計算機可讀存儲介質，其特征在于，所述計算機可讀存儲介質存儲有計算機程序，其中，所述計算機程序使得計算機執行權利要求1-5任一項所述的智能調度方法。