Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Segmentação Fuzzy de Texturas e Vídeos

The segmentation of an image aims to subdivide it into constituent regions or objects that have some relevant semantic content. This subdivision can also be applied to videos. However, in these cases, the objects appear in various frames that compose the videos. The task of segmenting an image becomes more complex when they are composed of objects that are defined by textural features, where the color information alone is not a good descriptor of the image. Fuzzy Segmentation is a region-growing segmentation algorithm that uses affinity functions in order to assign to each element in an image a grade of membership for each object (between 0 and 1). This work presents a modification of the Fuzzy Segmentation algorithm, for the purpose of improving the temporal and spatial complexity. The algorithm was adapted to segmenting color videos, treating them as 3D volume. In order to perform segmentation in videos, conventional color model or a hybrid model obtained by a method for choosing the best channels were used. The Fuzzy Segmentation algorithm was also applied to texture segmentation by using adaptive affinity functions defined for each object texture. Two types of affinity functions were used, one defined using the normal (or Gaussian) probability distribution and the other using the Skew Divergence. This latter, a Kullback-Leibler Divergence variation, is a measure of the difference between two probability distributions. Finally, the algorithm was tested in somes videos and also in texture mosaic images composed by images of the Brodatz album

Implementação da técnica de software pipelining na rede em chip IPNoSyS

Alongside the advances of technologies, embedded systems are increasingly present in our everyday. Due to increasing demand for functionalities, many tasks are split among processors, requiring more efficient communication architectures, such as networks on chip (NoC). The NoCs are structures that have routers with channel point-to-point interconnect the cores of system on chip (SoC), providing communication. There are several networks on chip in the literature, each with its specific characteristics. Among these, for this work was chosen the Integrated Processing System NoC (IPNoSyS) as a network on chip with different characteristics compared to general NoCs, because their routing components also accumulate processing function, ie, units have functional able to execute instructions. With this new model, packets are processed and routed by the router architecture. This work aims at improving the performance of applications that have repetition, since these applications spend more time in their execution, which occurs through repeated execution of his instructions. Thus, this work proposes to optimize the runtime of these structures by employing a technique of instruction-level parallelism, in order to optimize the resources offered by the architecture. The applications are tested on a dedicated simulator and the results compared with the original version of the architecture, which in turn, implements only packet level parallelism

Segmentação fuzzy de imagens e vídeos

Image segmentation is the process of subdiving an image into constituent regions or objects that have similar features. In video segmentation, more than subdividing the frames in object that have similar features, there is a consistency requirement among segmentations of successive frames of the video. Fuzzy segmentation is a region growing technique that assigns to each element in an image (which may have been corrupted by noise and/or shading) a grade of membership between 0 and 1 to an object. In this work we present an application that uses a fuzzy segmentation algorithm to identify and select particles in micrographs and an extension of the algorithm to perform video segmentation. Here, we treat a video shot is treated as a three-dimensional volume with different z slices being occupied by different frames of the video shot. The volume is interactively segmented based on selected seed elements, that will determine the affinity functions based on their motion and color properties. The color information can be extracted from a specific color space or from three channels of a set of color models that are selected based on the correlation of the information from all channels. The motion information is provided into the form of dense optical flows maps. Finally, segmentation of real and synthetic videos and their application in a non-photorealistic rendering (NPR) toll are presented

A incorporação de preceitos ambientais no sistema de gestão de resíduos sólidos do município de João Câmara - RN Brasil

