Schedule Generation Schemes for Job Shop Problems with Fuzziness

We consider the job shop scheduling problem with fuzzy durations and expected makespan minimisation. We formally define the space of semi-active and active fuzzy schedules and propose and analyse different schedule-generation schemes (SGSs) in this fuzzy framework. In particular, we study dominance properties of the set of schedules obtained with each SGS. Finally, a computational study illustrates the great difference between the spaces of active and the semi-active fuzzy schedules, an analogous behaviour to that of the deterministic job shop.This research has been supported by the Spanish Government under research grants FEDER TIN2010-20976-C02-02 and MTM2010- 16051 and by the Principality of Asturias (Spain) under grants Severo Ochoa BP13106 and FC-13-COF13-03

Heuristics and metaheuristics for heavily constrained hybrid flowshop problems

Due to the current trends in business as the necessity to have a large catalogue of products, orders that increase in frequency but not in size, globalisation and a market that is increasingly competitive, the production sector faces an ever harder economical environment. All this raises the need for production scheduling with maximum efficiency and effectiveness. The first scientific publications on production scheduling appeared more than half a century ago. However, many authors have recognised a gap between the literature and the industrial problems. Most of the research concentrates on optimisation problems that are actually a very simplified version of reality. This allows for the use of sophisticated approaches and guarantees in many cases that optimal solutions are obtained. Yet, the exclusion of real-world restrictions harms the applicability of those methods. What the industry needs are systems for optimised production scheduling that adjust exactly to the conditions in the production plant and that generates good solutions in very little time. This is exactly the objective in this thesis, that is, to treat more realistic scheduling problems and to help closing the gap between the literature and practice. The considered scheduling problem is called the hybrid flowshop problem, which consists in a set of jobs that flow through a number of production stages. At each of the stages, one of the machines that belong to the stage is visited. A series of restriction is considered that include the possibility to skip stages, non-eligible machines, precedence constraints, positive and negative time lags and sequence dependent setup times. In the literature, such a large number of restrictions has not been considered simultaneously before. Briefly, in this thesis a very realistic production scheduling problem is studied. Various optimisation methods are presented for the described scheduling problem. A mixed integer programming model is proposed, in order to obtaiUrlings ., T. (2010). Heuristics and metaheuristics for heavily constrained hybrid flowshop problems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8439Palanci

1943-1944 Louisiana Polytechnic Institute Catalogue

The Louisiana Polytechnic Institute Catalogue includes announcements and course descriptions for courses offered at Louisiana Polytechnic Institute for the academic year of 1943-1944.https://digitalcommons.latech.edu/university-catalogs/1063/thumbnail.jp

Two machines flow shop with reentrance and exact time lag

This paper considers a reentrant flow shop with two machines and exact time lag L, in which each task may be processed in this order M1,M2,M1 and there is an identical time lag between the completion time of the first operation and the start time of the second operation on the first machine. The objective is to minimize the total completion time. We prove the NP-hardness of a special case and we give some special subproblems that can be solved in polynomial time

Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study

This thesis is concerned with practicability of deductive program verification on source code level. As part of a case study for the verification of real-world software, the specification and verification approach to show correctness of the virtualizing kernel PikeOS is presented. Issues within the verification process using current tools and methodologies are discussed and several aspects of these problems are then addressed in detail to improve the verification process and tool usability

Conference on Intelligent Robotics in Field, Factory, Service, and Space (CIRFFSS 1994), volume 1

The AIAA/NASA Conference on Intelligent Robotics in Field, Factory, Service, and Space (CIRFFSS '94) was originally proposed because of the strong belief that America's problems of global economic competitiveness and job creation and preservation can partly be solved by the use of intelligent robotics, which are also required for human space exploration missions. Individual sessions addressed nuclear industry, agile manufacturing, security/building monitoring, on-orbit applications, vision and sensing technologies, situated control and low-level control, robotic systems architecture, environmental restoration and waste management, robotic remanufacturing, and healthcare applications

Screening Insurrection: The Containment of Working-Class Rebellion in New Deal Era Hollywood Cinema

In my dissertation I explore the ways in which New Deal era Hollywood cinema represented the growing spirit of collective action that defined the 1930s. Specifically, I examine the ways film redirected the collective impulse of the radical left by positioning a strengthened heteronormative family as the path to national economic renewal. Drawing upon archival sources as well as cultural historians such as Richard Pells and Michael Denning and scholars of masculinity such as Michael Kimmel and R.W. Connell, I contend that the cinema of this era reinforced the national myth of the couple as the “proper” American path to economic renewal and represented collective action as being in direct conflict with the family. Beginning with Hollywood’s representation of radical collectives in the 1930s, I argue that the film industry vilified working-class collective action by equating it with mob justice and suggesting that masculine collectivity was inherently destructive to the heteronormative couple. Rather than reflecting the spirit of economic empowerment through collective action, these films, like the New Deal Administration itself, suggested that the proper path to national economic renewal was through a renewal of masculinity and the heteronormative family. I explore figures associated with subversive masculinity and collectivity during the New Deal era: the hobo and the outlaw, and explores the ways in which these figures’ subversiveness was contained and assimilated to the New Deal capitalist state. Tramping, long associated with a radical break from industrial capitalism and heteronormativity, became redefined as a temporary right of passage during which the masculine individualist reestablished his manhood before restoring his economic fortunes and establishing a stable romantic couple. Similarly the outlaw figure shifted from the working-class gangster rebelling against capitalism to the aristocratic outlaw, seeking merely to restore the proper capitalist system. Finally, I examine the ultimate containment of the nascent working-class collectives of the 1930s and 1940s by analyzing Hollywood’s World War II era production. By looking at these films it is possible to see the ways in which the spirit of radical collective action was finally reincorporated into the capitalist hegemony to preserve rather than overthrow the system