On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Segmentação fuzzy de imagens coloridas com características texturais: uma aplicação a rochas sedimentares

Image segmentation is the process of labeling pixels on di erent objects, an important step in many image processing systems. This work proposes a clustering method for the segmentation of color digital images with textural features. This is done by reducing the dimensionality of histograms of color images and using the Skew Divergence to calculate the fuzzy a nity functions. This approach is appropriate for segmenting images that have colorful textural features such as geological, dermoscopic and other natural images, as images containing mountains, grass or forests. Furthermore, experimental results of colored texture clustering using images of aquifers' sedimentary porous rocks are presented and analyzed in terms of precision to verify its e ectiveness.

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Avaliando o impacto da utilização de renderizações panorâmicas para a navegação em ambientes virtuais

Panoramic rendering is the visualization of three-dimensional objects in a virtual environment through a wide viewing angle. This work investigated if the use of panoramas is able to promote faster searches in a virtual environment. Panoramas allow the presentation of space through less need to change the orientation of the camera, especially for the case of projections spanning 360º surrounding the user, which can benefit searching. However, the larger the angle, more distorted is the visualization of the environment, causing confusion in navigation. The distortion is even bigger when the user changes the pitch of the camera, by looking up or down. In this work we developed a technique to eliminate specifically the distortions caused by changes in pitch, which was called hemispheric projection. Experiments were done to evaluate the performance of search navigation through perspective, cylindrical and hemispherical projections. The results indicate that navigating with perspective projection is superior than navigating with panoramic projections, possibly due to factors such as (i) lack of experience of the participants in understanding the scenes displayed as panoramas, (ii) the inherent presence of distortion in panoramic projections and (iii) a lower display resolution because the objects are presented in smaller sizes in panoramic projections, making the perception of details more difficult. However, the hemispherical projection was better than the cylindrical, indicating that the developed technique provides benefits for navigation compared to current techniques of panoramic projection. The hemispheric projection also provided the least amount of changes of camera orientation, which is an indication that the hemispheric projections may be particularly useful in situations where there are restrictions on the ease to change the orientation. Future research will investigate the performance of cameras interactions on slower devices, such as using only keyboard, or brain-machine interfaces

Investigando a combinação de técnicas de aprendizado semissupervisionado e classificação hierárquica multirrótulo

Data classification is a task with high applicability in a lot of areas. Most methods for treating classification problems found in the literature dealing with single-label or traditional problems. In recent years has been identified a series of classification tasks in which the samples can be labeled at more than one class simultaneously (multi-label classification). Additionally, these classes can be hierarchically organized (hierarchical classification and hierarchical multi-label classification). On the other hand, we have also studied a new category of learning, called semi-supervised learning, combining labeled data (supervised learning) and non-labeled data (unsupervised learning) during the training phase, thus reducing the need for a large amount of labeled data when only a small set of labeled samples is available. Thus, since both the techniques of multi-label and hierarchical multi-label classification as semi-supervised learning has shown favorable results with its use, this work is proposed and used to apply semi-supervised learning in hierarchical multi-label classication tasks, so eciently take advantage of the main advantages of the two areas. An experimental analysis of the proposed methods found that the use of semi-supervised learning in hierarchical multi-label methods presented satisfactory results, since the two approaches were statistically similar results

Comitês de Classificadores para o Reconhecimento Multibiométrico em Dados Biométricos Revogáveis

