Stabilization of controlled positive discrete‐time T‐S fuzzy systems by state feedback control

This paper deals with sufficient conditions of asymptotic stability and stabilization for nonlinear discrete‐time systems represented by a Takagi–Sugeno‐type fuzzy model whose state variables take only nonnegative values at all times t for any nonnegative initial state. This class of systems is called positive systems. The conditions of stabilizability are obtained with state feedback control. This work is based on multiple Lyapunov functions. The results are presented in linear matrix inequalities form. A real plant is studied to illustrate this technique. Copyright © 2010 John Wiley & Sons, Ltd.     

Iron oxide (n-Fe2O3) nanowire films and carbon modified (CM)-n-Fe2O3 thin films for hydrogen production by photosplitting of water

Iron oxide n-Fe₂O₃ nanowire photoelectrodes were synthesized by thermal oxidation of Fe metal sheet (Alfa Co. 0.25 mm thick) in an electric oven then tested for their photoactivity. The photoresponse of the n-Fe₂O₃ nanowires was evaluated by measuring the rate of water splitting reaction to hydrogen and oxygen, which is proportional to photocurrent density, J_p. The optimized electric oven-made n-Fe₂O₃ nanowire photoelectrodes showed photocurrent densities of 1.46 mA cm⁻² at measured potential of 0.1 V/SCE at illumination intensity of 100 mW cm⁻² from a Solar simulator with a global AM 1.5 filter. For the optimized carbon modified (CM)-n-TiO₂ synthesized by thermal flame oxidation the photocurrent density for water splitting was found to increase by two fold to 3.0 mA cm⁻² measured at the same measured potential and the illumination intensity. The carbon modified (CM)-n-Fe₂O₃ electrode showed a shift of the open circuit potential by −100 mV/SCE compared to undoped n-Fe₂O₃ nanowires. A maximum photoconversion efficiency of 2.3% at applied potential of 0.5 V/E_aoc was found for CM-n-Fe₂O₃ compared to 1.69% for n-Fe₂O₃ nanowires at higher applied potential of 0.7 V/E_aoc. These CM-n- Fe₂O₃ and n- Fe₂O₃ nanowires thin films were characterized using photocurrent density measurements under monochromatic light illumination, UV-Vis spectra, X-ray diffraction (XRD) and scanning electron microscopy (SEM).     

Doubly-striped disk mirroring: Reliable storage for video servers

Disk striping is essential in Video-On-Demand servers to allow concurrent access for a large number of users to the same copy of a video object. On the other hand, disk striping makes the system more vulnerable to component failures. We propose a replication scheme for video content and an associated I/O scheduling algorithm that enables the system to tolerate a component failure. The scheme, called doubly-striped mirrors, compares favorably to other approaches for implementing redundancy such as RAID in terms of cost, bandwidth efficiency, buffer usage and system availability.     

Unsupervised Bayesian image segmentation using orthogonal series

This paper deals with the problem of unsupervised image segmentation which consists in first mixture identification phase and second a Bayesian decision phase. During the mixture identification phase, the conditional probability density function (pdf) and the a priori class probabilities must be estimated. The most difficult part is the estimation of the number of pixel classes or in other words the estimation of the number of density mixture components. To resolve this problem, we propose here a Stochastic and Nonparametric Expectation-Maximization (SNEM) algorithm. The algorithm finds the most likely number of classes, their associated model parameters and generates a segmentation of the image by classifying the pixels into these classes. The non-parametric aspect comes from the use of the orthogonal series estimator. Experimental results are promising, we have obtained accurate results on a variety of real images.     

Synergistic verification and validation of systems and software engineering models

In this paper, we present a unified approach for the verification and validation of software and systems engineering design models expressed in UML 2.0 and SysML 1.0. The approach is based on three well-established techniques, namely formal analysis, programme analysis and software engineering (SwE) techniques. More precisely, our contribution consists of the synergistic combination of model checking, static analysis and SwE metrics that enables the automatic and efficient assessment of design models from static and dynamic perspectives. Additionally, we present the design and implementation of an automated computer-aided assessing framework integrating the proposed approach. Moreover, we discuss the related technical details and the underlying synergism. Finally, we illustrate the proposed approach by assessing a design case study that is composed of state machine and sequence diagrams.     

An evolutionary algorithm for generalized comparison-based self-diagnosis of multiprocessor systems

In this article, we consider the problem of self-diagnosis of multiprocessor and multicomputer systems under the generalized comparison model. In this approach, a system consists of a collection n independent heterogeneous processors (or units) interconnected via point-to-point communication links, and it is assumed that at most t of these processors are permanently faulty. For the purpose of diagnosis, system tasks are assigned to pairs of processors and the results are compared. The agreements and disagreements among units are the basis for identifying faulty processors. Such a system is said to be t-diagnosable if, given any complete collection of comparison results, the set of faulty processors can be unambiguously identified. We present an efficient fault identification method based on genetic algorithms. Analysis and simulations are provided, first, to evaluate the genetic parameters of the diagnosis algorithm; second, to show the efficiency of the genetic approach. The new strategy is shown to correctly identify the set of faulty processors, making it an attractive and viable addition or alternative to present fault diagnosis techniques.     

