【摘要】:未來的戰(zhàn)爭形式是以信息為主導(dǎo),大量使用高新技術(shù)武器裝備,陸、海、空、天、電(磁)多維一體的戰(zhàn)爭,是以網(wǎng)絡(luò)為中心的聯(lián)合作戰(zhàn)。對聯(lián)合作戰(zhàn)行動規(guī)劃組織而言,從垂直剛性到網(wǎng)絡(luò)化扁平的組織結(jié)構(gòu)改變,使得包含態(tài)勢、資源、組織方式和協(xié)同關(guān)系的規(guī)劃環(huán)境更為復(fù)雜。這種環(huán)境要求聯(lián)合作戰(zhàn)計劃的制定必須支持各級指揮層次、各向聯(lián)合成員之間作戰(zhàn)行動過程的自同步,具有統(tǒng)一的描述基礎(chǔ);同時,必須快速校驗(yàn)聯(lián)合作戰(zhàn)計劃的準(zhǔn)確性,保障制定的聯(lián)合作戰(zhàn)計劃的合理性。本文的研究重點(diǎn)主要針對這兩方面即:聯(lián)合作戰(zhàn)計劃的表示與校驗(yàn),具體而言是基于本體的聯(lián)合作戰(zhàn)計劃的表示和聯(lián)合作戰(zhàn)計劃的邏輯校驗(yàn),所做的工作和創(chuàng)新點(diǎn)主要包括以下幾方面: 1.提出了基于本體的聯(lián)合作戰(zhàn)計劃的表示和校驗(yàn)框架。 本研究的主要內(nèi)容是聯(lián)合作戰(zhàn)計劃的表示和校驗(yàn)。主要包括聯(lián)合作戰(zhàn)計劃的一致表示、檢驗(yàn)機(jī)制,通過規(guī)范、歸納聯(lián)合作戰(zhàn)計劃的要素、關(guān)系和結(jié)構(gòu),為制定復(fù)雜繁瑣的聯(lián)合層次作戰(zhàn)計劃提供范本和引導(dǎo),保證聯(lián)合作戰(zhàn)計劃的規(guī)范性,實(shí)現(xiàn)標(biāo)準(zhǔn)化和共享。通過對聯(lián)合作戰(zhàn)計劃中要素本身和要素間的檢驗(yàn),可以查出錯誤、消除沖突并完善計劃,保證計劃的完整性和正確性。其中的校驗(yàn)機(jī)制的研究是校驗(yàn)的基礎(chǔ),保證了校驗(yàn)的有效性和完善性,讓校驗(yàn)?zāi)芨佑辛?zhí)行。 2.研究了基于本體的聯(lián)合作戰(zhàn)計劃的表示和聯(lián)合作戰(zhàn)計劃校驗(yàn)規(guī)則的表示。 聯(lián)合作戰(zhàn)環(huán)境的復(fù)雜性決定了聯(lián)合作戰(zhàn)行動過程的表示應(yīng)當(dāng)是多層次、多認(rèn)知域映射的。涉及到不同的作戰(zhàn)單位、作戰(zhàn)資源,涉及到許多的信息和知識模型。這些信息和知識地理上是分布的,對各種信息和知識模型的描述也不一致。通過建立聯(lián)合作戰(zhàn)計劃本體,對各種知識、信息模型進(jìn)行共享和集成,形成了統(tǒng)一的聯(lián)合作戰(zhàn)計劃表示基礎(chǔ)。 聯(lián)合作戰(zhàn)計劃的校驗(yàn)內(nèi)容眾多,涉及到作戰(zhàn)單位、作戰(zhàn)資源領(lǐng)域內(nèi),不同領(lǐng)域之間的關(guān)系和約束,而基于不同的計劃表示又具有不同的規(guī)則表示,故聯(lián)合作戰(zhàn)計劃校驗(yàn)規(guī)則的表示是個重要又具有難度的工作。本文研究的聯(lián)合作戰(zhàn)計劃校驗(yàn)規(guī)則的表示能夠在基于本體的聯(lián)合作戰(zhàn)計劃表示基礎(chǔ)上實(shí)現(xiàn)對聯(lián)合作戰(zhàn)計劃內(nèi)容正確性和一致性的校驗(yàn)。 3.提出了聯(lián)合作戰(zhàn)計劃的校驗(yàn)內(nèi)容。 聯(lián)合作戰(zhàn)計劃需要校驗(yàn)的內(nèi)容繁多,本文提出的聯(lián)合作戰(zhàn)計劃校驗(yàn)的核心是圍繞作戰(zhàn)行動展開,即:行動-行動之間約束與校驗(yàn)、行動-資源之間約束與校驗(yàn)、行動-兵力之間約束與校驗(yàn)和行動-目標(biāo)之間約束和校驗(yàn)。本文提出的聯(lián)合作戰(zhàn)計劃校驗(yàn)基本覆蓋了聯(lián)合作戰(zhàn)計劃的核心內(nèi)容,既可以對聯(lián)合作戰(zhàn)計劃中邏輯關(guān)系進(jìn)行可能性檢驗(yàn),也可以對聯(lián)合作戰(zhàn)計劃各概念域內(nèi)、概念域之間的邏輯關(guān)系進(jìn)行一致性驗(yàn)證,發(fā)現(xiàn)其中的沖突和矛盾。
【學(xué)位授予單位】:國防科學(xué)技術(shù)大學(xué)
【學(xué)位級別】:碩士
【學(xué)位授予年份】:2011
【分類號】:E835.8;TP391.1
【圖文】:
空間方位關(guān)系