The reality points to the global environmental sustainability as the only viable option for addressing the crisis at hand. The move towards sustainability calls for the generation / evaluation systems in their direction, through the incorporation of environmental requirements and in line with the National Policy on Solid Waste. Therefore, the proposed research supports the importance of social and environmental vision, complementing the technical view, the system for management of solid waste from East London, which is a municipality that has a system whose inadequacies are configured in environmental risk and health. Therefore, by observing, applying the model of sustainability indicators and content analysis of interviews, this research proposes to investigate the principles of sustainability and social participation are presented and what is the perception of risk about the inadequacies in the system. The results confirmed the hypotheses of the study and draw a picture of worrying data, such as very unfavorable indicators of sustainability, lack of channels of participation, uncommitted investments with the management system, devaluation of the collector of waste and differing perceptions about the risk by making actors act in isolation. This worrying situation is eased by the appearance of a series of elements are configured as opportunities for the integration of environmental principles in the system. And despite the inability of managers to participate in the research system, yet it behaves as an opportunity to implement public policies in the area of solid waste such as: the preparation of the municipal waste, the institutionalization of selective collection and organization of cooperative with the support of companies present in the city and educational institutions as the Federal Institute. The research is an opportunity for the implementation of policies in the area of solid waste and will collaborate with the building instruments for the quality of life of residents, for the socioeconomic conditions of collectors and the move towards a sustainable society

Caracterização geométrica e parametrização de depósitos transacionais recentes e sua aplicação na modelagem de reservatórios petrolíferos

In this beginning of the XXI century, the Geology moves for new ways that demand a capacity to work with different information and new tools. It is within this context that the analog characterization has important in the prediction and understanding the lateral changes in the geometry and facies distribution. In the present work was developed a methodology for integration the geological and geophysical data in transitional recent deposits, the modeling of petroliferous reservoirs, the volume calculation and the uncertainties associate with this volume. For this purpose it was carried planialtimetric and geophysics (Ground Penetrating Radar) surveys in three areas of the Parnaíba River. With this information, it was possible to visualize the overlap of different estuary channels and make the delimitation of the channel geometry (width and thickness). For three-dimensional visualization and modeling were used two of the main reservoirs modeling software. These studies were performed with the collected parameters and the data of two reservoirs. The first was created with the Potiguar Basin wells data existents in the literature and corresponding to Açu IV unit. In the second case was used a real database of the Northern Sea. In the procedures of reservoirs modeling different workflows were created and generated five study cases with their volume calculation. Afterwards an analysis was realized to quantify the uncertainties in the geological modeling and their influence in the volume. This analysis was oriented to test the generating see and the analogous data use in the model construction

Geomorfologia e neotectônica no Vale do Apodi-Mossoró RN

Numerous studies have indicated that the Potiguar Basin is affected by Cenozoic tectonics. The reactivation of Cretaceous fault systems affect the post-rift units, witch include Neogene and overlying Quaternary sediments. In this context, the objectives of this thesis are the followings: (1) to characterize the effects of post-rift tectonics in the morphology of Apodi Mossoró-river valley located in the central portion of the Potiguar, (2) to characterize the drainage of the Apodi Mossoró river valley and investigate the behavior of their channels across active faults, and (3) to propose a geologic-geomorphological evolutionary model for the study area. This study used a geological and geomorphological mapping of the central part of the basin, with emphasis on the Quaternary record, luminescence dating of sediments, and geoelectric profiles of the area. The results reveal by maps of structural lineaments and drainage channels of the rivers form valleys that are affected by faults and folds. In Apodi-Mossoró valley, anomalies of channel morphology are associated with the deformation of the post-rift basin. These anomalies show the reactivation of major fault systems in the Potiguar Basin in Cenozoic. On a regional scale, can be seen through the vertical electric profiles that the Cenozoic tectonics is responsible for the elevation of a macro dome NE-SE-trending 70-km long and 50km wide and up to 270 above sea level. In this sector, the vertical electric profiles data show that the contact between the Cretaceous and Neogene rise more than 100m. This Is an important feature of inversion data obtained in this work showed that the deposits that cover the macro dome (Serra do Mel) have ages of 119 ka to 43 ka. In the river valley and surrounding areas Apodi-Mossoró ages vary between 319 ka and 2.7 ka. From these data it was possible to establish the correct geochronological posiconamento paleodepósitos of distinguishing them from the fluvial deposits of the Neogene (Barreiras Formation)

Proposta metodológica para o imageamento, caracterização, parametrização e geração de modelos virtuais de afloramentos

