Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Avaliação do atendimento anestésico da criança e do adolescente em um hospital universitário

JUSTIFICATIVA E OBJETIVOS: Qualidade em anestesia e na satisfação dos pacientes têm tido acentuado destaque. O objetivo foi avaliar o atendimento anestésico de crianças e adolescentes, entrevistando seus responsáveis. MÉTODO: Foram entrevistados 230 responsáveis por crianças e adolescentes submetidos à anestesia no período compreendido entre abril e dezembro de 2003. Realizou-se entrevista na visita pós-operatória através de questionário com quatro itens: identificação das crianças e de adolescentes e seus responsáveis (item 1); esclarecimentos na visita pré-anestésica (item 2), quanto à anestesia (item 3) e à recuperação pós-anestésica (SRPA) (item 4), determinando-se quem dera as informações aos entrevistados e se houvera complicação no pós-anestésico. O responsável atribuiu nota de 0 a 10 ao Serviço de Anestesiologia. RESULTADOS: A pesquisa foi respondida pela mãe em 189 (82,2%) casos. A maioria dos entrevistados, 114 (75,6%), tinha entre 20 e 39 anos, era casada (148 a 64,3%) e 140 (60,9%) não tinham ocupação. Para 89%, o anestesiologista se identificou; para 37% e 77,4%, esclareceu sobre importância e tempo do jejum; 82%, sobre anemia; 90%, alergia; 46,8%, importância da SRPA; 42,2%, tempo de permanência; 72,9%, estado de saúde de sua criança. Não houve apreensões para 49%, 58% e 58%, respectivamente, no pré, intra e pós-anestésico. Gostariam de ter estado com sua criança/adolescente na chegada à SRPA 78,9%. Foram relacionadas preocupações no período pré, intra e pós-anestésico com o sexo e a idade do paciente - não ter tido nenhuma preocupação - maioria dos entrevistados - e com a escolaridade do entrevistado - quanto mais completa, menor foi o número e a variedade das preocupações relatadas. As notas atribuídas ao Serviço de Anestesiologia tiveram maior freqüência entre 7 e 10 (97,4%). CONCLUSÕES: Considera-se que o Serviço de Anestesiologia desenvolve bom trabalho, apesar de falhas na comunicação, que são de solução simples e dependem mais da vontade do serviço que de seu conhecimento científico.

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

GT4CCI: uma abordagem baseada em grounded theory para a identificação de interesses transversais em documentos de requisitos

When crosscutting concerns identification is performed from the beginning of development, on the activities involved in requirements engineering, there are many gains in terms of quality, cost and efficiency throughout the lifecycle of software development. This early identification supports the evolution of requirements, detects possible flaws in the requirements specification, improves traceability among requirements, provides better software modularity and prevents possible rework. However, despite these several advantages, the crosscutting concerns identification over requirements engineering faces several difficulties such as the lack of systematization and tools that support it. Furthermore, it is difficult to justify why some concerns are identified as crosscutting or not, since this identification is, most often, made without any methodology that systematizes and bases it. In this context, this paper proposes an approach based on Grounded Theory, called GT4CCI, for systematizing and basing the process of identifying crosscutting concerns in the initial stages of the software development process in the requirements document. Grounded Theory is a renowned methodology for qualitative analysis of data. Through the use of GT4CCI it is possible to better understand, track and document concerns, adding gains in terms of quality, reliability and modularity of the entire lifecycle of software

AIGA: um ambiente integrado de gerência para redes em malha sem fio IEEE 802.11s

A Wireless Mesh Network (WMN - Wireless Mesh Network) IEEE 802.11s standard to become operational it is necessary to configure the parameters that meet the demands of its users, as regards, for example, the frequency channels, the power antennas, IPs addresses, meshID, topology, among others. This configuration can be done via a CLI (Command - Line Interface) or a remote interface provided by the equipment manufacturer, both are not standardized and homogeneous, like black boxes for the developers, a factor that hinders its operation and standardization. The WMN, as a new standard, is still in the testing phase, and tests are necessary to evaluate the performance of Path Discovery Protocol, as in this case of HWMP (Hybrid Wireless Mesh Protocol), which still has many shortcomings. The configuration and test creation in a WMN are not trivial and require a large workload. For these reasons this work presents the AIGA, a Management Integrated Environment for WMN IEEE 802.11s, which aims to manage and perform testbeds for analyzes of new Path Discovery Protocols in a WMN

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Estudo comparativo entre cinco diferentes tratamentos sobre as alterações clínicas e laboratoriais do rato diabético induzido pela aloxana