This work discusses the application of techniques of ensembles in multimodal recognition systems development in revocable biometrics. Biometric systems are the future identification techniques and user access control and a proof of this is the constant increases of such systems in current society. However, there is still much advancement to be developed, mainly with regard to the accuracy, security and processing time of such systems. In the search for developing more efficient techniques, the multimodal systems and the use of revocable biometrics are promising, and can model many of the problems involved in traditional biometric recognition. A multimodal system is characterized by combining different techniques of biometric security and overcome many limitations, how: failures in the extraction or processing the dataset. Among the various possibilities to develop a multimodal system, the use of ensembles is a subject quite promising, motivated by performance and flexibility that they are demonstrating over the years, in its many applications. Givin emphasis in relation to safety, one of the biggest problems found is that the biometrics is permanently related with the user and the fact of cannot be changed if compromised. However, this problem has been solved by techniques known as revocable biometrics, which consists of applying a transformation on the biometric data in order to protect the unique characteristics, making its cancellation and replacement. In order to contribute to this important subject, this work compares the performance of individual classifiers methods, as well as the set of classifiers, in the context of the original data and the biometric space transformed by different functions. Another factor to be highlighted is the use of Genetic Algorithms (GA) in different parts of the systems, seeking to further maximize their eficiency. One of the motivations of this development is to evaluate the gain that maximized ensembles systems by different GA can bring to the data in the transformed space. Another relevant factor is to generate revocable systems even more eficient by combining two or more functions of transformations, demonstrating that is possible to extract information of a similar standard through applying different transformation functions. With all this, it is clear the importance of revocable biometrics, ensembles and GA in the development of more eficient biometric systems, something that is increasingly important in the present day

On fuzzy ideals and fuzzy filters of fuzzy lattices

In the literature there are several proposals of fuzzi cation of lattices and ideals concepts. Chon in (Korean J. Math 17 (2009), No. 4, 361-374), using the notion of fuzzy order relation de ned by Zadeh, introduced a new notion of fuzzy lattice and studied the level sets of fuzzy lattices, but did not de ne a notion of fuzzy ideals for this type of fuzzy lattice. In this thesis, using the fuzzy lattices de ned by Chon, we de ne fuzzy homomorphism between fuzzy lattices, the operations of product, collapsed sum, lifting, opposite, interval and intuitionistic on bounded fuzzy lattices. They are conceived as extensions of their analogous operations on the classical theory by using this de nition of fuzzy lattices and introduce new results from these operators. In addition, we de ne ideals and lters of fuzzy lattices and concepts in the same way as in their characterization in terms of level and support sets. One of the results found here is the connection among ideals, supports and level sets. The reader will also nd the de nition of some kinds of ideals and lters as well as some results with respect to the intersection among their families. Moreover, we introduce a new notion of fuzzy ideals and fuzzy lters for fuzzy lattices de ned by Chon. We de ne types of fuzzy ideals and fuzzy lters that generalize usual types of ideals and lters of lattices, such as principal ideals, proper ideals, prime ideals and maximal ideals. The main idea is verifying that analogous properties in the classical theory on lattices are maintained in this new theory of fuzzy ideals. We also de ne, a fuzzy homomorphism h from fuzzy lattices L and M and prove some results involving fuzzy homomorphism and fuzzy ideals as if h is a fuzzy monomorphism and the fuzzy image of a fuzzy set ~h(I) is a fuzzy ideal, then I is a fuzzy ideal. Similarly, we prove for proper, prime and maximal fuzzy ideals. Finally, we prove that h is a fuzzy homomorphism from fuzzy lattices L into M if the inverse image of all principal fuzzy ideals of M is a fuzzy ideal of L. Lastly, we introduce the notion of -ideals and - lters of fuzzy lattices and characterize it by using its support and its level set. Moreover, we prove some similar properties in the classical theory of - ideals and - lters, such as, the class of -ideals and - lters are closed under intersection. We also de ne fuzzy -ideals of fuzzy lattices, some properties analogous to the classical theory are also proved and characterize a fuzzy -ideal on operation of product between bounded fuzzy lattices L and M and prove some results.

O problema do caixeiro alugador com coleta de bonus: um estudo algoritmico

