The assembly line balancing problem has been a focus of interest to the academicians of production/operations management for the last 40 years. Although there are numerous studies published on the various aspects of t...
详细信息
The assembly line balancing problem has been a focus of interest to the academicians of production/operations management for the last 40 years. Although there are numerous studies published on the various aspects of the problem, the number of studies on mixed-model assembly lines are relatively small. In this paper, a binary integerprogramming model for the mixed-model assembly line balancing problem is developed and some computational properties of the model are given. (C) 1998 Elsevier Science Ltd. All rights reserved.
This paper surveys the current state of the literature in management science/operations research approaches to air pollution management, After introducing suitable background we provide some of the institutional and l...
详细信息
This paper surveys the current state of the literature in management science/operations research approaches to air pollution management, After introducing suitable background we provide some of the institutional and legal framework needed to understand the continuing regulatory efforts in United States. Attention is then turned to mathematical programmingmodels ranging from fairly simple deterministic linear programs to quite sophisticated stochastic models which have appeared in the literature dealing with these topics, This is followed by extensions reflecting some of the work we have undertaken in association with the Texas Natural Resource Conservation Commission, a regulatory agency in Texas, Application and potential use of models is the central theme of this survey, Issues for future research are presented at the end and an extensive list of publications is provided in the references at the end of the article. Principal air quality issues of local, national, and international concern are listed below in increasing order of difficulty based on the number of different types of pollutants and problems in quantification of the risks the pollutants pose: 1. Stratospheric ozone depletion: one relatively easily controllable class of trace gases - ozone depleting chemicals, or ODCs, principally chloroflurocarbons (CFCs) - with relatively well quantified risks;2. Criteria pollutants: six common pollutants - ozone (O-3), carbon monoxide (CO), sulfur dioxide (SO2), nitrogen dioxide (NO2), lead (Pb), and particulate matter less than 10 microns in size (PM10) - regulated since 1970 in the U.S. and presenting relatively well quantified risks;3. Acid precipitation: two relatively easily controllable classes of trace gases - oxides of nitrogen (NOx) and oxides of sulfur (SOx) with relatively well quantified risks;4. Global warming/climate change: a few difficult to control trace gases - principally carbon dioxide (CO2), methane (CH4), nitrous oxide (N2O), and CFCs - with hi
One of the major requirements of distributed multimedia applications is the need to maintain often complex, real-time synchronization constraints, More specifically, it is necessary to be able to manage arbitrary intr...
详细信息
One of the major requirements of distributed multimedia applications is the need to maintain often complex, real-time synchronization constraints, More specifically, it is necessary to be able to manage arbitrary intra- and inter-media synchronization across activities in the distributed environment. Furthermore, it is important that such developments are integrated into emerging object-oriented standards for distributed computing. This paper presents an object-oriented programming model and associated implementation to meet these requirements. The main concepts behind the proposed approach are, firstly, the use of reactive objects for real-time control and synchronization and, secondly, quality of service controlled bindings for predictable communication between objects, The flexibility of the approach is demonstrated by three contrasting examples of real-time synchronization. The implementation extends the realtime capabilities of the Chorus micro-kernel by introducing the concepts of rtports, rthandlers and quality of service controlled connections, The paper demonstrates how reactive objects and bindings are realized on this infrastructure.
The linear relaxation of mixed integer programming models can be strengthened by introducing auxiliary variables. We develop a new method for generating auxiliary variable reformulations for problems where the separat...
详细信息
The linear relaxation of mixed integer programming models can be strengthened by introducing auxiliary variables. We develop a new method for generating auxiliary variable reformulations for problems where the separation algorithm for finding violated cuts can be formulated as a linear program. Our results have important consequences for integrality proofs and efficient formulations.
Discusses approaches to revalidation of modified software. Classification of types of changes made to a system during maintenance; Two major problems in regression testing; Test-suite maintenance.
Discusses approaches to revalidation of modified software. Classification of types of changes made to a system during maintenance; Two major problems in regression testing; Test-suite maintenance.
暂无评论