CN111783312A - 基于owl的军事仿真模型及资源描述方法 - Google Patents

基于owl的军事仿真模型及资源描述方法 Download PDF

Info

Publication number
CN111783312A
CN111783312A CN202010669026.0A CN202010669026A CN111783312A CN 111783312 A CN111783312 A CN 111783312A CN 202010669026 A CN202010669026 A CN 202010669026A CN 111783312 A CN111783312 A CN 111783312A
Authority
CN
China
Prior art keywords
simulation
model
service
event
scheduling
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202010669026.0A
Other languages
English (en)
Inventor
鄢来斌
张付华
高峰
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hunan Allsim Technology Co ltd
Original Assignee
Hunan Allsim Technology Co ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hunan Allsim Technology Co ltd filed Critical Hunan Allsim Technology Co ltd
Priority to CN202010669026.0A priority Critical patent/CN111783312A/zh
Publication of CN111783312A publication Critical patent/CN111783312A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明属于计算机领域,涉及一种基于OWL的军事仿真模型及资源描述方法,该基于OWL的军事仿真模型包括自上而下依次设置的服务模型层、仿真实体模型层以及仿真应用模型层;服务模型层涉及领域专业知识的独立计算单元,提供计算服务;仿真实体模型层是一个或多个;每个仿真实体模型层对真实系统中的实体进行建模,在仿真运行时映射为逻辑进程范型中的逻辑进程;仿真应用模型层包含构建仿真应用的仿真实体及其交互关系。本发明提供了一种便于在线升级以及便于语义描述的基于OWL的军事仿真模型及资源描述方法。

Description

