A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES

Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An algorithm to create a reachability tree for statecharts is presented. Also shown is how to use this tree to analyse dynamic properties of statecharts; reachability from any state configuration, usage of transitions, reinitiability, deadlocks, and valid sequence of events. Owing to its powerful notation, building a reachability tree for statecharts presents some difficulties, and we show how these problems were solved in the tree we propose.

Caries resistance of lased human enamel with Er : YAG laser - morphological and ratio Ca/P analysis

Objective: In vitro analysis of caries resistance of dental enamel under caries simulation after irradiation with Er:YAG laser. Background Data: More susceptible to caries development spots at adjacent hard tissues from cavity preparations of dental tissues using burrs or lasers are quite common. Methods: Thirteen caries-free third permanent human molars were distributed as follows: G1: sound control and caries control; G2: Er:YAG 100, 200, 300, or 400 mJ/ 10 Hz/ 3 sec.; G3: the same parameters of G2 followed by artificial caries simulation, through dynamic model of demineralization and remineralization (DE/RE). Caries resistance analysis was evaluated through scanning electron microscopy (SEM) and Ca/P rate (X-Rays spectroscopy - EDX). Results: Photomicrographs showed that the Er:YAG laser created craters with rough aspect which became more evident as the energy per pulse was increased, but without change of regular morphology of enamel prisms. Significant statistical changes among the irradiated and control groups was observed considering the Ca/P ratio. Conclusion: Irradiated groups showed higher caries resistance than control groups. However, it is not possible to affirm that the enamel surface accidental irradiation could be a benefit to caries resistance for other situations can be considered, as biofilm deposit, which could increase the caries susceptibility.

Thermodynamic analysis of the cogeneration system expansion in a sugar-alcohol factory

In this work it was performed energetic and exergetic analyses of three thermal plants to assessment a cogeneration system in expansion of a sugar-alcohol factory. The initial configuration considered is constituted by a low pressure steam generator, single stage steam turbines for electricity generation and crusher, shredder and mills with mechanical driving. In the intermediary configuration, the low pressure steam generator was substituted by another which generates steam at higher pressure and higher temperature, the steam turbines for electricity generation were substituted by a multiple stages extraction-condensation turbine and the other steam turbines were maintained. The final configuration consists in the substitution of these last turbines by electrical motors. Thermodynamic analyses were performed to evaluate the equipment and the overall plants efficiencies to permit a comparison among the plants. Besides of this, some important parameters of the sugar-alcohol factories were calculated.

A new three-phase transformer modeling for three-phase harmonic analysis in distribution systems

This work presents a new three-phase transformer modeling suitable for simulations in Pspice environment, which until now represents the electrical characteristics of a real transformer. It is proposed the model comparison to a three-phase transformer modeling present in EMTP - ATP program, which includes the electrical and magnetic characteristics. In addition, a set including non-linear loads and a real three-phase transformer was prepared in order to compare and validate the results of this new proposed model. The three-phase Pspice transformer modeling, different from the conventional one using inductance coupling, is remarkable for its simplicity and ease in simulation process, since it uses available voltage and current sources present in Pspice program, enabling simulations of three-phase network system including the most common configuration, three wires in the primary side and four wires in the secondary side (three-phases and neutral). Finally, the proposed modeling becomes a powerful tool for three-phase network simulations due to its simplicity and accuracy, able to simulate and analyze harmonic flow in three-phase systems under balanced and unbalanced conditions.

HIERARCHICAL VERSUS NONHIERARCHICAL PATTERNS OF GENETIC DISTANCES AMONG POPULATIONS - A SIMULATION STUDY

A simulation study was made of the effects of mixing two evolutionary forces (natural selection and random genetic drift), combined in a single data matrix of gene frequencies, on the resulting genetic distances among populations. Twenty-one, kinds of simulated gene frequencies surfaces, for 15 populations linearly distributed over geographic space, were used to construct 21 data matrices, combining different proportions of two types of surfaces (gradients and random surfaces). These matrices were analysed by Unweighted Pair-Group Method - Arithmetic Averages (UPGMA), clustering and Principal Coordinate Analysis. The results obtained show that ordination is more accurate than UPGMA in revealing the spatial patterns in the genetic distances, in comparison with results obtained using the Mantel test comparing directly genetic and geographic distances.

BaZrO3 Photoluminescence Property: An Ab Initio Analysis of Structural Deformation and Symmetry Changes

This article reports a theoretical study based on experimental results for barium zirconate, BaZrO3 (BZ) thin films, using periodic mechanic quantum calculations to analyze the symmetry change in a structural order-disorder simulation. Four periodic models were simulated using CRYSTAL98 code to represent the ordered and disordered BZ structures. The results were analyzed in terms of the energy level diagrams and atomic orbital distributions to explain and understand the BZ photoluminescence properties (PL) at room temperature for the disordered structure based on structural deformation and symmetry changes. (C) 2009 Wiley Periodicals, Inc. Int J Quantum Chem 111: 694-701, 2011

Bayesian outlier analysis in binary regression

