Estudo da transformada rápida wavelet e sua conexão com banco de filtros

In this work we presented an exhibition of the mathematical theory of orthogonal compact support wavelets in the context of multiresoluction analysis. These are particularly attractive wavelets because they lead to a stable and very efficient algorithm, that is Fast Transform Wavelet (FWT). One of our objectives is to develop efficient algorithms for calculating the coefficients wavelet (FWT) through the pyramid algorithm of Mallat and to discuss his connection with filters Banks. We also studied the concept of multiresoluction analysis, that is the context in that wavelets can be understood and built naturally, taking an important step in the change from the Mathematical universe (Continuous Domain) for the Universe of the representation (Discret Domain)

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

O graben de Palestina: contribuição à estratigrafia e estrutura do estágio rifte na bacia do Araripe, nordeste do Brasil

The Palestina Graben is one of the NE-trending asymmetric grabens of the Araripe Basin. This basin rests on the precambrian terrains of the Transversal Zone, Borborema Province, immediately to the south of the Patos Lineament. It is part of the Interior Basins province of Northeastern Brazil, being related to the fragmentation of the Gondwana supercontinent and the opening of the South Atlantic ocean. The Palestina Graben trends NE-SW and presents an asymmetric geometry, controled by the NW extensional eocretaceous strain. The graben borders display distinct geometries. The SE border is a flexural margin, characterized by the non conformity of the eopaleozoic Mauriti Formation (the oldest unit of the basin) overlying the crystalline basement, but also affected by normal faults with small displacements. On the opposite, the NW border is continuous and rectilinear, being marked by normal faults with major displacements, that control the general tilting of the layers to the NW. In this sense, the Mauriti Formation is overlain by the Brejo Santo, Missão Velha (which also occurs in the Brejo Santo-Mauriti horst, to the NW of the fault border) and Abaiara formations, the latter restricted to the graben. The interpretation of available gravity data and a seismic line indicates that the main fault has a variable dip slip component, defining two deeper portions within the graben, in which the sedimentary column can reach thicknesses of up to 2 km. Regarding to the stratigraphy of Araripe Basin in the study area, the sedimentary package includes three distinct tectonosequences. The Paleozoic Syneclisis Tectonosequence is composed by the Mauriti Formation, deposited by a braided fluvial system. The Jurassic Tectonosequence, whose tectonic setting is still debatable (initial stage of the Neocomian rift, or a pre-rift syneclisis ?), is represented by the Brejo Santo Formation, originated in a distal floodplain related to ephemeral drainages. The Rift Tectonosequence, of neocomian age, includes the Missão Velha Formation, whose lower section is related to a braided to meandering fluvial system, outlining the Rift Initiation Tectonic Systems Tract. The upper section of the Missão Velha Formation is separated from the latter by a major unconformity. This interval was originated by a braided fluvial system, overlain by the Abaiara Formation, a deltaic system fed by a meandering fluvial system. Both sections correspond to the Rift Climax Tectonic Systems Tract. In the area, NE-trending normal to oblique faults are associated with NW transfer faults, while ENE to E-W faults display dominant strike slip kinematics. Both NE and E-W fault sets exhibit clear heritage from the basement structures (in particular, shear zones), which must have been reactivated during the eocretaceous rifting. Faults with EW trends display a dominant sinistral shear sense, commonly found along reactivated segments of the Patos Lineament and satellyte structures. Usually subordinate, dextral directional movements, occur in faults striking NNW to NE. Within this framework bearing to the Palestina Graben, classical models with orthogonal extension or pull-apart style deserve some caution in their application. The Palestina Graben is not limited, in its extremeties, by E-W transcurrent zones (as it should be in the case of the pull-apart geometry), suggesting a model close to the classic style of orthogonal opening. At the same time, others, adjacent depocenters (like the Abaiara-Jenipapeiro semi-graben) display a transtensional style. The control by the basement structures explains such differences

Influência da estratigrafia mecânica no desenvolvimento de falhas distensionais em bacias do tipo Rifte: contribuição da modelagem física

In the last decades, analogue modelling has been used in geology to improve the knowledge of how geological structures are nucleated, how they grow and what are the main important points in such processes. The use of this tool in the oil industry, to help seismic interpretations and mainly to search for structural traps contributed to disseminate the use of this tool in the literature. Nowadays, physical modelling has a large field of applications, since landslide to granite emplacement along shear zones. In this work, we deal with physical modelling to study the influence of mechanical stratifications in the nucleation and development of faults and fractures in a context of orthogonal and conjugated oblique basins. To simulate a mechanical stratigraphy we used different materials, with distinct physical proprieties, such as gypsum powder, glass beads, dry clay and quartz sand. Some experiments were run along with a PIV (Particle Image Velocimetry), an instrument that shows the movement of the particles to each deformation moment. Two series of experiments were studied: i) Series MO: We tested the development of normal faults in a context of an orthogonal (to the extension direction) basin. Experiments were run taking into account the change of materials and strata thickness. Some experiments were done with sintectonic sedimentation. We registered differences in the nucleation and growth of faults in layers with different rheological behavior. The gypsum powder layer behaves in a more competent mode, which generates a great number of high angle fractures. These fractures evolve to faults that exhibit a higher dip than when they cross less competent layers, like the one of quartz sand. This competent layer exhibits faulted blocks arranged in a typical domino-style. Cataclastic breccias developed along the faults affecting the competent layers and showed different evolutional history, depending on the deforming stratigraphic sequence; ii) Series MOS2: Normal faults were analyzed in conjugated sub-basins (oblique to the extension direction) developed in a sequence with and without rheological contrast. In experiments with rheological contrast, two important grabens developed along the faulted margins differing from the subbasins with mechanical stratigraphy. Both experiments developed oblique fault systems and, in the area of sub-basins intersection, faults traces became very curved.

Um estudo sobre polinômios matriciais

This research work aims to make a study of the algebraic theory of matrix monic polynomials, as well as the definitions, concepts and properties with respect to block eigenvalues, block eigenvectors and solvents of P(X). We investigte the main relations between the matrix polynomial and the Companion and Vandermonde matrices. We study the construction of matrix polynomials with certain solvents and the extention of the Power Method, to calculate block eigenvalues and solvents of P(X). Through the relationship between the dominant block eigenvalue of the Companion matrix and the dominant solvent of P(X) it is possible to obtain the convergence of the algorithm for the dominant solvent of the matrix polynomial. We illustrate with numerical examples for diferent cases of convergence.