基于OWL的军事仿真模型及资源描述方法
技术领域
本发明属于计算机领域,涉及一种仿真模型及基于该仿真模型的资源描述方法,尤其涉及一种基于OWL的军事仿真模型及资源描述方法。
背景技术
传统的军事仿真技术存在部署困难、远程访问困难、维护难等问题,为了解决这些问题,推动军事仿真应用,最近十年来,国内外开展了军事仿真在云仿真平台上运行的技术研究。
在云计算兴起之初,国内外就开展了对云仿真技术及相关平台的研究。早期云仿真平台主要解决:(1)云上计算资源的自动获取,以驱动并发仿真应用在云计算环境上的运行;(2)通过提供相关接口支持与仿真器的交互,并允许资源的远程管理,主要用于分布式交互仿真。这些方法采用传统的虚拟化技术,存在资源占用高、运行效率低等缺点。总体来看,国内外对于云仿真技术及平台正在开展积极有效的探索,但是如何基于轻量级容器的云平台服务技术,支持同构/异构模型资源的虚拟化与自动装配、仿真模型的动态组合等功能还需要进一步的深入研究。对多层级仿真模型进行云架构下的抽象和描述,是云仿真系统要解决的重要问题。然而,由于当前缺乏适应云架构的层次化仿真模型结构抽象,导致各类模型之间的耦合关系不明确,仿真协议/调度机制及模型组合集成方法也难以确定,为此需要建立满足各种不同应用需求的云架构下多层级仿真模型描述方法,这是需要解决的重要问题。
现有的仿真模型资源描述通常采用WSDL语言。WSDL语言中定义了一种XML语法,这种语法非常适合于描述仿真模型静态描述,但在描述仿真模型输入和输出参数的逻辑约束时,服务描述缺乏语义信息,不能对仿真模型间的交互进行语义方面的描述。而面向领域本体的OWL-S描述语言因支持Web服务的语义化描述和自动组合,近年来受到了学术界和工业界的重视。OWL_S是一种可自动机器解释的语义标记语言,同时实现了Web服务功能和服务间互操作、互调用、互协作的语义化描述。用OWL_S语言描述仿真模型的静态状态、动态行为进行描述,具有很大优势。
发明内容
为了解决背景技术中存在的上述技术问题,本发明提供了一种便于在线升级以及便于语义描述的基于OWL的军事仿真模型及资源描述方法。
为了实现上述目的,本发明采用如下技术方案:
一种基于OWL的军事仿真模型,其特征在于:所述基于OWL的军事仿真模型包括自上而下依次设置的服务模型层、仿真实体模型层以及仿真应用模型层;所述服务模型层涉及领域专业知识的独立计算单元,提供计算服务;所述仿真实体模型层是一个或多个;每个仿真实体模型层对真实系统中的实体进行建模,在仿真运行时映射为逻辑进程范型中的逻辑进程;所述仿真应用模型层包含构建仿真应用的仿真实体及其交互关系。
作为优选,本发明所采用的仿真实体模型层包括一个初始化函数、多个事件处理函数、一系列服务模型及一系列状态变量;所述初始化函数通过解析仿真想定文件为服务模型及状态变量赋初始值;所述事件处理函数通过调度服务模型层执行以更新仿真实体的状态,通过调度事件与其它仿真实体进行交互;所述服务模型层由仿真实体模型层中的事件处理函数调度执行;每个仿真实体模型层之间则通过消息更新机制来实现交互。
作为优选,本发明所采用的服务模型层被定义为如下所示九元组:
SSM=<T,X,Q,Y,Δt,Γ,Ω,Ψ,Φ>
其中:
SSM表示服务模型层;
T表示局部仿真时间集合;
X表示输入集合;
Q表示状态集合;
Y表示输出集合;
Δt表示服务模型单步迭代的最小时间间隔;
Γ表示服务模型内部的状态转移函数集合;
Ω={(t,x)|t∈T,x∈X}表示输入参数,t为该输入参数对应的仿真时间;
Ψ={(t′,y)|t′∈T,y∈Y}表示输出结果,t′为该输出结果对应的仿真时间;
Φ表示服务模型的向外部框架提供的调用接口集合。
作为优选,本发明所采用的仿真实体模型层被定义为如下所示九元组:
SEM=<Q,M,E,V,Sa,C,T,O,B>,
其中:
SEM表示仿真实体模型层;
Q表示仿真实体的状态集合;
M表示仿真实体中包含的SSM服务模型集合;
E表示仿真实体中包含的事件集合;
V={<e,invoke<m,i,c,b>>|e∈E,m∈M,i∈N+,c∈C,b∈B}表示SSM服务模型调度序列,即事件e对应的处理函数中调度SSM服务模型的序列;
Sα={<e,schedule<e′,c,t,o,b>>|e∈E,c∈C,t∈T,o∈O,b∈B}表示局部事件调度集合,即事件e对应的处理函数中调度的事件集合;
Figure BDA0002581553920000031
表示执行相应操作的条件,包括调度SSM服务模型与调度局部事件的执行条件;
Figure BDA0002581553920000032
表示调度局部事件的时间延迟;
Figure BDA0002581553920000033
表示被调度的局部事件的优先级;
Figure BDA0002581553920000034
表示调度SSM服务模型或调度局部事件所传递的参数,这些参数来源于仿真实体的状态变量。
作为优选,本发明所采用的仿真应用模型层被定义为如下所示七元组:
SAM=<∑,Sβ,L,C,T,O,B>,
其中:
SAM表示仿真应用模型层;
∑表示SAM包含的SEM集合;
L表示决策函数集合,决定哪两个SEM实例之间存在事件调度关系;
Sβ={<e,schedule′<e′,c,t,o,b>>|e∈E,l∈L,c∈C,t∈T,o∈O,b∈B}表示事件e对应处理函数中调度的交互事件集合;
Figure BDA0002581553920000035
表示调度交互事件的满足条件;
Figure BDA0002581553920000036
表示调度交互事件的时间延迟;
Figure BDA0002581553920000037
表示被调度的交互事件处理的优先级;
Figure BDA0002581553920000038
表示调度交互事件所传递的参数。
一种基于如前所述的基于OWL的军事仿真模型对资源进行描述的方法,其特征在于:所述资源描述是仿真模型资源的静态属性描述以及动态行为描述。
作为优选,本发明所采用的资源描述是静态属性描述时,所述静态属性描述用于云仿真服务的发现与组合,是云仿真服务的基本信息和匹配发现所使用的特征信息,包括服务模型静态属性描述格式、仿真实体静态属性描述格式以及仿真应用静态属性描述格式;
所述服务模型静态属性描述格式包括定义服务模型在仿真应用中的类标识的模型类名称、描述服务模型研制开发单位的基本信息的开发单位、描述服务模型开发人员的基本信息的开发人员、描述服务模型的研制开发单位和人员的联系方式的联系方式、描述服务模型的开发完成时间的完成时间、描述服务模型的版本号的版本号、描述服务模型历次修改的日志信息的修改历史、描述服务模型的专业领域的领域、描述服务模型能够提供的领域计算功能的功能、描述服务模型内部迭代的时间步长的时间尺度、描述服务模型需要初始化的属性变量的初始化需求、描述服务模型需要的输入参数信息的输入参数、提供设置工作参数及状态的接口,在调用该接口时,需要调度方提供相应的参数数据的工作参数、描述服务模型提供的输出数据信息的输出参数、包括对计算资源和存储资源、网络资源、数据库的需求的运行环境需求、仿真事件处理函数可能包含多个服务模型的调度方式;
所述仿真实体静态属性描述格式包括对仿真实体名称、仿真实体说明的基本信息、对实体属性变量名称、数据类型、数据来源以及对应模型的输出变量的实体属性信息、对服务模型的初始化、实体属性的初始化、注册/订购交互事件的初始化以及调度的事件或端口的初始化信息、对事件的输入参数、调度的服务模型、事件的局部参数以及事件调度关系的事件信息及调度关系信息、对交互事件参数集、调度的服务模型、事件的局部参数以及事件调度关系的交互信息及调度关系信息;
所述仿真应用静态属性描述格式包括对仿真应用名称、中文描述的基本信息、对仿真实体名称、仿真实体描述文件的仿真实体信息、对被调度事件输入参数映射、调度事件的条件、调度时延、被调度事件的优先级、被调度仿真实体实例、调度方仿真实体名、调度方端口、被调度方仿真实体名、被调度方端口号的调度关系信息。
作为优选,本发明所采用的资源描述是动态行为描述时,所述动态行为描述提供给云仿真平台的仿真模型资源组合服务使用,由仿真模型资源组合服务解析,并对相应仿真模型进行调度,完成整个云仿真服务的功能。
本发明的主要优点是:
本发明提出了一种基于OWL的军事仿真模型及资源描述方法,其中,基于OWL的军事仿真模型包括自上而下依次设置的服务模型层、仿真实体模型层以及仿真应用模型层;服务模型层涉及领域专业知识的独立计算单元,提供计算服务;仿真实体模型层是一个或多个;每个仿真实体模型层对真实系统中的实体进行建模,在仿真运行时映射为逻辑进程范型中的逻辑进程;仿真应用模型层包含构建仿真应用的仿真实体及其交互关系。目前常见的都是采用两层模型表示,即:仿真实体模型和仿真应用模型,而计算服务是内嵌在仿真实体模型中的,而将计算服务独立出来,作为一个WEB服务提供使用,其优点是不同的仿真实体可以对服务模型进行重用,服务模型是独立的,对其修改时,只要接口不变,不用对仿真实体进行修改,方便了在云仿真过程中多仿真进行在线升级。另外,现有的仿真模型资源描述通常采用WSDL语言,其服务描述缺乏语义信息,不能对仿真模型间的交互进行语义方面的描述。而面向领域本体的OWL-S描述语言因支持Web服务的语义化描述和自动组合,可同时实现Web服务功能和服务间互操作、互调用、互协作的语义化描述,具有很大优势。
附图说明
图1是本发明所提供的基于OWL的军事仿真模型的三层结构示意图;
图2是状态转换图;
图3是仿真应用中的仿真实体间的数据交互图;
图4是蓝方拦截弹仿真实体的服务模型间的数据交互图。
具体实施方式
军事仿真应用抽象表示为一个三层结构,如图1所示。其中第1层为服务模型层(Simulation Service Model,简称SSM),每一个SSM是涉及领域专业知识的独立计算单元,提供计算服务;第2层为仿真实体模型层(Simulation Entity Model,简称SEM),每一个SEM对真实系统中的实体进行建模,在仿真运行时映射为LP范型中的逻辑进程;第3层为仿真应用模型层(Simulation Application Model,简称SAM),包含构建仿真应用的SEM及其交互关系。一个SAM由多个SEM组成;每个SEM包含一个初始化函数和多个处理事件;每个事件包含一个或多个服务模型。SSM由SEM中的事件处理函数调度执行;SEM之间则通过消息更新机制来实现交互。为支持云架构下基于服务模型的军事仿真应用组装,首先建立云架构下的仿真模型层次化抽象结构。
1)服务模型(SSM)层
每个服务模型均被视为一个独立的服务组件,其与外界环境进行信息交互的唯一方式通过“服务接口”实施。服务模型内部的状态转移函数禁止对外界环境进行直接访问,同时也禁止外界环境直接访问服务模型的内部状态信息。服务模型由上层事件处理函数调度执行,其执行结果也返回给上层事件处理函数。
定义1一个服务模型SSM被定义为如下所示九元组:
SCM=<T,X,Q,Y,Δt,Γ,Ω,Ψ,Φ>,
其中,
T表示局部仿真时间集合;
X表示输入集合;
Q表示状态集合;
Y表示输出集合;
Δt表示服务模型单步迭代的最小时间间隔;
Γ表示服务模型内部的状态转移函数集合;
Ω={(t,x)|t∈T,x∈X}表示输入参数,t为该输入参数对应的仿真时间;
Ψ={(t′,y)|t′∈T,y∈Y}表示输出结果,t′为该输出结果对应的仿真时间;
Φ表示服务模型的向外部框架提供的调用接口集合。
2)仿真实体(SEM)层
每个仿真实体模型均包含一个初始化函数、多个事件处理函数、一系列服务模型及一系列状态变量。初始化函数通过解析仿真想定文件为服务模型及状态变量赋初始值。仿真事件处理函数通过调度SSM服务模型执行以更新仿真实体的状态,通过调度事件与其它仿真实体进行交互。对于每个事件处理函数而言,仿真系统都会产生相应的事件以触发事件处理函数的执行。事件根据交互类型可分为局部事件和交互事件两种不同类型,局部事件用于支持同一个仿真实体内部的事件调度机制,而交互事件用于支持不同仿真实体之间的事件调度机制。为保证仿真实体的独立性,仿真实体仅包含局部事件调度关系,交互事件调度关系定义在仿真实体的上一层(即仿真应用层)。
定义2一个仿真实体SEM被定义为如下所示九元组:
SEM=<Q,M,E,V,Sa,C,T,O,B>,
其中,
Q表示仿真实体的状态集合;
M表示仿真实体中包含的SSM服务模型集合;
E表示仿真实体中包含的事件集合;
V={<e,invoke<m,i,c,b>>|e∈E,m∈M,i∈N+,c∈C,b∈B}表示SSM服务模型调度序列,即事件e对应的处理函数中调度SSM服务模型的序列;
Sα={<e,schedule<e′,c,t,o,b>>|e∈E,c∈C,t∈T,o∈O,b∈B}表示局部事件调度集合,即事件e对应的处理函数中调度的事件集合;
Figure BDA0002581553920000061
表示执行相应操作的条件,包括调度SSM服务模型与调度局部事件的执行条件;
Figure BDA0002581553920000062
表示调度局部事件的时间延迟;
Figure BDA0002581553920000063
表示被调度的局部事件的优先级;
Figure BDA0002581553920000064
表示调度SSM服务模型或调度局部事件所传递的参数,这些参数来源于仿真实体的状态变量。
(3)仿真应用(SAM)层
仿真应用模型层包含构建仿真应用的SEM仿真实体以及它们之间的交互作用。因为只有在构建仿真应用时才能知道SEM仿真实体之间具体的交互关系,因此SEM仿真实体之间的交互关系定义在SAM仿真应用层(而不是定义在SEM仿真实体层)。在生成仿真可执行代码时,SEM仿真实体之间的交互事件调度代码才被添加到仿真事件处理函数中。
定义3一个仿真应用SAM被定义为如下所示七元组:
SAM=<∑,Sβ,L,C,T,O,B>,
其中,
∑表示SAM包含的SEM集合;
L表示决策函数集合,决定哪两个SEM实例之间存在事件调度关系;
Sβ={<e,schedule′<e′,l,c,t,o,b>>|e∈E,l∈L,c∈C,t∈T,o∈O,b∈B}表示事件e对应处理函数中调度的交互事件集合;
Figure BDA0002581553920000071
表示调度交互事件的满足条件;
Figure BDA0002581553920000072
表示调度交互事件的时间延迟;
Figure BDA0002581553920000073
表示被调度的交互事件处理的优先级;
Figure BDA0002581553920000074
表示调度交互事件所传递的参数。
4.2三层级仿真模型描述方法
针对当前仿真资源描述方法对仿真模型资源缺乏语义描述的问题,提出了仿真模型的静态属性、动态行为描述方法。其中,针对静态属性和动态行为,采用本体描述语言OWL-S描述仿真模型所包含的功能服务、运行环境、动态行为信息。通过以上方式,为云仿真系统中异构仿真模型的发现与组合提供语义信息支持。
4.2.1仿真模型资源的静态属性描述
仿真模型资源的静态属性描述用于云仿真服务的发现与组合,主要包括云仿真服务的基本信息和匹配发现所使用的特征信息,服务模型SSM、仿真实体SEM和仿真应用SAM的静态属性描述格式如下:
(1)服务模型静态属性描述格式
为保护知识产权,领域服务模型通常以“黑盒”的形式交付给仿真模型开发人员进行封装。这意味着除非领域模型的逻辑非常简单,否则仿真模型开发人员需要花费大量时间去理解该领域服务模型的工作原理。因此,为便于仿真模型开发人员封装各领域模型,并保证开发人员与领域专家对同一个领域模型理解的一致性,需要提供的服务模型描述信息包括服务模型的类名称、基本信息、应用领域、计算功能、尺度与粒度、模型初始化需求(含结构类型、参数类型)、输入参数需求(含结构类型、参数类型)、输出参数需求(含结构类型、参数类型)及调度方式,如表1所示。
表1服务模型的描述信息集合
Figure BDA0002581553920000081
(2)仿真实体静态属性描述格式
仿真实体描述的内容主要包含五大部分:仿真实体基本信息、仿真实体属性变量信息、初始化信息、点对点事件信息及调度(订购)关系、交互事件信息及调度(订购)关系,如表2所示。
表2仿真实体的描述信息集合
Figure BDA0002581553920000091
(3)仿真应用静态属性描述格式
仿真应用描述的内容主要包含四大部分:仿真应用基本信息、包含的仿真实体、仿真实体之间的调度关系等。
表3仿真应用的描述信息集合
Figure BDA0002581553920000092
仿真模型资源的动态行为描述
仿真模型行为描述提供给云仿真平台的仿真模型资源组合服务使用,由仿真模型资源组合服务解析,并对相应仿真模型进行调度,从而完成整个云仿真服务的功能。OWL-S本体语言中,服务被看作是过程,相应建立的也是过程的模型,由原子过程(atom)、简单过程(simple)和复合过程(composite)组成。原子过程可被直接调用,在服务请求者看来一步即可完成。简单过程无法被直接调用,主要用来为原子过程提供可视化表示或对复合过程的表示进行简化。通过一些控制符号,复合过程可由原子过程或复合过程组合完成,类似于程序设计中的逻辑结构,有顺序(Sequence)、选择(if-Then-Else)、循环(Repeat-Until)。对于模型内部的运行描述,主要是基于状态转换图对模型运作时内部数据流、控制流流向和实体间的交互进行相应的描述。
由于仿真实体和仿真应用的运行在本质上是对服务模型的调度运行。因此,此处所指仿真模型资源的动态行为描述只针对服务模型。
图2所示为终端连接网络服务的状态转换图。第一个状态Idle及其内部的状态转移是一个简单过程的表示,空闲状态下保持运行不断循环检测是否有连接请求,在有连接请求时通过过程onHook转移到Working工作状态。转移过程是一个典型的原子过程,从服务请求者角度来看一步完成。Working状态是一个复合过程,其中包含了准备、发送连接请求、请求回复、完成连接等诸多过程,需要断开连接时由offHook事件触发动作reclaimConnection来完成,以回到Idle状态。
为验证本发明的可行性,设计了一个简单的防空反导应用系统。该系统只有三类实体:红方飞机、蓝方拦截弹系统、蓝方指挥所。
其中每类实体包含的服务模型如下:
(1)红方飞机
包含:飞机运动模型、导航模型
(2)蓝方拦截弹系统
包含:探测雷达模型、火控雷达模型、导弹末制导模型、导弹飞行模型、导弹爆炸模型
(3)蓝方指挥所
包含:火力分配模型
该防空反导应用系统的实体之间的数据交互如下图3以及图4所示:
对防空反导应用系统的描述如下表所示,它描述了仿真应用本身的基本信息,如:开发者、功能等,同时描述它包含的仿真实体、仿真实体之间的数据交互。
表4防空反导仿真应用的描述
Figure BDA0002581553920000101
Figure BDA0002581553920000111
对仿真实体的描述如下表所示,它描述了仿真实体的静态属性、所包含的服务模型、以及这些服务模型之间的数据交互。
其中,蓝方拦截弹系统所属的服务模型之间的数据交互复杂,表5描述了服务模型之间的数据交互。
表5仿真实体描述
Figure BDA0002581553920000112
Figure BDA0002581553920000121
Figure BDA0002581553920000131
对仿真服务模型的描述如下表所示,它描述了服务模型的输入参数和输出参数。
Figure BDA0002581553920000132
Figure BDA0002581553920000141
部分对应的OWL-S语言如下:
Figure BDA0002581553920000151
Figure BDA0002581553920000161
Figure BDA0002581553920000171

