一种基于量子线路的非线性方程组求解方法及装置

摘要

本发明公开了一种基于量子线路的非线性方程组求解方法及装置，方法包括：获取一组量子比特和待处理非线性方程组的信息，确定非线性方程组的初始近似解和预设精度值并构建表示近似解的量子态演化的量子线路，针对量子线路执行量子态的演化操作，得到演化后的量子线路的量子态，根据量子态更新当前近似解，确定非线性方程组的状态估计参数，并判断状态估计参数与预设精度值的大小关系，迭代执行构建近似解的量子态演化的量子线路，直至状态估计参数小于或等于预设精度值，根据演化后的目标量子态，确定非线性方程组的解，利用量子的叠加特性，实现一种可以满足非线性系统的求解技术，降低求解的复杂度。

说明书

技术领域

本发明属于量子计算技术领域，特别是一种基于量子线路的非线性方程组求解方法及装置。

背景技术

非线性系统的求解是数值代数和数值优化的重要问题,也是科学计算和计算数学的核心问题，研究快速有效地求解非线性系统的数值方法具有重要的理论意义和实际价值。量子计算是一种新型计算方式，原理是用量子力学理论构建了一种计算框架。在求解一些问题时，比起最优的经典算法，量子计算有指数加速的效果。

现有的求解非线性系统的迭代方法，由于其运用多份拷贝(multiple copies)，其复杂度会随着迭代时间的增加而呈指数增长，复杂度较高，求解难度较大。

基于此，有必要提出对求解非线性系统有效的量子算法，用于针对非线性系统的求解，降低对于非线性系统求解的复杂度和难度，填补相关技术空白。

发明内容

本发明的目的是提供一种基于量子线路的非线性方程组求解方法及装置，以解决现有技术中的不足，它能够实现一种可以满足非线性系统的求解技术，用于非线性系统的求解，降低非线性系统求解的复杂度和难度，填补量子计算领域相关技术空白。

本申请的一个实施例提供了一种基于量子线路的非线性方程组求解方法，包括：

获取一组量子比特和待处理非线性方程组F(x)＝0的信息；

确定非线性方程组的初始近似解x

根据所述量子态更新当前近似解，确定所述非线性方程组的状态估计参数，并判断所述状态估计参数与所述预设精度值的大小关系；

若所述状态估计参数大于所述预设精度值，则返回执行：构建表示非线性方程组近似解的量子态演化的量子线路，针对所述量子线路执行量子态的演化操作，得到演化后的所述量子线路的量子态的步骤，直至所述状态估计参数小于或等于所述预设精度值；

根据演化后的所述量子线路的目标量子态，确定所述非线性方程组的解。

如上所述的一种基于量子线路的非线性方程组求解方法，其中，优选的是，所述待处理非线性方程组的信息，包括：

由所述非线性方程组的自变量构建的第一向量x和因变量构建的第二向量F(x)，其中，所述

如上所述的一种基于量子线路的非线性方程组求解方法，其中，优选的是，所述待处理非线性方程组的信息，还包括：

根据所述第二向量构建的用于预处理的雅可比矩阵F′(x)及矩阵A，其中，所述

如上所述的一种基于量子线路的非线性方程组求解方法，其中，优选的是，所述构建表示所述非线性方程组初始近似解的量子态演化的量子线路，包括OracleO

O

其中，h(j,l)表示矩阵A的第j行第l个非零元的列序号,C

如上所述的一种基于量子线路的非线性方程组求解方法，其中，优选的是，所述OracleO

其中，所述OracleO

O

其中,i＝1,2,..,N,j＝1,2,...,d，f(i,j)表示f

所述OracleO

O

其中,i＝1,2,..,N。

如上所述的一种基于量子线路的非线性方程组求解方法，其中，优选的是，所述确定所述非线性方程组的状态估计参数，包括：

根据预先构建的用于存取量子数据的量子数据结构，确定分布存储于所述量子数据结构中第一层叶子节点的量子态及其表示的x

根据所述地址信息，通过所述量子线路将所述叶子节点存储的数据转移到下一层叶子节点上，直至在所述二叉树结构中根节点上输出所述地址信息对应的量子态数据f

本申请的又一实施例提供了一种基于量子线路的非线性方程组求解装置，所述装置包括：