The aim of this work was to describe the methodological procedures that were mandatory to develop a 3D digital imaging of the external and internal geometry of the analogue outcrops from reservoirs and to build a Virtual Outcrop Model (VOM). The imaging process of the external geometry was acquired by using the Laser Scanner, the Geodesic GPS and the Total Station procedures. On the other hand, the imaging of the internal geometry was evaluated by GPR (Ground Penetrating Radar).The produced VOMs were adapted with much more detailed data with addition of the geological data and the gamma ray and permeability profiles. As a model for the use of the methodological procedures used on this work, the adapted VOM, two outcrops, located at the east part of the Parnaiba Basin, were selected. On the first one, rocks from the aeolian deposit of the Piaui Formation (Neo-carboniferous) and tidal flat deposits from the Pedra de Fogo Formation (Permian), which arises in a large outcrops located between Floriano and Teresina (Piauí), are present. The second area, located at the National Park of Sete Cidades, also at the Piauí, presents rocks from the Cabeças Formation deposited in fluvial-deltaic systems during the Late Devonian. From the data of the adapted VOMs it was possible to identify lines, surfaces and 3D geometry, and therefore, quantify the geometry of interest. Among the found parameterization values, a table containing the thickness and width, obtained in canal and lobes deposits at the outcrop Paredão and Biblioteca were the more relevant ones. In fact, this table can be used as an input for stochastic simulation of reservoirs. An example of the direct use of such table and their predicted radargrams was the identification of the bounding surface at the aeolian sites from the Piauí Formation. In spite of such radargrams supply only bi-dimensional data, the acquired lines followed of a mesh profile were used to add a third dimension to the imaging of the internal geometry. This phenomenon appears to be valid for all studied outcrops. As a conclusion, the tool here presented can became a new methodology in which the advantages of the digital imaging acquired from the Laser Scanner (precision, accuracy and speed of acquisition) were combined with the Total Station procedure (precision) using the classical digital photomosaic technique

Avaliação da eficiência da técnica de obturação pela compressão hidrùlica vertical após instrumentação automatizada

The purpose of this study was to evaluate through radiographic and microscopic analysis the efficiency of the filling techniques by vertical hidraulic compression after the root canal mechanical instrumentation in vitro as well to evaluate the marginal apical leakage through macroscopic and microscopic analysis. Thirty human mandibular molars were used , they were divided on three groups, these were subdivided on six subgroups with five specimens each, come down to 106 root canals filled. Initially, the teeth were instrumented with Profile system series 29 and filled with two ways: single accessory cone or single cone associated with gutta-percha secundary cone, with Fill Canal sealer or Sealer 26. Completed the filling, the teeth were coated with araldit and finger -nail polish except for the apical 2 mm and dried for 3 hours, thep radiographs were taken of the teeth in orto and disto-radiai directions. Next, the coronal seal was carried out with composite resin photopolymerized and with their process of making impermeable. Teeth of positive controls were used without araldit and finger-nail polish whereas the negative controls were used with total coat of araldit and finger-nail polish. The specimens were placed in 2% Methylene Blue dye for 24 hours and thermocycled for 7 days. Afterwards, sections were made of each tooth at mesial and distal roat, after this the teeth were radiographed at buccolíngual direction for a macroscopic analysis and at buccolingual and mesiodistal directions for assessment of the marginal apical leakage. Cross sections were made 3 mm to 3mm since the tooth apice. The sections obtained for each group were observed with a stereomicroscope to evaluate the quality of the root canal filling and the marginal apical leakage. The results showed that: In the four techniques the marginal dye leakage was present in the apical third; in all groups the quality of the root canal filling in the radiography was better at mesial root canal and the single cone technique showed inefficient when only a single distal root canal was present. In the radiographic evaluation the best quality of the root canal filling was observed in the 1A group (single accessory cone + FiIl Canal), as in the mesial root as in the distal root wich Shcwed twe root canals: when the distaI root had only one canal. the best result was showed by 28 group (single accessory cone associated with secundary cone + Fill Canal) In the macroscopic analysis of longitudinal !eaKage (outside surface). less leakage was showed as In the mesial root as in the distal root in the negative control group (3) followed 2A group (single accessory cone + Sealer 26). When the microscopic analysis of tranversal leakage of both roots (inside surface) was carried out. the groups that showed less dye leakage were the negative control (38) followed the 28 group (single acessory cone associated with secundary cone + Sealer 26). The homogeneity o filling was best noted in the 1 A group (.single accessoty cone + Fill Canal). The groups that showed less dye penetration in the tranversal leakage (total area) were negative control (3B) and 2B