Claims (8)

1.一种基于OWL的军事仿真模型,其特征在于:所述基于OWL的军事仿真模型包括自上而下依次设置的服务模型层、仿真实体模型层以及仿真应用模型层;所述服务模型层涉及领域专业知识的独立计算单元,提供计算服务;所述仿真实体模型层是一个或多个;每个仿真实体模型层对真实系统中的实体进行建模,在仿真运行时映射为逻辑进程范型中的逻辑进程;所述仿真应用模型层包含构建仿真应用的仿真实体及其交互关系。
2.根据权利要求1所述的基于OWL的军事仿真模型,其特征在于:所述仿真实体模型层包括一个初始化函数、多个事件处理函数、一系列服务模型及一系列状态变量;所述初始化函数通过解析仿真想定文件为服务模型及状态变量赋初始值;所述事件处理函数通过调度服务模型层执行以更新仿真实体的状态,通过调度事件与其它仿真实体进行交互;所述服务模型层由仿真实体模型层中的事件处理函数调度执行;每个仿真实体模型层之间则通过消息更新机制来实现交互。
3.根据权利要求2所述的基于OWL的军事仿真模型,其特征在于:所述服务模型层被定义为如下所示九元组:
SSM=<T,X,Q,Y,Δt,Γ,Ω,Ψ,Φ>
其中:
SSM表示服务模型层;
T表示局部仿真时间集合;
X表示输入集合;
Q表示状态集合;
Y表示输出集合;
Δt表示服务模型单步迭代的最小时间间隔;
Γ表示服务模型内部的状态转移函数集合;
Ω={(t,x)|t∈T,x∈X}表示输入参数,t为该输入参数对应的仿真时间;
Ψ={(t′,y)|t′∈T,y∈Y}表示输出结果,t′为该输出结果对应的仿真时间;
Φ表示服务模型的向外部框架提供的调用接口集合。
4.根据权利要求3所述的基于OWL的军事仿真模型,其特征在于:所述仿真实体模型层被定义为如下所示九元组:
SEM=<Q,M,E,V,Sa,C,T,O,B>,
其中:
SEM表示仿真实体模型层;
Q表示仿真实体的状态集合;
M表示仿真实体中包含的SSM服务模型集合;
E表示仿真实体中包含的事件集合;
V={<e,invoke<m,i,c,b>>|e∈E,m∈M,i∈N+,c∈C,b∈B}表示SSM服务模型调度序列,即事件e对应的处理函数中调度SSM服务模型的序列;
Sα={<e,schedule<e′,c,t,o,b>>|e∈E,c∈C,t∈T,o∈O,b∈B}表示局部事件调度集合,即事件e对应的处理函数中调度的事件集合;
Figure FDA0002581553910000021
表示执行相应操作的条件,包括调度SSM服务模型与调度局部事件的执行条件;
Figure FDA0002581553910000022
表示调度局部事件的时间延迟;
Figure FDA0002581553910000023
表示被调度的局部事件的优先级;
Figure FDA0002581553910000024
表示调度SSM服务模型或调度局部事件所传递的参数,这些参数来源于仿真实体的状态变量。
5.根据权利要求4所述的基于OWL的军事仿真模型,其特征在于:所述仿真应用模型层被定义为如下所示七元组:
SAM=<∑,Sβ,L,C,T,O,B>
其中:
SAM表示仿真应用模型层;
∑表示SAM包含的SEM集合;
L表示决策函数集合,决定哪两个SEM实例之间存在事件调度关系;
Sβ={<e,schedule′<e′,l,c,t,o,b>>|e∈E,l∈L,c∈C,t∈T,o∈o,b∈B}表示事件e对应处理函数中调度的交互事件集合;
Figure FDA0002581553910000025
表示调度交互事件的满足条件;
Figure FDA0002581553910000026
表示调度交互事件的时间延迟;
Figure FDA0002581553910000027
表示被调度的交互事件处理的优先级;
Figure FDA0002581553910000028
表示调度交互事件所传递的参数。
6.一种基于如权利要求5所述的基于OWL的军事仿真模型对资源进行描述的方法,其特征在于:所述资源描述是仿真模型资源的静态属性描述以及动态行为描述。
7.根据权利要求6所述的方法,其特征在于:所述资源描述是静态属性描述时,所述静态属性描述用于云仿真服务的发现与组合,是云仿真服务的基本信息和匹配发现所使用的特征信息,包括服务模型静态属性描述格式、仿真实体静态属性描述格式以及仿真应用静态属性描述格式;
所述服务模型静态属性描述格式包括定义服务模型在仿真应用中的类标识的模型类名称、描述服务模型研制开发单位的基本信息的开发单位、描述服务模型开发人员的基本信息的开发人员、描述服务模型的研制开发单位和人员的联系方式的联系方式、描述服务模型的开发完成时间的完成时间、描述服务模型的版本号的版本号、描述服务模型历次修改的日志信息的修改历史、描述服务模型的专业领域的领域、描述服务模型能够提供的领域计算功能的功能、描述服务模型内部迭代的时间步长的时间尺度、描述服务模型需要初始化的属性变量的初始化需求、描述服务模型需要的输入参数信息的输入参数、提供设置工作参数及状态的接口,在调用该接口时,需要调度方提供相应的参数数据的工作参数、描述服务模型提供的输出数据信息的输出参数、包括对计算资源和存储资源、网络资源、数据库的需求的运行环境需求、仿真事件处理函数可能包含多个服务模型的调度方式;
所述仿真实体静态属性描述格式包括对仿真实体名称、仿真实体说明的基本信息、对实体属性变量名称、数据类型、数据来源以及对应模型的输出变量的实体属性信息、对服务模型的初始化、实体属性的初始化、注册/订购交互事件的初始化以及调度的事件或端口的初始化信息、对事件的输入参数、调度的服务模型、事件的局部参数以及事件调度关系的事件信息及调度关系信息、对交互事件参数集、调度的服务模型、事件的局部参数以及事件调度关系的交互信息及调度关系信息;
所述仿真应用静态属性描述格式包括对仿真应用名称、中文描述的基本信息、对仿真实体名称、仿真实体描述文件的仿真实体信息、对被调度事件输入参数映射、调度事件的条件、调度时延、被调度事件的优先级、被调度仿真实体实例、调度方仿真实体名、调度方端口、被调度方仿真实体名、被调度方端口号的调度关系信息。
8.根据权利要求6所述的方法,其特征在于:所述资源描述是动态行为描述时,所述动态行为描述提供给云仿真平台的仿真模型资源组合服务使用,由仿真模型资源组合服务解析,并对相应仿真模型进行调度,完成整个云仿真服务的功能。
CN202010669026.0A 2020-07-13 2020-07-13 基于owl的军事仿真模型及资源描述方法 Pending CN111783312A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010669026.0A CN111783312A (zh) 2020-07-13 2020-07-13 基于owl的军事仿真模型及资源描述方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010669026.0A CN111783312A (zh) 2020-07-13 2020-07-13 基于owl的军事仿真模型及资源描述方法

