Exceptional times for the dynamical discrete web

The dynamical discrete web (DyDW), introduced in the recent work of Howitt and Warren, is a system of coalescing simple symmetric one-dimensional random walks which evolve in an extra continuous dynamical time parameter tau. The evolution is by independent updating of the underlying Bernoulli variables indexed by discrete space-time that define the discrete web at any fixed tau. In this paper, we study the existence of exceptional (random) values of tau where the paths of the web do not behave like usual random walks and the Hausdorff dimension of the set of such exceptional tau. Our results are motivated by those about exceptional times for dynamical percolation in high dimension by Haggstrom, Peres and Steif, and in dimension two by Schramm and Steif. The exceptional behavior of the walks in the DyDW is rather different from the situation for the dynamical random walks of Benjamini, Haggstrom, Peres and Steif. For example, we prove that the walk from the origin S(0)(tau) violates the law of the iterated logarithm (LIL) on a set of tau of Hausdorff dimension one. We also discuss how these and other results should extend to the dynamical Brownian web, the natural scaling limit of the DyDW. (C) 2009 Elsevier B.V. All rights reserved.

Investigation on the intergranular corrosion resistance of the AISI 316L(N) stainless steel after long time creep testing at 600 degrees C

The effect of precipitation on the corrosion resistance of AISI 316L(N) stainless steel previously exposed to creep tests at 600 degrees C for periods of up to 10 years, has been studied. The corrosion resistance was investigated in 2 M H(2)SO(4)+0.5 M NaCl+0.01 M KSCN solution at 30 degrees C by electrochemical methods. The results showed that the susceptibility to intergranular corrosion was highly affected by aging at 600 degrees C and creep testing time. The intergranular corrosion resistance decreased by more than twenty times when the creep testing time increased from 7500 h to 85,000 h. The tendency to passivation decreased and less protective films were formed on the creep tested samples. All tested samples also showed susceptibility to pitting. Grain boundary M(23)C(6) carbides were not found after long-term exposure at 600 degrees C and the corrosion behavior of the creep tested samples was attributed to intermetallic phases (mainly sigma phase) precipitation. (C) 2007 Elsevier Inc. All rights reserved.

An aspect-oriented reference architecture for Software Engineering Environments

Reusable and evolvable Software Engineering Environments (SEES) are essential to software production and have increasingly become a need. In another perspective, software architectures and reference architectures have played a significant role in determining the success of software systems. In this paper we present a reference architecture for SEEs, named RefASSET, which is based on concepts coming from the aspect-oriented approach. This architecture is specialized to the software testing domain and the development of tools for that domain is discussed. This and other case studies have pointed out that the use of aspects in RefASSET provides a better Separation of Concerns, resulting in reusable and evolvable SEEs. (C) 2011 Elsevier Inc. All rights reserved.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Improving data perturbation testing techniques for Web services

The widespread use of service-oriented architectures (SOAs) and Web services in commercial software requires the adoption of development techniques to ensure the quality of Web services. Testing techniques and tools concern quality and play a critical role in accomplishing quality of SOA based systems. Existing techniques and tools for traditional systems are not appropriate to these new systems, making the development of Web services testing techniques and tools required. This article presents new testing techniques to automatically generate a set of test cases and data for Web services. The techniques presented here explore data perturbation of Web services messages upon data types, integrity and consistency. To support these techniques, a tool (GenAutoWS) was developed and applied to real problems. (C) 2010 Elsevier Inc. All rights reserved.

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.

A transformational language for mutant description

Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment. (C) 2008 Elsevier Ltd. All rights reserved.

Analysis of a Reconfigurable Bandpass Circular Patch Filter

This paper presents an analysis of a reconfigurable patch filter based on a triple-mode circular patch resonator with four radial slots. The analysis has been carried out thanks to the development of a new theoretical approach of the tunable patch filter based on the coupling matrix. The coefficients of the coupling matrix related to the tunable behavior have been identified and some rules for their evolution have been derived. For a proof-of-concept, a bandpass filter has been designed with a continuous tunability obtained with varactors connected across the slots. State-of-the-art results have been obtained, with a frequency tuning range of 27% from 1.95 to 2.43 GHz and a change in fractional bandwidth from 8.5% to 31.5% for the respective frequencies. In the entire tuning range, the return loss is better than 10 dB and the maximum insertion loss is 2 dB. Due to the newly developed coupling matrix, measurements, simulations, and theory showed great agreement.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