This paper introduces a new variant of the Traveling Car Renter Problem, named Prizecollecting Traveling Car Renter Problem. In this problem, a set of vertices, each associated with a bonus, and a set of vehicles are given. The objective is to determine a cycle that visits some vertices collecting, at least, a pre-defined bonus, and minimizing the cost of the tour that can be traveled with different vehicles. A mathematical formulation is presented and implemented in a solver to produce results for sixty-two instances. The proposed problem is also subject of an experimental study based on the algorithmic application of four metaheuristics representing the best adaptations of the state of the art of the heuristic programming.We also provide new local search operators which exploit the neighborhoods of the problem, construction procedures and adjustments, created specifically for the addressed problem. Comparative computational experiments and performance tests are performed on a sample of 80 instances, aiming to offer a competitive algorithm to the problem. We conclude that memetic algorithms, computational transgenetic and a hybrid evolutive algorithm are competitive in tests performed

Evolução termocronológica do sistema de falhas Senador Pompeu-CE

The region of the Senador Pompeu Shear Zone (SPSZ), in the North Tectonic Domain of the Borborema Province (BP), has its recent history associated with to South Atlantic Ocean formation event at the Jurassic. A lot of geologics models have discussed about crustal axis elevation in local scale and large scale (Borborema Province), relative to importants regionals tectonics directions of it. The identification and the relationship among this surfaces, stepped in many topographyc levels by tectonics mecanisms, is dificult because of the erosion process on it. Over there, sedimentary deposits is complex and it has not biostratigraphyc record in continental deposits. The analysis metodology on apatita fission-track, in the region of the SPSZ, purpose the more knowledge about morphotectonics mecanisms of the area and the impruvement of its morphotectonics models. For this, it was moleled the age and thermal history of the 11 apatites samples collected on both sides of this shear zone, taking relationships among other results of the thermochronology studies in the BP. Based on the thermal studies in this search, the region of the BP developed on two distint cooling events, separated for one period of relative stabilited. The first episode occur between 130 and 90 M.y., has been began when the samples cross the 120°C isoterm for last time and fineshed at 70°C. The second moment of the cooling process was began about 30 M.y., when the temperature was 90°C, from this to the equlibrium with present surface temperature at 30°C. Some evidences indicated a relacionship between thermal episodes and uplift events of the regional relief. The fundaments of the interpretation was based mainly on comparatives studies among results of the thermochronology analysis and geologics studies about BP. Nóbrega et al.(2005), e.g., on studies about the Portalegre Shear Zone, got similar results on SPSZ, with some details relative to local tectonic activity. Morais Neto et al. (2000) interpreted two importants cooling events in the BP based on their regional studies, that can be associated to regional uplift events. When Assine (1992) studied the stratigraphyc sequences of the Araripe Basin, in the south of Ceará state, conclude that the abrupt return to continentals condictions from the last sedimentar sequency (albiano-cenomaniane) indicate a regional uplift of the NE region of the Brazil at the 100 M.y., in the Albiano Intermediate/Superior. This ages are compatible to termal model of the SPSZ. This two periods of the thermal history of the BP are completely registered in the apatites samples just one age groups of the fission-track, that it is the most ancient age groups. This one suggest it has happened in response to heating before 75 M.y and it has erased the last report of the first moment relief evolution of the BP. The NNE-SSW and E-W structure reativation can have created ideal condictions for heating and local elevations of the geothermal gradients. The equilibrium between the apatites temperatures of this groups and the regionais temperatures took place about 50 M.y., when the samples of the two ages groups had a simillar evolution to present surfaces temperatures

Análise caracterização da dinâmica da Foz do Rio Apodi, região de Areia Branca/RN, com base na cartografia temática multitemporal de produtos de sensores remotos

