Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Yellow fever vaccination coverage among children in Brazilian capitals

Brazil recommends universal yellow fever (YF) vaccination for children who reside in or travel to endemic areas. We conducted a household survey to calculate YF vaccine coverage among children 18-30 months of age in 27 capital cities. A total of 9285 children were surveyed in the 15 cities with YF fever universal vaccination; 7290(79%) had documented evidence of YF vaccination by 12 months of age, 7996 (86%) by 18 months of age, and 8479 (91%) prior to the survey. In 12 cities with selective YF vaccination coverage was only 1% by 18 months of age. YF fever vaccination can be improved to reach all children where vaccine is recommended. (C) 2010 Elsevier Ltd. All rights reserved.

Household survey of hepatitis B vaccine coverage among Brazilian children

We conducted a multi-stage household cluster survey to calculate hepatitis B vaccine coverage among children 18-30 months of age in 27 Brazilian cities. Hepatitis B vaccine is administered at birth, 1 month and 6 months of age by Brazil`s national immunization program. Among 17,749 children surveyed, 40.2% received a birth dose within one day of birth, 94.8% received at least one dose of hepatitis B vaccine, and 86.7% completed the three-dose series by 12 months of age. Increased coverage with the birth dose and administration of hepatitis B in combination with diphtheria-tetanus-pertussis-Haemophilus influenzae type b antigens could improve protection against hepatitis B. (C) 2009 Elsevier Ltd. All rights reserved.

Evidence for diffusional coupling in electrochemical thin layers: implications for surface coverage calibration via electrochemical infrared spectroscopy

The time dependence of the concentration of CO2 in an electrochemical thin layer cavity is studied with Fourier transform infrared spectroscopy (FTIR) in order to evaluate the extent to which the thin layer cavity is diffusionally decoupled from the surrounding bulk electrolyte. For the model system of CO on Pt(111) in 0.1 M HClO4, it is found that the concentration of CO2, formed by electro-oxidation of CO, equilibrates rapidly with the surrounding bulk electrolyte. This rapid equilibration indicates that there is diffusion out of the thin layer, even on the short time scales of typical infrared experiments (1-3 min). However, since the measured CO2 absorbance intensity as a function of time is reproducible to within 10%, a new time-dependent method for surface coverage calibration using solution-phase species is proposed.

On the apparent lack of preferential site occupancy and electrooxidation of CO adsorbed at low coverage onto stepped platinum surfaces

We report time evolution studies of low coverage CO adsorption (surface hydrogen site blocking < 40%) and oxidative stripping on stepped Pt(776) and Pt(554) surfaces. It was observed that there is no preferential site occupancy for CO adsorption on step or terrace. It is proposed that CO adsorption onto these surfaces is a random process, and after CO adsorption there is no appreciable shift from CO-(111) to CO-(110) sites. This implies that after adsorption, CO molecules either have a very long residence time, or that the diffusion coefficient is much lower than previously thought. After CO electrooxidation the sites released included both terrace (111) and step (110) orientations. For surface hydrogen site blocking > 40%, the lateral interactions might play a role in the preferential CO site occupancy. (C) 2011 Elsevier B.V. All rights reserved.

Dynamic Fuzzy Logic Control of GeneticAlgorithm Probabilities

Genetic algorithms are commonly used to solve combinatorial optimizationproblems. The implementation evolves using genetic operators (crossover, mutation,selection, etc.). Anyway, genetic algorithms like some other methods have parameters(population size, probabilities of crossover and mutation) which need to be tune orchosen.In this paper, our project is based on an existing hybrid genetic algorithmworking on the multiprocessor scheduling problem. We propose a hybrid Fuzzy-Genetic Algorithm (FLGA) approach to solve the multiprocessor scheduling problem.The algorithm consists in adding a fuzzy logic controller to control and tunedynamically different parameters (probabilities of crossover and mutation), in anattempt to improve the algorithm performance. For this purpose, we will design afuzzy logic controller based on fuzzy rules to control the probabilities of crossoverand mutation. Compared with the Standard Genetic Algorithm (SGA), the resultsclearly demonstrate that the FLGA method performs significantly better.

A fuzzy logic controller for intestinal levodopa infusion in Parkinson’s disease

The aim of this work is to evaluate the fuzzy system for different types of patients for levodopa infusion in Parkinson Disease based on simulation experiments using the pharmacokinetic-pharmacodynamic model. Fuzzy system is to control patient’s condition by adjusting the value of flow rate, and it must be effective on three types of patients, there are three different types of patients, including sensitive, typical and tolerant patient; the sensitive patients are very sensitive to drug dosage, but the tolerant patients are resistant to drug dose, so it is important for controller to deal with dose increment and decrement to adapt different types of patients, such as sensitive and tolerant patients. Using the fuzzy system, three different types of patients can get useful control for simulating medication treatment, and controller will get good effect for patients, when the initial flow rate of infusion is in the small range of the approximate optimal value for the current patient’ type.

DC Motor Speed Control via Fuzzy / Pole Placement / PI Controller

This report presents a new way of control engineering. Dc motor speed controlled by three controllers PID, pole placement and Fuzzy controller and discusses the advantages and disadvantages of each controller for different conditions under loaded and unloaded scenarios using software Matlab. The brushless series wound Dc motor is very popular in industrial application and control systems because of the high torque density, high efficiency and small size. First suitable equations are developed for DC motor. PID controller is developed and tuned in order to get faster step response. The simulation results of PID controller provide very good results and the controller is further tuned in order to decrease its overshoot error which is common in PID controllers. Further it is purposed that in industrial environment these controllers are better than others controllers as PID controllers are easy to tuned and cheap. Pole placement controller is the best example of control engineering. An addition of integrator reduced the noise disturbances in pole placement controller and this makes it a good choice for industrial applications. The fuzzy controller is introduce with a DC chopper to make the DC motor speed control smooth and almost no steady state error is observed. Another advantage is achieved in fuzzy controller that the simulations of three different controllers are compared and concluded from the results that Fuzzy controller outperforms to PID controller in terms of steady state error and smooth step response. While Pole placement controller have no comparison in terms of controls because designer can change the step response according to nature of control systems, so this controller provide wide range of control over a system. Poles location change the step response in a sense that if poles are near to origin then step response of motor is fast. Finally a GUI of these three controllers are developed which allow the user to select any controller and change its parameters according to the situation.

A fuzzy rule-based decision support system for Duodopa treatment in Parkinson

A decision support system (DSS) was implemented based on a fuzzy logic inference system (FIS) to provide assistance in dose alteration of Duodopa infusion in patients with advanced Parkinson’s disease, using data from motor state assessments and dosage. Three-tier architecture with an object oriented approach was used. The DSS has a web enabled graphical user interface that presents alerts indicating non optimal dosage and states, new recommendations, namely typical advice with typical dose and statistical measurements. One data set was used for design and tuning of the FIS and another data set was used for evaluating performance compared with actual given dose. Overall goodness-of-fit for the new patients (design data) was 0.65 and for the ongoing patients (evaluation data) 0.98. User evaluation is now ongoing. The system could work as an assistant to clinical staff for Duodopa treatment in advanced Parkinson’s disease.