欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
<正>Cluster tools have advantages of shorter cycle times,faster process development,and better yield for less contamination.The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production.Efficient use of cluster tools is naturally very significant to competitive fab operations.Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the fab production are the key factors for semiconductor manufacturing productivity.The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes.The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX.Special methods for the linear conversion are highlighted.Due to the limited calculation time requirement for the real production and the large scale of the problem,special methods for the efficiency tuning are applied according to the characteristics of the problem.Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.
英文摘要：
Cluster tools have advantages of shorter cycle times, faster process development, and better yield for less contamination. The sequence of dual-arm cluster tools is a complex logistics process during the semiconductor production. Efficient use of cluster tools is naturally very significant to competitive fab operations. Generating an optimized sequence in a computationally efficient manner and assessing the quality of the requirements to improve the lab production are the key factors for semiconductor manufacturing productivity. The Petri net modeling is introduced to minimize the makespan of the process for the three different logical modes and select a better mode after comparing the makespan among the three logical modes. The tool sequence optimization problem is formulated as optimization firing transition sequences based on the Petri net and then the formulation is converted to be linearly solved by the branch-and-cut method in the standard commercial solver CPLEX. Special methods for the linear conversion are highlighted. Due to the limited calculation time requirement for the real production and the large scale of the problem, special methods for the efficiency tuning are applied according to the characteristics of the problem. Numerical testing is supported by one of the most advanced semiconductor enterprises and the computational results show significant improvement compared with the traditional manual sequence results.
同期刊论文项目
同项目期刊论文
Comments on ``Exponential stability analysis for uncertain neural networks with interval time varyin
Filter-based fault detection and diagnosis using output PDFs for stochastic systems with time delays
An online estimation algorithm for the unknown probability density functions of random parameters in
Modeling and control of the flame temperature distribution using probability density function shapin
Dynamic output feedback control synthesis for continuous-time T-S fuzzy systems via switched fuzzy c
Delay-dependent robust H-infinite control for uncertain fuzzy hyperbolic systems with multiple delay
Robust stability analysis for interval Cohen-Grossberg neural networks with unknown time varying del
ILC-Based Fixed-Structure Controller Design for Output PDF Shaping in Stochastic Systems Using LMI T
Neural-network-based terminal sliding mode control of robotic manipulators including actuator dynami
New delay-dependent criterion for the stability of recurrent neural networks with time-varying delay
New characterizations of positive realness and static output feedback control of discrete-time syste
The RBF Neural Network-based Near-optimal Control for a Class of Discrete-time Affine Nonlinear Syst
delay-probability-distribution-dependent robust stability analysis for stochastic neural networks wi
An LMI optimization approach to non-fragile H∞ filter design for Delta operator formulated systems w
Reliable H∞ Filter Design for Discrete-time Systems with Sector-bounded Nonlinearities: an LMI Optim
Robust Adaptive Fault-tolerant Compensation Control with Actuator Failures and Bounded Disturbances.
Data-Based Optimal Control for Discrete-Time Zero-Sum Games of 2-D Systems Using Adaptive Critic Des
Adaptive fault-tolerant control of linear time-invariant systems in the presence of actuator saturat
Robust stability analysis for Markovian jumping stochastic neural networks with mode-dependent time-
Neural-network-based motion control of robotic manipulators including actuator dynamics in task spac
Dynamics analysis of impulsive stochastic Cohen-Grossberg neural networks with Markovian jumping and
New?delay-dependent global exponential stability criterion?for?cellular type?neural?networks?with?ti
Global impulsive exponential synchronization of stochastic perturbed chaotic delayed neural networks
Static output feedback control synthesis for linear systems with time-invariant parametric uncertain
Comments on ``H_infinity filtering for fuzzy singularly perturbed systems with pole placementconstra
New criteria of global exponential stability for a class of generalized neural networks with time-va
Hybrid intelligent optimising control for high-intensity magnetic separating process of hematite ore
期刊信息
位置：