The study area islocated in the northern cost of Rio Grande do Norte State, preciselyin a west zone of Apodi-Mossoró River, inclunding Tibau City, Grossos City and part of Mossoró City. Geologicaly, this area is composed by rokcs of Potiguar basin, represented by Cretaceous, Tertiary and Quaternary sediments. This area is characterizer by the intense action of cosatal processes (eolic and costal tranports, generalized erosion, alteration in the sediments balance and coast modification), reponsable for it´s morfological instability, also the antropic interference, where the iol industry is located, next Mossoró City, and also the salt exploration industry and the tendency of expantion of shrimp cultivation. This report had as objective the multitemporalgeoenvorimentalmonitoring of the region by recognizingin the field and analizingimages of orbital sensors of diferents years of last four decades. This analisys was achieved by Digital Images Procesing (DIP) thecnics, com subsidized, in a GIS, the preparion of Thematic Maps of natural resources (Geology, Geomorphology and Use & Ocupatios of Earth) and the Envorimental Sensivity to Oil Spilling, main objective os this project. Such technics constitute important tools of envoriment monitoring and maneging, indicating tendencies of antropic of natural growing, making possible the apropiated planning of development of the region, where the steps can be indicated minimized possibles envorimental impacts caused by antropics interferencies on the region, mainly those related to industrial activities, and oil industry above all. Researchs of this nature are very important to the analisys and ordered manegements of use and ocupation of coastal places

Limites e evolução geodinâmica do Sistema Jaguaribeano, Província Borborema, Nordeste do Brasil

