雷永林, 朱一凡, 譚躍進, 楊　峰, 姚　劍

(國防科學(xué)技術(shù)大學(xué)信息系統(tǒng)與管理學(xué)院, 湖南 長沙 410073)

?

模型驅(qū)動的復(fù)雜人機系統(tǒng)過程建模仿真方法

雷永林, 朱一凡, 譚躍進, 楊峰, 姚劍

(國防科學(xué)技術(shù)大學(xué)信息系統(tǒng)與管理學(xué)院, 湖南 長沙 410073)

摘要：復(fù)雜人機系統(tǒng)涉及復(fù)雜的技術(shù)系統(tǒng)過程、認(rèn)知決策過程以及人機協(xié)同過程,是當(dāng)前系統(tǒng)工程研究最具挑戰(zhàn)的領(lǐng)域之一。建模仿真在很多情況下是分析復(fù)雜人機系統(tǒng)過程性能效能的唯一可行選擇。分析了復(fù)雜人機系統(tǒng)過程建模以及系統(tǒng)仿真模型表示的主要方法。結(jié)合平臺級作戰(zhàn)過程建模應(yīng)用問題,給出了一種物理域、認(rèn)知域、模型框架三分的復(fù)雜人機系統(tǒng)過程建模框架。在模型驅(qū)動方法的指導(dǎo)下,綜合運用多方法建模、領(lǐng)域特定建模等方法討論了復(fù)雜人機系統(tǒng)過程仿真模型設(shè)計問題。對其他領(lǐng)域的復(fù)雜人機系統(tǒng)過程建模仿真問題研究具有示范意義。

關(guān)鍵詞：復(fù)雜人機系統(tǒng); 過程建模與仿真; 模型驅(qū)動; 平臺級作戰(zhàn)過程

0引言

人機系統(tǒng)是一類強調(diào)人和機器協(xié)同分工共同完成某一使命任務(wù)的系統(tǒng)。其中人主要發(fā)揮監(jiān)控和引導(dǎo)作用,機器負(fù)責(zé)繁瑣、危險的任務(wù)執(zhí)行功能。復(fù)雜人機系統(tǒng)則是指系統(tǒng)中存在組織化的人群和成規(guī)模的機器系統(tǒng),在開放、動態(tài)、網(wǎng)絡(luò)化的環(huán)境中完成復(fù)雜的使命任務(wù)[1]。典型的例子如高技術(shù)軍事作戰(zhàn)系統(tǒng)、民用航空管控系統(tǒng)、抗震救災(zāi)協(xié)同搜救系統(tǒng)等。由于人的因素的深度介入,復(fù)雜人機系統(tǒng)研制較之傳統(tǒng)人工系統(tǒng)設(shè)計體現(xiàn)出了更多的復(fù)雜性,理論分析和實際試驗均面臨較大局限,仿真手段在很多時候成為唯一可行的選擇。為了優(yōu)化復(fù)雜人機系統(tǒng)的設(shè)計,一般要分析復(fù)雜人機系統(tǒng)工作過程的使命效能。這就要建立復(fù)雜人機系統(tǒng)的過程模型,并據(jù)此進行仿真分析。本文在分析綜述目前各類復(fù)雜人機系統(tǒng)過程建模與仿真的方法的基礎(chǔ)上,以軍事系統(tǒng)平臺級作戰(zhàn)過程為例,在模型驅(qū)動方法的指導(dǎo)下,給出了一種物理域、認(rèn)知域、模型框架三分的復(fù)雜人機系統(tǒng)過程建?？蚣?。該框架基于模型驅(qū)動方法,綜合運用多方法建模、領(lǐng)域特定建模等方法從領(lǐng)域和應(yīng)用兩個層面建立復(fù)雜人機系統(tǒng)過程仿真模型,支持過程模型的可擴展、可組合、可演化需求,對其他領(lǐng)域的復(fù)雜人機系統(tǒng)過程建模仿真問題研究具有示范意義。

1復(fù)雜人機系統(tǒng)過程建模方法

不同于一般系統(tǒng)的工作過程,復(fù)雜人機系統(tǒng)的工作過程分為人的認(rèn)知決策過程、人工系統(tǒng)的技術(shù)功能過程以及人機一體交互協(xié)同過程。相應(yīng)地,復(fù)雜人機系統(tǒng)過程建模方法也可以分為3部分討論。

1.1人工系統(tǒng)的技術(shù)功能過程建模方法

