本发明专利技术提供一种基于分支进程的模型一致性分析方法及系统，其系统包括模型构建模块、分支进程展开模块、依赖关系确定模块、三维图构建模块以及一致性分析模块。分析方法为：根据用户行为运行轨迹，构建用户交易PN机模型；分别建立用户交易PN机模型以及预期模型的分支进程展开BPU1、BPU2；从行为运行角度，对分支进程展开中的变迁间的行为依赖关系进行分析，确定其行为依赖关系Ri；根据确定的行为依赖关系分别构建两个模型的行为关系三维图；比较分析两行为关系三维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。采用本分析方法及系统能够对用户交易过程中的行为一致进行判定，以此来判定用户的合法性。
【技术实现步骤摘要】
本专利技术涉及一种一致性分析方法及系统，特别是涉及一种基于分支进程的模型一 致性分析方法及系统。
技术介绍
随着互联网的飞速发展以及计算机科学技术的不断进步，网上支付平台的应用越 来越广泛，越来越多的人通过网络交易和支付方式开展业务活动，网络交易的发展前景十 分广阔。 在网络交易过程中，为了实时对交易行为进行监控和分析，针对每个捕捉到的用 户交易行为的踪迹，我们构建基于PN机的动态交易行为模型，以此来分析交易行为模型与 预期的交易流程行为的一致性。计算其行为一致性度，我们认为行为一致性度较小的行为 为非正常行为，为此需要解决基于一致性度分析的交易流程行为实时监控技术。 现有技术中就两个模型之间的行为一致性有过一些研究，一类是只研究一致性 质，即研究一致、非一致，不涉及度量的概念；一类从度量角度研究一致性，如仅仅从结构角 度研究网模型间相似度。行为轮廓虽然结合了网的结构和动态行为关系，但是仅仅从模型 的大致轮廓出发研究一致性度，对于模型的一致性检测不够精确，且对于含有环结构的模 型，并未涉及。而且仅仅通过分析两个网的变迀之间的行为关系，又不能从整体角度进行网 的一致性分析。 为此，本专利研究基于分支进程展开的模型一致性分析方法及系统。从而对用户 交易过程中的行为一致进行判定，以此来判定用户的合法性。
技术实现思路
鉴于以上所述现有技术的缺点，本专利技术的目的在于提供一种基于分支进程的模型 一致性分析方法及系统，用于解决现有技术中环结构模型及重名活动对的行为一致性测度 问题。 为实现上述目的及其他相关目的，本专利技术提供一种基于分支进程的模型一致性分 析方法，其特征在于，包括如下步骤：S1，根据用户行为运行轨迹，构建用户交易PN机模型； 52, 分别建立用户交易PN机模型的分支进程展开BPU1、以及预期模型的分支进程展开BPU2; 53, 从行为运行角度，对步骤S2中的分支进程展开中的变迀间的行为依赖关系进行分析， 并确定其行为依赖关系R1;S4,根据步骤S3确定的变迀间的所述行为依赖关系以及所述分 支进程展开分别构建两个模型的行为关系三维图；S5,比较分析两模型的所述行为关系三 维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。。 优选地，所述行为依赖关系R1分为四类：选择关系SR、顺序关系0R、并发关系CR、 逆顺关系I0R。 优选地，步骤S4还具体包括如下步骤：步骤S4还具体包括如下步骤：S41，分别获 取分支进程展开8卩1] 1、8卩1]2的多重变迀集1^1={1:11，1: 12，*"，1:111}、1^={1:21，1:22，~，1: 2|11}; S42,以1^中的变迀作为坐标轴的X轴和y轴，以变迀间的行为依赖关系Ri作为坐标轴的z 轴，输出行为关系三维图BRTDG1，同样以1^中的变迀作为坐标轴的X轴和y轴，以变迀间的 行为依赖关系Ri作为坐标轴的z轴，输出行为关系三维图BRTDG 2。 优选地，步骤S5还具体包括如下步骤：步骤S5还具体包括如下步 骤：S51，获取两关系三维图中的所有元素；S52,通过分析比较获取两关系三维 图中相一致的元素；S53,采用如下公式计算用户模型与预期模型的一致性度：) 优选地，步骤S51还具体包括如下步骤：S511，分析1^中的变迀t ^!^…!^变迀间 的行为依赖关系，令h= t H，i = j = 1，执行步骤S512 ;S512,若tdP t 只满足一种行为 依赖关系，那么就形成一个新的点Vlj= (t ^ RJ，并输出BRTDG = BRTDG U Vlj;否则执 行步骤S513 ;S513,若tdP t」先后满足关系Rm、Rn，则形成两个点V (t ^tyRm)，ν?2 = U1, Rn)，并形成向量 eij= V lU- V lj2，输出 BRTDG = BRTDG U elj;否则，执行步骤 S514 ; S514,执行i = i+Ι，若i < n，则返回步骤S512 ;若i > n，则执行步骤S515 ;S515,执行i = 1，j = j+Ι，若j彡n，则返回步骤S512 ;若j >n，则执行步骤S516 ;S516,根据步骤S512形 成点集V1= {νη，ν12，"·，ν1η}，根据步骤S513形成向量集E 1= {en，e12，"·，θ1；3}，执行步 骤 S517 4517，$^= t2l，i = j = 1，重复步骤 S512-S516,分析 L#的变迀 t21、t22...t2n 变迀间的行为依赖关系，形成点集V2= {v21，V22，…，v2m}以及向量集E2= {e21，e22，…， e2tl ° 优选地，步骤S52还具体包括如下步骤：S521，逐一将通过步骤S516得到的BRTDGi 中的点与通过步骤S517得到的BRTDG2中的每一点进行比较，若对于两个图上的点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；^的每一向量进行比较，若对于两个图上的向量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}。 优选地，步骤S53中通过公式计算行为一致性度， 其中：Db--致性度， V、两个三维图中一致点的集合， 乒、厂-两个三维图中一致向量的集合， V1'V 点集， EpE2-向量集。 为实现上述目的及其他相关目的，本专利技术提供一种基于分支进程的模型一致性分 析系统，其特征在于，包括：模型构建模块，用于根据用户行为运行轨迹，构建用户交易PN 机模型；分支进程展开模块，用于建立用户交易PN机模型的分支进程展开BPU1、以及预期 模型的分支进程展开BPU 2;依赖关系确定模块，用于从行为运行角度，对所述分支进程展开 模块所建立的分支进程展开中的变迀间的行为依赖关系进行分析，并确定其行为依赖关系 R1;三维图构建模块，用于根据所述依赖关系确定模块所确定的变迀间的所述行为依赖关 系以及所述分支进程展开模块所建立的所述分支进程展开分别构建两个模型的行为关系 三维图；一致性分析模块，用于比较分析所述三维图构建模块所构建的两模型的所述行为 关系三维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。 优选地，所述行为依赖关系R1分为四类：选择关系SR、顺序关系0R、并发关系CR、 逆顺关系I0R。 优选地，三维图构建模块具体执行如下操作步骤：分别获取分支进程展开BPl^ BPU2的多重变迀集L1= 本文档来自技高网...
【技术保护点】
一种基于分支进程的模型一致性分析方法，其特征在于，包括如下步骤：S1，根据用户行为运行轨迹，构建用户交易PN机模型；S2，分别建立用户交易PN机模型的分支进程展开BPU1、以及预期模型的分支进程展开BPU2；S3，从行为运行角度，对步骤S2中的分支进程展开中的变迁间的行为依赖关系进行分析，并确定其行为依赖关系Ri；S4，根据步骤S3确定的变迁间的所述行为依赖关系以及所述分支进程展开分别构建两个模型的行为关系三维图；S5，比较分析两模型的所述行为关系三维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。
【技术特征摘要】
【专利技术属性】
技术研发人员：蒋昌俊，陈闳中，闫春钢，丁志军，王咪咪，赵培海，
申请(专利权)人：同济大学，
类型：发明
国别省市：上海;31
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。