本發(fā)明涉及計(jì)算機(jī)軟件建模仿真技術(shù)領(lǐng)域，具體涉及一種基于層次化MAS軟件體系結(jié)構(gòu)建模和仿真系統(tǒng)。

背景技術(shù)：

多agent系統(tǒng)(MAS)是由多個(gè)agent組成的集合，他們的目標(biāo)是要將大而復(fù)雜的系統(tǒng)建成由許多小的agent組成，且彼此能夠互相通信與協(xié)調(diào)的易于控制和管理的系統(tǒng)。因此?；诙郺gent技術(shù)在解決復(fù)雜軟件建模與仿真中發(fā)揮了它的優(yōu)勢(shì)，尤其在軍用軟件領(lǐng)域中有著很顯著效果。但隨著軍隊(duì)信息化程度的不斷提高，現(xiàn)今的軍用軟件越來(lái)越智能化，與此同時(shí)軍用軟件本身的高復(fù)雜、運(yùn)行環(huán)境的多變、節(jié)點(diǎn)的繁多、作戰(zhàn)設(shè)備的分散等對(duì)現(xiàn)代軍用軟件系統(tǒng)的構(gòu)建帶來(lái)了很大的挑戰(zhàn)，因此對(duì)于傳統(tǒng)的多agent系統(tǒng)很難再達(dá)到現(xiàn)代軍用軟件的要求。再加上現(xiàn)代軍用軟件擁有大量個(gè)體行為與其之間的交互，這就大大增加了對(duì)這些軟件系統(tǒng)行為分析與驗(yàn)證的難度。

技術(shù)實(shí)現(xiàn)要素：

為了解決以上現(xiàn)有技術(shù)中存在的問(wèn)題，本發(fā)明提出了一種基于層次化MAS軟件體系結(jié)構(gòu)的建模與仿真系統(tǒng)，其可以構(gòu)建出能應(yīng)對(duì)軟件復(fù)雜多變等特性的自適應(yīng)軟件模型。

本發(fā)明的目的是通過(guò)以下技術(shù)方案實(shí)現(xiàn)的。

一種軟件體系結(jié)構(gòu)建模和仿真系統(tǒng)，其特征在于，包括：建模模塊，用于將輸入的軟件需求輸出為層次化MAS軟件模型，該模型作為仿真模塊的輸入；仿真模塊，用于對(duì)輸入的層次化MAS軟件模型進(jìn)行仿真，從而展示各個(gè)agent之間的交互行為。

優(yōu)選地，建模模塊包括：形式化建模語(yǔ)言設(shè)計(jì)單元、多agent行為結(jié)構(gòu)建模單元以及環(huán)境建模單元。

優(yōu)選地，形式化建模語(yǔ)言設(shè)計(jì)單元包括：刻畫(huà)程序行為的操作語(yǔ)義子單元、刻畫(huà)不同類型組件子單元、處理時(shí)間特征子單元、描述多維度物理信息子單元、刻畫(huà)基于事件進(jìn)行交互的表達(dá)能力的子單元、具有可組合與可拆分性的子單元。

優(yōu)選地，多agent行為結(jié)構(gòu)建模單元包括agent靜態(tài)行為模塊子單元和agent動(dòng)態(tài)結(jié)構(gòu)模塊子單元，其中，所述agent靜態(tài)行為模塊子單元包括將集中控制融于多agent系統(tǒng)的分布系統(tǒng)中具備依賴關(guān)系的agent聚集在一起控制，將抽象粒度提高從而從不同抽象層次進(jìn)行仿真；所述agent動(dòng)態(tài)結(jié)構(gòu)模塊子單元包括利用面向?qū)ο驪etri網(wǎng)OPN建立多agent的交互協(xié)議模型，建立自治的和自適應(yīng)的agent結(jié)構(gòu)模型；利用Petri網(wǎng)及擴(kuò)展Petri網(wǎng)描述和分析MAS，基于功能與非功能目標(biāo)對(duì)層次化MAS的軟件體系結(jié)構(gòu)進(jìn)行建模，包括軟硬件綁定協(xié)同化建模，軟件調(diào)度方案建模；在環(huán)境變化時(shí)，Petri網(wǎng)描述層次化MAS的軟件體系結(jié)構(gòu)的初始化結(jié)構(gòu)及動(dòng)態(tài)行為，多個(gè)agent通過(guò)相互通信，調(diào)整自身行為，動(dòng)態(tài)完成一個(gè)或者多個(gè)控制任務(wù)。

