Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Qualidade das informações registradas nas declarações de óbito fetal em São Paulo, SP

OBJETIVO: Avaliar a qualidade da informação registrada nas declarações de óbito fetal. MÉTODOS: Estudo documental com 710 óbitos fetais em hospitais de São Paulo, SP, no primeiro semestre de 2008, registrados na base unificada de óbitos da Fundação Sistema Estadual de Análise de Dados e da Secretaria de Estado da Saúde de São Paulo. Foi analisada a completitude das variáveis das declarações de óbito fetal emitidas por hospitais e Serviço de Verificação de Óbitos. Os registros das declarações de óbito de uma amostra de 212 óbitos fetais de hospitais do Sistema Único de Saúde foram comparados com os dados dos prontuários e do registro do Serviço de Verificação de Óbitos. RESULTADOS: Dentre as declarações de óbito, 75% foram emitidas pelo Serviço de Verificação de Óbitos, mais freqüente nos hospitais do Sistema Único de Saúde (78%). A completitude das variáveis das declarações de óbito emitidas pelos hospitais foi mais elevada e foi maior nos hospitais não pertencentes ao Sistema Único de Saúde. Houve maior completitude, concordância e sensibilidade nas declarações de óbito emitidas pelos hospitais. Houve baixa concordância e elevada especificidade para as variáveis relativas às características maternas. Maior registro das variáveis sexo, peso ao nascer e duração da gestação foi observada nas declarações emitidas no Serviço de Verificação de Óbitos. A autópsia não resultou em aprimoramento da indicação das causas de morte: a morte fetal não especificada representou 65,7% e a hipóxia intrauterina, 24,3%, enquanto nas declarações emitidas pelos hospitais foi de 18,1% e 41,7%, respectivamente. CONCLUSÕES: É necessário aprimorar a completitude e a indicação das causas de morte dos óbitos fetais. A elevada proporção de autópsias não melhorou a qualidade da informação e a indicação das causas de morte. A qualidade das informações geradas de autópsias depende do acesso às informações hospitalares.

Cobertura vacinal em menores de dois anos a partir de registro informatizado de imunização em Curitiba, PR

OBJETIVO: Avaliar o programa de imunização de crianças de 12 e de 24 meses de idade, com base no registro informatizado de imunização. MÉTODOS: Estudo descritivo em amostra probabilística de 2.637 crianças nascidas em 2002 e residentes em Curitiba, PR. As fontes de dados foram: registro informatizado de imunização do município, Sistema de Informação de Nascidos Vivos e inquérito domiciliar para casos com registro incompleto. As coberturas foram estimadas aos 12 e aos 24 meses de vida e analisadas segundo características socioeconômicas de cada distrito sanitário e o vínculo das crianças aos serviços de saúde. Foram analisadas a abrangência, completude e duplicidades do registro informatizado de imunização. RESULTADOS: A cobertura do esquema de imunização foi de 95,3% aos 12 meses sem diferenças entre os distritos e de 90,3% aos 24 meses, tendo sido mais elevada em um distrito com piores indicadores socioeconômicos (p = 0,01). A proporção de vacinas, segundo o tipo, aplicadas antes e após a idade recomendada foi de até 0,9% e até 32,2%, respectivamente. A cobertura do registro informatizado de imunização foi de 98% na amostra estudada, o sub-registro de doses de vacinas foi de 11% e a duplicidade de registro foi de 20,6%. Os grupos que apresentaram maiores coberturas foram: crianças com cadastro definitivo, aquelas com três ou mais consultas pelo Sistema Único de Saúde e as atendidas em Unidades Básicas de Saúde que adotam plenamente a Estratégia de Saúde da Família. CONCLUSÕES: A cobertura vacinal em Curitiba mostrou-se elevada e homogênea entre os distritos, e o vínculo com os serviços de saúde foi fator importante para tais resultados. O registro informatizado de imunização mostrou-se útil no monitoramento da cobertura vacinal; no entanto, é importante a prévia avaliação do seu custo-efetividade para que seja amplamente utilizado pelo Programa Nacional de Imunização.

Malária autóctone notificada no Estado de São Paulo: aspectos clínicos e epidemiológicos de 1980 a 2007

