[發明專利]基于伙伴矩陣的交易系統的重疊對應行為一致性檢測方法

有效

• 申請號: 202010020627.9
• 申請日: 2020-01-09
• 公開（公告）號: CN111242593B
• 公開（公告）日: 2022-05-31
• 發明（設計）人: 王咪咪;趙培海
• 申請（專利權）人: 東華大學
• 主分類號: G06Q20/08
• 分類號: G06Q20/08;G06Q10/06
• 代理公司: 上海申匯專利代理有限公司 31001
• 代理人: 徐俊

1.一種基于伙伴矩陣的交易系統的重疊對應行為一致性檢測方法，其特征在于，包括以下步驟：

步驟1：根據現有用戶行為模型分析重疊對應關系特征；將重疊對應關系分類，研究各個類的行為特征；將用戶行為模型的對應關系映射到用戶交易模型的具體實例中；

步驟2：根據用戶行為特征建立關系輪廓，構建用戶關系輪廓矩陣；把用戶各個活動間的關系，建立用戶關系輪廓；根據每兩兩活動間的關系輪廓，計算兩個模型的基于關系輪廓的關系輪廓矩陣；

步驟3：根據用戶重疊對應特征，計算關系輪廓矩陣的伙伴矩陣，計算用戶行為一致性度，檢測用戶行為與預期行為的一致程度；根據用戶重疊對應類，計算關系輪廓的伙伴矩陣；根據用戶實時交易模型與預期模型的重疊對應關系及表示各個模型自身行為關系的關系輪廓矩陣，計算用戶實時交易模型與預期模型的行為一致性；

步驟3.1：輸入網模型(P₁，T₁，F₁；M₁)和(P₂，T₂，F₂；M₂)，一個對應關系～關聯著兩個Petri網的變遷，他們的關系輪廓BS₁，他們的關系輪廓矩陣BM₁、BM₂；

P表示庫所集合，T表示變遷集合，F表示庫所和變遷之間的有向弧集合，M表示標識；P₁，T₁，F₁；M₁和P₂，T₂，F₂；M₂分別代表兩個網模型的庫所、變遷、庫所和變遷間的有向弧、標識；r₁，r₂，r₃，r₄，r₅，r₆代表關系輪廓中的6種行為關系；其中：

嚴格序關系如果

排他序關系+：如果

類1交叉序關系r₁：如果x和y不在環結構中，且σ(x，y)＝1；

類2交叉序關系r₂：如果x和y不在環結構中，且σ(x，y)＞1；

類3交叉序關系r₃：如果x和y在環結構中，且σ(x，y)＝1；

類4交叉序關系r₄：如果x和y在環結構中，且σ(x，y)＞1；

類5交叉序關系r₅：如果x和y不在環結構中，且σ(x，y)＝1；

類6交叉序關系r₆：如果x和y在環結構中，且σ(x，y)＞1；

另：若那么

σ(x，y)表示變遷x和y的同步距離；表示x和y屬于弱序關系；表示x和y不屬于弱序關系；

步驟3.2：將變遷集T₁和T₂按照對應關系分為n個對應集合形式，T_1，1～T_2，1，T_1，2～T_2，2，…，T_1，n～T_2，n是所有的對應關系，執行下一步驟；

步驟3.3：計算所有BM₁的伙伴矩陣BM_P1的元素，得到BM₁的伙伴矩陣BM_P1，執行下一步驟；

步驟3.4：計算所有BM₂的伙伴矩陣BM_P2的元素，得到BM₂的伙伴矩陣BM_P2，執行下一步驟；

步驟3.5：若BM₁·BM_p1與BM₂·BM_p2同階，那么找到BM₁·BM_p1與BM₂·BM_p2，中相同位置中的不同元素，計算基于重疊對應關系的一致性度D_P，輸出D_P，算法終止；否則執行下一步驟；

步驟3.6：比較BM₁·BM_p1與(BM₂·BM_p2)^T，計算BM₁·BM_p1與(BM₂·BM_p2)^T中相同位置中的不同元素，執行下一步驟；

步驟3.7：計算基于重疊對應關系的一致性度D_P，輸出D_P，算法終止；其中D_p被定義為：

S_i，j表示矩陣BM₁·BM_p1與矩陣BM₂·BM_p2或(BM₂·BM_p2)^T中的相同位置的不同元素或不互逆元素。