CN113326172B - 一种运维知识的处理方法、装置及设备 - Google Patents
一种运维知识的处理方法、装置及设备 Download PDFInfo
- Publication number
- CN113326172B CN113326172B CN202110888778.0A CN202110888778A CN113326172B CN 113326172 B CN113326172 B CN 113326172B CN 202110888778 A CN202110888778 A CN 202110888778A CN 113326172 B CN113326172 B CN 113326172B
- Authority
- CN
- China
- Prior art keywords
- maintenance
- node
- time
- property
- true
- 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.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3065—Monitoring arrangements determined by the means or processing involved in reporting the monitored data
- G06F11/3072—Monitoring arrangements determined by the means or processing involved in reporting the monitored data where the reporting involves data filtering, e.g. pattern matching, time or event triggered, adaptive or policy-based reporting
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
- G06F11/3006—Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system is distributed, e.g. networked systems, clusters, multiprocessor systems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3055—Monitoring arrangements for monitoring the status of the computing system or of the computing system component, e.g. monitoring if the computing system is on, off, available, not available
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/02—Knowledge representation; Symbolic representation
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computing Systems (AREA)
- Quality & Reliability (AREA)
- Mathematical Physics (AREA)
- Artificial Intelligence (AREA)
- Computational Linguistics (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Software Systems (AREA)
- Computer Vision & Pattern Recognition (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
本发明公开了一种运维知识的处理方法、装置及设备,该方法包括:获取对运维知识进行描述的指令;根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;输出所述描述结果。通过上述方式,本发明解决了运维知识描述中可解释性差的问题,同时对时序性质也进行了很好的定量描述,具有足够的抽象和表达能力。
Description
技术领域
本发明涉及运维技术领域,特别是指一种运维知识的处理方法、装置及设备。
背景技术
随着运维领域的不断发展,运维系统的复杂程度逐渐增加,对其进行的管理和分析也日趋困难。在此基础上,智能运维应运而生。它通过自动化和智能化的手段对运维系统进行管理。而在此过程当中,传统运维人员所具备的大量运维经验被弃置不用;这是十分可惜的。一方面,智能运维厂商通过IT技术,在对系统建模时忽略了对运维人员经验的建模和描述,使得机器学习自动获取的系统特征或性质与运维人员的理解大相径庭,特征或性质的可解释性较差。另一方面,一些基于简单逻辑规则的运维经验描述不足以作为涵盖大多数运维场景的通用描述方法,仅能对一些简单性质进行描述,对于一些时序性质的描述往往只能做到定性描述而无法做到定量描述。
发明内容
本发明要解决的技术问题是如何提供一种运维知识的处理方法、装置及设备。解决现有技术中运维知识抽取方式所存在的可解释性差和描述能力弱的问题。
为解决上述技术问题,本发明的技术方案如下:
一种运维知识的处理方法,包括:
获取对运维知识进行描述的指令;
根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;
输出所述描述结果。
可选的,所述第一符号表达式为:Ψ::= 性质公式|第一子符号表达式;其中,|为分隔符。
可选的,
Ψ::=i⊨nϕ|¬Ψ|Ψ∧Ψ|Ψ→Ψ|n≫n'|n∼n'|Neigh[n,i](ϕ);
其中,i⊨nϕ,表示运维系统的节点n在时间i之后满足性质ϕ;
¬Ψ,表示系统不满足性质Ψ;
Ψ1∧Ψ2,表示系统既满足Ψ1又满足Ψ2;
Ψ1→Ψ2≡¬Ψ1∨Ψ2,表示在Ψ1成立时有Ψ2成立;
n≫n',表示系统中节点n是节点n'的上游节点,则相应的节点n'是节点n的下游节点;
n∼n',表示系统中节点n与节点n'具有逻辑关联;
Neigh[n,i](ϕ),表示对于任意的节点n',如果n∼n',则i⊨n'ϕ,即所有与节点n有逻辑关联的节点n',都从时刻i开始满足ϕ。
可选的,所述第二符号表达式为:
ϕ::=第二子符号表达式1|…|第二子符号表达式n;其中,|为分隔符,n为正整数。
可选的,ϕ::=a|¬ϕ|ϕ∧ϕ|Xϕ|ϕUϕ|ϕUkϕ;
其语义解释如下:
其中,用i⊨nϕ表示运维系统的节点n在时间i之后满足性质ϕ;
i⊨na当且仅当a∈Σ,表示当前的运维事件a在时刻i发生在了运维系统的节点n;
i⊨n¬ϕ当且仅当i⊨nϕ不成立;
i⊨nϕ1∧ϕ2当且仅当i⊨nϕ1和i⊨nϕ1均成立;
i⊨nXϕ当且仅当i+1⊨nϕ,即在下一个时间i+1,运维系统的节点n满足性质ϕ;
i⊨nϕ1Uϕ2当且仅当∃j:i≤j,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在某时刻发生;
i⊨nϕ1Ukϕ2当且仅当∃j:i≤j≤i+k,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在之后长度为k的时间段内发生。
可选的,所述第二子符号表达式还包括以下至少一项:
T≡a∨¬a,表示在任意时刻和运维节点一直成立的性质,意义等同于组合逻辑的“真”;
F≡a∧¬a,表示在任意时刻和运维节点一直不成立的性质,意义等同于组合逻辑的“假”;
ϕ1∨ϕ2≡¬(¬ϕ1∧¬ϕ2 ),表示ϕ1或者ϕ2成立;
ϕ1→ϕ2≡¬ϕ1∨ϕ2,表示在ϕ1成立时有ϕ2成立;
Fϕ≡TUϕ,表示ϕ最终会在某时刻成立;
Gϕ≡¬F¬ϕ,表示ϕ一直成立;
Fkϕ≡TUkϕ,表示ϕ最终会在之后长度为k的时间段内成立;
Gkϕ≡¬Fk¬ϕ,表示ϕ在之后长度为k的时间段内一直成立;
i≥i'≡Fi-i'T,表示时刻i在时刻i'之后。
可选的,运维知识的处理方法,还包括:
根据所述运维知识描述工具生成至少一种运维知识描述模板,所述运维知识描述模板包括:至少一种第一子符号表达式和/或至少一种第二子符号表达式形成的符号表达式。
本发明的实施例还提供一种运维知识的处理装置,包括:
获取模块,用于获取对运维知识进行描述的指令;
处理模块,用于根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;
输出模块,用于输出所述描述结果。
本发明的实施例还提供一种电子设备,包括:处理器、存储有计算机程序的存储器,所述计算机程序被处理器运行时,执行如上所述的数据处理方法。
本发明的实施例还提供一种计算机可读存储介质,其特征在于,存储指令,当所述指令在计算机上运行时,使得计算机执行如上所述的数据处理方法。
本发明的上述方案至少包括以下有益效果:
通过获取对运维知识进行描述的指令;根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;输出所述描述结果。解决运维知识描述中可解释性差的问题,同时对时序性质进行很好的定量描述,具有足够的抽象和表达能力。
上述说明仅是本发明实施例技术方案的概述,为了能够更清楚了解本发明实施例的技术手段,而可依照说明书的内容予以实施,并且为了让本发明实施例的上述和其它目的、特征和优点能够更明显易懂,以下特举本发明实施例的具体实施方式。
附图说明
通过阅读下文优选实施方式的详细描述,各种其他的优点和益处对于本领域普通技术人员将变得清楚明了。附图仅用于示出优选实施方式的目的,而并不认为是对本发明实施例的限制。而且在整个附图中,用相同的参考符号表示相同的部件。在附图中:
图1示出了本发明实施例提供的运维知识的处理方法流程图;
图2示出了本发明实施例提供的运维系统示例图;
图3示出了本发明实施例提供的运维系统网络配置图;
图4示出了本发明实施例提供的运维知识的处理装置的结构示意图;
图5示出了本发明实施例提供的计算设备的结构示意图。
具体实施方式
下面将参照附图更详细地描述本公开的示例性实施例。虽然附图中显示了本公开的示例性实施例,然而应当理解,可以以各种形式实现本公开而不应被这里阐述的实施例所限制。相反,提供这些实施例是为了能够更透彻地理解本公开,并且能够将本公开的范围完整的传达给本领域的技术人员。
如图1所示,本发明的实施例提供一种运维知识的处理方法,包括:
步骤11,获取对运维知识进行描述的指令;
步骤12,根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;
步骤13,输出所述描述结果。
该实施例所述的运维知识的处理方法,通过获取对运维知识进行描述的指令;根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;输出所述描述结果。从而使得运维知识的描述可以定量描述,解决了运维知识描述中可解释性差的问题,同时对时序性质也进行了很好的定量描述,具有足够的抽象和表达能力。
在本发明的一可选的实施例中,步骤12中所述第一符号表达式为:Ψ::=性质公式|第一子符号表达式;其中,|为分隔符。
该实施例中,第一符号表达式为表示运维经验的公式Ψ,第一子符号表达式可为n个,n为正整数。
在本发明的又一可选的实施例中,
Ψ::=i⊨nϕ|¬Ψ|Ψ∧Ψ|Ψ→Ψ|n≫n'|n∼n'|Neigh[n,i](ϕ);
其语义解释如下:
其中,i⊨nϕ,表示运维系统的节点n在时间i之后满足性质ϕ;
¬Ψ,表示系统不满足性质Ψ;
Ψ1∧Ψ2,表示系统既满足Ψ1又满足Ψ2;
Ψ1→Ψ2≡¬Ψ1∨Ψ2,表示在Ψ1成立时有Ψ2成立;
n≫n',表示系统中节点n是节点n'的上游节点,则相应的节点n'是节点n的下游节点;
n∼n',表示系统中节点n与节点n'具有逻辑关联;
Neigh[n,i](ϕ),表示对于任意的节点n',如果n∼n',则i⊨n'ϕ,即所有与节点n有逻辑关联的节点n',都从时刻i开始满足ϕ。
在本发明的又一可选的实施例中,步骤12中所述第二符号表达式为:ϕ::=第二子符号表达式1|…|第二子符号表达式n;其中,|为分隔符,n为正整数。
该实施例中,第二符号表达式为定义性质公式ϕ,第一子符号表达式可为n个,n为正整数。
在本发明的又一可选的实施例中,ϕ::=a|¬ϕ|ϕ∧ϕ|Xϕ|ϕUϕ|ϕUkϕ;
其语义解释如下:
其中,用i⊨nϕ表示运维系统的节点n在时间i之后满足性质ϕ;
i⊨na当且仅当a∈Σ,表示当前的运维事件a在时刻i发生在了运维系统的节点n;
i⊨n¬ϕ当且仅当i⊨nϕ不成立;
i⊨nϕ1∧ϕ2当且仅当i⊨nϕ1和i⊨nϕ1均成立;
i⊨nXϕ当且仅当i+1⊨nϕ,即在下一个时间i+1,运维系统的节点n满足性质ϕ;
i⊨nϕ1Uϕ2当且仅当∃j:i≤j,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在某时刻发生;
i⊨nϕ1Ukϕ2当且仅当∃j:i≤j≤i+k,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在之后长度为k的时间段内发生。
该实施例中,本发明所述的运维知识的处理方法所使用的形式逻辑基于线性时序逻辑。对于给定的运维事件集合Σ,定义第二符号表达式的语法为:ϕ::=a|¬ϕ|ϕ∧ϕ|Xϕ|ϕUϕ|ϕUkϕ。
本发明的实施例中,形式逻辑为:描述性质的形式化方法;逻辑公式:满足给定形式语言语法的句子描述,通常以符号化的、具有特定含义的语法结构来表示,是组成形式逻辑的基本单元。
在本发明的又一可选的实施例中,步骤12中所述第二子符号表达式还包括以下至少一项:
T≡a∨¬a,表示在任意时刻和运维节点一直成立的性质,意义等同于组合逻辑的“真”;
F≡a∧¬a,表示在任意时刻和运维节点一直不成立的性质,意义等同于组合逻辑的“假”;
ϕ1∨ϕ2≡¬(¬ϕ1∧¬ϕ2 ),表示ϕ1或者ϕ2成立;
ϕ1→ϕ2≡¬ϕ1∨ϕ2,表示在ϕ1成立时有ϕ2成立;
Fϕ≡TUϕ,表示ϕ最终会在某时刻成立;
Gϕ≡¬F¬ϕ,表示ϕ一直成立;
Fkϕ≡TUkϕ,表示ϕ最终会在之后长度为k的时间段内成立;
Gkϕ≡¬Fk¬ϕ,表示ϕ在之后长度为k的时间段内一直成立;
i≥i'≡Fi-i'T,表示时刻i在时刻i'之后。
该实施例中,依据性质公式,结合对运维场景的提炼和汇总,对运维知识的处理定义上述第一符号表达式,其语法结构为:
Ψ::=i⊨nϕ|¬Ψ|Ψ∧Ψ|Ψ→Ψ|n≫n'|n∼n'|Neigh[n,i](ϕ)。
本发明的上述实施例中,运维系统为:运维对象实体集合的统称,例如某互联网公司在某地的机房,银行业务系统等。节点为:运维系统中实现单一功能的实体模块或抽象模块,例如微服务、服务器、中间件、业务应用、业务模块等。
在本发明的一可选的实施例中,运维知识的处理方法,在上述步骤的基础上,还可以包括:
根据所述运维知识描述工具生成至少一种运维知识描述模板,所述运维知识描述模板包括:至少一种第一子符号表达式和/或至少一种第二子符号表达式形成的符号表达式。
该实施例中,一种具体的实现实例中,可以根据所述运维知识描述工具生成如下4类通用的运维经验描述模板,包括:
异常连续型模板CoA:
CoAk=(i⊨na)∧(i'⊨na)∧(i≥i')∧(i'⊨n G i-i'Fka);
异常传播型模板TRbA:
TRbAk=(i⊨na)∧(i'⊨n'a' )∧(i≥i')∧(i'⊨nFka∧Gi-i'-1¬a);
异常触发型模板ToA:
ToAc,k=(n∼n')∧(i'⊨n'a')∧(i≥i')∧(Neigh[n',i'](c(v)→Fka));
增量部署型模板IncD:
IncDk=(i⊨na)∧(i'⊨na)∧(i≥i')∧(n∼n')∧(i'⊨nFG(Fka'))。
其中,异常连续型模板CoA用来描述同一种异常连续出现的情况。比如,由于运维人员的处理问题的不及时,运维系统可能会发生同一种异常连续产生运维事件消息的情况。
异常传播型模板TRbA用来描述两类运维事件之间的关联。比如说服务响应时间过长会导致业务成功率降低,用户访问量增加会导致服务TPS增高等。
异常触发型模板ToA用来描述某个运维系统的节点对周围节点的影响。比如在某一服务无法完成时,其下部署的所有主机和虚拟机的TPS均在3个采样周期内降低为零等。
增量部署型模板IncD用来描述业务的增量部署或服务器的开启所带来的影响。比如在重启服务器部署新的服务时会造成业务系统的不稳定,导致产生一系列的相关运维节点的告警消息。
本发明的实施例中,运维事件为:某种与运维系统结构或性质改变相关的事件,例如某服务器的CPU使用率超过阈值,某业务的响应时间过长,某服务调用的失败率过高等。
如图2所示的本发明实施例提供的运维系统示例图,长虚线的方框及箭头分别代表了某个业务完整的应用调用情况,其中每一个服务分别运行在独立的虚拟机上。每一个虚拟机都部署在物理主机上。需要注意的是,vm1和vm6上LVS类型的节点是负载均衡器,用于协调同一业务在分布式服务器上的执行以实现资源的高效利用。对于图中表示的每一个虚拟机,以其图中的名字vmi来表示。对于图中的物理主机,用Physical server i(物理服务器i)表示,其中Physical server 1为部署vm1和vm6的主机,Physical server 2为部署vm2的主机,Physical server 3为部署vm3的主机,Physical server 4为部署vm4和vm7的主机,Physical server 5为部署vm5和vm8的主机。
如图3所示的本发明实施例提供的运维系统网络配置图,因为两条业务线均部署在分布式服务器集群上,其信息交换均通过远程过程调用(RPC)方式进行,即通过网络实现不同服务器上的服务调用和数据请求。例如,对于图2中Tenant A表示的业务,用户的请求通过网络中的核心交换机(图中CS节点)输入网络。该请求入网后,首先通过汇聚交换机节点DS,经路由rt3发送至Physical server 1(物理服务器1)服务器上的虚拟机vm1进行负载均衡。假定该请求需由vm2进行处理,则Physical server 1通过网络RPC调用的方式将工作任务发送给Physical server 2主机上的虚拟机vm2。之后,vm2通过RPC方式获取Physicalserver 3中vm3上的数据,并完成计算和返回输出数据。
根据图2所示的运维系统结构图和图3所示的网络配置图,分别从运维的资源视角、服务视角和网络视角,利用本发明提出的运维知识的处理方法来描述三个该系统的运维性质,以说明本发明提出的运维知识的处理方法具有广泛的适用性和丰富的表达能力。
一种具体的实现实例中,首先做如下定义:某节点是一个服务这一事件定义为<SERVICE>,某一节点是一个物理主机这一事件定义为<PHYSICAL>,某节点是一个交换机这一事件定义为<SWITCH>,服务部署事件定义为<DEPLOYED>;中央处理器(CPU)占用率过高这一事件定义为<CPU>,服务的响应时间(response time)过长这一事件定义为<RT>,交换机无响应这一事件定义为<SWITCH_LOST>。另外,以秒作为性质描述的时间单位,并且假设该系统对CPU占用率的采样间隔为60秒,这里,服务的响应时间比如可以是vm1向vm2分发相应的任务,vm2向vm1的响应时间。
站在资源视角,描述如下运维性质:如果物理服务器的中央处理器(CPU)占用率过高,则会影响到部署于其上的服务,这些服务在4秒内会出现响应时间(RT)过长的问题。以异常触发型模板ToA为框架,定义物理主机m上的性质公式:(i⊨m<PHYSICAL>∧<CPU>)→(Neigh[m,i](<SERVICE>→F4<RT>)。该公式的意义为:如果m满足性质<PHYSICAL>(表示m为物理主机)并且在时刻i发生了事件<CPU>(CPU过高),那么所有与m有关的节点,如果该节点满足<SERVICE>(表示该节点是一个服务),则在4秒内会发生事件<RT>(响应时间过长)。可以看出,该公式可以清楚的表达描述的运维经验。
另外,描述如下运维性质:如果物理主机的中央处理器(CPU)占用率一直持续过高,则认为它是由同一事件引起的。以异常连续型模板CoA为框架,定义物理主机m上的性质公式:(i⊨m<CPU>)∧i'⊨m<CPU>∧(i≥i')∧(i'⊨mGi-i' F80<CPU>)。该公式的意义为:如果节点m上的两个时间i'和i之间出现的所有CPU占用率过高的事件,两两之间的时间间隔不超过80秒,则可以将其归结为同一事件(即由相同原因所引起)。可以看出,该公式可以清楚的表达描述的运维经验。
站在服务视角,描述如下运维性质:如果下游服务的响应时间过长,则会在20秒之内传播到上游服务,造成上游服务的响应时间过长。以异常传播型模板TRbA为框架,定义上游服务n和下游服务n'之间的联合性质公式:(i⊨n<SERVICE>∧<RT>)→((n≫n')∧(j≥i)∧(i⊨n'<SERVICE>)→(i⊨n' F20<RT>∧Gj-i-1¬<RT>))。
该公式的意义为:如果n满足性质<SERVICE>(表示该节点是一个服务)并且在时刻i发生了<RT>(响应时间过长),则对于满足性质<SERVICE>的下游节点n',在某一满足j≥i的时刻j会首次发生事件<RT>。可以看出,该公式可以清楚的表达描述的运维经验。
另外,描述如下运维性质:在服务器上新部署的服务可能会消耗服务器的资源,造成服务器的CPU资源紧张。以增量部署型模板IncD为框架,定义服务n与服务器m之间的联合性质公式:
(i⊨m<CPU>)∧(i'⊨n<DEPLOYED>)∧(i≥i')∧(n∼m)∧(i'⊨m FG(F80<CPU>))。
该公式的意义为:如果节点n与在了节点m有直接连接,并且节点m上有CPU过高的异常(隐含了节点m为服务器),且节点n是部署在某服务器上的(隐含了节点n为服务节点),则从某一时刻开始,服务器m上出现了可以归因为同一事件的CPU过高异常。可以看出,该公式可以清楚的表达描述的运维经验。
站在网络视角,描述如下运维性质:如果交换机失去响应,则其下游定义的服务均会在10秒内出现响应时间增加的情形。仍以TRbA为框架定义交换机s和服务n之间的联合性质公式:
(i⊨s<SWITCH>∧<SWITCHLOST>)→((s≫n)∧(j≥i)∧(i⊨n<SERVICE>)→(i⊨nF10<RT>∧Gj-i-1¬<RT>))。
该公式的意义为:如果s满足性质<SWITCH>(即s为交换机)并且在时刻i发生了<SWITCHLOST>(表示交换机失去连接),则对于满足性质<SERVICE>(表示该节点是一个服务)的下游节点n',在某一满足j≥i的时刻j会首次发生事件<RT>(响应时间过长),并且这个时间不超过10秒。可以看出,该公式可以清楚的表达描述的运维经验。
本发明的上述方法中,首先,利用数学的手段对运维经验进行建模和抽取,详细定义了描述方法的语法和语义,具有严密的逻辑和清晰的意义,保证了该运维系统性质描述具有良好的可解释性,为进行进一步的运维系统自动化分析奠定了基础,以形式逻辑的手段对运维知识进行描述,从而解决以往运维知识描述中存在的可解释性差的问题。再者,从描述方法的语法和语义可以看出,本发明可以定量描述运维事件之间的时间关系。本发明所述的运维知识的处理方法利用的形式逻辑表达能力足以涵盖目前已知的运维知识(即运维事件之间的逻辑关联),可以对时序性质进行很好的定量描述,具有足够的抽象和表达能力。因此本发明中的方法具有更广泛的适用性和很强的表达能力。
图4示出了本发明实施例提供的运维知识的处理装置40的结构示意图。如图4所示,该装置40包括:
获取模块41,用于获取对运维知识进行描述的指令;
处理模块42,用于;根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;
输出模块43,用于输出所述描述结果。
可选的,所述第一符号表达式为:Ψ::= 性质公式|第一子符号表达式;其中,|为分隔符。
可选的,
Ψ::=i⊨nϕ|¬Ψ|Ψ∧Ψ|Ψ→Ψ|n≫n'|n∼n'|Neigh[n,i](ϕ);
其中,i⊨nϕ,表示运维系统的节点n在时间i之后满足性质ϕ;
¬Ψ,表示系统不满足性质Ψ;
Ψ1∧Ψ2,表示系统既满足Ψ1又满足Ψ2;
Ψ1→Ψ2≡¬Ψ1∨Ψ2,表示在Ψ1成立时有Ψ2成立;
n≫n',表示系统中节点n是节点n'的上游节点,则相应的节点n'是节点n的下游节点;
n∼n',表示系统中节点n与节点n'具有逻辑关联;
Neigh[n,i](ϕ),表示对于任意的节点n',如果n∼n',则i⊨n'ϕ,即所有与节点n有逻辑关联的节点n',都从时刻i开始满足ϕ。
可选的,所述第二符号表达式为:ϕ::=第二子符号表达式1|…|第二子符号表达式n;其中,|为分隔符,n为正整数。
可选的,ϕ::=a|¬ϕ|ϕ∧ϕ|Xϕ|ϕUϕ|ϕUkϕ;
其中,用i⊨nϕ表示运维系统的节点n在时间i之后满足性质ϕ;
i⊨na当且仅当a∈Σ,表示当前的运维事件a在时刻i发生在了运维系统的节点n;
i⊨n¬ϕ当且仅当i⊨nϕ不成立;
i⊨nϕ1∧ϕ2当且仅当i⊨nϕ1和i⊨nϕ1均成立;
i⊨nXϕ当且仅当i+1⊨nϕ,即在下一个时间i+1,运维系统的节点n满足性质ϕ;
i⊨nϕ1Uϕ2当且仅当∃j:i≤j,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在某时刻发生;
i⊨nϕ1Ukϕ2当且仅当∃j:i≤j≤i+k,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在之后长度为k的时间段内发生。
可选的,所述第二子符号表达式还包括以下至少一项:
T≡a∨¬a,表示在任意时刻和运维节点一直成立的性质,意义等同于组合逻辑的“真”;
F≡a∧¬a,表示在任意时刻和运维节点一直不成立的性质,意义等同于组合逻辑的“假”;
ϕ1∨ϕ2≡¬(¬ϕ1∧¬ϕ2 ),表示ϕ1或者ϕ2成立;
ϕ1→ϕ2≡¬ϕ1∨ϕ2,表示在ϕ1成立时有ϕ2成立;
Fϕ≡TUϕ,表示ϕ最终会在某时刻成立;
Gϕ≡¬F¬ϕ,表示ϕ一直成立;
Fkϕ≡TUkϕ,表示ϕ最终会在之后长度为k的时间段内成立;
Gkϕ≡¬Fk¬ϕ,表示ϕ在之后长度为k的时间段内一直成立;
i≥i'≡Fi-i'T,表示时刻i在时刻i'之后。
可选的,运维知识的处理方法,还包括:
根据所述运维知识描述工具生成至少一种运维知识描述模板,所述运维知识描述模板包括:至少一种第一子符号表达式和/或至少一种第二子符号表达式形成的符号表达式。
需要说明的是,该实施例是与上述方法实施例对应的装置实施例,上述方法实施例中的所有实现方式均适用于该装置的实施例中,也能达到相同的技术效果。
本发明实施例提供了一种非易失性计算机存储介质,所述计算机存储介质存储有至少一可执行指令,该计算机可执行指令可执行上述任意方法实施例中的运维知识的处理方法。
图5示出了本发明实施例提供的计算设备的结构示意图,本发明具体实施例并不对计算设备的具体实现做限定。
如图5所示,该计算设备可以包括:处理器(processor)、通信接口(Communications Interface)、存储器(memory)、以及通信总线。
其中:处理器、通信接口、以及存储器通过通信总线完成相互间的通信。通信接口,用于与其它设备比如客户端或其它服务器等的网元通信。处理器,用于执行程序,具体可以执行上述用于计算设备的运维知识的处理方法实施例中的相关步骤。
具体地,程序可以包括程序代码,该程序代码包括计算机操作指令。
处理器可能是中央处理器CPU,或者是特定集成电路ASIC(Application SpecificIntegrated Circuit),或者是被配置成实施本发明实施例的一个或多个集成电路。计算设备包括的一个或多个处理器,可以是同一类型的处理器,如一个或多个CPU;也可以是不同类型的处理器,如一个或多个CPU以及一个或多个ASIC。
存储器,用于存放程序。存储器可能包含高速RAM存储器,也可能还包括非易失性存储器(non-volatile memory),例如至少一个磁盘存储器。
程序具体可以用于使得处理器执行上述任意方法实施例中的运维知识的处理方法。程序中各步骤的具体实现可以参见上述运维知识的处理方法实施例中的相应步骤和单元中对应的描述,在此不赘述。所属领域的技术人员可以清楚地了解到,为描述的方便和简洁,上述描述的设备和模块的具体工作过程,可以参考前述方法实施例中的对应过程描述,在此不再赘述。
在此提供的算法或显示不与任何特定计算机、虚拟系统或者其它设备固有相关。各种通用系统也可以与基于在此的示教一起使用。根据上面的描述,构造这类系统所要求的结构是显而易见的。此外,本发明实施例也不针对任何特定编程语言。应当明白,可以利用各种编程语言实现在此描述的本发明实施例的内容,并且上面对特定语言所做的描述是为了披露本发明实施例的最佳实施方式。
在此处所提供的说明书中,说明了大量具体细节。然而,能够理解,本发明的实施例可以在没有这些具体细节的情况下实践。在一些实例中,并未详细示出公知的方法、结构和技术,以便不模糊对本说明书的理解。
类似地,应当理解,为了精简本发明实施例并帮助理解各个发明方面中的一个或多个,在上面对本发明的示例性实施例的描述中,本发明实施例的各个特征有时被一起分组到单个实施例、图、或者对其的描述中。然而,并不应将该公开的方法解释成反映如下意图:即所要求保护的本发明实施例要求比在每个权利要求中所明确记载的特征更多的特征。更确切地说,如下面的权利要求书所反映的那样,发明方面在于少于前面公开的单个实施例的所有特征。因此,遵循具体实施方式的权利要求书由此明确地并入该具体实施方式,其中每个权利要求本身都作为本发明的单独实施例。
本领域那些技术人员可以理解,可以对实施例中的设备中的模块进行自适应性地改变并且把它们设置在与该实施例不同的一个或多个设备中。可以把实施例中的模块或单元或组件组合成一个模块或单元或组件,以及此外可以把它们分成多个子模块或子单元或子组件。除了这样的特征和/或过程或者单元中的至少一些是相互排斥之外,可以采用任何组合对本说明书(包括伴随的权利要求、摘要和附图)中公开的所有特征以及如此公开的任何方法或者设备的所有过程或单元进行组合。除非另外明确陈述,本说明书(包括伴随的权利要求、摘要和附图)中公开的每个特征可以由提供相同、等同或相似目的的替代特征来代替。
此外,本领域的技术人员能够理解,尽管在此的一些实施例包括其它实施例中所包括的某些特征而不是其它特征,但是不同实施例的特征的组合意味着处于本发明的范围之内并且形成不同的实施例。例如,在下面的权利要求书中,所要求保护的实施例的任意之一都可以以任意的组合方式来使用。
本发明的各个部件实施例可以以硬件实现,或者以在一个或者多个处理器上运行的软件模块实现,或者以它们的组合实现。本领域的技术人员应当理解,可以在实践中使用微处理器或者数字信号处理器(DSP)来实现根据本发明实施例的一些或者全部部件的一些或者全部功能。本发明实施例还可以实现为用于执行这里所描述的方法的一部分或者全部的设备或者系统程序(例如,计算机程序和计算机程序产品)。这样的实现本发明实施例的程序可以存储在计算机可读介质上,或者可以具有一个或者多个信号的形式。这样的信号可以从因特网网站上下载得到,或者在载体信号上提供,或者以任何其他形式提供。
应该注意的是上述实施例对本发明实施例进行说明而不是对本发明进行限制,并且本领域技术人员在不脱离所附权利要求的范围的情况下可设计出替换实施例。在权利要求中,不应将位于括号之间的任何参考符号构造成对权利要求的限制。单词“包含”不排除存在未列在权利要求中的元件或步骤。位于元件之前的单词“一”或“一个”不排除存在多个这样的元件。本发明实施例可以借助于包括有若干不同元件的硬件以及借助于适当编程的计算机来实现。在列举了若干系统的单元权利要求中,这些系统中的若干个可以是通过同一个硬件项来具体体现。单词第一、第二、以及第三等的使用不表示任何顺序。可将这些单词解释为名称。上述实施例中的步骤,除有特殊说明外,不应理解为对执行顺序的限定。
Claims (5)
1.一种运维知识的处理方法,其特征在于,包括:
获取对运维知识进行描述的指令;
根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;
输出所述描述结果;
其中,所述第一符号表达式为:Ψ::=性质公式|第一子符号表达式;其中,|为分隔符;
具体的,第一符号表达式包含下列形式:
Ψ::=i⊨nϕ|¬Ψ|Ψ∧Ψ|Ψ→Ψ|n≫n'|n∼n'|Neigh[n,i](ϕ);
其中,i⊨nϕ,表示运维系统的节点n在时间i之后满足性质ϕ;
¬Ψ,表示系统不满足性质Ψ;
Ψ1∧Ψ2,表示系统既满足Ψ1又满足Ψ2;
Ψ1→Ψ2≡¬Ψ1∨Ψ2,表示在Ψ1成立时有Ψ2成立;
n≫n',表示系统中节点n是节点n'的上游节点,则相应的节点n'是节点n的下游节点;
n∼n',表示系统中节点n与节点n'具有逻辑关联;
Neigh[n,i](ϕ),表示对于任意的节点n',如果n∼n',则i⊨n'ϕ,即所有与节点n有逻辑关联的节点n',都从时刻i开始满足ϕ;
其中,所述第二符号表达式为:ϕ::=第二子符号表达式1|…|第二子符号表达式n;其中,|为分隔符,n为正整数;
具体的,第二符号表达式包含下列形式:ϕ::=a|¬ϕ|ϕ∧ϕ|Xϕ|ϕUϕ|ϕUkϕ;
其中,用i⊨nϕ表示运维系统的节点n在时间i之后满足性质ϕ;
i⊨na当且仅当a∈Σ,表示当前的运维事件a在时刻i发生在了运维系统的节点n;
i⊨n¬ϕ当且仅当i⊨nϕ不成立;
i⊨nϕ1∧ϕ2当且仅当i⊨nϕ1和i⊨nϕ1均成立;
i⊨nXϕ当且仅当i+1⊨nϕ,即在下一个时间i+1,运维系统的节点n满足性质ϕ;
i⊨nϕ1Uϕ2当且仅当∃j:i≤j,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在某时刻发生;
i⊨nϕ1Ukϕ2当且仅当∃j:i≤j≤i+k,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在之后长度为k的时间段内发生;
其中,所述第二子符号表达式还包括以下至少一项:
T≡a∨¬a,表示在任意时刻和运维节点一直成立的性质,意义等同于组合逻辑的“真”;
F≡a∧¬a,表示在任意时刻和运维节点一直不成立的性质,意义等同于组合逻辑的“假”;
ϕ1∨ϕ2≡¬(¬ϕ1∧¬ϕ2),表示ϕ1或者ϕ2成立;
ϕ1→ϕ2≡¬ϕ1∨ϕ2,表示在ϕ1成立时有ϕ2成立;
Fϕ≡TUϕ,表示ϕ最终会在某时刻成立;
Gϕ≡¬F¬ϕ,表示ϕ一直成立;
Fkϕ≡TUkϕ,表示ϕ最终会在之后长度为k的时间段内成立;
Gkϕ≡¬Fk¬ϕ,表示ϕ在之后长度为k的时间段内一直成立;
i≥i'≡Fi-i'T,表示时刻i在时刻i'之后。
2.根据权利要求1所述的运维知识的处理方法,其特征在于,还包括:
根据所述运维知识描述工具生成至少一种运维知识描述模板,所述运维知识描述模板包括:至少一种第一子符号表达式和/或至少一种第二子符号表达式形成的符号表达式。
3.一种运维知识的处理装置,其特征在于,包括:
获取模块,用于获取对运维知识进行描述的指令;
处理模块,用于根据所述指令,调用运维知识描述工具,对所述运维知识进行描述,产生描述结果;所述运维知识描述工具包括:根据性质公式生成的第一符号表达式,所述第一符号表达式中包括至少一项表示运维经验的第一子符号表达式;其中,所述第一符号表达式为:Ψ::=性质公式|第一子符号表达式;其中,|为分隔符;具体的,第一符号表达式包含下列形式:Ψ::=i⊨nϕ|¬Ψ|Ψ∧Ψ|Ψ→Ψ|n≫n'|n∼n'|Neigh[n,i](ϕ);其中,i⊨nϕ,表示运维系统的节点n在时间i之后满足性质ϕ;¬Ψ,表示系统不满足性质Ψ;Ψ1∧Ψ2,表示系统既满足Ψ1又满足Ψ2;Ψ1→Ψ2≡¬Ψ1∨Ψ2,表示在Ψ1成立时有Ψ2成立;n≫n',表示系统中节点n是节点n'的上游节点,则相应的节点n'是节点n的下游节点;n∼n',表示系统中节点n与节点n'具有逻辑关联;Neigh[n,i](ϕ),表示对于任意的节点n',如果n∼n',则i⊨n'ϕ,即所有与节点n有逻辑关联的节点n',都从时刻i开始满足ϕ;所述性质公式包括第二符号表达式,所述第二符号表达式包括至少一项基于线性时序逻辑形成的第二子符号表达式;其中,所述第二符号表达式为:ϕ::=第二子符号表达式1|…|第二子符号表达式n;其中,|为分隔符,n为正整数;具体的,第二符号表达式包含下列形式:ϕ::=a|¬ϕ|ϕ∧ϕ|Xϕ|ϕUϕ|ϕUkϕ;其中,用i⊨nϕ表示运维系统的节点n在时间i之后满足性质ϕ;i⊨na当且仅当a∈Σ,表示当前的运维事件a在时刻i发生在了运维系统的节点n;i⊨n¬ϕ当且仅当i⊨nϕ不成立;i⊨nϕ1∧ϕ2当且仅当i⊨nϕ1和i⊨nϕ1均成立;i⊨nXϕ当且仅当i+1⊨nϕ,即在下一个时间i+1,运维系统的节点n满足性质ϕ;i⊨nϕ1Uϕ2当且仅当∃j:i≤j,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在某时刻发生;i⊨nϕ1Ukϕ2当且仅当∃j:i≤j≤i+k,j⊨nϕ2且∀l:i≤l<j,l⊨nϕ1,表示ϕ1从时间i开始一直成立,直到ϕ2在之后长度为k的时间段内发生;其中,所述第二子符号表达式还包括以下至少一项:T≡a∨¬a,表示在任意时刻和运维节点一直成立的性质,意义等同于组合逻辑的“真”;F≡a∧¬a,表示在任意时刻和运维节点一直不成立的性质,意义等同于组合逻辑的“假”;ϕ1∨ϕ2≡¬(¬ϕ1∧¬ϕ2),表示ϕ1或者ϕ2成立;ϕ1→ϕ2≡¬ϕ1∨ϕ2,表示在ϕ1成立时有ϕ2成立;Fϕ≡TUϕ,表示ϕ最终会在某时刻成立;Gϕ≡¬F¬ϕ,表示ϕ一直成立;Fkϕ≡TUkϕ,表示ϕ最终会在之后长度为k的时间段内成立;Gkϕ≡¬Fk¬ϕ,表示ϕ在之后长度为k的时间段内一直成立;i≥i'≡Fi-i'T,表示时刻i在时刻i'之后;
输出模块,用于输出所述描述结果。
4.一种电子设备,其特征在于,包括:处理器、存储有计算机程序的存储器,所述计算机程序被处理器运行时,执行如权利要求1或2所述的处理方法。
5.一种计算机可读存储介质,其特征在于,存储指令,当所述指令在计算机上运行时,使得计算机执行如权利要求1或2所述的处理方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110888778.0A CN113326172B (zh) | 2021-08-04 | 2021-08-04 | 一种运维知识的处理方法、装置及设备 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110888778.0A CN113326172B (zh) | 2021-08-04 | 2021-08-04 | 一种运维知识的处理方法、装置及设备 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113326172A CN113326172A (zh) | 2021-08-31 |
CN113326172B true CN113326172B (zh) | 2021-11-02 |
Family
ID=77426914
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110888778.0A Active CN113326172B (zh) | 2021-08-04 | 2021-08-04 | 一种运维知识的处理方法、装置及设备 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113326172B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115357843A (zh) * | 2022-10-20 | 2022-11-18 | 云智慧(北京)科技有限公司 | 一种运维经验的验证方法、装置及设备 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109670024A (zh) * | 2018-12-17 | 2019-04-23 | 北京百度网讯科技有限公司 | 逻辑表达式确定方法、装置、设备和介质 |
CN112559237A (zh) * | 2021-02-19 | 2021-03-26 | 北京必示科技有限公司 | 运维系统排障方法、装置、服务器和存储介质 |
CN112579707A (zh) * | 2020-12-08 | 2021-03-30 | 西安邮电大学 | 一种日志数据的知识图谱构建方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10585939B2 (en) * | 2016-10-11 | 2020-03-10 | International Business Machines Corporation | Real time object description service integrated with knowledge center on augmented reality (AR) and virtual reality (VR) devices |
-
2021
- 2021-08-04 CN CN202110888778.0A patent/CN113326172B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109670024A (zh) * | 2018-12-17 | 2019-04-23 | 北京百度网讯科技有限公司 | 逻辑表达式确定方法、装置、设备和介质 |
CN112579707A (zh) * | 2020-12-08 | 2021-03-30 | 西安邮电大学 | 一种日志数据的知识图谱构建方法 |
CN112559237A (zh) * | 2021-02-19 | 2021-03-26 | 北京必示科技有限公司 | 运维系统排障方法、装置、服务器和存储介质 |
Non-Patent Citations (1)
Title |
---|
基于知识图谱的智能故障诊断研究;刘瑞宏 等;《邮电设计技术》;20201231;30-35 * |
Also Published As
Publication number | Publication date |
---|---|
CN113326172A (zh) | 2021-08-31 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Oh et al. | Hands-free voice communication in an automobile with a microphone array | |
CN110716748B (zh) | 业务处理方法、装置、计算机可读介质及电子设备 | |
CN103927314B (zh) | 一种数据批量处理的方法和装置 | |
CN113254445B (zh) | 实时数据存储方法、装置、计算机设备及存储介质 | |
CN109684036A (zh) | 一种容器集群管理方法、存储介质、电子设备及系统 | |
CN104182234A (zh) | 一种业务处理方法和业务系统 | |
CN115408595B (zh) | 数据抓取引擎开发方法、执行方法、设备及存储介质 | |
CN109376015A (zh) | 用于任务调度系统的日志阻塞解决方法及系统 | |
CN110737425B (zh) | 一种计费平台系统的应用程序的建立方法及装置 | |
CN115588244B (zh) | 一种车联网大数据实时分析方法、装置、设备及介质 | |
CN113326172B (zh) | 一种运维知识的处理方法、装置及设备 | |
CN112202595A (zh) | 基于时间敏感网络系统的抽象模型构建方法 | |
CN112182113A (zh) | 区块链共识方法、系统、电子设备及存储介质 | |
CN111651140A (zh) | 基于工作流的服务方法及装置 | |
CN108365976B (zh) | 网络服务的优化方法及装置 | |
CN117389647A (zh) | 插件生成方法、应用程序开发方法、装置、设备及介质 | |
CN112448833B (zh) | 一种多管理域的通信方法和装置 | |
CN112202596A (zh) | 基于时间敏感网络系统的抽象模型构建装置 | |
CN116860447A (zh) | 任务缓存方法、装置、系统、设备及介质 | |
CN116166245A (zh) | 一种领域建模方法、装置、计算机设备和存储介质 | |
CN115878860A (zh) | 一种菜单的生成方法、装置、服务器设备及介质 | |
CN113141407B (zh) | 一种页面资源加载方法、装置和电子设备 | |
CN105320499A (zh) | 一种应用程序的适配方法和相关装置 | |
CN113542323A (zh) | 业务处理方法、装置、设备及计算机可读存储介质 | |
CN116820555B (zh) | 应用程序的分包方法、装置、电子设备及可读存储介质 |
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 | ||
GR01 | Patent grant | ||
GR01 | Patent grant |