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.

High T/P evolution and metamorphic ages of the migmatitic basement of northern Sierras Pampeanas, Argentina: Characterization of a mid-crustal segment of the Famatinian belt

New petrologic, thermobarometric and U-Pb monazite geochronologic information allowed to resolve the metamorphic evolution of a high temperature mid-crustal segment of an ancient subduction-related orogen. The EI Portezuelo Metamorphic-Igneous Complex, in the northern Sierras Pampeanas, is mainly composed of migmatites that evolved from amphibolite to granulite metamorphic facies, reaching thermal peak conditions of 670-820 degrees C and 4.5-5.3 kbar. The petrographic study combined with conventional and pseudosection thermobarometry led to deducing a short prograde metamorphic evolution within migmatite blocks. The garnet-absent migmatites represent amphibolite-facies rocks, whereas the cordierite-garnet-K-feldspar-sillimanite migmatites represent higher metamorphic grade rocks. U-Pb geochronology on monazite grains within leucosome record the time of migmatization between approximate to 477 and 470 Ma. Thus, the El Portezuelo Metamorphic-Igneous Complex is an example of exhumed Early Ordovician anatectic middle crust of the Famatinian mobile belt. Homogeneous exposure of similar paleo-depths throughout the Famatinian back-arc and isobaric cooling paths suggest slow exhumation and consequent longstanding crustal residence at high temperatures. High thermal gradients uniformly distributed in the Famatinian back-arc can be explained by shallow convection of a low-viscosity asthenosphere promoted by subducting-slab dehydration. (C) 2011 Elsevier Ltd. All rights reserved.

Transparent Fault Tolerance for Web Services based Architectures

Service-based architectures enable the development of new classes of Grid and distributed applications. One of the main capabilities provided by such systems is the dynamic and flexible integration of services, according to which services are allowed to be a part of more than one distributed system and simultaneously serve different applications. This increased flexibility in system composition makes it difficult to address classical distributed system issues such as fault-tolerance. While it is relatively easy to make an individual service fault-tolerant, improving fault-tolerance of services collaborating in multiple application scenarios is a challenging task. In this paper, we look at the issue of developing fault-tolerant service-based distributed systems, and propose an infrastructure to implement fault tolerance capabilities transparent to services.

Fault Lines and Earthquakes of Maine 1568-2005

http://digitalcommons.colby.edu/atlasofmaine2008/1006/thumbnail.jpg

Prevalence of biomicroscopic findings in the anterior segment and ocular adnexa among schoolchildren in Natal/Brazil

Objective: To determine the prevalence of ocular findings of the external structures and anterior segment of the eye, detected by biomicroscopic examination in schoolchildren in Natal (RN) - Brazil. Methods: After previous random selection, 1,024 pupils from elementary and secondary public and private schools in the city of Natal were evaluated from March to June 2001. All were submitted to preestablished standard research norms, consisting of identification, demographic information, ophthalmologic biomicroscopic examination, with slit lamp, performed by ophthalmologists from the “Onofre Lopes” University Hospital. Results: Alterations of the conjunctival and palpebral conditions were the most prevalent (10.4% and 6.2% respectively). Follicles (4.2%) and papillae (3.0%) were the frequent conjunctival lesions, while blepharitis (3.5%) and meibomitis (1.1%) were the most detected abnormalities in the eyelids. Upon examining the cornea, iris, lens and anterior vitreous, the most encountered findings were nubecula (0.5%), papillary membrane reliquiae (0.5%), posterior capsula opacity (0.8%) and hyaloid arteria reliquiae (2.0%). Conclusion: The most prevalent findings affecting the external structures of the eye such as eyelids and conjunctiva, consisted of blepharitis followed by follicular reaction of the conjunctiva. The most prevalent abnormalities in the cornea, iris, lens and anterior vitreous were nubecula, papillary membrane reliquiae, posterior capsular opacity and hyaloid arteria reliquiae, in that order

The amount of solar energy made available for the production of a sabia (Mimosa caesalpinaefolia Benth.) seed has a determinating effect on its becoming dormant

