中国指挥与控制学会会刊 
1 基于本体的指挥信息系统建模方法
指挥信息系统本体模型是对指挥信息系统组成及关系的描述,通过建立指挥信息系统本体模型,可以提供对系统的统一理解和规范,实现不同评估目标的信息共享和重用。本体依照领域依赖程度,可以细分为顶级本体、领域本体、任务本体和应用本体4类[3]。其中领域本体是指描述特定领域中的概念及概念之间的关系。对指挥信息系统的本体建模属于领域本体建模的范畴。
1)建模原则及建模工具
本体构建是一项系统工程,需要领域分析人员按照一定的原则、方法,采用合适的本体构建工具对领域本体进行建模。T.R. Gruber提出了指导本体构建的五条原则,分别是清晰、一致、可扩展性、编码偏好程度最小和本体约定最小[4]。本文结合指挥信息系统建模领域特点,在以上五条原则的基础上提出三条指挥信息系统本体建模的原则:
①规范性。指挥信息系统建模的概念和关系规范明确,对指挥信息系统建模所涉及的概念和关系具有明确规范的定义或者以权威的资料为参考,保证概念、关系的前后一致,无二意;
②可扩展性。指挥信息系统建模是动态、可扩展的,基于本体的系统建模框架应该支持在已有概念和关系的基础上添加新的概念和关系,而对已有概念关系的定义没有影响;
③本体约束最小。在对关系的约束中,只要能满足系统分析人员知识共享的需求即可,从而使系统建模者可以自由地按照他们的需求去实例化本体。
Protégé是斯坦福大学开发的一款开源本体构建工具,其支持领域本体的可视化建模,具有良好的本体编辑界面,便于对本体的概念类、关系、属性、实例进行编辑操作,能够直观地展示概念层次结构关系,便于领域分析设计人员进行领域本体建模,且其支持中文语言的特点,使得protégé成为目前最受欢迎的本体建模工具。
2)构建方法步骤
Perez[5]等人认为本体可以按分类法来组织,他归纳出本体包含5个基本的建模元语。这些元语分别为:类(classes)、关系(relations)、函数(functions)、公理(axioms)和实例(instances)。概念之间的关系主要有4种:part-of(表达概念之间部分与整体的关系),kind-of(表达概念之间的继承关系),instance-of(表达概念的实例和概念之间的关系),attribute-of(表达某个概念是另外一个概念的属性)。其实,本体就是通过对于概念、术语及其相互关系的规范化描述,勾画出某一领域的基本知识体系和描述语言。在实际的应用中,不一定要严格地按照上述5类元语来构造本体,同时概念之间的关系也不仅限于上面列出的4种基本关系,可以根据特定领域的具体情况来定义相应的关系,以满足应用的需要[6]。
目前领域本体构建针对具体的领域背景产生了不同的领域本体构建方法。国外主要的构建方法有IDEF5法、骨架法、TOVE法、METHONLOGY法、KACTUS法、七步法和SENSUS法等,其中七步法具有较强的通用性,也是目前成熟度比较高的领域本体构建方法。七步法是斯坦福大学基于Protégé本体构建工具提出的一种领域本体构建方法,包括确定领域范围、考虑复用已有领域本体、列出重要术语、定义类和类的层次关系、定义类的属性、定义属性的约束、创建实例七个步骤[7]。结合指挥信息系统建模领域特点,基于Protégé本体构建工具,在七步法的基础上提出指挥信息系统本体建模步骤:
a.抽取具有共同属性的实体为系统单元类,定义系统单元类和类之间的层次关系;
b.定义系统单元类的能力指标属性,并用数据属性进行建模描述;
c.定义实体间组织关系和信息关系,并用对象属性进行建模描述;
d.针对具体指挥信息系统,对单元类和实体关系进行实例化。
2 基于本体的指挥信息系统建模
指挥信息系统是军事信息系统的核心,它是由多个分系统构成的复杂巨系统。结合指挥信息系统信息域特点,本文从信息层面将指挥信息系统抽象为信息获取单元、信息处理单元、信息传输单元和指挥决策单元共四类基本单元,各单元根据不同的分类准则又可进一步划分为各子单元。而火力打击单元是武器系统根据指挥决策信息对目标进行打击,传递的是能量流,不属于整个作战中信息流的范畴,故在此不考虑火力打击单元,而主要根据指挥信息系统信息域的特点将其抽象归纳为以上四个基本单元。本节基于本体的建模方法,分别从系统单元和实体关系两个方面对指挥信息系统进行建模。
2.1 基于本体的指挥信息系统单元建模
1)信息获取单元本体建模
定义1 信息获取(Information Obtainer,O)单元:信息获取单元定义为一类能够根据各类传感器获取战场目标信息的功能实体。可进一步划分为情报侦察单元、预警探测单元、综合保障单元。将信息获取单元看作类,则情报侦察单元、预警探测单元和综合保障单元为信息获取单元的子类。在面向具体指挥信息系统评估时,只需对所属类进行实例化。如情报侦察单元可实例化为电子侦察卫星、光学成像卫星、侦察机等;预警探测单元可实例化为预警卫星、预警机、预警雷达等;综合保障单元可实例化为导航定位卫星、气象卫星、测绘卫星等。定义信息获取单元能力指标包括:信息获取范围、信息获取精度、信息获取概率、信息获取分辨率。利用本体数据属性对信息获取单元能力指标进行描述。
2)信息传输单元本体建模
定义2 信息传输(Information Transfer,T)单元:信息传输单元定义为一类能够将信息处理单元处理后所得情报信息传输给指挥决策单元的功能实体。可实例化为地面骨干网,通信卫星,数据链等。定义信息传输单元能力指标包括:信息容量、刷新频率、信息传输时延。同样利用本体数据属性对信息传输单元能力指标进行描述。
3)信息处理单元本体建模
定义3 信息处理(Information Processor,P)单元:信息处理单元定义为一类能够对信息获取单元所得目标信息进行处理的功能实体。是对各级各类信息处理系统的统称,可实例化为信息融合中心和地面站。定义信息处理单元能力指标包括:吞吐率、精确度、系统响应时间。其中吞吐率指指控系统单位时间内处理的信息量;精确度指信息获取单元探测到目标信息处理的精确程度;系统响应时间指指控系统从信息获取单元接受目标信息,进行分析和处理至得到目标具体信息所用的时间。同样利用本体数据属性对信息处理单元能力指标进行描述。
4)指挥决策单元本体建模
定义4 指挥决策(Decision Maker,D)单元:指挥决策单元定义为一类能够根据战场情报信息形成决策方案并对作战单元实施指挥控制的功能实体,是对各级各类指挥控制系统的统称,可实例化为联合指控中心、反导指控中心等。定义指挥决策单元能力指标包括:准确性、完整性和时效性。同样利用本体数据属性对信息传输单元能力指标进行描述。
以上关于单元类的建模过程可以在Protégé的Class模块里完成,可以进行类的编辑,建立类的层级结构;对类的实例化可以在Protégé的Individuals模块里完成;对能力指标的建模过程可以在Protégé的Data properties模块里完成,如图1 所示。
2.2 基于本体的指挥信息系统关系建模
对指挥信息系统建模,除对各单元类及其属性进行建模外,还应该考虑实体间关系的建模。本文将指挥信息系统实体间关系划分为组织关系和信息关系两大类,利用本体的对象属性分别建立hasOrganizationRelation组织关系属性和hasInformationRelation信息关系属性。
其中组织关系属性包括子类is-part-of关系,hasComponent关系,hasCoUnit关系,hasSubUnit关系和hasUpUnit关系。其中is-part-of关系和hasComponent关系具有传递性,同时又互为逆关联;hasSubUnit关系和hasUpUnit关系也同时具有逆关联。通过组织关系属性可以对各单元之间及实体间的组织结构关系进行描述。各组织关系属性含义如下表1 所示。
表1 组织关系属性 |
| hasOrganizationRelation | 组织关系 |
|---|---|
| is-part-of | 整体部分关系,A is-part-of B 表示A是B的一部分 |
| hasComponent | 组成关系,hasComponent(A,B)表示A由B组成 |
| hasCoUnit | 协作关系,hasCoUnit(A,B)表示A和B之间是为完成共同任务的协作关系 |
| hasSubUnit | 下级关系,hasSubUnit(A,B)表示B是A的下级 |
| hasUpUnit | 上级关系,hasUpUnit(A,B)表示B是A的上级 |
对于指挥信息系统除组织关系外,还包括组分单元之间的信息交互关系。在作战流程中,单元之间的信息交互通过信息流的方式体现。信息流包括指控流、状态流和情报流(态势流)。因此本文将信息关系归纳为commandTo关系、reprortTo关系和shareWith关系,三者均为信息关系的子类,通过信息关系属性可以表达不同单元及实体之间的信息交互关系。各信息关系属性含义如表2 所示。
表2 信息关系属性 |
| hasInformationRelation | 信息关系 |
|---|---|
| commandTo | 指挥与控制关系,commandTo(A,B)表示A指挥控制B |
| reprortTo | 状态反馈关系,reprortTo(A,B)表示A将自己的状态信息反馈给B |
| shareWith | 信息共享关系,shareWith(A,B)表示A和B之间有信息共享关系 |
在Protégé的Object properties模块里可以进行组分关系的定义编辑操作,同时可以展示关系的层级结构。如图2 所示。
3 天基信息支援下的反导作战指挥信息系统实例验证
现代反导作战指挥信息系统(Anti-missile Command Information System,AMCIS)是针对导弹目标,涵盖天基、空基、地基、海基各域武器装备的一体化综合反导系统,而本节考虑在天基信息支援下的反导作战流程[8],建立天基信息支援下的反导作战指挥信息系统本体模型。
天基信息支援下的反导作战指挥信息系统的组织结构如图3 所示,图中实线代表组织间信息关系,箭头代表信息传递方向。虚线代表能量流的传递,不属于本文考虑范围。图中只对系统的树形结构进行描述,不考虑其纵向越级指挥关系和横向协同信息交互关系。
结合天基信息支援下的反导作战流程和组织结构关系,基于本体对其进行建模,只需在前文建立指挥信息系统模型的基础上进行实例化。
1)单元实例化
a.以评估为目的,天基信息支援下的反导作战指挥信息系统可以看作评估对象类EO的一个实例。
b.对信息获取单元下的子类预警探测单元进行实例化:预警卫星O1、O2,地基预警雷达O3、O4、O5、O6,地基精密跟踪雷达O7、O8、O9、O10。
c.对信息传输单元实例化:卫星通信系统T1、T2。
d.对信息处理单元实例化:地面站P1、P2,地基预警雷达情报处理单元P3、P4,地基精密跟踪雷达情报处理单元P5、P6,信息融合中心P7、P8。
e.对指挥决策单元实例化:反导指控中心D1,反导指控中心D2,联合反导指控中心D3。
基于Protégé工具进行单元实例化如图4 所示。
基于本体描述语言RDF语言对实例化后的反导作战指挥信息系统形式化描述如下所示:
<!-- http://www.evaluation-ontology.com/天基信息支援下的反导作战指挥信息系统 -->
<owl:NamedIndividual rdf:about=" http://www.evaluation-ontology.com/天基信息支援下的反导作战指挥信息系统">
<rdf:type rdf:resource=" http://www.semanticweb.org/evaluaiton-ontology#评估对象"/>
</owl:NamedIndividual>
<!-- http://www.evaluation-ontology.com/预警卫星O1 -->
<owl:NamedIndividual rdf:about=" http://www.evaluation-ontology.com/预警卫星O1">
<rdf:type rdf:resource=" http://www.semanticweb.org/evaluaiton-ontology#预警探测单元"/>
</owl:NamedIndividual>
<!-- http://www.evaluation-ontology.com/卫星通信系统T1 -->
<owl:NamedIndividual rdf:about=" http://www.evaluation-ontology.com/卫星通信系统T1">
<rdf:type rdf:resource=" http://www.semanticweb.org/evaluaiton-ontology#信息传输单元"/>
</owl:NamedIndividual>
······
<!-- http://www.evaluation-ontology.com/联合反导指控中心D3 -->
<owl:NamedIndividual rdf:about=" http://www.evaluation-ontology.com/联合反导指控中心D3">
<rdf:type rdf:resource=" http://www.semanticweb.org/evaluaiton-ontology#指挥决策单元"/>
</owl:NamedIndividual>
2)关系实例化
信息化作战背景下,指挥信息系统呈现扁平化的结构关系。此处对于关系的实例化包括除树状结构关系以外的组织关系和信息关系,以更符合实际作战要求。
a.组织关系实例化:天基信息支援下的反导装备体系组成可用hasComponent关系或者is-part-of关系来表示;联合反导指控中心和反导指控中心是上下级关系,信息融合中心和地基预警雷达情报处理单元、地基精密跟踪雷达情报处理单元也是上下级关系,可用hasUpUnit关系或者hasSubUnit关系来表示;地基预警雷达之间,地基精密跟踪雷达之间,地基预警雷达情报处理单元和地基精密跟踪雷达情报处理单元之间,信息融合中心之间以及反导指控中心之间均存在协同关系,可用hasCoUnit关系表示。组织关系实例化如表3 所示:
表3 组织关系实例化 |
| 基础关系 | 关系分类 | 关系实例化举例 | 关系描述 |
|---|---|---|---|
| 组织关系 | hasComponent | hasComponent(AMCIS,O1) | 评估对象天基信息支援下的反导作战指挥信息系统包含预警卫星O1,地面站P1,卫星通信系统T1,反导指控中心D1 |
| hasComponent(AMCIS,P1) | |||
| hasComponent(AMCIS,T1) | |||
| hasComponent(AMCIS,D1) | |||
| is-part-of | is-part-of(O1,AMCIS) | 预警卫星O1,地面站P1,卫星通信系统T1,反导指控中心D1是评估对象天基信息支援下的反导作战指挥信息系统的一部分 | |
| is-part-of(P1,AMCIS) | |||
| is-part-of(T1,AMCIS) | |||
| is-part-of(D1,AMCIS) | |||
| hasUpUnit | hasUpUnit(D1,D3) | 反导指控中心D1有上级单位联合反导指控中心D3 | |
| hasUpUnit(P3,P7) | 地基预警雷达情报处理单元P3有上级单位信息融合中心P7 | ||
| hasSubUnit | hasSubUnit(D3,D1) | 联合反导指控中心D3有下级单位反导指控中心D1 | |
| hasSubUnit(P7,P3) | 信息融合中心单元P7有下级单位地基预警雷达情报处理单元P3 | ||
| hasCoUnit | hasCoUnit(O3,O4) | 地基预警雷达O3和地基预警雷达O4协同对目标进行搜索探测 | |
| hasCoUnit(P7,P8) | 信息融合中心P7和信息融合中心P8协同对目标信息进行处理 | ||
| hasCoUnit(D1,D2) | 反导指控中心D1和反导指控中心D2协同进行指挥控制 |
b.信息关系实例化:联合反导指控中心和其下属的反导指控中心之间,反导指控中心和信息融合中心之间,雷达情报处理单元和雷达之间,以及信息融合中心和雷达情报处理单元之间具有指控关系,可用commandTo关系表示;雷达将自己的工作状态信息反馈给雷达情报处理单元,信息融合中心将自己的状态信息反馈给反导指控中心,这种状态反馈关系可用reportTo关系来表示;预警卫星和地面站之间的情报信息传递关系,雷达和雷达情报处理单元之间的情报传递关系,信息融合中心和反导指控中心之间的情报信息传递关系,雷达情报处理单元之间的情报传递关系,反导指控中心之间的情报信息传递关系可用shareWith关系来表示;同时雷达单元之间,信息融合中心之间以及反导指控中心之间的信息协同共享关系也可以用shareWith关系来表示。信息关系实例化如表4 所示:
表4 信息关系实例化 |
| 基础关系 | 关系分类 | 关系模式 | 关系实例化举例 | 关系描述 |
|---|---|---|---|---|
| 信息关系 | commandTo | D→P | D1→P7 | 反导指控中心D1向信息融合中心P7发送情报保障的相关计划或命令 |
| P→O | P3→O3 | 地基预警雷达情报处理单元P3向地基预警雷达O3发送相关控制命令 | ||
| D→D | D3→D1 | 上级联合反导指控中心D3向下级反导指控中心D1发送指控计划或命令 | ||
| P→P | P7→P3 | 上级信息融合中心P7向下级地基精密跟踪雷达情报处理单元P3发送情报保障的相关计划或命令 | ||
| reportTo | O→P | O3→P3 | 地基预警雷达O3向地基预警雷达情报处理单元P3反馈自身状态信息 | |
| P→D | P7→D1 | 信息融合中心P7向反导指控中心D1反馈自身状态信息 | ||
| shareWith | O→P | O3→P3 | 地基预警雷达O3将获取的情报信息送到地基预警雷达情报处理单元P3进行处理 | |
| P→D | P7→D1 | 信息融合中心P7将融合后的情报信息发送给反导指控中心D1 | ||
| O→O | O3→O4 | 地基预警雷达O3将获取到的情报信息发送给具有协同关系的地基预警雷达O4 | ||
| P→P | P3→P7 | 下级地基预警雷达情报处理单元P3向上级信息融合中心P7上报情报信息 | ||
| P7→P8 | 信息融合中心P7将综合情报信息发送给具有协同关系的信息融合中心P8 | |||
| D→D | D1→D3 | 下级反导指控中心D1将其态势综合信息发送给上级联合反导指控中心D3 | ||
| D1→D2 | 反导指控中心D1将其作战计划或命令发送给具有协同关系的反导指控中心D2 |
以反导指控中心D1为例,对于其组织关系它是天基信息支援下的反导作战指挥信息系统的一个组成部分,可用is-part-of关系表示,同时反导指控中心D1和联合反导指控中心D3有上下级hasUpUnit关系,和反导指控中心D2有协同hasCoUnit关系;而对于其信息关系,反导指控中心D1对信息融合中心P7传递指控命令消息,用commandTog关系表示,将其态势综合信息发送给联合反导指控中心D3,用shareWith关系表示,将其作战计划或命令发送给具有协同关系的反导指控中心D2,也可用shareWith关系表示。利用Protégé工具对其进行组织关系和信息关系实例化如下图5 所示。
基于本体描述语言RDF语言对实例化后的反导指控中心D1的组织关系和信息关系形式化描述如下所示:
<!-- http://www.evaluation-ontology.com/反导指控中心D1 -->
<owl:NamedIndividual rdf:about=" >http://www.evaluation-ontology.com/反导指控中心D1">
<rdf:type rdf:resource=" >http://www.semanticweb.org/evaluaiton-ontology#指挥决策单元"/>
<evaluaiton-ontology:commandTo rdf:resource=" >http://www.evaluation-ontology.com/信息融合中心P7"/>
<evaluaiton-ontology:hasCoUnit rdf:resource=" >http://www.evaluation-ontology.com/反导指控中心D2"/>
<evaluaiton-ontology:hasUpUnit rdf:resource=" >http://www.evaluation-ontology.com/联合反导指控中心D3"/>
<evaluaiton-ontology:is_part_of rdf:resource=" >http://www.evaluation-ontology.com/天基信息支援下的反导作战指挥信息系统"/>
<evaluaiton-ontology:shareWith rdf:resource=" >http://www.evaluation-ontology.com/反导指控中心D2"/>
<evaluaiton-ontology:shareWith rdf:resource=" >http://www.evaluation-ontology.com/联合反导指控中心D3"/>
</owl:NamedIndividual>
利用本体的类、属性、实例元素对系统进行建模,具有规范、可重用、形式化的特点,可方便地添加实体,并对实体间的组织关系和信息关系进行建模描述,具有可扩展性,通过上述实例验证了本文方法的可行性。
4 结束语
指挥信息系统本体建模是针对指挥信息系统建设与发展,通过基于本体的规范化描述方法对系统进行建模,为系统设计建设人员和领域评估人员等提供了一个完整的、规范的、可修改的、可跟踪的模型,是指导系统建设的一项重要工作。本文在指挥信息系统分析基础上,基于本体对其进行形式化建模,具有规范、可重用、形式化的特点。下一步研究工作:在形式化建模的基础上,对指挥信息系统单元和结构进行评估,进而实现对指挥信息系统能力的评估,指引指挥信息系统的规划建设。