用于自动图像识别的系统、方法及装置的制作方法

文档序号:6476894阅读:403来源:国知局
专利名称:用于自动图像识别的系统、方法及装置的制作方法
技术领域
本系统、方法及装置涉及在来自图像数据库的一幅图像(如面部图 <象)的自动识别中的一种量子处理器的实现方式。
背景技术
在1936年由Alan Turing描述的图灵才几是一种理i仑上的计算系统。 能够有效地才莫拟任何其他图灵冲几的一台图灵枳4皮称为通用图灵片几 (UTM )。丘奇-图灵理论陈述了任何实际的计算4莫型或者具有一个UTM 的等效运算能力或者具有其运算能力的一个子集。
一台量子计算机是利用 一种或者多种量子效应进行计算的任何物 理系统。能够有效地才莫拟任何其他量子计算机的一台量子计算机被称为 通用量子计算冲几(UQC)。
在1981年,Richard P. Feynman提出量子计算机能够比一台UTM 更加有效地用于求解某些计算问题,并且因此4吏得丘奇-图灵理i仑无效。 例如,参见理i仑物理国际期刊(1982)第21巻467-488页,Feynman R. P.的"Simulating Physics with Computers"。 侈寸^口, Feynman才旨出 一 台量子计算才几能够-故用于才莫拟某些其他量子系统,从而允许所才莫拟的量子系统 与使用一台UTM所可能的情况相比成指数级地更快地计算某些特性。
量子计算的途径
对于量子计算才几的i殳计及运作存在几种通用的途径。这种途径之一
是量子计算的"电路模型"。在这种途径中,通过多个逻辑门序列对量子 位起作用,这些逻辑门序列是一种算法的已编排的代表。电路模型量子
计算才几对实际的实现方式有几种严重的障碍。在该电路才莫型中,所要求 的是多个量子位在比单一 门时间长得多的时间周期上保持相干。这种要 求的出现是因为电路模型量子计算机要求被统称为量子误差校正的运作 来进行运算。在没有电路模型量子计算机的这些量子位能够在单一门时
间的IOOO倍数量级的时间周期上保持量子相干时,就不能够进行量子误 差校正。大量研究工作一直集中于开发具有足以形成电路模型量子计算 机的基本信息单元的相干性的量子位。例如,参见 arXiv.org:quant-ph/0005003 (2001)第1-27页,Shor, P. W.的"Introduction to Quantum Algorithms".本4贞i或仍然受阻于不能够〗吏量子^立的相干性^是高 到用于设计并运行实际电赠4莫型量子计算机的可接受的水准。
量子计算的另 一个途径涉及将多个耦合的量子系统的一个系统的 自然物理演算用作一个计算系统。该途径并不是关键性地利用量子门与 量子电路。相反,从一个已知的初始化哈密尔顿算子开始,它依赖于多 个耦合的量子系统的 一种系统的#:引导的物理演算,其中有4寺解决的问 题已按该系统的哈密尔顿算子进4亍编码,这样4吏得耦合的量子系统的该 系统的最终状态包含了与有待解决的问题的答案相关的信息。该途径并 不要求长的量子位相干时间。此类途径的实例包括绝热量子计算、群集-状态量子计算、单向量子计算、量子退火及经典退火,并且在如 arXiv.org:quant-ph/0201031 (2002)第1-16页,Farhi, E.等人的"Quantum Adiabatic Evolution Algorithms versus Simulated Annealing"中进行了描 述。量子位
如前所述,量子位能被用作用于量子计算机的基本信息单元。如同
在UTM中的位一样,量子位可以指至少两个完全不同的量值; 一个量 子位可以指在其中存4诸信息的 一个实际的物理装置,并且它还可以指从 其物理装置抽象出的信息单位本身。量子位的实例包括量子粒子、原子、 电子、光子、离子、等等。
量子位推广了 一个经典数字位的概念。 一个经典的信息存储装置能 够对两个离散的状态进行编码,这两种离散的状态典型地^皮标记为"0" 和"1"。这两个离散的状态在物理上由该经典的信息存4诸装置的两个不同 的并可区别的物理状态来代表,如;兹场、电流或电压的方向或强度,其 中对该位的状态进行编码的量值才艮据经典物理学的定4聿来表现。 一个量 子位也包含两个离散的物理状态,它们也可被标记为"O"和"l"。这两个 离散状态在物理上是由量子信息存储装置的两个不同的并可区别的物理 状态来代表,如》兹场、电流或者电压的方向或强度,其中对该位的状态 进行编码的量值根据量子物理学的定律来表现。如果存储这些状态的物 理量值按量子力学方式来表现,则该装置能够额外地;故置于一种0和1 的叠加中。也就是说,该量子位能够同时存在于"0"和"1"的状态中,并 且因此能够对两个状态同时进行一个计算。总之,N个量子位能够处于 2N个状态的叠加之中。量子算法利用了该叠加特性来加速某些计算。
在标准的标记法中, 一个量子位的基本状态被称为|0〉与|1〉状态。在 量子计算的过程中, 一个量子位的状态总体上是多个基础状态的一种叠 加,这样该量子位具有占据该|0〉基础状态的一个非零扭无率以及占据该|1〉 基础状态的一个同时的非零概率。在数学上,多个基础状态的叠加是指
该量子位的整体状态(它用l甲〉来代表)具有l"-一G〉 + ^〉的形式,其中 o和6分别是对应于概率l"l2与问2的系数。系数a和6各自具有实部与虛 部,这就允许该量子位的相位纟皮表征出。 一个量子位的量子性质在4艮大 程度上是,人其在多个基础状态的一种相干叠加中存在并且^吏该量子^立的 状态具有一个相位的能力中衍生出来的。当 一个量子位与脱散源充分地隔离开时,该量子位将保持这种作为多个基础状态的一种相干叠加而存 在的能力。
为了^f吏用一个量子位来完成一个计算,对该量子位的状态进行测量 (即,读出)。典型地,当进行该量子位的测量时,该量子位的量子性质 暂时瓦解并且多个基础状态的叠加缩减为|0〉基础状态或| 1〉基础状态,并 因此重新获得它与 一个常规位的相似性。该量子位在它瓦解以后的实际
状态直接取决于在该读出运作之前的和克率lal2和iz i2。
超导量子位
人们在考虑将多种不同的硬件和软件途径用于量子计算机中。 一种 石更件途径使用超导材津牛(如铝或者铌)形成的集成电3各。设计和制造超 导集成电路所涉及的技术和工艺在某些方面与用于常规集成电路的技术 和工艺相似。
超导量子位是可以包括在一个超导集成电3各中的一种类型的超导 装置。例如,典型的超导量子位具有可拓展性的优点,并且总体上才艮据 物理性能而被分类,用于对信息进行编码的这些物理性能包括(例如) 电荷与相位装置、相位或通量装置、混合装置、等等。根据用于对信息
进;f亍编石马的物理性能,超导量子^立可以#:分为几个类别。例力o,它们可 以被分为电荷装置、通量装置与相位装置,如Makhlin等人2001年在 Reviews of Modem Physics 73第357-400页中所讨^仑的。电荷装置在该装 置的电荷状态中对信息进行存储并操作,其中基本电荷由称为库珀对的 电子7于构成。 一个库珀对具有的电荷并且由两个电子构成,这两个电 子由(例如) 一个声子相互作用连接在一起。参见例如剑桥大学出版社 的剑桥(2000 )第343-345页,Nielsen与Chuang的g"aw化m Compwto"ow am/gwm ^m /"/om7a"o"。通量装置在与通过i亥装置的某个部分的^兹通量 相关的一个变量内存储信息。相位装置在与该相位装置的两个区域之间 的超导相位差相关的一个变量内存储信息。近来已经开发了使用两种或 更多种电荷、通量与相位自由度的混合装置。例如,参见美国专利号 6,838,694以及美国专利号7,335,909。可使用的通量量子位的实例包括rf-SQUID,它们包括由一个约瑟夫 逊节或一个复合结(其中 一个单独的约瑟夫逊节由两个并联的约瑟夫逊 节取代)间断的一个超导环路;或者持续电流量子位,这些持续电流量 子位包4舌由三个约瑟夫逊节间断的 一个超导环3各;以及类似的量子位。 例如,参见1999年Mooij等人在Sc/e騰上的285, 1036,以及1999年 Orlando等人在户/^s. Wev. B上的60, 15398。超导量子位的其他实例可以 在^口2003年H,ichev等人在尸/y^. i ev.丄e".上6勺91, 097906; 2001年Blatter 等人在尸/7". Aev. B上的63, 174511以及2000年Friedman等人在iVamre 上的406, 43中找到。此外,还可以使用混合电荷-相位量子位。
这些量子位可以包括一个对应的局部偏置器件。这些局部偏置器件 可以包括与一个超导量子位4妾近的一个金属环路,该金属环路为该量子 位^提供一个外部通量偏置。该局部偏置器件也可以包括多个约瑟夫逊节。 在量子处理器中的每个超导量子位可以具有一个对应的局部偏置器件, 或者可以存在少于量子位的局部偏置器件。在某些实施方案中,可以使 用基于电荷的读出和局部偏置器件。这个或这些读出装置可以包括多个 dc-SQUID ;兹强计,各自电感性地连接到一个拓朴结构内 一个不同的量子 位上。该读出装置可以提供一个电压或电流。包括由至少一个约瑟夫逊 节间断的 一个超导材料环路的这些dc-SQUID石兹强计在本领域中是公知 的。
有效的量子位
遍及该说明书以及所附的权利要求书,术语"有效的量子位"与"多个 有效的量子位,,用于指代可以代表为一个二能级系统的一个量子系统。在 相关领域的4支术人员应理解两个特定的能级可与一个多能级量子系统隔 离并且被用作一个有效的量子位。此外,术语"有效的量子位"与"多个有 效的量子位1皮用于指代包括任何数目的器件的一个量子系统,这些器件 可用于^表一个单一的二能级系统。例如,多个单独的量子位可^皮4禺合 在一起,其方式为使所耦合的量子位的整个組或其一部分代表一个单一 的二能级系统。
10量子处理器
一个计算^L处理器可以采取一种;f莫拟处理器的形式,例如一种量子 处理器(如一种超导量子处理器)。 一个超导量子处理器可以包括多个量 子位以及多个相关耳关的局部偏置器件,例如两个或更多个超导量子位。 可与本系统、方法及装置一起使用的示例性的量子处理器的进一步细节
和实施方案#皮描述于美国专利/>开号2006-0225165、美国专利申请序列 号12/013,192以及于2007年11月8日4是交的发明名称为"Systems, Devices and Methods for Analog Processing"的美国临时专矛J申"i青序列号 60/986,554之中。
一个超导量子处理器可以包括多个耦合器件,这些耦合器件可以操:
作以i^更选4奪性地耦合对应的量子位对。超导耦合器件的实例包括「 rf-SQUID和dc-SQUID,这些装置通过通量将多个量子位耦合到一起。 SQUID包括由一个约瑟夫逊节( 一个rf-SQUID )或两个约瑟夫逊节(一 个dc-SQUID )间断的一个超导环i 各。这些耦合器件也i午能够同时铁磁性 地及反铁磁性地耦合,这取决于在该互连拓朴结构内如何使用该耦合器 件。在通量耦合的情况中,铁^磁耦合意味着并联通量在能量上是有利的, 而反4失^兹耦合意p木着反并耳关通量在能量上是有利的。可替代地,也可以 使用基于电荷的耦合器件。其他耦合器件可在如美国专利公开号 2006-0147154以及美国专利申请序列号12/017,995中找到。例如,这些 耦合器件的对应耦合强度可以在0与一个最大值之间调节,以便在量子 位之间提供铁磁或反铁磁耦合。
量子退火
量子退火是一种计算方法,该方法可被用于找出一个系统的低能状 态,典型地优选是接地状态。与经典的退火概念类似,该方法依赖的基 本原理在于低能状态是更为稳定所以自然系统趋向于低能状态。然而, 即使经典退火使用经典的热波动将 一 个系统引导到它的全局能量最小 值,但量子退火也可使用自然的量子波动(如量子隧道作用)以便更精 确或更快速地达到一个全局能量最小值。已知的是对于一个难题(例如组合优化问题)的解可被编码到一个系统的接地状态中并且因此量子退 火可被用于寻找此类难题的解。
绝热量子计算
如前文所纟是及,绝热量子计算典型地涉及通过逐渐改变P合密尔顿算 子来将一个系统从一个已知的初始哈密尔顿算子(该哈密尔顿算子是一 个运算符,它的本征值是该系统的允许的能量)演算到一个最终的哈密 尔顿算子。 一个绝热演算的筒单实例是
//e =(1 —
其中^是初始哈密尔顿算子,^是最终哈尔顿算子,^是演算或 瞬态哈密尔顿算子,并且S是控制演算速率的一个演算系数。该系数S
从0至1,这样在演算过程的开始时该演算^^合密尔顿算子等于初始"^合密 尔顿算子,而在该过程的结束该演算哈密尔顿算子等于最终哈密尔顿算 子。如果该演算太快,则该系统能够被激发到一个较高状态,例如第一 受激状态。在本系统、方法及装置中,"绝热"演算被认为为是满足绝热 条件的演算,其中该绝热条件被代表为
il〈ll眠/cfel。〉 |=<%20)
其中^是s的时间导数,gO)是作为s的一个函数的该系统的接地 状态与第一受激状态之间的能量差异(在此还被称为"空隙大小"),并且 S是远小于1的一个系凄史。
在绝热量子计算中的演算过程有时可被称为退火。^变化的速率(有 时4皮称为演算或退火进度)通常是恒定的并且是足够地慢以4吏该系统在 演算过程中总是处于演算哈密尔顿算子的瞬态接地状态中,并且避免了 在反交叉时(即,当该空隙大小是最小的时候)的转变。在美国专利号 7,135,701中描述了关于绝热量子计算系统、方法及装置的进一步细节。绝热量子计算是量子退火的一种特殊情况,对于量子退火该系统在 整个演算期间开始于并保持在它的^妄地状态中。因此,在本领域中的^支
术人员应理解量子退火方法总体上可在一台绝热量子计算才几上实现,反
之亦然。遍及本说明书,术语"绝热量子计算机"被用于描述一种计算系
统,该计算系统被设计为进行绝热量子计算和/或量子退火。
优化问题
优化问题是这样一些问题,对它们在一个变量的集上使一个或者多 个目标函数最小化或者最大化,有时要服从一个限制条件的集合。例如, 推销员旅行问题("TSP")是一种优化问题,其中代表如距离或者成本的 一个目标函数必须被优化以找出 一种旅行3各线,这^皮编码到 一个代表该 问题的优化解的变量的集合中。例如,给定一个地点的清单,该问题可 包括对所有地点只访问 一次的最短路径。优化问题的其他实例包括最大
独立集(MIS )、整数编程、约束条件优化、因式分解、预报模型以及k-SAT。 这些问题是许多真实世界的优化问题的抽象,例如运算研究、金融资产 组合选才奪、计划制定、供给管理、电路-没计、以及旅行路线优化。4艮多 大规模的基于决策的优化问题是NP-难题。例如,参见2000年 e-Optimization.com上的"爿//z.g/z-丄eve/丄ooA: W 0/ "m/zor"o":尸os厶/Vese"( 朋c Fw化W 。
很多优化问题使用UTM是不能求解的。因为这种制约,在本领域 中存在对于能够解决超出UTM的范围的计算问题的计算装置的需要。 经典的数字计算机普遍被认为不能超过UTM的能力,并且由此受制于 经典计算的局限性,这些局限性在问题的大小与解题时间之间施加了不 利的比例。根据本系统、方法及装置,可采用量子绝热算法来得到对于 这些问题的比用经典优化算法可以实现的情况要更好的解。
图形的嵌入
图形是代表多个实体之间关系的 一种有效方式,并且常用于例如经 济学、数学、自然科学以及社会科会的领域中。即4吏某些图形<又-波用作为一种视觉辅助,但其他的图形可被用于代表一个有待解决的问题。事 实上,将一个问题映射为图形的形式有时能够帮助解决该问题有。此类 问题的例子包括股票资产組合选择、孩i波i荅的布局、配送线^各优化以及 其他大规模的问题。量子计算机可用于通过将原始问题转化为量子计算 机能够解决的形式来解决此类问题。做到这一点的一种方法是通过图形 的嵌入,其中由 一组顶点以及连接不同顶点的 一组边所组成的、代表一 个有待解决的问题的一个图形^皮映射到一个量子处理器的量子位结构中 并且然后得到解决。
图形的嵌入涉及通过将每个节点或顶点映射到在一个平面上的一 个点上并且将每条边映射到连"^妄两个节点的一条直线或曲线上来定义一 个图形的具体图样。该图样不是唯一的,因为可存在同一图形的许多排 列。能够将图形嵌入的方式的数目取决于这些图形被绘制于之上的格栅 系统的特性及规则。例如, 一个档"败系统可以是一个二维棚-才各。这些边
可例如纟皮限制在两个相互正交的方向(例:^,上下或左右)上。这才羊的 一个格栅系统具有的连通性为4,意p未着每个节点可有最多四条与之相 连的边,这些边仅在以上提及的方向上延伸。在一个类似的格栅系统中 多个边还能对角地延伸(例如,以45。对角地延伸)并且它们能够交叉, 它具有的连通性为8。图形嵌入的一种形式涉及一夸纟会制在一个祐4册系统 上的 一个图形取出并且在另 一个格4册系统上绘制 一个等效的图形。
能够嵌入的图形可分为两种类型平面的与非平面的。平面的图形 是能够嵌在一个二维平面上的图形,使得没有两条边相交。 一个非平面 图形是其中至少有两条边相交的图形。图形嵌入的某些形式涉及将一个 平面图形嵌入到一个非平面图形中或者尝试使一个非平面图形尽可能地 平面化,即,通过减少交叉点的数目。然而,某些非平面图形不能^皮嵌 入到一个平面图形中。此类图形最著名的实例是图形K5以及K(3, 3)。 在2004年Boyer等人的Jow""/ q/"G"ra/ /z j/gw欣慰y4/ / //ca"<my 8第 241 -273页中能够找到关于非平面图形以及它们的嵌入的更多信息。
Knysh等人2005年在arXiv.org:quant-ph/0511131中描述了将图形嵌 入到多个量子位的栅格中的一种技术。Knysh描述了将NP完全问题映射到量子位的栅格中并且进行绝热量子计算以解决该问题的 一种技术。
然而,Knysh使用了量子位之间的恒定耦合以及仅仅是最邻近的耦合, 二者均减少了该嵌入以及后续计算的灵活性与效率。
在美国专利申请序列号11/932,248中描述了将图形嵌入到量子位的 栅才各中的进一步的技术。
关系数据库
许多实体釆用关系数据库来存储信息。这种信息可以与生意、政府 或个人的几乎任何方面有关。例如,这种信息可以涉及人力资源、运输、 下订单或收取定单、仓贮、配送、预算、石油勘探、勘测、轮询、图像、 i也理图、网《各拓朴、识別、和/或4呆安。
存在许多可替代的对数据库进行搜索的技术,但大多数途径典型地 采用一种或多种查询的准备。例如,在美国专利申请序列号11/932,261 中描述了一种4支术,其中将一个查询建立成由多个节点与边构成的一个 图形的形式。在这种技术中,将该数据库中的这些条目用于生成多个数 据库图形,并且每个数据库图形与该查询图形结合以产生一组关联图形。 然后可将一个关联图形用于对该查询图形与对应的数据库图形之间的关 系进行评估。在某些实施方案中, 一个关联图形;陂嵌入到包括一组量子 位的一个量子处理器上,其中该关^:图形的多个顶点是由多个量子位来 代表,并且该关联图形的多个边是由多个量子位之间的耦合器件来代表。 这些量子位与耦合器件可以是超导器件。〗吏用该量子处理器可以将对应
于该关^:图形的查询作为一个分团问题来求解。例如,该量子处理器可
以从一个第一或"初始,,状态演算到一个第二或"最终"状态,使该最终状 态代表该关联图形的 一个任意团,或者可替代地代表该关联图形的 一个 极大团或一个最大团。在某些实施方案中,该查询最好是由所对应的关 联图形产生了最大的最大团的那个数据库图形来完成。弹.l"生束图形匹配
弹性束图形匹配(EBGM)是在具有许多独特面部图像的一个数据
库中用于识别出单个人的面孔的一种系统。确切地i兑,EBGM是一个过 程,通过该过程对人的面部的图像进行分析并且生成一个标记的图形表 示。所标记的图形表示由多个节点以及多个边组成并且被称为图像的图 形。该图形的这些节点代表在面部上的不同"基准,,点(例如眼、鼻与嘴) 并且这些节点由几组被称为"小波系数(jets)"的Gabor小波分量进行加 权。该图形的这些边代表在多个基准点之间的关系并且这些边是用多个 二维3巨离矢量来标i己的。在通过EBGM自动生成一个图l象的图形之后, 可通过将一个查询图像的图像图形与在一个数据库中的所有图像的对应 的图像图形进行比较来完成面部识别。
在EBGM中一幅图像图形的自动生成是通过将该面部图像与一幅 广义化的"束"图形对齐来完成。该束图形实质上是一个模型格栅,对于 该才莫型格栅用一组(或"一束")多个小波系数而不是一个特定的小波系 数来标记每个单独的基准点。该束图形重叠在该面部图像上并且将最佳 地代表了在图像中的每个基准点的小波系数识别出。因此该束图形起到 了一个组合的实体的作用,如同一个可才莫制的面具。在该束图形中的多 个边是足够弹性的以使所得到的图像图形可更好地与该特定的面部图像 相适配。最初时, 一个束图形4皮手动i也定义并且随着越来越多的面部图 像被合并到该束中它增加了可适配性与精度。在1997年IEEE Transactions on Pattern Analysis and Machine Intelligence的19(7):775-779
找到关于EBGM的过程的更为详细的描述。 一个重点在于EBGM精度 的增长要求计算工作量的增加。例如,通过增加在一个束图形中基准点 的数目可得到更高的精度。然而,这样的增长将要求在EBGM映射图生 成阶段中有更大的计算工作量并且导致包括大量节点与边的一个图像图 形。当将这样一个專支大的图像图与数据库中的所有其他图像图进行比较 时,该图像图形在识别阶段的过程中要求更多的计算工作量。这样,用于自动面部匹配的目前这些技术或者不产生令人希望的精度水平或者是它们的速度过慢。
图^f象匹配的问题是特别适合于在此类量子处理器上来解决。目前实际运用的图像识别技术受限于它们的精度并且总体上是相当慢的。识别精度取决于图形表示的精度,图形表示本身最终取决于所识别的图像特征的数目。传统上,结合更大数目的图像特征的尝试导致在识别过程中在计算上是消耗性的图形表示。因此,典型地对某种精度措施进行折衷以适应可掌控的计算时间。通过在一个量子处理器上进4于识别过程,与传统方法相比能够以更高精度和/或更快地得到识别结果。

