公开(公告)号：US20110313984A1

公开(公告)日：2011-12-22

申请号：US12842363

申请日：2010-07-23

申请人： Rong Zhou ,  Tim Schmidt ,  Minh Binh Do ,  Serdar Uckun

发明人： Rong Zhou ,  Tim Schmidt ,  Minh Binh Do ,  Serdar Uckun

IPC分类号： G06F17/30

CPC分类号： G06N5/003 ,  G06N5/02

摘要： A method and system for performing a graph search, includes constructing an abstract representation of the graph using state-space abstraction. The abstract representation of the graph includes one or more abstract nodes having duplicate detection scopes and one or more abstract edges having operator groups. The duplicate detection scopes of the abstract nodes are partitioned into smaller duplicate detection scopes using edge partitioning. The abstract edges include the smaller duplicate detection scopes. Nodes in the current search layer are expanded using the operator groups of outgoing abstract edges of the abstract nodes the nodes map to. The operator groups associated with abstract edges having disjoint duplicate detection scopes are used to expand the nodes in parallel. Once all the operator groups in the current search layer have been used for node expansion the method progresses to the next search layer.

摘要翻译： 一种用于执行图形搜索的方法和系统，包括使用状态空间抽象构建图形的抽象表示。 该图的抽象表示包括具有重复检测范围的一个或多个抽象节点和具有操作者组的一个或多个抽象边缘。 使用边缘分割将抽象节点的重复检测范围划分为较小的重复检测范围。 抽象边缘包括较小的重复检测范围。 使用节点映射到的抽象节点的传出抽象边缘的运算符组来扩展当前搜索层中的节点。 与具有不相交重复检测范围的抽象边缘相关联的运算符组用于并行展开节点。 一旦当前搜索层中的所有运算符组已被用于节点扩展，该方法将进行到下一个搜索层。

公开(公告)号：US09984327B2

公开(公告)日：2018-05-29

申请号：US12842363

申请日：2010-07-23

申请人： Rong Zhou ,  Tim Schmidt ,  Minh Binh Do ,  Serdar Uckun

发明人： Rong Zhou ,  Tim Schmidt ,  Minh Binh Do ,  Serdar Uckun

IPC分类号： G06F17/30 ,  G06N5/00 ,  G06N5/02

CPC分类号： G06N5/003 ,  G06N5/02

摘要： A method and system for performing a graph search, includes constructing an abstract representation of the graph using state-space abstraction. The abstract representation of the graph includes one or more abstract nodes having duplicate detection scopes and one or more abstract edges having operator groups. The duplicate detection scopes of the abstract nodes are partitioned into smaller duplicate detection scopes using edge partitioning. The abstract edges include the smaller duplicate detection scopes. Nodes in the current search layer are expanded using the operator groups of outgoing abstract edges of the abstract nodes the nodes map to. The operator groups associated with abstract edges having disjoint duplicate detection scopes are used to expand the nodes in parallel. Once all the operator groups in the current search layer have been used for node expansion the method progresses to the next search layer.

公开(公告)号：US10410144B2

公开(公告)日：2019-09-10

申请号：US13273714

申请日：2011-10-14

申请人： Rong Zhou ,  Minh Binh Do ,  Tim C. Schmidt ,  Serdar Uckun

发明人： Rong Zhou ,  Minh Binh Do ,  Tim C. Schmidt ,  Serdar Uckun

IPC分类号： G06Q10/04

摘要： A method and system for searching a graph in parallel which constructs an abstract representation of an AND/OR graph using state-space abstraction. The abstract representation of the graph includes one or more abstract nodes having duplicate detection scopes and one or more abstract edges having operator groups adjusted for AND node outcomes. The duplicate detection scopes of the abstract nodes are partitioned into smaller duplicate detection scopes using edge partitioning, wherein the abstract edges are used to define the smaller duplicate detection scopes. Nodes in the current search layer are expanded by a processing unit using the adjusted operator groups of outgoing abstract edges of the abstract nodes mapped into by the nodes, wherein the nodes expanded in parallel use adjusted operator groups associated with abstract edges having disjoint duplicate detection scopes. The method progresses to the next search layer once all the adjusted operator groups in the current search layer have been used for node expansions.

公开(公告)号：US20130097199A1

公开(公告)日：2013-04-18

申请号：US13273714

申请日：2011-10-14