Publications (1)

Publication Number Publication Date
CN111783312A true CN111783312A (zh) 2020-10-16

Family

ID=72767552

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010669026.0A Pending CN111783312A (zh) 2020-07-13 2020-07-13 基于owl的军事仿真模型及资源描述方法

Country Status (1)

Country Link
CN (1) CN111783312A (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112270083A (zh) * 2020-10-23 2021-01-26 中国人民解放军海军航空大学 一种多分辨建模与仿真方法及系统
CN113268895A (zh) * 2021-07-20 2021-08-17 湖南高至科技有限公司 基于语义映射的组合仿真方法、装置、设备和介质
CN117056028A (zh) * 2023-09-25 2023-11-14 之江实验室 机器人仿真平台搭建方法、装置、计算机设备和存储介质

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101458692A (zh) * 2007-12-14 2009-06-17 北京神州数码有限公司 一种战略物资行业知识库的平台及其构建方法
CN106776797A (zh) * 2016-11-22 2017-05-31 中国人名解放军理工大学 一种基于本体推理的知识问答系统及其工作方法
CN109284395A (zh) * 2018-09-13 2019-01-29 中国电子科技集团公司第二十八研究所 一种基于通用内核本体的军事领域本体构建方法

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101458692A (zh) * 2007-12-14 2009-06-17 北京神州数码有限公司 一种战略物资行业知识库的平台及其构建方法
CN106776797A (zh) * 2016-11-22 2017-05-31 中国人名解放军理工大学 一种基于本体推理的知识问答系统及其工作方法
CN109284395A (zh) * 2018-09-13 2019-01-29 中国电子科技集团公司第二十八研究所 一种基于通用内核本体的军事领域本体构建方法

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
杨健等: "基于本体的仿真组件语义描述和可组合性检验方法", 指挥与控制学报, vol. 5, no. 3, 17 June 2009 (2009-06-17), pages 228 - 235 *

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112270083A (zh) * 2020-10-23 2021-01-26 中国人民解放军海军航空大学 一种多分辨建模与仿真方法及系统
CN112270083B (zh) * 2020-10-23 2023-03-07 中国人民解放军海军航空大学 一种多分辨建模与仿真方法及系统
CN113268895A (zh) * 2021-07-20 2021-08-17 湖南高至科技有限公司 基于语义映射的组合仿真方法、装置、设备和介质
CN113268895B (zh) * 2021-07-20 2021-09-21 湖南高至科技有限公司 基于语义映射的组合仿真方法、装置、设备和介质
CN117056028A (zh) * 2023-09-25 2023-11-14 之江实验室 机器人仿真平台搭建方法、装置、计算机设备和存储介质
CN117056028B (zh) * 2023-09-25 2024-01-09 之江实验室 机器人仿真平台搭建方法、装置、计算机设备和存储介质

Similar Documents

Publication Publication Date Title
CN101901150B (zh) 通用分布式机载设备健康管理仿真平台及其实现方法
CN104573115B (zh) 支持多类型数据库操作的集成接口的实现方法及系统
Jacobs et al. D-SOL; a distributed Java based discrete event simulation architecture
CN111783312A (zh) 基于owl的军事仿真模型及资源描述方法
CN102609248B (zh) 一种基于mda的综合航空电子系统建模仿真平台
Barthès OMAS—a flexible multi-agent environment for CSCWD
Baldassari et al. PROTOB: An object oriented methodology for developing discrete event dynamic systems
CN102945165A (zh) 虚拟试验支撑平台
CN103646134B (zh) 一种面向服务的网络化仿真系统动态生成方法
CN112698921A (zh) 一种逻辑代码运行方法、装置、计算机设备和存储介质
CN112433806A (zh) 面向云仿真服务的计算模型结构及调度执行方法
CN103455647A (zh) 一种反射式面向对象仿真引擎
CN112114785A (zh) 一种基于微服务的数字孪生体构建方法和系统
Agha Actors programming for the mobile cloud
CN115270437A (zh) 一种新型任务级作战仿真建模方法与框架
CN116341298B (zh) 一种仿真引擎与模型解耦适配方法
Wang et al. Docker-based web server instructional system
Yu et al. Object-oriented Petri nets based architecture description language for multi-agent systems
Miriyala et al. Visualizing actor programs using predicate transition nets
D’Ambrogio et al. jEQN a java-based language for the distributed simulation of queueing networks
Wutzler et al. Role-based models for building adaptable collaborative smart service systems
Pereira Mobile Reactive Systems over Bigraphical Machines-A Programming Model and its Implementation
Friedman-Hill et al. Simulation templates in the SUMMIT system
Song et al. A SIMULATION-LANGUAGE-COMPILER-BASED MODELING AND SIMULATION FRAMEWORK.
Holvoet et al. Behaviour specification of parallel active objects

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination