Submitted by Souza Tanajura Augusto (cast@ufba.br) on 2012-12-12T13:12:21Z No. of bitstreams: 1 Barreto.pdf: 2951291 bytes, checksum: ca5bc4959606d30cd74ef786ea1be063 (MD5) / Made available in DSpace on 2012-12-12T13:12:21Z (GMT). No. of bitstreams: 1 Barreto.pdf: 2951291 bytes, checksum: ca5bc4959606d30cd74ef786ea1be063 (MD5) / Centro de Pesquisa em Geofísica e Geologia da UFBA, CAPES, CNPq, CTPETRO, ANP / O processo de interpretação de dados obtidos em lavantamentos eletromagnéticos é frequentemente feito através da comparação com dados produzidos por modelos teóricos ou de escala reduzida. No intuito de contribuir para a interpretação desse tipo de levantamento, este trabalhoproduz e analisa perfis de condutividade elétrica no plano xz através de simulações computacionais de um modelo geológico teórico composto por uma esfera condutora imersa num semiespaço infinitamente resistivo sob um arranjo horizontal coplanar. A metodologia empregada faz a inversão das impedâncias de acoplamento mútuo (Z/Z0)em condutividades aparentes (Dias, 1968) e as associa a um ponto de maior influência no plano xz (Sato, 1979), gerando uma grade de dados que permite, por sua vez, construir os perfis 2D. Para o processamento dos dados FDEM no arranjo adotado, foi necessárioreescrever a expressão de Z/Z0 como uma expansão em série de Taylor para reduzir erros nos cálculos computacionais para pequenos valores do número de indução, resultado conseguidopara θ < 10-2, intervalo em que os erros são sempre menores que 1%. A avaliação das coordenadas do ponto de maior influência em condições limítrofes (θ << 1 e θ >> 1) confirma a existência de uma linha limite com mergulho de 26,57o, abaixo da qual não é possível observar as anomalias, e a necessidade de se ter números de indução muito altos quando o alvo é um corpo raso, o que implica em condições específicas, como frequências maiores que 10 kHz, distâncias TX-RX muito grandes ou condutividades muito altas, o que, nas aplicações práticas dos métodos CSAMT, não é usual. Os perfis obtidos mostram também que a posição horizontal das imagens geradas por corpos mais profundos são deslocadas na direção contrária a do transmissor quando se associa a medição a umponto diretamente abaixo do receptor. Dessa forma, a correção horizontal utilizada, apesar de deslocar um pouco as imagens dos corpos mais rasos na direção do transmissor, produz resultados muito melhores para corpos mais profundos. / Pós Graduação em Geofísica da UFBA

FELIX, Hudson de Souza. Princípio da indução matemática: fundamentação teórica e aplicações. 2015. 39 f. Dissertação (Mestrado em Matemática em Rede Nacional) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-04-27T19:01:10Z No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-04-28T11:33:16Z (GMT) No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) / Made available in DSpace on 2015-04-28T11:33:16Z (GMT). No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) Previous issue date: 2015 / This paper presents properties and mathematics teaching issues that somehow show or can be resolved using the principle of mathematics induction. with this, we seek to awaken students to the importance of demonstration in mathematics , leaving the conformity to accept any intuitive formatting formula indexed to natural numbers and go for a more refined mathematical analysis of the concepts , properties and problems that arise in mathematics. / O presente trabalho apresenta propriedades e problemas do ensino da matemática que de alguma forma se demonstram ou podem ser resolvidas usando o princípio da indução matemática. Com isso, buscamos despertar o aluno para a importância da demonstração em matemática, saindo do conformismo de aceitar a qualquer fórmula de formatação intuitiva indexada ao números naturais e partir para uma análise matemática mais refinada dos conceitos, propriedades e problemas que se apresentam na matemática.