获取模块，用于获取一组量子比特和待处理非线性方程组F(x)＝0的信息；

构建模块，用于确定非线性方程组的初始近似解x

判断模块，用于根据所述量子态更新当前近似解，确定所述非线性方程组的状态估计参数，并判断所述状态估计参数与所述预设精度值的大小关系；

迭代模块，用于若所述状态估计参数大于所述预设精度值，则返回执行：构建表示非线性方程组近似解的量子态演化的量子线路，针对所述量子线路执行量子态的演化操作，得到演化后的所述量子线路的量子态的步骤，直至所述状态估计参数小于或等于所述预设精度值；

确定模块，用于根据演化后的所述量子线路的目标量子态，确定所述非线性方程组的解。

如上所述的一种基于量子线路的非线性方程组求解装置，其中，优选的是，所述获取模块，包括：

获取单元，用于获取由所述非线性方程组的自变量构建的第一向量x和因变量构建的第二向量F(x)，其中，所述

如上所述的一种基于量子线路的非线性方程组求解装置，其中，优选的是，所述获取模块，还包括：

构建单元，用于根据所述第二向量构建的用于预处理的雅可比矩阵F′(x)及矩阵A，其中，所述

如上所述的一种基于量子线路的非线性方程组求解装置，其中，优选的是，所述构建模块，包括：

OracleO

O

其中，h(j,l)表示矩阵A的第j行第l个非零元的列序号,C

如上所述的一种基于量子线路的非线性方程组求解装置，其中，优选的是，所述OracleO

其中，所述OracleO

O

其中,i＝1,2,..,N,j＝1,2,...,d，f(i,j)表示f

所述OracleO

O

其中,i＝1,2,..,N。

如上所述的一种基于量子线路的非线性方程组求解装置，其中，优选的是，所述判断模块，包括：

存储单元，用于根据预先构建的用于存取量子数据的量子数据结构，确定分布存储于所述量子数据结构中第一层叶子节点的量子态及其表示的x

输出单元，用于根据所述地址信息，通过所述量子线路将所述叶子节点存储的数据转移到下一层叶子节点上，直至在所述二叉树结构中根节点上输出所述地址信息对应的量子态数据f

本申请的又一实施例提供了一种存储介质，所述存储介质中存储有计算机程序，其中，所述计算机程序被设置为运行时执行上述任一项中所述的方法。

本申请的又一实施例提供了一种电子装置，包括存储器和处理器，所述存储器中存储有计算机程序，所述处理器被设置为运行所述计算机程序以执行上述任一项中所述的方法。

与现有技术相比，本发明首先获取一组量子比特和待处理非线性方程组F(x)＝0的信息，确定非线性方程组的初始近似解x

附图说明

图1是本发明实施例提供的一种基于量子线路的非线性方程组求解方法的计算机终端的硬件结构框图；

图2是本发明实施例提供的一种基于量子线路的非线性方程组求解方法的流程示意图；

图3是本发明实施例提供的一种关于T的量子线路示意图；

图4是本发明实施例提供的一种关于行走算子W的量子线路示意图；

图5是本发明实施例提供的一种实现量子线性求解器的量子线路示意图；

图6是本发明实施例提供的一种基于量子线路的非线性方程组求解装置的结构示意图。

具体实施方式

下面通过参考附图描述的实施例是示例性的，仅用于解释本发明，而不能解释为对本发明的限制。

本发明实施例首先提供了一种基于量子线路的非线性方程组求解方法，该方法可以应用于电子设备，如计算机终端，具体如普通电脑、量子计算机等。

下面以运行在计算机终端上为例对其进行详细说明。图1为本发明实施例提供的一种基于量子线路的非线性方程组求解方法的计算机终端的硬件结构框图。如图1所示，计算机终端可以包括一个或多个(图1中仅示出一个)处理器102(处理器102可以包括但不限于微处理器MCU或可编程逻辑器件FPGA等的处理装置)和用于存储数据的存储器104，可选地，上述计算机终端还可以包括用于通信功能的传输装置106以及输入输出设备108。本领域普通技术人员可以理解，图1所示的结构仅为示意，其并不对上述计算机终端的结构造成限定。例如，计算机终端还可包括比图1中所示更多或者更少的组件，或者具有与图1所示不同的配置。

