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

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

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

本文編號：2758566