MACHADO, Y. L. Estudo da estabilidade oxidativa de amostras de biodiesel obtidas a partir de diferentes fontes de oleaginosas. 86 f. 2010. Dissertação (Mestrado em Engenharia Química) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2010. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-03-30T13:28:29Z No. of bitstreams: 1 2010_dis_ylmachado.pdf: 1751478 bytes, checksum: 162ab91651cf4bd6a1b1e869bb94ce58 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-03-30T18:10:02Z (GMT) No. of bitstreams: 1 2010_dis_ylmachado.pdf: 1751478 bytes, checksum: 162ab91651cf4bd6a1b1e869bb94ce58 (MD5) / Made available in DSpace on 2016-03-30T18:10:02Z (GMT). No. of bitstreams: 1 2010_dis_ylmachado.pdf: 1751478 bytes, checksum: 162ab91651cf4bd6a1b1e869bb94ce58 (MD5) Previous issue date: 2010-01-21 / Biodiesel is defined as a mixture of alkyl esters obtained by the transesterification reaction of triglycerides such as vegetable oil or animal fat with a short-chained alcohol, usually methanol or ethanol in presence of basic catalysts. However, biodiesel obtained from raw materials which have unsaturated fatty acids in their composition may show less oxidative stability. This fact may jeopardize its storage and use as fuel, but its low stability may be increased by the addition of additives. In this work, a kinetic study of the oxidation reaction of biodiesel samples from castor oil and soybean oil was carried out at different temperatures and pure oxygen pressure of 700 kPa. Kinetic studies were carried out at temperatures of 100, 120 and 140°C with preset stops, as well as the efficiencies of some synthetic antioxidant additives (BHA, PG, TBHQ, DBPC) were evaluated. This study was made according to method ASTM 7545. This method is consisted by submitting samples with and without additives to an oxidation test at 140°C and pure oxygen pressure of 700 kPa. The oxidation degree was monitored by Total Acid Number, Kinematic Viscosity at 40°C and Density at 20°C as parameters. The results showed that temperature increase has a significant effect on oxidation degree of the samples. The results also showed that synthetic antioxidants increased significantly the oxidative stability of the evaluated biodiesel samples. The antioxidant DBPC increased oxidative stability of biodiesel from castor oil by around 6 times. Samples with additive TBHQ showed similar behavior, but samples with higher concentration of DBPC (5000 ppm) showed smaller induction periods. BHA’s antioxidant maximum activity was obtained at concentration of 2000 ppm. The best performance of antioxidant PG was at concentration of 3000 ppm. Antioxidant TBHQ increased oxidative stability of biodiesel from soybean oil by 2 times, while PG showed best activity for the concentration of 1000 ppm and the same level of activity was reached for BHA for concentrations above 2000 ppm. / Biodiesel é definido como sendo uma mistura de ésteres alquílicos obtido a partir de uma reação de transesterificação de um triglicerídeo (óleo vegetal ou gordura animal) com um álcool de cadeia curta, normalmente metanol ou etanol na presença de catalisadores básicos. Entretanto, biodieseis derivados de matérias-primas que possuam ácidos graxos insaturados em sua estrutura terão uma menor estabilidade oxidativa. Este fato pode comprometer a armazenagem e a sua utilização como combustível, no entanto sua baixa estabilidade pode ser superada pela utilização de aditivos. Neste trabalho, realizou-se um estudo cinético da reação de oxidação para as amostras de biodiesel de óleo de mamona e de óleo de soja em função da temperatura e pressão de oxigênio puro a 700 kPa. Os ensaios cinéticos foram realizados nas temperaturas de 100, 120 e 140°C com paradas de tempo pré-determinadas, como também foram avaliadas a eficiência de alguns aditivos antioxidantes sintéticos (BHA, PG, TBHQ e DBPC). O presente estudo foi realizado segundo o método ASTM 7545, onde todas as amostras aditivadas e não aditivadas foram submetidas a um ensaio de oxidação acelerado sob pressão de oxigênio puro a 700 kPa e temperatura de 140°C. O grau de oxidação foi acompanhado pelo Índice de Acidez Total (IAT), Viscosidade Cinemática a 40 °C e Massa Específica a 20 °C. Os resultados obtidos mostraram que o aumento da temperatura exerceu um efeito preponderante sobre o nível de oxidação das amostras com a evolução destas propriedades. Os resultados obtidos também mostraram que os antioxidantes sintéticos aumentaram significantemente a estabilidade oxidadativa das amostras de biodiesel estudadas. Para as amostras de biodiesel de mamona aditivadas com o antioxidante DBPC sua estabilidade aumentou em até 6 vezes, enquanto as amostras aditivadas com o antioxidante TBHQ obtiveram comportamentos semelhantes ao DBPC, porém amostras aditivadas na maior concentração (5000 ppm) deste aditivo obtiveram períodos de indução menores. O antioxidante BHA apresentou uma atividade máxima para concentração de 2000 ppm, enquanto o antioxidante PG apresentou melhor desempenho para amostras aditivadas a partir de 3000 ppm. O antioxidante TBHQ aumentou a estabilidade oxidativa do biodiesel de soja 2 vezes, enquanto o antioxidante PG apresentou melhor atividade para o nível de aditivação de 1000 ppm e esta mesma atividade só pode ser evidenciada para o BHA com amostras aditivadas acima de 2000 ppm.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-graduação em Engenharia Elétrica, Florianópolis, 2013. / Made available in DSpace on 2013-12-06T00:28:41Z (GMT). No. of bitstreams: 1 321410.pdf: 11607513 bytes, checksum: 57b57e639b99bcbe25da618bfcb004fe (MD5) Previous issue date: 2013 / Este trabalho refere-se ao estudo da influência dos tirantes de fixação do estator no desempenho das máquinas de indução trifásicas. São destacadas duas formas de fixação do pacote do estator: com tirantes externos e com tirantes embutidos ao pacote. O estudo é dividido em sete casos distintos: tirantes totalmente externos, tirantes 25% embutidos, tirantes 50% embutidos, tirantes embutidos e soldados, tirantes embutidos e fresados, tirantes embutidos fresados e interrompidos e tirantes embutidos soldados e interrompidos. Tais casos são analisados analiticamente e numericamente em elementos finitos 2D e 3D através de programas computacionais. É explorada também a análise prática das perdas nos tirantes de fixação do estator, além de serem apresentados os resultados obtidos para cada caso estudado, confrontando-os analítica e numericamente com o intuito de concluir o quanto as perdas nos tirantes de fixação do estator afetarão o desempenho das máquinas de indução trifásicas <br>

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2016. / Made available in DSpace on 2016-09-27T04:04:47Z (GMT). No. of bitstreams: 1 338979.pdf: 1143367 bytes, checksum: 53480dfadecbe9db4097684c05fd8001 (MD5) Previous issue date: 2016 / Buscamos uma resposta para a questão: pode haver desacordo racional depois que duas pessoas consideradas pares descobrem que defendem crenças divergentes? Apresentaremos, por um lado, a resposta dada pela Visão de Peso Igual que defende que o par deve desistir de suas respectivas crenças, pois não pode haver desacordo racional depois do reconhecimento mútuo; por outro lado, temos a Visão das Razões Corretas e a Visão de Peso Extra que defendem que o par deve permanecer com suas respectivas crenças. Os defensores da Visão de Peso Igual defendem a chamada Tese da Unicidade que diz que só podemos ter apenas uma resposta doxástica racional para cada crença. Defensores das outras visões concorrentes defendem uma espécie de permissivismo epistêmico que diz o oposto, ou seja, pode-se, racionalmente, ser sustentada mais de uma atitude doxástica para cada crença (não pela mesma pessoa no mesmo tempo). Mostraremos que muito da discussão se concentra em duas temáticas importantes da epistemologia mainstream: justificação epistêmica e anuladores. A partir de então, argumentaremos que a divisão entre justificação interna e justificação externa, além da divisão entre anuladores proposicionais e anuladores de estados mentais podem nos dar uma resposta ao problema. Do ponto de vista internalista, a resposta ao problema é 'sim', mas do ponto de vista externalista a resposta pode ser 'não'. Ademais, nem sempre um anulador incita uma revisão completa da crença, mas apenas uma revisão parcial. Isto pode desmotivar a atração inicial pela Visão de Peso Igual.<br> / Abstract : We seek an answer to the question: can there be rational disagreement after two people considered peers find out that hold divergent beliefs? We will present, on the one hand, the answer given by Equal Weight View defending that the pair should give up their respective beliefs, because there must be no rational disagreement after mutual recognition; On the other hand, we have the Right Reasons View and Extra Weight View that support that the peer should remain with their respective beliefs. Supporters of Equal Weight View stand up for calledUniqueness Thesis that says we can only have only one rational doxastic answer for every belief. Supporters of other competing visions defend akind of epistemic permissiveness that says the opposite, i.e., rationally more than one doxastic attitude can be sustained over each belief (not the same person at the same time). We will show that much of the discussion focuses on two important themes of mainstream epistemology: epistemic justification and defeaters. From them on, we argue that the division between internal and external justification, besides the division between propositional defeaters and mental states defeaters can give us an answer to the problem. From the internalist' spoint of view, the answer to the question is 'yes', but the externalist' spoint of view, the answer might be 'no'. Moreover, a defeater does not always urge a complete review of the belief, but only a partial review. This may discourage the initial attraction to Equal Weight View.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2016. / Made available in DSpace on 2017-02-21T04:42:35Z (GMT). No. of bitstreams: 1 344104.pdf: 5757260 bytes, checksum: 643576912be956abf74cef48e2435e53 (MD5) Previous issue date: 2016 / A presente dissertação aborda a operação de motores de indução trifásicos alimentados por tensões desequilibradas, principalmente no que concerne ao rendimento destes equipamentos. Primeiramente é realizada uma apresentação da teoria das componentes simétricas que norteia as análises de sistemas polifásicos desequilibrados. Em seguida, são expostas as definições de quantificação do nível de desbalanceamento de tensão. Posteriormente, detalhes sobre motores de indução trifásicos são apresentadas com o intuito de contextualizar o leitor aos conceitos técnicos utilizados neste trabalho. Além disso, apresenta-se o estado da arte do estudo da operação de motores de indução trifásicos alimentados por tensões desequilibradas. Adicionalmente, construiu-se um banco de dados com medições realizadas em 244 motores instalados em quatro plantas do setor industrial brasileiro com a intenção de estimar o consumo de energia e o custo excedente em razão do desequilíbrio de tensões. Finalmente foram realizados ensaios em um motor em bancada sob diferentes níveis e tipos de desbalanceamento de tensões com o intuito de obter a redução do rendimento de um MIT em função do desequilíbrio de tensões. Estes resultados foram comparados com simulações realizadas utilizando o modelo em regime permanente de um MIT.<br> / Abstract : This master's thesis approaches the operation of three-phase induction motors when powered by unbalanced voltages, especially with regard to its efficiency. Initially, the theory of symmetrical components is presented, that guides the analysis of unbalanced polyphase systems. Then, the definitions of voltage unbalance level are showed. Later, generalities about induction motors are presented in order to contextualize the reader to the technical concepts used in this work. In addition, this thesis presents the state of the art of the operation study of induction motors powered by unbalanced voltages. Additionally a database of measurements performed on 244 motors installed in four plants in the Brazilian industrial sector, was build, in order to estimate the excess energy consumption and the excess cost due to the voltage unbalance. Posteriorly, tests were performed in a three-phase induction motor at different types and levels of voltage unbalance, in order to determine the efficiency reduction of this motor in these conditions. The results were compared with simulations using the steady state model of a three-phase induction motor.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-20T17:29:33Z (GMT). No. of bitstreams: 1 197736.pdf: 412182 bytes, checksum: 85012543ebe66fdbbc0ffa1ffafee430 (MD5) / Este trabalho apresenta um método para análise de motores trifásicos de indução alimentados por rede monofásica, mais especificamente o caso de um motor normal conectado à rede monofásica através da utilização de capacitores. O método consiste na aplicação da teoria dos eixos de referência em conjunto com as teorias clássicas de circuitos elétricos para a solução das equações de tensão e torque do motor elétrico de indução. Também é apresentado um método alternativo baseado na aplicação da teoria de circuitos elétricos diretamente nas equações de espaço-estado em variáveis de máquina. Para a solução das equações definidas nos modelos foi utilizado o software Scilab. Para a validação do modelo foram realizados ensaios com um motor 1,5 kW, 4 pólos e três diferentes valores de capacitância: 15 mF, 27 mF e 60 mF.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2012-10-19T11:08:13Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T21:32:32Z : No. of bitstreams: 1 182503.pdf: 3801443 bytes, checksum: 8b47fbe8e3f4cb67bdc131ece42ef96a (MD5) / Este trabalho tem como temas centrais o controle em modos deslizantes e a observação robusta de estados do motor de indução. Como um tópico complementar, estuda a aplicação do controle em modos deslizantes ao servomotor C.A.Inicialmente, estuda-se a modelagem dinâmica do motor de indução. Partindo-se da representação trifásica associada ao dispositivo físico chega-se, com o uso de transformações apropriadas, a modelos de estados representados num sistema único de coordenadas ortogonais.Relativamente à observação de estados, dois observadores robustos aos parâmetros elétricos são propostos. Estes observadores são projetados com base nas equações estatóricas e utilizam uma realimentação em velocidade. A estimação do conjugado de carga, que é necessária neste tipo de observador, utiliza uma abordagem adaptativa.Com relação ao controle do motor de indução, apresenta-se alguns estudos teóricos e experimentais com a utilização da abordagem dos modos deslizantes. Inicialmente, estuda-se o controle do movimento (posição e velocidade) e do fluxo do motor de indução com a utilização do deslizamento de primeira ordem. Emprega-se dois modelos de estados diferentes, um baseado nas equações do fluxo do rotor e outro baseado nas equações do fluxo de estator. A estabilidade do conjunto controlador-observador é analisada. Do ponto de vista experimental, os resultados obtidos numa bancada de ensaios mostram a viabilidade da abordagem empregada.Como uma alternativa para a solução do problema do ``chattering'', propõem-se um controlador baseado no deslizamento de segunda ordem. Mostra-se que esta abordagem é viável para o controle do motor de indução e do servomotor C.A., podendo resolver de modo satisfatório os problemas relacionados ao "chattering''.A última parte do trabalho é dedicada à aplicação do controle em modos deslizantes ao servomotor C.A. Este tipo de máquina vem ganhando grande importância no contexto dos sistemas automatizados, mostrando-se bem adaptada as estratégias propostas.

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-09-09Bitstream added on 2014-06-13T19:53:15Z : No. of bitstreams: 1 oliveira_kecs_me_mar.pdf: 826813 bytes, checksum: 56327c2d9326c6db47752e9cebb475e8 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos quantificadores da lógica clássica de primeira ordem. Dentre as lógicas moduladas, destaca-se a lógica do muito, que formaliza expressões do tipo “muitos x satisfazem a sentença φ”, por meio da sentença Gx φ(x), para G denominado o quantificador para “muitos”. Nesta Dissertação, tendo como base o quantificador “muitos”, propõe-se, em contrapartida, uma lógica para a noção de “poucos”. Apresenta-se um sistema lógico axiomático e monotônico para a lógica do poucos, em cuja semântica se utiliza a estrutura matemática denominada família quase fechada inferiormente, para representar a noção intuitiva de “poucos”. Demonstra-se que este sistema lógico é consistente, correto e completo. Analisam-se os aspectos duais entre a lógica do poucos construída e a lógica do muito, além de outros sistemas lógicos para o quantificador “poucos”, a partir de novas intuições. Finalizando, apresentam-se algumas considerações e sugestões para pesquisas em continuidade ao trabalho iniciado nesta Dissertação / In 1999, Grácio introduced a family of non-classical logics – modulated logics –, whose function is to formalize sentences that express quantification in natural language, which cannot be defined in terms of quantifiers of first order classical logic. Among the modulated logics, there is logic of many, that formalizes expressions like many x satisfy the sentence φ, by the sentence Gx φ(x) to G referred to the quantifier many. In this Dissertation, based on the quantifier many, it is proposed, on the other hand, a logic to the notion of few. It presents an axiomatic and monotonic logical system for the logic of the few, whose semantics is used in the mathematical structure called the family almost closed inferiorly, to represent the intuitive notion of few. It is demonstrated that this logical system is consistent, sound and complete. We are analyze the dual aspects of logic of many and the logic of the few built, and other logical systems for the quantifier few, from new insights. Finally, we present some considerations and suggestions for research in continuing the work begun in this Dissertation