Estudo integrado de análogo a reservatórios petrolíferos fluviais: caracterização, parametrização e modelagem tridimensional de depósitos recentes do Rio Assu (Rio Grande do Norte/Brasil)

This work shows a integrated study of modern analog to fluvial reservoirs of Açu Formation (Unit 3). The modern analog studied has been Assu River located in the same named city, Rio Grande do Norte State, Northeast of Brazil. It has been developed a new methodology to parameterizating the fluvial geological bodies by GPR profile (by central frequency antennas of 50, 100 and 200 MHz). The main parameters obtained were width and thickness. Still in the parameterization, orthophotomaps have been used to calculate the canal sinuosity and braided parameters of Assu River. These information are integrated in a database to supply input data in 3D geological models of fluvial reservoirs. It was made an architectural characterization of the deposit by trench description, GPR profile interpretation and natural expositions study to recognize and describe the facies and its associations, external and internal geometries, boundary surfaces and archtetural elements. Finally, a three-dimensional modeling has been built using all the acquired data already in association with real well data of a reservoir which Rio Assu is considered as analogous. Facies simulations have been used simple kriging (deterministic algorithm), SIS and Boolean (object-based, both stochastics). And, for modeling porosities have used the stochastic algorithm SGS

Aspectos Morfo-Dinâmicos daComplexo Lagunar Nísia Floresta-Papeba-Guaraíras, Região Costeira Sul Oriental Do RN

This dissertation presents the results of research developed in the Nísia Floresta-Papeba-Guaraíras Lagoon Complex, located on the south coast of the Rio Grande do Norte State. The main objectives of this dissertation were the stratrigraphic characterization, in detail scale, of the and the coastal dynamics study of the lagoonal deposits sedimentation, as well as the morpho-dynamic analysis of the area. Therefore, an interdisciplinary methodology was adopted, in which all sedimentological, morpho-tectonic and geomorphological data were integrated. Vibracore up to 4m in length were carried out in the lagoons. The referred lagoon complex made of a system of three lagoons that interact through two artificial channels, named Boqueirão and Surubajá. The Guaraíras lagoon, the largest one in the system, corresponds to the estuary zone of the Trairi and Jacu rivers. The sedimentary load brought by these rivers is strongly reworked by tide currents, forming an important net-work of channels and sandy bars inside this lagoon and close to its channel connection with the sea. The stratigraphic units of the area are Cenozoic in age, and are represented by sedimentary rocks of the Barreiras Formation (sandstones, mudstones and conglomerates) and by rocks beach, as well as by siliciclastics sediments related with the fluvial dynamics of tide plain (clay and sandy bars), and coast (sand dunes and beaches). Among the recognized geomorphologic aspects, there are the elements associated with continental enviroments (drainage basins of the Trairi, Baldum and Jacu rivers, coastal tableland supported by the Barreiras Formation), and transitional environments (lagoon complex, dune fields, cliffs, tidal channels and beach rocks lines). The morphotectonic analysis indicates that fauts affect Barreiras Formation sedimentary rocks, with two sets of main lineaments: SW-NE and SE-NW. The anomalies in the drainage net are directly associated with these fault/fracture system, which control and subdivede the low courses of the Trairi and Jacu rivers, at least a tail of their flowing principal courses. The Nísia Floresta, Papeba and Guaraíras lagoons present strong morphological control according to the lineament directions. Taking into account the lagoonal deposits, the sedimentological analyses reflect a sediment distribution related to the interaction of the fluvial and sea processes that act in the study area. The correlated deposits show textural mainly microclastic characteristics of shallow waters, and of currents of low to moderate energy.In general, the Nísia Floresta-Papeba-Guaraíras lagoon Complex, constitutes a very intrinsec group, that undewent important changes in historical times that are reflected in the currents clays. Inaddition to the natural processes that act in this system, we should take into account the antrohopic intervention, which have increased in the past years

