一種基于分支進(jìn)程的模型一致性分析方法及系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001] 本發(fā)明涉及一種一致性分析方法及系統(tǒng)，特別是涉及一種基于分支進(jìn)程的模型一 致性分析方法及系統(tǒng)。
【背景技術(shù)】
[0002] 隨著互聯(lián)網(wǎng)的飛速發(fā)展以及計算機(jī)科學(xué)技術(shù)的不斷進(jìn)步，網(wǎng)上支付平臺的應(yīng)用越 來越廣泛，越來越多的人通過網(wǎng)絡(luò)交易和支付方式開展業(yè)務(wù)活動，網(wǎng)絡(luò)交易的發(fā)展前景十 分廣闊。
[0003] 在網(wǎng)絡(luò)交易過程中，為了實(shí)時對交易行為進(jìn)行監(jiān)控和分析，針對每個捕捉到的用 戶交易行為的蹤跡，我們構(gòu)建基于PN機(jī)的動態(tài)交易行為模型，以此來分析交易行為模型與 預(yù)期的交易流程行為的一致性。計算其行為一致性度，我們認(rèn)為行為一致性度較小的行為 為非正常行為，為此需要解決基于一致性度分析的交易流程行為實(shí)時監(jiān)控技術(shù)。
[0004] 現(xiàn)有技術(shù)中就兩個模型之間的行為一致性有過一些研究，一類是只研究一致性 質(zhì)，即研究一致、非一致，不涉及度量的概念；一類從度量角度研究一致性，如僅僅從結(jié)構(gòu)角 度研究網(wǎng)模型間相似度。行為輪廓雖然結(jié)合了網(wǎng)的結(jié)構(gòu)和動態(tài)行為關(guān)系，但是僅僅從模型 的大致輪廓出發(fā)研究一致性度，對于模型的一致性檢測不夠精確，且對于含有環(huán)結(jié)構(gòu)的模 型，并未涉及。而且僅僅通過分析兩個網(wǎng)的變迀之間的行為關(guān)系，又不能從整體角度進(jìn)行網(wǎng) 的一致性分析。
[0005] 為此，本專利研究基于分支進(jìn)程展開的模型一致性分析方法及系統(tǒng)。從而對用戶 交易過程中的行為一致進(jìn)行判定，以此來判定用戶的合法性。

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

