一种运维经验的验证方法、装置及设备与流程

1.本发明涉及运维系统数据处理技术领域，特别是指一种运维经验的验证方法、装置及设备。


背景技术：

2.随着运维领域的不断发展，运维系统的复杂程度逐渐增加，对运维系统的行为特征进行描述也越来越困难。对于简单的运维系统，可以很容易地推导出运维事件发生的前因后果，进而将这种逻辑关系描述为系统的特征。
3.但是对于大型系统，这种特征描述会变得异常复杂，因此运维人员利用其排查逻辑很难快速定位到问题，也很难形成执行手册来对问题进行解决。这种基于人工的故障定位方法是非常低效的，造成了很多故障处理不及时。因此，学术界对上述的过程进行了抽象和改进。
4.一般的，通过将运维系统抽象成迁移系统，并且将运维知识表示为线性时序逻辑（linear-time temporal logic，ltl）公式，可以通过模型检测（model checking）的方法对运维知识进行验证，从而确定该运维知识是否在运维系统中被满足。通过这种自动化的手段，可以加速运维的故障处理过程。
5.但基于模型检测的运维知识验证方法存在着较为严重的效率问题。它首先将运维系统和所需验证的逻辑公式整合为更大规模的乘积系统，然后对系统进行可达性验证，而这种乘积系统的构造往往是不经济的：它会造成大量非可达状态的引入，这种通用的方法并不适合工程落地。


技术实现要素：

