装备保障仿真规则构建方法及终端设备

1.本发明属于装备技术领域，尤其涉及一种装备保障仿真规则构建方法及终端设备。


背景技术：

2.装备保障仿真规则是装备保障仿真的基础，因此，在进行装备保障仿真的过程中，首先需要建立装备保障仿真规则。其中，可以将建立的装备保障仿真规则均存入装备保障仿真规则库。
3.在装备保障仿真规则库建立初期，规模较小，采用人工方法即可对其进行维护，但是在后期，随着规则逐渐增多，装备保障仿真规则库的规模也逐渐增大，规则之间的关系和影响也逐渐复杂，人工维护已无法满足时间和效率要求。


技术实现要素：

4.有鉴于此，本发明提供了一种装备保障仿真规则构建方法及终端设备，以解决现有技术已无法满足时间和效率要求的问题。
5.本发明的第一方面提供了一种装备保障仿真规则构建方法，包括：
6.获取装备保障仿真规则，并将装备保障仿真规则存入装备保障仿真规则库中；
7.检测装备保障仿真规则库中是否具有存在缺陷的规则；
8.若检测到装备保障仿真规则库中具有存在缺陷的规则，则对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库。
9.本发明的第二方面提供了一种终端设备，包括存储器、处理器以及存储在存储器中并可在处理器上运行的计算机程序，处理器执行计算机程序时实现如第一方面所述的装备保障仿真规则构建方法的步骤。
10.本发明的第三方面提供了一种计算机可读存储介质，计算机可读存储介质存储有计算机程序，计算机程序被一个或多个处理器执行时实现如第一方面所述的装备保障仿真规则构建方法的步骤。
11.本发明与现有技术相比存在的有益效果是：本发明通过将获取的装备保障仿真规则存储在装备保障仿真规则库中，检测装备保障仿真规则库中是否具有存在缺陷的规则，若有，则对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库，可以实现对装备保障仿真规则库的自动维护，无需人工维护，能够极大地提高效率，节约时间。
附图说明
12.为了更清楚地说明本发明实施例中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。
13.图1是本发明一实施例提供的装备保障仿真规则构建方法的实现流程示意图；
14.图2是本发明一实施例提供的装备保障仿真规则的输入界面示意图；
15.图3是本发明一实施例提供的swrl的架构示意图；
16.图4是本发明一实施例提供的装备保障仿真规则构建装置的示意框图；
17.图5是本发明一实施例提供的终端设备的示意框图。
具体实施方式
18.以下描述中，为了说明而不是为了限定，提出了诸如特定系统结构、技术之类的具体细节，以便透彻理解本申请实施例。然而，本领域的技术人员应当清楚，在没有这些具体细节的其它实施例中也可以实现本申请。在其它情况中，省略对众所周知的系统、装置、电路以及方法的详细说明，以免不必要的细节妨碍本申请的描述。
19.为了说明本发明所述的技术方案，下面通过具体实施例来进行说明。
20.图1是本发明一实施例提供的装备保障仿真规则构建方法的实现流程示意图，为了便于说明，仅示出了与本发明实施例相关的部分。本发明实施例的执行主体可以是终端设备。
21.如图1所示，该方法可以包括以下步骤：
22.s101：获取装备保障仿真规则，并将装备保障仿真规则存入装备保障仿真规则库中。
23.其中，装备保障仿真规则描述了在装备保障仿真中相关领域的约束，用于规定在装备保障仿真中，在某种情境、背景或状态下，什么行为是必须的，什么行为是可选的，或什么行为是禁止的，供所涉及对象加以遵循。建立装备保障仿真规则的信息来源主要包括：装备保障文献资料、以往开发系统的相关文档、装备保障领域专家等。装备保障仿真规则应具有如下特点：
24.·
规范化。规范化是指装备保障仿真规则所采用的表示法要有明确的规定，要采用公认的、无二义的概念、术语、符号、语法。只有在规范化的语义环境下，不同领域开发群体之间才能对共同关注的领域空间形成一致的理解和描述，尽可能在开发过程的早期消除质量隐患，并为系统的集成和重用奠定基础。
25.·
约束性。装备保障仿真规则用于约束领域内个体的行为，决定着个体在特定环境下可以干什么，不可以干什么。其约束性表现为在特定的条件下对事物运动或变化的基本条件、范围和方向加以限制，确定某种程度的“因果”关系。
26.·
触发性。装备保障仿真规则的触发性体现为规则对应着一定的反应行为，在一定的情境、背景或状态下，该行为才能够被触发。
27.·
可扩充性。装备保障仿真规则的可扩充性体现在两方面：一是指可根据用户特殊的仿真应用目标，对仿真系统内的规则进行定制，这是系统得以改进的重要保证；二是指可根据需要，对装备保障仿真规则的语义环境进行修改和补充。
28.根据装备保障仿真规则的特点，可以将装备保障仿真规则分为三类，即约束规则、演绎规则和行为规则。
29.约束规则是对领域中重要事情的陈述，它详细描述了领域中明确的、静态的概念，主要目的是保证领域概念的合法性。约束可以分为强制性约束和指导性约束。它们之间的
language，网络本体语言)和ruleml(rule markup language，规则标记语言)的特点，很好地把规则与owl的本体库结合了起来，使用它来描述推理规则不仅能实现规则知识与owl描述的本体知识之间的交互，还能最大化地实现owl系统中规则知识之间的重用性与互操作性。swrl主要由四部分组成，分别是imp、atom、variable和built
‑
ins，其架构如图3所示。
42.由图3可知，swrl的规则由imp组成，在imp中保留了ruleml中以head表示推理结果，body表示推理前提的基本形态。head和body中的允许出现的基本成分是atom，即其架构中所使用的hom子句都是由atom所组成。imp的head部分只允许出现有一个atom，而body部分允许出现若干个atom的合取，即规则具有atom子句的特征，而具有atom子句形式可以便于推理。atom中所使用的变量部分记录在variable中，在atom中包含了一条条的限制式，这些限制式主要可分为四种：
43.·
c(x)：c是owl本体中类的描述，x为个体变量或者一个owl个体；
44.·
p(x,y)：p是owl本体中的对象类型属性，x、y可以是变量、数据类型或实例；
45.·
sameas(x,y)：变量x和y相等；
46.·
diferentfrom(x,y)：变量x和y不同。
47.built
‑
ins是swrl模块化的组件，swrl规则中所有可以引用的逻辑比较关系都记录在built
‑
ins中。分别被用于数值比较、数学计算、布尔运算、字符串操作、时间和日期，等等。例如，用于数值比较的built
‑
ins包括：lessthan、lessthanorequal、greaterthan、greaterthanorequal等，可以用于比较装备保障仿真模型中的相关数值关系。
48.swrl可被看成是规则和本体的结合，通过两者的组合可使撰写规则时，直接使用本体中所描述的关系和字词，这些类别之间的关系本来可能还需要额外的规则描述，但swrl中可以直接使用本体的描述。一个规则包含了一个前提(body)和一个结论(head)。当前提为满足(true)，那么结论一定会满足。这一特征使得swrl书写领域规则更加的简便。例如，在本体中定义了如下关系：
49.instanceof(m,c)
50.hasattribute(c,a)
51.通过本体描述我们可以知道，m(抢修1组)是c(履带式装甲抢修组)类的实例，履带式装甲抢修组具有a(装甲装备修理能力)属性，通过swrl设计一条规则说明m和a的关系，描述如下：
52.body
53.instanceof(m,c)
54.hasattribute(c,a)
55.head
56.hasattribute(m,a)
57.本发明实施例可以使用swrl tab插件来编辑规则，它允许用户无缝地在swrl规则编辑环境与普通的owl编辑环境中随意切换。上述规则在插件中的编辑界面如图2所示，描述方式如下：
58.instanceof(？x,？y)∧hasattribute(？y,？z)
→
hasattribute(？x,？z)
59.s102：检测装备保障仿真规则库中是否具有存在缺陷的规则。
60.装备保障仿真规则是概念建模的一部分，将其用于检验概念模型的同时，另一个
重要的功能是实现规则的重用。因此，本发明实施例将所有的规则组成装备保障仿真规则库，以方便领域专家、建模人员增加、删除、修改和查询规则。在装备保障仿真规则库建立初期，其规模可能较小，采用人工方法就可以对其进行维护，但随着规则越来越多，装备保障仿真规则库的规模也会越来越大，规则之间的相互关系和影响也会越来越复杂，人工维护方法已经无法满足需求，因此，本发明实施例可以自动对装备保障仿真规则库进行分析和检查，自动检测出存在缺陷的规则。
61.通过对装备保障仿真规则的缺陷特征进行分析，将存在缺陷的规则分为5类，即等价规则、循环规则、冲突规则、包含规则和遗漏规则。本发明实施例可以对该5类存在缺陷的规则均进行检测和优化，得到优化后的装备保障仿真规则库。
62.s103：若检测到装备保障仿真规则库中具有存在缺陷的规则，则对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库。
63.由上述描述可知，本发明实施例通过将获取的装备保障仿真规则存储在装备保障仿真规则库中，检测装备保障仿真规则库中是否具有存在缺陷的规则，若有，则对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库，可以实现对装备保障仿真规则库的自动维护，无需人工维护，能够极大地提高效率，节约时间。
64.在本发明的一个实施例中，存在缺陷的规则包括等价规则；
65.检测装备保障仿真规则库中是否具有存在缺陷的规则，包括：
66.按照顺序提取装备保障仿真规则库中的子句，并对提取出来的子句赋予序号；
67.对于装备保障仿真规则库中的各个装备保障仿真规则，调整该装备保障仿真规则中子句的先后顺序，使该装备保障仿真规则中子句的排列顺序与对应子句的序号顺序一致；
68.检测装备保障仿真规则库中是否具有完全相同的装备保障仿真规则；
69.若装备保障仿真规则库中具有完全相同的装备保障仿真规则，则确定装备保障仿真规则库中具有等价规则，并确定完全相同的装备保障仿真规则为等价规则；
70.相应地，对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库，包括：
71.将完全相同的装备保障仿真规则只保留一条，得到优化后的装备保障仿真规则库。
72.其中，若某一天规则与另一条规则满足同一条件并且有相同的结论，则称这两条规则是等价规则。例如，“p(x)∧q(x)
→
r(x)”与规则“q(x)∧p(x)
→
r(x)”就是等价规则。等价规则会影响规则库的工作效率，因此，应该对其进行约简。
73.等价规则产生的原因是规则表示时，子句的排序混乱。因此，可以首先将装备保障仿真规则库中的子句按照顺序提取出来，并按照顺序赋予序号或编号。然后，检验库中的所有规则，调整每个规则的前提和结论中子句的先后顺序，使其排列顺序与子句的序号一致，也就是说，每个规则中的子句，序号小的排在前，序号大的排在后。对于排序后的规则库，若存在完全相同的装备保障仿真规则，则确定装备保障仿真规则库中具有等价规则，完全相同的装备保障仿真规则即为等价规则。对于等价规则，只保留一条规则，其它相同的规则删除。若装备保障仿真规则库中不存在完全相同的装备保障仿真规则，则确定装备保障仿真规则库中不具有等价规则。
74.在本发明的一个实施例中，存在缺陷的规则包括循环规则；
75.检测装备保障仿真规则库中是否具有存在缺陷的规则，包括：
76.采用正向推理，根据第一预设测试案例集对装备保障仿真规则库中的装备保障仿真规则进行测试，记录每条推理路径以及调用的每个推理元素序号；
77.对于每条推理路径，判断新调用的推理元素是否已在该推理路径中出现，若新调用的推理元素已在该推理路径中出现，则确定装备保障仿真规则库中具有循环规则，并停止推理，对该推理路径进行标识；
78.相应地，对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库，包括：
79.将标识过的推理路径发送至专家终端，以使专家终端对标识过的推理路径对应的装备保障仿真规则进行修改，得到修改后的装备保障仿真规则；
80.接收专家终端发送的修改后的装备保障仿真规则，并将修改后的装备保障仿真规则替代修改前的装备保障仿真规则，得到优化后的装备保障仿真规则库。
81.其中，如果装备保障仿真规则库中的一组规则链接在一起可以形成一条闭合的回路，则称这组规则为循环规则集，其中的规则称为循环规则。例如，规则集：{x
→
y，y
→
z，z
→
x}，可以构成一条循环的链路x
→
y
→
z
→
x，其中前一个规则的结论为后一个规则的前提。该规则集中的规则就是一组循环规则。
82.由于拥有循环规则的系统在运行中会陷入死循环，因此，必须对其进行优化，具体优化过程如下：
83.针对决策问题，设计完整的测试案例集，即第一预设测试案例集；采用正向推理，依次调用第一预设测试案例集中的不同的测试案例对装备保障仿真规则库中的装备保障仿真规则进行测试，将每条推理路径表示为：x
i
→
x
j
→
x
m
→…
，记录每一步用到的推理元素序号；判断调用到的推理元素是否已经在该推理路径上出现过，若出现过则确定存在循环规则，并立刻终止推理；对该路径进行标识，并将标识过的推理路径发送至专家终端，以使专家终端对标识过的推理路径对应的装备保障仿真规则进行修改，得到修改后的装备保障仿真规则，接收专家终端发送的修改后的装备保障仿真规则，并将修改后的装备保障仿真规则替代修改前的装备保障仿真规则(即之前确定的循环规则)，得到优化后的装备保障仿真规则库。
84.若所有的推理路径均未出现新调用的推理元素已在对应的推理路径中出现的现象，则确定规则库中不存在循环规则。
85.第一预设测试案例集可以针对具体决策问题设计得到，在此不做具体限制。
86.专家终端为领域专家的终端，例如，可以是领域专家的手机、电脑等。
87.在本发明的一个实施例中，存在缺陷的规则包括冲突规则；
88.检测装备保障仿真规则库中是否具有存在缺陷的规则，包括：
89.若装备保障仿真规则库中存在前提相同结论不同的装备保障仿真规则，则确定装备保障仿真规则库中具有冲突规则；
90.相应地，对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库，包括：
91.将前提相同结论不同的装备保障仿真规则发送至专家终端，以使专家终端确定第一目标规则；第一目标规则为从前提相同结论不同的装备保障仿真规则中选取的正确的规则；
92.接收专家终端发送的第一目标规则，并在装备保障仿真规则库中保留第一目标规
则，删除与第一目标规则冲突的规则，得到优化后的装备保障仿真规则库。
93.其中，如果两个规则的前提相同，但结论却互相矛盾，那么则称这两个规则为冲突规则。例如，规则“x(m)
→
y(m)”和“x(m)
→
﹁y(m)”就是一对冲突规则。
94.若装备保障仿真规则库中存在前提相同结论不同的装备保障仿真规则，则确定装备保障仿真规则库中具有冲突规则；若装备保障仿真规则库中不存在前提相同结论不同的装备保障仿真规则，则确定装备保障仿真规则库中不具有冲突规则。在具体使用中，可以针对每一个新添加的装备保障仿真规则，检测装备保障仿真规则库中是否存在与该新添加的装备保障仿真规则的前提相同结论不同的规则，若有，则将冲突规则发送至专家终端，确定哪条规则正确，哪条规则不正确，从而保留正确的规则，删除不正确的规则。
95.示例性地，若添加新规则“x(m)
→
y(m)”时，将规则库中以x(m)为前提的规则找出，如果这些规则中有结论为﹁y(m)的规则，那么就把这两条规则一起发送至专家终端，判定具体使用哪一条规则、删除哪一条规则。
96.在本发明的一个实施例中，存在缺陷的规则包括包含规则；
97.检测装备保障仿真规则库中是否具有存在缺陷的规则，包括：
98.从装备保障仿真规则库中选取结论相同的装备保障仿真规则，得到规则子集；
99.针对规则子集中的每两个规则，若其中一个规则的前提子句集包含另一个规则的前提子句集，则确定装备保障仿真规则库中具有包含规则；
100.相应地，对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库，包括：
101.将互为包含规则的两个规则发送至专家终端，以使专家终端确定第二目标规则；第二目标规则为两个规则中的正确的规则；
102.接收专家终端发送的第二目标规则；
103.若第二目标规则的数量为一个，则在装备保障仿真规则库中保留第二目标规则，删除两个规则中的另一个规则，得到优化后的装备保障仿真规则库；
104.若第二目标规则的数量为两个，则在装备保障仿真规则库中保留两个规则中的被包含规则，删除两个规则中的另一个规则，得到优化后的装备保障仿真规则库。
105.其中，如果两个规则rule1和rule2具有相同的结论，但rule2有额外的约束条件，则称rule2为rule1的包含规则，rule1为rule2的被包含规则。
106.具体地，识别装备保障仿真规则库中具有相同结论的规则子集，对各规则子集中的规则进行前提检测，若某规则的前提子句集包含另一规则的前提子句集，则确定规则库中具有包含规则。将互为包含规则的两个规则发送至专家终端，确定哪条规则是正确的，哪条规则是错误的，保留正确的规则，删除错误的规则。若两条规则均是正确的，则优先保留被包含规则。
107.若对于所有的规则子集，均不存在其中一个规则的前提子句集包含另一个规则的前提子句集的现象，则确定规则库中不存在包含规则。
108.在本发明的一个实施例中，存在缺陷的规则包括遗漏规则；
109.检测装备保障仿真规则库中是否具有存在缺陷的规则，包括：
110.针对第二预设测试案例集中的每个子任务，采用推理机对装备保障仿真规则库中的规则实施正向推理操作；
111.若存在推理结果为空的目标子任务，则确定装备保障仿真规则库中具有遗漏规
则；
112.相应地，对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库，包括：
113.将目标子任务及对应的装备保障仿真规则发送至专家终端，以使专家终端根据目标子任务及对应的装备保障仿真规则确定新的插入规则；
114.接收专家终端发送的新的插入规则，并将新的插入规则插入装备保障仿真规则库中，得到新的装备保障仿真规则库；
115.针对第二预设测试案例集中的每个子任务，采用推理机对新的装备保障仿真规则库中的规则实施正向推理操作；
116.若仍存在目标子任务，则跳转至将目标子任务及对应的装备保障仿真规则发送至专家终端的步骤循环执行，直至不存在目标子任务。
117.其中，对于某一规则集，对象属性可能取值m
i
(称之为合法值)，该值可能是某个或某几个值，如果不能被任何一条规则的前提所包含，则称该规则集含有遗漏规则，即找不到一条规则满足m
i
。
118.如果规则库中存在遗漏规则，将会对系统造成很大的影响，仅被部分涵盖的属性可能会阻止系统达到某个结论，或者在运行时碰到未涵盖的属性时，系统将出现错误。因此，必须进行遗漏规则的优化，其优化的步骤如下：
119.针对第二预设测试案例集中的每个子任务，由推理机用优化规则库中的规则实施正向推理操作；若某推理结果为空，说明装备保障仿真规则库中有遗漏规则，需要对问题进行标识；将存在问题的子任务(目标子任务)及其对应的规则发送至专家终端，以使专家终端根据目标子任务及对应的装备保障仿真规则确定新的插入规则。将新的插入规则插入装备保障仿真规则库中，得到新的装备保障仿真规则库，针对新的装备保障仿真规则库，继续采用第二预设测试案例集进行测试，直至不存在目标子任务，即直至所有子任务均可解。
120.若对第二预设测试案例集中的所有子任务，推理结果均不为空，则确定装备保障仿真规则库中不存在遗漏规则。
121.第二预设测试案例集可以根据实际需求进行设计，在此不做具体限制。
122.本发明实施例通过对装备保障仿真规则库进行缺陷检查和优化处理，可以使规则库处于不断更新、完善中，保证规则库的正确性和可行性，提高规则库的运行效率，以更好地支持概念模型的验证。
123.在本发明的一个实施例中，装备保障仿真规则包括模型内部的规则、视图内部的规则、视图之间的规则和综合规则；
124.模型内部的规则包括任务模型中任务之间的依赖关系、行为模型中行为之间的优先关系、功能模型中功能之间的依赖关系、信息模型中信息之间的优先/依赖关系、实体模型中实体之间的继承关系、组织模型中节点之间的隶属关系以及同一模型中同类概念的继承传递关系；
125.视图内部的规则包括同类模型之间的优先/依赖关系、同类模型之间的分解关系以及异类模型之间的完成关系。
126.具体地，在swrl的架构里，条件判断的限制式建立在atom中，而真正的规则是建立在imp中，在imp中包含的head和body这两者的限制式来源则是由atom提供，这些限制式可以被不同的规则重复使用。在装备保障仿真规则中主要用到两种限制式：c(x)和p(x,y)，分
别对应着本体中的元概念和元关系，其中，元关系除了包含uml中的关联(association)、聚合(aggregation)、泛化(generalization)和依赖(dependency)关系之外，还构造出了触发、隶属于、以
…
为目的、调用、由
…
执行等关系，具体描述如表1所示。
127.表1基于swrl装备保障仿真规则中的atom表
128.[0129][0130]
根据装备保障仿真概念模型体系结构的视图构成特点，将装备保障仿真规则分为四类：模型内部的规则、视图内部的规则、视图之间的规则和综合规则。
[0131]
模型内部的规则是指为减少装备保障仿真概念模型中存在的错误，通过确定模型内部元素之间的关系而定义的规则。模型内部的规则主要表现为同类要素之间的关系，这些关系包括：优先、聚合、关联、继承、隶属、依赖等。
[0132]
rule 1.1：任务模型中任务之间的依赖关系。例如，机动任务和修理任务同属于任务模型，但是在系统运行过程中，后者依赖于前者，其swrl表示如下：
[0133]
movetask(？x)∧repairtask(？y)
→
dependency(？y,？x)
[0134]
rule 1.2：行为模型中行为之间的优先关系。例如，机动行为和修理行为同属于行为模型，但是在系统运行过程中，前者优先于后者，其swrl表示如下：
[0135]
move(？x)∧repair(？y)
→
prior
‑
to(？x,？y)
[0136]
rule 1.3：功能模型中功能之间的依赖关系。例如，器材供应功能和运输功能同属于功能模型，但是在系统运行过程中，前者依赖于后者，其swrl表示如下：
[0137]
equipsupplyfunction(？x)∧transportfunction(？y)
→
dependency(？x,？y)
[0138]
rule 1.4：信息模型中信息之间的优先/依赖关系。例如，在某装备保障活动中，装
备保障分队向指挥所报告装备损坏情况，与其向指挥所报告装备修理完成，存在优先关系，其swrl表示如下：
[0139]
damreport(？x)∧finishreport(？y)
→
prior
‑
to(？x,？y)
[0140]
rule 1.5：实体模型中实体之间的继承关系。例如，坦克和99a坦克都属于实体模型，99a坦克继承于坦克实体，其swrl表示如下：
[0141]
tank(？x)∧tanka(？y)
→
subclassof(？y,？x)
[0142]
rule 1.6：组织模型中节点之间的隶属关系。例如，修理分队与通用修理组是某组织模型中的两个节点，它们之间就存在隶属关系，即通用修理组隶属于修理分队，其swrl表示如下：
[0143]
universal_repair_group(？x)∧repairunit(？y)
→
belong
‑
to(？x,？y)
[0144]
rule 1.7：同一模型中，同类概念的继承传递关系。例如，实体概念之间的传递性，其swrl表示如下：
[0145]
subclassof(？x,？y)∧subclassof(？y,？z)
→
subclassof(？x,？z)
[0146]
视图内部的规则是指在装备保障仿真概念模型体系结构中，为减少同一视图内部存在的语法和语义错误而定义的规则。其主要包括同类模型之间规则和异类模型之间规则两种。例如，在运行视图内部包含了行为模型和任务模型，任务模型之间、行为模型之间的规则属于同类规则，而行为模型与任务模型之间的规则是异类规则。
[0147]
rule 2.1：同类模型之间具有优先/依赖关系。例如，机动模型和修理模型是装备抢修过程中的行为模型，在系统运行过程中，应该是先运行机动模型，再运行修理模型，即前者优先于后者，如果顺序相反，则违反了模型之间的优先/依赖关系。其swrl表示如下：
[0148]
movemodel(？x)∧repairmodel(？y)
→
prior
‑
to(？x,？y)
[0149]
movemodel(？x)∧repairmodel(？y)
→
dependency(？y,？x)
[0150]
rule 2.2：同类模型之间具有分解关系。例如，抢修任务可以分解为机动、展开、修理、撤收等任务，抢修任务模型与其它几个任务模型之间就是分解关系，其swrl表示如下：
[0151]
repairtask(？x)∧movetask(？y)
→
part
‑
of(？x,？y)
[0152]
repairtask(？x)∧spreadtask(？y)
→
part
‑
of(？x,？y)
[0153]
repairtask(？x)∧mendtask(？y)
→
part
‑
of(？x,？y)
[0154]
repairtask(？x)∧withdrawtask(？y)
→
part
‑
of(？x,？y)
[0155]
rule 2.3：异类模型之间具有完成关系，例如，机动行为模型与机动任务模型之间就存在完成关系，即机动行为主要是为了完成机动任务而建立的，其swrl表示如下：
[0156]
movebehavior(？x)∧movetask(？y)
→
finish(？x,？y)
[0157]
视图之间的规则是指在装备保障仿真概念模型体系结构中，不同视图之间由于内容的重叠，可能存在对同一个对象的描述存在遗漏、冗余、逻辑错误等一致性问题，必须定义相应的规则，以减少一致性问题的发生。视图之间的规则主要体现为视图中所包含的模型之间的规则。
[0158]
示例性地，以运行视图与功能视图之间的关系为例来说明这类规则。由于运行视图中包含了任务模型和行为模型，因此，运行视图和功能视图之间的规则就体现为任务模型和行为模型与功能模型之间的规则问题。具体表述如下：
[0159]
rule 3.1：功能可以决定执行什么样的行为。以机动行为和机动功能为例，后者决
定了前者。其swrl规则表示如下：
[0160]
movebehavior(？x)∧movefunction(？y)
→
decide(？y,？x)
[0161]
rule 3.2：在明确行为的前提下，可以推断出实施行为所需要的功能。同样以机动行为和机动功能为例，两者之间是需要的关系。其swrl规则表示如下：
[0162]
movebehavior(？x)∧movefunction(？y)
→
need(？x,？y)
[0163]
rule 3.3：功能可以决定执行什么样的任务。以修理功能和修理任务为例，前者决定了后者。其swrl规则表示如下：
[0164]
repairtask(？x)∧repairfunction(？y)
→
decide(？y,？x)
[0165]
综合规则是指在规则的前提中既有视图之间的关系，也有视图内部或模型内部的关系。例如：c1和c2分别是两种功能，b1和b2分别是两种行为，c1依赖于c2，同时，c1决定b1，c2决定b2，那么，可以得出c2优先于c1，其swrl表示如下：
[0166]
dependency(c1,c2)∧decide(c1,b1)∧decide(c2,b2)
→
prior
‑
to(c2,c1)
[0167]
综合规则与其它几种规则相比较，它比其它类型的规则更加复杂，在实际系统运行中更容易遇到，因此，可以根据系统的实际需求，建立符合要求的综合规则。
[0168]
应理解，上述实施例中各步骤的序号的大小并不意味着执行顺序的先后，各过程的执行顺序应以其功能和内在逻辑确定，而不应对本发明实施例的实施过程构成任何限定。
[0169]
对应于上述装备保障仿真规则构建方法，本发明一实施例还提供了一种装备保障仿真规则构建装置，具有与上述装备保障仿真规则构建方法同样的有益效果。图4是本发明一实施例提供的装备保障仿真规则构建装置的示意框图，为了便于说明，仅示出与本发明实施例相关的部分。
[0170]
在本发明实施例中，装备保障仿真规则构建装置30可以包括获取模块301、检测模块302和优化模块303。
[0171]
其中，获取模块301，用于获取装备保障仿真规则，并将装备保障仿真规则存入装备保障仿真规则库中；
[0172]
检测模块302，用于检测装备保障仿真规则库中是否具有存在缺陷的规则；
[0173]
优化模块303，用于若检测到装备保障仿真规则库中具有存在缺陷的规则，则对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库。
[0174]
在本发明的一个实施例中，存在缺陷的规则包括等价规则；
[0175]
检测模块302还可以用于：
[0176]
按照顺序提取装备保障仿真规则库中的子句，并对提取出来的子句赋予序号；
[0177]
对于装备保障仿真规则库中的各个装备保障仿真规则，调整该装备保障仿真规则中子句的先后顺序，使该装备保障仿真规则中子句的排列顺序与对应子句的序号顺序一致；
[0178]
检测装备保障仿真规则库中是否具有完全相同的装备保障仿真规则；
[0179]
若装备保障仿真规则库中具有完全相同的装备保障仿真规则，则确定装备保障仿真规则库中具有等价规则，并确定完全相同的装备保障仿真规则为等价规则；
[0180]
优化模块303还可以用于：
[0181]
将完全相同的装备保障仿真规则只保留一条，得到优化后的装备保障仿真规则
库。
[0182]
在本发明的一个实施例中，存在缺陷的规则包括循环规则；
[0183]
检测模块302还可以用于：
[0184]
采用正向推理，根据第一预设测试案例集对装备保障仿真规则库中的装备保障仿真规则进行测试，记录每条推理路径以及调用的每个推理元素序号；
[0185]
对于每条推理路径，判断新调用的推理元素是否已在该推理路径中出现，若新调用的推理元素已在该推理路径中出现，则确定装备保障仿真规则库中具有循环规则，并停止推理，对该推理路径进行标识；
[0186]
优化模块303还可以用于：
[0187]
将标识过的推理路径发送至专家终端，以使专家终端对标识过的推理路径对应的装备保障仿真规则进行修改，得到修改后的装备保障仿真规则；
[0188]
接收专家终端发送的修改后的装备保障仿真规则，并将修改后的装备保障仿真规则替代修改前的装备保障仿真规则，得到优化后的装备保障仿真规则库。
[0189]
在本发明的一个实施例中，存在缺陷的规则包括冲突规则；
[0190]
检测模块302还可以用于：
[0191]
若装备保障仿真规则库中存在前提相同结论不同的装备保障仿真规则，则确定装备保障仿真规则库中具有冲突规则；
[0192]
优化模块303还可以用于：
[0193]
将前提相同结论不同的装备保障仿真规则发送至专家终端，以使专家终端确定第一目标规则；第一目标规则为从前提相同结论不同的装备保障仿真规则中选取的正确的规则；
[0194]
接收专家终端发送的第一目标规则，并在装备保障仿真规则库中保留第一目标规则，删除与第一目标规则冲突的规则，得到优化后的装备保障仿真规则库。
[0195]
在本发明的一个实施例中，存在缺陷的规则包括包含规则；
[0196]
检测模块302还可以用于：
[0197]
从装备保障仿真规则库中选取结论相同的装备保障仿真规则，得到规则子集；
[0198]
针对规则子集中的每两个规则，若其中一个规则的前提子句集包含另一个规则的前提子句集，则确定装备保障仿真规则库中具有包含规则；
[0199]
优化模块303还可以用于：
[0200]
将互为包含规则的两个规则发送至专家终端，以使专家终端确定第二目标规则；第二目标规则为两个规则中的正确的规则；
[0201]
接收专家终端发送的第二目标规则；
[0202]
若第二目标规则的数量为一个，则在装备保障仿真规则库中保留第二目标规则，删除两个规则中的另一个规则，得到优化后的装备保障仿真规则库；
[0203]
若第二目标规则的数量为两个，则在装备保障仿真规则库中保留两个规则中的被包含规则，删除两个规则中的另一个规则，得到优化后的装备保障仿真规则库。
[0204]
在本发明的一个实施例中，存在缺陷的规则包括遗漏规则；
[0205]
检测模块302还可以用于：
[0206]
针对第二预设测试案例集中的每个子任务，采用推理机对装备保障仿真规则库中
的规则实施正向推理操作；
[0207]
若存在推理结果为空的目标子任务，则确定装备保障仿真规则库中具有遗漏规则；
[0208]
优化模块303还可以用于：
[0209]
将目标子任务及对应的装备保障仿真规则发送至专家终端，以使专家终端根据目标子任务及对应的装备保障仿真规则确定新的插入规则；
[0210]
接收专家终端发送的新的插入规则，并将新的插入规则插入装备保障仿真规则库中，得到新的装备保障仿真规则库；
[0211]
针对第二预设测试案例集中的每个子任务，采用推理机对新的装备保障仿真规则库中的规则实施正向推理操作；
[0212]
若仍存在目标子任务，则跳转至将目标子任务及对应的装备保障仿真规则发送至专家终端的步骤循环执行，直至不存在目标子任务。
[0213]
在本发明的一个实施例中，装备保障仿真规则采用swrl进行描述。
[0214]
在本发明的一个实施例中，装备保障仿真规则包括模型内部的规则、视图内部的规则、视图之间的规则和综合规则；
[0215]
模型内部的规则包括任务模型中任务之间的依赖关系、行为模型中行为之间的优先关系、功能模型中功能之间的依赖关系、信息模型中信息之间的优先/依赖关系、实体模型中实体之间的继承关系、组织模型中节点之间的隶属关系以及同一模型中同类概念的继承传递关系；
[0216]
视图内部的规则包括同类模型之间的优先/依赖关系、同类模型之间的分解关系以及异类模型之间的完成关系。
[0217]
所属领域的技术人员可以清楚地了解到，为了描述的方便和简洁，仅以上述各功能单元、模块的划分进行举例说明，实际应用中，可以根据需要而将上述功能分配由不同的功能单元、模块完成，即将所述装备保障仿真规则构建装置的内部结构划分成不同的功能单元或模块，以完成以上描述的全部或者部分功能。实施例中的各功能单元、模块可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中，上述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。另外，各功能单元、模块的具体名称也只是为了便于相互区分，并不用于限制本申请的保护范围。上述装置中单元、模块的具体工作过程，可以参考前述方法实施例中的对应过程，在此不再赘述。
[0218]
图5是本发明一实施例提供的终端设备的示意框图。如图5所示，该实施例的终端设备40包括：一个或多个处理器401、存储器402以及存储在所述存储器402中并可在所述处理器401上运行的计算机程序403。所述处理器401执行所述计算机程序403时实现上述各个装备保障仿真规则构建方法实施例中的步骤，例如图1所示的步骤s101至s103。或者，所述处理器401执行所述计算机程序403时实现上述装备保障仿真规则构建装置实施例中各模块/单元的功能，例如图4所示模块301至303的功能。
[0219]
示例性地，所述计算机程序403可以被分割成一个或多个模块/单元，所述一个或者多个模块/单元被存储在所述存储器402中，并由所述处理器401执行，以完成本申请。所述一个或多个模块/单元可以是能够完成特定功能的一系列计算机程序指令段，该指令段
用于描述所述计算机程序403在所述终端设备40中的执行过程。例如，所述计算机程序403可以被分割成获取模块、检测模块和优化模块，各模块具体功能如下：
[0220]
获取模块，用于获取装备保障仿真规则，并将装备保障仿真规则存入装备保障仿真规则库中；
[0221]
检测模块，用于检测装备保障仿真规则库中是否具有存在缺陷的规则；
[0222]
优化模块，用于若检测到装备保障仿真规则库中具有存在缺陷的规则，则对存在缺陷的规则进行优化，得到优化后的装备保障仿真规则库。
[0223]
其它模块或者单元可参照图4所示的实施例中的描述，在此不再赘述。
[0224]
所述终端设备40可以是桌上型计算机、笔记本、掌上电脑及云端服务器等计算设备。所述终端设备40包括但不仅限于处理器401、存储器402。本领域技术人员可以理解，图5仅仅是终端设备40的一个示例，并不构成对终端设备40的限定，可以包括比图示更多或更少的部件，或者组合某些部件，或者不同的部件，例如所述终端设备40还可以包括输入设备、输出设备、网络接入设备、总线等。
[0225]
所述处理器401可以是中央处理单元(central processing unit，cpu)，还可以是其他通用处理器、数字信号处理器(digital signal processor，dsp)、专用集成电路(application specific integrated circuit，asic)、现场可编程门阵列(field
‑
programmable gate array，fpga)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件等。通用处理器可以是微处理器或者该处理器也可以是任何常规的处理器等。
[0226]
所述存储器402可以是所述终端设备40的内部存储单元，例如终端设备40的硬盘或内存。所述存储器402也可以是所述终端设备40的外部存储设备，例如所述终端设备40上配备的插接式硬盘，智能存储卡(smart media card,smc)，安全数字(secure digital,sd)卡，闪存卡(flash card)等。进一步地，所述存储器402还可以既包括终端设备40的内部存储单元也包括外部存储设备。所述存储器402用于存储所述计算机程序403以及所述终端设备40所需的其他程序和数据。所述存储器402还可以用于暂时地存储已经输出或者将要输出的数据。
[0227]
在上述实施例中，对各个实施例的描述都各有侧重，某个实施例中没有详述或记载的部分，可以参见其它实施例的相关描述。
[0228]
本领域普通技术人员可以意识到，结合本文中所公开的实施例描述的各示例的单元及算法步骤，能够以电子硬件、或者计算机软件和电子硬件的结合来实现。这些功能究竟以硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能，但是这种实现不应认为超出本申请的范围。
[0229]
在本申请所提供的实施例中，应该理解到，所揭露的装备保障仿真规则构建装置和方法，可以通过其它的方式实现。例如，以上所描述的装备保障仿真规则构建装置实施例仅仅是示意性的，例如，所述模块或单元的划分，仅仅为一种逻辑功能划分，实际实现时可以有另外的划分方式，例如多个单元或组件可以结合或者可以集成到另一个系统，或一些特征可以忽略，或不执行。另一点，所显示或讨论的相互之间的耦合或直接耦合或通讯连接可以是通过一些接口，装置或单元的间接耦合或通讯连接，可以是电性，机械或其它的形
式。
[0230]
所述作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。
[0231]
另外，在本申请各个实施例中的各功能单元可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中。上述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。
[0232]
所述集成的模块/单元如果以软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读取存储介质中。基于这样的理解，本申请实现上述实施例方法中的全部或部分流程，也可以通过计算机程序来指令相关的硬件来完成，所述的计算机程序可存储于一计算机可读存储介质中，该计算机程序在被处理器执行时，可实现上述各个方法实施例的步骤。其中，所述计算机程序包括计算机程序代码，所述计算机程序代码可以为源代码形式、对象代码形式、可执行文件或某些中间形式等。所述计算机可读介质可以包括：能够携带所述计算机程序代码的任何实体或装置、记录介质、u盘、移动硬盘、磁碟、光盘、计算机存储器、只读存储器(read
‑
only memory，rom)、随机存取存储器(random access memory，ram)、电载波信号、电信信号以及软件分发介质等。需要说明的是，所述计算机可读介质包含的内容可以根据司法管辖区内立法和专利实践的要求进行适当的增减，例如在某些司法管辖区，根据立法和专利实践，计算机可读介质不包括是电载波信号和电信信号。
[0233]
以上所述实施例仅用以说明本申请的技术方案，而非对其限制；尽管参照前述实施例对本申请进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本申请各实施例技术方案的精神和范围，均应包含在本申请的保护范围之内。