5 resultados para State-based Specifications

em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)


Relevância:

80.00% 80.00%

Publicador:

Resumo:

The aim of this preliminary work was to present a novel method, suitable to investigate the glass cooling, from melt to solid state, based on a fast, non-usual and easy microwave method. The following glass system xBaO . (100-x)B(2)O(3) (x = 0% and 40%) was selected as an example for this study. The melt was poured inside a piece of waveguide and then, its cooling was monitored by the microwave signal as a function of time. The variations in the signal can provide valuable informations about some structural changes that take place during the cooling stages, such as relaxation processes. This method can be useful to investigate the cooling and heating of other materials, opening new possibilities for investigation of dielectric behavior of materials under high temperatures. (C) 2008 Elsevier Inc. All rights reserved.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

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.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Objectives. To assess the impact of chronic disease and the number of diseases on the various aspects of health-related quality of life (HRQOL) among the elderly in Sao Paulo, Brazil. Methods. The SF-36 (R) Health Survey was used to assess the impact of the most prevalent chronic diseases on HRQOL. A cross-sectional and population-based study was carried out with two-stage stratified cluster sampling. Data were obtained from a multicenter health survey administered through household interviews in several municipalities in the state of Sao Paulo. The study evaluated seven diseases-arthritis, back-pain, depression/anxiety, diabetes, hypertension, osteoporosis, and stroke-and their effects on quality of life. Results. Among the 1958 elderly individuals (60 years of age or older), 13.6% reported not having any of the illnesses, whereas 45.7% presented three or more chronic conditions. The presence of any of the seven chronic illnesses studied had a significant effect on the scores Of nearly all the SF-36 (R) scales. HRQOL achieved lower scores when related to depression/anxiety, osteoporosis, and stroke. The higher the number of diseases, the greater the negative effect on the SF-36 (R) dimensions. The presence of three or more diseases significantly affected HRQOL in all areas. The bodily pain, general health, and vitality scales were the most affected by diseases. Conclusions. The study detected a high prevalence of chronic diseases among the elderly population and found that the degree of impact on HRQOL depends on the type of disease. The results highlight the importance of preventing and controlling chronic diseases in order to reduce the number of comorbidities and lessen their impact on HRQOL among the elderly.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Several experiments (time-resolved Z-scan experiments based on pulsed and CW pump lasers, time-resolved divergence diagnostics) have been performed to examine and clarify the question of the converging or diverging population lensing effect occurring in a Cr(3+):Al(2)O(3) ruby laser. The dynamics of the laser far-field divergence of such a laser indeed indicated initially a diverging effect while Z-scan measurements conclude to a converging one. The origin of this discrepancy is thus analysed and elucidated here by introducing the general concept of correlation collapse between the centre and the wings of a laser beam having some clipping. (C) 2010 Elsevier B.V. All rights reserved.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

6 x 8cm(2) electrochromic devices (ECDs) with the configuration K-glass/EC-layer/electrotype/ion-storage (IS) layer/K-glass, have been assembled using Nb2O5:Mo EC layers, a (CeO2)(0.81)-TiO2 IS-layer and a new gelatin electrolyte containing Li+ ions. The structure of the electrolyte is X-ray amorphous. Its ionic conductivity passed by a maximum of 1.5 x 10(-5) S/CM for a lithium concentration of 0.3g/15ml. The value increases with temperature and follows an Arrhenius law with an activation energy of 49.5 kJ/mol. All solid-state devices show a reversible gray coloration, a long-term stability of more than 25,000 switching cycles (+/- 2.0 V/90 s), a transmission change at 550 nm between 60% (bleached state) and 40% (colored state) corresponding to a change of the optical density (Delta OD = 0. 15) with a coloration efficiency increasing from 10cm(2)/C (initial cycle) to 23cm(2)/C (25,000th cycle). (c) 2007 Elsevier B.V. All rights reserved.