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.

Mass loss and wear mechanisms of HVOF-sprayed multi-component white cast iron coatings

In this work, multi-component white cast iron was applied by HVOF thermal spray process as alternative to other manufacture processes. Effects of substrate type, substrate pre-heating and heat treatment of coating on mass loss have been determined by rubber wheel apparatus in accordance with ASTM G-65. Furthermore, influence of heat treatment of coating on wear mechanisms was also determined by scanning electron microscopy analysis. Heat-treated coatings presented mass loss three times lower than as-sprayed coatings. Furthermore, wear mechanisms of as-sprayed coating are micro-cutting associated with cracks close to unmelted particles and pores. In heat-treated coating, lesser mass loss is due to sintering. (C) 2011 Elsevier B.V. All rights reserved.

Compact and autonomous multiwavelength microanalyzer for in-line and in situ colorimetric determinations

Nowadays, the attainment of microsystems that integrate most of the stages involved in an analytical process has raised an enormous interest in several research fields. This approach provides experimental set-ups of increased robustness and reliability, which simplify their application to in-line and continuous biomedical and environmental monitoring. In this work, a novel, compact and autonomous microanalyzer aimed at multiwavelength colorimetric determinations is presented. It integrates the microfluidics (a three-dimensional mixer and a 25 mm length "Z-shape" optical flow-cell), a highly versatile multiwavelength optical detection system and the associated electronics for signal processing and drive, all in the same device. The flexibility provided by its design allows the microanalyzer to be operated either in single fixed mode to provide a dedicated photometer or in multiple wavelength mode to obtain discrete pseudospectra. To increase its reliability, automate its operation and allow it to work under unattended conditions, a multicommutation sub-system was developed and integrated with the experimental set-up. The device was initially evaluated in the absence of chemical reactions using four acidochromic dyes and later applied to determine some key environmental parameters such as phenol index, chromium(VI) and nitrite ions. Results were comparable with those obtained with commercial instrumentation and allowed to demonstrate the versatility of the proposed microanalyzer as an autonomous and portable device able to be applied to other analytical methodologies based on colorimetric determinations.

The peculiar isolated neutron star in the Carina Nebula Deep XMM-Newton and ESO-VLT observations of 2XMM J104608.7-594306

While fewer in number than the dominant rotation-powered radio pulsar population, peculiar classes of isolated neutron stars (INSs) which include magnetars, the ROSAT-discovered "Magnificent Seven" (M7), rotating radio transients (RRATs), and central compact objects in supernova remnants (CCOs) - represent a key element in understanding the neutron star phenomenology. We report the results of an observational campaign to study the properties of the source 2XMM J104608.7-594306, a newly discovered thermally emitting INS. The evolutionary state of the neutron star is investigated by means of deep dedicated observations obtained with the XMM-Newton Observatory, the ESO Very Large Telescope, as well as publicly available gamma-ray data from the Fermi Space Telescope and the AGILE Mission. The observations confirm previous expectations and reveal a unique type of object. The source, which is likely within the Carina Nebula (N-H = 2.6x10(21) cm(-2)), has a spectrum that is both thermal and soft, with kT(infinity) = 135 eV. Non-thermal (magnetospheric) emission is not detected down to 1% (3 sigma, 0.1-12 keV) of the source luminosity. Significant deviations (absorption features) from a simple blackbody model are identified in the spectrum of the source around energies 0.6 keV and 1.35 keV. While the former deviation is likely related to a local oxygen overabundance in the Carina Nebula, the latter can only be accounted for by an additional spectral component, which is modelled as a Gaussian line in absorption with EW = 91 eV and sigma = 0.14 keV (1 sigma). Furthermore, the optical counterpart is fainter than m(V) = 27 (2 sigma) and no gamma-ray emission is significantly detected by either the Fermi or AGILE missions. Very interestingly, while these characteristics are remarkably similar to those of the M7 or the only RRAT so far detected in X-rays, which all have spin periods of a few seconds, we found intriguing evidence of very rapid rotation, P = 18.6ms, at the 4 sigma confidence level. We interpret these new results in the light of the observed properties of the currently known neutron star population, in particular those of standard rotation-powered pulsars, recycled objects, and CCOs. We find that none of these scenarios can satisfactorily explain the collective properties of 2XMM J104608.7-594306, although it may be related to the still poorly known class of Galactic anti-magnetars. Future XMM-Newton data, granted for the next cycle of observations (AO11), will help us to improve our current observational interpretation of the source, enabling us to significantly constrain the rate of pulsar spin down.

Mutations in CTC1, encoding conserved telomere maintenance component 1, cause Coats plus

Coats plus is a highly pleiotropic disorder particularly affecting the eye, brain, bone and gastrointestinal tract. Here, we show that Coats plus results from mutations in CTC1, encoding conserved telomere maintenance component 1, a member of the mammalian homolog of the yeast heterotrimeric CST telomeric capping complex. Consistent with the observation of shortened telomeres in an Arabidopsis CTC1 mutant and the phenotypic overlap of Coats plus with the telomeric maintenance disorders comprising dyskeratosis congenita, we observed shortened telomeres in three individuals with Coats plus and an increase in spontaneous gamma H2AX-positive cells in cell lines derived from two affected individuals. CTC1 is also a subunit of the alpha-accessory factor (AAF) complex, stimulating the activity of DNA polymerase-alpha primase, the only enzyme known to initiate DNA replication in eukaryotic cells. Thus, CTC1 may have a function in DNA metabolism that is necessary for but not specific to telomeric integrity.

Self-bound interacting QCD matter in compact stars

