沖突檢測
- 低空環(huán)境下基于YOLO的航空器沖突檢測分析與研究
LO的航空器沖突檢測分析與研究為題，綜合了近年來關(guān)于該領(lǐng)域的研究成果，深入探討了基于YOLO的目標(biāo)檢測方法在航空器沖突檢測中的應(yīng)用潛力對于防相撞技術(shù)的研究。關(guān)鍵詞 航空器；沖突檢測；YOLO；防相撞中圖分類號 V328文獻(xiàn)標(biāo)識碼 A文章編號 2096-8949（2024）08-0015-030 引言在全球航空交通日益發(fā)展的今天，航空器沖突的安全隱患日益顯現(xiàn)，對航空業(yè)的安全性和效率構(gòu)成了重大挑戰(zhàn)。航空器沖突不僅可能導(dǎo)致嚴(yán)重的事故風(fēng)險，還會對航班的正常運營造成
交通科技與管理 2024年8期2024-06-14
- 基于數(shù)字孿生技術(shù)的變電站巡檢路徑沖突檢測研究
于巡檢路徑的沖突檢測可以有效提升巡檢的效率，因此，一些學(xué)者針對變電站巡檢路徑規(guī)劃進(jìn)行了研究。文獻(xiàn)[1]提出面向變電站機器人巡檢路線規(guī)劃中的計算研究，依據(jù)離散數(shù)學(xué)原理中的哈密頓回路結(jié)合路徑常規(guī)計算，研究了一種全局巡檢方法，但該方法在極端情況下無法運作，不能完成路徑規(guī)劃。文獻(xiàn)[2]分析了特高壓變電站巡檢機器人路徑規(guī)劃改進(jìn)的蟻群計算，將蟻群計算和人工勢場計算融合，大大提高了蟻群計算的搜索能力，構(gòu)建仿真環(huán)境完成路徑規(guī)劃。但該方法過度依賴智能機器人，人工無法操作。該
電子設(shè)計工程 2024年9期2024-05-06
- 基于邏輯門的新型多主訪問RS485總線方案*
爭機制合稱為沖突檢測機制。1.2 多主訪問RS485總線設(shè)計方案工程技術(shù)方案的設(shè)計除了解決功能性要求外，還需要考慮軟硬件資源配置的問題。本文針對偵聽總線空閑機制和并發(fā)沖突節(jié)點競爭機制的關(guān)鍵問題，在只添加少量硬件資源，不占用軟件定時器資源的條件下，提出了可靠性高的沖突檢測硬件電路，再配合特定的發(fā)送數(shù)據(jù)格式，實現(xiàn)可支持多主訪問的RS-485總線通信方式。2 多主訪問RS485硬件電路設(shè)計2.1 RS-485接口介紹常用485接口芯片的接口如圖1所示。該芯片可以
機電工程技術(shù) 2023年11期2023-12-13
- 車路協(xié)同無信號交叉口的矩形沖突檢測及消解
無信號交叉口沖突檢測與消解算法受到廣泛關(guān)注，現(xiàn)有研究以基于軌跡優(yōu)化的車輛控制算法和基于預(yù)留技術(shù)的車輛控制算法為主。前者通過車輛的速度、位置等確定車輛到達(dá)交叉點的最優(yōu)行駛軌跡，從而避免車輛發(fā)生碰撞；后者則是依據(jù)實時交通狀況對交叉口中沖突點的通行時空資源進(jìn)行合理分配，最終減少車輛在交叉口的等待時間。在基于軌跡優(yōu)化算法中，KHAYATIAN等［7］提出了一種時空感知的網(wǎng)聯(lián)自動駕駛車輛（Connected and Automated Vehicles，CAVs）交
汽車工程學(xué)報 2023年6期2023-12-08
- 面向高沖突事務(wù)處理的架構(gòu)設(shè)計和優(yōu)化
算節(jié)點,導(dǎo)致沖突檢測的鏈路過長,從而造成更差的性能.在單機數(shù)據(jù)庫中,已經(jīng)有很多的方法嘗試解決高沖突的問題.對于樂觀的事務(wù)處理來說,MOCC[12]針對熱點鍵值采用預(yù)先加鎖的方式避免一些不必要的回滾,為了解決加鎖時可能導(dǎo)致的死鎖問題,使用了一種非2PL 的加鎖方式來按照鍵值大小獲取鎖,不符合加鎖順序的鎖就釋放掉.對于悲觀的事務(wù)處理,Bamboo[13]通過提前釋放鎖來縮短持有鎖的時間,為了解決讀取臟數(shù)據(jù)可能會導(dǎo)致的級聯(lián)回滾問題,Bamboo 記錄了讀臟數(shù)據(jù)時
華東師范大學(xué)學(xué)報（自然科學(xué)版） 2023年6期2023-11-29
- 基于標(biāo)簽的數(shù)據(jù)流轉(zhuǎn)控制策略冗余與沖突檢測方法
制策略冗余與沖突檢測方法謝絨娜1，范曉楠2，李蘇浙2，黃宇欣2，史國振1（1. 北京電子科技學(xué)院密碼科學(xué)與技術(shù)系，北京 100070；2. 北京電子科技學(xué)院網(wǎng)絡(luò)空間安全系，北京 100070）基于標(biāo)簽的數(shù)據(jù)流轉(zhuǎn)控制機制通過主客體標(biāo)簽實現(xiàn)數(shù)據(jù)流轉(zhuǎn)控制，具有輕量級、延伸控制的優(yōu)勢，引起了廣泛關(guān)注。數(shù)據(jù)流轉(zhuǎn)時，標(biāo)簽變更不可避免，而在標(biāo)簽變更時，新標(biāo)簽與已有標(biāo)簽難免存在冗余或者沖突。如何對標(biāo)簽進(jìn)行冗余與沖突檢測是基于標(biāo)簽的數(shù)據(jù)流轉(zhuǎn)控制中急需解決的問題。針對上述問題
網(wǎng)絡(luò)與信息安全學(xué)報 2023年5期2023-11-28
- 基于智能圖版的金義東施工沖突檢測模型的研究與實現(xiàn)
計劃及實施的沖突檢測模型，確保施工安全并有效提升施工組織效率。2 金義東市域軌道交通施工沖突檢測模型2.1 定義施工管理資源市域軌道交通施工管理資源一般集中在以下幾個方面：施工時間、線路占用、列車運行、供電條件、防護(hù)措施、施工配合。通過對施工調(diào)度管理涉及的所有管理元素進(jìn)行整理和分析，從管理主體、人員、時間等方面抽象出施工管理資源并應(yīng)用到建模中。其中，管理主體包含施工涉及的空間及對象，通過定義可被加載沖突規(guī)則和運算方法的空間對象，形成施工管理資源，具體包括：
電子技術(shù)與軟件工程 2023年6期2023-05-30
- 面向沖突檢測的資源規(guī)劃圖譜構(gòu)建方法
理，直接影響沖突檢測策略的可行性與執(zhí)行效率，因此，需要研究一種能夠打破領(lǐng)域隔閡的信息管理方法，為沖突檢測提供更全面、更高效的資源信息支撐。知識圖譜是一種通過實體、關(guān)系、屬性及屬性值擴(kuò)展本體知識的語義網(wǎng)絡(luò)［4］，專注于破除實體界限，將各實體連接形成“網(wǎng)”，以網(wǎng)狀結(jié)構(gòu)展現(xiàn)實體間關(guān)聯(lián)［5］。基于Overview Detials 的圖譜可視化方法有助于篩選知識、探索知識關(guān)聯(lián)，并進(jìn)一步展現(xiàn)知識層次體系［6］。知識圖譜在知識總結(jié)、知識理解、知識推理、知識演化等方面有強
火力與指揮控制 2023年3期2023-05-19
- 一種針對物聯(lián)網(wǎng)智能系統(tǒng)的規(guī)則沖突檢測方法
，使得已有的沖突檢測方法不一定能檢測到這2 種規(guī)則沖突，從而出現(xiàn)規(guī)則沖突漏檢的問題.針對物聯(lián)網(wǎng)系統(tǒng)中存在的規(guī)則沖突的問題，一些學(xué)者對此展開研究.Shehara 等人[5]提出一種需求交互分類法，用于對軟件系統(tǒng)中的需求交互進(jìn)行分類和識別.文獻(xiàn)[5]提出的分類法是一個4 層金字塔的形式，在第1 層定義6 個主要交互類別，在第2 層定義17 個交互子類別，在第3 層定義29 個交互類型，在第4 層定義29 個交互場景，每個交互場景都有一個相應(yīng)的交互檢測指南來描述
計算機研究與發(fā)展 2023年3期2023-03-27
- 推理與偏差：從傳統(tǒng)邏輯到邏輯直覺的推進(jìn)
：一種是松懈沖突檢測，代表模型是“默認(rèn)干預(yù)”（Default-Interventionist，簡稱DI）模型（Evans，2011）。該模型的關(guān)鍵思想是，當(dāng)人們面臨一個推理問題時，他們通常會依賴啟發(fā)式直覺來生成答案，這是默認(rèn)的系統(tǒng)。如果有需要，人們會激活分析性思維來干預(yù)和糾正啟發(fā)式的輸出，但是分析式的干預(yù)只有在啟發(fā)式參與之后才會發(fā)生，而且這個過程是可選的，受到認(rèn)知資源和動機因素的影響。由于分析式思維的運轉(zhuǎn)是費力且困難的，因此，推理者通常不會啟用分析式思維，
應(yīng)用心理學(xué) 2023年5期2023-03-26
- 基于沖突檢測的通信數(shù)據(jù)多路徑自適應(yīng)存儲系統(tǒng)＊
此，本文利用沖突檢測對通信數(shù)據(jù)的特征進(jìn)行分析，并以此對數(shù)據(jù)結(jié)構(gòu)進(jìn)行分配，實現(xiàn)通信數(shù)據(jù)的遷移，最終獲得檢測條件和響應(yīng)時間。在此基礎(chǔ)上完成存儲系統(tǒng)的構(gòu)建，以存儲卡和上位機完成數(shù)據(jù)的過濾、解封裝和重組以及存儲，構(gòu)建穩(wěn)定的數(shù)據(jù)存儲環(huán)境。2 基于沖突檢測的通信數(shù)據(jù)結(jié)構(gòu)分析2.1 通信數(shù)據(jù)結(jié)構(gòu)沖突檢測分析金字塔模型和奇異熵的通信數(shù)據(jù)機制，提取通信數(shù)據(jù)特征點，觀察單位時間內(nèi)通信數(shù)據(jù)結(jié)構(gòu)特征值的變化趨勢，計算其平均值和梯度值，進(jìn)而對通信數(shù)據(jù)進(jìn)行沖突檢測，詳細(xì)步驟如下所示：
自動化技術(shù)與應(yīng)用 2022年10期2022-11-28
- 多視圖軍事需求模型要素關(guān)系沖突檢測研究
。目前，對于沖突檢測方法主要有以下四種：1)形式化推理的方式，將設(shè)計轉(zhuǎn)化成邏輯描述，并刻畫其對象屬性，從而完成設(shè)計沖突檢測的技術(shù)[6]，其難點在于設(shè)計轉(zhuǎn)化為邏輯描述及推理機的構(gòu)建；2)狀態(tài)轉(zhuǎn)換作為設(shè)計建模原則，利用狀態(tài)模型檢驗，將設(shè)計轉(zhuǎn)化為狀態(tài)轉(zhuǎn)換，通過檢測狀態(tài)，判斷設(shè)計沖突問題[7]，其難點在于設(shè)計無遺漏、客觀地轉(zhuǎn)換為狀態(tài)轉(zhuǎn)換；3)目標(biāo)作為設(shè)計建模原則，利用目標(biāo)語義及其啟發(fā)式規(guī)則，進(jìn)行設(shè)計沖突檢測[8-10]，其難點在于目標(biāo)語義和啟發(fā)式規(guī)則的構(gòu)建及語義、
中國電子科學(xué)研究院學(xué)報 2022年3期2022-07-13
- 跑道侵入與沖突檢測的共形幾何代數(shù)描述
。跑道侵入與沖突檢測成為空中交通管理的重要環(huán)節(jié)。目前，跑道侵入與沖突檢測算法均基于歐氏空間研究。沈笑云等利用廣播式自動相關(guān)監(jiān)視(Automatic Dependent Surveillance-Broadcast, ADS-B)提供的實時位置數(shù)據(jù)和地理信息系統(tǒng)(Geographic Information System, GIS)，采用射線法及計算歐氏距離判斷的方式實現(xiàn)了實時跑道沖突檢測與告警功能。該方法在用射線法判斷飛行器和跑道保護(hù)區(qū)(Runway Pr
航空學(xué)報 2022年5期2022-07-04
- 基于剖分網(wǎng)格的空域沖突檢測方法*
之增大?？沼?span id="oseyiwa" class="hl">沖突檢測功能雖然在空管系統(tǒng)中發(fā)揮著重要作用，但其性能卻有待提升。對于空域沖突檢測的研究開始于20世紀(jì)40年代～50年代，國內(nèi)外學(xué)者提出了多種相關(guān)模型和算法，目前使用最廣泛的是幾何浮點計算，即通過每個空域使用計劃所確定空域的邊進(jìn)行交叉判定[1～6]，該方法雖然可以準(zhǔn)確計算得到空域沖突及其范圍，但對于大規(guī)模的沖突檢測存在著計算量大、算法復(fù)雜度高、計算時間長、求解效率低下等問題。本文基于剖分網(wǎng)格對需要進(jìn)行檢測的空域進(jìn)行網(wǎng)格化表征，使用含有空域網(wǎng)格表征
艦船電子工程 2022年4期2022-05-11
- 基于OpenFlow的軟件定義網(wǎng)絡(luò)流規(guī)則沖突檢測系統(tǒng)
此，亟須一種沖突檢測系統(tǒng)來對SDN 中的流規(guī)則進(jìn)行檢測。為解決上述問題，本文提出一種SDN 流規(guī)則沖突檢測系統(tǒng)，該系統(tǒng)將對應(yīng)用平面生成的待下發(fā)流規(guī)則進(jìn)行實時沖突檢測，并根據(jù)沖突檢測結(jié)果給出沖突消解策略。1 相關(guān)工作為解決SDN 中的流規(guī)則沖突問題，文獻(xiàn)［6］在控制平面和轉(zhuǎn)發(fā)平面之間提出一個新的邏輯層VeriFlow。通過將具有相同轉(zhuǎn)發(fā)操作的數(shù)據(jù)包劃分為等價類并構(gòu)建轉(zhuǎn)發(fā)圖，VeriFlow 可在插入、修改或刪除流規(guī)則時動態(tài)檢測網(wǎng)絡(luò)中是否存在轉(zhuǎn)發(fā)環(huán)和網(wǎng)絡(luò)的可達(dá)
計算機應(yīng)用 2022年2期2022-03-01
- 空間網(wǎng)格體系下基于GJK的空域沖突檢測算法
與民航航空器沖突檢測存在顯著的差異。例如地空導(dǎo)彈和殲擊機的飛行速度和機動性能要比民航飛機強得多，導(dǎo)致航向諸元變化極快，飛行狀態(tài)及位置極難預(yù)測；同時，現(xiàn)代戰(zhàn)爭的高烈度導(dǎo)致成千上萬件武器裝備在同一時間單元、有限的戰(zhàn)場空域內(nèi)協(xié)同作戰(zhàn)，故無法使用現(xiàn)有的民航飛機之間的飛行沖突檢測方法對其進(jìn)行一一檢測。因此，可行的做法是諸軍兵種向空域管理部門申請所需空域。這些申請的空域通常會發(fā)生相互交織，空域沖突檢測即檢測不同空域之間的間隔是否滿足安全間隔規(guī)定，通過安全間隔將各類型飛
西華大學(xué)學(xué)報（自然科學(xué)版） 2022年1期2022-01-24
- 基于決策樹的安全策略沖突檢測
，對策略進(jìn)行沖突檢測來減少這些情況是至關(guān)重要的。由于分布式系統(tǒng)具有種類繁多的安全設(shè)備和結(jié)構(gòu)復(fù)雜的網(wǎng)絡(luò)，難以實現(xiàn)人工方式對策略沖突進(jìn)行檢測。目前網(wǎng)絡(luò)管理領(lǐng)域中關(guān)于策略的重要研究方向是找到一種方法可以準(zhǔn)確快速檢測策略沖突。2 相關(guān)工作近年來在安全策略的沖突檢測方面，國內(nèi)外做了許多研究，針對策略沖突檢測提出了不同的方法，文獻(xiàn)［3］提出了一種基于有限狀態(tài)傳感器策略的碰撞檢測方法，該方法將事件轉(zhuǎn)移函數(shù)和自適應(yīng)子集添加到有限自動機（Finite State Trans
艦船電子工程 2021年5期2021-06-04
- 智能家居規(guī)則沖突檢測系統(tǒng)實現(xiàn)與驗證
并設(shè)計了規(guī)則沖突檢測的方法，最后使用Java語言開發(fā)了圖形界面的智能家居規(guī)則沖突檢測系統(tǒng)，并通過實例驗證了沖突檢測系統(tǒng)的可行性。關(guān)鍵詞：智能家居;沖突檢測;沖突驗證中圖分類號：G642? ? ? ? 文獻(xiàn)標(biāo)識碼：A文章編號：1009-3044（2021）03-0188-021智能家居本體構(gòu)建作為整個智能家居系統(tǒng)實現(xiàn)的基礎(chǔ)，首先要對場景中的本體進(jìn)行定義。本文在構(gòu)建本體時主要使用了四種OWL實體，分別為：類（Classes）、個體（Individuals）、對
電腦知識與技術(shù) 2021年3期2021-03-15
- 一種基于智能家居的規(guī)則沖突避免機制
;規(guī)則沖突;沖突檢測中圖分類號：G642? ? ? ? 文獻(xiàn)標(biāo)識碼：A文章編號：1009-3044（2021）01-0199-031規(guī)則系統(tǒng)在智能家居系統(tǒng)中，規(guī)則系統(tǒng)是一個核心模塊，用戶是通過制定規(guī)則來享受系統(tǒng)帶來的便利，對于系統(tǒng)中規(guī)則的存儲，規(guī)則的分解、匹配，規(guī)則間沖突的避免和檢測以及規(guī)則的執(zhí)行都是通過規(guī)則系統(tǒng)來完成的。規(guī)則系統(tǒng)在本文提及的智能家居結(jié)構(gòu)中位于業(yè)務(wù)層，承上啟下，發(fā)揮著非常重要的作用。規(guī)則系統(tǒng)包括規(guī)則存儲模塊，規(guī)則引擎模塊和沖突檢測模塊三個部
電腦知識與技術(shù) 2021年1期2021-03-15
- 多規(guī)沖突協(xié)調(diào)專家系統(tǒng)設(shè)計與實現(xiàn)
；（2）多規(guī)沖突檢測規(guī)則、協(xié)同規(guī)則以及管理機制的制定；（3）管控區(qū)多個規(guī)劃間的沖突檢測；（4）建立通用的多規(guī)規(guī)則模板，實現(xiàn)矛盾協(xié)調(diào)，從而提高工作效率。1.2 功能需求系統(tǒng)面向多規(guī)沖突協(xié)調(diào)人員，提供以各類規(guī)劃沖突檢測為核心的技術(shù)支撐，集多規(guī)信息的統(tǒng)一匯集、沖突融合為一體。針對各個規(guī)劃成果之間存在的矛盾，用戶可通過本系統(tǒng)進(jìn)行數(shù)據(jù)質(zhì)檢、沖突檢測、沖突協(xié)調(diào)以及協(xié)調(diào)模擬推演，能夠有力輔助規(guī)劃編制，解決多規(guī)在發(fā)展目標(biāo)及空間規(guī)模、空間結(jié)構(gòu)與分區(qū)邊界、管控要求與開發(fā)時序等
經(jīng)緯天地 2021年6期2021-02-15
- 下期要目
路區(qū)與終端區(qū)沖突檢測面向網(wǎng)絡(luò)火力控制的通信網(wǎng)鏈路層協(xié)議研究基于組合非線性反饋的機器人魯棒控制方法基于現(xiàn)代控制理論的聯(lián)合作戰(zhàn)指揮控制互耦條件下柱面共形陣列多參數(shù)聯(lián)合估計基于競爭失效建模的導(dǎo)彈貯存壽命評估方法偽芯片防護(hù)研究進(jìn)展及其挑戰(zhàn)無人機偵察信息解碼系統(tǒng)的設(shè)計任務(wù)期間多層級不完全修復(fù)件的備件配置優(yōu)化一種用于戰(zhàn)術(shù)通信網(wǎng)絡(luò)仿真的通信業(yè)務(wù)量模型不同起降方式的艦載機作戰(zhàn)能力對比分析智能武器站發(fā)展現(xiàn)狀與關(guān)鍵技術(shù)分析侵爆彈對框架類建筑物毀傷效果評估研究分布式殺傷在編隊反
火力與指揮控制 2020年4期2020-11-28
- 民航飛行計劃沖突檢測技術(shù)研究
民航飛行計劃沖突檢測的技術(shù)研究，主要研究了飛行計劃穿越限制飛行區(qū)域檢測方法及飛行計劃間沖突檢測方法。通過進(jìn)行預(yù)處理沖突檢測，排除了大量不具有沖突可能性對象，減少了沖突檢測處理計算量，節(jié)約了處理時間。關(guān)鍵詞：飛行計劃;沖突檢測;區(qū)域沖突檢測中圖分類號：TP319 文獻(xiàn)標(biāo)識碼：A限制飛行區(qū)域是指依據(jù)空域管理需要預(yù)先劃設(shè)空間區(qū)域，包括禁飛區(qū)、限制區(qū)、交戰(zhàn)區(qū)等。一般情況下，空中航空器不應(yīng)飛越該類區(qū)域，以避免不必要的誤傷。限制飛行區(qū)域是一個立體三維空間區(qū)域，在某個高
海峽科技與產(chǎn)業(yè) 2020年5期2020-08-04
- 高校課表編排之經(jīng)驗淺談
師生利益 沖突檢測中圖分類號：G642文獻(xiàn)標(biāo)識碼：A在高校中每個學(xué)期都需編排出一版學(xué)生老師都滿意并且符合教學(xué)規(guī)律的課表可謂不容易。以本校秋季單學(xué)期為例，需要編排課表的上課班級662個自然班，共計學(xué)生人數(shù)18600多名，3100多條教學(xué)任務(wù)，上課教師1200余名，分為兩個校區(qū)，各種教室數(shù)量280余間，教室類型有多媒體教室、普通教室、智慧教室、聽力教室、計算機房、各種實驗室等。目前高校編排課表都借助于教務(wù)系統(tǒng)，基本分為選課學(xué)分制和學(xué)年學(xué)分制，我校目前還是學(xué)年
科教導(dǎo)刊·電子版 2020年7期2020-06-15
- 基于屬性輕量級可重構(gòu)的訪問控制策略
制策略冗余與沖突檢測難度增加，訪問控制策略評估的效率急劇下降。另一方面，在計算資源、存儲資源和能耗受限的設(shè)備中，訪問控制策略的長度、數(shù)量和復(fù)雜度都受到很大限制。如何生成輕量級、不存在冗余和沖突的訪問控制策略是復(fù)雜網(wǎng)絡(luò)環(huán)境中訪問控制策略生成面臨的挑戰(zhàn)。在訪問控制策略語言方面，研究人員先后提出了Ponder、安全策略語言（SPL,security policy language）、可擴(kuò)展的訪問控制標(biāo)記語言（XACML,extensible access con
通信學(xué)報 2020年2期2020-03-05
- 基于沖突檢測的高吞吐NVM存儲系統(tǒng)
上設(shè)計了基于沖突檢測的高吞吐NVM存儲系統(tǒng)(HTPM).并在開源的NVM存儲設(shè)備模擬器上實現(xiàn)HTPM的原型，使用Filebench和Fio等通用測試工具對HTPM的吞吐率和IO性能進(jìn)行測試與分析，驗證HTPM的有效性.本文的主要貢獻(xiàn)如下：1) 將存儲系統(tǒng)訪問請求管理功能從文件系統(tǒng)遷移到NVM存儲設(shè)備中，能利用NVM存儲設(shè)備支持字節(jié)訪問和支持多通道讀寫等特性，縮小執(zhí)行不同訪問請求時需要互斥的數(shù)據(jù)塊粒度，提高訪問請求的并發(fā)執(zhí)行能力.2) 使用基于存儲設(shè)備的沖突
計算機研究與發(fā)展 2020年2期2020-02-19
- 基于Hough變換的大數(shù)據(jù)特征集成沖突檢測建模研究
數(shù)據(jù)特征集成沖突檢測的結(jié)果也可以作為理論依據(jù)，從而提出具有針對性的沖突處理方案，實現(xiàn)數(shù)據(jù)沖突的消除.現(xiàn)階段已經(jīng)存在的沖突檢測方法包括：基于空間矢量的數(shù)據(jù)沖突檢測方法、基于編碼規(guī)則的數(shù)據(jù)沖突檢測方法以及基于函數(shù)依賴的數(shù)據(jù)沖突檢測方法等.其中空間矢量方法下的數(shù)據(jù)沖突檢測主要針對數(shù)據(jù)沖突中的幾何沖突進(jìn)行檢測，而基于編碼規(guī)則和函數(shù)依賴的數(shù)據(jù)沖突檢測方法僅僅對于屬性沖突具有良好的檢測效果.經(jīng)過長時間的研究發(fā)現(xiàn)，傳統(tǒng)檢測方法在應(yīng)用過程中具有較大的局限性，且存在檢測周期
太原師范學(xué)院學(xué)報(自然科學(xué)版) 2019年3期2019-10-15
- 土地覆被與“兩規(guī)合一”沖突檢測的實證研究
的用地類型的沖突檢測規(guī)則，采用地理信息技術(shù)進(jìn)行數(shù)據(jù)空間疊加和分類統(tǒng)計，得到各種沖突檢測結(jié)果。在分析沖突原因時發(fā)現(xiàn)，必須在空間規(guī)劃中高度重視不同規(guī)劃之間的銜接問題，充分考慮不同發(fā)展訴求與實際保護(hù)控制之間的矛盾，為規(guī)劃體系合一、指導(dǎo)思想合一和管理體制合一提供技術(shù)手段和實現(xiàn)路徑，最終完成“一張藍(lán)圖”。關(guān)鍵詞：沖突檢測;土地覆被;土地利用;土地規(guī)劃;城市規(guī)劃中圖分類號：F301.2? ? ? ? ?文獻(xiàn)標(biāo)識碼：A文章編號：0439-8114（2019）14-014
湖北農(nóng)業(yè)科學(xué) 2019年14期2019-09-12
- 施工調(diào)度管理系統(tǒng)在貴陽地鐵施工管理中的應(yīng)用
;調(diào)度命令;沖突檢測1.引言貴陽地鐵1號線在運營籌備階段即實行了信息化系統(tǒng)籌備建設(shè)，施工調(diào)度管理系統(tǒng)也在籌備項目中。隨著貴陽地鐵建設(shè)的推進(jìn)，施工調(diào)度管理各崗位人員的到位，各項施工管理類規(guī)章制度的完善，施工調(diào)度管理系統(tǒng)各項功能也伴隨著運營各項籌備工作不斷完善。2017年11月施工調(diào)度管理系統(tǒng)正式投入使用，目前施工調(diào)度管理系統(tǒng)服務(wù)于施工管理各項生產(chǎn)工作中，運營情況穩(wěn)定。施工調(diào)度管理系統(tǒng)的使用，滿足了施工計劃管理、動火供電安全管理、施工計劃執(zhí)行管理的需要;實現(xiàn)了
科學(xué)導(dǎo)報·學(xué)術(shù) 2019年24期2019-09-10
- 基于軌道區(qū)段鎖閉時間的城軌列車運行圖沖突檢測研究
作業(yè)時分進(jìn)行沖突檢測變得尤為重要。國內(nèi)外學(xué)者對列車運行沖突檢測展開了廣泛的研究。文超等[2]對高速鐵路列車運行沖突機理、沖突類型及其判定方法進(jìn)行探討；史峰等[3]研究單線鐵路的沖突形式，并給出相應(yīng)的判斷準(zhǔn)則；王鵬玲等[4]提出基于Petri網(wǎng)列車群模型的運行沖突分析方法，可模擬列車在咽喉區(qū)的行為；孟令云等[5]基于軌道區(qū)段鎖閉時間理論，構(gòu)建了多趟列車晚點傳播鏈的方法；郭競文等[6]通過定義列車間不確定性沖突，從冗余時間、機車車輛(車底)和其他因素3個方面分
鐵道運輸與經(jīng)濟(jì) 2018年12期2018-12-19
- 一種防火墻安全策略沖突檢測方法*
部分安全策略沖突檢測與消解算法缺少靈活性、擴(kuò)展性等缺點[3-4]，本文首先定義了不同防火墻策略之間的關(guān)系和沖突類型，并在此基礎(chǔ)上給出了基于策略的沖突分類描述，最后給出了防火墻沖突檢測算法。1 相關(guān)工作近年來，國內(nèi)外學(xué)者對策略沖突檢測與消解作了大量研究：一是基于IETF策略核心信息模型的關(guān)于管理策略的沖突檢測，主要代表為美國IBM公司研究員Dinesh Verma提出的多維空間思想和意大利都靈大學(xué)提出的代數(shù)方法；二是關(guān)于安全策略的沖突檢測，主要有澳大利亞Qu
通信技術(shù) 2018年6期2018-07-09
- 基于MySQL組復(fù)制技術(shù)數(shù)據(jù)備份策略實現(xiàn)
能包括：處理沖突檢測、接收并傳播事務(wù)到組內(nèi)去執(zhí)行。Group communication API是通信工具集的一種高級抽象，主要提供Paxos協(xié)議變種的核心實現(xiàn)，綁定了corosync的接口，該接口實際上是corosync到client API的一個隱式映射。2.MySQLGroup Replication原理MySQL組復(fù)制是一種可用于容錯系統(tǒng)的技術(shù)，它構(gòu)建在狀態(tài)機復(fù)制機制的基礎(chǔ)之上，并利用Paxos的原子廣播原理，實現(xiàn)多主機全更新的復(fù)制協(xié)議。復(fù)制組由多
電子世界 2018年6期2018-04-11
- 地鐵運營施工調(diào)度管理系統(tǒng)的應(yīng)用與研發(fā)
統(tǒng)；請銷點；沖突檢測；施工統(tǒng)計；運營日報中圖分類號：F23文獻(xiàn)標(biāo)識碼：Adoi：10.19311/j.cnki.16723198.2017.30.0461施工管理系統(tǒng)的主要業(yè)務(wù)流程分析地鐵運營施工管理系統(tǒng)的主要業(yè)務(wù)流程由施工計劃管理、請銷點管理、施工作業(yè)統(tǒng)計分析、調(diào)度命令、停送電操作、運營日報、外單位管理等幾大模塊組成。1.1施工計劃管理施工計劃管理是計劃編制、審批、發(fā)布、變更的管理平臺，主要包括提報施工計劃、審批施工計劃、匯總施工計劃、發(fā)布查詢施工行車通
現(xiàn)代商貿(mào)工業(yè) 2017年30期2018-01-22
- 基于XACML的策略沖突檢測與消解方法*
L安全策略的沖突檢測與消解已經(jīng)成為一個亟待解決的問題。本文從策略的描述語言XACML出發(fā)，分析了目前基于XACML的策略沖突檢測與沖突消解算法存在的不足?；谝延械牟呗?span id="ieecauy" class="hl">沖突檢測算法，提出了一系列改進(jìn)措施，包括建立規(guī)則索引和使用屬性值集合來統(tǒng)一描述XACML中靈活多變的目標(biāo)條件定義。對于沖突檢測的結(jié)果，本文提出了一種新的一次性策略沖突消解算法。該算法采用有向無環(huán)圖（directed acyclic graph，DAG）的拓?fù)渑判騺碛嬎阋?guī)則合并優(yōu)先級，將所有規(guī)
計算機與生活 2018年1期2018-01-16
- 基于深度學(xué)習(xí)的軟件定義網(wǎng)絡(luò)應(yīng)用策略沖突檢測方法
網(wǎng)絡(luò)應(yīng)用策略沖突檢測方法李傳煌1，程成1，袁小雍2，岑利杰1，王偉明1（1. 浙江工商大學(xué)信息與電子工程學(xué)院，浙江 杭州 310018；2. 美國佛羅里達(dá)大學(xué)大規(guī)模智能系統(tǒng)實驗室，美國 佛羅里達(dá)州 蓋恩斯維爾 32611）在基于OpenFlow的軟件定義網(wǎng)絡(luò)（SDN）中，應(yīng)用被部署時，相應(yīng)的流表策略將被下發(fā)到OpenFlow交換機中，不同應(yīng)用的流表項之間如果產(chǎn)生沖突，將會影響交換機的實際轉(zhuǎn)發(fā)行為，進(jìn)而擾亂特定應(yīng)用的正確部署以及SDN的安全。隨著SDN規(guī)模的
電信科學(xué) 2017年11期2017-12-04
- 獨立學(xué)院補考安排沖突檢測系統(tǒng)的設(shè)計與實現(xiàn)
學(xué)院補考安排沖突檢測系統(tǒng)成為本學(xué)院教學(xué)管理建設(shè)的重要內(nèi)容之一。補考安排沖突檢測系統(tǒng)是學(xué)院教學(xué)管理系統(tǒng)的補充，該系統(tǒng)的主要功能是檢測單個學(xué)生補考安排的時間是否沖突，避免單個學(xué)生同一時間段考試多門的情況，同時在允許多門課同一時間段考試的情況下給出最少的時間段。關(guān)鍵詞 獨立學(xué)院 考試安排 沖突檢測中圖分類號：TP315 文獻(xiàn)標(biāo)識碼：A1前言獨立學(xué)院是2003年經(jīng)教育部規(guī)范后的公有民辦二級學(xué)院，是中國大陸現(xiàn)存的一種高等學(xué)校。獨立學(xué)院與普通本科高校相比，單從學(xué)生整體
科教導(dǎo)刊·電子版 2017年22期2017-09-20
- 一種解決防火墻規(guī)則沖突的混合型算法的研究?
77）防火墻沖突檢測算法是一種經(jīng)典的解決防火墻過濾規(guī)則間沖突的優(yōu)化算法，可有效地提高防火墻規(guī)則集的運行效率，減少規(guī)則間沖突的發(fā)生，從而節(jié)約大量的計算資源，保障網(wǎng)絡(luò)通信的正常進(jìn)行，但隨著數(shù)據(jù)規(guī)模和用戶數(shù)量的飛速增長，防火墻規(guī)則集也在日益擴(kuò)大，原有的沖突檢測算法已無法滿足當(dāng)前的網(wǎng)絡(luò)通信需求，必須加以改進(jìn)。論文提出了將默認(rèn)規(guī)則與沖突檢測算法相結(jié)合，在檢測之前先執(zhí)行預(yù)優(yōu)化的改進(jìn)策略，同時將默認(rèn)規(guī)則進(jìn)行解析處理，隨后將其與原有規(guī)則集相合并，大大提高了防火墻的匹配效率
計算機與數(shù)字工程 2017年7期2017-08-01
- 計算機應(yīng)用安全策略本體研究
本體；規(guī)則；沖突檢測隨著信息安全技術(shù)的發(fā)展，計算應(yīng)用安全授權(quán)策略和本體的研究取得了一定的進(jìn)展，但是在應(yīng)用安全方面的研究的成果比較少，我們對應(yīng)用安全策略的研究要從保護(hù)應(yīng)用數(shù)據(jù)的角度進(jìn)行研究。在計算機應(yīng)用安全領(lǐng)域中關(guān)于應(yīng)用安全授權(quán)問題，要結(jié)合本體方面的研究工作才可以得到很好的解決。隨著語義Web在應(yīng)用安全領(lǐng)域中的發(fā)展和應(yīng)用，在應(yīng)用安全領(lǐng)域中本體方法的研究受到高度的重視。1計算機應(yīng)用安全策略中的訪問控制研究訪問控制方法是計算機網(wǎng)絡(luò)內(nèi)部安全保護(hù)的一種機制，訪問控制
電腦知識與技術(shù) 2017年12期2017-07-29
- 計劃協(xié)同工作中的沖突檢測與消除算法研究
目協(xié)同工作的沖突檢測和消除模型，利用基于供需時間的計劃協(xié)同沖突檢測算法實現(xiàn)跨企業(yè)協(xié)同項目中的資源沖突檢測，采用基于啟發(fā)式規(guī)則的計劃沖突消除算法消除沖突?；谘芯拷Y(jié)果設(shè)計、開發(fā)了項目計劃管理原型系統(tǒng)，以高鐵項目任務(wù)的管理為例進(jìn)行了驗證，表明了研究結(jié)果的有效性。關(guān)鍵詞：協(xié)同工作；沖突檢測；供需時間；啟發(fā)式規(guī)則中圖分類號：TP393.09 文獻(xiàn)標(biāo)識碼：A DOI：10.15913/j.cnki.kjycx.2017.08.008隨著越來越多的跨行業(yè)、跨地域的企業(yè)
科技與創(chuàng)新 2017年8期2017-06-07
- 基于GIS的多規(guī)合一信息平臺設(shè)計與實現(xiàn)
究解決了智能沖突檢測、智能選址分析、項目生成協(xié)同會商等關(guān)鍵技術(shù)。該研究成果已成功應(yīng)用于福州市連江縣多規(guī)合一信息平臺的建設(shè)。GIS；多規(guī)合一；沖突檢測；智能分析；協(xié)同會商1 引 言由于我國條塊分割管理體制和計劃經(jīng)濟(jì)的影響，各部門制定了各種規(guī)劃來引導(dǎo)各項事業(yè)的有序發(fā)展和緩解各項發(fā)展中產(chǎn)生的矛盾，如國民經(jīng)濟(jì)和社會發(fā)展總體規(guī)劃、城鄉(xiāng)規(guī)劃(簡稱“城規(guī)”)、土地利用總體規(guī)劃(簡稱“土規(guī)”)、環(huán)境保護(hù)規(guī)劃等[1，2]。但由于各部門行政職責(zé)、關(guān)注問題等差異性，導(dǎo)致了這些規(guī)
城市勘測 2017年1期2017-03-01
- 基于Excel VBA實現(xiàn)考試自動編排
；自動編排；沖突檢測1 引言在高等院校課程教學(xué)過程中，課程考試是教學(xué)過程的重要組成部分，不但直接檢驗學(xué)生的學(xué)習(xí)成效，而且可以從多方面反應(yīng)教學(xué)實施環(huán)節(jié)的實際效果?？陀^、真實的考試結(jié)果，既給學(xué)生提供一份課業(yè)成績單，也通過統(tǒng)計分析數(shù)據(jù)對教學(xué)管理、教學(xué)實施、教師能力、命題難度等各個環(huán)節(jié)提供教學(xué)反饋信息。在專業(yè)眾多、課程多元、人員管理結(jié)構(gòu)復(fù)雜的情況下，開發(fā)考試自動編排系統(tǒng)對提高教學(xué)管理工作的效率將發(fā)揮重要作用。由于各個高校課程體系、教學(xué)管理方式、人員管理模式、基礎(chǔ)數(shù)
中國管理信息化 2016年3期2016-07-18
- 分布式數(shù)據(jù)庫同步中間件系統(tǒng)的設(shè)計與研究
務(wù)管理模塊、沖突檢測模塊、通信模塊、事務(wù)執(zhí)行模塊完成事務(wù)的捕獲、分析以及對沖突事務(wù)的檢測和處理。實驗結(jié)果表明，由于沖突在本地得到檢測和處理，與兩階段協(xié)議（2PL）相比，基于中間件的數(shù)據(jù)庫同步系統(tǒng)降低了事務(wù)的響應(yīng)時間，減少了不必要的通信，提升了系統(tǒng)的性能。關(guān)鍵詞： 數(shù)據(jù)庫同步； 對等模式； 中間件； 沖突檢測中圖分類號： TN915?34； TP311.133.1 文獻(xiàn)標(biāo)識碼： A 文章編號： 1004?373X（2016）09?0031?06Abstrac
現(xiàn)代電子技術(shù) 2016年9期2016-05-14
- 面向過程的資源組合排斥沖突檢測方法
資源組合排斥沖突檢測方法孟慶豐 李海波(華僑大學(xué)計算機科學(xué)與技術(shù)學(xué)院 福建 廈門 361021)由于云制造環(huán)境下服務(wù)于業(yè)務(wù)過程的資源集中可能存在相互排斥的資源，在運行階段可能會產(chǎn)生資源沖突。針對這種情況，提出了面向業(yè)務(wù)過程的資源組合排斥沖突檢測方法。以工作流模型為基礎(chǔ)，提出資源服務(wù)鏈模型(RSCM)并分析在資源服務(wù)鏈模型中可能出現(xiàn)排斥沖突的情況；提出有效子圖的概念。最后基于資源服務(wù)鏈模型和有效子圖，提出面向過程的資源組合沖突檢測算法。實驗結(jié)果表明，該算法能
計算機應(yīng)用與軟件 2016年4期2016-05-09
- 艦載共架垂直發(fā)射導(dǎo)彈發(fā)射時間協(xié)調(diào)
彈道管道進(jìn)行沖突檢測,并根據(jù)距離裕度確定導(dǎo)彈發(fā)射間隔時間。仿真結(jié)果表明,得到的沖突檢測與消解的時間在100 ms級,滿足實戰(zhàn)要求。關(guān)鍵詞:艦空導(dǎo)彈;垂直發(fā)射;發(fā)射時間;沖突檢測;沖突消解收稿日期:2014-06-11作者簡介:賈正榮(1992-),男,碩士研究生,研究方向為艦載武器控制系統(tǒng)。E-mail:jzr451763650@sina.cn。中圖分類號:TJ761文獻(xiàn)標(biāo)識碼:ALaunchTimeCoordinationforShip-borneCom
彈道學(xué)報 2015年1期2016-01-06
- 食品標(biāo)簽沖突檢測的防碰撞控制
）?食品標(biāo)簽沖突檢測的防碰撞控制陳衛(wèi)軍，黃永燦 （安陽師范學(xué)院軟件學(xué)院，河南安陽455000）摘要：提出一種基于沖突檢測的食品安全標(biāo)簽防碰撞控制方法.對標(biāo)簽批量讀取，進(jìn)行數(shù)據(jù)的層次化融合，描述食品安全標(biāo)簽的沖突信號生成模型，分析食品安全追蹤標(biāo)簽沖突信號的超寬帶特征，實現(xiàn)對食品（食物）的種植、養(yǎng)殖、加工、包裝、儲藏、運輸、銷售、消費等活動的安全控制.通過食品安全標(biāo)簽射頻識別技術(shù)（RFID）進(jìn)行沖突分流控制，達(dá)到防碰撞控制的目的.仿真實驗表明：文中方法可加快防
華僑大學(xué)學(xué)報（自然科學(xué)版） 2015年4期2015-12-29
- 一種面向教學(xué)的排課沖突檢測算法
向教學(xué)的排課沖突檢測算法朱維軍1，王迤冉2(1.鄭州大學(xué) 信息工程學(xué)院，河南 鄭州 450001; 2.周口師范學(xué)院 計算機與科學(xué)技術(shù)學(xué)院，河南 周口 466001)摘要：排課算法可在大規(guī)?？臻g上對排課元素實施自動編排.然而，目前未見報道有關(guān)針對已排好的課表實施正確性檢測的通用全自動方法.為此，給出課表所需滿足約束條件的形式化描述；在此基礎(chǔ)上，分別給出3個子算法以檢測3種約束條件；順序調(diào)用這些子算法，即可得到一種面向教學(xué)實踐的排課沖突檢測算法.檢測實驗證實
河南教育學(xué)院學(xué)報（自然科學(xué)版） 2015年2期2015-12-15
- 基于FPGA的信號燈沖突檢測電路的設(shè)計與實現(xiàn)
GA的信號燈沖突檢測電路的設(shè)計與實現(xiàn)楊福來，孫旭飛，李 碩（福州大學(xué) 物理與信息工程學(xué)院，福建 福州 350108）采用軟件控制方式的道路交通信號機在死機時往往失去其綠沖突保護(hù)功能。根據(jù)“綠沖突矩陣”的檢測原理，本文提出一種道路交通信號控制機的信號沖突檢測方案，采用自頂向下的設(shè)計方法，通過FPGA實現(xiàn)系統(tǒng)的各個功能模塊。該系統(tǒng)可以獨立地檢測綠燈信號沖突這種道路交通的異常情況，并能立即做出處理。仿真及實際測試結(jié)果表明，該系統(tǒng)時序分配與程序設(shè)計合理，工作穩(wěn)定可
網(wǎng)絡(luò)安全與數(shù)據(jù)管理 2015年23期2015-07-24
- 基于GIS的“多規(guī)合一”輔助決策系統(tǒng)研究與應(yīng)用
;輔助決策;沖突檢測1 引 言2013年中央城鎮(zhèn)化工作會議提出,要建立統(tǒng)一的空間規(guī)劃體系、限定城市發(fā)展邊界、劃定城市生態(tài)紅線,“在縣市通過探索經(jīng)濟(jì)社會發(fā)展、城鄉(xiāng)、土地利用規(guī)劃的‘三規(guī)合一’或‘多規(guī)合一’,形成一個縣市一本規(guī)劃、一張藍(lán)圖[1],持之以恒加以落實”,“推動有條件地區(qū)的經(jīng)濟(jì)社會發(fā)展總體規(guī)劃、城市規(guī)劃、土地利用規(guī)劃等‘多規(guī)合一’”(《國家新型城鎮(zhèn)化規(guī)劃(2014-2020年)》)。2014年10月,寧夏回族自治區(qū)規(guī)劃管理委員會辦公室牽頭開展了覆蓋全
城市勘測 2015年6期2015-07-04
- 機坪安全監(jiān)視方法研究
戒區(qū)域并用于沖突檢測的方法，實現(xiàn)對機坪安全監(jiān)視。1 沖突警戒區(qū)劃設(shè)民航組織規(guī)定[2]，機坪上運行的航空器，必須滿足其運行時要求的安全凈距L，參見表1。因此，航空器停放在機坪時，對地面空間的占用受到其外形輪廓以及安全凈距的影響，基于航空器的外形輪廓，向飛機周邊外推一個距離L，形成一個新的區(qū)域，作為保護(hù)區(qū)，即機坪上停放的航空器的沖突警戒區(qū)，如圖1所示。圖1 機坪上停放航空器的沖突警戒區(qū)域考慮到航空器運動狀態(tài)的變化會導(dǎo)致航空器對空間的占用情況發(fā)生變化，在上述保護(hù)
現(xiàn)代計算機 2015年5期2015-05-24
- 電子對抗作戰(zhàn)行動方案時域沖突檢測方法研究*
行動方案時域沖突檢測方法研究*萬宜春 杜澤海(解放軍電子工程學(xué)院 合肥 230037)在界定了電子對抗作戰(zhàn)行動方案及其時域沖突檢測的概念后,提出了電子對抗作戰(zhàn)行動方案時域沖突的五種類型,給出了沖突檢測的基本方法和規(guī)則集的三類描述形式以及沖突檢測報告的模板形式,最后以掩護(hù)航空兵出航的電子對抗作戰(zhàn)行動方案為例子,驗證了時域沖突檢測方法的有效性。電子對抗; 作戰(zhàn)行動方案; 時域; 沖突檢測Class Number TN971 引言當(dāng)前,得益于軍事理論和計算機仿真
艦船電子工程 2015年10期2015-03-14
- 一種飛行沖突檢測系統(tǒng)的研究與設(shè)計
0)一種飛行沖突檢測系統(tǒng)的研究與設(shè)計Research and Design of the Flight Conflict Detection System(中國民航大學(xué)空中交通管理學(xué)院，天津300300)摘要：針對小型飛行器的飛行沖突問題，提出了一種飛行沖突預(yù)測的算法。結(jié)合該飛行沖突的預(yù)測算法，設(shè)計了一種基于GPS/IMU的飛行沖突檢測系統(tǒng)。該系統(tǒng)以STM32為核心處理單元，采用GPS/IMU作為飛行器的位置和姿態(tài)傳感器，接收其他飛行器的飛行位置信息、航向
自動化儀表 2015年7期2015-03-11
- 基于默認(rèn)規(guī)則及沖突檢測的防火墻規(guī)則優(yōu)化算法
于默認(rèn)規(guī)則及沖突檢測的防火墻規(guī)則優(yōu)化算法高飛，曹波，莊嚴(yán)(國網(wǎng)湖北省電力公司信息通信公司，湖北宜昌443000)摘要：防火墻過濾規(guī)則集的日益增大以及規(guī)則間存在的相互沖突嚴(yán)重影響了網(wǎng)絡(luò)的性能。對防火墻匹配優(yōu)化算法進(jìn)行研究和改進(jìn)，在使用統(tǒng)計分析方法提高了規(guī)則調(diào)整動態(tài)性的基礎(chǔ)上，結(jié)合規(guī)則間的沖突檢測進(jìn)行預(yù)優(yōu)化，同時提出將默認(rèn)規(guī)則分離出一部分進(jìn)行合并操作，將生成的新規(guī)則參與原規(guī)則集的次序調(diào)整。仿真結(jié)果證明該方法有效的降低了防火墻規(guī)則匹配時間，提高了防火墻性能。關(guān)鍵
安徽理工大學(xué)學(xué)報（自然科學(xué)版） 2015年4期2015-02-18
- 防火墻規(guī)則間的沖突檢測與消解技術(shù)的分析與探討
寫設(shè)計了規(guī)則沖突檢測算法程序；對防火墻規(guī)則間的泛化沖突，交互沖突的消解技術(shù)作了一定的分析討論，并給出了具體解決方案。關(guān)鍵詞：防火墻；網(wǎng)絡(luò)安全；規(guī)則；沖突檢測；沖突消解中圖分類號：TP393 文獻(xiàn)標(biāo)識碼：A 文章編號：1009-3044（2014）05-0913-04Analysis and Discussion on the Conflict Detection and Resolution Technique of Firewall RulesGONG
電腦知識與技術(shù) 2014年5期2014-07-13
- 柔性物體仿真的研究
以及簡要介紹沖突檢測與響應(yīng)。關(guān)鍵詞：柔性物體仿真；幾何模型；物理模型；沖突檢測中圖分類號：TP391.9 文獻(xiàn)標(biāo)識碼：A 文章編號：1009-3044（2014）07-1572-031 概述柔性物體仿真的技術(shù)通常可分為兩類：一是基于幾何模型法，二是基于物理模型法。而且各類技術(shù)還可相互結(jié)合。在幾何模型法中應(yīng)用最廣的的是自由變形技術(shù)。而基于物理技術(shù)的模型法是把柔性物體按照一定的規(guī)則進(jìn)行劃分，而后分析柔性物體之間以及內(nèi)部的受力情況，從而得出物體上點的位移情況，最
電腦知識與技術(shù) 2014年7期2014-04-23
- 空間數(shù)據(jù)動態(tài)更新的沖突自動檢測處理方法
間數(shù)據(jù)的空間沖突檢測與處理是當(dāng)前國內(nèi)外GIS的前沿課題[1-2]，由于空間沖突的類型多樣性、計算復(fù)雜性、語義相關(guān)性等造成其難以檢測與處理，尤其在空間數(shù)據(jù)更新中面臨很多難題[3-5]。國內(nèi)外一些學(xué)者對此作了大量的研究，并得出一些理論研究成果，包括基于自定義約束規(guī)則的空間沖突檢測與處理方法[6]，基于空間目標(biāo)時空特性的空間沖突確認(rèn)方法[7]，還有從自動制圖綜合出發(fā)的空間沖突檢測模型[8]等。這些方法都有各自的局限性，通用性不強，很難應(yīng)用于實際生產(chǎn)。本文針對空間
地理空間信息 2013年3期2013-02-19
- 下一代網(wǎng)絡(luò)業(yè)務(wù)沖突問題研究與解決方法
究主要集中在沖突檢測、沖突解決和沖突避免 3個方面［2，3］，其研究成果可大體上歸結(jié)為3類:軟件工程方法、形式化方法和在線技術(shù)。其中，軟件工程方法主要是通過構(gòu)造新的軟件體系結(jié)構(gòu)和改進(jìn)業(yè)務(wù)的設(shè)計來降低業(yè)務(wù)沖突發(fā)生的可能性。形式化方法一般應(yīng)用于檢測業(yè)務(wù)本身邏輯層的沖突問題。根據(jù)控制點所在位置的不同分為基于動態(tài)協(xié)商的在線技術(shù)和基于特征交互管理器的在線技術(shù)。此外，為了有效控制和處理下一代網(wǎng)絡(luò)中存在的業(yè)務(wù)沖突檢測問題，3GPP引入了一個新的網(wǎng)元——業(yè)務(wù)能力交互管理器
無線電通信技術(shù) 2012年2期2012-10-20
- 一種新的業(yè)務(wù)沖突檢測和解決方案
架構(gòu)下的業(yè)務(wù)沖突檢測與解決問題，3GPP在規(guī)范TS 23.218中，為IMS體系引入了業(yè)務(wù)能力交互管理器(Service Capability Interaction Manager，SCIM)來專門負(fù)責(zé)協(xié)調(diào)業(yè)務(wù)交互問題。之后，3GPP在TR 23.810中又引入了Service Broker功能實體?？傮w來說，Service Broker提供了一個可管理、可控制的手段讓多個業(yè)務(wù)能夠按照用戶預(yù)想的方式執(zhí)行，根據(jù)用戶業(yè)務(wù)的簽約情況，明確這些業(yè)務(wù)的觸發(fā)順序，并
無線電工程 2012年5期2012-10-18
- 基于擴(kuò)展UML圖化簡的過程模型沖突消解
則AD正確，沖突檢測結(jié)束；否則轉(zhuǎn)步驟（2）。（2）判斷AD中是否存在循環(huán)，若是或分支的循環(huán)結(jié)構(gòu)，則按規(guī)則⑥進(jìn)行轉(zhuǎn)換；若是與分支的循環(huán)結(jié)構(gòu)，則存在沖突，沖突檢測結(jié)束。（3）應(yīng)用規(guī)則②將AD中所有活動節(jié)點去除。若化簡結(jié)果為空，則AD是正確的，沖突檢測結(jié)束；否則轉(zhuǎn)步驟（4）。（4）在AD中依次應(yīng)用規(guī)則③～規(guī)則④，直到AD不能再化簡為止。若化簡結(jié)果為空，則AD是正確的，沖突檢測結(jié)束；否則轉(zhuǎn)步驟（5）。（5）在AD中依次應(yīng)用規(guī)則⑤，直到AD不能再化簡為止。（6）經(jīng)過
計算機工程與設(shè)計 2012年10期2012-02-09
- 一種本體協(xié)同沖突的檢測方法
建過程中協(xié)同沖突檢測劃分、檢測與消解方法.1 協(xié)同沖突劃分與檢測方法在農(nóng)業(yè)本體知識建構(gòu)系統(tǒng)中，本體知識建構(gòu)的基本單位是本體實體，包括概念、實例、關(guān)系、公理等，其粒度遠(yuǎn)小于物理文檔.為實現(xiàn)這些基本單位的操作，本體知識協(xié)同建構(gòu)系統(tǒng)中定義一些基本的操作命令 .通過這些操作可計算用戶對本體的編輯操作的影響范圍，并以此為基礎(chǔ)來劃分和檢測協(xié)同沖突.1.1 OntoCommand定義1 OntoCommand（OC）：這是一個3元組，記為oc＝〈Name，E，V〉.其中
華僑大學(xué)學(xué)報（自然科學(xué)版） 2011年6期2011-12-29
- 一種新的動態(tài)策略沖突檢測模型
消解。策略的沖突檢測和消解是策略研究的重要內(nèi)容之一。1 策略沖突檢測的相關(guān)研究E. Lupu等人在文獻(xiàn)[1]中將策略的沖突分為模態(tài)沖突(modality conflict)和應(yīng)用沖突(application conflict)兩類。Lupu等人分析指出，策略模態(tài)沖突的產(chǎn)生是由于策略的＜主體，客體，動作＞有重疊或者部分重疊而引起的，故而對模態(tài)沖突的檢測可以轉(zhuǎn)換為對＜主體，客體，動作＞三元組重疊關(guān)系的判斷。應(yīng)用沖突是指不能從策略描述中直接判斷、與應(yīng)用環(huán)境密切相
網(wǎng)絡(luò)安全技術(shù)與應(yīng)用 2011年3期2011-03-14