存储器104可用于存储应用软件的软件程序以及模块，如本申请实施例中的实现一种基于量子线路的非线性方程组求解方法对应的程序指令/模块，处理器102通过运行存储在存储器104内的软件程序以及模块，从而执行各种功能应用以及数据处理，即实现上述的方法。存储器104可包括高速随机存储器，还可包括非易失性存储器，如一个或者多个磁性存储装置、闪存、或者其他非易失性固态存储器。在一些实例中，存储器104可进一步包括相对于处理器102远程设置的存储器，这些远程存储器可以通过网络连接至计算机终端。上述网络的实例包括但不限于互联网、企业内部网、局域网、移动通信网及其组合。

传输装置106用于经由一个网络接收或者发送数据。上述的网络具体实例可包括计算机终端的通信供应商提供的无线网络。在一个实例中，传输装置106包括一个网络适配器(Network Interface Controller，NIC)，其可通过基站与其他网络设备相连从而可与互联网进行通讯。在一个实例中，传输装置106可以为射频(Radio Frequency，RF)模块，其用于通过无线方式与互联网进行通讯。

需要说明的是，真正的量子计算机是混合结构的，它包含两大部分：一部分是经典计算机，负责执行经典计算与控制；另一部分是量子设备，负责运行量子程序进而实现量子计算。而量子程序是由量子语言如QRunes语言编写的一串能够在量子计算机上运行的指令序列，实现了对量子逻辑门操作的支持，并最终实现量子计算。具体的说，量子程序就是一系列按照一定时序操作量子逻辑门的指令序列。

在实际应用中，因受限于量子设备硬件的发展，通常需要进行量子计算模拟以验证量子算法、量子应用等等。量子计算模拟即借助普通计算机的资源搭建的虚拟架构(即量子虚拟机)实现特定问题对应的量子程序的模拟运行的过程。通常，需要构建特定问题对应的量子程序。本发明实施例所指量子程序，即是经典语言编写的表征量子比特及其演化的程序，其中与量子计算相关的量子比特、量子逻辑门等等均有相应的经典代码表示。

量子线路作为量子程序的一种体现方式，也称量子逻辑电路，是最常用的通用量子计算模型，表示在抽象概念下对于量子比特进行操作的线路，其组成包括量子比特、线路(时间线)，以及各种量子逻辑门，最后常需要通过量子测量操作将结果读取出来。

不同于传统电路是用金属线所连接以传递电压信号或电流信号，在量子线路中，线路可看成是由时间所连接，亦即量子比特的状态随着时间自然演化，在这过程中按照哈密顿运算符的指示，一直到遇上逻辑门而被操作。

一个量子程序整体上对应有一条总的量子线路，本发明所述量子程序即指该条总的量子线路，其中，该总的量子线路中的量子比特总数与量子程序的量子比特总数相同。可以理解为：一个量子程序可以由量子线路、针对量子线路中量子比特的测量操作、保存测量结果的寄存器及控制流节点(跳转指令)组成，一条量子线路可以包含几十上百个甚至千上万个量子逻辑门操作。量子程序的执行过程，就是对所有的量子逻辑门按照一定时序执行的过程。需要说明的是，时序即单个量子逻辑门被执行的时间顺序。

需要说明的是，经典计算中，最基本的单元是比特，而最基本的控制模式是逻辑门，可以通过逻辑门的组合来达到控制电路的目的。类似地，处理量子比特的方式就是量子逻辑门。使用量子逻辑门，能够使量子态发生演化，量子逻辑门是构成量子线路的基础，量子逻辑门包括单比特量子逻辑门，如Hadamard门(H门，哈德玛门)、泡利-X门(X门)、泡利-Y门(Y门)、泡利-Z门(Z门)、RX门、RY门、RZ门等等；多比特量子逻辑门，如CNOT门、CR门、iSWAP门、Toffoli门等等。量子逻辑门一般使用酉矩阵表示，而酉矩阵不仅是矩阵形式，也是一种操作和变换。一般量子逻辑门在量子态上的作用是通过酉矩阵左乘以量子态右矢对应的矩阵进行计算的。

本领域技术人员可以理解的是，在经典计算机中，信息的基本单元是比特，一个比特有0和1两种状态，最常见的物理实现方式是通过电平的高低来表示这两种状态。在量子计算中，信息的基本单元是量子比特，一个量子比特也有0和1两种状态，记为|0>和|1>，但它可以处于0和1两种状态的叠加态，可表示为

