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.

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.

Apoio cooperativo na sala de aula de matemática: uma experiência na Região Autónoma da Madeira

Nos dias de hoje, fruto de uma sociedade em constante mudança, é essencial que se procurem novas estratégias de ensino que se adeqúem às necessidades dos alunos. Para isso, é fundamental que os professores estejam recetivos às mudanças que têm de ser implementadas e que estejam disponíveis para tirar proveito das experiências e métodos de outros colegas. Para que aprender Matemática deixe de ser uma tarefa árdua é necessário recorrer a novas metodologias de ensino que permitam ao professor chegar a um número cada vez maior de alunos para acabar com a ideia de que “a Matemática é só para alguns”. O Apoio Cooperativo pode ser uma das ferramentas que poderá modificar a forma de ensinar Matemática, permitindo assim melhorar os resultados dos alunos nesta disciplina. Além disso, poderá também ter um papel muito importante no crescimento profissional dos professores. O ponto de partida para a realização deste estudo foi um projeto de Apoio Cooperativo no qual trabalhei durante dois anos, numa escolar da Região Autónoma da Madeira. O objetivo deste estudo consiste em tentar perceber em que medida a existência de um segundo professor de Matemática na sala de aula, desempenhando o papel de professor de apoio, pode influenciar o processo de ensino-aprendizagem dos alunos. Pretende-se também compreender se o trabalho colaborativo pode contribuir para o desenvolvimento profissional dos professores. Para o efeito foram elaborados inquéritos para os alunos de duas turmas da referida escola que participaram no projeto bem como todos os professores realizada um entrevista a uma professora do grupo de Matemática com o objetivo de confrontar as perceções do investigador, enquanto professor participante no projeto. Na sua essência, o Apoio Cooperativo procura novas dinâmicas que favoreçam o processo de ensino/aprendizagem, buscando um equilíbrio entre diversos fatores, tais como comportamento, realização de atividades práticas, cumprimento do programa e simplificação das aprendizagens dos alunos.

Aplicações pedagógicas para terminais móveis

Esta tese descreve o desenvolvimento de duas aplicações de software cujo objetivo consiste em demonstrar o funcionamento de duas ferramentas base de Sistemas Digitais. A primeira aplicação, denominada KarnUMa, pretende demonstrar o funcionamento dos Mapas de Karnaugh, que são utilizados na simplificação de expressões algébricas Booleanas. Esta aplicação está disponível em duas versões com destino a duas plataformas distintas: a primeira KarnUMa, disponível para computador, e a segunda Pocket KarnUMa, disponível para terminais móveis sob a forma de Midlet ou Android Package. A segunda aplicação desenvolvida, denominada ParTec, terá como objetivo demonstrar o funcionamento da Técnica das Partições, que é utilizada na eliminação de estados redundantes nas máquinas de estados. Esta segunda aplicação tem apenas o computador como plataforma de destino. Este documento conta com um levantamento das aplicações atualmente existentes nas áreas de interesse, uma descrição das tecnologias utilizadas no desenvolvimento do software, uma apresentação desse mesmo software descrevendo o que este tem de inovador e por fim uma descrição da forma como as aplicações foram publicadas.

Sistema de replicação de circuitos integrados digitais baseado em análise comportamental

