[發(fā)明專利]一種基于本體的大型活動(dòng)事件沖突檢測(cè)方法

有效

• 申請(qǐng)?zhí)枺?/td>: 202010698849.6
• 申請(qǐng)日: 2020-07-20
• 公開(kāi)（公告）號(hào): CN111898259B
• 公開(kāi)（公告）日: 2022-08-05
• 發(fā)明（設(shè)計(jì)）人: 王超;粟璐妮;王鵬;陳能成;王偉
• 申請(qǐng)（專利權(quán)）人: 武漢大學(xué)
• 主分類號(hào): G06F30/20
• 分類號(hào): G06F30/20;G06Q10/06;G06Q50/26
• 代理公司: 武漢科皓知識(shí)產(chǎn)權(quán)代理事務(wù)所(特殊普通合伙) 42222
• 代理人: 許蓮英

1.一種基于本體的大型活動(dòng)事件沖突檢測(cè)方法，其特征在于，包括如下步驟：

步驟1：針對(duì)大型活動(dòng)共性的應(yīng)用場(chǎng)景，通過(guò)大型活動(dòng)的對(duì)象、大型活動(dòng)的流程、大型活動(dòng)的規(guī)則將大型活動(dòng)定義為三元組；

步驟2：通過(guò)人員類、設(shè)施類、時(shí)間類、空間類定義大型活動(dòng)的對(duì)象；

步驟3：通過(guò)大型活動(dòng)的環(huán)節(jié)定義大型活動(dòng)的具體流程；

步驟4：通過(guò)志愿者類、觀眾類、場(chǎng)館類、控制點(diǎn)類構(gòu)建對(duì)象類，進(jìn)一步構(gòu)建志愿者類、觀眾類、場(chǎng)館類、控制點(diǎn)類的對(duì)象數(shù)據(jù)屬性；

步驟5：建立時(shí)間沖突檢測(cè)規(guī)則、空間沖突檢測(cè)規(guī)則及屬性沖突檢測(cè)規(guī)則，分別根據(jù)時(shí)間沖突檢測(cè)規(guī)則、空間沖突檢測(cè)規(guī)則及屬性沖突檢測(cè)規(guī)則依次檢測(cè)大型活動(dòng)是否存在沖突；

步驟5所述時(shí)間沖突檢測(cè)規(guī)則，由第一時(shí)間沖突檢測(cè)規(guī)則以及第二時(shí)間沖突檢測(cè)規(guī)則構(gòu)成：

所述第一時(shí)間沖突檢測(cè)規(guī)則用于判斷大型活動(dòng)的具體流程中第i個(gè)環(huán)節(jié)Activity_i，其中，i∈[1,n]，n為該大型活動(dòng)具體流程中的環(huán)節(jié)數(shù)量，執(zhí)行的時(shí)間是否足夠，具體檢測(cè)方法為：

觀眾從停車場(chǎng)步行至體育館作為大型活動(dòng)的具體流程中第i個(gè)實(shí)際環(huán)節(jié)Activity_i，涉及的觀眾Audience為Activity_i^Human，Audience_{speedInWalking}即表示觀眾的步行速度，從停車場(chǎng)至體育館的步行空間路徑line為Activity_i^Space，人員從停車場(chǎng)步行至體育館規(guī)劃分配的時(shí)間interval為Activity_i^Time，interval＝{beginTime,endTime}，其中beginTime∈Instant，endTime∈Instant，beginTimeendTime；

如果觀眾步行實(shí)際所需時(shí)間小于規(guī)劃分配的時(shí)間，即如果(lengthOf(line)/Audience_{speedInWalking})(interval_endTime-interval_startTime)成立，則大型活動(dòng)的具體流程中第i個(gè)環(huán)節(jié)Activity_i不存在沖突，其中，lengthOf(line)表示計(jì)算Activity_i中空間路徑line的長(zhǎng)度，interval_endTime表示Activity_i的結(jié)束時(shí)間，interval_startTime表示Activity_i的開(kāi)始時(shí)間；

大型活動(dòng)的具體流程中第i個(gè)環(huán)節(jié)Activity_i，目標(biāo)場(chǎng)館Venues為Activity_i^Facility，規(guī)劃分配的時(shí)間interval為Activity_i^Time，interval＝{beginTime,endTime}，其中beginTime∈Instant，endTime∈Instant，beginTimeendTime；

Venues_{maximumOccupancy}即表示場(chǎng)館Venues最多能夠容納觀眾的數(shù)量，Venues_{numberOfSecurityChannels}即表示場(chǎng)館Venues的出入口數(shù)量，Venues_{timeforSecurityCheck}即表示進(jìn)入場(chǎng)館Venues每人需要花費(fèi)的安檢時(shí)間；