The quark gluon plasma (QGP) at zero temperature and high baryon number is a system that may be present inside compact stars. It is quite possible that this cold QGP shares some relevant features with the hot QGP observed in heavy ion collisions, being also a strongly interacting system. In a previous work we have derived from the QCD Lagrangian an equation of state (EOS) for the cold QGP, which can be considered an improved version of the MIT bag-model EOS. Compared to the latter, our EOS reaches higher values of the pressure at comparable baryon densities. This feature is due to perturbative corrections and also to nonperturbative effects. Here we apply this EOS to the study of neutron stars, discussing the absolute stability of quark matter and computing the mass-radius relation for self-bound (strange) stars. The maximum masses of the sequences exceed two solar masses, in agreement with the recently measured values of the mass of the pulsar PSR J1614-2230, and the corresponding radii of around 10-11 km.

Influence of the Sol-Gel pH Process and Compact Film on the Efficiency of TiO2-Based Dye-Sensitized Solar Cells

The influence of pH during hydrolysis of titanium(IV) isopropoxide on the morphological and electronic properties of TiO2 nanoparticles prepared by the sol-gel method is investigated and correlated to the photoelectrochemical parameters of dye-sensitized solar cells (DSCs) based on TiO2 films. Nanoparticles prepared under acid pH exhibit smaller particle size and higher surface area, which result in higher dye loadings and better short-circuit current densities than DSCs based on alkaline TiO2-processed films. On the other hand, the product of charge collection and separation quantum yields in films with TiO2 obtained by alkaline hydrolysis is c. a. 27% higher than for the acid TiO2 films. The combination of acid and alkaline TiO2 nanoparticles as mesoporous layer in DSCs results in a synergic effect with overall efficiencies up to 6.3%, which is better than the results found for devices employing one of the nanoparticles separately. These distinct nanoparticles can be also combined by using the layer-by-layer technique (LbL) to prepare compact TiO2 films applied before the mesoporous layer. DSCs employing photoanodes with 30 TiO2 bilayers have shown efficiencies up to 12% higher than the nontreated photoanode ones. These results can be conveniently used to develop optimized synthetic procedures of TiO2 nanoparticles for several dye-sensitized solar cell applications.

Vegetation mapping in an area of Ombrophilous Dense Forest at Parque Estadual da Serra do Mar, São Paulo State, Brazil, and floristic composition of the tree component of some physiognomies*

This study aimed to map phytophysiognomies of an area of Ombrophilous Dense Forest at Parque Estadual da Serra do Mar and characterize their floristic composition. Photointerpretation of aerial photographs in scale of 1:35,000 was realized in association with field work. Thirteen physiognomies were mapped and they were classified as Montane Ombrophilous Dense Forest, Alluvial Ombrophilous Dense Forest or Secondary System. Three physiognomies identified at Casa de Pedra streamlet's basin were studied with more details. Riparian forest (RF), valley forest (VF), and hill forest (HF) presented some floristic distinction, as confirmed by Detrended Correspondence Analysis (DCA) and Indicator Species Analysis (ISA) conducted here. Anthropic or natural disturbances and heterogeneity of environmental conditions may be the causes of physiognomic variation in the vegetation of the region. The results presented here may be useful to decisions related to management and conservation of Núcleo Santa Virgínia forests, in general.

Galaxy triplets in Sloan Digital Sky Survey Data Release 7: II. A connection with compact groups?

We analyse a sample of 71 triplets of luminous galaxies derived from the work of O’Mill et al. We compare the properties of triplets and their members with those of control samples of compact groups, the 10 brightest members of rich clusters and galaxies in pairs. The triplets are restricted to have members with spectroscopic redshifts in the range 0.01 ≤ z ≤ 0.14 and absolute r-band luminosities brighter than Mr = −20.5. For these member galaxies, we analyse the stellar mass content, the star formation rates, the Dn(4000) parameter and (Mg − Mr) colour index. Since galaxies in triplets may finally merge in a single system, we analyse different global properties of these systems. We calculate the probability that the properties of galaxies in triplets are strongly correlated. We also study total star formation activity and global colours, and define the triplet compactness as a measure of the percentage of the system total area that is filled by the light of member galaxies. We concentrate in the comparison of our results with those of compact groups to assess how the triplets are a natural extension of these compact systems. Our analysis suggests that triplet galaxy members behave similarly to compact group members and galaxies in rich clusters. We also find that systems comprising three blue, star-forming, young stellar population galaxies (blue triplets) are most probably real systems and not a chance configuration of interloping galaxies. The same holds for triplets composed of three red, non-star-forming galaxies, showing the correlation of galaxy properties in these systems. From the analysis of the triplet as a whole, we conclude that, at a given total stellar mass content, triplets show a total star formation activity and global colours similar to compact groups. However, blue triplets show a high total star formation activity with a lower stellar mass content. From an analysis of the compactness parameter of the systems we find that light is even more concentrated in triplets than in compact groups. We propose that triplets composed of three luminous galaxies, should not be considered as an analogous of galaxy pairs with a third extra member, but rather they are a natural extension of compact groups.

Programmable logic design of a compact Genetic Algorithm for phasor estimation in real-time

The main objective of this work is to present an efficient method for phasor estimation based on a compact Genetic Algorithm (cGA) implemented in Field Programmable Gate Array (FPGA). To validate the proposed method, an Electrical Power System (EPS) simulated by the Alternative Transients Program (ATP) provides data to be used by the cGA. This data is as close as possible to the actual data provided by the EPS. Real life situations such as islanding, sudden load increase and permanent faults were considered. The implementation aims to take advantage of the inherent parallelism in Genetic Algorithms in a compact and optimized way, making them an attractive option for practical applications in real-time estimations concerning Phasor Measurement Units (PMUs).