A combined study of behavior and Fos expression in limbic structures after re-testing Wistar rats in the elevated plus-maze

The elevated plus-maze is an animal model used to study anxiety. In a second session, rats show a reduction in the exploratory behavior even when the two sessions are separated by intervals as large as 7 days. The aim of the present study was to investigate whether the reduction in the exploratory behavior is maintained after intervals larger than 7 days. Additionally, we aimed at investigating eventual correlations between behaviors in the plus-maze and activation of limbic structures as measured by Fos protein expression after the second session. Rats were tested for 5 min in the elevated plus-maze and re-tested 3, 9 or 33 days later. Other groups were tested only once. The rat brains were processed for immunohistochemical detection of Fos protein. The results show a decrease in the open arms exploration in the second trial with intervals of 3, 9 and 33 days. The expression of Fos protein in the piriform cortex, septal nucleus and paraventricular hypothalamic nucleus in the groups tested with intervals of 9 and 33 days were statistically different from the other groups. The alterations observed in exploratory behavior in the second session in the plus-maze did not correlate with Fos expression. In conclusion, although the specific test conditions were sufficient to evoke behavioral alterations in exploration in the elevated plus-maze, they were enough to induce significant Fos protein expression in piriform cortex, septal nucleus and thalamic and hypothalamic paraventricular nuclei but not in other areas such as dorsomedial nucleus of the hypothalamus and amygdala nuclei, known to be also active participants in circuits controlling fear and anxiety. (C) 2010 Elsevier Inc. All rights reserved.

The direct determination of rare earth elements in basaltic and related rocks using ICP-MS: Testing the efficiency of microwave oven sample decomposition procedures

Tests are described showing the results obtained for the determination of REE and the trace elements Rb, Y, Zr, Nb, Cs, Ba, Hf, Ta, Pb, Th and U with ICP-MS methodology for nine basaltic reference materials, and thirteen basalts and amphibolites from the mafic-ultramafic Niquelandia Complex, central Brazil. Sample decomposition for the reference materials was performed by microwave oven digestion (HF and HNO(3), 100 mg of sample), and that for the Niquelandia samples also by Parr bomb treatment (5 days at 200 degrees C, 40 mg of sample). Results for the reference materials were similar to published values, thus showing that the microwave technique can be used with confidence for basaltic rocks. No fluoride precipitates were observed in the microwave-digested solutions. Total recovery of elements, including Zr and Hf, was obtained for the Niquelandia samples, with the exception of an amphibolite. For this latter sample, the Parr method achieved a total digestion, but not so the microwave decomposition; losses, however, were observed only for Zr and Hf, indicating difficulty in dissolving Zr-bearing minerals by microwave acid attack.

Reprodutibilidade das mensurações da espessura das tábuas ósseas na tomografia computadorizada Cone-Beam utilizando diferentes protocolos de aquisição de imagem

INTRODUÇÃO: quanto menor a dimensão do voxel, maior a nitidez da imagem de tomografia computadorizada Cone-Beam (TCCB), porém, maior a dose de radiação emitida. OBJETIVOS: avaliar e comparar a reprodutibilidade da mensuração da espessura das tábuas ósseas vestibular e lingual em imagens de TCCB, utilizando diferentes protocolos de aquisição de imagem com variação da dimensão do voxel. MÉTODOS: exames de TCCB foram tomados de 12 mandíbulas humanas secas, com dimensão do voxel de 0,2; 0,3 e 0,4mm, no aparelho i-CAT Cone-Beam 3-D Dental Imaging System. No software i-CAT Viewer, foi mensurada a espessura das tábuas ósseas vestibular e lingual, em um corte axial passando 12mm acima do forame mentoniano do lado direito. A reprodutibilidade intraexaminador foi avaliada por meio da aplicação do teste t pareado. Para a comparação interexaminadores, foi utilizado o teste t independente. Os resultados foram considerados com o nível de significância de 5%. RESULTADOS: observou-se uma excelente reprodutibilidade interexaminadores para os três protocolos avaliados. A reprodutibilidade intraexaminadores foi muito boa, com exceção de algumas regiões dos dentes anteriores, que mostraram diferenças estatisticamente significativas, independentemente da dimensão do voxel. CONCLUSÃO: a mensuração da espessura das tábuas ósseas vestibular e lingual em imagens de TCCB mostrou boa precisão para exames obtidos com voxel de 0,2; 0,3 ou 0,4mm. A reprodutibilidade das mensurações na região anterior da mandíbula foi mais crítica do que na região posterior.

