Estudo comparativo das propriedades mecânicas em compósitos da fibra modal e poliester

In the present work, three composites with distinct reinforcements (polyester, modal e polyester + modal), all if a unsaturated orthophthalic polyester resin as matrix were used, in order to conduct a comparative study by mechanical tests and water absorption. The fibre mats were prepared in a mat preparatory by immersion developed in the Textile Engineering Laboratory. The composites were manufactured using a closed mould process by compression using an unsaturated orthophthalic polyester resin as matrix and 1% MEK (methyl ethyl ketone peroxide) as an initiator. In each composite twelve samples with the dimensions of 150x25x3 mm were cut randomly for the mechanical analysis (tension x extension, three points bending and water absorption and Scanning Electron Micsroscopy). The mechanical tests were carried out in the Laboratório de Metais e Ensaios Mecânicos UFRN . All the analyses were carried out according to the ASTM norms. The resultant samples from the mechanical analysis were subjected for the Scanning Electron Microscopy analysis. Based on the results obtained, it was observed that the reinforced composite with two fibres (modal + polyester) presented better results in comparison to the other two composites both in the tension/extension as well on the three point bending tests. In the water absorption test, it was possible to observe an equilibrium in the water absorption by the modal and polyester composite, due to the union of the two fibres. In the SEM images, the regions of rupture in the composites as well as the adsorption between the fiber and the matrix could be observed

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

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

Caminhos que estruturam cidades: redes técnicas de transporte sobre trilhos e a conformação intra-urbana de Natal

The railroad, from 1870 and on, becomes an usual complaining in the press s and politician elite s speeches, especially because of Natal s geographic isolation. The implantation of two railroads in the capital territory Estrada de Ferro de Natal a Nova Cruz, afterwards part of Great Western Railway Company network, and Estrada de Ferro Central do Rio Grande do Norte had serious implications in the urban environment. While railroad s structures were already consolidated, other transportation mechanisms were being implanted in the first decades of the 20th century, such as trams lines, which, by the way, was a transport modal that also used rails as a dislocation meaning. Considering these questions, we may ask: how come railroads and tramways demands, roads and buildings had influenced the internal organization of Natal? We work with the general hypothesis that the influence of technical networks, composed by tramways and railroads, over Natal s urban space happened in a diversified way, sometimes consolidating social aspects in certain areas, sometimes improving the occupation of others. The impact over the city s territory also happens in a diversified way between the buildings/railroad s complexes and the pathways. The different scale of the train in comparison to the trams velocity, size, noise level, flow, among others is also a cause to the different consequences in urban environment. The main objective of this work is to understand the role of circulation technical networks in the construction process of urban space in Natal, as a way to contribute to the urban historiography about the subject. The time frame adopted, between 1881 and 1937, marks the time path of railroads and tramways in Rio Grande do Norte: 1881 is the year of railroad s first section inauguration from Natal to São José do Mipibu as well of the railroad complex in the Republic Square in Natal; the year of 1937 marks the beginning of tramways declination process in the city. At this time railroads and tramways had to face more intensively the competition of motor vehicles. The theory reference adopted is based on concepts and analysis of authors, such as Flávio Villaça and Roberto Lobato Corrêa references to the concepts of urban structure , localization and accessibility and Gabriel Dupuy to explain the concept of urban technical networks . These references reveal the conflict of different realities in the urban universe interests and values which is an important factor about the construction of urban space. The information sources used were from two distinctive natures: primary, journals of the time studied and official government reports, and secondary, based on other works about the subject. It was also used by this study iconographic source, especially images from the data base of the research group História da Cidade, do Território e do Urbanismo .

Subsídios para o projeto de estruturas sismo resistentes

Through this research is detailed the Brazilian seismic code focused on concrete projects design related to seismic engineering. At the beginning of the research is debated the fundaments of the seismic effects, the influence factors to the development of seismic effects and also relates the main data registration happened in Brazil. The second step is study the Brazilian seismic code explaining all the concepts related to it and does a compilation to the most important international seismic code. At this research is developed the designing of a building submitted to horizontal equivalent seismic forces and the modal process based on the answer spectrum based on the brazilin seismic code. It was also developed the design of a commercial building submitted to seismic loads based on the Brazilian code answer spectrum and compared to the same building submitted to wind loads.The research also focus on projects conception and detailing of seismic engineering Project design. At the study of seismic engineering it was concluded that seismic effects require special focus on concrete structures design, proving that is the essential consider the seismic effects

A interpretação semântica dos auxiliares modais poder, precisar e dever: uma abordagem da semântica cognitiva