OBJETIVOS: Este estudo visa a analisar os efeitos, a longo prazo, de cinco diferentes tratamentos sobre o controle metabólico de ratos diabéticos aloxânicos. MÉTODOS: Foram analisados 7 grupos experimentais, com 50 ratos cada um, sendo: GN o grupo controle normal; GD o grupo controle diabético, sem tratamento; GI, GA e GIA os grupos tratados, respectivamente, com insulina, acarbose e associação insulina + acarbose; GTIL o grupo tratado com transplante de ilhotas de Langerhans; e o GTPD o grupo tratado com transplante pancreatoduodenal heterotópico. Parâmetros clínicos (peso, ingestão hídrica, ingestão alimentar e diurese) e laboratoriais (glicemia, glicose urinária e insulina plasmática) foram avaliados em todos os animais, no início do experimento, e após 1, 3, 6, 9 e 12 meses de seguimento. RESULTADOS: À exceção do GN, mortalidade foi observada em todos os grupos experimentais no seguimento de 12 meses (GD= 50%; GI= 20%; GA= 26%; GIA= 18%; GTIL= 4%; GTPD= 20%). em GD, GI, GA e GIA os óbitos ocorreram por distúrbios metabólicos ou hidroeletrolíticos e/ou pneumonia, diarréia e caquexia; em GTIL e GTPD todos os óbitos ocorreram por falhas técnicas no pós-operatório até 72h. Animais dos grupos GI, GA e GIA tiveram melhora significativa (p < 0,05) de todos os parâmetros clínicos e laboratoriais observados em ratos diabéticos, sem diferença de efetividade entre os tratamentos. Porém, os resultados observados nestes grupos, biologicamente não foram comparáveis aos observados em GTIL e GTPD, onde observou-se correção completa, aos níveis normais, de todas as variáveis analisadas (p<0,01). CONCLUSÕES: Os tratamentos convencionais com insulina, acarbose e insulina + acarbose melhoraram o estado diabético grave dos ratos tratados, contudo, a eficácia dos tratamentos foi significativamente inferior à oferecida pelo GTIL e GTPD.

Fatores que influenciam na efetivação de ações para o desenvolvimento do turismo municipal: uma análise da regionalização do turismo no Rio Grande do Norte no ano de 2012

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Doenças de Veiculação Hídrica em Trechos da Bacia do Rio Piranhas-Assu: ocorrência de bactérias oportunistas, caracterização epidemiológica e concepções de professores e agentes de saúde

Water is essential to life and all living organisms and their supply is necessary for economic development and quality of life of human populations, but their quality has been altered by human actions. In semi-arid northeast, the water is an issue of concern, especially its quality. This region is common to the construction of reservoirs that capture rain water, streams and temporary rivers in search of ease this situation, being intended for various purposes. Water scarcity is a limiting factor for the economic and social development of the region and contributes to the maintenance of waterborne diseases. About 80% of diseases that occur in developing countries are infected by waterborne pathogens. Therefore, this study aimed to determine in two environments that are part of semilênticos Armando Ribeiro Gonçalves reservoir, and a stretch of the river Assu, all located in the semiarid RN, the occurrence of opportunistic pathogenic bacteria; check the conceptions of teachers and health workers about the issues "waterborne diseases" and "bacteria" and a diagnosis of diarrheal diseases that affect the population in some municipalities of the semi-arid region of RN from a survey of epidemiological data. For identification of bacteria using commercial kits and the diagnosis of diarrheal disease was based on information from databases. The previous conceptions of teachers and health workers were obtained through questionnaires. The results confirmed the presence of opportunistic bacteria in the studied area, showing the importance of monitoring water quality. There was an under-reporting of cases of diarrhea pointing out flaws in the monitoring of Diarrheal Diseases and indicating the need to improve it. It was felt also the need to implement educational activities on topics dealt with both with teachers and health workers, since they were identified misconceptions on the subject