申请人： Rong Zhou ,  Minh Binh Do ,  Tim C. Schmidt ,  Serdar Uckun

发明人： Rong Zhou ,  Minh Binh Do ,  Tim C. Schmidt ,  Serdar Uckun

IPC分类号： G06F17/30

CPC分类号： G06Q10/04

摘要： A method and system for searching a graph in parallel which constructs an abstract representation of an AND/OR graph using state-space abstraction. The abstract representation of the graph includes one or more abstract nodes having duplicate detection scopes and one or more abstract edges having operator groups adjusted for AND node outcomes. The duplicate detection scopes of the abstract nodes are partitioned into smaller duplicate detection scopes using edge partitioning, wherein the abstract edges are used to define the smaller duplicate detection scopes. Nodes in the current search layer are expanded by a processing unit using the adjusted operator groups of outgoing abstract edges of the abstract nodes mapped into by the nodes, wherein the nodes expanded in parallel use adjusted operator groups associated with abstract edges having disjoint duplicate detection scopes. The method progresses to the next search layer once all the adjusted operator groups in the current search layer have been used for node expansions.

摘要翻译： 用于并行搜索图形的方法和系统，其使用状态空间抽象来构造AND / OR图的抽象表示。 图的抽象表示包括具有重复检测范围的一个或多个抽象节点和具有针对AND节点结果调整的运算符组的一个或多个抽象边缘。 使用边缘分割将抽象节点的重复检测范围划分为较小的重复检测范围，其中抽象边缘用于定义较小的重复检测范围。 当前搜索层中的节点由处理单元使用由节点映射的抽象节点的输出抽象边缘的经调整的运算符组进行扩展，其中并行扩展的节点使用与具有不相交的重复检测范围的抽象边缘相关联的调整的运算符组 。 一旦当前搜索图层中所有已调整的运算符组已被用于节点扩展，该方法将进行到下一个搜索层。

公开(公告)号：US20100010952A1

公开(公告)日：2010-01-14

申请号：US12409235

申请日：2009-03-23

申请人： Lukas D. Kuhn ,  Tim Schmidt ,  Robert Price ,  Johan de Kleer ,  Rong Zhou ,  Minh Binh Do

发明人： Lukas D. Kuhn ,  Tim Schmidt ,  Robert Price ,  Johan de Kleer ,  Rong Zhou ,  Minh Binh Do

IPC分类号： G06N5/02

CPC分类号： G06Q10/04

摘要： Target value search methods and systems are presented for solving a target value path problem to identify a path or paths in a graph in which a connection graph is created and upper and lower bound values are determined for each node in the connection graph, and a first best search is performed to identify a path or paths from a starting node to a goal node having a path value closest to the target value.

摘要翻译： 呈现目标价值搜索方法和系统，用于解决目标值路径问题，以识别其中创建连接图的图形中的路径或路径，并且为连接图中的每个节点确定上限值和下限值， 执行最佳搜索以识别从起始节点到具有最接近目标值的路径值的目标节点的路径或路径。

公开(公告)号：US08266092B2

公开(公告)日：2012-09-11

申请号：US12409235

申请日：2009-03-23

申请人： Lukas D. Kuhn ,  Tim Schmidt ,  Robert Price ,  Johan de Kleer ,  Rong Zhou ,  Minh Binh Do

发明人： Lukas D. Kuhn ,  Tim Schmidt ,  Robert Price ,  Johan de Kleer ,  Rong Zhou ,  Minh Binh Do

IPC分类号： G06F17/00 ,  G06N7/00 ,  G06N7/08

CPC分类号： G06Q10/04

摘要： Target value search methods and systems are presented for solving a target value path problem to identify a path or paths in a graph in which a connection graph is created and upper and lower bound values are determined for each node in the connection graph, and a first best search is performed to identify a path or paths from a starting node to a goal node having a path value closest to the target value.

摘要翻译： 呈现目标价值搜索方法和系统，用于解决目标值路径问题，以识别其中创建连接图的图形中的路径或路径，并且为连接图中的每个节点确定上限值和下限值， 执行最佳搜索以识别从起始节点到具有最接近目标值的路径值的目标节点的路径或路径。

公开(公告)号：US20130197869A1

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

申请号：US13363693

申请日：2012-02-01

申请人： Christian Fritz ,  Minh Binh Do ,  Serdar Uckun

发明人： Christian Fritz ,  Minh Binh Do ,  Serdar Uckun