发明内容
至少 一 个实施方案可#皮归纳作为对图傳_数据库中的多个查询图 <象的特征进行识别的一种计算才几实施的方法,包括将一幅查询图Y象的至少一个特征的图形表示与 一个图像数据库的多幅数据库图像的至少 一些中的每一 幅的至少 一部分的对应图形表示进行比较,其中每次比较包括生
成一幅对应的关Jf关图形;并且通过一个量子处理器确定每一关联图形的至少 一个特性,其中每一关联图形的该至少 一个特性代表在该查询图像的至少 一个特4正与该关耳关图形相应的对应凄t据库图i"象的至少该部分之间的一种才目如乂'l"生。
该方法可进一步包括存储得自确定每一关联图形的至少 一个特性的结果;并且将这些结果进行分级,这样使得分级最高的结果代表在该查询图像的特征与这些数据库图 <象中的至少 一个之间的最有可能的匹配。该多个数据库图像中的至少 一些可各自包括代表至少 一个人的面部的数据,并且其中该查询图像的特征可包括代表至少 一个人的面部的数据。该方法可进一步包括生成该图像数据库的这些数据库图^象的至少一些中的每 一 幅的该至少 一 部分的7于应的图形表示;并且生成该查询图傳_的至少 一个特征的图形表示。生成该数据库图像的至少 一些中的每一幅的至少一部分的图形表示以及该查询图<象的至少一个特4i的图形表示可包括^丸行弹性束图形匹配。生成每个凄t据库图像的至少该部分的对应的图形表示可包括 使用 一个经典的数字处理器生成这些对应的图形表示。生成该查询图^象的至少一个特征的图形表示可包括〃使用 一个经典的凄t字处理器生成该图形表示。确定每一 关联图形的至少 一个特性可包括确定每一关联图形的一个最大独立集。确定每一关联图形的至少一个特性可包括确定每一关联图形的一个最大团。通过一个量子处理器确定每一关联图形的至少一个特性可包括通过一个超导量子处理器来确定每一关联图形的至少一个特性,该超导量子处理器包括多个超导量子位。该方法可进一步包括通过一个经典的数字处理器访问该图傳^丈据库。生成这些对应的关联图形可包括使用 一个经典的数字处理器生成这些对应的关联图形。该方法可进一步包括将这些对应的关联图形从该经典的数字处理器传送至该量子处理器。该方法可进一步包括将由该量子处理器确定的每一关联图形的该至少一个特性从该量子处理器传送至该经典的数字处理器。该方法可进一步包括在将该查询图^象的图形表示与这些凄史据库图
像的图形表示进行比较之前,对该查询图像的至少一部分进行4全查;并且对该查询图〗象的一个方面进4亍识别,该方面对于这些教:才居库图<象的一个子集是共同性的,并且其中将一个查询图像的至少一个特征的图形表示与多个数据库图像的至少 一些中的每一个的对应的图形表示进行比沣交可包括将该查询图像的该至少 一个特征的图形表示仅与在这些数据库图像的子集中的数据库图像的图形表示进行比较,并为此产生出对应的多幅关联图形。该查询图像的至少一个特征可代表该查询图像的大部分。在该查询图像的特征与该关联图形相应的对应的数据库图4象的该至少一部分之间的相似性可表明该查询图像的至少一个特征是否存在于该关联图形相对应的对应数据库图像之内。
至少 一个实施方案可^皮归纳为 一种计算才几实施的解决图 <象匹配问题的方法,包括将一个图像匹配问题设定为一个二次无约束的二元优化问题;将该二次无约束的二元优化问题映射至一个量子处理器上;并且演算该量子处理器以产生对该二次无约束的二元优化问题的一个解。
至少 一 个实施方案可 一皮归纳为 一 种计算才几实施的比4交两个对象的方法,包括将第一对象的至少一部分的一个图形表示与第二对象的至少一部分的一个图形表示进行比较,其中该比较包括生成一幅关联图形;并且通过一个量子处理器来确定该关联图形的至少一个特性,其中该关耳关图形的至少 一个特性代表在该第 一对象的该至少 一部分与该第二对象的该至少 一部分之间的相似性。
该方法可进一步包才舌该第 一对象与该第二对象均是图 <象。确定该关联图形的至少一个特性可包括确定该关联图形的一个最大独立集。确定该关联图形的至少 一个特性可包括确定该关联图形的 一个最大团。确定该关联图形的至少一个特性可导致该量子处理器返回一个值,该值代表在该第 一 对象的该至少 一 部分与该第二只十象的该至少 一 部分之间的 一 种相似性的度量。
附图i兌明
在这些附图中,相同的参考l史字标识出相似的元件或者动作。附图中元件的尺寸和相对位置不一定是按比例绘制。例如,不同元件的形状以及角度不一定4安比例《会制,并且这些元件中的一些^^任意i也》丈大和定位以提高附图的易读性。另外,所绘出的这些元件的特定形状并非旨在传递与这些特定元件的实际形状有关的任何信息,而只是为了方<更在图中识别而选耳又。


