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

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

2、術(shù)語定義，交互模型則基于描述任務(wù)邏輯理論，反映了群體的任務(wù)協(xié)同語義。通過實例分析證明GRNA支持對群體規(guī)范和能力的描述，提供了組織任務(wù)可完成性的可判定的推理服務(wù)，能夠描述組織的高層任務(wù)交互語義。關(guān)鍵詞：關(guān)鍵詞：協(xié)同；描述任務(wù)邏輯；群體；組織中圖分類號：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收稿日期：––；修回日期：––基金項目：基金項目：國家973計劃資助項目（2009CB723803）；國家自然科學(xué)基

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

9、而這種配合通常是隱式的。這些虛擬實體既有高級的自主行為，又有復(fù)雜的組織協(xié)同關(guān)系，尤其在軍事應(yīng)用系統(tǒng)中更加復(fù)雜。如何控制以及協(xié)調(diào)它們的行為是一個難點。因而建立群體的組織協(xié)同關(guān)系模型是虛擬現(xiàn)實領(lǐng)域的重要研究方向之一。Figure2DomainOntology圖2領(lǐng)域本體領(lǐng)域本體2.2組織協(xié)同關(guān)系模型組織協(xié)同關(guān)系模型實體和群體的能力描述代表了它們遂行任務(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ù)平臺的開發(fā)，建立了一個基于任務(wù)邏輯的戰(zhàn)場實體協(xié)同行為建?？蚣埽⒃诖嘶A(chǔ)上進(jìn)行了仿真實驗。表1是OBDDs數(shù)據(jù)結(jié)構(gòu)存儲空間對比分析結(jié)果。Table1StagespaceanalysisofOBDDsdatastructure(Byte)表1OBDDs

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

12、為規(guī)則能夠得到描述。該模型克服了當(dāng)前組織模型對高層任務(wù)交互描述的不足，能簡潔而準(zhǔn)確地描述虛擬群體組織協(xié)同關(guān)系的任務(wù)交互語義，適合描述不同規(guī)模不同分辨率的組織，同時又能提供組織任務(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