GeOntoQuery - um mecanismo de busca em bancos de dados geográficos baseado em ontologias

Geographic Information System (GIS) are computational tools used to capture, store, consult, manipulate, analyze and print geo-referenced data. A GIS is a multi-disciplinary system that can be used by different communities of users, each one having their own interest and knowledge. This way, different knowledge views about the same reality need to be combined, in such way to attend each community. This work presents a mechanism that allows different community users access the same geographic database without knowing its particular internal structure. We use geographic ontologies to support a common and shared understanding of a specific domain: the coral reefs. Using these ontologies' descriptions that represent the knowledge of the different communities, mechanisms are created to handle with such different concepts. We use equivalent classes mapping, and a semantic layer that interacts with the ontologies and the geographic database, and that gives to the user the answers about his/her queries, independently of the used terms

Taxonomia e biogeografia da espécie politípica Herpsilochmus rufimarginatus (TEMMINCK, 1822) (Aves: THAMNOPHILIDAE)

The genus Herpsilochmus is composed mainly of cryptic species, among them is Herpsilochmus rufimarginatus, which is currently represented by four subspecies: H. r. rufimarginatus, H. r. frater, H. r. scapularis and H. r. exiguus. Differences in plumage and vocalization suggest that there are more than one species involved in this complex. Thus this and other subspecific taxa need urgent revision, the disjunct distribution of this species also allows us to infer the relationship between birds that occur in this biome and / or different centers of endemism. This study aims to make a taxonomic revision of the taxa included in the complex time Herpsilochmus rufimarginatus based on morphological, morphometric, vocals and geographical distribution of this bird. Besides creating distribution models current potential and make the reconstruction of the distribution bygone using ecological niche modeling, and testing the niche conservatism and divergence between different subspecies. Consultations for examination of the skins of specimens of the museums: Museum of Zoology, University of São Paulo (MZUSP), National Museum of Rio de Janeiro (MN) and Emilio Goeldi Museum of Pará (MPEG), and the skins deposited at the collection of Ornithological Federal University of Rio Grande do Norte (COUFRN). We studied the following measures length of specimens: exposed culmen, culmen and total culmen nostril, tarsus, wing and tail flattened. The voice analysis was performed with vocalizations banks and / or digital banks people where 17 voice parameters were measured. This information and more available in the literature were used to assemble a bunch of data under the limit distribution of taxa and generate ecological niche models. This analyzes carried out in the program Maxent, having as model selection criterion the AUC, and the models were greater than 0.80 are considered good models. Environmental data for the realization of the modeling were downloaded on the website of Worldclim. The morphometric information, vocals and geographic distribution point for the separation of these taxa to be considering various uni and multivariate analyzes. The potential distribution models performed well (AUC> 0.80), and its distribution associated with environmental characteristics of the Amazon forest and Atlantic forest (forests of south and southeast, northeast and forest). The reconstruction of the distribution indicates a possible contact between the southern part of the Atlantic forest in the northern part of the Amazon. The analysis of niche overlap showed a low overlap between taxa and comparisons between the null model and the generated overlay link probably occurring niche conservatism. The data suggest that the taxa that occur in the Amazon and Atlantic forest represent three distinct species

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

Modelagem do clima de ondas e seus efeitos sobre as feições morfológicas costeiras no litoral setentrional do Rio Grande do Norte

