检索结果-内蒙古大学图书馆

Batch Production Scheduling for Semiconductor Back-End Operations

IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING 2011年第2期24卷 249-260页

作者： Fu, Mengying Askin, Ronald Fowler, John Haghnevis, Moeed Keng, Naiping Pettinato, Jeffrey S. Zhang, Muhong Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA Intel Corp Chandler AZ 85226 USA

A good production schedule in a semiconductor back-end facility is critical for the on time delivery of customer orders. However, the scheduling process is usually difficult due to the wide product mix, large number of parallel machines, product family-related setups, and high weekly demand consisting of thousands of lots. In this paper, we present a new mixed-integer-linear-programming (MILP) model for the batch production scheduling of a semiconductor back-end facility with serial production stages. Computational results are provided for finding optimal solutions to small problem instances. Due to the limitation on the solvable size of the MILP formulation, a deterministic scheduling system (DSS), including an optimizer and a scheduler, is proposed to provide suboptimal solutions in a reasonable time for large real-world problem instances. Small problem instances are randomly generated to compare the performances of the optimization model and the DSS. An experimental design is utilized to understand the behavior of the DSS under different production scenarios.

关键词： Heuristic mixed integer linear programming scheduling semiconductor back-end

来源：评论

学校读者我要写书评

暂无评论

Partial Spatial Protection for Differentiated Reliability in FSTR-based Metro Ethernet Networks

Partial Spatial Protection for Differentiated Reliability in...

引用

54th Annual IEEE Global Telecommunications Conference (GLOBECOM)

作者： Shan, Dong Mei Chiang, Chua Kee Mohan, Gurusamy Qiu, Jian Natl Univ Singapore Dept Elect & Comp Engn Singapore 117548 Singapore

ISBN: (纸本)9781424492688

Fast Spanning Tree Reconnection (FSTR) is a newly proposed restoration method by us to handle single link failures in Metro Ethernet networks. Compared with other methods existing in the literature, FSTR has the advantages of lower signalling overhead, faster recovery and lesser rerouted traffic. In this work, we propose to use partial spatial protection (PSP) mechanism to provision differentiated reliability (DiR) and, as a result, to decrease the blocking probability of traffic requests in FSTR-based Metro Ethernet networks. In PSP, a traffic request is protected using backup bandwidth against the failure of only a subset of the links on its route. We develop a mixed integer linear programming (MILP) model for PSP to minimize the bandwidth reserved by an incoming traffic request while satisfying the protection grade required by the traffic request. The numerical results demonstrate that the proposed solution can reduce the blocking probability of traffic requests by up to 8 3 % in a 4 x 4 grid network, compared to that in full protection.

关键词： Bandwidth Ethernet networks FSTR-based metro Ethernet networks IEEE Communications Society Loss measurement Peer to peer computing Protocols Reliability blocking probability differentiated reliability fast spanning tree reconnection integer programming linear programming local area networks metropolitan area networks mixed integer linear programming partial spatial protection rerouted traffic signalling overhead single link failures telecommunication network reliability telecommunication traffic traffic requests trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

A Complete Framework of Simultaneous Functional Unit and Register Binding with Skew Scheduling

A Complete Framework of Simultaneous Functional Unit and Reg...

引用

12th International Symposium on Quality Electronic Design (ISQED)

作者： Kaneko, Mineo Japan Adv Inst Sci & Technol Sch Informat Sci Nomi Ishikawa 9231292 Japan

ISBN: (纸本)9781612849140

Intentional skew is known to be useful for improving clock frequency and/or tolerance to delay variations. This paper proposes a complete framework for treating skew schedule in the high level datapath synthesis. Major contributions include (1) the incorporation of timing issue on multiplexer-control into the skew scheduling problem (previously, only timing issue on register-control has been discussed, but it is incomplete for a datapath circuit which is controlled by control-signals to registers and multiplexers), and (2) a complete MILP (mixed integer linear programming) formulation of simultaneous functional unit (FU) binding and register incorporating with skew scheduling. Experimental examples demonstrate the correctness and the effectiveness of our framework.

