MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

The Prelude from Suite for solo Piano Le Tombeau de Couperin by Maurice Ravel: compositional and interpretive considerations

This article, part of a doctoral research conducted at the Department of Music of the ECA/USP/FAPESP aims to elucidate compositional and technical procedures in the Prelude from the suite Le Tombeau de Couperin (1914-1917) by french composer Maurice Ravel. Such procedures are traced back to French barroque composer Francois Couperin (1668-1733) harpsichord pieces, and are translated by Ravel to the modern piano. Thus, by studying the works for harpsichord by Couperin it was possible to see a kind of fusion of two languages and two instrumental techniques apart in time. This fusion of languages poses several interpretive questions.

Petrology and Sr-Nd characteristics of the Nova Lacerda dike swarm, SW Amazonian Craton: new insights regarding its subcontinental mantle source and Mesoproterozoic geodynamics

The NNW-trending Nova Lacerda tholeiitic dike swarm in Mato Grosso State, Central Brazil, intrudes the Nova Lacerda granite (1.46 Ga) and the Jauru granite-greenstone terrain (ca. 1.79-1.77 Ga). The swarm comprises diabases I and II and amphibolites emplaced at ca. 1.38 Ga. Geochemical data indicate that these are evolved tholeiites characterized by high LILE/HSFE and LREE/HSFE ratios. Isotopic modelling yields positive epsilon(Nd)(T) values (+0.86 to +2.65), whereas values for epsilon(Sr)(T) range from positive to negative (+1.96 to -5.56). Crustal contamination did not play a significant petrogenetic role, as indicated by a comparison of isotopic data (Sr-Nd) from both dikes and country rocks, and by the relationship between isotopic and geochemical parameters (SiO2, K2O, Rb/Sr, and La/Yb) of the dikes. We attribute the origin of these tholeiites to fractional crystallization of evolved melts derived from a heterogeneous mantle source. Comparison of the geochemical and isotopic data of the studied swarm and other tholeiitic Mesoproterozoic mafic intrusions of the SWAmazonian Craton the Serra da Providencia, Colorado, and Nova Brasilandia bimodal suites - indicates that parental melts of the Nova Lacerda swarm were derived from the most enriched mantle source. This enrichment was probably caused by the stronger influence of the EMI component on the DMM end-member. These data, coupled with trace element bulk-rock geochemistry of the country rocks, and comparisons with the Colorado Complex of similar age, suggest a continental-margin arc setting for the emplacement of the Nova Lacerda dikes.

Chaotic encryption method based on life-like cellular automata

A chaotic encryption algorithm is proposed based on the "Life-like" cellular automata (CA), which acts as a pseudo-random generator (PRNG). The paper main focus is to use chaos theory to cryptography. Thus, CA was explored to look for this "chaos" property. This way, the manuscript is more concerning on tests like: Lyapunov exponent, Entropy and Hamming distance to measure the chaos in CA, as well as statistic analysis like DIEHARD and ENT suites. Our results achieved higher randomness quality than others ciphers in literature. These results reinforce the supposition of a strong relationship between chaos and the randomness quality. Thus, the "chaos" property of CA is a good reason to be employed in cryptography, furthermore, for its simplicity, low cost of implementation and respectable encryption power. (C) 2012 Elsevier Ltd. All rights reserved.