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