【摘要】：隨著互聯(lián)網(wǎng)的迅猛發(fā)展,門(mén)戶網(wǎng)站數(shù)量也呈現(xiàn)爆炸式增長(zhǎng),電商業(yè)務(wù)已經(jīng)成為當(dāng)今社會(huì)中最必不可少的業(yè)務(wù)之一。與此同時(shí),個(gè)人用戶對(duì)互聯(lián)網(wǎng)深度使用,自媒體個(gè)人門(mén)戶類網(wǎng)站應(yīng)運(yùn)而生。隨著業(yè)務(wù)模式的更新和增加,電商業(yè)務(wù)也將趨于復(fù)雜化,團(tuán)購(gòu)、分銷等營(yíng)銷手段層出不窮。如何對(duì)業(yè)務(wù)模型進(jìn)行檢測(cè),并對(duì)業(yè)務(wù)風(fēng)險(xiǎn)進(jìn)行預(yù)測(cè)成為目前亟待關(guān)注的問(wèn)題。目前,越來(lái)越多的數(shù)據(jù)記錄以事件日志的形式被保存下來(lái),這些數(shù)據(jù)信息蘊(yùn)含著商業(yè)交易操作過(guò)程。如何利用這些數(shù)據(jù)信息提取有重要價(jià)值的操作過(guò)程模型,并通過(guò)模型發(fā)現(xiàn)業(yè)務(wù)的不足,有十分重要的意義。在檢測(cè)業(yè)務(wù)漏洞并完善業(yè)務(wù)的同時(shí),對(duì)業(yè)務(wù)風(fēng)險(xiǎn)的預(yù)測(cè)和與對(duì)違規(guī)行為的攔截是解決此類問(wèn)題的關(guān)鍵所在。即通過(guò)過(guò)程挖掘這種新興技術(shù),使用平臺(tái)中的數(shù)據(jù)信息,構(gòu)建電商業(yè)務(wù)詳細(xì)過(guò)程模型和預(yù)測(cè)模型,從而設(shè)計(jì)相應(yīng)的電商風(fēng)險(xiǎn)預(yù)測(cè)系統(tǒng),實(shí)現(xiàn)電商業(yè)務(wù)管理的智能化控制。本文以挖掘用戶行為為核心,首先從事件日志文件中識(shí)別用戶會(huì)話軌跡,通過(guò)大量用戶會(huì)話構(gòu)建業(yè)務(wù)過(guò)程模型。對(duì)比現(xiàn)有模型檢測(cè)方法,綜合分析適用場(chǎng)景與復(fù)雜度等條件,從中選擇合適的算法捕捉業(yè)務(wù)漏洞。同時(shí)在適用場(chǎng)景、準(zhǔn)確度與性能方面,對(duì)多種馬爾科夫預(yù)測(cè)模型進(jìn)行了對(duì)比分析。其次,分析了系統(tǒng)特點(diǎn)、角色特點(diǎn),調(diào)研了相關(guān)平臺(tái),借助用例圖和用例分析,從功能性與非功能性兩個(gè)方面分別闡述了項(xiàng)目的詳細(xì)需求。該預(yù)測(cè)系統(tǒng)主要包括日志文件處理模塊、預(yù)測(cè)模型構(gòu)建模塊、預(yù)測(cè)算法實(shí)現(xiàn)模塊、權(quán)限管理模塊、郵件提醒模塊以及報(bào)表生成模塊。然后,根據(jù)本文的業(yè)務(wù)問(wèn)題重新設(shè)計(jì)了用戶行為預(yù)測(cè)算法,用實(shí)驗(yàn)證明了算法的可行性。使用批量用戶訪問(wèn)數(shù)據(jù)構(gòu)建了預(yù)測(cè)模型。結(jié)合系統(tǒng)架構(gòu)圖、功能模塊劃分圖、實(shí)體關(guān)系圖與數(shù)據(jù)庫(kù)設(shè)計(jì),展示了項(xiàng)目的概要設(shè)計(jì)情況。借助功能流程圖與類圖,闡述了項(xiàng)目的詳細(xì)設(shè)計(jì)情況與具體實(shí)現(xiàn)過(guò)程。最后,展示了項(xiàng)目的部署環(huán)境,結(jié)合部分驗(yàn)證數(shù)據(jù)展示了驗(yàn)證結(jié)果,并對(duì)項(xiàng)目未來(lái)的發(fā)展做出展望。本項(xiàng)目實(shí)施后,準(zhǔn)確定位了快站電商業(yè)務(wù)中存在的業(yè)務(wù)漏洞。結(jié)合馬爾科夫預(yù)測(cè)模型與快站電商業(yè)務(wù),設(shè)計(jì)的預(yù)測(cè)算法有效應(yīng)用到預(yù)測(cè)系統(tǒng)中。自系統(tǒng)上線以來(lái),幫助攔截了違規(guī)操作十余次,成功減少了違規(guī)操作數(shù)量,并大大降低了業(yè)務(wù)風(fēng)險(xiǎn)。
【學(xué)位授予單位】：北京交通大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：F713.36;O211.62
【圖文】：