Gestão por Competências em Organizações Públicas: O Processo de Transformação Organizacional e seus Impactos Junto aos Servidores na Secretaria Estadual de Administração e Recursos Humanos (SEARH/RN)

The state has changed over time in order to meet a society with increasingly stringent demands. Techniques of private means begin to be employed in an attempt to overcome the dysfunctions entrenched bureaucracy, making the machine faster. By federal law by the People Management Skills was established as a reference for the administration of Human Resources of the public sector in an attempt to develop professionally servers, based mainly on the three pillars of the model: the knowledge, skills and attitudes. This thesis aims at understanding, in the view of employees, the perceived impacts on the organizational changes occurring in the Department of Administration and Human Resources of the State of Rio Grande do Norte in order to implement a People Management Skills-based. It is a simple case study, characterized by the research during a certain period of time, collecting data in a real environment of an organization, in this case SEARH/RN. The procedures used in collecting data were the literature review, documental research and field research. We used a qualitative approach with exploratory and descriptive approach. Every reform was implemented in the institution and reported from there analyzed the impacts observed by the servers. As a result we observed a considerable advance in institutional activities, mainly relating to physical structure / organizational and human resource policies, with minor advances on labor policies, in much the result of the guiding focus of the reform on SEARH/RN. The impacts in total were more positive than negative and direct paths to improvement in public organizations. Making a general analysis of the modernization program implemented in SEARH/RN, we can conclude that there was a distinct change in all dimensions studied, mostly pointing out positive aspects, and contrary to the opinion of some authors, who claim to be very difficult to implement reforms in public organizations, since they are highly institutionalized environments. What was found was a big organization, with gaps and weaknesses, but with a much larger number of hits and recognition from institutional actors

Caracterização geológico-geofísica do meio aqüífero fissural : uma contribuição aos modelos de fluxo e armazenamento de água subterrânea