图1是用于通过包括一个量子处理器的系统进行自动图像识别的一种方法的实施方案的流禾呈图。
图2A是示出了重叠在面部图像本身上的一个面部图像的图形表示的示意图。
图2B是用于将问题/人一个经典处理器传递到一个量子处理器的方法的实施方案的流禾呈图。
图3是设计为用于绝热量子计算(和/或量子退火)的一种常规超导量子处理器的一部分的示意图。图4是用于通过一个量子处理器解算图像匹配的问题中的运作的本才几才莫式的 一 种方法的实施方案的流程图。
图5是用于通过一个量子处理器解算图像匹配的问题中的运作的混合模式的 一 种方法的实施方案的流程图。
具体实施例方式
在以下i兌明中,列举了某些特定的细节以使j是供只十不同的所4皮露的实施方案的全面理解。然而,相关技术领域中的技术人员应认识到,可以在没有 一个或多个这些特定细节的情况下,或者在具有其他的方法、组件、材料等的情况下实践这些实施方案。在其他的情况下,与模拟处理器(如量子处理器、量子器件、耦合器件以及包括微处理器与驱动电路的控制系统)相关联的公知结构没有被详细地示出或者说明,以避免
不必要地>'昆淆这些实施方案的il明。
除非上下文另有要求,在整个说明书和所附的权利要求书中,"包括,,一词及其多种变体(例如,"包括了"和"包括着")将以一种开放式的和包含性的意义来进行解释,即,如"包括,但不限于,,。
遍及本i兌明书^是到的"一种实施方案"或"一个实施方案"意p未着与该实施方案向关联地描述的一个具体的指示特征、结构或特性被包括在至少一个实施方案中。因此,贯穿本说明书在不同地方出现的短语"在一种实施方案中"、"在一个实施方案中"并不一定全部是指同一个实施方案。此外,这些具体的特征、结构或特性能够以4壬何适当的方式结合在一个或者多个实施方案中。
如在本说明书和所附的权利要求书中所使用的,单数形式的"一个"和"该"包括复数对象,除非文中另外明确指明。还应注意,术语"或者"一词总体上所4吏用的意义包括"和/或",除非文中另外明确指明。在此给出的小标题以及摘要只是为了方便起见,而并非解释这些实施方案的范围或含意。
本系统、方法及装置描述了用于实现一个量子处理器的技术,以便在图像数据库中进行自动图像识别。为了做到这一点, 一个图像匹配问题被映射为可由一个量子处理器来处理的形式。图像可釆取多种形式。典型地,图像采取数字信息的形式,该形式能用于产生图像的视觉表示,例如在显示器或在纸张上。例如图像可采取限定一个位图的信息的形式,例如,指定一个二维阵列的不同像素的强度和/或颜色。还例如,图像可采取凄t学表示的形式,例如一个或多个多项表达式(如,B样条多项式)或矢量。图l象同样可采耳又其他的形式。
处于其最简单形式的图像匹配尝试寻找来自与同一物理结构相对应的两个图像的称对图像特征。例如, 一个图像特征可包括描述了给定图像位置的邻域的一个矢量。为了寻找对应的特4i,典型地考虑两个因素特征相似性(如由多个特征矢量之间的标量乘积所确定的),以及几
何一致性。这后一因素在考察刚性体时得到最好地定义。在这种情况下,特征的偏移不是任意的而是呈现出由观察点的改变而引起的相关性。例
如,如果相才几移到左边,可^见察到在图^f象中的特4i位置向右边的平移。如果对象是可变形的或可铰接的,那么特征偏移不是仅由相机观察点来确定的,但邻近的特征可能仍趋于以相似的方式来移动。因此,图像匹配能够被安排为涉及一个目标函数(该目标函数包括至少两个项)的最小化的优化问题。该第 一项对多个特征之间的失配罚分,这些特征从第一图像中绘制出并且在第二图像中被放置于对应的位置处。该第二项通过测量多个邻近匹配物之间的分歧来加强邻近匹配之间的空间 一致性。
在Intl. Journal of Computer Visions 61(1), 55-79 (2005) Fe/ze"zwa/6 cfeT/""ew/oc/zer, "Pictorial Structures for Object Recognition,"中已i正明者构成了 一个NP困难的优化问题。
为了使得一个图像匹配问题适合于用量子算法的解,可将该图像匹配问题映射为一个二次无约束的二元优化("QUBO")问题,其形式为<formula>formula see original document page 22</formula>
(1)
这些二元优化变量;c,., ;9确定在一个图^象中的多个特征如何映射到 在另一个图像中的多个特征上。这些系数&被选择为使所生成的目标函 数的最小化同时将特征相似性与几何一致性最大化。 -使用一个量子计算 的算法(例如, 一个量子绝热算法)可对方程式(1)求解。
现在4是供了一个总的方法用于实现一个量子处理器来解决图^f象匹 配问题。图1示出了该方法100的一个实施方案的流程图。方法100是 三个动作的一种新颖的组合生成图係JOl与102的图形表示(例如, 代表^L觉图像的电子数据或信息)、使用关联图形103进行4莫式匹配,并 且4吏用包括一个量子处理器的系统来解决问题104。在动作101中,建 立了在图像数据库("数据库图形")中的一些或所有图像("数据库图像") 的图形表示。例如使用一个常^见的(数字的)处理器即可完成这一点。 在动作102中,建立了一个查询图4象("查询图形")的图形表示。在动 作103中,将该查询图形与这些数据库图形进行比较,并且对于每次比 较生成一个对应的关if关图形。在动作104中,4吏用一个量子处理器来确 定每一关联图形的至少一个特性。在动作105中,才艮据由该量子处理器 确定的这些关联图形的至少一个特性来对这些结果进行分级。可建立该 分级以使得最高的分级表示在该查询图形与对应的数据库图形之间以及 由此在该查询图像与对应的数据库图像之间的最可能的匹配。
在动作104中,可由一个量子处理器确定的这些关联图形的一个特 性或多个特性可耳又决于^皮;险查图#>的类型或耳又决于识别算法的性质。两 个适当的特性包括这些关联图形的最大独立集("MIS")和最大团 ("MC,,)。这两个特性是相关的并且这样通过仅确定在每一关4关图形中 这两个特性之一即可进行图j象识别。 一个图的MIS是由多个边将其全部 连接的多个节点的最大子集。在一个关联图形中的一个更大的MIS表明 在该查询图形与对应的数据库图形之间的一个更好的匹配。因此,被确 定具有最大MIS的关i[关图形-故预期对应与该查询图4象与 一个^:据库图傳_之间的最可能的匹配。作为对MIS的一种可替^方案,MC是不共享4壬 何边的多个节点的最大子集,并且因此带有最大MIS的关^:图形典型地
将具有最小MC。因此,在相关领域中的4支术人员应理解到解决一个MC 问题与解决一个MIS问题是类似的,唯一的不同是其分级次序是颠倒的。 可以实施方法100来加强自动图像识别的超过目前实际应用的技术的速 度和/或精度。
可应用方法100来查找与一个查询图像相匹配的一个数据库图像。 然而,还可应用方法100来查4戈包4舌了一个确切特;f正的一个^i:据库图寸象, 该确切特4正与包4舌在一个查询图 <象中的 一个确切特4i相匹配。这里的区 别在于,除了对整个图像进行匹配之外,可应用方法100来识别在查询 图像中的一个特征并且在图像数据库中查找对于该特征的一个匹配项。 例如, 一个查询图^f象可包括一个人的面部,并且可应用方法100在一个 图像数据库内查找包括一个相匹配的人的面部的 一个数据库图像,即使 所得到的数据库图像包括多个人的面部,其中该匹配的面部仅是该数据 库图像的一个特征。在此类应用中,方法100的某些实施方案可提供的 是4吏在动作102中建立的查询图像的图形表示被限制于一个匹配所寻求 的查询图^象的确切特4正的 一个图形表示。
本系统、方法及装置描述了在进行自动图像识别中既使用 一个数字 处理器也使用一个量子处理器。在某些实施方案中,可使用一个数字处 理器来生成多幅图像的图形表示(或者是多幅图像的确切特征,这取决 于所希望的查询)以及生成多个关耳关图形,而确定每一关l关图形的至少 一个特性可使用 一个量子处理器来进行。
面部图像是可由图形来代表的一种类型的图像的具体实例。生成多 个面部图像的图形表示是在继续发展并成长的一个研究领域。基本原理 在于在面部上确切特;f正(例如眼、鼻与嘴,连同"^午多其他更为精细的特 征)的相对位置可最终定义对于每个面部是独特的一种组合。因此,这 些相对位置的一个图形表示可用与指紋几乎相同的方式来用于对个人进 行识别。在这样的一个图形表示中,这些可识别的特征(还是如眼和嘴) 可通过多个节点或顶点来 表,这些节点或顶点是由多个边组成的 一个
23网所连接的。这些边可定义这些节点的相对位置。节点的数目越多(也 就是说,在一个图像上被识别的特征的数目越多)则图形表示的精度就 越高。对于代表其他身体部分(例如,虹膜或指紋)的多种图像可采取 一种相同的或类似的途径。
图2A是示出了重叠在原始面部图像上的一个图形表示200的示意 图。在图2A中,节点201-204限定了嘴的轮廓。为了简洁起见,图形表 示200由相对较少的节点(在图中仅取出四个点)组成并且因此是原始 面部图^象的一个相》于不4青确的表示。然而,在本领域中那些普iii支术人 员应理解到可通过增加图形中节点的数目并且因此代表图像中更多的面 部特征来改善面部图像的图形表示的精度。此外,图2A是指仅作为面 部图Y象的图形表示的一个示意性实例。在图2A中用节点识別的具体面 部特征以及在节点之间对应的边不代表一个所要求的图形方案。在本领 域的技术人员应理解到在一个图形表示中识别的这些具体面部特征连同 在节点之间对应的网络可4艮据生成图形表示的方法来改变。在本领域的 才支术人员还应理解到生成面部图像的图形表示的原理与^支术可^皮应用到 其他图像类型上,例如目标的图像、风景、地图、指紋、等等。因此, 虽然图2A 4又示出了一个面部图4象的图形表示,4旦本领域的才支术人员也 应理解到如〗可类似i也建立4壬^r类型图4象的图形表示。
可手动绘制出一幅图像的图形表示,或者它可被自动生成。此类图 形表示的最终目的是在于图4象识别,这可要求在多幅图^象的一个非常大 的数据库中对于每一图像建立图形表示。这样,更为实际的是开发用于 自动地生成多幅图像的图形表示的一种系统,而不是完全由手工来绘制。 此类系统的一个实例是弹性束图形匹配(EBGM )。 EBGM专门祐/没计为 应用在面部图像上;然而,这些基本原理可^皮应用到任何类型的图^f象上。 在EBGM中,建立了多个广义的模型图形,然后将这些模型图形配合到 新的面部图像上并且进行模拟以产生新的图形。在1997年IEEE Transactions on Pattern Analysis and Machine Intelligence的19(7):775-779 上Wiskott等人的Face i ecogm力'o" Z)_y £7os"c _5w"c/ C7rap/z Ma c/n'"g中描 述了这种技术的所有细节。这种技术持续的挑战在于精度与速度之间的
24权衡,因为图形表示精度的增加会导致在识别过程期间计算工作量的增 加。然而,通过结合^f吏用关^[关图形的才莫式匹配并且然后^f吏用量子处理器 来解决所产生的MIS问题,精度与计算时间均可得到改进而超过目前实 际应用的4支术。
EBGM是在自动生成面部图像的图形表示领域中的一种领先技术。 然而,在本领域中的技术人员应理解到本系统、方法及装置不要求由 EBGM来生成图形表示。如前面所讨i仑的,面部图<象的图形表示或4壬<可 其他图 <象类型可以手动地或通过4吏用4壬何其他系统来生成,只要在查询 图形与数据库图形之间存在足够的 一致性而使有意义的关联图形可以生 成。
对于某些查询,可能希望使用一个经典的数字处理器来识别查询图 像的某些关键方面,这些方面自动表明数据库中的一个特定子集。例如, 在这些查询图像的图形表示正^皮生成的同时,或者在生成关联图形之前 从该图形表示中,也许有可能识别查询图^f象的某些方面,该方面立即将 查询联系到数据库中的某些子集上。当作出这样的识别时,仅需要将查 询图像与共享该相同方面的那些数据库图像进行比较并且因此可生成较 少的关联图形。本质上,对数据库进行过滤或修剪,这样使得仅对有可 能被识别为是一个匹配的那些图像进行比较来产生关联图形。作为 一个 实例, 一个查询图i象可最初^皮分类为与一个人的面部有关,并且一个对 应的图像数据库然后可^皮减少到包括至少 一个人的面部的图像的子集。 此外,在面部识别中,在与这些邀:据库图^象进^亍比專交之前,能够/人该查 询图像的图形表示中对该面部图像的种族或性别进行识别。在这个实例 中,有待检查的数据库于是将被减少到与该查询图像的种族或性别相匹 配的面部图像的子集。这将要求要生成较少的关联图形,从而导致了对 量子处理器较少的请求并且减少了计算时间。通过用户或通过数字计算 才几可进4于这个初步的过滤或^f奮剪。
相关领域的技术人员应理解到对于任何类型的图像都可生成 一 个 图形表示。例如,物品、风景、地图、指紋以及星座的图像全都能够由图形来代表。此外,可对于一幅图Y象的一方面的具体特4正而不是对于整 个图4象生成一个图形表示。
贯穿本说明书及所附的权利要求书,提及了在 一 个经典处理器与一
个量子处理器之间的通信。例如,如在方法100的动作103中可4吏用一 个经典的处理器来生成多个关耳关图形,并且如方法100的动作104中然 后一个量子处理器可被用于分析这些关联图形。图2B是示出了用于在 一个经典处理器与一个量子处理器之间进4亍通信的方法250的实施方案 的流禾呈图。方法250包4舌四个动作251-254。在动作251中, -使用一个经 典的处J里器来处理一个查询。 一个查询图^f象的处J里可包4舌多种动作,包 括但不局限于定义一个查询的各项参数、对一个查询图像中的具体特征 进行识别、生成多个关联图形、对一个查询进行分类、以及建立退出标 准。该查询的处理还可包括将该查询转换为可由一个量子处理器来传送 并管理的形式。在动作252中,所处理的查询/人该经典处理器^皮传送到 一个量子处理器中。在动作253中,使用了该量子处理器被来满足查询 的条件。满足一个查询的条件可包括多种过程,包括但不局限于确定一 个关if关图形的至少一个4争4正(例i口一个MIS或MC )。该量子处J里器管理 该查询直至满足了该查询的条件。在动作254中,满足该查询的结果4皮 返回到经典处理器中。这可包4舌将对于该查询的 一 个结果/人量子处理器 传送到经典处理器中。
才艮据本系统、方法及装置,在一种启发式方式中可实现绝热量子计 算和/或量子退火的算法,其中可降低在解中对全局最佳性的要求。使用 此类算法, 一个量子处理器可提供a)在与经典的解算系统相同的时间 量中 一 个更为精确的解;b )在比经典的解算系统较短的时间段中相同的 精度级;或者c)在比经典的解算系统较短的时间段中一个更为精确的 解。
可在多种不同的方式中实现绝热量子计算以及类似的量子退火。在 美国专利申请序列号11/317,838以及2003年arXiv.org: quant-ph/0302027 (2003)第1-13页\Vocjan等人的"Treating the Independent Set Problem by 2D Ising Interactions with Adiabatic Quantum Computing"中4苗述了纟色,在量子计算具体实现方式的实例,其中使用了量子位耦合体系结构来实现带
有1-局部横截场的一个2-局部伊辛哈密尔顿算子,如式2中给出
(2)
在此,w代表量子位的^:目,^是对于产量子位的PauliZ-矩阵, 是对于产量子位的Pauli I-矩阵,以及&、 A,与J,》.是耦合到每个量子位
的无量纲局部场。方程式2中的;^.项可通过将多个信号或场耦合到每个
产量子位的Z-基上来物理地实现。方程式2中的这些A,.项可通过将多个 信号或场耦合到每个产量子位的X-基上来物理地实现。方程式2中的这 些J^项可通过将成对量子位(分别是量子位z'和y)的Z-基耦合在一起 而物理地实现。
图3是设计为用于绝热量子计算(和/或量子退火)的一种常规超导 量子处理器300的一部分的示意图。在图3中所示的超导量子处理器300 的一部分包括两个超导量子位301、 302以及在其间对信息进行耦合的一 个可调谐的ZZ-耦合器311。虽然图3中所示的量子处理器300的部分仅 包括两个量子位301、 302以及一个耦合器311,但本领域中的技术人员 应理解量子处理器300可包括任何数目的量子位以及在其间对信息进行 耦合的任何数目的耦合器件。
图3中所示的量子处理器300的部分可被实施来物理地实现由方程 式2所描述的哈密尔顿算子。为了提供^和^项,量子处理器300包括 编程接口 321-324,这些接口被用于对量子处理器300的状态进行配置并 控制。编禾呈4妄口 321-324中的每一个可通过到一个编:程系统(未示出) 上对应电感性的耦合(如图所示)来实现。这样的一个编程系统可与量 子处理器300分离开,或者它可4皮局部地包括在其中(即,带有量子处 理器300的一个芯片),如美国专利申i青序列号11/950,276中所述。在量子处理器300的编禾呈中,编禾呈4妄口 321和324可各自用于将一 个通量信号耦合到量子位301和302的对应的复合约瑟夫逊节331、 332 上,由此实现在系统哈密尔顿算子中的A,.项。这一耦合提供了方程式2 中的^项。类似地,编程接口 322和323可各自用于将一个通量信号耦 合到量子4立301和302的一个只于应的量子4立环路上,由此实J见在系统p合 密尔顿算子中的/2,项。这一耦合提供了方程式2中的(jz项。在图3中, 每一个编程—-接口 321-324对系统,哈密尔顿算子的贡献分别显示在才匡 321a-324a中。
本领i或中的^支术人员应理解到绝热量子计算和/或量子退火可通过 实施不同于图3中系统300的系统和/或通过实施不同于方程式2的哈密 尔顿算子来实现。系统300和哈密尔顿算子2是用来仅作为本系统、方 法及装置的实施方案的实例。
本系统、方法及装置提供了使用 一个量子处理器的至少两种模式以 解决图像匹配问题,其中较优选的模式取决于问题的大小(即,在关联 图形中顶点的数目)。在运算的第一模式(即"本机模式")中,问题的大 小是足够的小以致于整个问题可^t直接映射到该量子处理器中。在运算 的第二模式(即"混合模式,,)中,问题的大小是太大了而不能直接映射
到量子处理器中,并且为了进行补偿,该问题#皮分解为可#1单个地映射 到量子处理器中的一组较小的问题。
在本机才莫式运作中,图像匹配问题被直接映射到该量子处理器中。 对于任何一对图像(即, 一个查询图像加上一个数据库图像), 一幅关联 图形可#皮用于测量两幅图^f象的图形表示之间的相似性。在 一 幅关联图形 中的每个顶点可对应于在第 一 图像中特征ot与第二图像中特征"之间的 一种关联。在 一幅关耳关图形中的每条边可对在第 一 图像中 一对特征矢量 与第二图像中 一对特征矢量之间的某种程度的几何一致性进行编码。一 幅关联图形的MIS即提供了相似性测量(该MIS越大,则相互重叠的区 域就越大)也提供第 一 图像中特征到第二图像中特征的最大无冲突映射。 io前面所讨论的,这种4支术可#:用于^"两幅整个图{象进4亍匹配,或者在 一组数据库图像之间从一个查询图像中去查找一个具体特征。例如,如果一幅查询图像的整个或一部分被包含在对应的数据库图像之内的某 处,则可净是供一个"匹配"。才艮据本系统、方法及装置,查找一幅关联图形的MIS问题可通过对于所有的顶点设置"=-1并且每当在顶点之间存在一条边时"|:殳置《=厶而净皮安排为一个QUBO问题。如果并JM叉在如 果该对应的顶点是MIS的一个元素时,QUBO问题的最小能量配置强制 & = 1,否则& = 0。图4是在通过一个量子处理器解决图^象匹配的问题中用于运算的本 机才莫式的方法400的实施方案的流程图。方法400提供了由来自图1的 方法100所述的总体方法的更多细节。确切地说,方法400通过^f吏用类 似于来自图3的系统300的一个量子处理器并且实施由方程式2描述的 p合密尔顿算子来4是供用于进4亍方法100的动作104的这些动作的实例。 在方法100的动作104中, -使用了一个量子处理器来确定一幅关联图形 的至少一个特性。因此,在方法400的动作401中,该关耳关图形-故定义 为描述了一个连4秦"-顶点QUBO的矩阵g,其中"由在该量子处理器中 量子位或有效量子位的数目所限制。在动作402中,从矩阵2中确定来 自方程式2的/;,和A目标值。在动作403中,"个顶点各自用在量子处 理器中对应的量子位或有效量子4立来识别。在动作404中,由该量子处 理器来实现一种量子算法。通过应用适当的时间相关函数的/^%>, 和^W,该算法可包括绝热量子计算和/或量子退火。在动作405中,对 该量子算法的结果进^于评估。如果该解不令人满意,则该方法返回至动 作404。如果该解令人满意,则该方法前进至动作406。在动作406中, 输出对该图像匹配问题的解。在图4中所描述的方法400提供了用于确定单个的关联图形的MIS (或者,可替代地,MC)的一个过程。如图1的方法100所描述的,在 一个图像匹配问题中可生成一组关联图形,其中每一关联图形对应着在 该查询图像与一个独特的数据库图像之间的一次相应的比较。方法400 有效地^是供了 一个过程,该过程用于确定在该查询图^f象与一个单个凄史据 库图像之间如何良好地实现了一次匹配。因此,为了解决一个图像匹配29问题,有必要对于每一关耳关图形完成方法400并且然后如方法100的动 作105 —样对结果进行分级。对于许多绝热量子计算体系结构,可供^f吏用的物理量子^f立的凄史目可 能远小于在有待解决的图像匹配问题中变量的数目(即,w >量子位的 数目)。因此,有必要将一个大的图像匹配问题分解成一组较小的问题。 在这种情况下,有必要实现运作的混合模式,其中完整的图像匹配问题 被分解成一组较小的问题,这样使得每个较小问题都可由该量子处理器 来解决。本领域中的技术人员应理解到为此目的可实施多种分解技术。 本系统、方法及装置描述了用于使用量子处理器的才支术,以l更通过实施 一个局部搜索算法来进行这种分解。图5是在通过一个量子处理器解决图4象匹配的问题中用于运算的混 合才莫式的一种方法500的实施方案的流禾呈图。类J以于图4的方法400, 方法500的目的在于解决一个QUBO问题,其中该解代表一幅关联图形 的MIS(或者,可替代地,MC)。在动作501中,通过使用例如一个经 典的启发式的求解程序来建立该解的一个初始近似值。对于QUBO问题 的一个适当的经典启发式求解程序的实例是在University of Mississippi Technical Report HCES-09-00 (2000)上Glover等人的"One pass heuristics for large scale unconstrained binary quadratic problems"中甘翁述的 Digest-Devour-Tidyup算 法 , 该 文 章 在http:〃hces.bus.olemiss.edu/reports/hces0900.pdf中可获4寻,^f旦本4贞i或中的 」技术人员应理解到可替代地-使用其他经典的启发式求解程序。该解的最 初近似值一皮用作为 一个局部4叟索算法的起始点。该解的最初近似值包括 一组变量X。。在动作502中,通过对一组变量X。的一个子集S。进行选 择来启动一个局部搜索算法。在子集S。中变量的数目小于或等于能被直 接映射到量子处理器中的变量的数目。在动作503中,变量S。的子集被 映射到该量子处理器中作为方程式3中所描述的优化问题《。=argmi、(Zs。,Z\S。 =X1\S。)因此,在动作503中,量子处理器4皮用于优化变量&的子集以改进 该解的最初近似4直。在动作504中,在动作503中确定的改进了的解萍皮 重新安排为该解的最初近似值。在动作505中,重复动作502-504直至 满足一些退出标准。适当的退出标准的实例包括〃f旦不局限于一个限定凄史 目的迭^、 一个限定的时间量和/或一个限定的精度级。在动作506中, 输出对该问题的最终解。在于2007年6月12日4是交的发明名称为 "Systems, Methods, and Apparatus for Recursive Quantum Computing Algorithms"美国临时专利申请序列号60/943,519中描述了用于量子计算 的一种递归才支术。方法500 —个潜在的缺点在于它可能仅在变量<S。的子集空间之内对 一个局部最小值进行定位,而不是在所有变量X。的空间中对一个全局最 小^直进行定位。才艮据本系统、方法及装置,可在帮助脱离局部极小-f直有 启发作用的一种禁忌搜索中实现方法500的局部搜索算法。禁忌搜索(如 在本领域中已知的)的每次迭代对前一次迭代的结果进行存4诸并再调用。 因此,在一些实施方案中,随着方法500 ^皮实施,可对来自每次迭^的 结果进行存储。这些存储的结果可包括与改变每个单一变量的效果有关 的数据,由此将一种代价与改变每个变量关联起来。在每次顺序的迭代 中,该算法可进行选择以调节尚未被改变的一个变量,由此在所存储的 数据中产生一个新条目。然后这个存储的数据提供了对该解的前景梯度 的深入了解,这样使得后续的迭代可朝着"最好的"局部极小值或理想上 朝着全局最小值前进。本领域中的技术人员应理解到贯穿本说明书术语"解算"是用来既包 含精确的解也包含近似的解。如所描述的,本系统、方法及装置可被用于图像匹配。这种应用可 包括对两幅整个图像进行匹配,或者它可包括在一个图像数据库之内查 找包含了一个查询图^象的全部或一部分的一个凄史据库图^象。例如, 一个 查询图像可能包含一个道路标志并且也许希望将它用于在一个图像数据 库中查找一个数据库图4象,该数据库图^f象在其中某处包括了 一个相匹配 的道^各标志。然而,在本系统、方法及装置中传4更的和克念可以-故应用于更宽的一ia问题。存在一个宽范围的应用,对于这些应用令人希望的是 在一个数据库之内对一个查询找到一个匹配。在一些实施方案中,本系 统、方法及装置可被推广为确定两个对象之间的相似性的测量的 一种方 法,其中这两个对象的特征被结合成为由一个量子处理器分析的关联图 形。该量子处理器可对该关联图形进行分析并且返回代表两个对象之间 相似性度量的一个值。在某些应用中,这两个对象可以是图^象,例如一 个查询图像与一个数据库图像。然而,在其他的应用中,这两个对象可 采耳又其他的形式。例如, 一些实施方案可提供在一个相关的凄t据库中的 多个条目之间对查询进行匹配。其他实施方案可4是供处于其他形式的才莫式匹配,例如4旦不局限于声音才莫式匹配、DNA序列匹配,等等。对所展示的实施方案的以上说明(包括在摘要中所描述的)并非旨 在是穷尽的或者把这些实施方案限定到所披露的确切的形式。虽然为了 解说的目的在此描述了具体的实施方案和实例,但是正如相关领域的技 术人员将会认识到的,无须偏离本4皮露的精神和范围即可以做出不同的 等效修改。在此提供的不同实施方案的传授内容可以应用到其他量子计 算系统、方法及装置上,并不一定是以上总体性描述的示例性的量子计 算系统、方法及装置。可将上述不同的实施方案组合起来以^更提供多个进一步的实施方 案。在本说明书中提及的和/或在申请数据单上列出的所有美国专利、美 国专利申请公开文件、美国专利申请、外国专利、外国专利申请以及非专利公开文件,包括但不局限于2007年4月19日提交的发明名称为 "Systems, Methods and Apparatus for Automatic Image Recognition"的美国 临时专利申i青序列号60/912,904、美国专利号6,838,694、美国专利号 7,335,909 、美国专利申请号2006-0225165 、美国专利申请序列号 12/013,192、于2007年11月8日提交的发明名称为"Systems, Devices and Methods for Analog Processing"的美国临时专利申请序列号60/986,554、 美国专利申请号2006-0147154、美国专利申请序列号12/017,995、美国 专利号7,135,701、美国专利申请序列号11/932,248、美国专利申请序列 号11/932,261、美国专利申请序列号11/317,838、美国专利申请序列号11/950,276以及于2007年6月12日提交的发明名称为"Systems, Methods, and Apparatus for Recursive Quantum Computing Algorithms,,的美国临时 专利申请序列号60/943,519均通过引用全文结合在此。如有必要,对这 些实施方案的各个方面可以进^i务改,以利用不同的专利、申请和/>开 文件中的系统、电^各及扭无念来才是供更进一步的实施方案。
鉴于以上的详细说明,对这些实施方案可估文出这些或其〗也的改变。 总之,在以下权利要求中,所使用的术语不应当解释为将权利要求限制 为本说明书和这些权利要求所-波露的特定实施方案,而是应当解释为包 括所有可能的实施方案,连同这些权利要求有权获得的所有的等效物全 部范围。因此,这些*1利要求并不限于本4皮露。
权利要求
1.一种计算机实施的在图像数据库中对多幅查询图像的特征进行识别的方法,该方法包括将一幅查询图像的至少一个特征的图形表示与一个图像数据库的多幅数据库图像的至少一些中的每一幅的至少一部分对应的图形表示进行比较,其中每次比较包括生成一幅对应的关联图形;并且通过一个量子处理器来确定每一关联图形的至少一个特性,其中每一关联图形的该至少一个特性代表着在该查询图像的至少一个特征与该关联图形相应的对应数据库图像的至少该部分之间的一种相似性。
2. 如4又利要求1所述的方法,进一步包括存储得自确定每一关联图形的至少一个特性的结果;并且将这些结果进行分级,这样使得分级最高的结果代表在该查 询图4象的特征与这些数据库图像中的至少 一个之间的最可能的匹S己。
3. 如权利要求1所述的方法,其中该多个数据库图像中的至少一些各自包括代表着至少一个人的面部的数据,并且其中该查询图像的特 征包括代表至少 一 个人的面部的数据。
4. 如外又利要求1所述的方法,进一步包括生成该图像数据库的这些数据库图^f象的至少 一些中的每一幅 的该至少一部分的对应的图形表示;并且生成该查询图 <象的至少 一个特4i的图形表示。
5. 如4又利要求4所述的方法,其中生成这些凝:才居库图〗象的至少一些中 的每一幅的至少 一部分的图形表示以及该查询图 <象的至少 一个特 征的图形表示包括执行弹性束图形匹配。
6. 如权利要求4所述的方法,其中生成每个凄t据库图j象的至少一部分 的7于应的图形表示包括^吏用 一个经典的lt字处理器生成这些对应 的图形表示。
7. 如权利要求4所述的方法,并且其中生成该查询图像的至少一个特 征的图形表示包括使用 一个经典的数字处理器生成该图形表示。
8. 如权利要求1所述的方法,其中确定每一关联图形的至少一个特性 包括确定每一 关联图形的 一 个最大独立集。
9. 如^L利要求1所述的方法,其中确定每一关^:图形的至少一个特性 包括确定每一关联图形的一个最大团。
10. 如4又利要求1所述的方法,其中通过一个量子处理器来确定每一 关联图形的至少一个特性包括通过一个超导量子处理器来确定每 一关联图形的至少一个特性,该超导量子处理器包括多个超导量子位。
11. 如^又利要求1所述的方法,进一步包括通过一 个经典的数字处理器访问该图像数据库。
12. 如权利要求1所述的方法,其中生成这些对应的关联图形包括使用 一个经典的凄t字处理器生成这些对应的关耳关图形。
13. 如权利要求10所述的方法,进一步包括将这些对应的关联图形从该经典的lt字处理器传送至该量子 处理器。
14. 如^又利要求13所述的方法,进一步包括将由该量子处理器确定的每一关联图形的该至少一个特性从 该量子处理器传送至该经典的^t字处理器。
15. 如斥又利要求1所述的方法,进一步包括在将该查询图像的图形表示与这些数据库图<象的图形表示进 行比较之前,对该查询图像的至少一部分进行检查;并且对该查询图^f象的一个方面进4亍识别,该方面只于于这些凝:才居库 图像的一个子集是共同性的,并且其中将一个查询图像的至少一个 特4正的图形表示与多个彰:据库图〗象的至少一些中的每一个的^j"应 的图形表示进行比较包括将该查询图像的该至少 一个特征的图形 表示仅与在这些数据库图像的子集中的数据库图像的图形表示进 行比较,使得为此产生出对应的多幅关联图形。
16. 如4又利要求1所述的方法,其中该查询图^象的至少一个特征代表 该查询图^象的大部分。
17. 如权利要求1所述的方法,其中在该查询图像的特征与该关联图形 相对应的该对应的数据库图^f象的该至少一部分之间的相似性对于 该查询图4象的至少 一个特征是否存在于该关耳关图形相对应的该对 应的数据库图像之内是指示性的。
18. —种计算机实施的解决多个图像匹配问题的方法,该方法包括将一个图 <象匹配问题i殳定为 一个二次无约束的二元优化问题;将该二次无约束的二元优化问题映射至一个量子处理器上;并且演算该量子处理器以产生对该二次无约束的二元优化问题的 一个解。
19. 一种计算才几实施的比较两个对象的方法,该方法包括将一个第一对象的至少一部分的一个图形表示与一个第二对 象的至少一部分的一个图形表示进行比较,其中该比较包括生成一 幅关联图形;并且通过一个量子处理器来确定该关联图形的至少一个特性,其 中该关联图形的至少 一个特性代表了在该第 一对象的该至少 一部 分与该第二对象的该至少一部分之间的一种相似性。
20. 如权利要求19所述的方法,其中该第一对象与该第二对象均是图像。
21. 如权利要求19所述的方法,其中确定该关联图形的至少一个特性 包括确定该关联图形的 一个最大独立集。
22. 如权利要求19所述的方法,其中确定该关联图形的至少 一个特性 包括确定该关联图形的一个最大团。
23. 如^又利要求19所述的方法,确定该关联图形的至少一个特性 导致该量子处理器返回一个^f直,该〗直K表在该第一对象的该至 少 一部分与该第二对象的该至少 一部分之间的相似性的 一种度量。
全文摘要
通过实施多个关联图形与一个量子处理器改进自动图像识别的精确度以及计算时间的一种方法。
文档编号G06K9/68GK101657827SQ200880012343
公开日2010年2月24日 申请日期2008年4月18日 优先权日2007年4月19日
发明者乔迪·罗斯 申请人:D-波系统公司
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1