本文關(guān)鍵詞： 服務(wù)自動組合 軍事信息服務(wù) 離散事件演算 馬爾可夫邏輯網(wǎng) 離散事件演算和馬爾可夫邏輯網(wǎng)　出處：《系統(tǒng)工程與電子技術(shù)》2013年10期 　論文類型：期刊論文

【摘要】：針對C4ISR系統(tǒng)中服務(wù)人工智能(artificial intelligence,AI)規(guī)劃組合存在的服務(wù)數(shù)量大、不能處理服務(wù)執(zhí)行過程中動態(tài)產(chǎn)生的新個體、業(yè)務(wù)流程和服務(wù)質(zhì)量不確定等問題,提出了一種基于離散事件演算和馬爾可夫邏輯網(wǎng)(discrete event calculus-Markov logic network,DEC-MLN)的服務(wù)自動組合方法。首先給出了面向服務(wù)的海戰(zhàn)場C4ISR系統(tǒng)的流程圖,用對事件演算進(jìn)行拓展形成的DEC-MLN對服務(wù)的輸入、輸出、前提條件和執(zhí)行效果及基本服務(wù)流程進(jìn)行建模,用MLN的權(quán)重刻畫組合過程中業(yè)務(wù)流程和服務(wù)質(zhì)量的不確定性。接著提出了一種基于模板的服務(wù)自動組合框架,并給出了溯因DEC規(guī)劃方法。所提方法克服了基于傳統(tǒng)AI規(guī)劃組合方法限于順序組合的問題;且DEC-MLN的謂詞規(guī)模較小,提高了服務(wù)組合效率;DEC-MLN在處理不確定性的基礎(chǔ)上又能解除封閉世界假說的限制,可以處理組合執(zhí)行過程中新增個體,增加了組合的動態(tài)性。最后用實(shí)例驗(yàn)證了所提方法的可行性與有效性。
[Abstract]:In the C4ISR system, the service artificial artificial intelligence (AI) planning composition has a large number of services, which can not deal with the problems of new individuals, uncertain business processes and service quality, and so on, which are generated dynamically in the process of service execution. In this paper, a method of automatic service composition based on discrete event calculus-Markov logic network (DEC-MLN) is presented. Firstly, the flow chart of C _ 4ISR system is presented. The input, output, precondition, execution effect and basic service flow of the service are modeled by DEC-MLN, which is formed by extending the event calculus. This paper describes the uncertainty of business process and quality of service in the process of composition by using the weight of MLN, and then puts forward a framework of automatic service composition based on template. This method overcomes the problem that the combination method based on traditional AI programming is limited to sequential combination, and the predicate scale of DEC-MLN is small. The efficiency of service composition is improved. DEC-MLN can remove the limitation of the closed world hypothesis on the basis of dealing with uncertainty, and can deal with the new individuals in the process of composition execution. Finally, the feasibility and effectiveness of the proposed method are verified by an example.
【作者單位】： 海軍工程大學(xué)電子工程學(xué)院;
【基金】：國防預(yù)研基金(4010601010201)資助課題
【分類號】：TP393.09

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李明翠;;基于語義的Web service組合技術(shù)研究[J];電腦知識與技術(shù);2009年14期

2 康軍;戴冠中;;基于網(wǎng)絡(luò)QoS的網(wǎng)絡(luò)化控制系統(tǒng)保性能控制[J];控制與決策;2009年07期

3 鄔春學(xué);韓文冬;;基于Internet的網(wǎng)絡(luò)控制系統(tǒng)端到端時延分析[J];計(jì)算機(jī)工程;2007年22期

4 王欣;姚佩陽;周翔翔;張杰勇;;指揮信息系統(tǒng)網(wǎng)絡(luò)信息傳輸能力評估[J];計(jì)算機(jī)應(yīng)用;2011年08期

