Técnicas dedutivas

Esta animação apresenta os conceitos de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica a partir de um conjunto de premissas. Alguns passos são exemplificados para se chegar ao objetivo. Dentre esses estão a aplicação da regra de Simplificação, da regra de Modus Tollens, da regra de Modus Penens e da regra de adição. Alguns conceitos também devem já ser entendidos como o a da dedução, da conclusão e do uso de axiomas. Aplicando todas essas regras em conjunto em determinadas etapas da resolução do problema encontra-se a solução por dedução a partir de premissas. Este material é indicado a alunos dos cursos de graduação em que se depararem com disciplinas que contém algum tipo de lógica matemática ou que necessitam da aplicação destas regras.

Normas técnicas para desenho técnico

APOSTILA DO DEPARTAMENTO DE ENGENHARIA CIVIL DA UFSCar – volume 3

Técnicas dedutivas

Esta animação apresenta o conceito de técnicas dedutivas a partir de um exemplo da derivação de uma conclusão lógica de um conjunto de premissas. Apresenta também as regras de inferências lógicas , os conhecimentos prévios sobre os problemas e as regras da simplificação na proporção 1.

Técnicas e Práticas de Controle da Erosão

O vídeo introduz algumas técnicas para controle da erosão, dentre elas as técnicas vegetativas e edáficas. O objetivo é proporcionar ao aluno um aprendizado sobre a utilização de técnicas para controlar a erosão, seja ela provocada por diversos fatores

Técnicas e Práticas Mecânicas de Controle da Erosão

O vídeo apresenta algumas técnicas mecânicas para prevenir ou controlar a erosão; a principal delas é o terraceamento, cuja função é diminuir o comprimento das rampas para quebrar a velocidade da água. O objetivo da aula é propiciar ao aluno um conhecimento de técnicas mecânicas que sejam úteis para o controle da erosão.

Técnicas de controlo não-linear baseadas em Redes Neuronais: do algoritmo à implementação

O presente trabalho analisa soluções de controlo não-linear baseadas em Redes Neuronais e apresenta a sua aplicação a um caso prático, desde o algoritmo de treino até à implementação física em hardware. O estudo inicial do estado da arte da utilização das Redes Neuronais para o controlo leva à proposta de soluções iterativas para a definição da arquitectura das mesmas e para o estudo das técnicas de Regularização e Paragem de Treino Antecipada, através dos Algoritmos Genéticos e à proposta de uma forma de validação dos modelos obtidos. Ao longo da tese são utilizadas quatro malhas para o controlo baseado em modelos, uma das quais uma contribuição original, e é implementado um processo de identificação on-line, tendo por base o algoritmo de treino Levenberg-Marquardt e a técnica de Paragem de Treino Antecipada que permite o controlo de um sistema, sem necessidade de recorrer ao conhecimento prévio das suas características. O trabalho é finalizado com um estudo do hardware comercial disponível para a implementação de Redes Neuronais e com o desenvolvimento de uma solução de hardware utilizando uma FPGA. De referir que o trabalho prático de teste das soluções apresentadas é realizado com dados reais provenientes de um forno eléctrico de escala reduzida.

Identificação de alvos na terapia anti-cancerígena utilizando técnicas de modelação molecular

Miguel Fernandes

A outra face dos modelos: técnicas de visualização para explorar modelos

Os modelos são tradicionalmente utilizados na engenharia de software para documentar aspetos do desenho e, em alguns casos, como base para a geração de parte ou a totalidade dos sistemas informáticos que descrevem. Embora subsista o debate sobre este tipo de abordagens e sobre o papel e qualidades que os modelos devem possuir nesta área de engenharia, a existência de modelos que estejam em conformidade com linguagens de modelação bem definidas permite outro tipo de utilizações que vão além das anteriormente referidas. Assente no conhecimento existente sobre a visualização de dados, nesta dissertação irá ser demonstrado a utilização de técnicas de visualização que permitem extrair informação sobre os modelos numa perspetiva inovadora e que contribui favoravelmente para uma melhor compreensão, análise e validação dos mesmos.

Detecção de bactérias no ar em ambiente hospitalar com recurso a técnicas moleculares

