Parallel machine scheduling, involves the allocation of jobs to the system resources (a bank of machines in parallel). A basic model consisting of m machines and n jobs is the foundation of more complex models. Here, jobs are allocated according to resource availability following some allocation rule. In the specialised literature, minimisation of the makespan has been extensively approached an...

ed state machines Deterministic state machines 1. State machine extraction (e.g. stg_extract) 2. Eliminate conditions New constraints in ITL 3. Sequential circuits 5. Logic synthesis 4. Sythesizer (tableau and determinize) KISS2 interface Figure 2: Flow of Our Redesign Method 4 A Redesign Method We cannot handle very complex ITL formulas within a reasonable time, since the expansion time grows ...

This paper considers a different version of the parallel machines scheduling problem in which the parallel jobs simultaneously requirea pre-specifiedjob-dependent number of machines when being processed.This relaxation departs from one of the classic scheduling assumptions. While the analytical conditions can be easily statedfor some simple models, a graph model approach is required when confli...

This paper presents a detailed recent research trend on multi-phase induction machines, which include multiphase induction motor as well as the multiphase induction generator. Electrical power system developed so far was of three phases since the beginning of the last century but research in the field of multi-phase machines have attracted increased interest in recent years due to the several a...

ArcelorMittal is a key supplier for electrical steels in challenging applications such as high power density automotive traction machines and high speed induction machines for industry and power generation systems. Throughout the years we have focused on understanding the specific needs of each electrical machine type and aimed at developing electrical steels to optimally meet these machine dem...

Hybrid Event-B, initially introduced for single machines to add continuously varying behaviour to discrete change of state in Event-B, is extended to cater for multiple cooperating machines. Multiple machine working is mediated by INTERFACE and PROJECT constructs. The former encapsulates a set of variables, their invariants and initialisations, in a form that several machines can exploit simult...

Induction machines designed for inverterdriven variable speed systems is different from those powered directly from utility power lines. In this paper, the design strategies of inverter-driven induction machines are discussed. This is followed by a description of a computer aided design and analysis package specifically for this purpose. The program package permits integration design of machine...

Which operating system structures are appropriate for machines with either no cache coherence, or else a number of distinct “coherence islands”? While a clear consensus on the architecture of future multicore processors has yet to emerge, it seems that machines without system-wide cache coherence are likely. Some research chips, like the Intel Single-Chip Cloud computer [3] and the Beehive comp...

Flexible manufacturing system is a system that is able to respond to changed conditions. In general, this flexibility is divided into two key categories and several subcategories. The first category is the so called machine flexibility which enables to make various products by the given machinery. The second category is routing flexibility enabling to execute the same operation by various machi...

Routing flexibility provides the ability of FMS to efficiently encounter traffic problems caused by machine breakdown, excessive workload, etc. The advantages of imposing routing flexibility can be fully obtained by a competent part roufing rule. In this study, Fuzry Analytical Hierarchy Process (Fuzry AHP) is applied to form part routing rules from the attributes of alternate machines: workloa...