6.本发明要解决的技术问题是如何提供一种运维经验的验证方法、装置及设备。可以快速对问题进行定位，提高了运维人员验证运维经验满足性时的效率，从而加速了自动化根因分析，降低了系统的平均修复时间。
7.为解决上述技术问题，本发明的技术方案如下：一种运维经验的验证方法，包括：利用预设形式逻辑，确定预设推进函数的递归公式；所述预设形式逻辑是描述节点性质的形式化方法，所述预设推进函数为，用于验证所述运维系统中节点n在第i时刻至第t时刻是否满足性质；根据所述预设推进函数的递归公式验证线性时序逻辑公式，得到验证结果；所述线性时序逻辑公式是根据运维经验转换得到的。
8.可选的，所述线性时序逻辑公式是根据运维经验转换得到的，包括：获取运维系统中节点的运维经验，所述运维经验用于表示节点满足的性质；利用预设形式逻辑，将所述运维经验转换为线性时序逻辑公式，所述预设形式逻辑是描述节点满足性质的形式化方法。
9.可选的，对于给定的运维事件集合，所述预设形式逻辑包括以下至少一项：；；；；；；；；；；其中，为分隔符；a为运维事件；为运维事件的性质；为运维事件的第一性质；为运维事件的第二性质；为逻辑非符号；为逻辑与符号；表示在下一时刻满足第一性质；表示满足第二性质前一直满足第一性质；表示在k步内满足后面的第二性质；t表示真，为定义符号，为逻辑或符号；f表示假；表示蕴含；表示性质最终能够被满足，表示性质在所有时刻均能被满足，表示在k步内性质最终能够被满足，表示在k步内性质均能被满足，表示第二时刻小于或等于第一时刻i，表示在第二时刻到第一时刻i之间的时间段内都为真。
10.可选的，当时，所述推进函数的递归公式包括以下至少一项：对于，当且仅当；当且仅当；当且仅当并且
；当且仅当；当且仅当；当且仅当；其中，表示运维系统的节点n在时间i之后执行运维事件a。
11.可选的，当i=t时，所述推进函数的递归公式包括以下至少一项：对于，当且仅当；当且仅当；当且仅当并且；；当且仅当；当且仅当且；其中，表示运维系统的节点n在时间i之后执行运维事件a。
12.可选的，根据所述预设推进函数的递归公式验证所述线性时序逻辑公式，得到验证结果，包括：确定所述线性时序逻辑公式中的各个验证单元；利用所述预设推进函数的递归公式验证各个验证单元，得到各个验证单元的验证结果；根据所述各个验证单元的验证结果，得到目标验证结果。
13.可选的，利用所述预设推进函数的递归公式验证各个验证单元，得到各个验证单元的验证结果，包括：从所述预设推进函数的递归公式中选择与各验证单元对应的递归公式；利用所述各验证单元对应的递归公式对各验证单元进行验证，得到各验证单元的验证结果。
14.本发明还提供一种运维经验的验证装置，包括：处理模块，用于利用预设形式逻辑，确定预设推进函数的递归公式；所述预设形式逻辑是描述节点性质的形式化方法，所述预设推进函数为，用于验证所述运维系统中节点n在第i时刻至第t时刻是否满足性质φ；根据所述预设推进函数的递归公式验证线性时序逻辑公式，得到验证结果；所述线性时序逻辑公式是根据运维经验转换得到的。
15.本发明提供一种计算设备，包括：处理器、存储有计算机程序的存储器，所述计算机程序被处理器运行时，执行如上述的方法。
16.本发明还提供一种计算机可读存储介质，存储指令，当所述指令在计算机上运行时，使得计算机执行如上述的方法。
17.本发明的上述方案至少包括以下有益效果：通过利用预设形式逻辑，确定预设推进函数的递归公式；所述预设形式逻辑是描述节点性质的形式化方法，所述预设推进函数为，用于验证所述运维系统中节点n在第i时刻至第t时刻是否满足性质；根据所述预设推进函数的递归公式验证线性时序逻辑公式，得到验证结果；所述线性时序逻辑公式是根据运维经验转换得到的。可以对问题进行快速定位，提高了运维人员验证运维经验满足性时的效率，从而加速了自动化根因分析，降低了系统的平均修复时间。
附图说明
18.图1为本发明实施例提供的运维经验的验证方法流程图；图2为本发明提供的具体的实施例中运维系统的系统架构示意图。
具体实施方式
19.下面将参照附图更详细地描述本公开的示例性实施例。虽然附图中显示了本公开的示例性实施例，然而应当理解，可以以各种形式实现本公开而不应被这里阐述的实施例所限制。相反，提供这些实施例是为了能够更透彻地理解本公开，并且能够将本公开的范围完整的传达给本领域的技术人员。
20.本发明的实施例中，运维系统是指运维对象实体集合的统称，例如某互联网公司在某地的机房，银行业务系统等。
21.节点：运维系统中实现单一功能的实体模块或抽象模块，例如微服务、服务器、中间件、业务应用、业务模块等。节点本身就具有一些属性，例如层级、类型等，优选用a表示运维系统中节点属性的集合。
22.运维事件：某种与运维系统结构或性质改变相关的事件，例如某服务器的cpu使用率超过阈值，某业务的响应时间过长，某服务调用的失败率过高等。通常情况下，运维事件
包括系统异常以及服务的部署、变更、下架等系统结构改动。对于固定的运维系统，优选用σ表示该系统内运维事件的集合。
23.形式逻辑：描述性质的形式化方法。
24.逻辑公式：满足给定形式语言语法的句子描述，通常以符号化的、具有特定含义的语法结构来表示，是组成形式逻辑的基本单元。
25.如图1所示，本发明的实施例提供一种运维经验的验证方法，包括：步骤11，利用预设形式逻辑，确定预设推进函数的递归公式；所述预设形式逻辑是描述节点性质的形式化方法，所述预设推进函数为，用于验证所述运维系统中节点n在第i时刻至第t时刻是否满足性质；步骤12，根据所述预设推进函数的递归公式验证线性时序逻辑公式，得到验证结果；所述线性时序逻辑公式是根据运维经验转换得到的。
26.本发明的上述实施例通过预设形式逻辑，确定预设推进函数的递归公式，再通过选定的预设推进函数的递推公式，验证该线性时序逻辑公式，得到验证结果，这样通过预设推进函数的递归公式的验证方式可以有效改善原有的基于乘积系统验证方法效率低的问题；其中，预设形式逻辑是描述节点满足性质的形式化方法，线性时序逻辑公式可以非常直观且精确地描述运维经验的线性时间性质，预设推进函数为，用于验证该运维系统中节点n在第i时刻至第t时刻是否满足性质；这样可以对运维系统中产生的问题进行快速定位，提高了运维人员验证运维经验满足性时的效率，从而加速了自动化根因分析，降低了系统的平均修复时间。
27.其中，每个预设推进函数的递归公式均是根据预设形式逻辑的公式语义得到的，递归公式可以用来表示当前性质验证的进度。
28.本发明一可选的实施例中，所述线性时序逻辑公式是根据运维经验转换得到的，包括：获取运维系统中节点的运维经验，所述运维经验用于表示节点满足的性质；利用预设形式逻辑，将所述运维经验转换为线性时序逻辑公式，所述预设形式逻辑是描述节点满足性质的形式化方法。
29.该实施例中，线性时序逻辑公式根据运维经验转换得到，获取运维系统中节点的运维经验，利用预设形式逻辑对该运维经验进行转换，得到线性时序逻辑公式（linear-time temporal logic，ltl），该线性时序逻辑公式可以非常直观且精确地描述线性时间性质。
30.本发明一可选的实施例中，对于给定的运维事件集合，所述预设形式逻辑包括以下至少一项：；；；；
；；；；；；其中，为分隔符；a为运维事件；为运维事件的性质；为运维事件的第一性质；为运维事件的第二性质；为逻辑非符号；为逻辑与符号；表示在下一时刻满足第一性质；表示满足第二性质前一直满足第一性质；表示在k步内满足后面的第二性质；t表示真，为定义符号，为逻辑或符号；f表示假；表示蕴含；表示性质最终能够被满足，表示性质在所有时刻均能被满足，表示在k步内性质最终能够被满足，表示在k步内性质均能被满足，表示第二时刻小于或等于第一时刻i，表示在第二时刻到第一时刻i之间的时间段内都为真。
31.本实施例中，对于给定的运维事件集合，这里用表示该系统内运维事件的集合，预设形式逻辑均为线性时序逻辑公式，下面对每个预设形式逻辑的含义进行说明：中，为运维事件的性质，为分隔符，该分隔符分隔了运维事件的性质的多项线性时序逻辑；，，，，，；其中，a为运维事件，线性时序逻辑公式表示性质为运维事件a；为逻辑非符号，用于对符号后的部分取反，线性时序逻辑公式表示性质为性质进行取反的结果；为逻辑与符号，线性时序逻辑公式表示性质为性质和性质进行逻辑与的结果；线性时序逻辑公式表示性质为在下一时刻满足第一性质；线性时序逻辑公式表示性质为满足第二性质前一直满足第一性质；线性时序逻辑公式表示性质为在k步内满足后面的第二性质；
中，t表示真，为定义符号，为逻辑或符号，线性时序逻辑公式表示运维事件a或非运维事件被定义为真true；中，f表示假，线性时序逻辑公式表示运维事件a和非运维事件被定义为假false；线性时序逻辑公式表示第一性质或第二性质等同于非第一性质和非第二性质的取反；中，表示蕴含，具体表示如果第一性质发生则会出现第二性质，线性时序逻辑公式表示第一性质蕴含第二性质被定义为非第一性质和第二性质；中，表示性质最终能够被满足，该f具体表示future，即未来某个状态，线性时序逻辑公式表示性质未来的某个状态被定义为直到满足性质之前一直为真true；中，表示性质在所有时刻均能被满足，该g具体表示globally，即所有将来的状态，线性时序逻辑公式表示性质未来时刻的所有状态被定义为性质的取反在未来某个时刻的状态不被满足；中，表示在k步内性质最终能够被满足，线性时序逻辑公式表示性质在未来的k步内被满足等于性质直到k步之前一直为真true；中，表示在k步内性质均能被满足，线性时序逻辑公式表示在k步内性质均能被满足被定义为性质的取反在未来的某时刻不会被满足；中，表示第二时刻小于或等于第一时刻i，表示在第二时刻到第一时刻i之间的时间段内都为真，线性时序逻辑公式表示第一时刻i大于或等于第二时刻定义为在第二时刻到第一时刻i之间的时间段内都为真。
32.上述的预设形式逻辑可以描述节点满足性质的形式化方法，通过至少一项预设形式逻辑可以将运维经验转换为线性时序逻辑公式。
33.本发明一可选的实施例中，当时，所述推进函数的递归公式包括以下至少一项：对于，当且仅当；当且仅当；当且仅当并且；当且仅当；当且仅当；当且仅当；其中，表示运维系统的节点n在时间i之后执行运维事件a。
34.本实施例中，i为第i时刻，t表示第t时刻，当第i时刻和第t时刻为不同的两个时刻时，对于运维事件的集合，预设推进函数为对于，当且仅当时，表示当验证运维系统中节点n在第i时刻至第t时刻执行运维事件a为真是否正确时，当且仅当验证运维系统的节点n在时间i之后是否执行运维事件a；预设推进函数为当且仅当时，表示当验证运维系统中节点n在第i时刻至第t时刻满足性质是否正确时，当且仅当验证运维系统中节点n在第i时刻至第t时刻是否也不满足性质；预设推进函数为当且仅当并且时，表示当验证运维系统中节点n在第i时刻至第t时刻满足第一性质或第二性质为真是否正确时，当且仅当验证运维系统中节点n在
第i时刻至第t时刻是否满足第一性质，并且验证运维系统中节点n在第i时刻至第t时刻是否满足第二性质；预设推进函数为当且仅当时，表示当验证运维系统中节点n在第i时刻至第t时刻的下一时刻满足性质为真是否正确时，当且仅当验证运维系统中节点n在第i 1时刻至第t时刻的下一时刻满足性质是否为真；预设推进函数为当且仅当时，表示当判断运维系统中节点n在第i时刻至第t时刻满足第二性质前一直满足第一性质为真是否正确时，当且仅当验证运维系统中节点n的是否为真；预设推进函数为当且仅当时，表示当判断运维系统中节点n在第i时刻至第t时刻在k步内满足第二性质为真是否正确时，当且仅当验证运维系统中节点n的是否为真。
35.本发明一可选的实施例中，当i=t时，所述推进函数的递归公式包括以下至少一项：对于，当且仅当；当且仅当；当且仅当并且；；当且仅当；
当且仅当且；其中，表示运维系统的节点n在时间i之后执行运维事件a。
36.本实施例中，i为第i时刻，t表示第t时刻，当第i时刻和第t时刻为同一时刻时，预设推进函数为对于，当且仅当时，表示当判断时，当且仅当判断是否为真即可；预设推进函数为当且仅当时，表示当判断运维系统中节点n在第i时刻至第t时刻性质为真是否正确时，当且仅当验证运维系统中节点n在第i时刻至第t时刻是否满足性质；预设推进函数为当且仅当并且时，表示当判断运维系统中节点n在第i时刻至第t时刻第一性质或第二性质为真是否正确时，当且仅当验证运维系统中节点n在第i时刻至第t时刻满足第一性质是否为真，并且验证运维系统中节点n在第i时刻至第t时刻满足第二性质是否为真；在第i时刻和第t时刻为同一时刻的情况下，预设推进函数为时，运维系统中节点n在第i时刻至第t时刻的下一时刻满足性质为真一定是假（false）的；预设推进函数为当且仅当时，表示当判断运维系统中节点n在第i时刻至第t时刻满足第二性质前一直满足第一性质为真是否正确时，当且仅当验证运维系统中节点n在第i时刻至第t时刻是否满足第二性质；预设推进函数为当且仅当且时，表示当判断运维系统中节点n在第i时刻至第t时刻满足在k步内满足第二性质为真是否正确时，当且仅当验证运维系统中节点n在第i时刻至第t时刻是否满足第二性质，且k大于或等于0。
37.通过上述线性时序逻辑公式的语义可以看出，预设推进函数中的 表示
运维系统中节点n在第i时刻至第t时刻满足性质与否。根据预设推进函数的语义可知，对于第i时刻小于或等于第t时刻，节点n和性质，预设推进函数为当且仅当时，对于任意的性质，若验证在第i时刻运维系统中节点n上性质是否成立，都可以通过计算其预设推进函数的方式进行公式的验证。
38.本发明一可选的实施例中，步骤12包括：步骤121，确定所述线性时序逻辑公式中的各个验证单元；步骤122，利用所述预设推进函数的递归公式验证各个验证单元，得到各个验证单元的验证结果；步骤123，根据所述各个验证单元的验证结果，得到目标验证结果。
39.其中，步骤122包括：步骤1221，从所述预设推进函数的递归公式中选择与各验证单元对应的递归公式；步骤1222，利用所述各验证单元对应的递归公式对各验证单元进行验证，得到各验证单元的验证结果。
40.本实施例通过确定线性时序逻辑公式的多个验证单元，利用预设推进函数的递归公式验证各个验证单元，得到各个验证单元的验证结果，进而得到目标验证结果；这样可以解决原有基于乘积验证的计算量大的问题，提高了验证效率。
41.如图2所示，一个具体的实施例中，图2所示的运维系统实例图中，虚线方框、实线方框及箭头示出了一业务完整的应用调用情况，其中，每一个服务分别运行在独立的虚拟机上（如，、、、以及），每一个虚拟机都部署在物理服务器上。
42.对该运维系统在某个部分出现故障的时段进行系统建模。用《high-cpu》表示主机的中央处理器cpu的使用率过高这一运维事件，用《rt》表示服务响应时间过长这一运维事件。属性表示系统的层级，其中，level(ps)表示节点为物理服务器，level(vm)表示节点为虚拟机。属性表示服务层节点的类型，这里的类型包括第一类型lvs、第二类型apache以及第三类型mysql。图2中的虚拟机为表示，i为正整数，物理服务器用表示，j为正整数；其中，物理服务器部署了虚拟机和虚拟机，物理服务器部署了虚拟机，物理服务器部署了虚拟机，物理服务器部署了虚拟机和虚拟机，物理服务器部署了虚拟机和虚拟机。
43.获取运维系统所发生的故障情况为：物理服务器在100秒发生了cpu使用率过高的状况，继而影响到了虚拟机和虚拟机上服务的运行，使得二者所运行服务的响应时间增加，并且均在102秒产生了响应时间过长的事件。
44.由图2可见，由于虚拟机和虚拟机分别调用了虚拟机和虚拟机
，二者随后分别在104和105秒产生了响应时间过长的事件。随后该故障继续在图2所示的运维系统传播，107秒时在虚拟机、108秒时在虚拟机分别触发了响应时间过长的事件。其中，除虚拟机和虚拟机以外的响应时间均是由于响应时间的传播性造成的，因此除物理服务器外，其他物理服务器均无异常出现，各节点的异常状况均在持续20秒后结束。
45.当在110秒的时候发现虚拟机上存在响应时间过长的事件《rt》，想要判断是否和104秒时在虚拟机上发现的《rt》有关，得到运维经验的描述，即预设形式逻辑如下：。其中，为运维系统的节点的性质。
46.这里的描述意义为：如果虚拟机满足性质《service》（性质《service》表示该节点是一个服务），并且在时刻t发生了响应时间过长的事件《rt》，则对于满足性质《service》的下游节点，在第i时刻之后会发生事件《rt》，并且两事件间隔不超过10秒。因此所需检测的最早时间为i=100。然后t=110，i=100代入，则得到 。
47.进一步的，验证在给定的运维系统的状态下成立：根据预设形式逻辑的语义，得到。根据预设推进函数的递归公式验证。
48.重复上述过程，可以得到；其中，该式后面的两个等号是由于在104秒之后到110秒之间，虚拟机均会产生《rt》事件，则可知。这表明，虚拟机确实与虚拟机的响应时间升高有关。
49.可见，通过上述的推理，可以验证虚拟机与虚拟机在此场景下的关系。相较于现有的乘积系统验证方法，本技术的实施例的运维经验的验证方法的执行效率被大幅提高了。
50.本发明通过利用预设形式逻辑，确定预设推进函数的递归公式；所述预设形式逻
辑是描述节点性质的形式化方法，所述预设推进函数为，用于验证所述运维系统中节点n在第i时刻至第t时刻是否满足性质；根据所述预设推进函数的递归公式验证线性时序逻辑公式，得到验证结果；所述线性时序逻辑公式是根据运维经验转换得到的；可以对运维系统的问题进行快速定位，提高了运维人员验证运维经验满足性时的效率，从而加速了自动化根因分析，降低了系统的平均修复时间。
51.本发明还提供一种运维经验的验证装置，该装置包括：处理模块，用于利用预设形式逻辑，确定预设推进函数的递归公式；所述预设形式逻辑是描述节点性质的形式化方法，所述预设推进函数为，用于验证所述运维系统中节点n在第i时刻至第t时刻是否满足性质；根据所述预设推进函数的递归公式验证线性时序逻辑公式，得到验证结果；所述线性时序逻辑公式是根据运维经验转换得到的。
52.可选的，所述线性时序逻辑公式是根据运维经验转换得到的，包括：获取运维系统中节点的运维经验，所述运维经验用于表示节点满足的性质；利用预设形式逻辑，将所述运维经验转换为线性时序逻辑公式，所述预设形式逻辑是描述节点满足性质的形式化方法。
53.可选的，对于给定的运维事件集合，所述预设形式逻辑包括以下至少一项：；；；；；；；；；；其中，为分隔符；a为运维事件；为运维事件的性质；为运维事件的第一性质；为运维事件的第二性质；为逻辑非符号；为逻辑与符号；表示在下一时刻满足第一性质；表示满足第二性质前一直满足第一性质；表示在k步内满足后面的第二性质；t表示真，为定义符号，为逻辑或符号；f表示假；表示蕴含；表示性质
最终能够被满足，表示性质在所有时刻均能被满足，表示在k步内性质最终能够被满足，表示在k步内性质均能被满足，表示第二时刻小于或等于第一时刻i，表示在第二时刻到第一时刻i之间的时间段内都为真。
54.可选的，当时，所述推进函数的递归公式包括以下至少一项：对于，当且仅当；当且仅当；当且仅当并且；当且仅当；当且仅当；当且仅当；其中，表示运维系统的节点n在时间i之后执行运维事件a。
55.可选的，当i=t时，所述推进函数的递归公式包括以下至少一项：对于，当且仅当；当且仅当；当且仅当并且；
；当且仅当；当且仅当且；其中，表示运维系统的节点n在时间i之后执行运维事件a。
56.可选的，根据所述预设推进函数的递归公式验证所述线性时序逻辑公式，得到验证结果，包括：确定所述线性时序逻辑公式中的各个验证单元；利用所述预设推进函数的递归公式验证各个验证单元，得到各个验证单元的验证结果；根据所述各个验证单元的验证结果，得到目标验证结果。
57.可选的，利用所述预设推进函数的递归公式验证各个验证单元，得到各个验证单元的验证结果，包括：从所述预设推进函数的递归公式中选择与各验证单元对应的递归公式；利用所述各验证单元对应的递归公式对各验证单元进行验证，得到各验证单元的验证结果。
58.需要说明的是，该实施例是与上述方法实施例对应的装置实施例，上述方法实施例中的所有实现方式均适用于该装置的实施例中，也能达到相同的技术效果。
59.本发明的实施例还提供一种计算机可读存储介质，存储指令，当所述指令在计算机上运行时，使得计算机执行如上述的运维经验的验证方法。
60.本发明实施例提供了一种计算设备，包括：处理器、存储有计算机程序的存储器，所述计算机程序被处理器运行时，执行如上所述的运维经验的验证方法。
61.该计算设备可以包括：处理器(processor)、通信接口(communications interface)、存储器(memory)、以及通信总线。
62.其中：处理器、通信接口、以及存储器通过通信总线完成相互间的通信。通信接口，用于与其它设备比如客户端或其它服务器等的网元通信。处理器，用于执行程序，具体可以执行上述用于计算设备的运维经验的验证方法实施例中的相关步骤。
63.具体地，程序可以包括程序代码，该程序代码包括计算机操作指令。
64.处理器可能是中央处理器cpu，或者是特定集成电路asic（application specific integrated circuit），或者是被配置成实施本发明实施例的一个或多个集成电路。计算设备包括的一个或多个处理器，可以是同一类型的处理器，如一个或多个cpu；也可以是不同类型的处理器，如一个或多个cpu以及一个或多个asic。
65.存储器，用于存放程序。存储器可能包含高速ram存储器，也可能还包括非易失性存储器（non-volatile memory），例如至少一个磁盘存储器。
66.程序具体可以用于使得处理器执行上述任意方法实施例中的运维经验的验证方法。程序中各步骤的具体实现可以参见上述运维经验的验证方法实施例中的相应步骤和单元中对应的描述，在此不赘述。所属领域的技术人员可以清楚地了解到，为描述的方便和简洁，上述描述的设备和模块的具体工作过程，可以参考前述方法实施例中的对应过程描述，在此不再赘述。
67.在此提供的算法或显示不与任何特定计算机、虚拟系统或者其它设备固有相关。各种通用系统也可以与基于在此的示教一起使用。根据上面的描述，构造这类系统所要求的结构是显而易见的。此外，本发明实施例也不针对任何特定编程语言。应当明白，可以利用各种编程语言实现在此描述的本发明实施例的内容，并且上面对特定语言所做的描述是为了披露本发明实施例的最佳实施方式。
68.在此处所提供的说明书中，说明了大量具体细节。然而，能够理解，本发明的实施例可以在没有这些具体细节的情况下实践。在一些实例中，并未详细示出公知的方法、结构和技术，以便不模糊对本说明书的理解。
69.类似地，应当理解，为了精简本发明实施例并帮助理解各个发明方面中的一个或多个，在上面对本发明的示例性实施例的描述中，本发明实施例的各个特征有时被一起分组到单个实施例、图、或者对其的描述中。然而，并不应将该公开的方法解释成反映如下意图：即所要求保护的本发明实施例要求比在每个权利要求中所明确记载的特征更多的特征。更确切地说，如下面的权利要求书所反映的那样，发明方面在于少于前面公开的单个实施例的所有特征。因此，遵循具体实施方式的权利要求书由此明确地并入该具体实施方式，其中每个权利要求本身都作为本发明的单独实施例。
70.本领域那些技术人员可以理解，可以对实施例中的设备中的模块进行自适应性地改变并且把它们设置在与该实施例不同的一个或多个设备中。可以把实施例中的模块或单元或组件组合成一个模块或单元或组件，以及此外可以把它们分成多个子模块或子单元或子组件。除了这样的特征和/或过程或者单元中的至少一些是相互排斥之外，可以采用任何组合对本说明书（包括伴随的权利要求、摘要和附图）中公开的所有特征以及如此公开的任何方法或者设备的所有过程或单元进行组合。除非另外明确陈述，本说明书（包括伴随的权利要求、摘要和附图）中公开的每个特征可以由提供相同、等同或相似目的的替代特征来代替。
71.此外，本领域的技术人员能够理解，尽管在此的一些实施例包括其它实施例中所包括的某些特征而不是其它特征，但是不同实施例的特征的组合意味着处于本发明的范围之内并且形成不同的实施例。例如，在下面的权利要求书中，所要求保护的实施例的任意之一都可以以任意的组合方式来使用。
72.本发明的各个部件实施例可以以硬件实现，或者以在一个或者多个处理器上运行的软件模块实现，或者以它们的组合实现。本领域的技术人员应当理解，可以在实践中使用微处理器或者数字信号处理器（dsp）来实现根据本发明实施例的一些或者全部部件的一些或者全部功能。本发明实施例还可以实现为用于执行这里所描述的方法的一部分或者全部的设备或者系统程序（例如，计算机程序和计算机程序产品）。这样的实现本发明实施例的程序可以存储在计算机可读介质上，或者可以具有一个或者多个信号的形式。这样的信号可以从因特网网站上下载得到，或者在载体信号上提供，或者以任何其他形式提供。
73.应该注意的是上述实施例对本发明实施例进行说明而不是对本发明进行限制，并且本领域技术人员在不脱离所附权利要求的范围的情况下可设计出替换实施例。在权利要求中，不应将位于括号之间的任何参考符号构造成对权利要求的限制。单词“包含”不排除存在未列在权利要求中的元件或步骤。位于元件之前的单词“一”或“一个”不排除存在多个这样的元件。本发明实施例可以借助于包括有若干不同元件的硬件以及借助于适当编程的计算机来实现。在列举了若干系统的单元权利要求中，这些系统中的若干个可以是通过同一个硬件项来具体体现。单词第一、第二、以及第三等的使用不表示任何顺序。可将这些单词解释为名称。上述实施例中的步骤，除有特殊说明外，不应理解为对执行顺序的限定。