優(yōu)選地，所述環(huán)境建模單元用于分析軟件系統(tǒng)所依賴的環(huán)境條件集，將環(huán)境模擬為agent，在環(huán)境變化時(shí)通過(guò)agent的交互調(diào)整系統(tǒng)自身行為，動(dòng)態(tài)完成一個(gè)或多個(gè)控制任務(wù)。

優(yōu)選地，所述仿真模塊包括可視化動(dòng)態(tài)仿真工具單元、因素控制單元。

優(yōu)選地，所述可視化動(dòng)態(tài)仿真工具單元采用可計(jì)算模型應(yīng)對(duì)層次化MAS中的不確定性因素，利用數(shù)學(xué)模型、行為模型及相關(guān)算法的綜合集成，實(shí)現(xiàn)仿真程序的結(jié)構(gòu)化功能模塊，支持定性的或者定量的模型。

優(yōu)選地，所述因素控制單元包括不確定性因素子單元、人機(jī)交互子單元以及仿真邏輯子單元。

優(yōu)選地，所述不確定性因素包括隨機(jī)性、模糊性、信息不完全性、歧義；所述所述人機(jī)交互包括推理、學(xué)習(xí)、自主決策、博弈，所述仿真邏輯的執(zhí)行步驟包括系統(tǒng)辨識(shí)、設(shè)計(jì)概念模型、進(jìn)行系統(tǒng)分析并設(shè)計(jì)模型架構(gòu)。

本發(fā)明的優(yōu)點(diǎn)在于：本發(fā)明公開(kāi)的基于層次化MAS的軟件體系結(jié)構(gòu)建模與仿真系統(tǒng)在傳統(tǒng)多agent軟件體系上新增了層次化的設(shè)計(jì)模式，以功能為目標(biāo)將軟件功能與外部環(huán)境模塊于統(tǒng)一架構(gòu)內(nèi)，完成了集分布式與集中式控制于一體的可應(yīng)對(duì)動(dòng)態(tài)環(huán)境變化的多層次MAS的自適應(yīng)軟件體系結(jié)構(gòu)。

附圖說(shuō)明

通過(guò)閱讀下文優(yōu)選實(shí)施方式的詳細(xì)描述，各種其他的優(yōu)點(diǎn)和益處對(duì)于本領(lǐng)域普通技術(shù)人員將變得清楚明了。附圖僅用于示出優(yōu)選實(shí)施方式的目的，而并不認(rèn)為是對(duì)本發(fā)明的限制。而且在整個(gè)附圖中，用相同的參考符號(hào)表示相同的部件。在附圖中：

圖1是本發(fā)明基于層次化MAS的軟件體系結(jié)構(gòu)建模與仿真系統(tǒng)示例圖。

圖2是層次化MAS的模型示例圖。

具體實(shí)施方式

下面將參照附圖更詳細(xì)地描述本公開(kāi)的示例性實(shí)施例。雖然附圖中顯示了本公開(kāi)的示例性實(shí)施例，然而應(yīng)當(dāng)理解，可以以各種形式實(shí)現(xiàn)本公開(kāi)而不應(yīng)被這里闡述的實(shí)施例所限制。相反，提供這些實(shí)施例是為了能夠更透徹地理解本公開(kāi)，并且能夠?qū)⒈竟_(kāi)的范圍完整的傳達(dá)給本領(lǐng)域的技術(shù)人員。