A Qualidade do Ar Interior (QAI) revela-se de grande importância no ambiente hospitalar devido à disseminação aérea de bactérias potenciar as infecções nosocomiais. Os estudos nesta temática são raros em Portugal e inexistentes na Madeira. Este trabalho tem como objectivos identificar com elevada precisão a flora bacteriana aerosolizada no Hospital Dr. João de Almada (HJA) utilizando técnicas moleculares, determinar a sua origem, disseminação e especificidades e analisar globalmente a QAI. O ar exterior e de 15 locais no interior do HJA foi amostrado em Abril de 2009. Foram medidas a temperatura, humidade e concentração de CO2 e NO2 e quantificadas as bactérias e fungos no ar. Utilizaram-se testes bioquímicos e técnicas moleculares para caracterização e identificação de bactérias e foram comparadas comunidades bacterianas. A biodiversidade bacteriana no ar interior do HJA é dominada pelo género Staphylococcus (68%), sendo as espécies mais frequentes S. cohnii urealyticus, S. haemolyticus, S. capitis ou S. caprae e Micrococcus luteus. A maioria das espécies encontradas é comum em ambiente hospitalar e na flora comensal humana. As Staphylococcus spp. detectadas são consideradas patogénicas oportunistas envolvidas em infecções nosocomiais. A QAI é conforme com a legislação na maioria dos locais, havendo microorganismos em excesso em 12 das 72 amostras. O excesso de fungos relacionou-se com eventos de bruma no exterior e o excesso de bactérias correlacionou-se com a actividade humana e foi potenciado pela fraca ventilação e a presença ou manipulação de materiais contaminados. O ar exterior tem boa qualidade para ventilação do HJA, excepto durante eventos de bruma. As comunidades bacterianas aerosolizadas têm maior similaridade entre locais do mesmo tipo, sendo os ocupantes o principal foco de contaminação. São propostas medidas correctivas como o aumento da ventilação dos locais com elevada actividade humana e cuidados na manipulação de roupa suja e resíduos.

Estruturas de correção torrencial nas ribeiras do Funchal, açudes: inventariação e análise comparativa

A presente dissertação tem como propósito a elaboração de um inventário relativo às estruturas de correção torrencial construídas no concelho do Funchal. Na sequência da aluvião do dia 20 de fevereiro de 2010, resultante de um período prolongado de chuva na ilha da Madeira, aliada ao facto desta ter um relevo muito pronunciado e extremamente acidentado, originaram-se os movimentos de vertente que, na sua grande maioria, são responsáveis pela ocorrência de cheias rápidas. Pois as bacias hidrográficas da ilha são de pequena dimensão e consequentemente as suas ribeiras, dão origem a tempos de concentração muito reduzidos. Desta forma, as ribeiras que são alimentadas pelo escoamento líquido e sólido, tornam-se num agente erosivo e potenciam um rasto de destruição. Esta aluvião teve consequências devastadoras em toda a vertente sul da ilha da Madeira, no entanto, este trabalho, focou-se apenas no concelho do Funchal, no qual existem três ribeiras onde foram implantadas as estruturas de correção torrencial, designadas por açudes, que constituem o âmago deste estudo, através da inventariação destas estruturas e posterior elaboração de uma ficha de inventário relativa a cada uma delas. Inicialmente, procedeu-se à identificação de todos os açudes, à verificação e análise das condições dos locais intervencionados, além de um levantamento fotográfico para execução posterior de um enquadramento geográfico dos mesmos. Foram abordadas algumas considerações de caráter hidrológico, hidráulico e transporte de caudal sólido, que são a base dimensional e a razão da execução dos referidos açudes. Numa fase posterior, foi elaborada uma base de dados com a informação disponível dos vários açudes identificados, munida de valor ímpar para futuros desenvolvimentos nesta área no curso de engenharia civil na Universidade da Madeira. Por fim, são expostas algumas considerações relativamente aos diferentes modelos de estruturas de correção torrencial encontrados na pouca bibliografia especializada e implantados no terreno.

Elite municipal da Ponta do Sol: 1878-1886