Northeastern Brazil is mainly formed by crystalline terrains (around 60% in area). Moreover, this region presents a semi-arid climate so that it is periodically subject to drought seasons. Furthermore, ground water quality extracted fromwells usually presents poor quality because of their high salinity contents. Nevertheless, ground water is still a very important source of water for human and animal consumption in this region. Well sitting in hard rocks terrains in Northeastern Brazil offers a mean success index of aboul 60%, given that a successful siting is defined by a well producing at least 0.5 m³/h. This low index reveals lack of knowledga about the true conditions of storage and percolation of ground water in crystalline rocks. Two models for structures storing and producing ground water in crystalline rocks in Northeastem Brazil have been proposed in the literature. The first model,tradnionally used for well sitting since the sixties are controlled by faults or fractures zones. This model is commonly referred, in Brazilian hydrogeological literature, as the "creek-crack" model (riacho-fenda in Portuguese). Sites appearing to present dense drainage network are preferred for water well siting - particularly at points where the drainages cross-cul each other. Field follow up work is usually based only on geological criteria. The second model is the "eluvio-alluvial through" (calha eluvio-aluvionar in Portuguese); it is also described in the literature but it is not yet incorporated in well sitting practice. This model is based on the hypothesis that reclilinear drainages can also be controlled by the folietion of the rock. Eventually, depending upon the degree of weathering, a through-shaped structure filled with sediments (alluvium and regolith) can be developed which can store and water can be produced from. Using severalfield case studies, this Thesis presents a thorough analysis ofthe two above cited models and proposes a new model. The analysis is based on an integrated methodological approach using geophysics and structural geology. Both land (Resitiviy and Ground Penetrating Radar- GPR) and aerogeophysical (magnetics and frequency domain eletromagnetics) surveys were used. Slructural analysis emphasized neolectonic aspects; in general, itwas found that fractures in the E-W direction are relatively open, as compared to fracturas inthe N-S direction, probably because E-W fractures were opened by the neotectonic stress regime in Northeastern Brazil, which is controlled by E-W compression and N-S extension. The riacho-fenda model is valid where drainages are controlled by fractures. The degree of fracturing and associated weathering dictale the hydrogeological potential of the structure. Field work in structural analogues reveals that subvertical fractures show consistent directions both in outcrop and aerophotograph scales. Geophysical surveys reveal subvertical conductive anomalies associated to the fracture network controlling the drainage; one of the borders of the conductive anomaly usually coincide wih the drainage. An aspect of particular importance to the validation of fracture control are the possible presence of relalively deep conductive anomalies wihoul continuation or propagalion to the surface. The conductive nature of lhe anomaly is due to the presence of wealhered rock and sedirnenls (alluvium and/or regolilh) storing ground waler which occur associated to the fracture network. Magnetic surveys are not very sensisnive to these structures.lf soil or covering sedirnents are resislive (> 100 Ohm.m), GPR can ba used to image precisely lhe fracture network. A major limialion of riacho-fenda model, revealed by GPR images, is associated to the fact thal subhorizontal fractures do play a very important role in connecting the fracture network, besides connect shallow recharge zones to relalively deep subvertical frecture zones. Iffractures play just a secondary control on the drainage, however, r/acho-fenda model may have a very limiled validny; in these cases, large portions oflhe drainage do nol coincide wilh frectures and mosl oflhewells localed in lhe drainage surrounding would resull dry. Usually, a secondary conlrol on lhe drainage by Ihefraclure networkcan be revealed only wilh detailed geophysical survey. The calha elClv1o-aluvlonarmodel is valid where drainages are conlrolled by folialion. The degree 01 wealhering 01 lhe lolialion planes dictales lhe hydrogeological polenlial 01 lhe slruclure. Outcrop analysis reveals Ihal lolialion and drainage direclions are parallel and Ihal no Iraclures, orfraclures wilh diflerent directions 01 lhe drainage direclion occur. Geophysical surveys reveal conduclive anomalies in a slab lorm associaled 10 lhe Ihrough 01 lhe wealhered rock and sedimenls (alluvium and/or regolith). Magnelic surveys can ofler a very good conlrol on lolialion direclion. An importanl aspect 10 validale lolialion conlrol are lhe presence 01 conductive anomalies showing shallow and deep portions area which are linked. Illhere is an exlensive soil cover, r/acho-fenda and calha eIClv1o-aluv/onar conlrols can be easily misinlerpreled in lhe absence 01 geophysical conlrol. Certainly, Ihis lacl could explain at leasl a part of lhe failure index in well sitting. The model wealhering sack (bolsllo de Intempertsmo in Portuguese) is proposed to explain cases where a very inlensive wealhering occur over lhe crystalline rock so Ihal a secondary inlerslilial porosity is crealed. The waler is Ihen stored in lhe porous of lhe regolilh in a similar mannerlo sedimentary rocks. A possible example ofthis model was delecled by using land geophysical survey where a relalivelyvery deep isolaled conduclive anomaly, in a slab form, was delected. Iflhis structure does store ground waler, certainly Ihere must be a link 01 lhe deep slructure wilh lhe surface in orderlo provide walerfeeding. This model mighl explain anomalous waler yields as greal as 50 m³/h Ihalsomelimescan occur in crystalline rocks in Northeaslern Brazil

Estruturas tectônicas cenozóicas na porção leste da Bacia Potiguar - RN

This thesis encompasses the integration of geological, geophysical, and seismological data in the east part of the Potiguar basin, northeastern Brazil. The northeastern region is located in South American passive margin, which exhibits important areas that present neotectonic activity. The definition of the chronology of events, geometry of structures generated by these events, and definition of which structures have been reactivated is a necessary task in the region. The aims of this thesis are the following: (1) to identify the geometry and kinematics of neotectonic faults in the east part of the Potiguar basin; (2) to date the tectonic events related to these structures and related them to paleoseismicity in the region; (3) to present evolutional models that could explain evolution of Neogene structures; (4) and to investigate the origin of the reactivation process, mainly the type of related structure associated with faulting. The main type of data used comprised structural field data, well and resistivity data, remote sensing imagery, chronology of sediments, morphotectonic analysis, x-ray analysis, seismological and aeromagnetic data. Paleostress analysis indicates that at least two tectonic stress fields occurred in the study area: NSoriented compression and EW-oriented extension from the late Campanian to the early Miocene and EW-oriented compression and NS-oriented extension from the early Miocene to the Holocene. These stress fields reactivated NE-SW- and NW-SE-trending faults. Both set of faults exhibit right-lateral strike-slip kinematics, associated with a minor normal component. It was possible to determine the en echelon geometry of the Samambaia fault, which is ~63 km long, 13 km deep, presents NE-SW trend and strong dip to NW. Sedimentfilled faults in granite rocks yielded Optically Stimulated Luminescence (OSL) and Single-Aliquot Regeneration (SAR) ages at 8.000 - 9.000, 11.000 - 15.000, 16.000 - 24.000, 37.000 - 45.500, 53.609 - 67.959 e 83.000 - 84.000 yr BP. The analysis of the ductile fabric in the João Câmara area indicate that the regional foliation is NE-SW-oriented (032o - 042o), which coincides with the orientation of the epicenters and Si-rich veins. The collective evidence points to reactivation of preexisting structures. Paleoseismological data suggest paleoseismic activity much higher than the one indicated by the short historical and instrumental record

