基于網(wǎng)絡(luò)處理器的nat協(xié)議實(shí)現(xiàn)技術(shù)-

1、基于描述任務(wù)邏輯的群體組織協(xié)同關(guān)系模型張三，李小四三，李小四（國防科技大學(xué)計(jì)算機(jī)學(xué)院，（國防科技大學(xué)計(jì)算機(jī)學(xué)院，湖南湖南長沙長沙410073）摘要：群體組織模型是深入研究群體協(xié)同行為的基礎(chǔ)，而現(xiàn)有的組織模型大多集中在對(duì)Agent組織的結(jié)構(gòu)或個(gè)體低層指令級(jí)的交互上，不能描述組織高層的動(dòng)態(tài)任務(wù)交互。本文提出一個(gè)新的群體組織協(xié)同關(guān)系模型—GRNA。該模型包含有兩個(gè)子模型：認(rèn)知模型和交互模型。認(rèn)知模型構(gòu)建于領(lǐng)域本體之上，為GRNA模型提供準(zhǔn)確的

2、術(shù)語定義，交互模型則基于描述任務(wù)邏輯理論，反映了群體的任務(wù)協(xié)同語義。通過實(shí)例分析證明GRNA支持對(duì)群體規(guī)范和能力的描述，提供了組織任務(wù)可完成性的可判定的推理服務(wù)，能夠描述組織的高層任務(wù)交互語義。關(guān)鍵詞：關(guān)鍵詞：協(xié)同；描述任務(wù)邏輯；群體；組織中圖分類號(hào)：TP391.9文獻(xiàn)標(biāo)志碼：AganizationalcodinativerelationshipmodelofgroupsbasedondeionlogicoftasksZHANGSan，

3、LIXiaosi（SchoolofComputerScienceNationalUniversityofDefenseTechnologyChangsha410073China）Abstract:Modelinggroupganizationsisthefoundationffurtherresearchongroupcodinativebehavi.Modelinggroupganizationsisthefoundationffur

4、therresearchongroupcodinativebehavi.Manyexistingagentganizationmodelsconcernlittleaboutthedeionofhighleveldynamicinteractionsfewofthemprovidedecidablereasoningoftasks.Weproposeanovelgroupganizationalcodinativerelationshi

5、pmodelnamedGRNAtodescribetheganizationalcodinativerelationshipofagentgroups.TheGRNAmodelisbasedonthedeionlogicofthetaskitcontainstwosubmodels:cognitionsubmodelinteractionsubmodel.Thecognitionsubmodelwhichprovidesaccurate

6、definitionsoftermsisbuiltondomainontologywhiletheinteractionsubmodelbasedonthedeionlogicoftasksreflectsthecollabationbetweenthetasks.ThroughthecasestudyweshowthattheGRNAmodelcandescribenmsabilitiesofgroupsprovidepowerful

7、servicesofdecidabledeductionftheachievabilityofganizationtasksexpresshighleveltaskinteractionsemanticsofgroups.Keywds:collabationdeionlogicoftasksgroup；ganization收稿日期：––；修回日期：––基金項(xiàng)目：基金項(xiàng)目：國家973計(jì)劃資助項(xiàng)目（2009CB723803）；國家自然科學(xué)基

8、金資助項(xiàng)目（60873120）通迅地址：通迅地址：410073湖南省長沙市國防科技大學(xué)計(jì)算機(jī)學(xué)院Address:SchoolofComputerNationalUniversityofDefenseTechnologyChangsha410073HunanP.R.China1引言引言虛擬現(xiàn)實(shí)系統(tǒng)規(guī)模與日俱增，參與的虛擬實(shí)體高達(dá)數(shù)十萬以上。每個(gè)虛擬實(shí)體都扮演一定的角色，每個(gè)角色完成特定的低層行為。一項(xiàng)高層任務(wù)通常需要不同的低層行為的配合，

9、而這種配合通常是隱式的。這些虛擬實(shí)體既有高級(jí)的自主行為，又有復(fù)雜的組織協(xié)同關(guān)系，尤其在軍事應(yīng)用系統(tǒng)中更加復(fù)雜。如何控制以及協(xié)調(diào)它們的行為是一個(gè)難點(diǎn)。因而建立群體的組織協(xié)同關(guān)系模型是虛擬現(xiàn)實(shí)領(lǐng)域的重要研究方向之一。Figure2DomainOntology圖2領(lǐng)域本體領(lǐng)域本體2.2組織協(xié)同關(guān)系模型組織協(xié)同關(guān)系模型實(shí)體和群體的能力描述代表了它們遂行任務(wù)的能力，是進(jìn)行任務(wù)規(guī)劃的根本依據(jù)。能力描述還將組織任務(wù)的可完成性判斷轉(zhuǎn)化成了描述任務(wù)邏輯的

10、定理證明。另外，群體中成員的變更，可能導(dǎo)致組織能力的變化，能力描述也能將這種變化自然表現(xiàn)出來。3在軍事仿真中的應(yīng)用在軍事仿真中的應(yīng)用我們將所建立的協(xié)同關(guān)系模型應(yīng)用于戰(zhàn)場實(shí)體行為建模和仿真技術(shù)平臺(tái)的開發(fā)，建立了一個(gè)基于任務(wù)邏輯的戰(zhàn)場實(shí)體協(xié)同行為建模框架，并在此基礎(chǔ)上進(jìn)行了仿真實(shí)驗(yàn)。表1是OBDDs數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)空間對(duì)比分析結(jié)果。Table1StagespaceanalysisofOBDDsdatastructure(Byte)表1OBDDs

11、數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)空間對(duì)比分析結(jié)果B數(shù)據(jù)結(jié)構(gòu)節(jié)點(diǎn)編號(hào)順序指針父節(jié)點(diǎn)指針子節(jié)點(diǎn)指針互補(bǔ)信息合計(jì)OBDDs帶有互補(bǔ)邊的共享OBDDs6428802468366836—252601494結(jié)束語結(jié)束語本文基于描述任務(wù)邏輯理論提出了一個(gè)群體組織協(xié)同關(guān)系模型GRNA，該模型包含知識(shí)表示和交互關(guān)系兩部分。知識(shí)部分建立在領(lǐng)域本體的基礎(chǔ)上，保證了模型對(duì)組織結(jié)構(gòu)描述的精確性和一致性；交互部分給出了角色關(guān)系、規(guī)范和組織的能力等概念的形式化定義，使復(fù)雜的協(xié)同關(guān)系和行

12、為規(guī)則能夠得到描述。該模型克服了當(dāng)前組織模型對(duì)高層任務(wù)交互描述的不足，能簡潔而準(zhǔn)確地描述虛擬群體組織協(xié)同關(guān)系的任務(wù)交互語義，適合描述不同規(guī)模不同分辨率的組織，同時(shí)又能提供組織任務(wù)可完成性的可判定的推理服務(wù)。參考文獻(xiàn)參考文獻(xiàn):[1]FerberJGutknechtO.Ametamodelftheanalysisdesignofganizationinmultiagentsystems[C]Procofthe3rdInternational

13、ConferenceonMultiAgentSystems(ICMAS’98)1998:258266.[2]PunnenAMargotFKabadiS.TSPheuristics:Dominationanalysiscomplexity[J].Algithmica200335(2):111127.[3]AdamsEW.Aprimeofprobabilitylogic[M].2nded.Stanfd:StanfdUniversity199