復(fù)雜人工系統(tǒng)一般都屬于典型的賽博物理系統(tǒng)(cyber-physical systems, CPS)[2],包括物理執(zhí)行子系統(tǒng)和賽博控制子系統(tǒng)。其中物理執(zhí)行子系統(tǒng)技術(shù)功能過程的時空變化屬于典型的連續(xù)系統(tǒng),一般用基于微分方程的連續(xù)系統(tǒng)建模方法來描述,并采用龍格庫塔等數(shù)值仿真方法來求解,典型的連續(xù)系統(tǒng)建模語言或仿真工具是CSSL[3]、Modelica[4]和Simulink[5]。賽博控制子系統(tǒng)又可粗略地分為感知監(jiān)測子系統(tǒng)和反饋控制子系統(tǒng)。感知監(jiān)測子系統(tǒng)作用是對人工系統(tǒng)狀態(tài)進行采樣檢測,其工作過程屬于典型的離散時間過程,一般用基于差分方程的離散時間系統(tǒng)建模方法來描述,最常用的是一階差分方程。因因果關(guān)系已知,離散時間系統(tǒng)的差分方程模型很容易在數(shù)字計算機上直接求解,實際上連續(xù)系統(tǒng)微分方程的數(shù)值仿真算法也是使用了這種因果關(guān)系已知的差分方程進行近似求解[6]。反饋控制子系統(tǒng)的作用是對人工系統(tǒng)進行多模式自動控制,一般用反饋多模態(tài)層次并發(fā)狀態(tài)圖來描述,最典型的例子是Statecharts狀態(tài)圖[7]。當(dāng)前,許多建模語言或工具都支持Statecharts模型的表達,代表性的Statecharts實現(xiàn)主要有面向?qū)ο蟮腎BM Rational Rhapsody[8]和非面向?qū)ο蟮腟tateflow[9]。前者屬于代表性的UML(unified modeling language)建模工具,實現(xiàn)了UML建模規(guī)范[10],包括UML State Machine Diagram,已經(jīng)大量地用于反饋控制系統(tǒng)過程行為建模;后者是工業(yè)級仿真平臺Simulink的擴展模塊,支持反饋控制系統(tǒng)多模態(tài)模型的設(shè)計和仿真。除此之外,著名的嵌入式系統(tǒng)建模仿真平臺Ptolemy Ⅱ也實現(xiàn)了Statecharts以支持多模態(tài)模型的描述[11]。

1.2人的認(rèn)知決策過程建模方法

人的介入是復(fù)雜人機系統(tǒng)的主要復(fù)雜性來源,人的認(rèn)知決策因而也是復(fù)雜人機系統(tǒng)過程建模的重點和難點,涉及認(rèn)知科學(xué)、決策科學(xué)、人工智能等學(xué)科和技術(shù)。認(rèn)知決策過程建模的目的是使計算模型在仿真中模擬人做出合理的決策并表現(xiàn)可信的行為[12]。在目前的復(fù)雜人機系統(tǒng)建模與仿真應(yīng)用中認(rèn)知決策過程建模方法分為3類:①基于規(guī)則推理建模準(zhǔn)確實現(xiàn)建模人員的意圖,典型的系統(tǒng)如Brawler[13]、EADSIM[14]、ModSAF[15]等;②基于人工智能建模生成最佳決策方案應(yīng)用于仿真,典型的人工智能模型如Markov決策過程、博弈模型、影響網(wǎng)絡(luò)等[16-17];③基于認(rèn)知架構(gòu)建模在仿真中產(chǎn)生更加真實的行為,典型的認(rèn)知架構(gòu)如Soar[18-19]和ACT-R[20-21]。

1.3人機交互協(xié)同過程建模方法

人機交互協(xié)同過程分為3類子過程:人機交互過程,主要是人在適當(dāng)?shù)臅r刻向技術(shù)系統(tǒng)施加適當(dāng)?shù)目刂浦噶?技術(shù)系統(tǒng)以適當(dāng)?shù)姆绞竭m當(dāng)?shù)念l率向人報告工作狀態(tài),在建?？紤]上主要進行人機接口協(xié)議設(shè)計;人人交互過程,主要是同級不同個體之間或上下級之間互相通報態(tài)勢、指令、請求、支援等信息,屬于組織社會域的范疇。人人交互一般是間接地,需要各自所操縱物理系統(tǒng)特別是通信設(shè)備的支持,因此在建模上也需要提供通信協(xié)議接口,一般也合并到認(rèn)知域并采用認(rèn)知決策過程建模方法進行建模;機機交互過程,主要是多個技術(shù)系統(tǒng)之間通過預(yù)設(shè)的協(xié)同機制完成復(fù)雜使命任務(wù),這種協(xié)同機制盡管復(fù)雜,但是確定的、自動化的,在建模時一般并入物理域進行建模。

這樣一來,人機交互協(xié)同過程建模問題就可分為3個子問題:人機接口協(xié)議建模、組織社會域認(rèn)知決策建模、物理域協(xié)同機制建模。后兩個問題所采用的建模方法本質(zhì)上仍然屬于前述人的認(rèn)知決策過程建模方法和技術(shù)功能過程建模方法的范疇。人機接口協(xié)議建模一般采用Agent架構(gòu),即將人機接口分為感知、理解、規(guī)劃、決策、執(zhí)行、通信等功能模塊,分別設(shè)計相應(yīng)的交互接口,支持認(rèn)知域、組織社會域認(rèn)知決策行為的描述。

2系統(tǒng)仿真模型表示方法

為了實現(xiàn)對上述復(fù)雜人機系統(tǒng)過程模型的計算機仿真運行以及實驗分析,有必要在過程建模方法的基礎(chǔ)上研究仿真模型的計算機表示問題。仿真模型表示是指在仿真建模方法的基礎(chǔ)上,以某種計算機語言描述仿真模型,使其可以被計算機所理解,支持在計算機上進行自動化的運行實驗。復(fù)雜人機系統(tǒng)過程建模涉及多方面的建模方法和異構(gòu)模型,在系統(tǒng)層面的仿真模型表示方法要解決的就是要使得這些模型能夠進行統(tǒng)一表示,支持模型的語義組合以及便捷演化。

當(dāng)前,系統(tǒng)仿真領(lǐng)域能夠支持異構(gòu)仿真模型表示的方法大致可分為4類:統(tǒng)一仿真協(xié)議、統(tǒng)一建模方法、統(tǒng)一模型規(guī)范和模型驅(qū)動方法。

2.1統(tǒng)一仿真協(xié)議