Apresentamos, neste trabalho, com base na semântica cognitiva, uma análise do significado, em contexto, dos auxiliares modais poder, precisar e dever. Analisamos 120 textos produzidos por candidatos ao vestibular e por alunos do ensino fundamental, como resposta da questão número três da prova discursiva de Língua Portuguesa do vestibular 2005 da UFRN, que pede aos candidatos para explicitar a diferença de sentido entre três frases, observando o uso desses três verbos. Consideramos que um item lexical não é incorporado a uma representação lingüística semântica fixa, limitada e única, mas antes, é ligado a uma representação lingüística semântica flexível e aberta que provê acesso a muitas concepções e sistemas conceituais dependente de cada contexto determinado. Com base em seu significado, um item lexical evoca um grupo de domínios cognitivos, que por sua vez, apresentam um determinado conteúdo conceitual. Isto implica em afirmar que a rede de significados lexicais vai variar conforme o conhecimento de mundo de cada um (LANGACKER, 2000). A relevância deste trabalho é proporcionar uma contribuição para a descrição semântica do português

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

Estudo integrado geológico/tecnológico de rochas ornamentais: os granitos flores e jacarandá, RN

The main purpose of the present study is to integrate a geological and technological investigation of ornamental rocks of the Flores and Jacarandá granites, which are located near the Afonso Bezerra city, in the north central part of the Rio Grande do Norte State. The study area encompasses four litho-stratigrafic units: a Gneiss-Migmatitic Complex(cristalline basement), which is mainly composed of banded gneisses, usually deformed as mylonitic rocks and with several migmatic features, an Augen Gneiss, which occurs as an elongated body that constitutes the Jacarandá granite, a small granite stock, which presents a semi-circular form, named Flores granite, composed of pink, fine to medium coarse rocks, and fine to coarse alluvial sediments, which form extensive areas of large fluvial deposits. The technological characterization of the Flores and Jacarandá granites, carried out through several tests, has as the main purpose the determination of petrographic, physical, and mechanic parameters that allowed the characterization of these rocks. The test followed procedures recommended by Brazilian (ABNT Associação Brasileira de Normas Técnicas) and foreigner institutions (ASTM American Society for Testing and Materials). The petrografhic analysis indicated that the rocks investigated are granite sensu estrictu, summing an average 85-90% modal. The Flores granite is the more felsic rock, which presents mafic content ∼ 10% and monzonitic composition. The Jacarandá granite is an Augen Gneiss rock that presents sienogranitic composition and mafic modal content ∼ 15%. Several technological tests carried out (alterability, physical indices, velocity of ultrasonic wave propagation, uniaxial compression, flection resistence, Amsler desgaste, and resistence to freezing and heating) indicated that parameters and values were identical for both granites investigated. These parameters and values are consistent with the Brazilian and international standards for siliciclastic rocks of ornamental use, as well as other Brazilian ornamental granites. The analysis of all results indicates that both the Flores and Jacarandá granites present good quality, and that they are indicated for ornamental use of revetment interior and exterior of buildings

Petrologia do plúton granitico serra verde, porção lestre do domínio seridó

The study area is located at the eastern-central portion of the Seridó Belt, on the interface between the Seridó Group Metasediments and the crystalline basement rocks of the Caicó Complex (RN). Petrographic and geochemical data allow us to define aspects related to the genesis and evolution of the Serra Verde Pluton magmas, which composes the goal of this dissertation The Serra Verde Pluton is a stock with outcropping area of about 25 km², which is intrusive into metasedimentary sequence and the basement gneisses. The pluton intrusion is sintectonic to the Brasiliano event, elongated along the NE direction, developing a cornue geometry. The rock is a monzogranite mainly composed by K-feldspar, plagioclase and quartz, which usually compose more than 85% of the modal analisys. The main mafic mineral is the biotite, while amphibole, sphene, epidote, opaque minerals, allanite, zircon and apatite occur as accessory minerals. It features still a latemagmatic paragenesis composed by chlorite, granular epidote, carbonates and muscovite, developed through the percolation of late CO2 and H2O rich fluids. Chemically, the Serra Verde Pluton rocks may be classified as metaluminous, of calc-alkaline affiliation, sometimes showing trondhjemític characteristics, with high Na2O (>4,5%), Sr (>400ppm) and Ba (>800ppm) and low K2O (≤3,0%), MgO (<1,0%), TiO2 (<0,5%), Rb (<90ppm), Y (≤16ppm) and Zr (≤13ppm). Micropetrographic evidences (mineral assembly and microtextures) indicate that the magma evolution occurred in moderated to high fO2 conditions, above the FMQ buffer. Thermo-barometric data obtained by minor elements geochemistry and the CIPW data, suggest a final/minimal pressure crystallization for the Serra Verde Pluton samples of about 3 to 5 kbar, liquidus temperature around 800o C, solidus temperature between 680o and 660o C. This data is compatible with those observed by many authors for the Neoproterozoic granites of the Seridó Belt. The group of analyzed data (Petrographic, microtextural and geochemical), suggests that the dominant process of the generation and evolution of the Serra Verde Granite magma was the fractional crystallization, probably from basement quartz-dioritic and tonalitic orthogneisses source