INTRODUÇÃO: A malária autóctone no Estado de São Paulo caracteriza-se por surtos esporádicos na região oeste e transmissão persistente na região leste onde ocorrem casos oligossintomáticos com baixa parasitemia pelo Plasmodium vivax. Os objetivos deste estudo foram: analisar a completitude das fichas de notificação de malária autóctone; estimar a tendência da incidência de casos autóctones no ESP de 1980 a 2007; analisar o comportamento clínico e epidemiológico dos casos em duas regiões de autoctonia neste período. MÉTODOS: Foi realizado um estudo descritivo com 18 variáveis das FIN de malária do ESP, analisadas em duas regiões e em dois períodos (1980-1993 e 1994-2007). Fontes de dados: SUCEN/SES/SP, SINAN/CVE/SES/SP e DATASUS. RESULTADOS: A completitude foi superior a 85% em 11 variáveis. A tendência da incidência foi decrescente. Foram notificados 821 casos autóctones, 91,6% na região leste, predominando Plasmodium vivax. A infecção assintomática teve maior porcentagem no segundo período (p<0,001). CONCLUSÕES: A completitude das informações foi considerada satisfatória. As diferenças clínicas encontradas merecem atenção da vigilância epidemiológica que deve lidar com o desafio da infecção assintomática por Plasmodium.

Recovery of the star formation history of the LMC from the VISTA survey of the Magellanic system

The VISTA near infrared survey of the Magellanic System (VMC) will provide deep YJK(s) photometry reaching stars in the oldest turn-off point throughout the Magellanic Clouds (MCs). As part of the preparation for the survey, we aim to access the accuracy in the star formation history (SFH) that can be expected from VMC data, in particular for the Large Magellanic Cloud (LMC). To this aim, we first simulate VMC images containing not only the LMC stellar populations but also the foreground Milky Way (MW) stars and background galaxies. The simulations cover the whole range of density of LMC field stars. We then perform aperture photometry over these simulated images, access the expected levels of photometric errors and incompleteness, and apply the classical technique of SFH-recovery based on the reconstruction of colour-magnitude diagrams (CMD) via the minimisation of a chi-squared-like statistics. We verify that the foreground MW stars are accurately recovered by the minimisation algorithms, whereas the background galaxies can be largely eliminated from the CMD analysis due to their particular colours and morphologies. We then evaluate the expected errors in the recovered star formation rate as a function of stellar age, SFR(t), starting from models with a known age-metallicity relation (AMR). It turns out that, for a given sky area, the random errors for ages older than similar to 0.4 Gyr seem to be independent of the crowding. This can be explained by a counterbalancing effect between the loss of stars from a decrease in the completeness and the gain of stars from an increase in the stellar density. For a spatial resolution of similar to 0.1 deg(2), the random errors in SFR(t) will be below 20% for this wide range of ages. On the other hand, due to the lower stellar statistics for stars younger than similar to 0.4 Gyr, the outer LMC regions will require larger areas to achieve the same level of accuracy in the SFR( t). If we consider the AMR as unknown, the SFH-recovery algorithm is able to accurately recover the input AMR, at the price of an increase of random errors in the SFR(t) by a factor of about 2.5. Experiments of SFH-recovery performed for varying distance modulus and reddening indicate that these parameters can be determined with (relative) accuracies of Delta(m-M)(0) similar to 0.02 mag and Delta E(B-V) similar to 0.01 mag, for each individual field over the LMC. The propagation of these errors in the SFR(t) implies systematic errors below 30%. This level of accuracy in the SFR(t) can reveal significant imprints in the dynamical evolution of this unique and nearby stellar system, as well as possible signatures of the past interaction between the MCs and the MW.

DECISION TREE CLASSIFIERS FOR STAR/GALAXY SEPARATION

We study the star/galaxy classification efficiency of 13 different decision tree algorithms applied to photometric objects in the Sloan Digital Sky Survey Data Release Seven (SDSS-DR7). Each algorithm is defined by a set of parameters which, when varied, produce different final classification trees. We extensively explore the parameter space of each algorithm, using the set of 884,126 SDSS objects with spectroscopic data as the training set. The efficiency of star-galaxy separation is measured using the completeness function. We find that the Functional Tree algorithm (FT) yields the best results as measured by the mean completeness in two magnitude intervals: 14 <= r <= 21 (85.2%) and r >= 19 (82.1%). We compare the performance of the tree generated with the optimal FT configuration to the classifications provided by the SDSS parametric classifier, 2DPHOT, and Ball et al. We find that our FT classifier is comparable to or better in completeness over the full magnitude range 15 <= r <= 21, with much lower contamination than all but the Ball et al. classifier. At the faintest magnitudes (r > 19), our classifier is the only one that maintains high completeness (> 80%) while simultaneously achieving low contamination (similar to 2.5%). We also examine the SDSS parametric classifier (psfMag - modelMag) to see if the dividing line between stars and galaxies can be adjusted to improve the classifier. We find that currently stars in close pairs are often misclassified as galaxies, and suggest a new cut to improve the classifier. Finally, we apply our FT classifier to separate stars from galaxies in the full set of 69,545,326 SDSS photometric objects in the magnitude range 14 <= r <= 21.