如圖1所示，本發(fā)明公開(kāi)一種軟件體系結(jié)構(gòu)建模和仿真系統(tǒng)100，包括：

建模模塊110，將輸入的軟件需求輸出層次化MAS軟件模型，該模型作為仿真模塊的輸入；

仿真模塊120，對(duì)輸入的層次化MAS軟件模型進(jìn)行仿真，展示各個(gè)agent之間的交互行為。

其中，建模模塊110包括：形式化建模語(yǔ)言設(shè)計(jì)模塊單元、多agent行為結(jié)構(gòu)建模單元(圖中未示出)以及環(huán)境建模單元(圖中未示出)。

其中，形式化建模語(yǔ)言設(shè)計(jì)單元采用嚴(yán)密的數(shù)學(xué)表達(dá)方式與準(zhǔn)確的語(yǔ)義解釋，對(duì)模型進(jìn)行精確的無(wú)二義性的描述。該建模語(yǔ)言的設(shè)計(jì)具有刻畫(huà)程序行為的操作語(yǔ)義子單元(對(duì)應(yīng)于圖1中的121)、刻畫(huà)不同類型組件子單元(對(duì)應(yīng)于圖1中的112)、處理時(shí)間特征子單元(對(duì)應(yīng)于圖1中的時(shí)間特征111)、描述多維度物理信息子單元(對(duì)應(yīng)于圖1中的116)、刻畫(huà)基于事件進(jìn)行交互的表達(dá)能力的子單元(對(duì)應(yīng)于圖1中的115)、以及具有可組合性和可拆分性的子單元(對(duì)應(yīng)于圖1中的113)。操作語(yǔ)義刻畫(huà)程序行為，用解釋執(zhí)行程序的抽象機(jī)器定義語(yǔ)言的語(yǔ)義?？坍?huà)不同類型組件，根據(jù)功能劃分的不同，組件包括傳感器、控制器、執(zhí)行器、物理設(shè)備等等，例如軍用軟件所控制的設(shè)備都需要許多功能組件，并將它們抽象為agent，對(duì)它們進(jìn)行劃分。處理時(shí)間特征，層次化MAS軟件系統(tǒng)同分布式系統(tǒng)有很多相似之處，每個(gè)agent都分布在不同的地方，獨(dú)自完成各自的任務(wù)，同時(shí)也能夠相互通信、相互協(xié)調(diào)，因此它們應(yīng)當(dāng)具備自己的時(shí)間信息。描述多維度物理環(huán)境信息，MAS系統(tǒng)中許多agent往往需要收集其所處環(huán)境的信息來(lái)與其它agent進(jìn)行交互，所以刻畫(huà)各類組件所關(guān)注的信息是必不可少的?？坍?huà)基于事件進(jìn)行交互，基于事件的交互中隱含著同步，通常情況下，事件接收方等待事件的到來(lái)，待事件到來(lái)后才執(zhí)行后續(xù)操作。事件的發(fā)送是單向的，與接受方的狀態(tài)無(wú)關(guān)。事件是廣播式的，它允許有多個(gè)接收方的存在。這些特點(diǎn)使得基于事件的系統(tǒng)更具靈活性，能夠應(yīng)對(duì)MAS系統(tǒng)復(fù)雜多變的環(huán)境并且能夠支持各agent之間的實(shí)時(shí)互動(dòng)?？山M合與可拆分性，系統(tǒng)的模塊化降低了復(fù)雜系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)的難度。因此，設(shè)計(jì)的建模語(yǔ)言能獨(dú)立刻畫(huà)任意一個(gè)功能模塊，又能刻畫(huà)各功能模塊間的組合。同時(shí)復(fù)雜多變的環(huán)境有時(shí)會(huì)對(duì)某些agent造成一定的干擾，甚至可能還會(huì)造成部分功能的失效。因此，設(shè)計(jì)的建模語(yǔ)言還需要具備可拆分性，以支持層次化MAS模型拆分、模塊替換等功能。建模語(yǔ)言的可組合性與可拆分性有助于多agent系統(tǒng)的分布式設(shè)計(jì)與模塊重寫(xiě)，大大提高了這類系統(tǒng)的開(kāi)發(fā)效率。