The studied area is geologically located in the Northern Domain of the Borborema Province (Northeast Brazil), limited to the south by the Patos shear zone. Terranes of the Jaguaribeano system are dominant, flanked by the Piranhas (E and S sides) and Central Ceará (NE side) terranes. Its basement comprises gneiss -migmatite terrains of Paleoproterozoic to Archean age (2.6 to 1.9 Ga old), overprinted by neoproterozoic to cambrian tectonotherma l events. Narrow supracrustal belts ( schist belts) display a 1.6 to 1.8 Ga age, as shown by whole - rock Rb-Sr and zircon U-Pb and Pb/Pb dates in acid metavolcanics which dominate in the lower section of these sequences, and in coeval metaplutonics (granitic augen gneisses). From the stratigraphic point of view, three Staterian belts are recognized: 1. Orós Belt - made up by the Orós Group, subdivided in the Santarém (predominantly pure to impure quartzites, micaschists and metacarbonates) and Campo Alegre (metandesites, metabasalts, metarhyolites and metarhyodacites, interlayered with metatuffs and metasediments) formations, and by the Serra do Deserto Magmatic Suite (granitic augen gneisses). 2. Jaguaribe Belt - its lithostratigrahic-lithodemic framework is similar to the one of the Orós Belt, however with a greater expression of the volcano -plutonic components (Campo Alegre Formation and Serra do Deserto Magmatic Suite). The Peixe Gordo Sequence, separately described, is also related to this belt and contain s metasedimentary, metavolcanic (with subordinated volcanoclastics) and metaplutonic units. The first one correlated to the Orós Group and the latter the Serra do Deserto Magmatic Suite. 3. Western Potiguar Belt - represented by the Serra de São José Gro up, subdivided in the Catolezinho (biotite -amphibole gneisses with intercalations of metacarbonates, calcsilicate rocks, amphibolites and quartzite beds to the top) and Minhuins (quartzites, micaschists, metaconglomerates, calcsilicate rocks, acid to the b asic metavolcanics and metatuffs) formations. Its late Paleoproterozoic (Staterian) age was established by a Pb/Pb date on zircons from a granitic orthogneiss of the Catolezinho Formation. The petrographic characteristics and sedimentary structures of the Santarém Formation of the Orós Group point to deltaic to shallow marine depositional systems, overlain by deep water deposits (turbidites). The geodynamic setting of this region encompassed a large depositional basin, probably extending to the east of the Portalegre shear zone and west of the Senador Pompeu shear zone, with possible equivalents in the Jucurutu Formation of the Seridó Belt and in the Ceará Group of central Ceará. The Arneiróz Belt, west Ceará, displays some stratigraphic features and granito ids geochemically akin to the ones of the Orós Belt. The evolutionary setting started with an extensional phase which was more active in the eastern part of this domain (Western Potiguar and part of the Jaguaribe belts), where the rudite and psamite sedime ntation relates to a fluviatile rift environment which evolved to a prograding deltaic system to the west (Orós Group). The basaltic andesitic and rhyolitic volcanics were associated to this extensional phase. During this magmatic event, acid magmas also crystallized at plutonic depths. The Orós Group illustrates the environmental conditions in the western part of this domain. Later on, after a large time gap (1.6 to 1.1 Ga), the region was subjected to an extensional deformational episode marked by 900 Ma old (Sm-Nd data) basic rocks, possibly in connection with the deposition of the Cachoeirinha Group south of the Patos shear zone. In the 800 to 500 Ma age interval, the region was affected by important deformational and metamorphic events coupled with in trusion of granitic rocks of variable size (dykes to batholiths), related to the Brasiliano/Pan -African geotectonic cycle. These events produced structural blocks which differentiate, one from the other, according to the importance of anatectic mobilizatio n, proportion of high-grade supracrustals and the amount of neoproterozoic -cambrian granitoid intrusions. On this basis, a large portion of the Jaguaretama Block/Terrane is relatively well preserved from this late overprint. The border belts of the Jagua retama Block (Western Potiguar and Arneiroz) display kyanite-bearing (medium pressure) mineral associations, while in the inner part of the block there is a north-south metamorphic zoning marked by staurolite or sillimanite peak metamorphic conditions. Regarding the deformations of the Staterian supracrustal rocks, second and third phases were the most important, diagnosed as having developed in a progressive tectonic process. In the general, more vigorous conditions of PT are related to the interval tardi - phase 2 early-phase 3, whose radiometric ages and regional structuring indicators places it in the Brasiliano/Pan-African Cycle. In the Staterian geodynamic setting of Brazilian Platform , these sequences are correlated to the lower Espinhaço Supergroup (p.ex., Rio dos Remédios and Paraguaçu groups, a paleproterozoic rift system in the São Francisco Craton), the Araí and Serra da Mesa groups (north of Goiás, in the so -called Goiás Central Massif), and the Uatumã Group (in the Amazonian Craton). Granitic ( augen gneisses) plutonics are also known from these areas, as for example the A-type granites intrusive in the Araí and Serra da Mesa groups, dated at 1.77 Ga. Gravimetric and geological data place the limits of the Jaguaribeano System (terranes) along the Senador Pompeu Shear Zone (western border) and the Portalegre- Farias Brito shear zone (eastern and southern). However, the same data area not conclusive as regards the interpretation of those structures as suture of the terrane docking process. The main features of those shear zones and of involved lothological associations, appear to favour an intracontinental transpressional -transcurrent regime, during Neoproterozoic-Cambrian times, marking discontinuities along which different crustal blocks were laterally dispersed. Inside of this orogenic system and according to the magnetic data (total field map), the most important terrane boundary appears to be the Jaguaribe shear zone. The geochronological data, on some tectonostratigraphic associations (partly represented by the Ceará and Jucurutu groups), still at a preliminary level, besides the lack of granitic zonation and other petrotectonic criteria, do not allow to propose tectonic terrane assembly diagrams for the studied area

Mapeamento de recifes no Rio Grande do Norte: Touros e Macau/RN

Studies on the Brazilian continental shelf were developed between Touros and Macau-RN (NE Brazil) with the aim to mapping carbonate buildups, and especially, reef ecosystems. Remote sensing, submarine movies, bathymetric survey and diving were the methods used. This paper will focus on three main aspects of the Rio Grande do Norte reefs: 1) characterization of the coral fauna; 2) the classification and, 3) the distribution of the main northriograndense carbonate buildups. Reefs environments are found predominantly on the inner shelf adjacent to Touros, at depths shallower than 10 m. These reefs generally show NW-SE orientation parallel to the coastline and constitute groupings of knolls and patch reefs. A prominent carbonate buildup, where the corals are almost absents and algae incrustation is thin, occurs in average depths of 25 m, along the northern part of Rio Grande do Norte State and is classified as sandstone bank. Others sandstone banks, with smaller lengths and heights were mapped around 10 m depth. They should be related to an ancient coastline; however the corresponding litostratigraphic unit was not defined. This work is a contribution to the mapping of coral reef, in particular, and carbonate buildups, in general, on the Rio Grande do Norte coast

