[發(fā)明專利]基于操作權(quán)限回溯的雙工作站實現(xiàn)雙席互斥的方法

在審

• 申請?zhí)枺?/td>: 202111110134.5
• 申請日: 2021-09-18
• 公開（公告）號: CN113806100A
• 公開（公告）日: 2021-12-17
• 發(fā)明（設(shè)計）人: 萬云瑩;黃振茂;高慧
• 申請（專利權(quán)）人: 南京恒星自動化設(shè)備有限公司
• 主分類號: G06F9/52
• 分類號: G06F9/52;G06F8/36;G06F8/75
• 代理公司: 南京禾易知識產(chǎn)權(quán)代理有限公司 32320
• 代理人: 詹慶銣

本發(fā)明提供一種基于操作權(quán)限回溯的雙工作站實現(xiàn)雙席互斥的方法，包括第一步，獲取調(diào)度系統(tǒng)工作站的資源數(shù)據(jù)，建立針對資源數(shù)據(jù)的解空間；第二步，將包含資源數(shù)據(jù)的解空間轉(zhuǎn)化為解空間樹結(jié)構(gòu)；第三步，基于深度優(yōu)先搜索算法對解空間樹結(jié)構(gòu)進行遍歷，得到資源數(shù)據(jù)的可行解或最優(yōu)解。采用回溯法的優(yōu)點在于其程序結(jié)構(gòu)明確，可讀性強，易于理解，而且通過對問題的分析可以大大提高運行效率，并且樹狀結(jié)構(gòu)，利于增加和修改子節(jié)點，程序復(fù)用率遠(yuǎn)遠(yuǎn)大于現(xiàn)有的方法。

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

本發(fā)明涉及調(diào)度系統(tǒng)工作站數(shù)據(jù)處理技術(shù)領(lǐng)域，具體為一種基于操作權(quán)限回溯的雙工作站實現(xiàn)雙席互斥的方法。

背景技術(shù)

調(diào)度系統(tǒng)工作站是SCADA系統(tǒng)提供人機交互的最終端，所有采集到的數(shù)據(jù)都將通過特定的處理以圖表或其它方式在工作站呈現(xiàn)給調(diào)度員。

現(xiàn)在大多數(shù)SCADA系統(tǒng)都有兩個冗余互為主備的雙工作站模式，對系統(tǒng)進行遙控、下發(fā)定值、修改參數(shù)等等操作時，雙機必須采用互斥機制，以往的工作站一般采用的就是軟件鎖的方法。簡單的說，就是將要操作的設(shè)備看做一塊共享資源，當(dāng)一臺工作站的操作進程訪問這塊資源時，它就會被上鎖，其它進程無法訪問，當(dāng)操作完畢，解鎖該資源。

因此得出，以往的互斥機制簡單，規(guī)則單一，但要面對雙席互斥、雙席并發(fā)、雙席監(jiān)督、雙席并發(fā)監(jiān)督、雙席互斥監(jiān)督等等復(fù)雜管理要求，有時還存在分臺管理、操作權(quán)限等級、監(jiān)護人權(quán)限等其他條件時，簡單的軟件鎖就需要根據(jù)繁多的條件來判斷是否該上鎖，當(dāng)判斷條件增加時，判斷機制不易擴展，必須升級軟件鎖整個模塊才能實現(xiàn)功能，并且還面臨著死鎖的風(fēng)險。

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

針對現(xiàn)有技術(shù)存在的不足，本發(fā)明目的是提供一種基于操作權(quán)限回溯的雙工作站實現(xiàn)雙席互斥的方法，以解決上述背景技術(shù)中提出的問題，本發(fā)明通過采用操作權(quán)限回溯的方法，具備能夠提高系統(tǒng)權(quán)限判斷的高效性和準(zhǔn)確性，并且容易進行判斷條件的擴展的優(yōu)點，解決了現(xiàn)有技術(shù)中的問題。

為了實現(xiàn)上述目的，本發(fā)明是通過如下的技術(shù)方案來實現(xiàn)：一種基于操作權(quán)限回溯的雙工作站實現(xiàn)雙席互斥的方法，包括以下步驟：

第一步，獲取調(diào)度系統(tǒng)工作站的資源數(shù)據(jù)，建立針對所述資源數(shù)據(jù)的解空間；

第二步，將包含資源數(shù)據(jù)的解空間轉(zhuǎn)化為解空間樹結(jié)構(gòu)；

第三步，基于深度優(yōu)先搜索算法對解空間樹結(jié)構(gòu)進行遍歷，得到所述資源數(shù)據(jù)的可行解或最優(yōu)解

S3-1，以所述解空間樹結(jié)構(gòu)的根節(jié)點為基點向解空間樹結(jié)構(gòu)區(qū)域內(nèi)與此基點相鄰的任一結(jié)點作試探性連接；

S3-2，判斷所述結(jié)點是否包含所述資源數(shù)據(jù)的解，其中，

若結(jié)點不包含資源數(shù)據(jù)的解，則跳過以該結(jié)點為根節(jié)點的子樹的搜索，逐層向其祖先結(jié)點回溯；

S3-3，順序執(zhí)行S3-1以及S3-2，直至找到所述資源數(shù)據(jù)的可行解或最優(yōu)解。

作為對本發(fā)明中所述一種基于操作權(quán)限回溯的雙工作站實現(xiàn)雙席互斥的方法的改進，在第三步中，基于深度優(yōu)先搜索算法對解空間樹結(jié)構(gòu)進行遍歷時，需要基于約束函數(shù)對擴展結(jié)點處進行優(yōu)化，用于剪去不滿足約束條件的路徑；

同時，當(dāng)解空間樹結(jié)構(gòu)中某一結(jié)點處上界函數(shù)值小于當(dāng)前最優(yōu)解時，需剪去以該結(jié)點為根節(jié)點的子樹，用于剪去不能得到最優(yōu)解的路徑，節(jié)省搜索范圍。

作為對本發(fā)明中所述一種基于操作權(quán)限回溯的雙工作站實現(xiàn)雙席互斥的方法的改進，在S3-3中，當(dāng)資源數(shù)據(jù)的解為至少一個解時，需要回溯到解空間樹結(jié)構(gòu)的根節(jié)點進行遍歷搜索，直至此解空間樹結(jié)構(gòu)的根節(jié)點所有子樹均被搜索遍后結(jié)束；

當(dāng)資源數(shù)據(jù)的解有且只有一個解時，只要在回溯到解空間樹結(jié)構(gòu)的根節(jié)點進行遍歷搜索的過程中或以所述解空間樹結(jié)構(gòu)的根節(jié)點為基點向解空間樹結(jié)構(gòu)區(qū)域內(nèi)與此基點相鄰的任一結(jié)點作試探性連接的過程中，搜索并判斷出此結(jié)點或此根節(jié)點包含一個資源數(shù)據(jù)的解時，結(jié)束；