公开(公告)号：US07415444B2

公开(公告)日：2008-08-19

申请号：US11383964

申请日：2006-05-18

申请人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

发明人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

IPC分类号： G06E1/00 ,  G06E3/00 ,  G06F15/18 ,  G06G7/00

CPC分类号： G06N7/005 ,  G06N5/003

摘要： Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

摘要翻译： 提供了用于解决由一个或多个变量，约束和概率请求（PR）定义的约束满足问题（CSP）的系统和方法。 在一个实施例中，每个PR映射到实现PR的一组约束上。 CSP求解器然后找到CSP的一系列解决方案。 对于每个解决方案，如果满足与PR相关联的约束，则该PR的成功计数器递增; 否则PR的失败计数器增加。 如果为了解决CSP而不考虑约束，则与约束相关联的PR的故障计数器增加。

公开(公告)号：US06315783B1

公开(公告)日：2001-11-13

申请号：US09545382

申请日：2000-04-07

申请人： Yoav Katz ,  Hanan Katz ,  Arkadi Skibinsky

发明人： Yoav Katz ,  Hanan Katz ,  Arkadi Skibinsky

IPC分类号： A61B1900

CPC分类号： A61B90/14

摘要： A surgical head support to be used for positioning and holding a patient's head during a surgical procedure in the head area. The head support includes an arcuate support having two arcuate arms, each of the arcuate arms having a free end and provided with head engaging elements for gripping the patient's head. The head support further includes a base member provided with concave semispherical recess matching a central portion of the arcuate support. The base member includes two bases adapted to slide one on top of the other perpendicular to a longitudinal axis of the arcuate support. A connecting bolt connects the arcuate support and the base member so that two positions are possible: in the first position, relative motion between the arcuate support and the base member allows rearrangement of the arcuate support with respect to the base member while defining a hemispherical plane and relative motion between the bases is allowed; in the second position, the connecting bolt firmly secures the arcuate support to the base member.

摘要翻译： 用于在头部区域的手术过程中定位和保持患者头部的手术头部支撑件。 头部支撑件包括具有两个弓形臂的弓形支撑件，每个弓形臂具有自由端，并且设置有用于夹持患者头部的头部接合元件。 头部支撑件还包括设置有与弓形支撑件的中心部分相匹配的凹形半球形凹部的基部构件。 基部构件包括适于在另一个垂直于弓形支撑件的纵向轴线的另一个顶部上滑动的两个基座。 连接螺栓连接弓形支撑件和基座构件，使得两个位置是可能的：在第一位置，弓形支撑件和基座构件之间的相对运动允许弓形支撑件相对于基座构件重新布置，同时限定半球形平面 并且允许基座之间的相对运动; 在第二位置，连接螺栓将弓形支撑件牢固地固定到基座构件上。

公开(公告)号：US07266534B2

公开(公告)日：2007-09-04

申请号：US11205969

申请日：2005-08-17

申请人： Roy Emek ,  Itai Jaeger ,  Yoav Katz

发明人： Roy Emek ,  Itai Jaeger ,  Yoav Katz

IPC分类号： G06N5/00

CPC分类号： C21D1/09 ,  C21D11/00

摘要： A computer-implemented method for modeling a target system includes defining a cloned constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables and constraints applicable to the variables. The cloned CSP includes a non-predetermined number of duplicate sub-problems corresponding to instances of a repeating feature of the target system. The variables are partitioned so as to define an abstract CSP containing a subset of the variables relating to the duplicate sub-problems. The abstract CSP is solved to generate an abstract solution indicating the number of duplicate sub-problems to use in the cloned CSP. A concrete solution to the cloned CSP is found using the abstract solution.

摘要翻译： 用于对目标系统进行建模的计算机实现的方法包括根据适用于变量的一组变量和约束来定义表征目标系统的克隆约束满足问题（CSP）。 克隆的CSP包括与目标系统的重复特征的实例相对应的非预定数量的重复子问题。 这些变量被分区，以便定义一个包含与重复子问题相关的变量子集的抽象CSP。 抽象CSP被解决以产生一个抽象的解决方案，指示在克隆CSP中使用的重复子问题的数量。 使用抽象解决方案找到克隆CSP的具体解决方案。

公开(公告)号：US06467157B1

公开(公告)日：2002-10-22

申请号：US09492050

申请日：2000-01-26

申请人： Avinoam Livni ,  Yoav Katz

发明人： Avinoam Livni ,  Yoav Katz

IPC分类号： B23P1900

CPC分类号： H01F41/0253 ,  G01R33/383 ,  H01F7/0278 ,  Y10S29/095 ,  Y10S29/105 ,  Y10T29/4902 ,  Y10T29/49075 ,  Y10T29/49803 ,  Y10T29/53083 ,  Y10T29/53165 ,  Y10T29/53196 ,  Y10T29/53261 ,  Y10T29/53265 ,  Y10T29/53274

