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.

The hierarchical model of branch planning with random coefficients

We consider the management branch model where the random resources of the subsystem are given by the exponential distributions. The determinate equivalent is a block structure problem of quadratic programming. It is solved effectively by means of the decomposition method, which is based on iterative aggregation. The aggregation problem of the upper level is resolved analytically. This overcomes all difficulties concerning the large dimension of the main problem.

Comparative studies of the sample decomposition of green and roasted coffee for determination of nutrients and data exploratory analysis

The contents of some nutrients in 35 Brazilian green and roasted coffee samples were determined by flame atomic absorption spectrometry (Ca, Mg, Fe, Cu, Mn, and Zn), flame atomic emission photometry (Na and K) and Kjeldahl (N) after preparing the samples by wet digestion procedures using i) a digester heating block and ii) a conventional microwave oven system with pressure and temperature control. The accuracy of the procedures was checked using three standard reference materials (National Institute of Standards and Technology, SRM 1573a Tomato Leaves, SRM 1547 Peach Leaves, SRM 1570a Trace Elements in Spinach). Analysis of data after application of t-test showed that results obtained by microwave-assisted digestion were more accurate than those obtained by block digester at 95% confidence level. Additionally to better accuracy, other favorable characteristics found were lower analytical blanks, lower reagent consumption, and shorter digestion time. Exploratory analysis of results using Principal Component Analysis (PCA) and Hierarchical Cluster Analysis (HCA) showed that Na, K, Ca, Cu, Mg, and Fe were the principal elements to discriminate between green and roasted coffee samples. ©2007 Sociedade Brasileira de Química.

Thermal Decomposition Kinetics of Humic Substances Extracted from Mid-Rio Negro (Amazon Basin) Soil Samples

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

Acceleration of the decomposition of Sicilian lemon leaves as an auxiliary measure in the control of citrus black spot

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Evaluation of an average numerator relationship matrix model and a Bayesian hierarchical model for growth traits in Nellore cattle with uncertain paternity

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Thermogravimetric studies of decomposition kinetics of six different IAC Hevea rubber clones using Flynn-Wall-Ozawa approach

The thermal degradation behaviour of rubber from six new Hevea brasiliensis clones (IAC 40, 56, 300, 301, 302 and 303) from São Paulo State, Brazil was studied by thermogravimetry using the Flynn-Wall-Ozawa approach to assess the kinetic parameters ( reaction order, activation energy and pre-exponential factor) of the decomposition process. This study indicated that the thermal behaviour is a complex multiple step process, which depends on the type of rubber Hevea clones studied. The rubber from these clones can be classified, following the order of decreasing thermal stability, as IAC 303 > 302 > 56 > 40 > 300 > 301.

Effect of cationic micelles on the decomposition of alpha-aminophenyl cephalosporins

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Thermal stability and thermal decomposition of sucralose

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Time-domain analysis of piezoelectric impedance-based structural health monitoring using multilevel wavelet decomposition

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

Self-Organizing Maps as a New Tool for Classification of Plants at Lower Hierarchical Levels

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Alternative Model of Three-Phase Transmission Line Theory-Based Modal Decomposition

In this paper is shown the development of a transmission line, based on discrete circuit elements that provide responses directly in the time domain and phase. This model is valid for ideally transposed rows represent the phases of each of the small line segments are separated in their modes of propagation and the voltage and current are calculated at the modal field. However, the conversion phase-mode-phase is inserted in the state equations which describe the currents and voltages along the line of which there is no need to know the user of the model representation of the theory in the field lines modal.

Straw decomposition of nitrogen-fertilized grasses intercropped with irrigated maize in an integrated crop-livestock system

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

Hartman-Grobman decomposition when in presence of jumps in the relative degree of the dynamics in an energy harvesting device

This work deals with the nonlinear piezoelectric coupling in vibration-based energy harvesting, done by A. Triplett and D.D. Quinn in J. of Intelligent Material Syst. and Structures (2009). In that paper the first order nonlinear fundamental equation has a three dimensional state variable. Introducing both observable and control variables in such a way the controlled system became a SISO system, we can obtain as a corollary that for a particular choice of the observable variable it is possible to present an explicit functional relation between this variable one, and the variable representing the charge harvested. After-by observing that the structure in the Input-Output decomposition essentially changes depending on the relative degree changes, presenting bifurcation branches in its zero dynamics-we are able in to identify this type of bifurcation indicating its close relation with the Hartman - Grobman theorem telling about decomposition into stable and the unstable manifolds for hyperbolic points.

Mating system parameters at hierarchical levels of fruits, individuals and populations in the Brazilian insect-pollinated tropical tree, Tabebuia roseo-alba (Bignoniaceae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)