[0006] 鑒于以上所述現(xiàn)有技術(shù)的缺點(diǎn)，本發(fā)明的目的在于提供一種基于分支進(jìn)程的模型 一致性分析方法及系統(tǒng)，用于解決現(xiàn)有技術(shù)中環(huán)結(jié)構(gòu)模型及重名活動對的行為一致性測度 問題。
[0007] 為實(shí)現(xiàn)上述目的及其他相關(guān)目的，本發(fā)明提供一種基于分支進(jìn)程的模型一致性分 析方法，其特征在于，包括如下步驟：S1，根據(jù)用戶行為運(yùn)行軌跡，構(gòu)建用戶交易PN機(jī)模型； 52, 分別建立用戶交易PN機(jī)模型的分支進(jìn)程展開BPU1、以及預(yù)期模型的分支進(jìn)程展開BPU2; 53, 從行為運(yùn)行角度，對步驟S2中的分支進(jìn)程展開中的變迀間的行為依賴關(guān)系進(jìn)行分析， 并確定其行為依賴關(guān)系R1;S4,根據(jù)步驟S3確定的變迀間的所述行為依賴關(guān)系以及所述分 支進(jìn)程展開分別構(gòu)建兩個模型的行為關(guān)系三維圖；S5,比較分析兩模型的所述行為關(guān)系三 維圖，計算用戶行為一致性度，檢測用戶行為與預(yù)期行為的一致程度。。
[0008] 優(yōu)選地，所述行為依賴關(guān)系R1分為四類：選擇關(guān)系SR、順序關(guān)系0R、并發(fā)關(guān)系CR、 逆順關(guān)系I0R。
[0009] 優(yōu)選地，步驟S4還具體包括如下步驟：步驟S4還具體包括如下步驟：S41，分別獲 取分支進(jìn)程展開8卩1] 1、8卩1]2的多重變迀集1^1={1:11，1: 12，*"，1:111}、1^={1:21，1:22，~，1: 2|11}; S42,以1^中的變迀作為坐標(biāo)軸的X軸和y軸，以變迀間的行為依賴關(guān)系Ri作為坐標(biāo)軸的z 軸，輸出行為關(guān)系三維圖BRTDG1，同樣以1^中的變迀作為坐標(biāo)軸的X軸和y軸，以變迀間的 行為依賴關(guān)系Ri作為坐標(biāo)軸的z軸，輸出行為關(guān)系三維圖BRTDG 2。
[0010] 優(yōu)選地，步驟S5還具體包括如下步驟：步驟S5還具體包括如下步 驟：S51，獲取兩關(guān)系三維圖中的所有元素；S52,通過分析比較獲取兩關(guān)系三維 圖中相一致的元素；S53,采用如下公式計算用戶模型與預(yù)期模型的一致性度：
)
[0011] 優(yōu)選地，步驟S51還具體包括如下步驟：S511，分析1^中的變迀t ^!^…!^變迀間 的行為依賴關(guān)系，令h= t H，i = j = 1，執(zhí)行步驟S512 ;S512,若tdP t 只滿足一種行為 依賴關(guān)系，那么就形成一個新的點(diǎn)Vlj= (t ^ RJ，并輸出BRTDG = BRTDG U Vlj;否則執(zhí) 行步驟S513 ;S513,若tdP t」先后滿足關(guān)系Rm、Rn，則形成兩個點(diǎn)V (t ^tyRm)，ν?2 = U1, Rn)，并形成向量 eij= V lU- V lj2，輸出 BRTDG = BRTDG U elj;否則，執(zhí)行步驟 S514 ; S514,執(zhí)行i = i+Ι，若i < n，則返回步驟S512 ;若i > n，則執(zhí)行步驟S515 ;S515,執(zhí)行i = 1，j = j+Ι，若j彡n，則返回步驟S512 ;若j >n，則執(zhí)行步驟S516 ;S516,根據(jù)步驟S512形 成點(diǎn)集V1= {νη，ν12，"·，ν1η}，根據(jù)步驟S513形成向量集E 1= {en，e12，"·，θ1；3}，執(zhí)行步 驟 S517 4517，$^= t2l，i = j = 1，重復(fù)步驟 S512-S516,分析 L#的變迀 t21、t22...t2n 變迀間的行為依賴關(guān)系，形成點(diǎn)集V2= {v21，V22，…，v2m}以及向量集E2= {e21，e22，…， e2tl °
[0012] 優(yōu)選地，步驟S52還具體包括如下步驟：S521，逐一將通過步驟S516得到的BRTDGi 中的點(diǎn)與通過步驟S517得到的BRTDG2中的每一點(diǎn)進(jìn)行比較，若對于兩個圖上的點(diǎn)V ls、v2s， 其中 Vis= (X h，yu，zlt)、v2s= (x2l，y2j，z2t)且 vlse V1, v2se V2，滿足 Zlt= z 2t，則輸出 V1 =V1 U v ls，V2= V2U v 2s，= V1, V2~=V2，否貝lj，輸出 V1= V p V2= V2, = V1XIvllJ， V廠=V2\{v2s} ;S522,逐一將通過步驟S516得到的BRTDG1中的向量與通過步驟S517得到 的BRTDG；^的每一向量進(jìn)行比較，若對于兩個圖上的向量e ls、e2s，其中els= V V ^ e2；3 =v2l- v2j且 v V p Vlje V p v2ie V2, v2je V2，滿足 els= e 2s，則輸出 E1= E !U e 1s，E2 =E2U e 2s，E廠=E1, E2~=E2,否貝lj，輸出 E1= E !，E2= E 2, E廠=E1Ve1J，E2~=E2\{e 2s}。
[0013] 優(yōu)選地，步驟S53中通過公式
計算行為一致性度，
[0014] 其中：Db--致性度，
[0015] V、兩個三維圖中一致點(diǎn)的集合，
[0016] 乒、廠-兩個三維圖中一致向量的集合，
[0017] V1'V 點(diǎn)集，
[0018] EpE2-向量集。
[0019] 為實(shí)現(xiàn)上述目的及其他相關(guān)目的，本發(fā)明提供一種基于分支進(jìn)程的模型一致性分 析系統(tǒng)，其特征在于，包括：模型構(gòu)建模塊，用于根據(jù)用戶行為運(yùn)行軌跡，構(gòu)建用戶交易PN 機(jī)模型；分支進(jìn)程展開模塊，用于建立用戶交易PN機(jī)模型的分支進(jìn)程展開BPU1、以及預(yù)期 模型的分支進(jìn)程展開BPU 2;依賴關(guān)系確定模塊，用于從行為運(yùn)行角度，對所述分支進(jìn)程展開 模塊所建立的分支進(jìn)程展開中的變迀間的行為依賴關(guān)系進(jìn)行分析，并確定其行為依賴關(guān)系 R1;三維圖構(gòu)建模塊，用于根據(jù)所述依賴關(guān)系確定模塊所確定的變迀間的所述行為依賴關(guān) 系以及所述分支進(jìn)程展開模塊所建立的所述分支進(jìn)程展開分別構(gòu)建兩個模型的行為關(guān)系 三維圖；一致性分析模塊，用于比較分析所述三維圖構(gòu)建模塊所構(gòu)建的兩模型的所述行為 關(guān)系三維圖，計算用戶行為一致性度，檢測用戶行為與預(yù)期行為的一致程度。
[0020] 優(yōu)選地，所述行為依賴關(guān)系R1分為四類：選擇關(guān)系SR、順序關(guān)系0R、并發(fā)關(guān)系CR、 逆順關(guān)系I0R。
[0021] 優(yōu)選地，三維圖構(gòu)建模塊具體執(zhí)行如下操作步驟：分別獲取分支進(jìn)程展開BPl^ BPU2的多重變迀集L1= {tn，t12，…，tln}、L2= {t21，t22，…，t2m};以L#的變迀作為坐 標(biāo)軸的X軸和y軸，以變迀間的行為依賴關(guān)系Ri作為坐標(biāo)軸的z軸，輸出行為關(guān)系三維圖 BRTDG1，同樣以1^中的變迀作為坐標(biāo)軸的X軸和y軸，以變迀間的行為依賴關(guān)系Ri作為坐 標(biāo)軸的z軸，輸出行為關(guān)系三維圖BRTDG 2。
[0022] 優(yōu)選地，一致性分析模塊還具體包括：元素獲取模塊，用于獲取兩關(guān)系三維圖中的 所有元素；分析比較模塊，用于對所述元素獲取模塊中的元素進(jìn)行分析比較獲取兩關(guān)系三 維圖中相一致的元素；一致度計算模塊，用于接收所述元素獲取模塊以及所述分析比較模 塊的輸出結(jié)果，并采用如下公式計算用戶模型與預(yù)期模型的一致性度：
[0024] 優(yōu)選地，元素獲取模塊具體執(zhí)行如下操作步驟：步驟一，分析1^中的變迀tn、t12··· tln變迀間的行為依賴關(guān)系，令t ;= t H，i = j = 1，執(zhí)行步驟二；步驟二，若tdP t 只滿足 一種行為依賴關(guān)系，那么就形成一個新的點(diǎn)Vlj= (t RJ，并輸出BRTDG = BRTDG U Vlj; 否則執(zhí)行步驟三；步驟三，若^和t j先后滿足關(guān)系Rm、Rn，則形成兩個點(diǎn)V lU= (t y tj，RJ， ν?2= (t ptpRj，并開多成向量e。= v叩―v ?2,輸出BRTDG = BRTDG U 否貝lj，執(zhí)行步驟 四；步驟四，執(zhí)行i = i+1，若i < n，則返回步驟二；若i > n，則執(zhí)行步驟五；步驟五，執(zhí)行i =1，j = j+Ι，若j < n，則返回步驟二；若j > n，則執(zhí)行步驟六；步驟六，根據(jù)步驟二形成 點(diǎn)集V1= {νη，ν12，"·，ν1η