A minimization algorithm for automata generated fault trees with priority gates

Fault tree analysis is still widely practiced in high-hazard industries. We propose in this article an algorithm for the reduction of fault tree expressions that are generated from automata representations of failure behaviors. Automata formalisms are increasingly being used to describe systems exhibiting sequence-dependent failures—i.e., the overall outcome like a total failure of the system can depend on the order in which events occur. A set of paths leading to a safety-relevant state is encoded as a standard sum of product canonical form, and without any loss of the significance of the sequencing of events. That is, the corresponding fault tree expression is basically a Boolean formula which is extended with the necessary temporal features (event occurrence priority). Such expressions can then be reduced into minimal canonical forms by using the Boolean methods together with the required temporal logic calculus. Since minimal failure sequences can be determined from the obtained reduced models, the proposed approach can improve the analysis of the dynamic effects of the sequencing of faults and propagated errors in such models. As a consequence, it can have a positive impact on the design of failure prevention measures. A fault tolerant example system exhibiting dynamic behavior is used to highlight the benefits of the approach.

     

Improved preventive maintenance in the framework of forecasting problem under subcontractor constraint

The paper presents a new improved preventive maintenance strategy for a forecasting problem of production and maintenance optimisation under subcontractor constraint. In order to satisfy the customer, the manufacturing system consists of a principal machine M₁ and called upon subcontractor machine M_s. Knowing that both machines are subjected to random failures, failure rate of main machine increases with time and according to production rates. An improved preventive maintenance strategy is used for control of the machine M₁, whereas subcontractor machine M_s is uncontrollable from preventive maintenance point of view. An analytic formulation of problem has been proposed in order to determine the economical production plans for M₁ and M_s. An improved maintenance strategy (IMS) is developed in order to minimise the total production loss, when the subcontractor machine is unavailable. It consists of determining the best time to perform preventive maintenance actions taking into account production rates, history of M₁ and the state of subcontractor machine M_s. Numerical results and sensitivity analysis are presented to highlight the performance measure and the usefulness of the IMS.     

MICROWAVE VACUUM DRYING OF BANANA SLICES

Vacuum drying of banana slices was studied in a domestic microwave oven. The results show that banana temperature rises uniformly and rapidly to the saturation water vapor temperature corresponding to the vacuum used then rises slowly until most of the free moisture is lost. The thermal and drying efficiencies were found to drop from almost 100% at the beginning of the drying (high moisture content) to as low as 40% and 30% respectively at the end of drying. Both efficiencies were found to increase with the use of vacuum, especially at low moisture content.     

PMMA thermoreversible networks by Diels–Alder reaction

Reversibly crosslinked polymethylmethacrylate were prepared by Diels–Alder (DA) reaction using multi-furan and multi-imide precursors. Furan functionalized PMMA were obtained by reactive extrusion (transesterification) between a commercial PMMA and furfuryl alcohol using tin(II)2-ethylhexanoate (Sn(oct)₂) or 1,5,7-Triazabicyclo[4.4.0]dec-5-ene (TBD) catalysts. Maleimide based coupling agents were prepared by amine–anhydride reaction. Thermomechanical properties of the PMMA precursors and issued networks were analyzed. Two G′ and G″ cross-over temperatures were obtained during the heating and cooling cycles. The first one at 110 °C can be assimilated to physical gel formation and the second one at 160 °C to its breaking. When the network was formed, an increasing of these temperatures is observed. Also, the G′ between these temperatures increased with the network density. The obtained network had a shape memory behavior.     

A taboo search approach for deadlock-free scheduling of automated manufacturing systems

This paper addresses the scheduling problem of a class of automated manufacturing systems. A new manufacturing system model is proposed. In this model, a set of jobs is to be processed and each job requires a sequence of operations. Each operation may need more than one resource. Upon the completion of an operation, resources needed in the next operation of the same job cannot be released and the remaining resources cannot be released until the start of the next operation. The scheduling problem consists in sequencing the operations on the resources in order to avoid deadlocks and to minimize the makespan. The classical disjunctive graph representation is extended to model the scheduling problem. A taboo search algorithm is then proposed using an original neighborhood structure defined by two basic moves: the permutation of disjunctive arcs of critical paths and a deadlock recovery move if the former fails. Numerical results presented in the paper show the efficiency of the proposed algorithm.     