量子态，即指量子比特的状态，其本征态在量子算法(或称量子程序)中用二进制表示。例如，一组量子比特为q0、q1、q2，表示第0位、第1位、第2位量子比特，从高位到低位排序为q2q1q0，该组量子比特的量子态为2

参见图2，图2为本发明实施例提供的一种基于量子线路的非线性方程组求解方法的流程示意图，可以包括如下步骤：

S201：获取一组量子比特和待处理非线性方程组F(x)＝0的信息。

非线性方程，就是因变量与自变量之间的关系不是线性的关系，例如方程组中包含平方关系、对数关系、指数关系、三角函数关系等等。求解此类方程往往很难得到精确解，经常需要求近似解问题。

具体包括分别获取一组量子比特和非线性方程组F(x)＝0中，由非线性方程组的自变量构建的第一向量x和因变量构建的第二向量F(x)，其中，所述

待处理非线性方程组的信息，还包括：根据所述第二向量构建的用于预处理的雅可比矩阵F′(x)及矩阵A，其中，所述

示例性的，对于非线性方程组

其中，用于预处理的雅可比矩阵

需要说明的是，上述示例选取非线性方程组的维数较小，只是为了方便后续举例说明，而在实际的工程应用中往往求解的非线性方程组的维数较大，复杂度也随之增加。

S202：确定非线性方程组的初始近似解x

具体的，首先确定非线性方程组的初始近似解x

示例性的，接上述示例，确定非线性方程组的初始近似解x

构建表示非线性方程组近似解的量子态演化的量子线路，针对所述量子线路执行量子态的演化操作，得到演化后的所述量子线路的量子态。

具体的，表示非线性方程组初始近似解的量子态演化的量子线路包括OracleO

O

其中，h(j,l)表示矩阵A的第j行第l个非零元的列序号,C

具体的，所述OracleO

其中，所述OracleO

O

其中,i＝1,2,..,N,j＝1,2,...,d，f(i,j)表示f

所述OracleO

O

其中,i＝1,2,..,N,其f(i,j)值由差分格式所确定，x

S203：根据所述量子态更新当前近似解，确定所述非线性方程组的状态估计参数，并判断所述状态估计参数与所述预设精度值的大小关系。

具体的，已经确定非线性方程组的初始近似解x

x

在此过程中，需要求解线性方程组