其中，多agent行為結(jié)構(gòu)模塊單元包括agent靜態(tài)行為模塊子單元和agent動(dòng)態(tài)結(jié)構(gòu)模塊子單元，刻畫(huà)系統(tǒng)的并發(fā)和分布特性。支持層次化agent建模，可進(jìn)行不同層次的抽象描述，在必要時(shí)隱藏某些細(xì)節(jié)。如圖2的層次化的MAS模型，將集中控制融于多agent系統(tǒng)的分布控制中，將具備依賴關(guān)系的agent聚集在一起控制，將抽象粒度提高從而可從不同抽象層次進(jìn)行系統(tǒng)仿真與行為分析。例如針對(duì)agent之間的復(fù)雜交互，利用面向?qū)ο驪etri網(wǎng)OPN建立了多agent系統(tǒng)的交互協(xié)議模型，從而可以更進(jìn)一步地研究agent間的交互行為及其特征。還可以對(duì)agent交互協(xié)議進(jìn)行建模，建立一個(gè)自治的和自適應(yīng)的agent結(jié)構(gòu)模型。利用Petri網(wǎng)及擴(kuò)展Petri網(wǎng)描述和分析MAS，能夠基于功能與非功能目標(biāo)對(duì)系統(tǒng)體系結(jié)構(gòu)進(jìn)行建模，包括軟硬件綁定協(xié)同化建模，軟件調(diào)度方案建模等。在環(huán)境變化時(shí)，Petri網(wǎng)可以形象地描述MAS的初始化結(jié)構(gòu)及動(dòng)態(tài)行為，多個(gè)agent通過(guò)相互通信，調(diào)整自身行為，動(dòng)態(tài)完成一個(gè)或者多個(gè)控制任務(wù)。

所述環(huán)境建模單元用于分析軟件系統(tǒng)所依賴的環(huán)境條件集，將環(huán)境模擬為agent，在環(huán)境變化時(shí)通過(guò)agent的交互調(diào)整系統(tǒng)自身行為，動(dòng)態(tài)完成一個(gè)或多個(gè)控制任務(wù)。MAS系統(tǒng)中許多agent往往需要收集其所處環(huán)境的信息來(lái)與其它agent進(jìn)行交互,例如軌道列車車廂一般是封閉的，對(duì)空氣中二氧化碳容量的檢測(cè)就得依賴軌道系統(tǒng)中的氣體傳感器，將其模擬為agent可監(jiān)測(cè)到該氣體含量大小以及變化，當(dāng)氣體含量變化超出范圍時(shí)，便可通過(guò)與其它agent的交互完成換氣等控制，從而保證軌道列車系統(tǒng)的正常運(yùn)行。

本發(fā)明提出的所述基于層次化MAS的軟件體系結(jié)構(gòu)建模與仿真系統(tǒng)，其中仿真模塊還包括可視化動(dòng)態(tài)仿真工具單元和因素控制單元。

其中，可視化動(dòng)態(tài)仿真工具采用可計(jì)算模型應(yīng)對(duì)層次化MAS的軟件體系結(jié)構(gòu)中的不確定性因素，利用數(shù)學(xué)模型、行為模型及相關(guān)算法的綜合集成，實(shí)現(xiàn)仿真程序的結(jié)構(gòu)化功能模塊，支持定性的或者定量的模型，如裝備可用度的馬爾科夫模型，遺傳算法，分類器算法、BP-CT算法模型，基于灰色理論、層次分析法的模型。

其中，所述因素控制單元包括不確定性因素子單元、人機(jī)交互子單元以及仿真邏輯子單元。仿真過(guò)程中需要關(guān)注到這幾個(gè)因素。