VANET QoS-OLSR: QoS-based clustering protocol for Vehicular Ad hoc Networks

In this paper, we address the problem of clustering in Vehicular Ad hoc Networks (VANETs) using Quality of Service Optimized Link State Routing (QoS-OLSR) protocol. Several clustering algorithms have been proposed for VANET and MANET. However, the mobility-based algorithms ignore the Quality of Service requirements that are important for VANET safety, emergency, and multimedia services while the QoS-based algorithms ignore the high speed mobility constraints since they are dedicated for Mobile Ad hoc Networks (MANETs). Our solution is a new QoS-based clustering algorithm that considers a tradeoff between QoS requirements and high speed mobility constraints. The goal is to form stable clusters and maintain the stability during communications and link failures while satisfying the Quality of Service requirements. This is achieved by: (1) considering the high mobility metrics while computing the QoS, (2) using Ant Colony Optimization for MPRs selection, and (3) using MPR recovery algorithm able to select alternatives and keep the network connected in case of link failures. Performance analysis and simulation results show that the proposed model can maintain the network stability, reduce the end-to-end delay, increase the packet delivery ratio, and reduce the communications overhead.     

Study of microstructure, phases and microhardness of metallic coatings deposited by flame thermal spray

The recharging technique by thermal spraying offers the opportunity of renovating the worn surface parts of a machine element to give it again a new technical life despite its previous degradation in service. This process has consequently interesting economic impacts. In order to improve the adherence between 100Cr6 steel deposits and the substrate material (left worn crankshafts), company SNC ATRA of Béjaïa uses at present a composite formed by (100Cr6 steel/molybdenum bond coat of 0.2 mm thick/crankshaft substrate). As a matter of fact, it is shown in the present work that the molybdenum bond coat is not appropriate since, for the 0.2 mm thickness, lateral cracks are observed in the middle of the bond coat. On the other hand, our experiment is that a deposit of 100Cr6 steel projected directly on the substrate seems more promising since no gaps or cracks were detected at the “deposit/substrate” interface of this two-material composite. Lastly, phase analysis using X-ray diffraction confirmed that during spraying process, a stable -phase (bcc) of 100Cr6 wire was transformed to a new phase of γ-phase (fcc). The coatings exhibited the higher microhardness which would contribute to increase wear resistance.     

Hypoglycaemia‐free artificial pancreas project

Driving blood glycaemia from hyperglycaemia to euglycaemia as fast as possible while avoiding hypoglycaemia is a major problem for decades for type‐1 diabetes and is solved in this study. A control algorithm is designed that guaranties hypoglycaemia avoidance for the first time both from the theory of positive systems point of view and from the most pragmatic clinical practice. The solution consists of a state feedback control law that computes the required hyperglycaemia correction bolus in real‐time to safely steer glycaemia to the target. A rigorous proof is given that shows that the control‐law respects the positivity of the control and of the glucose concentration error: as a result, no hypoglycaemic episode occurs. The so‐called hypo‐free strategy control is tested with all the UVA/Padova T1DM simulator patients (i.e. ten adults, ten adolescents, and ten children) during a fasting‐night scenario and in a hybrid closed‐loop scenario including three meals. The theoretical results are assessed by the simulations on a large cohort of virtual patients and encourage clinical trials.Inspec keywords: biochemistry, medical control systems, blood, diseases, medical computing, closed loop systems, biomedical equipment, state feedback, patient treatment, patient monitoring, biomedical measurement, physiological models, sugarOther keywords: fasting‐night scenario, hybrid closed‐loop scenario, hypoglycaemia‐free artificial pancreas project, blood glycaemia, euglycaemia, type‐1 diabetes, control algorithm, guaranties hypoglycaemia avoidance, pragmatic clinical practice, state feedback control law, required hyperglycaemia correction bolus, rigorous proof, control‐law, glucose concentration error, hypo‐free strategy control     

Simple analytical solution and efficiency improvement of polysilicon emitter solar cells

A simple analytical model has been developed to simulate the performance of solar cells with polysilicon contact on the front surface. The polysilicon layer with a columnar grain structure is modeled by an effective recombination velocity using a two-dimensional transport equation. A one-dimensional transport equation in the single-crystal emitter is solved, taking into account bulk recombination and non-uniformly doped emitter. Then, simple analytical expressions for the emitter reverse saturation current and light-generated current densities are obtained. The collection of the light-generated carriers in polysilicon layer has been discussed and an analytical solution of the light-generated current is derived. The results show that the polysilicon layer can result in a decrease in emitter reverse saturation current density and an increase in solar cell photovoltaic parameters. In fact, the emitter region should not be treated as a ‘dead layer’ because thin polysilicon layer front surface contact gives an improvement of about 60 mV for the open-circuit voltage, 3.6 mA/cm² for the photocurrent, and 3.9% for the cell efficiency.