Stress distribution in the cervical region of an upper central incisor in a 3D finite element model

The aim of this study was to evaluate the stress distribution in the cervical region of a sound upper central incisor in two clinical situations, standard and maximum masticatory forces, by means of a 3D model with the highest possible level of fidelity to the anatomic dimensions. Two models with 331,887 linear tetrahedral elements that represent a sound upper central incisor with periodontal ligament, cortical and trabecular bones were loaded at 45º in relation to the tooth's long axis. All structures were considered to be homogeneous and isotropic, with the exception of the enamel (anisotropic). A standard masticatory force (100 N) was simulated on one of the models, while on the other one a maximum masticatory force was simulated (235.9 N). The software used were: PATRAN for pre- and post-processing and Nastran for processing. In the cementoenamel junction area, tensile forces reached 14.7 MPa in the 100 N model, and 40.2 MPa in the 235.9 N model, exceeding the enamel's tensile strength (16.7 MPa). The fact that the stress concentration in the amelodentinal junction exceeded the enamel's tensile strength under simulated conditions of maximum masticatory force suggests the possibility of the occurrence of non-carious cervical lesions such as abfractions.

Análise das relações taxonômicas e sistemáticas entre espécies de triatomíneos (Hemiptera, Reduviidae) de colônias mantidas pelo Serviço Especial de Saúde de Araraquara, inferida de seqüências do 16S rDNA mitocondrial

Foram analisadas seqüências de nucleotídeos do gene 16S do rDNA mitocondrial em 14 populações de triatomíneos mantidos em colônias no insetário SESA de Araraquara- SP, comparando-as com seqüências do mesmo gene disponíveis no GenBank. Os fragmentos variaram de 311 a 317 pb com baixa variação intra-específica entre as distâncias genéticas (0% a 0,6%), exceto para os relacionamentos entre espécimes de Triatoma sordida (1%) e espécimes de T. brasiliensis (1,3%) atribuídos a populações geográficas diferentes. A parafilia de Rhodniini e do gênero Panstrongylus foi evidenciada pelas analises, confirmando resultados anteriores entre estes e os estreitos relacionamentos de R. prolixus com R. robustus e de T. infestans e T. platensis. O relacionamento entre T. maculata e T. pseudomaculata não foi solucionado, uma vez que, esses táxons apareceram tanto em monofilia quanto em parafilia: T. pseudomaculata (SESA) está agrupado com T. maculata (seqüência do GenBank) e associados a T . brasiliensis (SESA), enquanto T. maculata (SESA) aparece agrupado com T. pseudomaculata do SESA e do GenBank. Os resultados evidenciam a utilidade do gene 16S como marcador de espécies de triatomíneos e sua importância em questões de sistemática e taxonomia. Há necessidade de novos estudos envolvendo outros marcadores associados a caracteres sistemáticos clássicos de morfologia, ecologia e comportamento para decisões sistemáticas adequadas uma vez, que teriam impacto não apenas sistemático mas, para as estratégias de controle.

Tendências das desigualdades sociais e demográficas na prevalência de doenças crônicas no Brasil, PNAD: 2003- 2008

Os objetivos do estudo foram: estimar as prevalências de doenças crônicas na população brasileira em 2008, comparando-as com as de 2003; avaliar o impacto da doença crônica no uso de serviços e nas restrições das atividades; e, analisar os diferenciais nas prevalências de doenças crônicas específicas, segundo nível de escolaridade e filiação a plano privado de saúde. Os dados foram obtidos do suplemento saúde das PNAD-2008 e 2003. As análises (prevalências e razões de prevalências brutas e ajustadas) foram feitas com o aplicativo Stata 11. A prevalência de ter ao menos uma doença crônica foi mais elevada em: idosos, mulheres, cor/raça preta ou indígena, menor escolaridade, migrantes, moradores em áreas urbanas e na região Sul do país. As condições crônicas mais prevalentes foram: hipertensão, doença de coluna, artrite e depressão. Houve, entre 2003 e 2008, aumento da prevalência de diabetes, hipertensão, câncer e cirrose, e redução de insuficiência renal crônica e tuberculose. A maioria das doenças estudadas foram mais prevalentes nos segmentos de menor escolaridade e sem plano de saúde. As maiores diferenças entre os segmentos sociais foram observadas nas prevalências de cirrose, insuficiência renal crônica, tuberculose e artrite/reumatismo.