Intersubband-induced spin-orbit interaction in quantum wells

Recently, we have found an additional spin-orbit (SO) interaction in quantum wells with two subbands [Bernardes , Phys. Rev. Lett. 99, 076603 (2007)]. This new SO term is nonzero even in symmetric geometries, as it arises from the intersubband coupling between confined states of distinct parities, and its strength is comparable to that of the ordinary Rashba. Starting from the 8x8 Kane model, here we present a detailed derivation of this new SO Hamiltonian and the corresponding SO coupling. In addition, within the self-consistent Hartree approximation, we calculate the strength of this new SO coupling for realistic symmetric modulation-doped wells with two subbands. We consider gated structures with either a constant areal electron density or a constant chemical potential. In the parameter range studied, both models give similar results. By considering the effects of an external applied bias, which breaks the structural inversion symmetry of the wells, we also calculate the strength of the resulting induced Rashba couplings within each subband. Interestingly, we find that for double wells the Rashba couplings for the first and second subbands interchange signs abruptly across the zero bias, while the intersubband SO coupling exhibits a resonant behavior near this symmetric configuration. For completeness we also determine the strength of the Dresselhaus couplings and find them essentially constant as function of the applied bias.

New prediction methods for CO2 evaporation inside tubes: Part II - An updated general flow boiling heat transfer model based on flow patterns

Corresponding to the updated flow pattern map presented in Part I of this study, an updated general flow pattern based flow boiling heat transfer model was developed for CO2 using the Cheng-Ribatski-Wojtan-Thome [L. Cheng, G. Ribatski, L. Wojtan, J.R. Thome, New flow boiling heat transfer model and flow pattern map for carbon dioxide evaporating inside horizontal tubes, Int. J. Heat Mass Transfer 49 (2006) 4082-4094; L. Cheng, G. Ribatski, L. Wojtan, J.R. Thome, Erratum to: ""New flow boiling heat transfer model and flow pattern map for carbon dioxide evaporating inside tubes"" [Heat Mass Transfer 49 (21-22) (2006) 4082-4094], Int. J. Heat Mass Transfer 50 (2007) 391] flow boiling heat transfer model as the starting basis. The flow boiling heat transfer correlation in the dryout region was updated. In addition, a new mist flow heat transfer correlation for CO2 was developed based on the CO2 data and a heat transfer method for bubbly flow was proposed for completeness sake. The updated general flow boiling heat transfer model for CO2 covers all flow regimes and is applicable to a wider range of conditions for horizontal tubes: tube diameters from 0.6 to 10 mm, mass velocities from 50 to 1500 kg/m(2) s, heat fluxes from 1.8 to 46 kW/m(2) and saturation temperatures from -28 to 25 degrees C (reduced pressures from 0.21 to 0.87). The updated general flow boiling heat transfer model was compared to a new experimental database which contains 1124 data points (790 more than that in the previous model [Cheng et al., 2006, 2007]) in this study. Good agreement between the predicted and experimental data was found in general with 71.4% of the entire database and 83.2% of the database without the dryout and mist flow data predicted within +/-30%. However, the predictions for the dryout and mist flow regions were less satisfactory due to the limited number of data points, the higher inaccuracy in such data, scatter in some data sets ranging up to 40%, significant discrepancies from one experimental study to another and the difficulties associated with predicting the inception and completion of dryout around the perimeter of the horizontal tubes. (C) 2007 Elsevier Ltd. All rights reserved.

Short-term effects of gamma ray bursts on Earth