統(tǒng)一仿真協(xié)議是一種在復(fù)雜系統(tǒng)仿真領(lǐng)域比較流行的方法。這種方法主要統(tǒng)一表示各類異構(gòu)仿真模型的接口表示及互操作機制,并不限制模型內(nèi)部的方法和實現(xiàn)細(xì)節(jié),思路簡單,容易上手,易于被各領(lǐng)域建模人員所接受,在包括復(fù)雜人機系統(tǒng)在內(nèi)的各類復(fù)雜系統(tǒng)領(lǐng)域取得了廣泛應(yīng)用。著名的例子是高層體系結(jié)構(gòu)(high level architecture, HLA)[22]。由于統(tǒng)一仿真協(xié)議對仿真模型本身限制很少,導(dǎo)致隨著應(yīng)用的深入和不斷發(fā)展,許多深層次問題暴露出來,例如模型集成困難、維護調(diào)試?yán)щy、仿真實驗管理復(fù)雜、運行效率不高、模型重用很難以組合方式實現(xiàn)等。這些問題其實大部分都可以也應(yīng)該在建模層面得到處理,由于缺乏建模方法的支持,留給了實現(xiàn)層面[23]。實踐表明,統(tǒng)一仿真協(xié)議主要適用于進行多仿真系統(tǒng)互操作集成,單獨并不足以支持復(fù)雜人機系統(tǒng)異構(gòu)過程仿真模型的統(tǒng)一表示、語義組合以及便捷演化。

2.2統(tǒng)一模型規(guī)范

統(tǒng)一模型規(guī)范在統(tǒng)一仿真協(xié)議規(guī)定仿真模型接口和互操作機制的基礎(chǔ)上,進一步支持仿真模型的設(shè)計結(jié)構(gòu)的平臺無關(guān)表示,有利于仿真模型的可組合和便捷演化的實現(xiàn)。典型的例子是互操作標(biāo)準(zhǔn)化組織的基本對象模型(base object model, BOM)規(guī)范[24]和歐洲空間工業(yè)界的仿真建模平臺(simulation modeling platform, SMP)規(guī)范[25]。BOM在HLA的基礎(chǔ)上進一步規(guī)定了對象模型的概念模型表達以及基于狀態(tài)的行為模式表達。SMP定義了類似HLA接口規(guī)范的仿真組件模型規(guī)范,以及仿真模型定義語言,支持仿真模型結(jié)構(gòu)的平臺無關(guān)表示。受設(shè)計目標(biāo)限制,統(tǒng)一模型規(guī)范對于多領(lǐng)域異構(gòu)行為模式的表達支持相對較弱。

2.3統(tǒng)一建模方法

統(tǒng)一建模方法是指對于多領(lǐng)域異構(gòu)模型,采用統(tǒng)一的建模形式體系或建模語言來進行描述,并基于統(tǒng)一的仿真框架運行。統(tǒng)一建模方法不同于普通的仿真建模方法主要針對某一類行為模式,能夠支持多類行為模式的描述。典型的如DEVS能夠描述各類離散事件行為模式和各類離散時間行為模式,并能夠以任意小精度表示連續(xù)時間行為模式[26];文獻[4]能夠以因果方式和非因果方式描述各類連續(xù)時間行為模式,能夠描述離散系統(tǒng)領(lǐng)域的事件行為模式和狀態(tài)行為模式。另外,UML也被作為一種統(tǒng)一建模方法大量地用于異構(gòu)仿真建模[27]。盡管UML支持多類行為模型的一體化表達,由于缺乏許多對于仿真至關(guān)重要的建模元素和建模機制,本身并不是一種仿真建模方法。UML對多類仿真模型(主要是行為模型)的統(tǒng)一表示要向下映射到對象代碼層面,難以滿足語義組合和便捷演化的需要,主要適于過程模型的概念描述。

2.4模型驅(qū)動方法

同上述3類方法相比,模型驅(qū)動方法實際上是一種元方法。模型驅(qū)動方法是軟件工程領(lǐng)域當(dāng)前的主流范式,稱作模型驅(qū)動工程(model driven engineering, MDE)[28]。模型驅(qū)動工程實際上提供了一種通用的計算模型表示方法,而不僅僅限于普通的軟件建模。仿真模型的表示問題和軟件建模類似,都屬于計算建模的范疇,因此可以應(yīng)用模型驅(qū)動工程方法以享用MDE所帶來的統(tǒng)一表示、便捷演化等優(yōu)勢。MDE在操作上是一種基于元模型的方法,強調(diào)針對問題域構(gòu)建恰當(dāng)?shù)脑Ｐ?并基于該元模型自動或半自動地構(gòu)建面向問題域的建模語言和建模工具,通過統(tǒng)一的元元模型支持不同元模型的統(tǒng)一表達以及不同元模型之間的映射和集成,據(jù)此支持模型語義組合問題的解決。由于維護了明確的領(lǐng)域元模型,模型演化問題可以通過調(diào)整領(lǐng)域元模型來系統(tǒng)地加以解決。