時(shí)序邏輯逡逑時(shí)序邏輯是一種重要的描述和驗(yàn)證并發(fā)系統(tǒng)特性的形式化工具。在形式化中，常用時(shí)序邏輯公式描述系統(tǒng)需要被驗(yàn)證的屬性。對(duì)于時(shí)序邏輯，公式含了時(shí)間的概念，公式能夠描述“最終”狀態(tài)可以達(dá)到或“永遠(yuǎn)不能”達(dá)到，間并不需要明顯地表示出來(lái)。逡逑序邏輯ＣＴＬ＊［１２］是一種具有極強(qiáng)描述能力的邏輯，能形式化地描述狀態(tài)變Ｋｒｉｐｋｅ結(jié)構(gòu)中狀態(tài)之間的變遷關(guān)系。ＣＴＬ＊的語(yǔ)義可解釋為Ｋｒｉｐｋｅ結(jié)構(gòu)公式由時(shí)態(tài)操作符和路徑限定符組成。路徑限定符用于描述計(jì)算樹(shù)中的分有Ａ（針對(duì)所有計(jì)算路徑）和Ｅ（針對(duì)某些計(jì)算路徑）兩種限定符。時(shí)態(tài)操作述計(jì)算樹(shù)中某計(jì)算路徑的屬性，有Ｘ（ｎｅｘｔｔｉｍｅ）、Ｆ（ｅｖｅｎｔｕａｌｌｙ）、Ｇ（ａｌｗａｙｓ）、逡逑ｉｌ）和Ｒ（ｒｅｌｅａｓｅ）。ＣＴＬ＊中具有兩種類型的公式：狀態(tài)式（在某一特定的狀態(tài)９逡逑

初的目標(biāo)是要提供一套所有相關(guān)人員都能理解的標(biāo)記語(yǔ)言，包件開(kāi)發(fā)者以及業(yè)務(wù)管理者與監(jiān)察者［１５］。目前大部分企業(yè)都認(rèn)對(duì)于業(yè)務(wù)流程表達(dá)的統(tǒng)一有很大的意義。逡逑Ｎ可以形象的用圖形來(lái)表示過(guò)程，一個(gè)過(guò)程包含一個(gè)或多個(gè)活行時(shí)發(fā)生的事被稱作事件。針對(duì)時(shí)間的不同事件有三種：開(kāi)始事事件。而控制順序流的分支與合并的符號(hào)被稱為網(wǎng)關(guān)，也稱作作用的不同也有三種：ＡＮＤ邋（并行）、ＸＯＲ邋（排他）、ＯＲ邋（相者在ＢＰＭＮ中用泳池和泳道來(lái)表示，此參與者可以是一個(gè)角模階段，根據(jù)對(duì)事件日志數(shù)據(jù)的處理，可以將數(shù)據(jù)通過(guò)ＰｒｏＭ開(kāi)業(yè)務(wù)模型，在此平臺(tái)生成的業(yè)務(wù)模型是能夠描述整個(gè)業(yè)務(wù)過(guò)程后續(xù)對(duì)于業(yè)務(wù)模型進(jìn)行檢測(cè)的算法中，Ｐｅｔｒｉ網(wǎng)模型才能夠更模型漏洞。工業(yè)界目前已經(jīng)有成熟的ＢＰＭＮ轉(zhuǎn)化為Ｐｅｔｒｉ的規(guī)單展示了從ＢＰＭＮ到Ｐｅｔｒｉ網(wǎng)模型網(wǎng)關(guān)轉(zhuǎn)換［１６］。逡逑ＢＰＭＮ邋棋邋Ｓ邐Ｐｅｔｒｉ邋網(wǎng)jㄥ澹渝義

本文編號(hào)：2758566