An investigation into the loss of the Brazilian space programme's launch vehicle VLS-1 V03

There has been a rapid increase in the complexity and integration of many safety-critical systems. In consequence, it is becoming increasingly difficult to identify the causes of incidents and accidents back through the complex interactions that lead to an adverse event. At the same time, there is a growing appreciation of the need to consider a broad range of contextual factors in the aftermath of any mishap. A number of regulators, operators and research teams have responded to these developments by proposing novel techniques to support the analysis of complex, safety-critical incidents. It is important to illustrate these different approaches by applying them to a number of common case studies. The following pages, therefore, show how STAMP and AcciMap might support the Serviço Público Federal investigation into the explosion and fire of the Brazilian launch vehicle VLS-1 VO3. © 2006 Elsevier Ltd. All rights reserved.

Digital versus conventional radiography for determination of primary incisor length

Aim: This in vitro study evaluated the accuracy of primary incisor lengths determined by digital and conventional radiography compared to the actual tooth length. Methods: Twenty extracted primary maxillary incisors were mounted in acrylic blocks. Tooth length was estimated by using a straight-line measurement provided by the distance measurement tool of a digital dental imaging system (Computed Dental Radiography, Schick Technologies Inc.) and conventional E-speed film radiographs by using a digital caliper. Two operators familiar with both radiographic methods performed the estimates. The estimated tooth lengths were compared to the actual tooth lengths measured with the digital caliper. Data were statistically analyzed by Dahlberg's equation, paired t test, Pearson's correlation coefficient and ANOVA at 5% significance level. Results: There were no statistically significant differences (p = 0.85) between tooth length estimated on digital and conventional radiographs. Admitting as clinically acceptable a 0.5-mm discrepancy between the actual tooth lengths and the radiographically estimated lengths, 60% of the radiographic measurements were considered as accurate. When the acceptable difference range was 1.0 mm, the accuracy of the radiographic measurements increased to 100%. Conclusions: Digital and conventional radiography provided similar tooth length measurements and were equivalent to the actual tooth lengths.

Morphological routine proposal to extraction of highways in digital images of high resolution

This research proposes to apply techniques of Mathematics Morphology to extract highways in digital images of high resolution, targeting the upgrade of cartographic products. Remote Sensing data and Mathematical Morphological techniques were integrated in the process of extraction. Mathematical Morphology's objective is to improve and extract the relevant information of the visual image. In order to test the proposed approach some morphological operators related to preprocess, were applied to the original images. Routines were implemented in the MATLAB environment. Results indicated good performances by the implemented operators. The integration of the technologies aimed to implement the semiautomatic extraction of highways with the purpose to use them in processes of cartographic updating.

Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Wavelets in a problem of signal processing

In this work a new method is proposed for noise reduction in speech signals in the wavelet domain. The method for signal processing makes use of a transfer function, obtained as a polynomial combination of three processings, denominated operators. The proposed method has the objective of overcoming the deficiencies of the thresholding methods and the effective processing of speech corrupted by real noises. Using the method, two speech signals are processed, contaminated by white noise and colored noises. To verify the quality of the processed signals, two evaluation measures are used: signal to noise ratio (SNR) and perceptual evaluation of speech quality (PESQ).

The influence of subpixel measurement on digital camera calibration

The aim of this work is to evaluate the influence of point measurements in images, with subpixel accuracy, and its contribution in the calibration of digital cameras. Also, the effect of subpixel measurements in 3D coordinates of check points in the object space will be evaluated. With this purpose, an algorithm that allows subpixel accuracy was implemented for semi-automatic determination of points of interest, based on Fõrstner operator. Experiments were accomplished with a block of images acquired with the multispectral camera DuncanTech MS3100-CIR. The influence of subpixel measurements in the adjustment by Least Square Method (LSM) was evaluated by the comparison of estimated standard deviation of parameters in both situations, with manual measurement (pixel accuracy) and with subpixel estimation. Additionally, the influence of subpixel measurements in the 3D reconstruction was also analyzed. Based on the obtained results, i.e., on the quantification of the standard deviation reduction in the Inner Orientation Parameters (IOP) and also in the relative error of the 3D reconstruction, it was shown that measurements with subpixel accuracy are relevant for some tasks in Photogrammetry, mainly for those in which the metric quality is of great relevance, as Camera Calibration.

One-year clinical evaluation of composite restorations in posterior teeth: Effect of adhesive systems