目前MDE主要有兩大流派:模型驅(qū)動架構(gòu)(model driven architecture, MDA)[29]和領(lǐng)域特定建模(domain specific modeling, DSM)[30]。前者提供兩種元建模方案,一種是輕量級的,另一種是重量級的。輕量級方案通過Profile機制在UML元模型基礎(chǔ)上面向領(lǐng)域進行擴展。重量級的則直接通過MDA定義的元元模型MOF(meta object facility)進行領(lǐng)域元模型開發(fā)。前述SMP規(guī)范實際上也是遵循模型驅(qū)動方法進行定義,采用的是重量級方案,直接基于MOF定義其元模型[31]。DSM的思路和MDA的重量級方案類似,只是不一定非要基于MOF元元模型。就元建模支持環(huán)境而言,大多數(shù)的UML工具都支持MDA輕量級元建模方案,但并不支持重量級方案。DSM的典型支持環(huán)境如MetaEdit、GME、AtoM3、EMF。其中EMF(eclipse modeling framework)[32]采用MOF元元模型,因此實際上也是一種重量級的MDA元建?？蚣堋?/p>

3模型驅(qū)動的作戰(zhàn)過程建模與仿真

3.1需求分析

復(fù)雜軍事系統(tǒng)屬于典型的復(fù)雜人機系統(tǒng),其作戰(zhàn)過程涉及復(fù)雜的物理技術(shù)過程、人的認(rèn)知決策過程和人機協(xié)同過程。復(fù)雜軍事系統(tǒng)作戰(zhàn)可以進一步分為多個層級,如涉及單一使命較少實體的平臺交戰(zhàn)級、涉及多個使命大量實體的使命級、涉及多個使命多個戰(zhàn)術(shù)階段的戰(zhàn)役級等[33]。不同層級的過程建模則表現(xiàn)出明顯不同的建模需求。這里結(jié)合實際主要考慮平臺交戰(zhàn)級。平臺級作戰(zhàn)過程模型表現(xiàn)出了明顯的多模式行為,包括狀態(tài)行為、事件行為、離散時間行為、連續(xù)時間行為、反應(yīng)式行為、慎思式行為等。仿真模型表示方面則表現(xiàn)出了突出的領(lǐng)域特定建模、仿真模型重用、語義組合和快捷演化等需求。面對如此復(fù)雜的需求,任意單一的過程建模方法和仿真模型表示方法都是難以滿足需求的,需要在模型驅(qū)動方法的基礎(chǔ)上綜合應(yīng)用各類建模方法進行建模。

3.2模型驅(qū)動的平臺級作戰(zhàn)過程建模仿真框架

平臺級作戰(zhàn)過程一般以平臺為中心,作戰(zhàn)指揮員的認(rèn)知決策主要是對所屬平臺上的作戰(zhàn)系統(tǒng)進行戰(zhàn)術(shù)控制以及與友鄰作戰(zhàn)平臺進行作戰(zhàn)協(xié)同。在建模考慮上,一般以平臺模型為基礎(chǔ),按照Agent建模方法將指揮員的認(rèn)知決策行為建模為平臺Agent模型的感知、計劃、決策等模塊。多個作戰(zhàn)平臺之間的協(xié)同則分解為物理域協(xié)同和認(rèn)知域協(xié)同兩部分來實現(xiàn)。為此,可以將平臺級作戰(zhàn)過程模型分為3個有機聯(lián)系的部分來建模:以平臺為中心的模型框架、物理域行為模型、認(rèn)知域行為模型。為支持三部分模型的可擴展、可組合、可演化,首先在領(lǐng)域工程思想的指導(dǎo)下將每部分模型分為領(lǐng)域和應(yīng)用兩個層面,其中領(lǐng)域?qū)用娴哪Ｐ椭饕枋銎脚_級作戰(zhàn)領(lǐng)域的領(lǐng)域共性結(jié)構(gòu)和行為,應(yīng)用層面則在領(lǐng)域模型的基礎(chǔ)上只需描述應(yīng)用特定的行為。對于三部分都可以基于模型驅(qū)動方法綜合運用各種合適的建模方法進行模型設(shè)計,這一點將在后續(xù)各部分介紹時展開?；谝陨峡紤],構(gòu)建了模型驅(qū)動的平臺級作戰(zhàn)過程建模仿真框架,如圖1所示。

圖1　模型驅(qū)動的平臺級作戰(zhàn)過程建模仿真框架

3.2.1以平臺為中心的模型框架建模

模型框架是指系統(tǒng)主要的模型元素、元素自身的抽象層次以及元素間的結(jié)構(gòu)和交互關(guān)系。以平臺為中心的模型框架是指以平臺模型元素為中心,來組合其他各類作戰(zhàn)系統(tǒng)模型元素以及指揮員的認(rèn)知決策模型。模型框架是整個作戰(zhàn)過程模型的基礎(chǔ),確定了各類行為模型的主體來源和潛在的交互協(xié)同機制,并規(guī)定人機模型之間的交互接口。目前可用于模型框架建模的方法主要有Agent方法、面向?qū)ο蠓椒?、基于組件方法等。Agent方法抽象層次較高,框架約束性強,比較適合于個體眾多、每個個體行為簡單、交互涌現(xiàn)復(fù)雜的情況;面向?qū)ο蠓椒▌t位于較低抽象層次,框架約束性弱,適合于結(jié)合問題特點建立更具針對性的模型框架;基于組件方法與面向?qū)ο蠓椒?lián)系密切,可以作為面向?qū)ο蠓椒ǖ难a充。為此主要采用面向?qū)ο蠓椒ê突诮M件方法進行建模,在其中根據(jù)需要實現(xiàn)Agent建模概念和機制。

(1) 基于UML的平臺級模型框架建模

