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.

An Asymmetric Extension for the Family of Elliptical Slash Distributions

In this article, we introduce an asymmetric extension to the univariate slash-elliptical family of distributions studied in Gomez et al. (2007a). This new family results from a scale mixture between the epsilon-skew-symmetric family of distributions and the uniform distribution. A general expression is presented for the density with special cases such as the normal, Cauchy, Student-t, and Pearson type II distributions. Some special properties and moments are also investigated. Results of two real data sets applications are also reported, illustrating the fact that the family introduced can be useful in practice.

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.

História e memória do ensino de física no Brasil: a faculdade de medicina de São Paulo (1913-1943)

Este trabalho apresenta um recorte histórico do ensino de Física na Faculdade de Medicina de São Paulo no período de 1913 a 1943. Vimos que o curso superior de Física foi essencial no remodelamento curricular da Física secundária. Destacamos a seleção cultural escolar por meio dos livros didáticos, apontando para aqueles que influenciaram e guiaram as mudanças curriculares da instituição, cujo enfoque curricular, no ensino de Física, foi criado em virtude de uma necessidade social. Mergulhamos nas práticas escolares por meio das relações microscópicas entre o que se estudava e que encontramos materializado nas avaliações do conteúdo de Física. Dessa forma, expusemos tradições pedagógicas, procedimentos e condutas sobre o cotidiano escolar da instituição que visavam aprimorar o ensino de Física. Assim, as questões e exercícios das provas analisadas, foram necessidades pedagógicas criadas dentro e para a escola, que não são constantes e uniformes, uma vez que dependem da sociedade, do público escolar e das matérias.