摘要： An apparatus is provided for constructing a segmented annular permanent magnet from a predetermined number of previously magnetized segments of predetermined shape and size comprising a rotateable carrousel, at least two of a plurality of removable ferromagnetic segments, an introducing means and a removing means.

摘要翻译： 提供了一种装置，用于从预定数量的预定形状和尺寸的预先磁化的段构造分段环形永磁体，其包括可旋转转盘，多个可移除铁磁段中的至少两个，引入装置和移除装置。

公开(公告)号：US08930759B2

公开(公告)日：2015-01-06

申请号：US13437001

申请日：2012-04-02

申请人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

发明人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

IPC分类号： G06F11/00

CPC分类号： G06F11/3696

摘要： A method, apparatus and product for generating elements based on generation streams. The method comprises: obtaining one or more generation streams, wherein the streams comprise elements, wherein each element is a formal specification of an operation that stimulates a system, wherein based on each of the generation streams one or more alternative stimuli for the system can be generated, which stimuli comprises operations according to the elements; and generating a stimuli in accordance with the one or more generation streams, wherein the stimuli comprises at least one hybrid operation, wherein the hybrid operation complies simultaneously with two or more elements of the one or more generation stream, whereby the stimuli is comprised of a number of operations that is smaller than a sum of the numbers of elements of the one or more generation streams.

摘要翻译： 一种基于生成流生成元素的方法，装置和产品。 该方法包括：获得一个或多个生成流，其中流包括元素，其中每个元素是刺激系统的操作的形式规范，其中基于每个生成流，系统的一个或多个替代刺激可以是 所产生的刺激包括根据元素的操作; 以及根据所述一个或多个生成流产生刺激，其中所述刺激包括至少一个混合操作，其中所述混合操作同时与所述一个或多个生成流中的两个或更多个元件同时进行，由此所述刺激由 小于一个或多个生成流的元素数之和的运算次数。

公开(公告)号：US20080189230A1

公开(公告)日：2008-08-07

申请号：US12062319

申请日：2008-04-03

申请人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

发明人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

IPC分类号： G06F15/18 ,  G06N5/02

CPC分类号： G06N7/005 ,  G06N5/003

摘要： Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

摘要翻译： 提供了用于解决由一个或多个变量，约束和概率请求（PR）定义的约束满足问题（CSP）的系统和方法。 在一个实施例中，每个PR映射到实现PR的一组约束上。 CSP求解器然后找到CSP的一系列解决方案。 对于每个解决方案，如果满足与PR相关联的约束，则该PR的成功计数器递增; 否则PR的失败计数器增加。 如果为了解决CSP而不考虑约束，则与约束相关联的PR的故障计数器增加。

公开(公告)号：US6163240A

公开(公告)日：2000-12-19

申请号：US161336

申请日：1998-09-25

申请人： Yuval Zuk ,  Ehud Katznelson ,  Yoav Katz ,  Haim Rotem

发明人： Yuval Zuk ,  Ehud Katznelson ,  Yoav Katz ,  Haim Rotem

IPC分类号： A61B5/055 ,  G01R33/34 ,  G01R33/38 ,  G01R33/383 ,  G01R33/385 ,  H01F1/00 ,  H01F7/02 ,  H01F5/00 ,  G01V3/00

CPC分类号： G01R33/3806 ,  G01R33/34061 ,  G01R33/341 ,  G01R33/3678 ,  G01R33/383 ,  G01R33/385 ,  G01R33/3858 ,  G01R33/422 ,  H01F7/0278

摘要： Magnetic apparatus for MRI/MRT probes and methods for construction thereof are disclosed. One embodiment includes a pair of opposed magnet assemblies defining an open region therebetween, a transmitting RF coil having at least a portion thereof disposed within the open region, at least one receiving RF coil disposed within the open region and X,Y and Z gradient coils. At least one of the X,Y and Z gradient coils is disposed outside of the open region. Another embodiment of the apparatus includes a single magnet assembly having a first surface and a second surface opposing the first surface, a transmitting RF coil having at least a portion thereof opposing the first surface, at least one receiving RF coil and X,Y and Z gradient coils. At least one of the X,Y and Z gradient coils opposes the second surface. In another embodiment the magnet assembly generates a permanent z-gradient magnetic field and therefore includes only X and Y gradient coils, at least one of which opposes the second surface. The apparatuses may also include one or more shim coils.