述聯(lián)合作戰(zhàn)計劃中目標(biāo)、兵力、資源的位置合作戰(zhàn)計劃中的作戰(zhàn)背景和各種環(huán)境因素。3.2 目標(biāo)域中的目標(biāo)域包括描述作戰(zhàn)使命和所有作戰(zhàn)行來細(xì)述。戰(zhàn)略目標(biāo)是指整個作戰(zhàn)計劃的戰(zhàn)略作戰(zhàn)過程中的目標(biāo)對象,包括需要打擊敵方軍事設(shè)施、交通運(yùn)輸系統(tǒng)、工業(yè)能源基地等灘、機(jī)場等。聯(lián)合作戰(zhàn)計劃的目標(biāo)域可以通O b j e c t i v e : : O b j C , O b j C H , O b j D域概念(ObjC)包括戰(zhàn)略目標(biāo)(Strategic O,概念層次(ObjCH)如圖 3.2 所示;目標(biāo)域的置屬性,威脅半徑等;目標(biāo)的關(guān)系屬性(Ob括目標(biāo)與行動的關(guān)系。
【參考文獻(xiàn)】
相關(guān)期刊論文 前7條
1 鄧志鴻,唐世渭,張銘,楊冬青,陳捷;Ontology研究綜述[J];北京大學(xué)學(xué)報(自然科學(xué)版);2002年05期
2 卜先錦;陽東升;沙基昌;張維明;;作戰(zhàn)過程設(shè)計策略及其優(yōu)選模型[J];火力與指揮控制;2006年05期
3 錢猛;劉忠;都業(yè)宏;姚莉;;使用本體和SWRL驗(yàn)證作戰(zhàn)計劃的方法[J];計算機(jī)工程與應(yīng)用;2009年08期
4 武云鵬;黃金才;張維明;劉忠;朱承;修保新;;對抗條件下的計劃生成過程建模及狀態(tài)推理[J];計算機(jī)工程與應(yīng)用;2011年26期
5 秦前付;曹存根;徐m8;;基于圖論的作戰(zhàn)計劃軍事效果評估[J];計算機(jī)科學(xué);2005年07期
6 劉忠;錢猛;黃金才;張維明;;基于語義推理的作戰(zhàn)計劃驗(yàn)證方法[J];系統(tǒng)工程與電子技術(shù);2010年05期
7 錢猛;劉忠;姚莉;張維明;;作戰(zhàn)計劃的本體建模研究[J];系統(tǒng)工程與電子技術(shù);2010年05期
相關(guān)碩士學(xué)位論文 前4條
1 湯羅浩;基于STN的行動計劃時間表示和沖突處理研究[D];國防科學(xué)技術(shù)大學(xué);2010年
2 寇力;基于案例的空中進(jìn)攻作戰(zhàn)計劃生成技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2005年
3 王德鑫;以網(wǎng)絡(luò)為中心的聯(lián)合作戰(zhàn)計劃描述與生成系統(tǒng)研究[D];國防科學(xué)技術(shù)大學(xué);2006年
4 王歡;基于本體和SWRL的空間關(guān)系推理的設(shè)計與實(shí)現(xiàn)[D];陜西師范大學(xué);2007年
本文編號:
2726317
本文鏈接:http://sikaile.net/shekelunwen/renwuzj/2726317.html