Nesta dissertação de mestrado é desenvolvido um sistema de replicação de circuitos integrados digitais (combinatórios e sequenciais), por observação do seu normal funcionamento. O sistema desenvolvido carateriza-se pela capacidade de extrair e descrever na linguagem VHDL o comportamento de um circuito integrado digital em funcionamento, utilizando técnicas não invasivas e automatizadas, suportado por um vasto conjunto de algoritmos de aquisição e análise de dados. O sistema desenvolvido assenta em dois módulos principais: um módulo de software que consiste numa plataforma de algoritmos de análise, controlo e gestão do sistema (alojada num computador) e um módulo de aquisição de dados (hardware) que consiste num circuito capaz de realizar as medições necessárias para o funcionamento do sistema, comandado pelo módulo de software. A comunicação entre os dois módulos é efetuada via porta série. Os algoritmos desenvolvidos realizam uma análise da correspondência entre entradas e saídas procurando aplicar uma aproximação a um circuito combinatório se possível, caso contrário são utilizados métodos heurísticos para efetuar uma aproximação a um circuito sequencial através de uma máquina de estados. Entradas ou saídas constantes são previamente identificados e excluídos do processo de análise, para efeitos de simplificação. Os resultados obtidos demonstram que é possível replicar o comportamento observado em circuitos digitais (combinatórios e sequenciais) desde que o número de amostras recolhidas seja adequado. Verifica-se ainda que o método desenvolvido replica a funcionalidade do circuito integrado nas condições onde o circuito está inserido.

Desenvolvimento de metodologias analíticas alternativas por cromatografia gasosa para análise de biodiesel

Since the beginning of the National Program for Production and Use of Biodiesel in Brazil, in 2004, different raw materials were evaluated for biodiesel production, trying to combine the agricultural diversity of the country to the desire to reduce production coasts. To determine the chemical composition of biodiesel produced from common vegetables oils, international methods have been used widely in Brazil. However, for analyzing biodiesel samples produced from some alternative raw materials analytical problems have been detected. That was the case of biodiesel from castor oil. Due the need to overcome these problems, new methodologies were developed using different chromatographic columns, standards and quantitative methods. The priority was simplifying the equipment configuration, realizing faster analyses, reducing the costs and facilitating the routine of biodiesel research and production laboratories. For quantifying free glycerin, the ethylene glycol was used in instead of 1,2,4-butanetriol, without loss of quality results. The ethylene glycol is a cheaper and easier standard. For methanol analyses the headspace was not used and the cost of the equipment used was lower. A detailed determination of the esters helped the deeper knowledge of the biodiesel composition. The report of the experiments and conclusions of the research that resulted in the development of alternative methods for quality control of the composition of the biodiesel produced in Brazil, a country with considerable variability of species in agriculture, are the goals of this thesis and are reported in the following pages

Tradução, adaptação cultural e análise das propriedades psicométricas do activities of daily living questionnaire - ADLQ - para avaliação funcional de pacientes com a doença de alzheimer

O Activities daily living questionnaire - ADLQ foi elaborado para avaliar atividades básicas e instrumentais em pacientes com a doença de Alzheimer. O objetivo principal deste estudo consistiu em realizar a tradução do ADLQ para a língua portuguesa, adaptação transcultural e análise das suas propriedades psicométricas. A amostra foi composta por 60 pacientes e os respectivos 60 cuidadores. O estudo iniciou-se com a tradução do instrumento pela técnica de retrotradução associada ao método bilíngüe. A versão traduzida foi respondida pelo cuidador e o Mini Exame do Estado Mental (MEEM) aplicado ao paciente. A análise psicométrica foi realizada através da validade das medidas do instrumento. Os resultados verificaram uma correlação inversamente significativa (r=-0,793;p<0,05) entre os instrumentos avaliados, com uma explicação da variância total de 62%. A coerência interna do instrumento foi realizada através da correlação com os resultados do MEEM sugerindo uma versão condensada do ADLQ. Avaliando-se através do teste t para amostras correlacionadas, as médias do ADLQ-versão traduzida e versão condensada não apresentaram diferenças significativas, demonstrado assim que a simplificação do instrumento não alterou os valores do nível de dependência funcional observados. A análise fatorial realizada através da rotação Varimax indicou seis dimensões. Atividades como; comer, vestir-se, banho, necessidades fisiológicas, tomar comprimidos, participação em grupos, administrar finanças, manusear dinheiro, locomover pela vizinhança, usar telefone, compreensão, dentre outras, são os mais importantes preditores da capacidade funcional, no grupo estudado. Atividades com desempenho pouco comum a ambos os sexos, e no desempenho de papéis sociais enquanto gênero na sociedade brasileira (afazeres domésticos, consertos e manutenção em casa), na amostra estudada, não demonstraram ter importância na determinação da capacidade funcional com o paciente com a Doença de Alzheimer. O presente estudo disponibiliza uma nova ferramenta de avaliação funcional, visando contribuir para a mensuração mais cuidadosa do estado funcional do paciente por todos os profissionais da área da saúde

