Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

Extensões ao Projeto LVWNet: mobilidade, interação com equipamentos reais, comunicação direta, e registro dinâmico de nós

Due to the constantly increasing use of wireless networks in domestic, business and industrial environments, new challenges have emerged. The prototyping of new protocols in these environments is typically restricted to simulation environments, where there is the need of double implementation, one in the simulation environment where an initial proof of concept is performed and the other one in a real environment. Also, if real environments are used, it is not trivial to create a testbed for high density wireless networks given the need to use various real equipment as well as attenuators and power reducers to try to reduce the physical space required to create these laboratories. In this context, LVWNet (Linux Virtual Wireless Network) project was originally designed to create completely virtual testbeds for IEEE 802.11 networks on the Linux operating system. This paper aims to extend the current project LVWNet, adding to it the features like the ability to interact with real wireless hardware, provides a initial mobility ability using the positioning of the nodes in a space coordinates environment based on meters, with loss calculations due to attenuation in free space, enables some scalability increase by creating an own protocol that allows the communication between nodes without an intermediate host and dynamic registration of nodes, allowing new nodes to be inserted into in already in operation network

Interfaces cultural, política e organizacional do projeto caminhos do frio rota cultural no contexto da regionalização do turismo no brejo paraibano

This study is the analysis of cultural, political and organizational interfaces of "Caminhos do Frio Rota Cultural" Project in the context of tourism regionalization in Brejo Paraibano and it presents the characterization, routing and inventory of six municipalities of the Project, as well as the identification of cultural elements used for tourist in the routing of the pond, the investigation of political and organizational articulation and the verification of participation of each producing agent in the development of tourism resulting from the swamp of Paraiba. This is a qualitative descriptive and exploratory study, which makes use of the interpretive paradigm to perform an analysis of the environment where occurs the regionalization of tourism in Brejo of Paraíba and the social actors involved in this process in order to pursue development of the region through culture and tourism, with the collection spot in the six counties of the Project participants collected through interviews with managers, community, government agencies and tourist trade, and the use of the technique of direct observation. This time, with the data analysis it was possible to establish the production situation and its cultural and tourist development in the region of Brejo (PB), where culture has become a developmental tool within the tourism industry due to its innovation potential. It was possible to ratify the undisputed vocation of cultural tourism in the region in question, since other projects being developed with the use of cultural resources with a strong influence on the policies of regional tourism. Thus, the main result was that was seen is that the regional development has triggered a refunctionalisation / reappropriation of space just rebuilding a new territorial organization through the development of a regional autonomy of management, a capacity of collective ownership and the use of economic surplus, a spontaneous process of social inclusion as well as awareness and mobilization tourist (even if initial and shy), an appreciation of natural and cultural assets for all stakeholders and especially identification of the population with its region and its culture, as to achieve regional development is not enough to increase the economic, but above all the promotion of endogenous social factors such as changes in social and cultural values and the integration of social actors in this process. Finally, taking into account the definitions of sustainability, it is considered that cannot be said that the development model seen in the swamp of Paraiba is sustainable, but it is a model of regional development based on the unique characteristics that each municipality has and create a regional identity and have correponded expectations / desired results and therefore the viability of the region through the development of cultural tourism was proven

Fatores que influenciam o apoio dos residentes á megaeventos: uma análise sobre o projeto FIFA WORLD CUP 2014 em Natal/RN

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

Vegetação dunar: caracterização estrutural de dunas do município de Natal-RN como subsídio para implantação de técnicas de reflorestamernto, recuperação e conservação do ecossistema

