Patent application number | Description | Published |
20100010657 | METHODS AND SYSTEMS FOR ACTIVE DIAGNOSIS THROUGH LOGIC-BASED PLANNING - 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. | 01-14-2010 |
20100010952 | METHODS AND SYSTEMS FOR TARGET VALUE PATH IDENTIFICATION - 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. | 01-14-2010 |
20110066269 | SYSTEM AND METHODS FOR DYNAMIC SCHEDULING IN CELLULAR MANUFACTURING WITH BATCH-SPLITTING - The present application a new and improved system and method of enhanced Lean Document Production (LDP), which applies cellular manufacturing to document printing operations. The LDP process incorporates process friendly cells and, a push model to order to improve efficiency, reduce work in progress and smooth out the “frictions” in production environments. The current application presents an earliest-completion-time strategy for assigning jobs to cells and a dynamic-priority-based-batch-scheduling algorithm. | 03-17-2011 |
20110313984 | SYSTEM AND METHOD FOR PARALLEL GRAPH SEARCHING UTILIZING PARALLEL EDGE PARTITIONING - 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. | 12-22-2011 |
20120099139 | SYSTEM AND METHODS FOR ADAPTIVE LOT SIZING IN CELLULAR MANUFACTURING - The present application presents a new and improved system and method of enhanced Lean Document Production (LDP), which employs cellular manufacturing concepts. The LDP process incorporates an auto-splitting algorithm and/or an earliest completion route algorithm to generate an operation schedule. | 04-26-2012 |
20120185286 | ONLINE CONTINUAL AUTOMATED PLANNING FRAMEWORK BASED ON TIMELINES - An online planning system and method represents variables in an environment for which a plan is being developed in the form of timelines. The timelines are continually maintained by capturing how different ones of the variables change their values over time. The plan being a consistent plan built and maintained by adding tokens to affected timelines, wherein each token represents different types of actions affecting the variable represented by that timeline. | 07-19-2012 |
20120185287 | FORWARD STATE-SPACE PLANNING FRAMEWORK BASED ON TIMELINES - An on-line forward state-space planning system and method adds actions in the form of tokens, at fixed wall clock times, to partial plans representing a potential final plan. The adding of the actions is repeated until a final sequence of actions satisfies a defined goal, wherein during the planning process all actions in the partial plans and the tokens introduced by the actions are constrained to happen at the fixed wall-clock times. | 07-19-2012 |
20120185288 | PARTIAL-ORDER PLANNING FRAMEWORK BASED ON TIMELINES - An on-line partial order planning system and method that represents variables in an environment for which a plan is being developed in the form of a plurality of timelines formed as a set of timelines. At a starting point, the set of timelines are an inconsistent set of timelines, and the system and method systematically refine the timelines until the timeline set becomes consistent. | 07-19-2012 |
20120314248 | SYSTEM AND METHOD FOR MULTI-SITE CELLULAR MANUFACTURING WITH TRANSPORTATION DELAYS - A system and method is used to manage scheduling of a plurality of print jobs in a multi-site print shop environment. The multi-site environment includes a plurality of print shops each having resources and equipment to complete at least one type of print job. Also included is a multi-site scheduler configuration arranged to assign and schedule print jobs to one of a home shop and a non-home shop. The assigning and scheduling is based on a fastest completion time, wherein a completion time of a print job in a home shop is defined as the actual time taken to complete the print job and a completion time of a print job in a non-home shop is defined as the actual time taken to complete the print job and a transportation delay. | 12-13-2012 |
20130097199 | System and method for parallel edge partitioning in and/or graph search - 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. | 04-18-2013 |
20130197869 | METHOD FOR IDENTIFYING THE MAXIMAL PACKING DENSITY OF SHIFTING-TILES AUTOMATED WAREHOUSES - 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. | 08-01-2013 |
20140268211 | SYSTEM AND METHOD FOR DISTRIBUTED CELLULAR MANUFACTURING WITH OUTSOURCING GROUP CONSTRAINTS - To preserve job integrity and minimize multi-site coordination overhead such as shipping, a technique to control the amount of outsourcing activities in a distributed manufacturing environment is provided. This approach to multi-site scheduling allows outsourcing control for distributed cellular manufacturing based on scheduling constraints called outsourcing group constraints. | 09-18-2014 |