The aim of the present work is to study the potential short-term atmospheric and biospheric influence of Gamma Ray Bursts on the Earth. We focus in the ultraviolet flash at planet`s surface, which occurs as a result of the retransmission of the gamma radiation through the atmosphere. This would be the only important short-term effect on life. We mostly consider Archean and Proterozoic eons, and for completeness we also comment on the Phanerozoic. Therefore, in our study we consider atmospheres with oxygen levels ranging from 10(-5) to 1 of the present atmospheric level, representing different moments in the oxygen rise history. Ecological consequences and some strategies to estimate their importance are outlined.

Multi-Conjugate Adaptive Optics VLT imaging of the distant old open cluster FSR 1415

We employ the recently installed near-infrared Multi-Conjugate Adaptive Optics demonstrator (MAD) to determine the basic properties of a newly identified, old and distant, Galactic open cluster (FSR 1415). The MAD facility remarkably approaches the diffraction limit, reaching a resolution of 0.07 arcsec (in K), that is also uniform in a field of similar to 1.8 arcmin in diameter. The MAD facility provides photometry that is 50 per cent complete at K similar to 19. This corresponds to about 2.5 mag below the cluster main-sequence turn-off. This high-quality data set allows us to derive an accurate heliocentric distance of 8.6 kpc, a metallicity close to solar and an age of similar to 2.5 Gyr. On the other hand, the deepness of the data allows us to reconstruct (completeness-corrected) mass functions (MFs) indicating a relatively massive cluster, with a flat core MF. The Very Large Telescope/MAD capabilities will therefore provide fundamental data for identifying/analysing other faint and distant open clusters in the Galaxy III and IV quadrants.

THE VORONOI TESSELLATION CLUSTER FINDER IN 2+1 DIMENSIONS

We present a detailed description of the Voronoi Tessellation (VT) cluster finder algorithm in 2+1 dimensions, which improves on past implementations of this technique. The need for cluster finder algorithms able to produce reliable cluster catalogs up to redshift 1 or beyond and down to 10(13.5) solar masses is paramount especially in light of upcoming surveys aiming at cosmological constraints from galaxy cluster number counts. We build the VT in photometric redshift shells and use the two-point correlation function of the galaxies in the field to both determine the density threshold for detection of cluster candidates and to establish their significance. This allows us to detect clusters in a self-consistent way without any assumptions about their astrophysical properties. We apply the VT to mock catalogs which extend to redshift 1.4 reproducing the ACDM cosmology and the clustering properties observed in the Sloan Digital Sky Survey data. An objective estimate of the cluster selection function in terms of the completeness and purity as a function of mass and redshift is as important as having a reliable cluster finder. We measure these quantities by matching the VT cluster catalog with the mock truth table. We show that the VT can produce a cluster catalog with completeness and purity > 80% for the redshift range up to similar to 1 and mass range down to similar to 10(13.5) solar masses.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

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.

Sensitivity of complex networks measurements

Complex networks obtained from real-world networks are often characterized by incompleteness and noise, consequences of imperfect sampling as well as artifacts in the acquisition process. Because the characterization, analysis and modeling of complex systems underlain by complex networks are critically affected by the quality and completeness of the respective initial structures, it becomes imperative to devise methodologies for identifying and quantifying the effects of the sampling on the network structure. One way to evaluate these effects is through an analysis of the sensitivity of complex network measurements to perturbations in the topology of the network. In this paper, measurement sensibility is quantified in terms of the relative entropy of the respective distributions. Three particularly important kinds of progressive perturbations to the network are considered, namely, edge suppression, addition and rewiring. The measurements allowing the best balance of stability (smaller sensitivity to perturbations) and discriminability (separation between different network topologies) are identified with respect to each type of perturbation. Such an analysis includes eight different measurements applied on six different complex networks models and three real-world networks. This approach allows one to choose the appropriate measurements in order to obtain accurate results for networks where sampling bias cannot be avoided-a very frequent situation in research on complex networks.

Crystallization and Preliminary Crystallographic Analysis of Laminarinase from Rhodothermus marinus: A Case of Pseudomerohedral Twinning

Thermophilic endo-1,3(4)-beta-glucanase (laminarinase) from Rhodothermus marinus was crystallized by the hanging-drop vapor diffusion method. The needle-like crystals belong to space group P2(1) and contain two protein molecules in the asymmetric unit with a solvent content of 51.75%. Diffraction data were collected to a resolution of 1.95 angstrom and resulted in a dataset with an overall R-merge of 10.4% and a completeness of 97.8%. Analysis of the structure factors revealed pseudomerohedral twinning of the crystals with a twin fraction of approximately 42%.