The Brazilian coast has a wide variety of complex environments and ecosystems along the coast, about 80% are represented by sandbanks and dunes. The coastal ecosystems were the first to suffer the impacts man and places, as the very fragile ecosystems, are somehow altered. Are few areas of restinga well as natural features, very few protected in conservation units. Only in the last two decades the Brazilian restinga have been studies that are showing their importance for biodiversity of the country, though its economic importance remains largely unknown. In Rio Grande do Norte in the restinga vegetation and dune environments extend for almost the entire coast. The dunes are distinguished in the coastal landscape of the state due to the exuberance of its forms, heights and coating plants. The dune system is of fundamental importance for the maintenance of coastal urban settlements, especially for the city of Natal, acting on the hydrological dynamics of water table and reducing the effect of wind and movement of grains of sand to the interior and thus avoiding the burial City. However, the ecosystem of restinga and dune environments have been weakened and destroyed according to the intense urbanization and the knowledge of the vegetation of restinga installed on the dunes are still scarce. Thus, the objective of this study was to characterize the structure and floristic composition of vegetation established on a dune in the Dunes State Park Christmas and gather information to develop a model of recovery of the dune ecosystem. This dissertation is composed of 2 chapters, the first being: Structure of the vegetation of the dunes Dunes State Park in Natal, RN with the objective of describing the structure and composition of species of tree-shrub vegetation of restinga dunes of the Parque das Dunas and second: Recovery of degraded areas in a sand dune, which aimed to review the terms and concepts used in the theme of recovery and the techniques for recovery of degraded areas with emphasis on sandy environments and poor in nutrients, reporting some experiences within and external to Brazil the country, mainly in the Northeast and dunes positive and negative aspects that should be followed in building a model to be adopted for the recovery of local dunes

Empreendedorismo social e protagonismo juvenil: a estratégia socioeducativa do projeto Oasis de intervivência universitária

This dissertation aims to analyze the strategy of socio Intervivência University Project OASIS training of community development from the perspective of social entrepreneurship. This project was part of the context of a sort of university extension, called Intervivência University, which emerged in 2008 through the announcement MCT / CNPq / CT-Agribusiness / MDA - No. 23/2008 - Intervivência University Program. With the analysis of the OASIS project sought to identify a strategy socio, which was used elements of popular education and aimed to develop young people within the social entrepreneurship that made contributions to such has taken actions in their communities seeking range of social gains. For this, the methodological aspect, it was used in the research, a qualitative approach, case study, content analysis, semi-structured interviews and non-participant observation. In the theoretical aspect was addressed in the affairs of: social entrepreneurship, with emphasis on the concept, their differentiations of business entrepreneurship and social responsibility, and characterizing the social entrepreneur, popular education, as for the development of social entrepreneurship is the need for a new way of thinking and seeing reality for the people, and youth leadership, given the importance in the context of social action, to have young people seeking a better life for their communities. Addressed the theory were drawn categories (capital, empowerment and youth participation) and subcategories of analysis (value, attitude, behavior, trust, cooperation, civic participation) used in this work. Given the information and analysis of interviews and observations could be perceived that the strategy promoted socio Project OASIS changes, or the reaffirmation of values, resulting in new attitudes and, consequently, new behaviors in the students interviewed. Has been identified in them the development of trust and cooperation. In the aspect of civic awakening was observed in some of them only. In relation to juvenile activity was perceived to develop actions aimed at social benefits for all respondents. Thus, the OASIS Project Intervivência University made contributions to the young participants in the research aspect of social entrepreneurship, influencing them in developing activities in the social sphere in which cities are embedded

Projeto político de formação do enfermeiro: contextos, textos, (re)construções