关键词： Datapath synthesis resource binding skew mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Optimizing microwind rural electrification projects. A case study in Peru

Optimizing microwind rural electrification projects. A case ...

引用

9th International Seminar in Optimization and Related Areas

作者： Ferrer-Marti, Laia Pastor, Rafael Miquel Capo, G. Velo, Enrique Tech Univ Catalonia Inst Ind & Control Engn Res Grp Ind Engn & Logist Res Grp Cooperat & Human Dev Barcelona 08028 Spain

Electrification systems based on the use of renewable energy sources are suitable for providing electricity to isolated communities autonomously. Specifically, electrification by wind power is one of the technological options that have been used recently in projects implemented in the Andean highlands of Peru. To date, these projects have tended to install individual microwind turbines at each demand point. Alternatively, we propose a solution that considers both individual generators and microgrids. We develop a mathematical model that gives the location and size or type of the wind turbines and the design of the microgrids, taking into account the demand of the consumption points and the wind potential. The criterion is the minimization of the initial investment cost required to meet the demand. The model is validated by application to a real case in the northern highlands of Peru. Results show that microgrids are used despite the village dispersion, and the solutions significantly reduce the initial investment costs.

关键词： mixed integer linear programming Microwind project Case study

来源：评论

学校读者我要写书评

暂无评论

Long-term Scheduling of Cascaded Hydro Energy System with Distributed Water Usage Allocation Constraints

Long-term Scheduling of Cascaded Hydro Energy System with Di...

引用

General Meeting of the IEEE-Power-and-Energy-Society (PES)

作者： Tong, Bo Guan, Xiaohong Zhai, Qiaozhu Gao, Feng Xi An Jiao Tong Univ Syst Engn Inst SKLMS Lab MOE KLINNS Lab Xian 710049 Peoples R China

ISBN: (纸本)9781457710018

In a hydro energy and water resource system it is desirable to optimize hydropower production with considerations of flood control, residential, agricultural and industrial water supply, navigation, environmental and ecological requirements, etc.. Incorporating complicated constraints of cascaded reservoirs and government regulation on water resource usage allocation, this paper presents a long-term scheduling problem of hydro energy and water resource system based on chance-constrained programming with uncertainties of natural water inflows and water demands of different regions. The water usage regulation with uncertain natural inflow is modeled as probabilistic chance constraints. The nonlinear and noconvex hydro plant production function is converted into mixed integer formulation and a general mixed integer linear programming (MILP) method is applied to solve this complicated scheduling problem. Preliminary numerical testing results for a river basin with cascaded reservoirs show that based on the problem formulation presented in the paper, the long-term scheduling is solved efficiently and accurately. Numerical testing for a more complex hydro system is being conducted.

关键词： Cascaded hydro energy system chance-constrained programming long-term scheduling mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Multiobjective and multimodal adaptive traffic light control on single junctions

Multiobjective and multimodal adaptive traffic light control...

引用

14th International IEEE Conference on Intelligent Transportation Systems (ITSC)

作者： Dujardin, Yann Boillot, Florence Vanderpooten, Daniel Vinant, Pierre Univ Paris 09 LAMSADE Pl Marechal Tassigny F-75116 Paris France Paris Est Univ IFSTTAR GRETTIA F-93166 Noisy Le Grand France

ISBN: (纸本)9781457721977

Most existing systems developed for traffic light control either consider a single objective or use a simple weighted sum to aggregate objectives. Three criteria are aggregated using an alternative way. The first two criteria refer to total delay dealing with two types of users with conflicting preferences: private vehicles and public transport vehicles. The third one (number of stops for private vehicles) aims at capturing pollution aspects. We propose a new mixed integer linear programming (MILP) formulation. Unlike most proposed MILP dealing with traffic light control problems, our main variables are traffic light switchover dates, during a time horizon. This permits a significant reduction of the number of variables. In order to take account of the traffic, we integrate this model within an interactive scheme, where information on the traffic is used periodically for adapting the control.

关键词： Adaptation models Approximation methods Delay Image processing Junctions MILP Switches Vehicles adaptive control delays integer programming linear programming mixed integer linear programming multimodal adaptive traffic light control multiobjective traffi