5 廖淵,唐磊,李明樹;一種基于QoS的服務(wù)構(gòu)件組合方法[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

6 朱新峰;李斌;吳俊;;基于MDP的動態(tài)Web服務(wù)組合[J];電腦知識與技術(shù);2009年35期

7 舒振;馬建威;羅雪山;;軍事信息服務(wù)的QoS模型及其監(jiān)控機(jī)制[J];兵工自動化;2010年05期

8 張睿敏;;探析基于業(yè)務(wù)流程的Web Service組合方法[J];隴東學(xué)院學(xué)報(bào);2011年02期

9 周相兵;馬洪江;楊興江;;一種基于云計(jì)算的語義Web服務(wù)組合模型研究[J];微電子學(xué)與計(jì)算機(jī);2009年08期

10 李琦;夏陽;束長軍;王磊;;一種基于與或關(guān)系的Web服務(wù)組合算法研究[J];微電子學(xué)與計(jì)算機(jī);2010年08期

相關(guān)會議論文 前10條

1 張峰;陳欣;劉淑霞;;一種以用戶為中心、人可參與的服務(wù)組合方法[A];CCF NCSC 2011——第二屆中國計(jì)算機(jī)學(xué)會服務(wù)計(jì)算學(xué)術(shù)會議論文集[C];2011年

2 黃勝;彭敦陸;王曉玲;周傲英;;基于與或樹搜索的快速Web服務(wù)組合方法[A];第二十二屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報(bào)告篇）[C];2005年

3 周相兵;馬洪江;楊興江;;一種基于云計(jì)算的語義Web服務(wù)組合模型研究[A];2009年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2009年

4 成睿星;蘇森;楊放春;;使用范例推理的服務(wù)組合方法研究[A];2006年全國通信軟件學(xué)術(shù)會議論文集[C];2006年

5 仲晶;黃志球;;面向服務(wù)質(zhì)量的Web服務(wù)選擇方法：研究綜述[A];2008通信理論與技術(shù)新發(fā)展——第十三屆全國青年通信學(xué)術(shù)會議論文集（下）[C];2008年

6 付曉東;鄒平;尚振宏;姜瑛;;QoS信息不確定情況下的Web服務(wù)選擇[A];第二十七屆中國控制會議論文集[C];2008年

7 尹鳳杰;井元偉;;模糊滑�？刂圃诰W(wǎng)絡(luò)擁塞控制中的應(yīng)用[A];第二十四屆中國控制會議論文集（上冊）[C];2005年

8 張艷梅;;基于Petri網(wǎng)的web服務(wù)動態(tài)組合方法[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會——通信與信息技術(shù)會議論文集（下）[C];2006年

9 岳承君;井元偉;;不確定信息QoS路由的概率遺傳算法的研究[A];中國系統(tǒng)仿真學(xué)會第五次全國會員代表大會暨2006年全國學(xué)術(shù)年會論文集[C];2006年

10 丁倩;甘早斌;魏登文;;移動Agent交易實(shí)體間的信任和聲譽(yù)研究[A];全國計(jì)算機(jī)安全學(xué)術(shù)交流會論文集（第二十三卷）[C];2008年

相關(guān)重要報(bào)紙文章 前1條

1 本報(bào)記者 那罡;“檢測”分支機(jī)構(gòu)[N];中國計(jì)算機(jī)報(bào);2008年

相關(guān)博士學(xué)位論文 前10條

1 朱紅寧;面向Web服務(wù)組合的服務(wù)QoS評價技術(shù)的研究[D];東北大學(xué);2009年

2 廖淵;普適計(jì)算環(huán)境下一種基于QoS的服務(wù)構(gòu)件組合方法[D];中國科學(xué)院研究生院（軟件研究所）;2005年

3 曲明;基于本體的服務(wù)發(fā)現(xiàn)與組合方法研究[D];吉林大學(xué);2012年

4 付燕寧;Web服務(wù)組合方法的研究[D];吉林大學(xué);2007年

5 薛海強(qiáng);網(wǎng)絡(luò)融合關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2007年

6 王尚廣;基于QoS度量的Web服務(wù)選擇關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2011年

7 陶春華;QoS感知的Web服務(wù)發(fā)現(xiàn)與組合研究[D];天津大學(xué);2010年

8 曾劍平;基于模糊集的自適應(yīng)偽裝入侵檢測算法及其在ASP服務(wù)安全中的應(yīng)用研究[D];廈門大學(xué);2006年

9 鄧水光;Web服務(wù)自動組合與形式化驗(yàn)證的研究[D];浙江大學(xué);2007年

10 童紅霞;基于Agent的Web服務(wù)組合技術(shù)研究[D];上海交通大學(xué);2009年

相關(guān)碩士學(xué)位論文 前10條

1 趙R挖，

本文編號：1502587