本發(fā)明提出的所述基于層次化MAS的軟件體系結(jié)構(gòu)建模與仿真系統(tǒng)，所述不確定因素包括隨機(jī)性、模糊性、信息不完全性、歧義等。對(duì)于隨機(jī)因素，提供了專門的類庫(kù)集Random，提供一系列生成隨機(jī)數(shù)的類和結(jié)構(gòu)，包括基本隨機(jī)數(shù)發(fā)生器和基于偽隨機(jī)數(shù)流的統(tǒng)計(jì)分布。隨機(jī)數(shù)庫(kù)支持貝努力分布、指數(shù)分布、伽馬分布、正態(tài)分布、高斯分布等多種隨機(jī)分布，嚴(yán)格檢測(cè)避免了壞隨機(jī)數(shù)的風(fēng)險(xiǎn)。同時(shí)，引入的遺傳算法實(shí)現(xiàn)了從agent內(nèi)部引入隨機(jī)因素，使得系統(tǒng)元素在自身進(jìn)化或產(chǎn)生新規(guī)則伴有隨機(jī)性，使隨機(jī)因素的影響不僅影響狀態(tài)，而且影響組織結(jié)構(gòu)和行為方式。對(duì)于其他不影響因素根據(jù)其特征構(gòu)建相應(yīng)的理論模型，如描述事件出現(xiàn)可能性采取理論模型，事務(wù)界限區(qū)分采取模糊理論或粗糙集理論模型等等。

本發(fā)明提出的所述基于層次化MAS的軟件體系結(jié)構(gòu)建模與仿真系統(tǒng)，所述人機(jī)交互是指人、組織、人裝結(jié)合單元及計(jì)算機(jī)系統(tǒng)軟件系統(tǒng)構(gòu)成的核心元素，其行為往往是系統(tǒng)復(fù)雜性的根源所在，且行為類型也非常廣泛如推理、學(xué)習(xí)、自主決策、博弈等。學(xué)習(xí)行為可采用基于規(guī)則或者簡(jiǎn)單函數(shù)來(lái)完成，也可以通過(guò)遺傳算法實(shí)現(xiàn)策略的進(jìn)化。

本發(fā)明提出的所述基于層次化MAS的軟件體系結(jié)構(gòu)建模與仿真系統(tǒng)，所述仿真邏輯對(duì)于建立軍事仿真系統(tǒng)，通常采用以下幾個(gè)步驟：首先要進(jìn)行系統(tǒng)辨識(shí)，定義要仿真的系統(tǒng)原型，并獲取初始參數(shù)、作出假設(shè)，并在此基礎(chǔ)上設(shè)計(jì)出概念模型；其次就是自上而下進(jìn)行系統(tǒng)分析并設(shè)計(jì)模型架構(gòu)，包括個(gè)體特征建模、MAS系統(tǒng)結(jié)構(gòu)及agent交互序列、環(huán)境及隨機(jī)因素描述。

下面參照?qǐng)D2，具體講述本發(fā)明所述層次化多agent系統(tǒng)的一個(gè)實(shí)例。

實(shí)施例1

