Desenvolvimento e caracterização de compósito a partir da borra da piaçava para construção da parábola de um fogão solar a concentração

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

Construção e análise de desempenho de um fogão solar à concentração utilizando dois focos para cozimento direto

A model of a solar oven with a reflective surface composed of two mirror segments is presented, constituting a two semi-parabolic surfaces made of fiberglass, applied on a ceramic mold, intended to be used in residential and commercial cooking. The reflective surface of the semi-parable is obtained with the use of multiple plain segments of 2 mm wide mirrors. The semi-parabolic structure has visible movements that are comparable to that of the sun. The technical details of the manufacturing and assembling processes will be presented with an analysis of the viability of thermal, economic, and materials of such prototype. This prototype has important social implications and primordial aspects, which combats the ecological damages caused by the wide-scale use of firewood during cooking. It has been demonstrated that the solar oven has the capacity to cook simultaneous two meals distinct for a family of four

Análise teórico-experimental do coeficiente de perfomance (COP) de um sistema de refrigeração por jato-compressão

The use of waste heat of energy conversion equipment to produce a cooling effect, consists currently in a very interesting way of efficiency improvement of energy systems. The present research has as intention the theoretical and experimental study of a new intermittent refrigeration system ejector cycle characteristics, with use of waste heat. Initially, was doing a bibliographical survey about the vapor ejector refrigeration system technology. In the following stage was doing a simulation of the corresponding thermodynamic cycle, with preliminarily intention to evaluate the performance of the system for different refrigerants fluids. On the basis of the results of the simulation were selected the refrigerant fluid and developed an experimental group of benches of the refrigeration system considered, where pressure and temperature sensory had been inserted in strategical points of the refrigeration archetype and connected to a computerized data acquisition system for measure the refrigerant fluid properties in the thermodynamic cycle. The test results obtained show good agreement with the literature

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

Caracterização mecânica, térmica e acústica de um compósito que utiliza rejeitos de mármore, granito e EPS para a fabricação de blocos para a construção civil

The use of composite materials for the construction industry has been the subject of numerous scientific papers in Brazil and in the world. One of the factors that motivate this quest is the housing deficit that countries especially the third world face. In Brazil this deficit reaches more than 6.5 million homes, around 12% of all US households . This paper presents a composite that was obtained from waste generated in processes for the production of granite and marble slabs, cement, gypsum, sand, crushed EPS and water. These wastes cause great damage to the environment and are thrown into landfi lls in bulk. The novelty of the work is in the combined study thermal, mechanical and acoustic composite obtained in real situation of rooms that are part of an experimental housing. Many blocks were made from cement compositions, plaster, foam, sand, marb le and / or granite, preliminary tests of mechanical and thermal resistance were made by choosing the most appropriate proportion. Will be given the manufacturing processes and assembly units 500 units 10 x 80 x 28 cm produced for the construction of an ex perimental home. We studied what kind of block and residue, marble or granite, made it more feasible for the intended purpose. The mechanical strength of the produced blocks were above 3.0 MPa. The thermal resistance of the blocks was confirmed by the maxi mum temperature difference between the inner and outer walls of rooms built around 8.0 ° C. The sound absorption for optimal room was around 31%. Demonstrated the feasibility of using the blocks manufactured with composite material proposed for construction.

Of madness and many-valuedness: an investigation into Suszko's Thesis

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undetermined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and logical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.

Estudo da usabilidade do portal do aluno do SIGAA Mobile Android da UFRN: identificando diretrizes de interface a serem utilizadas como recomendações no processo de desenvolvimento das funcionalidades deste sistema

Avaliação de usabilidade é um processo importante durante o desenvolvimento de um software, seja ele para um sistema web ou mobile. No caso de um sistema mobile, o custo é bastante oneroso, tanto no que se refere à mão de obra especializada, como de recursos tecnológicos utilizados, tornando essa avaliação de usabilidade ainda mais importante. Além disso, as versões webdos sistemas SIG da UFRN já estão consolidadas e com uma grande aceitação, fazendo com que suas versões mobile tenham, ainda mais, a preocupação de lançar um produto de boa qualidade para manter essa credibilidade dos sistemas SIG , tanto na UFRN, como nas demais instituições que utilizam esses sistemas. Com este trabalho, buscou-se identificar algumas diretrizes de interface que possam ser utilizadas no processo de desenvolvimento dos sistemas SIG Mobile, mais especificamente o SIGAA Mobile, de modo a facilitar o desenvolvimento de novas funcionalidades voltadas para estes sistemas. Para isso, foi realizada uma avaliação de usabilidade no Portal do Aluno do SIGAA Mobile Android, tomando como base padrões de interface já existentes na literatura. Posteriormente, foi aplicado um questionário com os usuários do sistema para coletar as opiniões e sugestões dos mesmos. De posse de todos esses dados coletados, foi possível definir algumas diretrizes de interface a serem seguidas como recomendações no processo de desenvolvimento dos sistemas SIG Mobile.

Desenvolvimento e caracterização de compósito a partir da borra da piaçava para construção da parábola de um fogão solar a concentração

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