This research analyses politic Project for nursing education, in its articulation with economical, political and social context of 1970s and 1980s in national level and, in special, nurse formation process in FAEN/UERN space, situating it on the context of Brazilian sanitary reformation movement and participation movement. The thesis is firmed on the sense of explaining whether that movement circa the nurse formation process has been able to build necessary instruments for the transformation of biomedical formation model historically consolidated, in the perspective of conceiving another model anchored on social determination of health/illness process, with the purpose of assuring ethical and political commitment with the SUS praised by sanitary reformation. The study visualized the object considering its specificity, its concrete historical determinations and institutional as well as organizational relationships that permeate possibilities of valorizing it, analyzing it, interpreting it and rebuilding it. Its operationalization occurred in three movements, it means, bibliographical review; documents study; interviews and focal groups realized with professors of the institution. We can apprehend as main results that the nurse formation process has incorporated widely spread conceptions by the sanitary reformation movement and participation movement, assuming the commitment with transformation of health services and social reality. Nevertheless it prevails, still, amongst some professors in the same institutional space, the commitment to a predominantly technicist formation, focused on instrumental knowledge. Opinion divergence explicit diversity of conceptions circa education and, as consequence, distinct political commitments, also contradictory to formation. Thus, there is a lacuna between what is foreseen on political pedagogical project and what is rendered in FAEN/UERN, evidencing the clash related to conceptual bases of formation project. Interpretations, divergent political attitudes and resistances to the process allowed several formation ways. However, formation under new conceptual bases, find limits on the context of social politics implemented in Brazil during the 1990s, neoliberal-based, expressed on expansion and consolidation of health private system, managed by market rules, strengthening biomedical formation model. Notwithstanding, there is a favorable to its implementation, starting from the first years of 21st century, moment when Brazilian sanitary reformation reappear on health speech, as well as facing the policy of permanent education in health. This reality explicit a process of dialectical tension between instituted and institutor, anticipating the moment of scission or adaptation and return to what is already known. Despite of clashed, knowledge, accumulated experience, contribution to services, the construction of partnerships out of university space and articulation with national movement of (re)orientation of nurse formation, have been constituted as vital instruments to offer support to formation in FAEN/UERN. Still, we consider necessary the (re)visitation to FAEN/UERN politic pedagogical Project considering the existing and implemented construction, without, yet, depreciate the norther axis of the project at the reaching of its intentionality

Condicionamento estrutural das zonasa de cisalhamento da região de Forquilha, domínio Ceará Central: uma abordagem integrada de sensoriamento remoto e geologia estrutural

The studied region, named Forquilha and localized in northwestern Central Ceará domain (northern portion of Borborema Province), presents a lithostratigraphic framework constituted by paleoproterozoic metaplutonics, metasedimentary sequences and neoproterozoic granitoids. The metasedimentary rocks of Ceará group occupy most part of the area. This group is subdivided in two distinct units: Canindé and Independência. Canindé unit is represented basically by biotite paragneisses and muscovite paragneisses, with minor metabasic rocks (amphibolite lens). Independência sequence is composed by garnetiferous paragneisses, sillimanite-garnet-quartz-muscovite schists and quartz-muscovite schists, pure or muscovite quartzites and rare marbles. At least three ductile deformation events were recognized in both units of Ceará group, named D1, D2 and D3. The former one is interpreted as related to a low angle tangential tectonics which mass transport is southward. D2 event is marked by the development of close/isoclinal folds with a N-S oriented axis. Refolding patterns generated by F1 and F2 superposition are found in several places. The latest event (D3) corresponds to a transcurrent tectonics, which led to development of mega-folds and several shear zones, under a transpressional regime. The mapped shear zones are Humberto Monte (ZCHM), Poço Cercado (ZCPC) and Forquilha (ZCF). Digital image processing of enhanced Landsat 7-ETM+ satellite images, combined with field data, demonstrate that these penetrative structures are associated with positive and negative geomorphologic patterns, distributed in linear and curvilinear arrangements with tonal banding, corresponding to the ductile fabric and to crests. Diverse color composites were tested and RGB-531 and RGB-752 provided the best results for lineament analysis of the most prominent shear zones. Spatial filtering techniques (3x3 and 5x5 filters) were also used and the application of Prewitt filters generated the best products. The integrated analysis of morphological and textural aspects from filtered images, variation of tonalities related to the distribution of geologic units in color composites and the superposition over a digital elevation model, contributed to a characterization of the structural framework of the study area. Kinematic compatibility of ZCHM, ZCPC, ZCF shear zones, as well as Sobral-Pedro II (ZCSPII) shear zone, situated to the west of the study area, was one of the goal of this work. Two of these shear zones (ZCHM, ZCPC) display sinistral movements, while the others (ZCSPII, ZCF) exhibit dextral kinematics. 40Ar/39Ar ages obtained in this thesis for ZCSPII and ZCPC, associated with other 40Ar/39Ar data of adjacent areas, indicate that all these shear zones are related to Brasiliano orogeny. The trend of the structures, the opposite shear senses and the similar metamorphic conditions are fitted in a model based on the development of conjugate shear zones in an unconfined transpression area. A WNW-ESE bulk shortening direction is infered. The geometry and kinematic of the studied structures suggest that shortening was largely accommodated by lateral extrusion, with only minor amounts of vertical stretch