如果最大數(shù)量觀眾入場(chǎng)所需實(shí)際時(shí)間小于規(guī)劃分配的時(shí)間，即如果(Venues_{maximumOccupancy}×Venues_{timeforSecurityCheck}/Venues_{numberOfSecurityChannels})(interval_endTime-interval_startTime)成立，則大型活動(dòng)的具體流程中第i個(gè)環(huán)節(jié)Activity_i存在沖突；

所述第二時(shí)間沖突檢測(cè)規(guī)則用于判斷大型活動(dòng)的具體流程Flow中所有Activity_i與Activity_j，其中，i∈[1,n]，j∈[1,n]，并且i≠j，n為該大型活動(dòng)具體流程中的環(huán)節(jié)數(shù)量，中人員對(duì)象Human相同的情況下，規(guī)劃分配的時(shí)間Time是否有交集；

用于檢測(cè)整個(gè)大型活動(dòng)的具體流程Flow中，相同人員Human需要執(zhí)行多個(gè)環(huán)節(jié)Activity時(shí)，是否有時(shí)間分配沖突；

如果大型活動(dòng)的具體流程Flow中Activity_i和Activity_j，其中Activity_i∈Flow，Activity_j∈Flow，i∈[1,n]，j∈[1,n]，并且i≠j，n為該大型活動(dòng)具體流程中的環(huán)節(jié)數(shù)量，Activity_i和Activity_j中存在人員的時(shí)間分配沖突，即如果：

成立，則Activity_i和Activity_j存在時(shí)間分配沖突，其中，Activity_i^Human表示環(huán)節(jié)Activity_i涉及的人員Human_i，Activity_j^Human表示環(huán)節(jié)Activity_j涉及的人員Human_j，Activity_i^Time表示環(huán)節(jié)Activity_i涉及的時(shí)間周期Time_i，Activity_j^Time表示環(huán)節(jié)Activity_j涉及的時(shí)間周期Time_j；

步驟5所述空間沖突檢測(cè)規(guī)則為：

判斷大型活動(dòng)的具體流程Flow中所有Activity_i與Activity_j， 其中i∈[1,n]，j∈[1,n]，并且i≠j，n為該大型活動(dòng)具體流程中的環(huán)節(jié)數(shù)量， 中規(guī)劃分配的時(shí)間Time存在交集的同時(shí)，規(guī)劃分配的空間Space是否有交集；

如果大型活動(dòng)的具體流程Flow中Activity_i和Activity_j，其中Activity_i∈Flow，Activity_j∈Flow，i∈[1,n]，j∈[1,n]，并且i≠j，n為該大型活動(dòng)具體流程中的環(huán)節(jié)數(shù)量，Activity_i和Activity_j中的時(shí)間和空間同時(shí)存在交集，則這兩個(gè)或者多個(gè)環(huán)節(jié)會(huì)存在空間分配上的沖突；即如果：

成立，則Activity_i和Activity_j存在空間分配沖突，其中，Activity_i^Time表示環(huán)節(jié)Activity_i涉及的時(shí)間周期Time_i，Activity_j^Time表示環(huán)節(jié)Activity_j涉及的時(shí)間周期Time_j，Activity_i^Space表示環(huán)節(jié)Activity_i涉及的空間Space_i，Activity_j^Space表示環(huán)節(jié)Activity_j涉及的空間Space_j；

步驟5所述屬性沖突檢測(cè)規(guī)則為利用對(duì)象的數(shù)據(jù)屬性來(lái)判斷活動(dòng)安排中是否存在沖突，具體方法為：

判斷觀眾數(shù)量是否大于場(chǎng)館能容納的最大人數(shù)；

如果觀眾數(shù)量大于場(chǎng)館能容納的最大人數(shù)，則存在屬性沖突；

具體為，Audience_count即表示觀眾類的人數(shù)，Venues_{maximumOccupancy}即表示場(chǎng)館Venues最多能夠容納觀眾的數(shù)量，

即如果Audience_{countOfAudience}Venues_{maximumOccupancy}成立，則存在屬性沖突；

判斷志愿者數(shù)量是否大于需要安排志愿者的控制點(diǎn)數(shù)量；

如果志愿者數(shù)量小于需要安排志愿者的控制點(diǎn)數(shù)量，則存在屬性沖突；

具體為，Volunteer_count即表示志愿者類的人數(shù)，Spot_count即表示控制點(diǎn)類的數(shù)量，即如果Volunteer_{countOfVolunteer}Spot_countOfSpots成立，則存在屬性沖突。