Orientador: Maria Cláudia Cabrini Grácio / Banca: Marcelo Esteban Coniglio / Banca: Luiz Henrique da Cruz Silvestrini / Resumo: Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos quantificadores da lógica clássica de primeira ordem. Dentre as lógicas moduladas, destaca-se a lógica do muito, que formaliza expressões do tipo "muitos x satisfazem a sentença φ", por meio da sentença Gx φ(x), para G denominado o quantificador para "muitos". Nesta Dissertação, tendo como base o quantificador "muitos", propõe-se, em contrapartida, uma lógica para a noção de "poucos". Apresenta-se um sistema lógico axiomático e monotônico para a lógica do poucos, em cuja semântica se utiliza a estrutura matemática denominada família quase fechada inferiormente, para representar a noção intuitiva de "poucos". Demonstra-se que este sistema lógico é consistente, correto e completo. Analisam-se os aspectos duais entre a lógica do poucos construída e a lógica do muito, além de outros sistemas lógicos para o quantificador "poucos", a partir de novas intuições. Finalizando, apresentam-se algumas considerações e sugestões para pesquisas em continuidade ao trabalho iniciado nesta Dissertação / Abstract: In 1999, Grácio introduced a family of non-classical logics - modulated logics -, whose function is to formalize sentences that express quantification in natural language, which cannot be defined in terms of quantifiers of first order classical logic. Among the modulated logics, there is logic of many, that formalizes expressions like "many x satisfy the sentence φ", by the sentence Gx φ(x) to G referred to the quantifier "many". In this Dissertation, based on the quantifier "many", it is proposed, on the other hand, a logic to the notion of "few". It presents an axiomatic and monotonic logical system for the logic of the few, whose semantics is used in the mathematical structure called the family almost closed inferiorly, to represent the intuitive notion of "few." It is demonstrated that this logical system is consistent, sound and complete. We are analyze the dual aspects of logic of many and the logic of the few built, and other logical systems for the quantifier "few", from new insights. Finally, we present some considerations and suggestions for research in continuing the work begun in this Dissertation / Mestre