UML作為一種圖形化建模語言,可以用來支持面向?qū)ο竽Ｐ涂蚣艿膱D形化描述。圖2是基于UML類圖描述的平臺級模型框架的頂層視圖。其中?Model?表示模型元素對象,?Interface?表示模型對象之間的接口。tmPlatform表示平臺模型,是整個模型框架的核心,各類作戰(zhàn)武器(tmWeapon)、傳感器(tmSensor)、通信設(shè)備(tmCommunicator)都被組合在平臺模型中。tmWESS是整個作戰(zhàn)過程模型的根,所有其他模型都被直接或間接地組合進tmWESS模型。tmGroup是編隊模型,用于支持多個作戰(zhàn)平臺之間的協(xié)同。需要注意的是圖中大部分模型對象都是抽象的(用斜體表示),表示還存在更多的更加具體的子類對象,描述在其他視圖中。

在此模型框架之下,指揮員的認(rèn)知決策模型被建模為平臺模型(tmPlatform)的認(rèn)知域模塊,和物理域模塊之間進行交互,二者之間的交互關(guān)系如圖3所示。

圖2　頂層視圖

圖3　平臺模型物理域認(rèn)知域交互

(2) 基于SMP的平臺級模型框架表示

由于SMP采用了模型驅(qū)動方法并基于MOF進行定義,上述基于UML的模型框架可以直接地轉(zhuǎn)換為SMP表示。實際上,模型框架UML圖中已經(jīng)使用了UML的Profile技術(shù)將UML類圖元素映射到SMP建模元素,這樣一來,可以直接從基于UML的模型框架表示自動轉(zhuǎn)換為SMP表示。圖4給出了從UML表示轉(zhuǎn)換生成的SMP表示。在SMP表示基礎(chǔ)上,可以進一步產(chǎn)生模型框架的實現(xiàn)代碼。從圖4中可以看出平臺模型tmPlatform的SMP表示及實現(xiàn)代碼預(yù)覽。

3.2.2物理域過程多方法建模

物理域模型主要描述技術(shù)系統(tǒng)的工作過程,具體到平臺交戰(zhàn)級作戰(zhàn)過程,則需要描述上述模型框架中的各個模型對象的工作過程,包括各類平臺、武器、探測器、對抗措施等。除了要支持這些過程的表達外,還要考慮支持領(lǐng)域特定建模、模型重用、快捷演化等非功能需求。UML作為一種統(tǒng)一建模語言,不僅提供支持模型框架建模的結(jié)構(gòu)建模方法,而且提供支持多種行為模式描述的行為建模語言,支持模型的圖形化表達,有利于建模人員對模型的理解和擴展。當(dāng)然,UML并不能支持所有的物理行為建模需求,例、如連續(xù)行為建模、離散事件仿真建模等,但UML能夠較好地支持更加復(fù)雜的多模態(tài)行為建模以及對象交互行為建模,為此選用UML作為主要的物理域過程建模方法,在此基礎(chǔ)上結(jié)合實際需要進行擴展設(shè)計。下面介紹在實際中用到的幾個典型的物理過程模型。

圖4　SMP模型框架表示

(1) 基于Statecharts的制導(dǎo)武器行為建模

各型導(dǎo)彈、魚雷等制導(dǎo)武器的行為表現(xiàn)出明顯的模態(tài)性,即既有連續(xù)動力學(xué)行為,又有離散的模態(tài)控制行為。在不同的控制階段,控制策略存在差異性,而連續(xù)動力學(xué)行為則基本相同,控制模式切換的觸發(fā)信號或條件非常明確,適于采用UML的Statecharts行為圖來進行描述。圖5給出了一個基于Statecharts的地空導(dǎo)彈行為模型。圖中主要給出了建模人員更為關(guān)心的多模態(tài)控制框架,連續(xù)動力學(xué)行為則實現(xiàn)在各個狀態(tài)的do函數(shù)中。圖形化表達不僅非常有利于建模人員理解模型的物理行為,便于維護和擴展,而且在代碼生成器的支持下,可以方便地產(chǎn)生模型行為的框架代碼。

圖5　基于Statecharts的地空導(dǎo)彈行為建模

(2) 基于離散事件仿真的火炮行為建模

火炮是一類特殊的武器,在平臺級模型層次一般并不需要模擬每個炮彈的彈道軌跡,而是根據(jù)火炮的角精度和殺傷概率計算炮彈的可能命中時間以及在命中時刻能否命中目標(biāo)。命中時間可以基于炮彈的初速度以及炮彈和目標(biāo)的初始位置來估算。為了估算是否命中,則需要精確地調(diào)度命中時刻,并依據(jù)目標(biāo)在該時刻的實際位置計算是否命中。這一點可以通過定義開火(BulletFire)和命中(BulletHit)兩個離散事件并通過離散事件仿真來調(diào)度實現(xiàn)。整個火炮的行為模型則通過Statecharts及其離散事件仿真擴展來實現(xiàn),如圖6和圖7所示。其中圖6給出了火炮的主要工作狀態(tài)及其切換條件和事件,圖7是對圖6中用到的離散事件仿真調(diào)度機制的實現(xiàn)設(shè)計。

圖6　基于Statecharts+離散事件仿真的火炮行為建模

圖7　離散事件仿真模型框架

3.2.3認(rèn)知行為領(lǐng)域特定建模