This thesis presents the results of application of SWAN Simulating WAves Nearshore numerical model, OF third generation, which simulates the propagation and dissipation of energy from sea waves, on the north continental shelf at Rio Grande do Norte, to determine the wave climate, calibrate and validate the model, and assess their potential and limitations for the region of interest. After validation of the wave climate, the results were integrated with information from the submarine relief, and plant morphology of beaches and barrier islands systems. On the second phase, the objective was to analyze the evolution of the wave and its interaction with the shallow seabed, from three transverse profiles orientation from N to S, distributed according to the parallel longitudinal, X = 774000-W, 783000-W e 800000-W. Subsequently, it was were extracted the values of directional waves and winds through all the months between november 2010 to november 2012, to analyze the impact of these forces on the movement area, and then understand the behavior of the morphological variations according to temporal year variability. Based on the results of modeling and its integration with correlated data, and planimetric variations of Soledade and Minhoto beach systems and Ponta do Tubarão and Barra do Fernandes barrier islands systems, it was obtained the following conclusions: SWAN could reproduce and determine the wave climate on the north continental shelf at RN, the results show a similar trend for the measurements of temporal variations of significant height (HS, m) and the mean wave period (Tmed, s); however, the results of parametric statistics were low for the estimates of the maximum values in most of the analyzed periods compared data of PT 1 and PT 2 (measurement points), with alternation of significant wave heights, at times overrated with occasional overlap of swell episodes. By analyzing the spatial distribution of the wave climate and its interaction with the underwater compartmentalization, it was concluded that there is interaction of wave propagation with the seafloor, showing change in significant heights whenever it interacts with the seafloor features (beachrocks, symmetric and asymmetric longitudinal dunes, paleochannel, among others) in the regions of outer, middle and inner shelf. And finally, it is concluded that the study of the stability areas allows identifications of the most unstable regions, confirming that the greatest range of variation indicates greater instability and consequent sensitivity to hydrodynamic processes operating in the coastal region, with positive or negative variation, especially at Ponta do Tubarão and Barra do Fernandes barrier islands systems, where they are more susceptible to waves impacts, as evidenced in retreat of the shoreline

Conhecimento sobre energia eólica: um estudo exploratório a partir das redes semânticas naturais de estudantes da cidade de Natal

The human being has a fundamental role in issues concerning scarcity of energy resources as well as in the success of technologies which favor the use of renewable sources, such as wind energy. But what does wind energy mean for people? What are the psychological meanings concerning this term? Aiming to answer these questions, the general objective of this dissertation was to identify and to analyze the knowledge about wind energy taking into account a network of psychological meanings. One hundred and ninety one (191) university students from Natal-RN participated in the study, being male the majority (53%); aged between 17 and 51 years old (M=23.3 years; SD=5.7). Participants responded to self reports using the Natural Semantic Networks (NSW) technique, as well as to several sociodemographic questions. The results showed a consistent, positive and useful general semantic network. In this semantic network, knowledge about wind energy was represented by words that correspond to the appeal of (pro) environmental stance (e.g., clean and nature), that evinced both the technological aspect (e.g., force) and the economic aspect (e.g., economy). Results from different groups were also analyzed. The first set of groups (non-environemental and environmental) was divided considering the course (e.g., ecology and economy). The second set of groups(non-caretaker and caretaker) was divided based on the practice of environmental care expressed. Subtle differences were observed in the semantic networks of caretakers, who emphasized environment, an attribute not mentioned by non-caretakes. This indicates a construction of knowledge that is influenced by the presence or absence of the environmental commitment. Such findings may be useful in the construction of instruments for surveys and in the development of public and educational policies. Additionally, they may assist the media towards a more objective performance concerning wind energy

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

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

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

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

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements

Traduzindo o economês: metáforas da inflação em textos de jornalismo econômico

The research aimed two objectives: 1st) identifying and describing the metaphors of the inflation, in a corpus of 18 texts of economic journalism, from Joelmir Beting, written in the last trimester of 2002, at the moment of the government s transition of president Fernando Henrique Cardoso to Luiz Inácio Lula Da Silva. 2nd) verifying the recognition of the metaphors by the students of the basic education of a private school from Natal. 91 metaphors had been identified, analyzed in the perspective of the conceptual metaphor s theory, by Lakoff and Johnson (2002), on the basis of the distinction between conceptual metaphor and metaphoric expressions, and between domain-source/domain-target. 10 underlying conceptual metaphors had been inferred, being that the domains-source used more frequently to characterize the inflation had been those ones according to the human being and the animals and, of a less imaginable form, to the ways of transport (car, aircraft). These general conceptual metaphors had been unfolded in other s more specific ones ( animal specifying itself in lion , dragon , dog , etc.). Another result was the identification of metaphoric expressions with two or more meanings , with relation to more than one conceptual metaphor or explicit, in the same expression, two domains-source (for example: armored dragon ) and contributes, of a relevant form, for the semantic struturation of the text. The understanding of the metaphors was verified through an activity of domains-source s identification (10 metaphoric statements and fulfilling of the gap in the phrase the inflation is a/an ) applied in a group of 8th year of the basic education (12-13 years old, with 14 girls and 17 boys) from a school of good social and economic positions from Natal-RN. There weren t great difficulties on the part of the students in recognizing the domains-source involved: about 80% to the great majority of the statements