Mapeamento digital de análogos a reservatórios petrolíferos: exemplos para depósitos fluviais da Unidade Açu-3 - Bacia Potiguar

In the current work are presented the results about the study of digital mapping of analogs referents the fluvial oil reservoirs in the Açu Formation. With the regional recognizing in the south corner of Potiguar Basin was selected a area of 150 Km square in the west of Assu city. In this area was chosen the outcrops for the digital mapping and from the data fields and remote sensors were done the depositional architectural for the fluvial deposits, which it was named coarse meandering fluvial systems. In the deposits were individualized 3 (three) fluvial cycles, which they was separated by bounding surface of fifth order. Such cycles are preferentially sandy, with fining-upward sequence finished in flood plain deposits. Inner of the sandy levels of the filling channels were characterized least cycles, normaly incomplete, constituted by braided sandy bodies and bounding surfaces of fourth order. In the mapped area was chosen a outcrop with great exposition, where it was possible to see tipical deposits of filling channel and was in this outcrop that was done the digital mapping. In this outcrop was used diverse technics and tools, which they integrated sedimentological, altimetric (GPS, Total Station), LIDAR (Light Detection and Ranging), digital photomosaic of high resolution and of the inner geometries (Ground Penetration Radar) data sets. For the integrating, interpretation and visualization of data was used software GoCAD®. The final product of the outcrop digital mapping was the photorealistic model of part of the cliff (or slope) because the observed reflectors in the radargrams were absents. A part of bar oblique accretion was modeled according to GPR gride of 200x200 meters in the alluvial Assu river probable recent analog. With the data of inner geometries was developed the three-dimentional sedimentary architectural, where it was possible characterize sand sheet deposits and many hierarchy of braided channels. At last, simulations of sedimentary geometries and architectures of the Potiguar Basin Fluvial Reservoirs were done with PetBool software, in order to understand the capacity of this program in simulations with a lot of numbers of conditioning wells. In total, 45 simulations was acquired, where the time and the channel numbers increase in relation of the conditioning wells quantity. The deformation of the meanders was detected from the change of simulated dominion dimensions. The presence of this problem was because the relationship between the simulated dominion and the width of the meander

Geologia e geomorfologia dos recifes de Maracajaú-RN e plataforma rasa adjacente

This work focuses the geological and geomorphological characterization of the inner shelf in the West Coast of the Rio Grande do Norte state, particularly the reef coral barrier offshore of Maracajaú (Maxaranguape district). If developed without the necessary concerns, tourism and entertainment activities that have been widely increased during the last five years can lead to irreversible environmental damages to the biotic and abiotic ecosystems of the region. Regarding these aspects, it is crucial the realization of a detailed study to envisage the achievement of a self-sustainable development, especially with respect to the possibilities of a rational usage of the region. This is the aim of this manuscript, which consisted of an initial stage of digital modeling of the terrain with basis on digitalization and vectorization of the Nautical map number 803 (Naval Service of Brazil, 1971). Information obtained in this phase was improved with the digital processing of small format aerial photos acquired from six flights, which were integrated to form a photomosaic of the area. The refined maps produced with the data from Nautical and aerial photo-interpretations aided to locate 9 bathymetric profiles, which provided information about the sea floor relief of the whole area. This later aided in the choosing of areas to bottom sampling that, in its turn, helped to characterize sediments present in floor of the inner shelf. Sixty-four samples collected during this work were studied by granulometrical and chemical analysis; with the later one developed in order to measure carbonate and organic matter contents. Forty-two of these samples showed carbonate content higher than 80% and organic matter in the range of 0.58% to 24.06%. With respect to grain size, these samples are in the interval between fine- to mid-grained sands. Sands with grain sizes higher than this one are also composed by carbonate carapaces such as pale yellow to red rhodolites with ellipsoidal and spheroidal shapes. During determination of the submerse features, the small format aerial photos demonstrated to be a useful methodology to aid the delineation of the sea floor topography through shallow deep waters. The bathymetry, for its turn, revealed several features at the bottom of the platform, in which the most conspicuous are undulations and morphological details of the São Roque Channel. Examination of bottom, aside from sand, yielded the identification of bivalves, ostracods, fragments of bryozoans, spikes of sponges, spines of echinoderms, operculum of gastropods and foraminifers. From the above it is concluded that the multi-methodological approach developed in this study worked efficiently, permitting the geomorphological and environmental characterization of the inner shelf of the North Maracajaú