認(rèn)知行為是人的行為。相對于技術(shù)系統(tǒng)的物理域行為,認(rèn)知行為的特點是其可變性,即對于同一使命作戰(zhàn)過程,指揮員可能希望嘗試不同的戰(zhàn)術(shù)決策方案以便取得更好的作戰(zhàn)結(jié)果。認(rèn)知域行為建模因此必須支持這種可變性,采用腳本來描述認(rèn)知域模型,利用腳本的動態(tài)執(zhí)行能力支持對同一使命作戰(zhàn)過程戰(zhàn)術(shù)決策方案的靈活修改。具體的腳本語言選用Python。另一方面,不同作戰(zhàn)平臺在不同的作戰(zhàn)使命中可能存在差別很大的認(rèn)知行為模式,例如對于戰(zhàn)斗機空戰(zhàn),其主要認(rèn)知行為模式可以基于狀態(tài)來表達不同的作戰(zhàn)階段;而對于艦艇海戰(zhàn),則表現(xiàn)出明顯的多任務(wù)并發(fā)協(xié)同模式,需要采用多任務(wù)并發(fā)計算模型(如Petri網(wǎng))等。為此,針對不同的作戰(zhàn)平臺和作戰(zhàn)任務(wù),有必要提供更加針對性的建模方法和建模語言。選用DSM方法來進行認(rèn)知域行為建模。DSM方法主要分為4個步驟:領(lǐng)域問題概念分析、領(lǐng)域元建模、領(lǐng)域建模語言定義和建模環(huán)境生成、領(lǐng)域代碼生成器開發(fā)。下面以戰(zhàn)斗機空戰(zhàn)行為建模為例來說明領(lǐng)域特定建模方法的應(yīng)用。

(1) 戰(zhàn)斗機空戰(zhàn)行為建模概念分析

戰(zhàn)斗機空戰(zhàn)行為表現(xiàn)出明顯的基于狀態(tài)的行為模式。典型的空戰(zhàn)過程可以清晰地分為多個作戰(zhàn)階段,如圖8所示。戰(zhàn)斗機一開始按照計劃的線路進行編隊飛行,表示為FormFly階段。發(fā)現(xiàn)目標(biāo)后將進入作戰(zhàn)模式,根據(jù)距離目標(biāo)的遠近進入超視距作戰(zhàn)階段BVRFight或近距作戰(zhàn)階段CACFight。收到物理域模型發(fā)送的導(dǎo)彈發(fā)射提示信號(Missile LaunchHint)后,如果是近距導(dǎo)彈發(fā)射,則進入擺脫階段(Drag Away);如果是中遠距導(dǎo)彈發(fā)射,則進入導(dǎo)彈制導(dǎo)階段(Missile Guide)。當(dāng)收到物理域模型發(fā)送的雷達鎖定信號后(Lock By Radar),如果當(dāng)前階段是FormFly、BVRFight、CACFight、DragAway或RTB,則進入擺脫鎖定(Break Lock)階段。收到導(dǎo)彈告警信號(Missile Warning By ESM或MissileWarningByRadar)后,進入規(guī)避導(dǎo)彈階段(AvoidMissile)。注意在收到MissileWarningByRadar事件后,并不是立即進入AvoidMissile階段,而是要等到距目標(biāo)一定距離(例如20 km)內(nèi),這樣就需要通過外部調(diào)度一個條件事件(GuardEvent)來實現(xiàn)這一點。在不同的運動階段,認(rèn)知決策模型將下達不同的戰(zhàn)術(shù)控制和機動動作指令,以控制戰(zhàn)斗機平臺模型的飛行和作戰(zhàn)。

(2) 戰(zhàn)斗機空戰(zhàn)行為元建模

根據(jù)以上的概念分析,戰(zhàn)斗機空戰(zhàn)行為建模主要基于Statecharts,但并未使用Statecharts的全部特征,例如并發(fā)、歷史等。另外需要結(jié)合領(lǐng)域的特點,例如狀態(tài)稱作作戰(zhàn)階段更合適、需要區(qū)分物理域內(nèi)部事件和認(rèn)知域外部事件、需要描述機動動作控制階段、需要描述領(lǐng)域特定的約束等。為此有必要參照Statecharts元模型設(shè)計面向戰(zhàn)斗機空戰(zhàn)行為建模的元模型。在元模型建模語言和建?？蚣苌?本文選用EMF。因為EMF目前已經(jīng)成為實踐上進行元建模的準(zhǔn)標(biāo)準(zhǔn)技術(shù),并提供GMF、OCL、XText等外圍技術(shù)全方位地支持領(lǐng)域特定建模[34]。圖9是一個初步的戰(zhàn)斗機空戰(zhàn)行為元模型,其中Node、Transition、AbstractState、PesudoState、FinalState等借鑒自Statecharts元模型,其他則結(jié)合戰(zhàn)斗機空戰(zhàn)行為建模實際需要而設(shè)計。

圖8　基于UML狀態(tài)機的空戰(zhàn)行為概念模型

圖9　基于EMF的戰(zhàn)斗機空戰(zhàn)行為元模型

(3) 戰(zhàn)斗機空戰(zhàn)行為建模工具生成

DSM方法的強大之處在于在領(lǐng)域元模型基礎(chǔ)上可以通過配置生成圖形化的領(lǐng)域特定建模工具。GMF[35]作為EMF技術(shù)路線中的圖形建?？蚣?可以實現(xiàn)由上述EMF元模型生成圖形化的戰(zhàn)斗機空戰(zhàn)行為建模工具。圖10給出了生成的戰(zhàn)斗機空戰(zhàn)行為建模工具的截圖,同前述基于UML Statecharts建立的空戰(zhàn)行為概念模型圖相比較,圖10中的模型針對性更強,而且是完全可控、完全形式化的,可以在此基礎(chǔ)上添加靜態(tài)約束驗證、動態(tài)行為代碼生成等功能。

(4) 戰(zhàn)斗機空戰(zhàn)行為模型代碼生成