A presente investigação desenvolve um estudo sobre o percurso histórico das elites municipais do concelho da Ponta do Sol, entre 1878 e 1886, inserindo-as no contexto global das regras definidas pelo suporte legislativo do Código Administrativo de 1878, bem como no espaço socioeconómico, onde detiveram um papel preponderante e decisivo nos destinos do mesmo. Esta dissertação analisa a realidade local na construção de uma identidade municipal, aplicando métodos e técnicas de investigação histórica. A partir de fontes manuscritas, como os recenseamentos eleitorais, este trabalho faz a inventariação do corpus eleitoral do concelho supramencionado, isto é, a caracterização socioeconómica dos cidadãos habilitados a votar (eleitores) e dos elegíveis, culminando nos eleitos para os cargos municipais. De igual modo, procurou conhecer as áreas de intervenção da Câmara Municipal da Ponta do Sol e respetivos espaços de atuação da elite dirigente camarária.

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 .

A contribuição de técnicas modernas de reabilitação estrutural para autenticidade e integridade de edificações patrimoniais

This work discusses the study of the application of structural reinforcement and rehabilitation using modern techniques for interventions in repair works of historical buildings as well as the verification of the behavior of works that have already undergone different structural intervention techniques, with the objective of obtaining data to allow a comparative analysis of the advantages/disadvantages of techniques adapted in each case, regarding the interferences related the authenticity and integrity of the buildings belong to the constructed patrimony so as to obtain a basis for the theoretical foundation for choosing the best solution to be adopted in the case study which consists in an intervention of structural rehabilitation of the old historic building in the primary school "Augusto Severo"

Simulação do escoamento monofásico em um estágio de uma bomba centrífuga utilizando técnicas de fluidodinâmica computacional

Oil production and exploration techniques have evolved in the last decades in order to increase fluid flows and optimize how the required equipment are used. The base functioning of Electric Submersible Pumping (ESP) lift method is the use of an electric downhole motor to move a centrifugal pump and transport the fluids to the surface. The Electric Submersible Pumping is an option that has been gaining ground among the methods of Artificial Lift due to the ability to handle a large flow of liquid in onshore and offshore environments. The performance of a well equipped with ESP systems is intrinsically related to the centrifugal pump operation. It is the pump that has the function to turn the motor power into Head. In this present work, a computer model to analyze the three-dimensional flow in a centrifugal pump used in Electric Submersible Pumping has been developed. Through the commercial program, ANSYS® CFX®, initially using water as fluid flow, the geometry and simulation parameters have been defined in order to obtain an approximation of what occurs inside the channels of the impeller and diffuser pump in terms of flow. Three different geometry conditions were initially tested to determine which is most suitable to solving the problem. After choosing the most appropriate geometry, three mesh conditions were analyzed and the obtained values were compared to the experimental characteristic curve of Head provided by the manufacturer. The results have approached the experimental curve, the simulation time and the model convergence were satisfactory if it is considered that the studied problem involves numerical analysis. After the tests with water, oil was used in the simulations. The results were compared to a methodology used in the petroleum industry to correct viscosity. In general, for models with water and oil, the results with single-phase fluids were coherent with the experimental curves and, through three-dimensional computer models, they are a preliminary evaluation for the analysis of the two-phase flow inside the channels of centrifugal pump used in ESP systems

Aplicação de técnicas eletroquímicas na determinação do potencial de corrosividade de ligas de alumínio em água produzida

The resistance of aluminum and their alloys, to the corrosion phenomenon, in aqueous solutions, is a result of the oxide layer formed. However, the corrosion process in the aluminum alloy is associated with the presence a second phase of particles or the presence of chloride ions which promote the disruption of the oxide layer located producing the corrosion process. On the other hand, the term water produced is used to describe the water after the separation of the oil and gas in API separators. The volumes of produced water arrive around 5 more times to the volume of oil produced. The greatest feature of the water is the presence of numerous pollutants. Due to the increased volume of waste around the world in the current decade, the outcome and the effect of the discharge of produced water on the environment has recently become an important issue of environmental concern where numerous treatments are aimed at reducing these contaminants before disposal. Then, this study aims to investigate the electrochemical corrosion behavior of aluminum alloy 6060 in presence of water produced and the influence of organic components as well as chloride ions, by using the electrochemical techniques of linear polarization. The modification of the passive layer and the likely breakpoints were observed by atomic force microscopy (AFM). In the pit formation potential around -0.4 to -0.8 V/EAg/AgCl was observed that the diffusion of chloride ions occurs via the layer formed with the probable formation of pits. Whereas, at temperatures above 65 °C, it was observed that the range of potential for thepit formation was -0.4 to -0.5 V/EAg/AgCl. In all reactions, the concentration of Al(OH)3 in the form of a gel was observed