基于謂詞推理的沖突檢測(cè)算法
本文關(guān)鍵詞:基于謂詞推理的沖突檢測(cè)算法
更多相關(guān)文章: 基于策略的網(wǎng)絡(luò)管理 謂詞推理 沖突檢測(cè)
【摘要】:針對(duì)基于策略的網(wǎng)絡(luò)管理系統(tǒng)中,由于不同用戶的需求不同及系統(tǒng)的資源限度等原因,導(dǎo)致策略之間的沖突及系統(tǒng)功能無法正常發(fā)揮的問題,提出一種基于謂詞推理的沖突檢測(cè)算法.該算法通過謂詞表達(dá)策略的觸發(fā)條件和作用效果,并通過推理自動(dòng)化地獲得策略之間的沖突關(guān)系,與傳統(tǒng)方法相比具有較好的靈活性和可擴(kuò)展性.
【作者單位】: 合肥學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)系;
【關(guān)鍵詞】: 基于策略的網(wǎng)絡(luò)管理 謂詞推理 沖突檢測(cè)
【基金】:安徽省高校自然科學(xué)研究重點(diǎn)項(xiàng)目(批準(zhǔn)號(hào):KJ2014A212)
【分類號(hào)】:TP393.07
【正文快照】: 基于策略的網(wǎng)絡(luò)管理(policy-based network management,PBNM)是一種新型、自動(dòng)化的網(wǎng)絡(luò)管理技術(shù),相比于傳統(tǒng)的網(wǎng)絡(luò)管理方法,PBNM采用策略作為用戶管理網(wǎng)絡(luò)的方法,用戶通過提交正確格式的策略,即可自動(dòng)化地實(shí)現(xiàn)自己對(duì)網(wǎng)絡(luò)的管理目標(biāo),而不需要針對(duì)每臺(tái)網(wǎng)絡(luò)設(shè)備進(jìn)行配置,極大簡(jiǎn)化
【參考文獻(xiàn)】
中國(guó)期刊全文數(shù)據(jù)庫 前1條
1 陳曉蘇;林植;馮向東;;基于分層模型的網(wǎng)絡(luò)安全策略逐級(jí)求精算法[J];小型微型計(jì)算機(jī)系統(tǒng);2007年06期
【共引文獻(xiàn)】
中國(guó)期刊全文數(shù)據(jù)庫 前5條
1 楊敏;;計(jì)算機(jī)及其網(wǎng)絡(luò)對(duì)抗方法與發(fā)展分析[J];電子技術(shù)與軟件工程;2015年13期
2 汪靖;林植;靳焰;;海洋交通風(fēng)險(xiǎn)應(yīng)急決策系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];海洋通報(bào);2010年01期
3 肖道舉;杜歡;林植;陳曉蘇;;基于安全級(jí)的策略求精方法及決策機(jī)制[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期
4 倪俊;陳曉蘇;劉輝宇;李勁;;網(wǎng)絡(luò)安全策略求精一致性檢測(cè)和沖突消解機(jī)制的研究[J];計(jì)算機(jī)科學(xué);2011年02期
5 倪俊;陳曉蘇;吳金華;;基于域的策略網(wǎng)管中安全管理模型的研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2009年07期
中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫 前3條
1 林植;基于策略的訪問控制關(guān)鍵技術(shù)研究[D];華中科技大學(xué);2006年
2 吳金華;面向網(wǎng)絡(luò)安全管理的策略架構(gòu)及若干關(guān)鍵技術(shù)研究[D];華中科技大學(xué);2009年
3 魏昭;計(jì)算機(jī)網(wǎng)絡(luò)防御策略求精關(guān)鍵技術(shù)研究[D];北京航空航天大學(xué);2014年
中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前6條
1 關(guān)慧;軍事涉密網(wǎng)安全策略執(zhí)行風(fēng)險(xiǎn)度量研究[D];解放軍信息工程大學(xué);2011年
2 駱琴;基于策略的服務(wù)計(jì)算安全模型研究[D];山東師范大學(xué);2012年
3 余俊隆;基于策略的Web服務(wù)訪問控制的研究與應(yīng)用[D];武漢理工大學(xué);2009年
4 陳晨;面向多域合作的安全策略分析與復(fù)合研究[D];山東大學(xué);2009年
5 羅楊;網(wǎng)絡(luò)與應(yīng)用相融沖突檢測(cè)技術(shù)的研究與實(shí)現(xiàn)[D];北京航空航天大學(xué);2014年
6 楊海源;面向大數(shù)據(jù)的電力通信平臺(tái)設(shè)計(jì)與實(shí)現(xiàn)[D];吉林大學(xué);2014年
【相似文獻(xiàn)】
中國(guó)期刊全文數(shù)據(jù)庫 前10條
1 曹晶,孫元浩,龔震宇,俞建新,潘金貴;虛擬展覽館系統(tǒng)中沖突檢測(cè)的實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2003年16期
2 束林揚(yáng),姜建國(guó);織物仿真中的沖突檢測(cè)和處理[J];計(jì)算機(jī)仿真;2003年08期
3 汪大勇;金煒東;;協(xié)同設(shè)計(jì)中的并行沖突檢測(cè)算法[J];計(jì)算機(jī)應(yīng)用;2007年03期
4 賈彥博;孫立鐫;;協(xié)同設(shè)計(jì)的沖突檢測(cè)研究[J];哈爾濱理工大學(xué)學(xué)報(bào);2007年06期
5 李林;盧顯良;;一種快速的防火墻規(guī)則沖突檢測(cè)算法[J];計(jì)算機(jī)應(yīng)用研究;2008年01期
6 王曉賀;蔡國(guó)永;;基于描述邏輯的策略沖突檢測(cè)方法研究及實(shí)現(xiàn)[J];計(jì)算機(jī)工程與科學(xué);2008年06期
7 王哲;賀思德;;一種防火墻規(guī)則沖突檢測(cè)算法[J];計(jì)算機(jī)與數(shù)字工程;2010年05期
8 宮鼎;;防火墻規(guī)則間的沖突檢測(cè)與消解技術(shù)的分析與探討[J];電腦知識(shí)與技術(shù);2014年05期
9 劉立澤;郝建平;劉繼民;;裝備一體化設(shè)計(jì)過程中的維修性沖突檢測(cè)技術(shù)[J];兵工自動(dòng)化;2006年12期
10 喬立紅;王超;;多級(jí)協(xié)同項(xiàng)目執(zhí)行中的資源沖突檢測(cè)與管理[J];北京航空航天大學(xué)學(xué)報(bào);2008年11期
中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫 前2條
1 孫保磊;;“兩規(guī)合一”沖突檢測(cè)體系與檢測(cè)方法研究[A];城鄉(xiāng)治理與規(guī)劃改革——2014中國(guó)城市規(guī)劃年會(huì)論文集(04城市規(guī)劃新技術(shù)應(yīng)用)[C];2014年
2 王永亮;陳性元;吳蓓;代向東;牛新建;;一種新的策略沖突檢測(cè)與消解方法[A];2007通信理論與技術(shù)新發(fā)展——第十二屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集(下冊(cè))[C];2007年
中國(guó)重要報(bào)紙全文數(shù)據(jù)庫 前1條
1 紀(jì)麗莉;三級(jí)PC技術(shù)填空題典型試題分析[N];中國(guó)電腦教育報(bào);2004年
中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前10條
1 利玄英;大規(guī)模多用戶虛擬世界及其沖突檢測(cè)方法的研究[D];廈門大學(xué);2001年
2 王毅;防火墻規(guī)則沖突檢測(cè)研究與實(shí)現(xiàn)[D];中國(guó)工程物理研究院;2012年
3 孫曄;面向多agent系統(tǒng)的政策描述規(guī)范及沖突檢測(cè)研究[D];湖南大學(xué);2010年
4 姜琳;基于概念格的策略分類與沖突檢測(cè)研究[D];吉林大學(xué);2006年
5 李冠;云安全策略沖突檢測(cè)機(jī)制研究[D];長(zhǎng)春工業(yè)大學(xué);2011年
6 李新星;容侵系統(tǒng)中策略沖突檢測(cè)與消解方法研究[D];南華大學(xué);2011年
7 羅楊;網(wǎng)絡(luò)與應(yīng)用相融沖突檢測(cè)技術(shù)的研究與實(shí)現(xiàn)[D];北京航空航天大學(xué);2014年
8 呂可達(dá);基于策略的資費(fèi)規(guī)則沖突檢測(cè)系統(tǒng)的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2006年
9 歐陽敏;飛行器協(xié)同設(shè)計(jì)中沖突檢測(cè)技術(shù)的研究與實(shí)現(xiàn)[D];南京航空航天大學(xué);2006年
10 王永亮;網(wǎng)絡(luò)安全設(shè)備策略沖突檢測(cè)與消解技術(shù)研究[D];解放軍信息工程大學(xué);2008年
,本文編號(hào):538110
本文鏈接:http://www.sikaile.net/guanlilunwen/ydhl/538110.html