IPC分类号： G06F17/50

CPC分类号： G06Q10/04 ,  G06Q10/087

摘要： A warehouse management system including a layout module which determines a layout of the automated warehouse, the layout including at least one occupied cell and at least one blank cell and an analysis module which analyzes the layout of the automated warehouse to determine a minimum number of blank cells required to retrieve an object from all of the occupied cells in the warehouse.

摘要翻译： 一种仓库管理系统，包括确定自动化仓库布局的布局模块，包括至少一个占用单元和至少一个空白单元的布局，以及分析模块，该分析模块分析自动仓库的布局以确定最小数量的空白 从仓库中的所有占用单元检索对象所需的单元。

公开(公告)号：US08849634B2

公开(公告)日：2014-09-30

申请号：US13363693

申请日：2012-02-01

申请人： Christian Fritz ,  Minh Binh Do ,  Serdar Uckun

发明人： Christian Fritz ,  Minh Binh Do ,  Serdar Uckun

IPC分类号： G06G7/48

CPC分类号： G06Q10/04 ,  G06Q10/087

摘要： A warehouse management system including a layout module which determines a layout of the automated warehouse, the layout including at least one occupied cell and at least one blank cell and an analysis module which analyzes the layout of the automated warehouse to determine a minimum number of blank cells required to retrieve an object from all of the occupied cells in the warehouse.

摘要翻译： 一种仓库管理系统，包括确定自动化仓库布局的布局模块，包括至少一个占用单元和至少一个空白单元的布局，以及分析模块，该分析模块分析自动仓库的布局以确定最小数量的空白 从仓库中的所有占用单元检索对象所需的单元。

公开(公告)号：US08463416B2

公开(公告)日：2013-06-11

申请号：US12504063

申请日：2009-07-16

申请人： Wheeler Ruml ,  Minh Binh Do ,  Rong Zhou

发明人： Wheeler Ruml ,  Minh Binh Do ,  Rong Zhou

IPC分类号： G06F19/00

CPC分类号： G06F3/1214 ,  G03G15/5083 ,  G03G2215/00113 ,  G03G2215/00126 ,  G06F3/1215 ,  G06F3/124 ,  G06F3/126 ,  G06F3/1263 ,  G06F3/1285 ,  G06Q10/06

摘要： Features described herein relate to concurrently processing multiple batches of job requests for one or more machines and/or components thereof, using a plurality of job planning queues. Each batch of job requests is allocated to a planning queue, and each planning queue comprises an unplanned subqueue that stores unplanned jobs, an unsent subqueue that stores planned jobs waiting to be executed, and a sent subqueue that stores planned jobs that have been output to the machine(s) for execution. A job planner and related components determine which unsent subqueue has the fewest planned jobs at a given point in time, and selects an unplanned job from the unplanned subqueue in the same planning queue as the identified unsent subqueue. The planner then generates a plan for the selected job and inserts the planned job into the unsent subqueue for eventual output to the machine(s) for execution. In this manner, the unsent subqueues for each planning queue are maintained with substantially equal numbers of planned jobs ready for execution, which improves throughput by ensuring that all machines and/or associated components are kept busy.

公开(公告)号：US20100010657A1

公开(公告)日：2010-01-14

申请号：US12364006

申请日：2009-02-02

申请人： Minh Binh Do ,  Hector Luis Palacios Verdes ,  Rong Zhou ,  Lukas Daniel Kuhn ,  Johan de Kleer

发明人： Minh Binh Do ,  Hector Luis Palacios Verdes ,  Rong Zhou ,  Lukas Daniel Kuhn ,  Johan de Kleer

IPC分类号： G06F19/00

CPC分类号： G06Q10/06 ,  Y02P90/86 ,  Y10S706/906 ,  Y10S706/912 ,  Y10S706/914

摘要： A control systems and methods are presented for controlling a production system, in which a model-based planner includes a formulation, such as a SAT formulation representing possible actions in the production, with a solver being used to provide a solution to the formulation based at least partially on production and diagnostic goals and the current plant condition, and a translation component translates the solution into a plan for execution in the plant.

摘要翻译： 提出了一种用于控制生产系统的控制系统和方法，其中基于模型的计划者包括诸如表示生产中的可能动作的SAT公式的配方，其中使用求解器来提供基于 至少部分地关于生产和诊断目标以及当前工厂条件，翻译组件将解决方案转化为工厂执行计划。