This clinical study assessed the performance of posterior composite resins applied with the Adper™ Single Bond Plus (SB) and Adper ™ Scotchbond SE (SE) adhesive systems and Filtek ™ Supreme Plus composite resin, using modified US Public Health Service criteria. A total of 97 restorations were placed in posterior teeth by two calibrated operators. Application of the materials followed manufacturers' instructions. The restorations were evaluated by two examiners at baseline and after one year. Statistical analyses were conducted using the proportion test at a significance level of 5% (p<0.05). All the restorations evaluated (ie, 100%) received an alpha rating for the criteria of marginal discoloration and marginal integrity at baseline. At one year, for marginal discoloration, 64.6% of SB and 61.2% of SE received an alpha rating. For marginal integrity, 72.9% of SB and 77.6% of SE received an alpha rating. The other restorations received bravo ratings for both criteria. None of the teeth that received the restorative systems presented caries lesions around the restorations. A total of eight teeth presented postoperative sensitivity one week after baseline, five with SB and three with SE; the symptom had disappeared one year later. One year later, composite resin restorations using either adhesive system showed satisfactory clinical performance.

Alternate treatments of jacobian singularities in polar coordinates within finite-difference schemes

Jacobian singularities of differential operators in curvilinear coordinates occur when the Jacobian determinant of the curvilinear-to-Cartesian mapping vanishes, thus leading to unbounded coefficients in partial differential equations. Within a finite-difference scheme, we treat the singularity at the pole of polar coordinates by setting up complementary equations. Such equations are obtained by either integral or smoothness conditions. They are assessed by application to analytically solvable steady-state heat-conduction problems.

Nilpotent orbits and codimension-2 defects of 6d N = (2, 0)theories

We study the local properties of a class of codimension-2 defects of the 6d N = (2, 0) theories of type J = A, D, E labeled by nilpotent orbits of a Lie algebra $g, where g is determined by J and the outer-automorphism twist around the defect. This class is a natural generalization of the defects of the six-dimensional (6d) theory of type SU(N) labeled by a Young diagram with N boxes. For any of these defects, we determine its contribution to the dimension of the Higgs branch, to the Coulomb branch operators and their scaling dimensions, to the four-dimensional (4d) central charges a and c and to the flavor central charge k. © 2013 World Scientific Publishing Company.

Wavelets in the computed evaluation of mammographic accreditation phantom images

This paper presents a novel approach to the computed assessment of a mammographic phantom device. The approach shown here is fully automated and is based on the automatic selection of the region of interest, in the use of the discrete wavelet transform (DWT) and morphological operators to assess the quality of the American College of Radiology (ACR) mammographic phantom images. The algorithms developed here have succesfully scored 30 images obtained with different combinations of voltage applied to the tube and exposure and could notice the differences in the radiographs due to the different level of exposure to radiation. © 2013 Springer-Verlag.

Perturbation of a nonautonomous problem in ℝn

In this paper, we prove a stability result about the asymptotic dynamics of a perturbed nonautonomous evolution equation in ℝn governed by a maximal monotone operator. Copyright © 2013 John Wiley & Sons, Ltd. Copyright © 2013 John Wiley & Sons, Ltd.

Clinical evaluation of multisurface ART restorations

O objetivo deste estudo foi avaliar o comportamento de dois cimentos de ionômero de vidro: um de alta viscosidade (Ketac Molar - ESPE) e um modificado por resina (Fuji VIII – GC) em restaurações envolvendo duas ou mais superfícies dentárias, confeccionadas pela técnica do Tratamento Restaurador Atraumático. Sessenta restaurações (30 com cada material) foram inseridas em estudantes (9-16 anos) por dois operadores. Após 6 meses, dois examinadores independentes avaliaram as restaurações de acordo com os critérios utilizados em trabalhos prévios semelhantes. Os dados foram analisados pelos testes de McNemar e Fischer. A porcentagem de sucesso do tratamento foi de 98,3%. Uma restauração (Ketac Molar) foi substituída por outro material e classificada como falha. As porcentagens de sucesso das restaurações foram de 100% e 96,6% para o Fuji VIII e Ketac Molar, respectivamente. Não houve diferença estatisticamente significante no sucesso das restaurações entre o baseline e 6 meses (p>0,05). Da mesma forma, não houve diferença estatística entre os materiais, tipos de cavidade ou entre operadores.(p>0,05). A técnica ART foi altamente apropriada e efetiva em restaurações envolvendo duas ou mais superfícies, após 6 meses. Os resultados mostraram um comportamento promissor com ambos os materiais.

SPECTRUM OF STOCHASTIC ADDING MACHINES AND FIBERED JULIA SETS

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Effect of the interfacial area measurement parameters on the push-out strength between fiber post and dentin

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A construction of integrated vertex operator in the pure spinor sigma-model in AdS(5) x S-5

Vertex operators in string theory me in two varieties: integrated and unintegrated. Understanding both types is important for the calculation of the string theory amplitudes. The relation between them is a descent procedure typically involving the b-ghost. In the pure spinor formalism vertex operators can be identified as cohomology classes of an infinite-dimensional Lie superalgebra formed by covariant derivatives. We show that in this language the construction of the integrated vertex from an unintegrated vertex is very straightforward, and amounts to the evaluation of the cocycle on the generalized Lax currents.