Devido processo penal: uma análise acerca dos direitos fundamentais sob a perspectiva do processo eletrônico

The current study presents an analysis about the automation of the lawsuits in Brazil, which opens a new direction to be followed by the National Secretary of Justice, applied indistinctively to the civil, criminal and labor lawsuits, as well as to the special court houses at any degree of juridisdiction. It treats, specifically, about the transition from the classic lawsuit with bureaucratic aspects to the electronic one, based on the simplicity of the functions, the quality of the oral and the readiness. The light of the constitutional principle of the reasonable duration of the lawsuit, while fundamental rigth of the defendant and, under de protection of the democratic guarantee, it investigates, from the theory of the fundamental rights to the reform movement of the lawsiut, in the scenery of the alien law and national law, the latter, mostly because it has the automation as a necessary improvement claimed by modernity, yet without forgetting of the humane character inherent to the criminal lawsuit. It faces the issue of of the disruption of the paradigm of the written formality of the Brazilian lawsuit, the problem of the resistance to the new automized method, the use of the video conference for the inquest of the witnesses as well as for the questioning of the defendant, the advancements of the virtual lawsuit on the Superior Courts, Federal Supreme Court and Superior Court of Justice, it treats also about the role of the National Council of Justice - CNJ - to uniformize the legal proceedings in the country. Without neglecting the effective respect to the fundamental rights, it focuses the cultural change necessary so that the electronic technology can be, in fact, in the indictment system, the means to reach with excellency the citizenship by the simplification of the legal proceedings, transposing the baseless bureaucracy and assuring an effective judicial service assistance in order to have a better quality of life

Modelagem da decisão por pacotes de viagem: um estudo usando processo de hierarquia analítica AHP

The objective of this dissertation is to propose a Multi Criteria Decision Aid Model to be used by the costumers of the travel agencies and help them to choose the best package travel. The main objective is to contribute for the simplification of the travel package decision choice from the identification of the models of values and preference of the customers and applying them to the existing package. It is used the Analytic Hierarchy Process (AHP) method to structuralize a decision hierarchic model composed by six criteria (package cost, hotel category, security of the city, travel time, direct flight and position in ranking of the 10 most visited destination) and five real alternatives of packages for a holiday of three days created from travel agency data. The decision analysis was realized for the choice of a travel package by a group composed by two couples that regularly travels together, to which was asked to do a pairwise judgment of the criteria and the alternatives. The mains results show that, although been a group that travels together, there are different models of values in the weights of the criteria and a certain convergence in the scales of preferences of the alternatives in the criteria. It was not pointed a dominant alternative for all the members of the group separately, but an analysis of a total utility of the group shows a classification and an order of the travel packages and an alternative clearly in front of the others. The sensitivity analysis revels that there are changes in the ranking, but the two alternatives best classified in the normal analysis are the same ones in the sensitivity analysis, although with the positions changed. The analysis also led to a simplification of the process with the exclusion of alternatives dominated for the others ones. As main conclusion, it is evaluated that the model and method suggested allow a simplification of the decision process in the choice of travel packages

Modelagem de decisão na seleção de equipamento: um estudo usando o processo analítico hierárquico na contratação de sondas de perfuração de poços de petróleo