摘要翻译： 公开了用于MRI / MRT探针的磁性装置及其构造方法。 一个实施例包括在其间限定开放区域的一对相对的磁体组件，其中至少一部分设置在开放区域内的发射RF线圈，设置在开放区域内的至少一个接收RF线圈和X，Y和Z梯度线圈 。 X，Y和Z梯度线圈中的至少一个设置在开放区域的外部。 该装置的另一实施例包括具有与第一表面相对的第一表面和第二表面的单个磁体组件，具有至少一部分与第一表面相对的发射RF线圈，至少一个接收RF线圈和X，Y和Z 梯度线圈 X，Y和Z梯度线圈中的至少一个与第二表面相对。 在另一个实施例中，磁体组件产生永久的z-梯度磁场，因此仅包括X和Y梯度线圈，其中至少一个与第二表面相对。 该装置还可以包括一个或多个垫片线圈。

公开(公告)号：US20130219215A1

公开(公告)日：2013-08-22

申请号：US13400141

申请日：2012-02-20

申请人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

发明人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

IPC分类号： G06F11/00 ,  G06N5/02

CPC分类号： G06N5/00 ,  G06F9/4496 ,  G06F11/263

摘要： A method, apparatus and product. The method comprising automatically determining an abstract CSP based on a formally defined problem having interconnected sub-problems, wherein the abstract CSP corresponds to the problem, wherein the abstract CSP has a reduced complexity in comparison to a CSP representing the problem, wherein the abstract CSP captures the interconnection between the sub-problems and reduces the details of each sub-problem, wherein the abstract CSP comprises constraints over variables, wherein each variable having an associated domain; and repeatedly: (1) propagating constraints of the abstract CSP to reduce domains of the abstract CSP; (2) selecting a sub-problem to solve; (3) solving the sub-problem; and (4) updating the abstract CSP with values in accordance with the solution of the sub-problem. Whereby, a solution to the formally defined problem is determined based on the solutions to the sub-problems.

摘要翻译： 一种方法，装置和产品。 所述方法包括基于具有互连子问题的正式定义的问题来自动确定抽象CSP，其中所述抽象CSP对应于所述问题，其中所述抽象CSP与表示所述问题的CSP相比具有降低的复杂性，其中所述抽象CSP 捕获子问题之间的互连并减少每个子问题的细节，其中抽象CSP包括对变量的约束，其中每个变量具有相关联的域; 并反复：（1）传播抽象CSP的约束，减少抽象CSP的域; （2）选择一个子问题来解决; （3）解决子问题; 和（4）根据子问题的解决方案更新具有值的抽象CSP。 因此，根据子问题的解决方案确定正式定义的问题的解决方案。

公开(公告)号：US20070271207A1

公开(公告)日：2007-11-22

申请号：US11383964

申请日：2006-05-18

申请人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

发明人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

IPC分类号： G06F15/18

CPC分类号： G06N7/005 ,  G06N5/003

摘要： Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

摘要翻译： 提供了用于解决由一个或多个变量，约束和概率请求（PR）定义的约束满足问题（CSP）的系统和方法。 在一个实施例中，每个PR映射到实现PR的一组约束上。 CSP求解器然后找到CSP的一系列解决方案。 对于每个解决方案，如果满足与PR相关联的约束，则该PR的成功计数器递增; 否则PR的失败计数器增加。 如果为了解决CSP而不考虑约束，则与约束相关联的PR的故障计数器增加。

公开(公告)号：US20070094184A1

公开(公告)日：2007-04-26

申请号：US11205969

申请日：2005-08-17

申请人： Roy Emek ,  Itai Jaeger ,  Yoav Katz

发明人： Roy Emek ,  Itai Jaeger ,  Yoav Katz

IPC分类号： G06N5/00

CPC分类号： C21D1/09 ,  C21D11/00

摘要： A computer-implemented method for modeling a target system includes defining a cloned constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables and constraints applicable to the variables. The cloned CSP includes a non-predetermined number of duplicate sub-problems corresponding to instances of a repeating feature of the target system. The variables are partitioned so as to define an abstract CSP containing a subset of the variables relating to the duplicate sub-problems. The abstract CSP is solved to generate an abstract solution indicating the number of duplicate sub-problems to use in the cloned CSP. A concrete solution to the cloned CSP is found using the abstract solution.

摘要翻译： 用于对目标系统进行建模的计算机实现的方法包括根据适用于变量的一组变量和约束来定义表征目标系统的克隆约束满足问题（CSP）。 克隆的CSP包括与目标系统的重复特征的实例相对应的非预定数量的重复子问题。 这些变量被分区，以便定义一个包含与重复子问题相关的变量子集的抽象CSP。 抽象CSP被解决以产生一个抽象的解决方案，指示在克隆CSP中使用的重复子问题的数量。 使用抽象解决方案找到克隆CSP的具体解决方案。