軍用無(wú)人機(jī)是現(xiàn)代空中軍事力量的一員，具有的特點(diǎn)也十分明顯：無(wú)人員傷亡、隱蔽性好、小巧靈活等等。軍用無(wú)人機(jī)類型眾多，飛行環(huán)境復(fù)雜多變，飛行任務(wù)極具危險(xiǎn)，無(wú)人機(jī)的操縱與控制要求極高。軟件需要控制管理眾多類型無(wú)人機(jī)以便未來(lái)能夠完成更多軍事任務(wù)。所要需求是對(duì)各個(gè)類型的不同無(wú)人機(jī)進(jìn)行有效操作與控制。往系統(tǒng)的建模模塊輸入該需求，建模模塊為系統(tǒng)設(shè)計(jì)形式化建模語(yǔ)言，采用嚴(yán)密的數(shù)學(xué)表達(dá)方式與準(zhǔn)確的語(yǔ)義解釋，對(duì)無(wú)人機(jī)控制進(jìn)行精確無(wú)二義性的描述，接著對(duì)無(wú)人機(jī)控制軟件中各個(gè)agent的行為結(jié)構(gòu)進(jìn)行建模。層次化MAS模型頂層可分為偵查控制agent、誘引控制agent、電子對(duì)抗控制agent以及攻擊控制agent，其中偵查控制agent的下一層有專門用于獲取偵查信息的多個(gè)agent，例如位置識(shí)別agent、信息傳送agent、環(huán)境識(shí)別agent、飛行控制agent等，該層agent互相協(xié)調(diào)工作并與上一層進(jìn)行交互。類似地，對(duì)于飛行控制agent又會(huì)與其下層多個(gè)agent進(jìn)行交互。針對(duì)飛行環(huán)境復(fù)雜多變，還需設(shè)計(jì)環(huán)境agent用來(lái)處理環(huán)境信息。利用建模語(yǔ)言，對(duì)軍用無(wú)人機(jī)控制軟件進(jìn)行建模，得到層次化MAS模型。之后，利用仿真模塊對(duì)軍用無(wú)人機(jī)控制軟件的層次化MAS模型進(jìn)行仿真，得到各個(gè)agent之間的交互行為。

需要說(shuō)明的是：

在此提供的算法和顯示不與任何特定計(jì)算機(jī)、虛擬裝置或者其它設(shè)備固有相關(guān)。各種通用裝置也可以與基于在此的示教一起使用。根據(jù)上面的描述，構(gòu)造這類裝置所要求的結(jié)構(gòu)是顯而易見(jiàn)的。此外，本發(fā)明也不針對(duì)任何特定編程語(yǔ)言。應(yīng)當(dāng)明白，可以利用各種編程語(yǔ)言實(shí)現(xiàn)在此描述的本發(fā)明的內(nèi)容，并且上面對(duì)特定語(yǔ)言所做的描述是為了披露本發(fā)明的最佳實(shí)施方式。

在此處所提供的說(shuō)明書(shū)中，說(shuō)明了大量具體細(xì)節(jié)。然而，能夠理解，本發(fā)明的實(shí)施例可以在沒(méi)有這些具體細(xì)節(jié)的情況下實(shí)踐。在一些實(shí)例中，并未詳細(xì)示出公知的方法、結(jié)構(gòu)和技術(shù)，以便不模糊對(duì)本說(shuō)明書(shū)的理解。

類似地，應(yīng)當(dāng)理解，為了精簡(jiǎn)本公開(kāi)并幫助理解各個(gè)發(fā)明方面中的一個(gè)或多個(gè)，在上面對(duì)本發(fā)明的示例性實(shí)施例的描述中，本發(fā)明的各個(gè)特征有時(shí)被一起分組到單個(gè)實(shí)施例、圖、或者對(duì)其的描述中。然而，并不應(yīng)將該公開(kāi)的方法解釋成反映如下意圖：即所要求保護(hù)的本發(fā)明要求比在每個(gè)權(quán)利要求中所明確記載的特征更多的特征。更確切地說(shuō)，如下面的權(quán)利要求書(shū)所反映的那樣，發(fā)明方面在于少于前面公開(kāi)的單個(gè)實(shí)施例的所有特征。因此，遵循具體實(shí)施方式的權(quán)利要求書(shū)由此明確地并入該具體實(shí)施方式，其中每個(gè)權(quán)利要求本身都作為本發(fā)明的單獨(dú)實(shí)施例。

