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.

RELATIONSHIP AMONG EXTRACTIVES, LIGNIN AND HOLOCELLULOSE CONTENTS WITH PERFORMANCE INDEX OF SEVEN WOOD SPECIES USED FOR BOWS OF STRING INSTRUMENTS

In this paper we investigate the influence of extractives, lignin and holocellulose contents on performance index (PI) of seven woods used or tested for violin bows. Woods with higher values of this index (PI = root MOE/rho, where MOE is modulus of elasticity and rho is density) have a higher bending stiffness at a given mass, which can be related to bow wood quality. Extractive content was negatively correlated with PI in Caesalpinia echinata, Hanclroanthus sp. and Astronium lecointei. In C. echinata holocellulose was positively correlated with PI. These results need to be further explored with more samples and by testing additional wood properties. Although the chemical constituents could provide an indication of quality, it is not possible to establish appropriate woods for bows solely by examining their chemical constituents.

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.