Arquitetura deposicional e evolução tectono-estratigráfica das sequências pré-rifte e rifte, na porção central do Vale do Cariri, Bacia do Araripe, NE do Brasil

A complex depositional history, related to Atlantic rifting, demonstrates the geological evolution during the late Jurassic and early Neocomian periods in the Araripe Basin NE Brazil. Based on outcrop, seismic and remote sensing data, a new model of the tectono-stratigraphic evolution of the section that covers the stages Dom João, Rio da Serra and Aratu (Brejo Santo, Missão Velha and Abaiara formations) is presented in this paper. In the stratigraphic section studied, ten sedimentary facies genetically linked to nine architectural elements were described, representing depositional systems associated with fluvial, aeolian and deltaic environments. Based on the relationship between the rates of creation of accommodation space and sediment influx (A / S) it was possible to associate these depositional systems with High and Low accommodation system tracks. These system tracks represent two tectono-sequences, separated by regional unconformities. The Tectono-sequence I, which includes lithotypes from the Brejo Santo Formation and is related to the pre-rift stage, is bounded at the base by the Paleozoic unconformity. This unit represents only a High Accommodation System Track, composed by a succession of pelitic levels interbedded with sandstones and limestones, from a large fluvial floodplain origin, developed under arid climatic conditions. The Tectono-sequence II, separated from the underlying unit by an erosional unconformity, is related to the rift stage, and is composed by the Missão Velha and Abaiara Formation lithotypes. Changes in depositional style that reflect variations in the A / S ratio, and the presence of hydroplastic deformation bands, make it possible to divide this tectonosequence into two internal sequences. Sequence IIA, which includes the lower portion of the Missão Velha Formation and sequence IIB, is composed by the upper section of the Missão Velha and Abaiara Formations The Sequence IIA below, composed only by the Low Accommodation System Track, includes crossbedding sandstones interbedded with massive mudstones, which are interpreted as deposits of sandy gravel beds wandering rivers. Sequence IIB, above, is more complex, showing a basal Low Accommodation System Track and a High Accommodation System Track at the top, separated by an expansion surface. The lower System Track, related to the upper portion of the Missão Velha Formation, is composed by a series of amalgamated channels, separated by erosion surfaces, interpreted as deposits of a belt of braided channels. The High Accommodation System Track, correlated with the Abaiara Unit, is marked by a significant increase in the A / S, resulting in the progradation of a system of braided river deltas with aeolic influence. Regarding tectonic evolution, the stratigraphic study indicates that the Tectonosequence Rift in the Araripe basin was developed in two phases: first characterized by a beginning of rifting, related to Sequence IIA, followed by a phase of syndepositional deformation, represented by sequence IIB. The first phase was not influenced by the development of large faults, but was influenced by a sharp and continuous decrease of accommodation space that permitted a change in depositional patterns, establishing a new depositional architecture. In turn, the stage of syndepositional deformation allowed for the generation of enough accommodation space for the preservation of fluvial-lacustrine deposits and conditioned the progradation of a braided river-dominated delta system.