The main goal of this dissertation is to develop a Multi Criteria Decision Aid Model to be used in Oils and Gas perforation rigs contracts choices. The developed model should permit the utilization of multiples criterions, covering problems that exist with models that mainly use the price of the contracts as its decision criterion. The AHP has been chosen because its large utilization, not only academic, but in many other areas, its simplicity of use and flexibility, and also fill all the requirements necessary to complete the task. The development of the model was conducted by interviews and surveys with one specialist in this specific area, who also acts as the main actor on the decision process. The final model consists in six criterions: Costs, mobility, automation, technical support, how fast the service could be concluded and availability to start the operations. Three rigs were chosen as possible solutions for the problem. The results reached by the utilizations of the model suggests that the utilization of AHP as a decision support system in this kind of situation is possible, allowing a simplifications of the problem, and also it s a useful tool to improve every one involved on the process s knowledge about the problem subject, and its possible solutions

Identificação não linear usando uma rede fuzzy wavelet neural network modificada

In last decades, neural networks have been established as a major tool for the identification of nonlinear systems. Among the various types of networks used in identification, one that can be highlighted is the wavelet neural network (WNN). This network combines the characteristics of wavelet multiresolution theory with learning ability and generalization of neural networks usually, providing more accurate models than those ones obtained by traditional networks. An extension of WNN networks is to combine the neuro-fuzzy ANFIS (Adaptive Network Based Fuzzy Inference System) structure with wavelets, leading to generate the Fuzzy Wavelet Neural Network - FWNN structure. This network is very similar to ANFIS networks, with the difference that traditional polynomials present in consequent of this network are replaced by WNN networks. This paper proposes the identification of nonlinear dynamical systems from a network FWNN modified. In the proposed structure, functions only wavelets are used in the consequent. Thus, it is possible to obtain a simplification of the structure, reducing the number of adjustable parameters of the network. To evaluate the performance of network FWNN with this modification, an analysis of network performance is made, verifying advantages, disadvantages and cost effectiveness when compared to other existing FWNN structures in literature. The evaluations are carried out via the identification of two simulated systems traditionally found in the literature and a real nonlinear system, consisting of a nonlinear multi section tank. Finally, the network is used to infer values of temperature and humidity inside of a neonatal incubator. The execution of such analyzes is based on various criteria, like: mean squared error, number of training epochs, number of adjustable parameters, the variation of the mean square error, among others. The results found show the generalization ability of the modified structure, despite the simplification performed

Antenas planares multicamadas com materiais supercondutores e fotônico para comunicações móveis

Recently, planar antennas have been studied due to their characteristics as well as the advantages that they offers when compared with another types of antennas. In the mobile communications area, the need for this kind of antennas have became each time bigger due to the intense increase of the mobile communications this sector. That needs of antennas which operate in multifrequency and wide bandwidth. The microstrip antennas presents narrow bandwidth due the loss in the dielectric generated by radiation. Another limitation is the radiation pattern degradation due the generation of surface waves in the substrate. In this work some used techniques to minimize the disadvantages (previously mentioned) of the use of microstrip antennas are presented, those are: substrates with PBG material - Photonic Bandgap, multilayer antennas and with stacked patches. The developed analysis in this work used the TTL - Transverse Transmission Line method in the domain of Fourier transform, that uses a component of propagation in the y direction (transverse to the direction real of propagation z), treating the general equations of electric and magnetic field as functions of Ey and Hy. One of the advantages of this method is the simplification of the field equations. therefore the amount of equations lesser must the fields in directions x and z be in function of components Ey and Hy. It will be presented an brief study of the main theories that explain the superconductivity phenomenon. The BCS theory. London Equations and Two Fluids model will be the theories that will give support the application of the superconductors in the microfita antennas. The inclusion of the superconductor patch is made using the resistive complex contour condition. This work has as objective the application of the TTL method to microstrip structures with single and multilayers of rectangular patches, to obtaining the resonance frequency and radiation pattern of each structure

Uma proposta de FSS fractal com geometria simplificada