基于上述領(lǐng)域特定工具建立的模型最重要的好處就是產(chǎn)生行為模型代碼,支持認(rèn)知決策建模人員在更高的層面表達決策行為而不用擔(dān)心代碼實現(xiàn)問題。我們基于Acceleo語言和State模式建立了圖形模型到Python代碼的轉(zhuǎn)換模型,圖11是基于上述模型產(chǎn)生的行為代碼,這個代碼可以動態(tài)地與物理域模型相集成共同進行平臺級過程仿真。

圖10　基于GMF生成的戰(zhàn)斗機空戰(zhàn)行為建模工具

圖11　基于Python的認(rèn)知決策模型表示

4結(jié)論

復(fù)雜人機系統(tǒng)是當(dāng)前系統(tǒng)工程研究最具挑戰(zhàn)的領(lǐng)域之一。為支持復(fù)雜人機系統(tǒng)設(shè)計,建模仿真在很多情況下是分析復(fù)雜人機系統(tǒng)過程性能效能的唯一可行選擇。本文從技術(shù)系統(tǒng)過程建模、認(rèn)知決策過程建模、人機協(xié)同過程建模等方面分析了復(fù)雜人機系統(tǒng)過程建模的主要方法和應(yīng)用概況。為支持復(fù)雜人機系統(tǒng)過程模型的仿真,進一步分析綜述了系統(tǒng)仿真模型表示的主要方法。結(jié)合平臺交戰(zhàn)級作戰(zhàn)過程建模應(yīng)用問題,以模型驅(qū)動方法為指導(dǎo),給出了一種物理域、認(rèn)知域、模型框架三分的復(fù)雜人機系統(tǒng)過程建模框架,并討論了綜合運用多方法建模、領(lǐng)域特定建模等方法進行復(fù)雜人機系統(tǒng)過程仿真模型設(shè)計問題。其中平臺級作戰(zhàn)過程建模仿真框架對于其他領(lǐng)域的復(fù)雜人機系統(tǒng)過程建模仿真問題研究具有示范意義。

參考文獻：

[1] Tan Y J, Wu J, Liu Z, et al. Large complex human-machine system structure and behavior modeling, and organization design method[J].JournalofSystemEngineeringTheoryandPractice,2011,31(S1):73-81(譚躍進,吳俊,劉忠,等.大型復(fù)雜人機系統(tǒng)結(jié)構(gòu)、過程建模與組織設(shè)計方法研究現(xiàn)狀與展望[J].系統(tǒng)工程理論與實踐,2011,31(S1):73-81.)

[2] Edward A L. Cyber-physical systems-are computing foundations adequate?[C]∥Proc.oftheNSFWorkshopOnCyber-PhysicalSystems:ResearchMotivation,TechniquesandRoadmap, 2006.

[3] Astroem K, Elmqvist H, Mattsson S E. Evolution of continuous-time modeling and simulation[C]∥Proc.oftheEuropeanSimulationMulticonference, 1998:9-18.

[4] Modelica Association, Modelica Language Specification 3.3[EB/OL].[2014-12-20]. https:∥www.modelica.org/documents/ModelicaSpec33.pdf.

[5] MathWorks, Simulink? User’s Guide R2014a[EB/OL].[2014-12-19].http:∥www.mathworks.com/ products/simulink/.

[6] Fishwick P.Simulationmodeldesignandexecution:buildingdigitalworlds[M]. Upper Saddle River: Prentice Hall,1995

[7] Harel D. Statecharts: a visual formalism for complex systems[J].ScienceofComputerProgramming,1987,8(3):231-274.

[8] IBM white paper. Differences between rational rhapsody 8.0 Statecharts and UML 2.4.1 behavior state machine[EB/OL].[2014-12-19].http:∥www-01.ibm.com/support/docview.wss?uid=swg27040251.

[9] Hamon G. A denotational semantics for stateflow[C]∥Proc.ofthe5thACMInternationalConferenceonEmbeddedSoftware, 2005:164-172.

[10] OMG. OMG unified modeling language 2.5[EB/OL].[2014-12-10].http:∥www.omg.org/spec/UML/2.5.

[11] Ptolemaeus C. System design, modeling, and simulation: using Ptolemy Ⅱ[EB/OL].[2014-12-10]. Ptolemy.org.

[12] NATO RTO. Human behavior representation in constructive simulation[EB/OL].[2014-07-09]. http:∥www.dtic.mil/dtic/tr/fulltext/u2/a513651.pdf.

[13] Buschor D C. Sensitivity analysis of brawler pilot skill levels[EB/OL].[2014-08-07].http:∥www.dtic.mil/cgi-bin/GetTRDoc?Location=U2&doc=GetTRDoc.pdf&AD=ADA342131.

[14] US Army Space and Missile Defense Command. EADSIM executive summary[EB/OL].[2014-07-03]. http:∥www.eadsim.com/EADSIMExecSum.pdf.

[15] Calder R. Modsaf behavior simulation and control[C]∥Proc.oftheConferenceonComputerGeneratedForcesandBehavioralRepresentation, 1993.

[16] Wu X Y.Theoryofdecisionanalysis[M]. Beijing: Science Press, 2010. (武小悅. 決策分析理論[M].北京: 科學(xué)出版社, 2010.)

[17] Virtanen K, Karelahti J. Modeling air combat by a moving horizon influence diagram game[J].JournalofGuidance,Control,andDynamics, 2006, 29(5):1080-1091.