Evolução geodinâmica e condicionamento estrutural dos terrenos Piancó-Alto Brígida e Alto Pajeú, domínio da zona transversal, NE do Brasil

This thesis aims to advance in the geological knowledge of the region comprising the Piancó-Alto Brígida (TPAB) and Alto pajeú (TAP) terranes, in the Transversal Zone Domain (Borborema Province, NE Brazil), with the main objective of understanding the geodynamic evolution and the structural framework of these units. To reach this objective, and besides field work and interpretation of traditional aerial photographs, other tools were employed like of remote sensing products (Landsat 7 ETM+, aeroradiometrics, aeromagnetics and topographical images), lithogeochemical (whole rock) analyses and geochronological dating (U-Pb in zircon), besides integration with literature data. In the area, several precambrian geological units outcrop, represented in the TAP by the paleoproterozoic Serra Talhada and Afogados da Ingazeira complexes, Riacho Gravatá Complex (metavolcano-sedimentary sequence of Stenian-Tonian age) and Cariris Velhos orthogneisses (of Tonian age). The TPAB comprises the Santana do Garrote (lower unit) and Serra do Olho d'Água (upper unit) formations of the Cachoeirinha Group (Neoproterozoic III), besides the Piancó orthogneisses and Bom Jesus paragneisses; the latter correspond to an older (basement ?) block and a possible high grade equivalent of the Cachoeirinha Group (or Seridó Group ?), respectively. Several Brasiliano-age plutons occur in both terranes.The aeromagnetic data show the continuity, at depth, of the main shear zones mapped in the region. The Patos, Pernambuco, Boqueirão dos Cochos, Serra do Caboclo, Afogados da Ingazeira/Jabitacá and Congo-Cruzeiro do Nordeste shear zones reach depths greater than to 6-16 km. The aeromagnetic signature of other shear zones, like the Juru one, suggests that these structures correspond to shallower crustal features. The satellite images (Landsat 7 ETM+) and aerogamaspectrometric images discriminate different geological units, contributing to the mapping of the structural framework of the region. The Serra do Caboclo Shear Zone was characterized as the boundary/suture between the TPAB and TAP. This structure is an outstanding, pervasive feature that separates contrasting geological units, such as the Neoproterozoic III Cachoeirinha Group in the TPAB and the Riacho Gravatá Complex and the Cariris Velhos metaplutonics, of Stenian-Tonian age, in the TAP. Occupying different blocks, these units are not found in authoctonous relations, like unconformities and intrusive contacts. Concerning the Cariris Velhos (ca. 1,0 Ga old) event is recorded by radiometric ages of the Riacho Gravatá Complex metavolcanics and intrusive augen and orthogneisses, all of them displaying geochemical affinities of arc or collisional settings. A structural signature of this event was not recorded in the region, possibly due to its low grade/low strain style, obliterated by the overprinting of younger, higher grade/high strain Brasiliano-age fabrics.The first tectonic event (D1) observed in the Cariris Velhos lithotypes presents contractional kinematics with transport to the NW. Neoproterozoic III geochronologic dates, obtained in late-D1 granitoids, imply a Brasiliano age (ca. 610-600 Ma) for this deformation event. The second tectonic event (D2) characterized in the region corresponds to the Brasiliano transcurrent kinematics of the outstanding shear zones and associated granitoid plutons. The geochronological (U-Pb in zircon) data obtained during this thesis also confirms the occurrence of the Cariris Velhos magmatic suite in the TAP, as well as the Neoproterozoic III age to the Cachoeirinha Group in the TPAB. The TAP (Riacho Gravatá Complex, augen and orthogneisses) is interpreted as a continental arc possibly accreted to a microcontinent during the Cariris Velhos (Stenian-Tonian) event. Later on, this terrane collided with the TPAB at the beginning of the Brasiliano orogeny (D1 contractional deformation), and both domins were reworked by the transcurrent shear deformation of the D2 event