Caracterização tectono-estratigráfica da sequência transicional na sub-bacia de Sergipe

This thesis deals with the tectonic-stratigraphic evolution of the Transitional Sequence in the Sergipe Sub-basin (the southern segment of the Sergipe-Alagoas Basin, Northeast Brazil), deposited in the time interval of the upper Alagoas/Aptian stage. Sequence boundaries and higher order internal sequences were identified, as well as the structures that affect or control its deposition. This integrated approach aimed to characterize the geodynamic setting and processes active during deposition of the Transitional Sequence, and its relations with the evolutionary tectonic stages recognized in the East Brazilian Margin basins. This subject addresses more general questions discussed in the literature, regarding the evolution from the Rift to the Drift stages, the expression and significance of the breakup unconformity, the relationships between sedimentation and tectonics at extensional settings, as well as the control on subsidence processes during this time interval. The tectonic-stratigraphic analysis of the Transitional Sequence was based on seismic sections and well logs, distributed along the Sergipe Sub-basin (SBSE). Geoseismic sections and seismic facies analysis, stratigraphic profiles and sections, were compiled through the main structural blocks of this sub-basin. These products support the depositional and tectonic-stratigraphic evolutionary models built for this sequence. The structural analysis highlighted similarities in deformation styles and kinematics during deposition of the Rift and Transitional sequences, pointing to continuing lithospheric extensional processes along a NW trend (X strain axis) until the end of deposition of the latter sequence was finished by the end of late Aptian. The late stage of extension/rifting was marked by (i) continuous (or as pulses) fault activity along the basin, controling subsidence and creation of depositional space, thereby characterizing upper crustal thinning and (ii) sagstyle deposition of the Transitional Sequence at a larger scale, reflecting the ductile stretching and thinnning of lower and sub crustal layers combined with an increasing importance of the thermal subsidence regime. Besides the late increments of rift tectonics, the Transitional Sequence is also affected by reactivation of the border faults of SBSE, during and after deposition of the Riachuelo Formation (lower section of the Transgressive Marine Sequence, of Albian age). It is possible that this reactivation reflects (through stress propagation along the newlycreated continental margin) the rifting processes still active further north, between the Alagoas Sub-basin and the Pernambuco-Paraíba Basin. The evaporitic beds of the Transitional Sequence contributed to the development of post-rift structures related to halokinesis and the continental margin collapse, affecting strata of the overlying marine sequences during the Middle Albian to the Maastrichtian, or even the Paleogene time interval. The stratigraphic analysis evidenced 5 depositional sequences of higher order, whose vertical succession indicates an upward increase of the base level, marked by deposition of continental siliciclastic systems overlain by lagunar-evaporitic and restricted marine systems, indicating that the Transitional Sequence was deposited during relative increase of the eustatic sea level. At a 2nd order cycle, the Transitional Sequence may represent the initial deposition of a Transgressive Systems Tract, whose passage to a Marine Transgressive Sequence would also be marked by the drowning of the depositional systems. At a 3rd order cycle, the sequence boundary corresponds to a local unconformity that laterally grades to a widespread correlative conformity. This boundary surface corresponds to a breakup unconformity , being equivalent to the Pre-Albian Unconformity at the SBSE and contrasting with the outstanding Pre-upper Alagoas Unconformity at the base of the Transitional Sequence; the latter is alternatively referred, in the literature, as the breakup unconformity. This Thesis supports the Pre-Albian Unconformity as marker of a major change in the (Rift-Drift) depositional and tectonic setting at SBSE, with equivalent but also diachronous boundary surfaces in other basins of the Atlantic margin. The Pre-upper Alagoas Unconformity developed due to astenosphere uplift (heating under high lithospheric extension rates) and post-dates the last major fault pulse and subsequent extensive block erosion. Later on, the number and net slip of active faults significantly decrease. At deep to ultra deep water basin segments, seaward-dipping reflectors (SDRs) are unconformably overlain by the seismic horizons correlated to the Transitional Sequence. The SDRs volcanic rocks overly (at least in part) continental crust and are tentatively ascribed to melting by adiabatic decompression of the rising astenospheric mantle. Even though being a major feature of SBSE (and possibly of other basins), the Pre-upper Alagoas Unconformity do not correspond to the end of lithospheric extension processes and beginning of seafloor spreading, as shown by the crustal-scale extensional structures that post-date the Transitional Sequence. Based on this whole context, deposition of the Transitional Sequence is better placed at a late interval of the Rift Stage, with the advance of an epicontinental sea over a crustal segment still undergoing extension. Along this segment, sedimentation was controled by a combination of thermal and mechanical subsidence. In continuation, the creation of oceanic lithosphere led to a decline in the mechanical subsidence component, extension was transferred to the mesoceanic ridge and the newly-formed continental margin (and the corresponding Marine Sequence) began to be controlled exclusively by the thermal subsidence component. Classical concepts, multidisciplinary data and new architectural and evolutionary crustal models can be reconciled and better understood under these lines