Comparação de desempenho da deconvolução preditiva multicanal e da filtragem f-k na atenuação de múltiplas do fundo do mar

The seismic reflection is used on a large scale in oil exploration. In case of marine acquisition the presence of high impedance contrast at the interfaces water/air generates multiple reflections events. Such multiple events can mask primary events; thus from the interpretational viewpoint it is necessary to mitigate the multiples. In this manuscript we compare two methods of multiple attenuation: the predictive multichannel deconvolution (DPM) and the F-K filtering (FKF). DPM is based in the periodicity of the multiples while FKF is based in multiples and primaries splitting in F-K domain. DPM and FKF were applied in common-offset and CDP gathers, respectively. DPM is quite sensible to the correct identification of the period and size of the filter while FKF is quite sensible to an adequate choice of the velocity in order to split multiples and primaries events in the F-K domain. DPM is a method that is designed to act over a specific event. So, when the parameters are well selected, DPM is very efficient in removing the specified multiple. Then DPM can be optimized by applying it several times, each time with a different parameterization. A deficiency of DPM occurs when a multiple is superposed to a primary event: in this situation, DPM can attenuate also the primary event. On the other hand, FKF presents almost the same performance to all multiples that are localized in the same sector of the F-K domain. The two methods can be combined in order to take advantage of their associated potentials. In this situation, DPM is firstly applied, with a focus in the sea bed multiples. Then FKF is applied in order to attenuate the remaining multiples

Zoneamento ambiental do Município de Aquiraz-CE

The Metropolitan Region of Fortaleza (RMF) is composed by thirteen cities, where is call the attention of Aquiraz. The city has a excellent resort area and a big importance in socioculture and historics aspects. It was one of the first village of Ceará, and it was founded in 1699, with was also the capital of the state until 1726. The urban local development has been disorganized in the last decades, the fact is, insert of turismon in its coast, and it is unable with alow capacity of the natural suppots, configuring unsustainable and et environment ambience. Considering as a turistic region, it is preoccupy, been necessart to create a better control of the nature of the region by the users. The environmental zoning in this work it is to plan of adequate form the use of the ground based in the management of the interests and the social and economic necessities in accord with the preservation of the environment and the natural characteristics of the city. The same is one great instrument planning where use to be analized in differents ways: social, ambiental, economical and institucional, and promove alternatives of use and occupation of the land to recreate the city. The methodo used to get the real objective, englobed zonal maps in ambiental unities and others themes (geologic/geomorphologic) since than the images from satelities LANDSAT and SPOT and fotografies under position of maps, secundaries listes gets in publics department, bibliographie, informations by the local populations. This prociduries mede easy to create maps, geologic/geomorphologic, of use and occupation the earth and the environmental zoning to analize the dynamic and the working of each ambiental unity of the city Aquiraz wich is located by map of this job. As a result of this job was confectionated the environmental zoning map of Aquiraz wich was divided in five ambiental unities and restrictions areas of occupation: unit I Littoral Plain (zoning with serious restrictions to the occupation); unit II Sub-Littoral Plain (improper zoning to the occupation); unit III between tray zoning Pré-Littoral and Peripheral Depression (improper zoning to the occupation); unit IV Strativism reserve of the plug (zoning used more under control in its occupation) and unit V Fluvial Plain Localities of the Indians Jenipapo-Kaninde/ locality Quilombolas (zoning used more without official regulation). With proposal in the ambient units above one expects that it has a reduction of the ambient degradation and protection of the local biodiversity of the city of Aquiraz in the State of the Ceará