Electrochemical and analytical study of corrosion inhibition on carbon steel in HCl medium by 1,12-bis(1,2,4-triazolyl)dodecane

1,12-bis(1,2,4-triazolyl)dodecane (dTC12) is an excellent corrosion inhibitor for carbon steel in deaerated 1 M HCl solution. In this work electrochemical and analytical techniques were used to study the inhibition of corrosion on carbon steel in acidic medium. The carbon steel corrosion inhibition of dTC12 was attributed to the synergistic effect between chloride anion and quaternary ammonium ion. The protective efficiency of the film was higher than 90%, indicating that corrosion of carbon steel in 1 M HCl is reduced by dTC12.The effect of dissolved oxygen on the inhibition efficiency was also investigated. The results show that the inhibition efficiency increases in early stage and decreases for a long immersion time.     

A robust estimation approach for uncertain systems with perturbed measurements

This paper deals with state estimation problem for uncertain continuous‐time systems. A numerical treatment is proposed for designing interval observers that ensures guaranteed upper and lower bounds on the estimated states. In order to take into account possible perturbations on the system and its outputs, a new type of interval observers is introduced. Such interval observers consist of two coupled general Luenberger‐type observers that involve dilatation functions. In addition, we provide an optimality criterion in order to find optimal interval observers that lead to tight interval error estimation. The proposed existence and optimality conditions are expressed in terms of linear programming. Also, some illustrative examples are given. Copyright © 2015 John Wiley & Sons, Ltd.     

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs (MDGs) theory in HOL. MDGs generalize Reduced Ordered Binary Decision Diagrams (ROBDDs) to represent and manipulate a subset of first-order logic formulae. The MDGs embedding is based on the logical formulation of an MDG as Directed Formulae (DF). Then, the MDGs operations are defined and the correctness pro...     

Effect of thickness stretching and porosity on mechanical response of a functionally graded beams resting on elastic foundations

The novelty of this paper is the use of an efficient beam theory for bending, free vibration and buckling analysis of functionally graded material (FGM) beams on two-parameter elastic foundation. The present theory accounts for both shear deformation and thickness stretching effects by a parabolic variation of all displacements across the thickness, and satisfies the stress-free boundary conditions on the upper and lower surfaces of the beam without requiring any shear correction factor. Due to porosities, possibly occurring inside FGMs during fabrication, it is therefore necessary to consider the vibration, bending and buckling behaviors of beams having porosities in this work. The equation of motion for FGM beams is obtained through Hamilton’s principle. The closed form solutions are obtained by using Navier technique, and then fundamental frequencies are found by solving the results of eigenvalue problems. The validity of the present theory is investigated by comparing some of the present in literature. It can be concluded that the proposed theory is accurate and simple in solving the bending, free vibration and buckling behaviors of FGM sandwich beams.     

Automatic verification of reduction techniques in Higher Order Logic

In this paper we propose an automatic methodology to verify the soundness of model checking reduction techniques. The idea is to use the consistency of the specifications to verify if the reduced model is faithful to the original one. The user provides the reduction technique, the specification and the system under verification. Then, using Higher Order Logic he verifies automatically if the reduction technique is soundly applied. The method is completely defined in an MDG–HOL special integration platform that combines an automatic high level model checking tool Multiway Decision Graphs (MDGs) within the HOL theorem prover. We provide two case studies, the first one is the reduction using SAT–MDG of an Island Tunnel Controller and the second one is the MDG–HOL assume-guarantee reduction of the Look-Aside Interface. The obtained results of our approach offer a considerable gain in terms of the correctness of heuristics and reduction techniques as applied to commercial model checking, however a small penalty is paid in terms of CPU time and memory usage.     

Numerical and experimental investigations of mixing in T-shaped and cross-shaped micromixers

Mass transfer within the T-shaped and cross-shaped micromixers has been studied using CFD and confocal laser scanning microscopy methods. The concentration profiles, based on flow regimes, were used to compare the T- and cross-geometries. The cross-shaped micromixer tends to intensify the mixing and this is occurring for lower flow rates in comparison to the T shape. The improvement made by the cross geometry is attributed to the stronger vortex stretching and high shear rate, which reduces the liquid transfer length. The presence of a single outlet in the T-shaped micromixer induces a smaller degree of freedom for the fluid. A higher pressure drop is calculated in T-shaped micromixer than in cross-shaped micromixer.     

Using Fuzzy Cost‐Based FMEA,GRA and Profitability Theory for Minimizing Failures at a Healthcare Diagnosis Service

This paper proposes an integrated approach to identify, evaluate and improve the potential failures in a service setting. This integrated approach combines Fuzzy cost‐based service‐specific FMEA (FCS‐FMEA), Grey Relational Analysis (GRA) and profitability theory for better prioritization of the service failures by considering cost as an important issue and using the profitability theory in a way that the corrective actions costs are taken into account. Considering profitability with FCS‐FMEA and GRA reduces the losses caused by failure occurrence. Besides, a maximization linear mathematical problem is used to select the best mix of failures to be repaired. We apply our approach to an academic example concerning the potential failures diagnosis of the Internal Medicine service of a hospital located in Seoul, Korea. We applied our approach and solved the associated maximization problem by a commercial solver, producing an optimal solution which indicates the most convenient mix of failures to be repaired by considering available budget. Copyright © 2013 John Wiley & Sons, Ltd.     

GPU fuzzy c-means algorithm implementations: performance analysis on medical image segmentation

Multimedia Tools and Applications - Image segmentation in the medical imagery such as MRI, is an essential step to the sensitive analysis of human tissues lesions with the objective to improve the...