F′(x

上式可以转化为

x

不断迭代，直到F(x

具体的，在每次迭代，需要构建线性系统

AΔx＝-|b>

根据构建好的|b>、A及对应的Oracle并运用量子线性系统求解器(QuantumLinear System Solver,简记为QLSS)来求解线性系统。QLSS的输入为OracleO

确定所述非线性方程组的状态估计参数，包括：

根据预先构建的用于存取量子数据的量子数据结构，确定分布存储于所述量子数据结构中第一层叶子节点的量子态及其表示的x

预设|M

具体的，给定一个N维的量子数据|M

在量子数据|M

O

在量子数据|M

O

在量子数据|M

O

在量子数据|M

O

其中，O

根据所述地址信息，通过所述量子线路将所述叶子节点存储的数据转移到下一层叶子节点上，直至在所述二叉树结构中根节点上输出所述地址信息对应的量子态数据f

S204：若所述状态估计参数大于所述预设精度值，则返回执行：构建表示非线性方程组近似解的量子态演化的量子线路，针对所述量子线路执行量子态的演化操作，得到演化后的所述量子线路的量子态的步骤，直至所述状态估计参数小于或等于所述预设精度值。

具体的，若‖F(x)‖＞∈，则返回执行步骤S202,直至状态估计参数‖F(x)‖小于或等于预设精度值∈。

具体的，假设k步迭代已经被执行，并且已更新|M

需要说明的是，运用量子态采样算法得到

从

S205：根据演化后的所述量子线路的目标量子态，确定所述非线性方程组的解。

具体的，如果‖F(x)‖<∈，停止迭代，获取达到迭代停止条件的量子数据|M

在量子应用中，通过构造一种Oracle或Oracle组合，该Oracle或组合的内部原理即为本发明的方法流程。具体的，Oracle可以理解为在量子算法中完成特定功能的模块(类似黑盒)，在具体问题中会有具体的实现方式。

目前，现有的量子线路构建往往只能够利用现有的单量子逻辑门、双量子逻辑门等等，通常存在以下问题：

对于功能比较复杂的量子线路，需要用到的量子比特数量会非常多，使用经典计算机进行模拟的时候会消耗巨大的内存空间，需要用到的逻辑门数量会非常多，模拟耗时会非常长。并且，一些复杂的算法难以用量子线路进行实现。

基于此，通过改用Oracle模拟的方式实现特定的复杂功能，并实现受控和转置共轭操作。用户传入Oracle的参数，可以包括：Oracle名称(用于识别Oracle的功能用途，如O

这种方式的好处是，整体上将Oracle作为已知模块，无需关注其内部的实现细节，在量子应用场景例如量子线路的表示上，非常的简单明了。由于可以将经典模拟的Oracle功能模块等效成量子逻辑门，使得构建的量子线路得以简化，因此节省了运行时所需的内存空间，并加快量子算法的模拟验证。

需要说明的是，求解线性系统等价于求解系数矩阵的逆，本申请提供了一个通过算法的线性组合来求解近似矩阵的逆，运用Chebyshev多项式的线性组合和来近似矩阵的逆。

参见图3，图3为本发明实施例提供的一种关于T的量子线路示意图。本领域技术人员可以理解的是，H表示H门，O

具体的，利用H门，构建叠加态：

O

O

执行由A

再次运用O

需要说明的是，该示意图只示出了与本申请相关的部分量子线路，图中各标识及连接关系，仅仅作为示例，并不构成对本发明的限定。

参见图4，图4为本发明实施例提供的一种关于行走算子W的量子线路示意图。本领域技术人员可以理解的是，任何一个简单的函数都可以线性近似为其他函数的线性组合，可以通过Chebyshev切比雪夫多项式近似矩阵的逆函数。具体如下：

本申请中求逆矩阵，它满足O(‖A

此处

在D

量子游走：为了实现Chebyshev多项式，需要在量子行走框架中进行。

因为量子游走被执行在空间

和行走算子：

算子S执行

需要说明的是，如上述|Ψ

示例性的，例如图4所示，说明游走算子W的量子线路。因为

为了构建

T

因此有：

其中，

且：K＝2|0><0|-I

参见图5，图5为本发明实施例提供的一种实现量子线性求解器的量子线路示意图。

具体的，如图5所示的量子线路示意图中，V、T表示不同功能的Oracle，

量子Oracle是一个黑盒表示某种量子态的转变。量子Oracle的一个典型例子是线性系统：O|x>|0>＝|x>|f(x)>，此处计算f(x)用第一个量子寄存器作为输入，第二个量子寄存器作为输出。另外一个例子就是QRAM可以被视为一种Oracle。很多量子算法用到Oracle，许多量子算法都使用Oracle，但他们不关心Oracle的实现,它可以分解成量子门，也可以实现QRAM。在QPanda中，可以使用“Oracle”函数来定义。Oracle被认为是具有用户提供的名称。

可见，本申请通过将非线性系统的矩阵及向量信息编码到量子态，将经典的数据结构与量子领域的量子态联系起来，并执行经典的数据结构编码到量子态的演化操作，得到演化后的量子线路的量子态，其能够利用量子的叠加特性，加速复杂度较高的非线性系统的求解问题，扩展量子计算的模拟应用场景。

与现有技术相比，本发明首先获取一组量子比特和待处理非线性方程组F(x)＝0的信息，确定非线性方程组的初始近似解x

参见图6，图6为本发明实施例提供的一种基于量子线路的非线性方程组求解装置的结构示意图，与图2所示的流程相对应，可以包括：

获取模块601，用于获取一组量子比特和待处理非线性方程组F(x)＝0的信息；

构建模块602，用于确定非线性方程组的初始近似解x

判断模块603，用于根据所述量子态更新当前近似解，确定所述非线性方程组的状态估计参数，并判断所述状态估计参数与所述预设精度值的大小关系；

迭代模块604，用于若所述状态估计参数大于所述预设精度值，则返回执行：构建表示非线性方程组近似解的量子态演化的量子线路，针对所述量子线路执行量子态的演化操作，得到演化后的所述量子线路的量子态的步骤，直至所述状态估计参数小于或等于所述预设精度值；

确定模块605，用于根据演化后的所述量子线路的目标量子态，确定所述非线性方程组的解。

具体的，所述获取模块，包括：

获取单元，用于获取由所述非线性方程组的自变量构建的第一向量x和因变量构建的第二向量F(x)，其中，所述

具体的，所述获取模块，还包括：

构建单元，用于根据所述第二向量构建的用于预处理的雅可比矩阵F′(x)及矩阵A，其中，所述

具体的，所述构建模块，包括：

OracleO

O

其中，h(j,l)表示矩阵A的第j行第l个非零元的列序号,C

具体的，所述OracleO

其中，所述OracleO

O

其中,i＝1,2,..,N,j＝1,2,...,d，f(i,j)表示f

所述OracleO

O

其中,＝1,2,..,N。

具体的，所述判断模块，包括：

存储单元，用于根据预先构建的用于存取量子数据的量子数据结构，确定分布存储于所述量子数据结构中第一层叶子节点的量子态及其表示的x

输出单元，用于根据所述地址信息，通过所述量子线路将所述叶子节点存储的数据转移到下一层叶子节点上，直至在所述二叉树结构中根节点上输出所述地址信息对应的量子态数据f

与现有技术相比，本发明首先获取一组量子比特和待处理非线性方程组F(x)＝0的信息，确定非线性方程组的初始近似解x

本发明实施例还提供了一种存储介质，所述存储介质中存储有计算机程序，其中，所述计算机程序被设置为运行时执行上述任一项中方法实施例中的步骤。

具体的，在本实施例中，上述存储介质可以被设置为存储用于执行以下步骤的计算机程序：

S201：获取一组量子比特和待处理非线性方程组F(x)＝0的信息；

S202：确定非线性方程组的初始近似解x

S203：根据所述量子态更新当前近似解，确定所述非线性方程组的状态估计参数，并判断所述状态估计参数与所述预设精度值的大小关系；

S204：若所述状态估计参数大于所述预设精度值，则返回执行：构建表示非线性方程组近似解的量子态演化的量子线路，针对所述量子线路执行量子态的演化操作，得到演化后的所述量子线路的量子态的步骤，直至所述状态估计参数小于或等于所述预设精度值；

S205：根据演化后的所述量子线路的目标量子态，确定所述非线性方程组的解。

具体的，在本实施例中，上述存储介质可以包括但不限于：U盘、只读存储器(Read-Only Memory，简称为ROM)、随机存取存储器(Random Access Memory，简称为RAM)、移动硬盘、磁碟或者光盘等各种可以存储计算机程序的介质。

与现有技术相比，本发明首先获取一组量子比特和待处理非线性方程组F(x)＝0的信息，确定非线性方程组的初始近似解x

本发明实施例还提供了一种电子装置，包括存储器和处理器，所述存储器中存储有计算机程序，所述处理器被设置为运行所述计算机程序以执行上述任一项中方法实施例中的步骤。

具体的，上述电子装置还可以包括传输设备以及输入输出设备，其中，该传输设备和上述处理器连接，该输入输出设备和上述处理器连接。

具体的，在本实施例中，上述处理器可以被设置为通过计算机程序执行以下步骤：

S201：获取一组量子比特和待处理非线性方程组F(x)＝0的信息；

S202：确定非线性方程组的初始近似解x

S203：根据所述量子态更新当前近似解，确定所述非线性方程组的状态估计参数，并判断所述状态估计参数与所述预设精度值的大小关系；

S204：若所述状态估计参数大于所述预设精度值，则返回执行：构建表示非线性方程组近似解的量子态演化的量子线路，针对所述量子线路执行量子态的演化操作，得到演化后的所述量子线路的量子态的步骤，直至所述状态估计参数小于或等于所述预设精度值；

S205：根据演化后的所述量子线路的目标量子态，确定所述非线性方程组的解。

与现有技术相比，本发明首先获取一组量子比特和待处理非线性方程组F(x)＝0的信息，确定非线性方程组的初始近似解x

以上依据图式所示的实施例详细说明了本发明的构造、特征及作用效果，以上所述仅为本发明的较佳实施例，但本发明不以图面所示限定实施范围，凡是依照本发明的构想所作的改变，或修改为等同变化的等效实施例，仍未超出说明书与图示所涵盖的精神时，均应在本发明的保护范围内。