The amount of solar energy made available for the production of a sabid seed varied as a function of the time of the year, the face of the plant in which, the position in the plant on which and the position in the pod in which it was produced.Variation in solar energy availability as a consequence of the time of the year was a direct consequence of latitude. At 21degrees5'22 S the highest amounts of Global Solar Radiation (GSR) reaching the site where the experiment was conducted took place during the months from November through February. During these months there were no marked differences between any two of the amounts of GSR reaching faces North (N), South (S), West (W) East (E). From February through November (period during which the sabid plants of this study flowered and the resulting seeds matured and were harvested) the total GSR's were the lowest and marked differences were found between faces N and S, with face N receiving much more GSR than face S. During that period, faces W and E received practically the same amount of GSR and it was much less than that received by face N and much more than the one received by face S.The amount of biological energy made available for the development of a seed seemed also to vary according to a dry matter partitioning strategy by the plant -the central third of the plant seemed to be the one receiving the highest amounts of energy, followed either by the upper or the lower third of the plant- it was not very clear which third of the plant immediately followed the central one. The partitioning of biological energy at the pod level also seemed to follow a strategy by which the central seeds would be the ones to receive more, followed by the proximal seeds and these by the distal ones.This availability of energy seemed to have a direct effect on seed size, weight and on the percentage of seeds which showed a degree of dormancy deep enough to prevent their germinating under the conditions of a standard germination test.The implications of these results for the improvement of methods for the overcoming of dormancy of sabia seeds are discussed.

Fatores que afetam o interesse de compra de produtos orgânicos em supermercados de Manaus/AM

Demand for organic foods in the Brazil are growing year last, characterizing itself for if constituting in a new strategical segment of commercialization. In this context, the objective of this research was to investigate the factor that influence the interest of the consumers in the purchase decision of organic products, aiming to characterize the level of competitiveness of these products, assisting in the creation of environmental strategies for the development of the activity and contributing in the increment of the knowledge about the subject, that can assist it in the increase of the commercialization and the consumption of these foods. From data collected in the city of Manaus/AM, it was used a survey research, of exploratory and descriptive character. The sample was obtained using 421 questionnaires, in which was realized the descriptive analysis, analysis of groupings and association analysis among variables using the test qui-square. The results found in this study indicate that the majority the of consumers of supermarkets of the Manaus/AM never to purchase organic foods. Generally the consumers to have few or some knowledge about these foods, however, the level of the interest in to obtain information about the subject is high.The barriers mains in the purchase of organic products are the label fault in the product and the quality no certificate in the product. Among the profile characteristics, the variables income and level scholar are associate to interest level in the obtain information about the subject

Synthesis and physical properties of lipid-based poly(ester-urethane)s, I: Effect of varying polyester segment length

Four aliphatic thermoplastic poly(ester-urethane)s (PEUs) with similar molecular weights but varying polyesters molecular weight (534-1488 g/mol) were prepared from polyester diols, obtained by melt condensation of Azelaic acid and 1,9-Nonanediol, and 1,7-heptamethylene di-isocyanate (HPMDI) all sourced from vegetable oil feedstock. The thermal, and mechanical properties, and crystal structure of PEUs were investigated using DSC, TGA, DMA, tensile analysis and WAXD. For sufficiently long polyester chain, WAXD data indicated no hydrogen bonds polyethylene (PE)-like crystalline packing and for short polyester chains, small crystal domains with significant H-bonded polyamide (PA)-like packing. Crystallinity decreased with decreasing polyester molecular weights. The polymorphism of PEUs and consequently their melting characteristics were found to be largely controlled by polyester segment length. TGA of the PEUs indicated improved thermal stability with decreasing polyester chain length, suggesting a stabilization effect by urethane groups. Mechanical properties investigated by DMA and tensile analysis were found to scale predictably with the overall crystallinity of PEUs. (C) 2012 Elsevier Ltd. All rights reserved.

EFFICIENT FAULT LOCATION IN UNDERGROUND DISTRIBUTION SYSTEMS THROUGH OPTIMUM-PATH FOREST

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

Superconducting state in a mesoscopic segment ring

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

Fault Current Limiter Using YBCO Coated Conductor-The Limiting Factor and Its Recovery Time

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

Test of a Modular Fault Current Limiter for 220 V Line Using YBCO Coated Conductor Tapes With Shunt Protection

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