[18] Laird J E.Thesoarcognitivearchitecture[M]. Boston: MIT Press, 2012

[19] Nielsen P, Smoot D. Participation of TacAir-Soar in RoadRunner and Coyote exercises at Air Force Research Lab[R]. Mesa AZ, 2006.

[20] Mittal S, Douglass S A. Net-centric ACT-R-based cognitive architecture with DEVS unified process[C]∥Proc.oftheSymposiumonTheoryofModeling&Simulation:DEVSIntegrativeM&SSymposium, 2011.

[21] Just M A, Varma S. The organization of thinking: what functional brain imaging reveals about the neuroarchitecture of complex cognition[J].Cognitive,Affective, &BehavioralNeuroscience, 2007, 7(3):153-191.

[22] IEEE Std 1516-2010. IEEE standard for modeling and simulation (M&S) high level architecture-framework and rules[S]. Hudson: IEEE, 2010.

[23] Nuno S, Nicola D N. E-40-07, a new standard for simulation model portability and its implementation in SIMULUS[EB/OL].[2013-2-2]. http:∥sunset.usc.edu/ gsaw/ gsaw2008/s3/dinisio.pdf.

[24] SISO-STD-003-2006. Base object model (BOM) template specification[S]. SISO, 2006.

[25] ECSS-E-TM-40-07 Volume 1A. Simulation modelling platform-volume 1: principle[S]. Nordwijk ZH: European Cooperation for Space Standardization, 2011.

[26] Zeigler B, Praehofer H, Kim T K.Theoryofmodelingandsimulation[M]. 2nd ed. Salt Lake City: Academic Press, 2000.

[27] Arief L B, Speirs N A. A UML tool for an automatic generation of simulation programs[C]∥Proc.ofthe2ndInternationalWorkshoponSoftwareandPerformance, 2000:71-76.

[28] Atkinson C, Thomas K. Model-driven development: a metamodeling foundation[J].Software, 2003, 20(5):36-41.

[29] Miller J, Mukerji J. MDA guide version 1.0.1[EB/OL].[2014-10-22]. www.omg.org/omg/2003-06-01.

[30] Kell S, Tolvanen J P.Domain-specificmodeling:enablingfullcodegeneration[M]. Weinheim: Wiley, 2008.

[31] ECSS-E-TM-40-07 Volume 2A. Simulation modelling platform-volume 2: metamodel[S]. Nordwijk ZH: European Cooperation for Space Standardization, 2011.

[32] Steinberg D, Budinsky F, Paternostro M, et al.EMF:eclipsemodelingframework[M]. Pearson Education, 2008.

[33] Andreas T.Engineeringprinciplesofcombatmodelinganddistributedsimulation[M]. Weinheim: Wiley, 2012.

[34] Eclipse. EMF Modeling Project[EB/OL].[2014-5-5]. http:∥www.eclipse.org/modeling/emf/.

[35] Eclipse. GMF[EB/OL].[2014-5-5]. http:∥www.eclipse.org/modeling/gmp/.

雷永林(1978-),男,副教授,博士,主要研究方向為復(fù)雜系統(tǒng)建模、模型驅(qū)動仿真。

E-mail:yllei@nudt.edu.cn

朱一凡(1963-),男,教授,博士,主要研究方向為裝備體系論證、系統(tǒng)仿真。

E-mail:yfzhu@nudt.edu.cn

譚躍進(1958-),男,教授,博士,主要研究方向為復(fù)雜系統(tǒng)、裝備體系工程。

E-mail:yj_tan@nudt.edu.cn

楊峰(1975-),男,教授,博士,主要研究方向為作戰(zhàn)實驗、體系工程。

E-mail:yf.nudt@gmail.com

姚劍(1988-),男,博士研究生,主要研究方向為認(rèn)知行為建模、領(lǐng)域特定建模。

E-mail:markovyao@gmail.com

網(wǎng)絡(luò)優(yōu)先出版地址：http://www.cnki.net/kcms/detail/11.2422.TN.20150706.1606.002.html

Model driven process modeling and simulation of

complex man-machine systems

LEI Yong-lin, ZHU Yi-fan, TAN Yue-jin, YANG Feng, YAO Jian

(SchoolofInformationSystemsandManagement,NationalUniversityofDefenseTechnology,

Changsha410073,China)

Abstract:Complex man-machine systems (CMMS), as one of the most challenging areas in the field of systems engineering, encompass complex technological machine behavior, cognitive decision-making behavior, and collaborative man-machine interaction behavior. In many cases, modeling and simulation (M&S) is the only viable approach to analyze the performance and effectiveness of CMMS. Various behavior and process modeling and representation methods applied to CMMS are briefed. Taking complex systems and their engagement-level combating as an representative example of CMMS, a behavior and process modeling framework featured with a physical-cognitive-structural separation is proposed based on the model driven development (MDD) paradigm. A set of modeling technologies including multiple formalism modeling and domain-specific modeling are employed to better design the simulation models of CMMS behavior and process. The proposed model driven modeling methodology is also applicable to the behavior and process modeling and simulation of other CMMS.

Keywords:complex man-machine systems (CMMS); process modeling and simulation; model driven development (MDD); platform-level combating process

作者簡介：

中圖分類號：TP 391

文獻標(biāo)志碼：A

DOI:10.3969/j.issn.1001-506X.2016.01.34

基金項目：國家自然科學(xué)基金(61273198，71031007)資助課題

收稿日期：2015-01-28；修回日期：2015-05-27；網(wǎng)絡(luò)優(yōu)先出版日期：2015-07-06。