Condutividade térmica de rochas: uma aplicação para granitos ornamentais

This dissertation focuses on rock thermal conductivity and its correlations with petrographic, textural, and geochemical aspects, especially in granite rocks. It aims at demonstrating the relations of these variables in an attempt to enlighten the behavior of thermal effect on rocks. Results can be useful for several applications, such as understanding and conferring regional thermal flow results, predicting the behavior of thermal effect on rocks based upon macroscopic evaluation (texture and mineralogy), in the building construction field in order to provide more precise information on data refinement on thermal properties emphasizing a rocky material thermal conductivity, and especially in the dimension stone industry in order to open a discussion on the use of these variables as a new technological parameter directly related to thermal comfort. Thermal conductivity data were obtained by using Anter Corporation s QuicklineTM -30 a thermal property measuring equipment. Measurements were conducted at temperatures ranging between 25 to 38 OC in samples with 2cm in length and an area of at least 6cm of diameter. As to petrography data, results demonstrated good correlations with quartz and mafics. Linear correlation between mineralogy and thermal conductivity revealed a positive relation of a quartz percentage increase in relation to a thermal conductivity increase and its decrease with mafic minerals increase. As to feldspates (K-feldspate and plagioclase) they show dispersion. Quartz relation gets more evident when compared to sample sets with >20% and <20%. Sets with more than 20% quartz (sienogranites, monzogranites, granodiorites, etc.), exhibit to a great extent conductivity values which vary from 2,5 W/mK and the set with less than 20% (sienites, monzonites, gabbros, diorites, etc.) have an average thermal conductivity below 2,5 W/mK. As to textures it has been verified that rocks considered thick/porphyry demonstrated in general better correlations when compared to rocks considered thin/medium. In the case of quartz, thick rocks/porphyry showed greater correlation factors when compared to the thin/medium ones. As to feldspates (K-feldspate and plagioclase) again there was dispersion. As to mafics, both thick/porphyry and thin/medium showed negative correlations with correlation factor smaller than those obtained in relation to the quartz. As to rocks related to the Streckeisen s QAP diagram (1976), they tend to fall from alcali-feldspates granites to tonalites, and from sienites to gabbros, diorites, etc. Thermal conductivity data correlation with geochemistry confirmed to a great extent mineralogy results. It has been seen that correlation is linear if there is any. Such behavior could be seen especially with the SiO2. In this case similar correlation can be observed with the quartz, that is, thermal conductivity increases as SiO2 is incremented. Another aspect observed is that basic to intermediate rocks presented values always below 2,5 W/mK, a similar behavior to that observed in rocks with quartz <20%. Acid rocks presented values above 2,5 W/mK, a similar behavior to that observed in rocks with quartz >20% (granites). For all the other cases, correlation factors are always low and present opposite behavior to Fe2O3, CaO, MgO, and TiO2. As to Al2O3, K2O, and Na2O results are not conclusive and are statistically disperse. Thermal property knowledge especially thermal conductivity and its application in the building construction field appeared to be very satisfactory for it involves both technological and thermal comfort aspects, which favored in all cases fast, cheap, and precise results. The relation between thermal conductivity and linear thermal dilatation have also shown satisfactory results especially when it comes to the quartz role as a common, determining phase between the two variables. Thermal conductivity studies together with rocky material density can function as an additional tool for choosing materials when considering structural calculation aspects and thermal comfort, for in the dimension stone case there is a small density variation in relation to a thermal conductivity considerable variation

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