Theoretical foundations of spatially-variant mathematical morphology part ii: gray-level images

In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the Euclidean space. The proposed theory preserves the geometrical concept of the structuring function, which provides the foundation of classical morphology and is essential in signal and image processing applications. We define the basic SV gray-level morphological operators (i.e., SV gray-level erosion, dilation, opening, and closing) and investigate their properties. We demonstrate the ubiquity of SV gray-level morphological systems by deriving a kernel representation for a large class of systems, called V-systems, in terms of the basic SV graylevel morphological operators. A V-system is defined to be a gray-level operator, which is invariant under gray-level (vertical) translations. Particular attention is focused on the class of SV flat gray-level operators. The kernel representation for increasing V-systems is a generalization of Maragos' kernel representation for increasing and translation-invariant function-processing systems. A representation of V-systems in terms of their kernel elements is established for increasing and upper-semi-continuous V-systems. This representation unifies a large class of spatially-variant linear and non-linear systems under the same mathematical framework. Finally, simulation results show the potential power of the general theory of gray-level spatially-variant mathematical morphology in several image analysis and computer vision applications.     

Quasi-optimal integrated production, inventory and maintenance policies for a single-vendor single-buyer system with imperfect production process

In this paper we deal with the integrated supply chain management problem in the context of a single vendor-single buyer system for which the production unit is assumed to randomly shift from an in-control to an out-of-control state. At the end of each production cycle, a corrective or preventive maintenance action is performed, depending on the state of the production unit, and a new setup is carried out. Two different integrated production, shipment and maintenance strategies are proposed to satisfy the buyer’s demand at minimum total cost. The first one suggests that the buyer orders batches of size nQ and the vendor produces nQ and makes equal shipments of size Q. The second policy proposes that to satisfy the same ordered quantity, the vendor produces separately smaller batches of size Q, n times. The total integrated average cost per time unit corresponding to each strategy is considered as the performance criterion allowing choosing the best policy for any given situation.     

New approach for air traffic management based on control theory

Air traffic management aims to provide solutions to congestion problems in air traffic networks (ATNs) which in turn are mainly generated by the variation in the capacity of air sectors or airports due to adverse weather conditions. Most of the existing approaches to dealing with these problems are based on mathematical programming techniques and inherit its computational difficulty. In this paper, we introduce a control scientist point of view to this topic by proposing an approach to solve the ground-holding problem based on discrete event systems control theory. An ATN can effectively be considered as a timed discrete event system and can be efficiently modelled based on a Time Petri net tool. The main advantage is an explicit representation of the position of each aircraft in the ATN at each time instant. The state space is modelled by a Discrete Time Reachability Graph and the capacity constraints on the air sectors are modelled by time floating general mutual exclusion constraints. Feasible flight plans can be constructed based on control synthesis techniques, while an algorithm to compute the optimal flight plan is proposed assuming a realistic cost function.     

Joint optimisation of maintenance and production policies considering random demand and variable production rate

This paper deals with a randomly failing manufacturing system M1 which has to satisfy a random demand during a finite horizon given a required service level. To help meet this demand, subcontracting is used through another production system M2. M1 operates with a variable production rate and its failure rate depends on both time and the production rate. In these conditions, as a first step, we establish a preliminary production plan corresponding to a given service level. In a second stage, we integrate the effect of the machine degradation introducing a unitary degradation cost. The optimal production plan is then obtained by minimising the sum of the production, the inventory and the degradation costs. In the final stage, we propose another optimal plan combined with a preventive maintenance policy aiming at reducing the machine degradation while minimising the total cost including the production, inventory and maintenance costs.