Morfologia e sedimentologia da plataforma continental brasileira adjacente a São Bento do Norte e Caiçara do Norte-RN/NE-Brasil

This dissertation the results of a research developed in the area of São Bento do Norte and Caiçara do Norte, northern coast of the State of Rio Grande do Norte, during the period of June of 2000 to August of 2001, in the ambit of the projects MAMBMARÉ (CNPq/CTPETRO) and PROBRAL (CAPES/DAAD). The objective principal of this research was the characterization of the sedimentary dynamics of this coast, with base in data of coastal process (winds, currents, waves and tides), with topographical risings (beach profiles and dunes), satellite images and sedimentary analyses. The more specific objectives were accomplished the coastal monitoring of this coast, to verify the maintenance of an erosive tendency or progradacional after the groynes construction for contention of the erosion in the beach of Caiçara do Norte, as well as to verify the influence of the features of bottom of the platform interns adjacent on the pole petroliferous of Guamaré. The executed monitoramento allowed to identify that the movement of the sediments, along the year, in that area, is cyclical, reaching the largest oscillations during the months of winter (deposition) and they will summer (erosion). The sedimentologic studies indicated a general tendency for sands quartzosas, with gravel presence, moderately to good selected, with asymmetry predominantly negative. In agreement with the parameter of Dean (1957), used in the identification of the state morfodinâmico of the beaches, monitored beaches, are basically reflectivas with tendency to middlemen, what frames that space of the coast norte-riograndense, as a space strongly vulnerable to erosive processes. The studies developed in the platform, it interns of this area, allowed to visualize for the first time, in large scale, the distribution of the features of the submarine bottom to the batométrico coat of 25 meters. Being pointed out the presence of a high one topographical submerged, with about 5 meters of height, 1 km of width and more than 24 meters of extension, located in the platform it interns in front of São Bento do Norte; coincident with the trend of the system of flaws of Carnaubais. This feature relay an important paper on the control of the sedimentary processes and oceanographic, as well as in the coastal evolution of this area of the RN state, and they affect the area of the pole petroliferous of Guamaré directly. These results contribute to a better knowledge of the processes in the area, and consequently as subsidies implantation of measures of coastal and environmental protection for the cities of São Bento do Norte and Caiçara do Norte, as well as to understand how the geological-sedimentary processes and oceanographic, in this area, are influencing the characteristics geoambientais of the pole petroliferous of Guamaré