本領(lǐng)域那些技術(shù)人員可以理解，可以對(duì)實(shí)施例中的設(shè)備中的模塊進(jìn)行自適應(yīng)性地改變并且把它們?cè)O(shè)置在與該實(shí)施例不同的一個(gè)或多個(gè)設(shè)備中?？梢园褜?shí)施例中的模塊或單元或組件組合成一個(gè)模塊或單元或組件，以及此外可以把它們分成多個(gè)子模塊或子單元或子組件。除了這樣的特征和/或過(guò)程或者單元中的至少一些是相互排斥之外，可以采用任何組合對(duì)本說(shuō)明書(shū)(包括伴隨的權(quán)利要求、摘要和附圖)中公開(kāi)的所有特征以及如此公開(kāi)的任何方法或者設(shè)備的所有過(guò)程或單元進(jìn)行組合。除非另外明確陳述，本說(shuō)明書(shū)(包括伴隨的權(quán)利要求、摘要和附圖)中公開(kāi)的每個(gè)特征可以由提供相同、等同或相似目的的替代特征來(lái)代替。

此外，本領(lǐng)域的技術(shù)人員能夠理解，盡管在此所述的一些實(shí)施例包括其它實(shí)施例中所包括的某些特征而不是其它特征，但是不同實(shí)施例的特征的組合意味著處于本發(fā)明的范圍之內(nèi)并且形成不同的實(shí)施例。例如，在下面的權(quán)利要求書(shū)中，所要求保護(hù)的實(shí)施例的任意之一都可以以任意的組合方式來(lái)使用。

本發(fā)明的各個(gè)部件實(shí)施例可以以硬件實(shí)現(xiàn)，或者以在一個(gè)或者多個(gè)處理器上運(yùn)行的軟件模塊實(shí)現(xiàn)，或者以它們的組合實(shí)現(xiàn)。本領(lǐng)域的技術(shù)人員應(yīng)當(dāng)理解，可以在實(shí)踐中使用微處理器或者數(shù)字信號(hào)處理器(DSP)來(lái)實(shí)現(xiàn)根據(jù)本發(fā)明實(shí)施例的虛擬機(jī)的創(chuàng)建裝置中的一些或者全部部件的一些或者全部功能。本發(fā)明還可以實(shí)現(xiàn)為用于執(zhí)行這里所描述的方法的一部分或者全部的設(shè)備或者裝置程序(例如，計(jì)算機(jī)程序和計(jì)算機(jī)程序產(chǎn)品)。這樣的實(shí)現(xiàn)本發(fā)明的程序可以存儲(chǔ)在計(jì)算機(jī)可讀介質(zhì)上，或者可以具有一個(gè)或者多個(gè)信號(hào)的形式。這樣的信號(hào)可以從因特網(wǎng)網(wǎng)站上下載得到，或者在載體信號(hào)上提供，或者以任何其他形式提供。

應(yīng)該注意的是上述實(shí)施例對(duì)本發(fā)明進(jìn)行說(shuō)明而不是對(duì)本發(fā)明進(jìn)行限制，并且本領(lǐng)域技術(shù)人員在不脫離所附權(quán)利要求的范圍的情況下可設(shè)計(jì)出替換實(shí)施例。在權(quán)利要求中，不應(yīng)將位于括號(hào)之間的任何參考符號(hào)構(gòu)造成對(duì)權(quán)利要求的限制。單詞“包含”不排除存在未列在權(quán)利要求中的元件或步驟。位于元件之前的單詞“一”或“一個(gè)”不排除存在多個(gè)這樣的元件。本發(fā)明可以借助于包括有若干不同元件的硬件以及借助于適當(dāng)編程的計(jì)算機(jī)來(lái)實(shí)現(xiàn)。在列舉了若干裝置的單元權(quán)利要求中，這些裝置中的若干個(gè)可以是通過(guò)同一個(gè)硬件項(xiàng)來(lái)具體體現(xiàn)。單詞第一、第二、以及第三等的使用不表示任何順序?？蓪⑦@些單詞解釋為名稱。

顯然，本領(lǐng)域的技術(shù)人員可以對(duì)本發(fā)明進(jìn)行各種改動(dòng)和變型而不脫離本發(fā)明的精神和范圍。這樣，倘若對(duì)本發(fā)明的這些修改和變型屬于本發(fā)明權(quán)利要求及其同等技術(shù)的范圍之內(nèi)，則本發(fā)明也意圖包含這些改動(dòng)和變型在內(nèi)。