Frequency Selective Surfaces (FSS) are periodic structures in one or two dimensions that act as spatial filters, can be formed by elements of type conductors patches or apertures, functioning as filters band-stop or band-pass respectively. The interest in the study of FSS has grown through the years, because such structures meet specific requirements as low-cost, reduced dimensions and weighs, beyond the possibility to integrate with other microwave circuits. The most varied applications for such structures have been investigated, as for example, radomes, antennas systems for airplanes, electromagnetic filters for reflective antennas, absorbers structures, etc. Several methods have been used for the analysis of FSS, among them, the Wave Method (WCIP). Are various shapes of elements that can be used in FSS, as for example, fractal type, which presents a relative geometric complexity. This work has as main objective to propose a simplification geometric procedure a fractal FSS, from the analysis of influence of details (gaps) of geometry of the same in behavior of the resonance frequency. Complementarily is shown a simple method to adjust the frequency resonance through analysis of a FSS, which uses a square basic cell, in which are inserted two reentrance and dimensions these reentrance are varied, making it possible to adjust the frequency. For this, the structures are analyzed numerically, using WCIP, and later are characterized experimentally comparing the results obtained. For the two cases is evaluated, the influence of electric and magnetic fields, the latter through the electric current density vector. Is realized a bibliographic study about the theme and are presented suggestions for the continuation of this work

Algoritmos genéricos para otimização de uma arquitetura de controle inteligente híerárquico

A hierarchical fuzzy control scheme is applied to improve vibration suppression by using an electro-mechanical system based on the lever principle. The hierarchical intelligent controller consists of a hierarchical fuzzy supervisor, one fuzzy controller and one robust controller. The supervisor combines controllers output signal to generate the control signal that will be applied on the plant. The objective is to improve the performance of the electromechanical system, considering that the supervisor could take advantage of the different techniques based controllers. The robust controller design is based on a linear mathematical model. Genetic algorithms are used on the fuzzy controller and the supervisor tuning, which are based on non-linear mathematical model. In order to attest the efficiency of the hierarchical fuzzy control scheme, digital simulations were employed. Some comparisons involving the optimized hierarchical controller and the non-optimized hierarchical controller will be made to prove the efficiency of the genetic algorithms and the advantages of its use

Simulação computacional do escoamento em bombas de cavidades progressivas

The use of Progressing Cavity Pumps (PCPs) in artificial lift applications in low deep wells is becoming more common in the oil industry, mainly, due to its ability to pump heavy oils, produce oil with large concentrations of sand, besides present high efficiency when compared to other artificial lift methods. Although this system has been widely used as an oil lift method, few investigations about its hydrodynamic behavior are presented, either experimental or numeric. Therefore, in order to increase the knowledge about the BCP operational behavior, this work presents a novel computational model for the 3-D transient flow in progressing cavity pumps, which includes the relative motion between rotor and stator, using an element based finite volume method. The model developed is able to accurately predict the volumetric efficiency and viscous looses as well as to provide detailed information of pressure and velocity fields inside the pump. In order to predict PCP performance for low viscosity fluids, advanced turbulence models were used to treat, accurately, the turbulent effects on the flow, which allowed for obtaining results consistent with experimental values encountered in literature. In addition to the 3D computational model, a simplified model was developed, based on mass balance within cavities and on simplification on the momentum equations for fully developed flow along the seal region between cavities. This simplified model, based on previous approaches encountered in literature, has the ability to predict flow rate for a given differential pressure, presenting exactness and low CPU requirements, becoming an engineering tool for quick calculations and providing adequate results, almost real-time time. The results presented in this work consider a rigid stator PCP and the models developed were validated against experimental results from open literature. The results for the 3-D model showed to be sensitive to the mesh size, such that a numerical mesh refinement study is also presented. Regarding to the simplified model, some improvements were introduced in the calculation of the friction factor, allowing the application fo the model for low viscosity fluids, which was unsuccessful in models using similar approaches, presented in previous works