来源：评论

学校读者我要写书评

暂无评论

A Hospital Admission Planning Model for Emergency and Elective Patients under Stochastic Resource Requirements and No-shows

A Hospital Admission Planning Model for Emergency and Electi...

引用

IEEE International Conference on Industrial Engineering and Engineering Management (IEEM)

作者： Jittamai, Phongchai Kangwansura, Thirapan Suranaree Univ Technol Sch Ind Engn Nakhon Ratchasima Thailand

ISBN: (纸本)9781457707391

Hospital admission planning plays an important role for managing and allocating hospital resources by emphasizing on an optimal use of operating theater time. The objective of this work is to develop a mixed integer linear programming model in order to minimize the total absolute deviations of the operating room resource utilizations from their target utilizations for the multiple-day planning horizon. The stochastic resource requirements such as length of stay, emergency arrivals, and unattended patients (no-shows) are considered in the proposed formulation. The mathematical model was tested with a sample data set. Results show that the deviations from the target resource utilizations are decreased by 0%, 3.18%, 0.45%, and 3.00% for each type of hospital resources;namely, operating theater time, intensive- care beds, intensive-care nursing staff and medium-care beds, respectively. Moreover, the gap deviated from the overall target resource utilization is improved by 1%.

关键词： Hospital admission planning mixed integer linear programming emergency admission no-shows

来源：评论

学校读者我要写书评

暂无评论

Solving the Resource Allocation Problem in a Multimodal Container Terminal as a Network Flow Problem

Solving the Resource Allocation Problem in a Multimodal Cont...

引用

2nd International Conference on Computational Logistics (ICCL 2011)

作者： Zehendner, Elisabeth Absi, Nabil Dauzere-Peres, Stephane Feillet, Dominique CMP Ecole Mines St Etienne F-13541 Gardanne France

ISBN: (纸本)9783642242632

Continuously increasing global container trade and pressure from a limited number of large shipping companies are enforcing the need for efficient container terminals. By using internal material handling resources efficiently, transfer times and operating costs are reduced. We focus our study on container terminals using straddle carriers (SC) for transportation and storage operations. We assume that SCs are shared among maritime and inland transport modes (truck, train, barge). The problem is thus to decide how many resources to allocate to each transport mode in order to minimize vehicle (vessel, truck, train, barge) delays. We present a mixed integer linear programming model, based on a network flow representation, to solve this allocation problem. The modular structure of the model enables us to represent different container terminals, transport modes and service strategies. We present parts of our model and exemplary applications for a terminal at the "Grand Port Maritime de Marseille" in France.

关键词： Container terminal resource allocation intermodal transportation mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Batch Production Scheduling for Semiconductor Back-End Operations

Batch Production Scheduling for Semiconductor Back-End Opera...

引用

2010 IEEE/SEMI Conference on Advanced Semiconductor Manufacturing

关键词： Heuristic mixed integer linear programming scheduling semiconductor back-end

来源：评论

学校读者我要写书评

暂无评论

Optimal Policies for Crude Oil Purchasing

Optimal Policies for Crude Oil Purchasing

引用

International Conference on Advanced Design and Manufacturing Engineering (ADME 2011)

作者： Liu, Guoli Zhao, Jun Wang, Wei Univ Sci & Technol Liaoning Sch Sci Anshan 114051 Peoples R China Dalian Univ Technol Res Ctr Informat & Control Dalian 116012 Peoples R China

ISBN: (纸本)9783037852156

Since crude oil purchasing accounts for the largest part of the total costs in the petroleum industry, improving the efficiency of the process is of great significance in economy. In this paper, a novel mixed integer linear programming model is formulated for a large typical oil refinery to determine the purchasing, inventory and transportation quantities over a multi-period horizon while taking into account all the practical features of crude oil purchasing. The objective of the model is to minimize the total costs attributed to crude oil purchasing, i.e. the sum of ordering, purchasing, inventory and transportation costs. The constraints related to bill of materials, different capacities and different transportation modes are considered. A numerical example indicates the extensive application of the presented model.

关键词： Petroleum industry Crude oil purchasing mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：