Evolução tectono-estrutural do Campo de Xaréu (Sub-bacia de Mundaú, Bacia do Ceará - NE do Brasil: abordagem multiescala e pluriferramental

The Xaréu Oil Field, located in the center-southern portion of the Mundaú Sub-Basin (eastern portion of the Ceará Basin), is characterized by a main Iramework of NW-trending and NE-dipping faults. The faults in the Xaréu Oil Field, among which the Xaréu Fautt stands out, are arranged according to an extensional-listriclan, rooted on a detachment surface corresponding to the Mundaú Fault, the border fautt of Mundaú Sub-Basin. During the tectonic-structural evolution of the Xaréu Oil Field and the Mundaú Sub-Basin, the Mundaú Fault played a crucial role on the control of the geometry of both compartments. The main carbonatic unit in the Xaréu Oil Field, named the Trairí Member(Paracuru Formation of Late Aptian to Early Albian age), contains the largest oil volume in the field, concentrated in structurally-controlled accumulations. The Trairí Member is composed by a variety of carbonatic rocks (massive, bedded or laminated calcilutites, ostracodites, calcarenites and carbonatic rudites, all of them presenting variable degrees of dolomitization). The carbonatic rocks are interbedded into thick packages of black shales and marls, besides local beds of siliciclastic conglomerates, sandstones, siltnes and argillites. From the spatial association and the genetic relationships between the carbonatic and siliciclastic units, it is possible to group them in three lithofacies associations (Marginal Plain, Ramp and Lacustrine Interior) that, together, were developed in a lacustrine system associated to a marginal sabkha. Structural studies based on drill coresthat sample the Trairí Member in the Xaréu Oil Field allowed to characterize two generations of meso- to microscale structures: the D1 group presents a typical hydroplastic character, being characterized by intra/interstratal to oblique-bedding shear zones. The hydroplastic character related to these structures allowed to infer their development at an early-lithilication stage of the Trairí Member, leading to infer an Early Cretaceous age to them. The second group of structures identified in the drill cores, nominated D2 and ascribed to a Neogene age, presents a strictly brttle character, being typilied by normal faults and slickenfibers of re-crystallized clayminerals, ali olthem displaying variable orientations. Although the present faults in the Xaréu Oil Field (and, consequently, in the Mundaú Sub-Basin) were classically relerred as struetures of essentially normal displacement, the kinematics analysis of the meso-to microscaie D1 struetures in the drill cores led to deline oblique displacements (normal with a clockwise strike-slip component) to these faults, indicating a main tectonic transport to ENE. These oblique movements would be responsible for the installation of a transtensive context in the Mundaú Sub-Basin, as part of the transcurrent to translormant opening of the Atlantic Equatorial Margin. The balancing of four struetural cross-sections ofthe Xaréu Oil Field indicates that the Mundaú Fault was responsible for more than 50% of the total stretching (ß factor) registered during the Early Aptian. At the initial stages of the "rifting", during Early Aptianuntil the Holocene, the Mundaú Sub-Basin (and consequently the Xaréu Oil Fleld) accumulated a total stretching between 1.21 and 1.23; in other words, the crust in this segment of the Atlantic Equatorial Margin was subjeeted to an elongation of about 20%. From estimates of oblique displacements related to the faults, it ws possible to construct diagrams that allow the determination of stretching factors related to these displacements. Using these diagrams and assuming the sense 01 dominant teetonictransport towards ENE, it was possible to calculate the real stretching lactors related to the oblique movement 0 of the faults in the Mundaú Sub-Basin. which reached actual values between 1.28 and 1.42. ln addnion to the tectonic-structural studies in the Xaréu Oil Field, the interpretation of remote sensing products, coupled wnh characterization of terrain analogues in seleeted areas along the northern Ceará State (continental margins of the Ceará and Potiguar basins), provided addnional data and constraints about the teetonic-structural evolution of the oil lield. The work at the analogue sites was particularly effective in the recognition and mapping, in semidetail scale, several generations of struetures originated under a brittle regime. Ali the obtained information (from the Xaréu Oil Field, the remote sensor data and the terrain analogues) were jointly interpreted, culminating with the proposnion of an evolutionary model lor this segment of the Atlantic Equatorial Margin; this model that can be applied to the whole Margin, as well. This segmentof the Atlantic Equatorial Margin was delormedin an early E-W (when considered lhe present-day position of the South American Plate) transcurrent to transform regime with dextral kinematics, started Irom, at least, the Early Aptian, which left its record in several outcrops along the continental margin of the Ceará State and specilically in the Xaréu off Field. The continuous operation of the regime, through the Albian and later periods, led to the definitive separation between the South American and African plates, with the formation of oceanic lithosphere between the two continental blocks, due to the emplacement off spreading centers. This process involved the subsequent transition of the transcurrent to a translorm dextral regime, creating lhe Equatorial Atlantic Oceano With the separation between the South American and African plates already completed and the increasing separation between lhe continental masses, other tecton ic mechanisms began to act during the Cenozoic (even though the Cretaceous tectonic regime lasted until the Neogene), like an E-W compressive stress líeld (related to the spreading olthe oceanic floor along lhe M id-Atlantic Ridge and to the compression of the Andean Chain) effective Irom the Late Cretaceous, and a state of general extension olthe horizontal surface (due to the thermal uplift ofthe central portion of Borborema Province), effective during the Neogene. The overlap of these mechanisms during the Cenozoic led to the imprint of a complex tectonic framework, which apparently influenced the migration and entrapment 01 hydrocarbon in the Ceará Basin

Evolução morfotectônica do maciço estrutural pereiro, província Borborema

The Northeast relief was described by the Pediplanation Model. This action discards the theoretical basis of post-Cretaceous tectonic evolution of the landscape. Through this model the Massif Pereiro - MP, Borborema Province, was established as part of the Tablelands Area Residual Sertanejos. The present work aims to establish the post- Cretaceous morphotectonic evolution of the MP by geomorphological and geological mapping using Geographic Information System, Remote Sensing and dating of sediments by Single Aliquot Regenerative-dose (SAR). The MP is contained in the core semi-arid, annual precipitation of 600-800 mm / year. The MP is NE-SW, is limited by Shear Zone Jaguaribe (ZCJ) and Portalegre Shear Zone (ZCPa), the same attitude, and crossed by several other shear zones. These shear zones show evidence of brittle Cenozoic reactivation, mostly as normal faults and shallow crustal level. The Quaternary sedimentation around the MP focuses on fault escarpments in a general pattern cascade, where ages decrease from the summits of the steep foothills. The ages of 51 sediment samples indicate a correlation with global climate following pulses: Last Interestadial-UI, the Last Glacial Maximum - LGM and the transition Pleistocene / Holocene, while the latter focus on 18 of 51 samples dated. This study also finds evidence of a new quaternary basin, here called Merejo Basin. Through these results it is concluded that no evidence of post-Cretaceous tectonic evolution of morphological MP, as their retreat along the fault scarps, invariably following the trend of the shear zones. The erosion of cliffs in large time scale is controlled by weakness zones generated by faults on the other hand the erosion of cliffs in short time, with the formation of deposits and colluvial horizons pedogenizados, has climate control. It was also found that in the study area there is a preponderance of past and current tectonic erosion processes on the morphological evolution

Purificação e caracterização estrutural de homogalactanas sulfatadas anticoagulantes da alga verde Codium isthmocladum

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Síntese e caracterização estrutural e magnética da ferrita de cálcio

The calcium ferrite (Ca2Fe2O5) has a perovskite-type structure with oxygen deficiency and is used as a chemical catalyst. With the advent of nanoscience and nanotechnology, methods of preparation, physical and chemical characterizations, and the technological applications of nanoparticles have attracted great scientific interest. Calcium nanostructured ferrites were produced via high-energy milling, with subsequent heat treatment. The milling products were characterized by X-ray diffraction, magnetization and Mössbauer spectroscopy. Samples of the type Ca2Fe2O5 were obtained from the CaCO3 and Fe2O3 powder precursors, which were mixed stoichiometrically and milled for 10h and thermally treated at 700ºC, 900ºC and 1100ºC. The Mössbauer spectra of the treated samples were adjusted three subespectros: calcium ferrite (octahedral and tetrahedral sites) and a paramagnetic component, related to very small particles of calcium ferrite, which are in a superparamagnetic state. For samples beats in an atmosphere of methyl alcohol, there is a significant increase in area associated with the paramagnetic component. Hysteresis curves obtained are characteristic of a weak ferromagnetic-like material

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Uso do GPR na geração de modelos estáticos 3D para o planejamento de lavra de minerais pesados depositados em dunas eólicas

This project was developed as a partnership between the Laboratory of Stratigraphical Analyses of the Geology Department of UFRN and the company Millennium Inorganic Chemicals Mineração Ltda. This company is located in the north end of the paraiban coast, in the municipal district of Mataraca. Millennium has as main prospected product, heavy minerals as ilmenita, rutilo and zircon presents in the sands of the dunes. These dunes are predominantly inactive, and overlap the superior portion of Barreiras Formation rocks. The mining happens with the use of a dredge that is emerged at an artificial lake on the dunes. This dredge removes sand dunes of the bottom lake (after it disassembles of the lake borders with water jets) and directs for the concentration plant, through piping where the minerals are then separate. The present work consisted in the acquisition external geometries of the dunes, where in the end a 3D Static Model could be set up of these sedimentary deposits with emphasis in the behavior of the structural top of Barreiras Formation rocks (inferior limit of the deposit). The knowledge of this surface is important in the phase of the plowing planning for the company, because a calculation mistake can do with that the dredge works too close of this limit, taking the risk that fragments can cause obstruction in the dredge generating a financial damage so much in the equipment repair as for the stopped days production. During the field stages (accomplished in 2006 and 2007) topographical techniques risings were used with Total Station and Geodesic GPS as well as shallow geophysical acquisitions with GPR (Ground Penetrating Radar). It was acquired almost 10,4km of topography and 10km of profiles GPR. The Geodesic GPS was used for the data geopositioning and topographical rising of a traverse line with 630m of extension in the stage of 2007. The GPR was shown a reliable method, ecologically clean, fast acquisition and with a low cost in relation to traditional methods as surveys. The main advantage of this equipment is obtain a continuous information to superior surface Barreiras Formation rocks. The static models 3D were elaborated starting from the obtained data being used two specific softwares for visualization 3D: GoCAD 2.0.8 and Datamine. The visualization 3D allows a better understanding of the Barreiras surface behavior as well as it makes possible the execution of several types of measurements, favoring like calculations and allowing that procedures used for mineral extraction is used with larger safety