Abstract:
Given a sequential resource allocation system (RAS) topology structure, a state space, called an impulse state space, corresponding to the impulse response of a linear time-invariant system (LTS), is computed by small enough configuration of the considered RAS. Given an initial resource configuration of a RAS which corresponds to an input of an LTS, a complete state enumeration can be obtained by defining the convolution of this configuration with the pre-computed impulse state space. One example embodiment reduces central processing unit (CPU) time to process instructions that compute a target state space of a RAS includes constructing an initial RAS and an initial state space, and extending the initial state space iteratively under a target resource configuration.
Abstract:
For sustainable development, a refinery is required to save energy as much as possible so as to reduce the emission of greenhouse gas. In crude oil operations, oil transportation from storage tanks to charging tanks via a pipeline consumes a large portion of energy. It is vitally important to minimize energy consumption for this process. Since the oil flow resistance is proportional to the square of oil flow rate, the relation between energy efficiency and flow rate is nonlinear, which makes the problem complicated. The present invention addresses this important issue by formulating a linear programming model for the considered problem such that it can be efficiently solved. A real-world industrial case study is used to demonstrate the applications and significance of the proposed method.
Abstract:
A system and method for a cluster tool apparatus for processing a semiconductor product including processing modules located adjacent each other and configured to process a semiconductor module, loadlocks configured to retain and dispense unprocessed semiconductor products and each positioned adjacent one of the processing modules, a robot configured to load, transfer and unload a semiconductor product to and from the processing modules, a hardware controller in communication with the robot and executing a method to close down the cluster tool apparatus to an idle state, the method including determining a status of the processing modules, determining if a close down process is required based on the status or based on a close down signal, and, if required, determining a schedule for a close down process based on a semiconductor product residency parameter, and controlling the operation of the robot based on the schedule to perform the close down process.
Abstract:
A method for operating a follower vehicle in a vehicle platoon includes determining, during operation, whether the follower vehicle is operating in a normal state or an abnormal state based on an operation condition of a component of the follower vehicle, or a communication between the follower vehicle and a preceding vehicle in the vehicle platoon. The method further includes selecting a first control mode if the follower vehicle is in the normal state and a second control mode if the follower vehicle is in the abnormal state so as to control movement of the follower vehicle using the selected control mode. In the first control mode, the follower vehicle uses communication data received from the preceding vehicle in the vehicle platoon to control its movement. In the second control mode, the follower vehicle uses data obtained by one or more of its sensors to control its movement.
Abstract:
A method for scheduling single-arm multi-cluster tools is provided. The present invention studies the scheduling problem of a single-arm multi-cluster tool with a linear topology and process-bound bottleneck individual tool. Its objective is to find a one-wafer cyclic schedule such that the lower bound of cycle time is reached by optimally configuring spaces in buffering modules that link individual cluster tools. A Petri net model is developed to describe the dynamic behavior of the system by extending resource-oriented Petri nets such that a schedule can be parameterized by robots' waiting time. Based on this model, conditions are presented under which a one-wafer cyclic schedule with lower bound of cycle time can be found. With the derived conditions, an algorithm is presented to find such a schedule and optimally configure the buffer spaces.