We propose alternative approaches to analyze residuals in binary regression models based on random effect components. Our preferred model does not depend upon any tuning parameter, being completely automatic. Although the focus is mainly on accommodation of outliers, the proposed methodology is also able to detect them. Our approach consists of evaluating the posterior distribution of random effects included in the linear predictor. The evaluation of the posterior distributions of interest involves cumbersome integration, which is easily dealt with through stochastic simulation methods. We also discuss different specifications of prior distributions for the random effects. The potential of these strategies is compared in a real data set. The main finding is that the inclusion of extra variability accommodates the outliers, improving the adjustment of the model substantially, besides correctly indicating the possible outliers.

A Bayesian Analysis of Spectral ARMA Model

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Cluster identification and characterization in the riser of a circulating fluidized bed from numerical simulation results

A methodology of identification and characterization of coherent structures mostly known as clusters is applied to hydrodynamic results of numerical simulation generated for the riser of a circulating fluidized bed. The numerical simulation is performed using the MICEFLOW code, which includes the two-fluids IIT's hydrodynamic model B. The methodology for cluster characterization that is used is based in the determination of four characteristics, related to average life time, average volumetric fraction of solid, existing time fraction and frequency of occurrence. The identification of clusters is performed by applying a criterion related to the time average value of the volumetric solid fraction. A qualitative rather than quantitative analysis is performed mainly owing to the unavailability of operational data used in the considered experiments. Concerning qualitative analysis, the simulation results are in good agreement with literature. Some quantitative comparisons between predictions and experiment were also presented to emphasize the capability of the modeling procedure regarding the analysis of macroscopic scale coherent structures. (c) 2007 Elsevier B.V. All rights reserved.

Electric power systems transient stability analysis by neural networks

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Finite element analysis of anisotropic optical waveguide with arbitrary index profile

This work presents the application of a scalar finite element formulation for Ex (TE-like) modes in anisotropic planar and channel waveguides with diagonal permittivity tensor, diffused in both transversal directions. This extended formulation considers explicitly both the variations of the refractive index and their spatial derivates inside of each finite element. Dispersion curves for Ex modes in planar and channel waveguides are shown, and the results compared with solutions obtained by other formulations.

Analysis of aluminum plates under heating in electrical and natural gas furnaces

This paper analyzes the thermal storage characteristics of aluminum plates in furnaces during their heating for lamination under two sources of heat: an electrical resistance bank and a combustion process carried out with natural gas. The set of equations to model the furnace under operation with electrical energy, for air as the fluid, is presented. This supports the theoretical analysis for the system under operation with natural gas combustion products. A numerical procedure, using the software ANSYS, is applied to determine the convection heat transfer coefficients for heating by the air flow. Temperatures measured in a plate inside a real furnace are used as parameters to determine these coefficients. Then convection and radiation heat transfer coefficients are determined for the natural gas combustion products. Results are compared, indicating a possible gain of 5.5 h in relation to a 19.5 h period of conventional electrical heating per plate.

Qualitative analysis of two reconstruction techniques and their application in dentistry

Although visualization in the field of dentistry has some of the same requirements as the medicine field, the differences in goal demand specific approaches. This paper reports on the implementation of two fundamentally different approaches to reconstruction of structures from planar cross sections and their application to dentistry data. One of the approaches was an implementation of a distance-based sampling technique, and the other is a new algorithm, based on the Delaunay triangulation. Both were tested using contour data of teeth and the results are compared here in the light of the target applications, which are teaching and training dentistry, as well as simulation of dental procedures and illnesses. Widely mentioned problems encountered in local reconstruction methods such as marching cubes for these cases are clearly illustrated in this paper, and a very satisfactory alternative is given. © 2000 SPIE and IS&T.

Investigations into the use of the finite element method and artificial neural networks in the non-destructive analysis of metallic tubes

This work presents an investigation into the use of the finite element method and artificial neural networks in the identification of defects in industrial plants metallic tubes, due to the aggressive actions of the fluids contained by them, and/or atmospheric agents. The methodology used in this study consists of simulating a very large number of defects in a metallic tube, using the finite element method. Both variations in width and height of the defects are considered. Then, the obtained results are used to generate a set of vectors for the training of a perceptron multilayer artificial neural network. Finally, the obtained neural network is used to classify a group of new defects, simulated by the finite element method, but that do not belong to the original dataset. The reached results demonstrate the efficiency of the proposed approach, and encourage future works on this subject.

Analysis of a sub-optimal scheme of drug dosage in the AIDS treatment

Here the results for CD4+T cells count and the viral load obtained from HIV sero-positive patients are compared with results from numerical simulations by computer. Also, the standard scheme of administration of drugs anti HIV (HAART schemes) which uses constant doses is compared with an alternative sub-optimal teatment scheme which uses variable drug dosage according to the evolution of a quantitative measure of the side effects. The quantitative analysis done here shows that it is possible to obtain, using the alternative scheme, the same performance of actual data but using variable dosage and having fewer side effects. Optimal control theory is used to solve and also to provide a prognosis related to the strategies for control of viraemia.