El propósito de este curso es lograr que los alumnos conozcan las leyes y conceptos del análisis matemático básico y desarrollen una serie de habilidades que les permitan tener la capacidad de aplicarlos en la resolución de ejercicios y problemas matemáticos vinculados con su carrera, con un adecuado nivel de complejidad. Este curso estudia los siguientes temas: Funciones básicas, Límite de una función, Asíntotas verticales y horizontales, Continuidad de funciones, Teoremas fundamentales sobre continuidad, La derivada y sus aplicaciones, Relación entre continuidad y derivabilidad, Reglas de derivación, Derivada de las funciones implícitas, Diferencial de una función, Extremos globales, Gráfica de funciones, Problemas de optimización, La integral y sus aplicaciones, Técnicas de integración, Teorema fundamental del cálculo, Integrales impropias, Aplicaciones, Vectores en el plano(R2) y en el espacio(R3), Operaciones con vectores, Producto escalar y producto vectorial.

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2013-12-05T19:29:55Z (GMT). No. of bitstreams: 0 Previous issue date: 1982Bitstream added on 2016-01-08T14:22:50Z : No. of bitstreams: 1 108685.pdf: 26771678 bytes, checksum: c67e040d5ec4b9b4d53ddf1616794881 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-18T05:09:04Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T23:51:04Z : No. of bitstreams: 1 185873.pdf: 1895744 bytes, checksum: 2b12d1db88e6214026a92fbaabf8c669 (MD5) / Com este trabalho, procurou-se contribuir para a melhoria do processo ensino-aprendizagem da disciplina de Cálculo Diferencial e Integral, mais especificamente com os conteúdos de Derivadas e Integrais. Os conteúdos foram Contextualizados, isto é, foram relacionados com assuntos que farão parte do cotidiano dos futuros profissionais do Curso de Tecnologia em Química Ambiental do Centro Federal de Educação Tecnológica do Paraná -CEFET - PR. Este curso foi realizado nos meses de maio e junho de 2001 e o método de ensino utilizado foi o da Resolução de Problemas, procurando fundamentar-se na Teoria Construtivista, em que o aluno é sujeito ativo no processo. Tendo em vista os resultados satisfatórios obtidos, pretende-se ampliar o trabalho, usando-se estes e outros conteúdos de Matemática, relacionando-os com os diferentes cursos do CEFET-PR

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-19T22:20:23Z (GMT). No. of bitstreams: 1 189555.pdf: 2838586 bytes, checksum: 2cd13f59673c08988d4da35479459244 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-20T11:01:41Z (GMT). No. of bitstreams: 1 190478.pdf: 480453 bytes, checksum: de0efb20c04ac74f88ce5519933453a6 (MD5) / Neste trabalho investigamos a utilização da Modelagem Matemática como estratégia de ensino e aprendizagem da Matemática, especificamente, do Cálculo Diferencial e Integral. Levando em consideração um conjunto de argumentos que justificam a utilização da Modelagem Matemática em sala de aula, desenvolvemos e aplicamos uma proposta de ensino do conteúdo em questão, em um curso superior de Tecnologia em Eletrotécnica do CEFET-Pr.

Neste trabalho apresentamos um procedimento para o cálculo da contribuição eletrônica para o gradiente de campo elétrico no núcleo (GCE), baseado no método de recorrência e no método de arbitais \"muffin-tin\" linearizados (LMTO) na representação forteme~ te ligada (\"tlght-binding\"). Este esquema é desenvolvido no esp~ ço real e pode ser aplicado em sistemas sem simetria, tais como metais amorfos, onde métodos de espaço-k não podem ser utilizados. A contribuição eletrônica é a dominante em sistemas metálicos e requer para sua avaliação o conhecimento das funções de onda eletrônicas do sistema. O esquema sugerido aqui, possui duas etapas principais: a es colha da Hamiltoniana do sistema, que neste caso foi a LMTO na aproximação de esfera atômica fortemente ligada (LMTO-ASA-TB), e o desenvolvimento dos termos do tensor GCE em uma abordagem de orbl tais fortemente ligados. Para o cálculo deste último, sugerimos a utilização do método de recorrência na obtenção dos elementos diagonais e não diagonais da função de Green, que compõem as expressões dos termos do tensor GGE em cada sitio. Como teste para nosso procedimento de espaço real, calculamos o GCE para o ao longo do eixo Zr hcp com o eixo /1. z do sistema de /1. c do cristal e também ao longo de coordenadas uma direção arbitrária. Os resultados se mostraram independentes da escolha do sistema, mostrando que o procedimento funciona na ausência de simetria. FinaJ.mente, como iLustração, calcuLamos a distribuição de GCE\'s para um agJ.omerado de Zt amorfo construído segundo o mode- Io de empacotamento denso e aleatório de esferas rígidas (DRPHS). / We present here a new method to cal-culate the el-ectronic contrlbution to the electric field gradient (GCE), which is based on the recursion method and in the recently developed tight-binding representation of the LMI0 method. This is a real-space scheme and can be applied to systems which lack symmetry, as amorphous metal.s where R-space methods can not be used. The electronic contribution is dominant Ín metalLÍc systems and requÍres for its evaluation the knowledge of the electronic wave functions of the system. The scheme I¡/e suggest here has two main steps: the choice of the Hamiltonian which in this case was the tight-binding LMT0 i\'n the atomÍc sþhere approxÍmation ( t-Uf O-ASA-TB ) and the deveJ.opment of the GCE tensor\'s components in a tight-binding approach. In the last step we suggest to use the recursion method to caLculate the diagonal and the off-diagonal Greenrs function eLements which build the GCE tensot\'s components in each site. As a test of our real space method we calculate the GCE for hcp zr with the c axis parall-eL to the crystaI\' s z axis and also in an arbitrary direction. The resuLts have shown to be independent of the choice of the system, showing that the procedure works in the abcense ofl symmetry. FinaJ.ly, as an iliustration we cal-cuLate the GCErs distribution for an amorphous Zr cluster buÍ1t in the model of dense random packing of hard spheres (DRPHS).

Neste trabalho apresentamos um procedimento para o cálculo da contribuição eletrônica para o gradiente de campo elétrico no núcleo (GCE), baseado no método de recorrência e no método de arbitais \"muffin-tin\" linearizados (LMTO) na representação forteme~ te ligada (\"tlght-binding\"). Este esquema é desenvolvido no esp~ ço real e pode ser aplicado em sistemas sem simetria, tais como metais amorfos, onde métodos de espaço-k não podem ser utilizados. A contribuição eletrônica é a dominante em sistemas metálicos e requer para sua avaliação o conhecimento das funções de onda eletrônicas do sistema. O esquema sugerido aqui, possui duas etapas principais: a es colha da Hamiltoniana do sistema, que neste caso foi a LMTO na aproximação de esfera atômica fortemente ligada (LMTO-ASA-TB), e o desenvolvimento dos termos do tensor GCE em uma abordagem de orbl tais fortemente ligados. Para o cálculo deste último, sugerimos a utilização do método de recorrência na obtenção dos elementos diagonais e não diagonais da função de Green, que compõem as expressões dos termos do tensor GGE em cada sitio. Como teste para nosso procedimento de espaço real, calculamos o GCE para o ao longo do eixo Zr hcp com o eixo /1. z do sistema de /1. c do cristal e também ao longo de coordenadas uma direção arbitrária. Os resultados se mostraram independentes da escolha do sistema, mostrando que o procedimento funciona na ausência de simetria. FinaJ.mente, como iLustração, calcuLamos a distribuição de GCE\'s para um agJ.omerado de Zt amorfo construído segundo o mode- Io de empacotamento denso e aleatório de esferas rígidas (DRPHS). / We present here a new method to cal-culate the el-ectronic contrlbution to the electric field gradient (GCE), which is based on the recursion method and in the recently developed tight-binding representation of the LMI0 method. This is a real-space scheme and can be applied to systems which lack symmetry, as amorphous metal.s where R-space methods can not be used. The electronic contribution is dominant Ín metalLÍc systems and requÍres for its evaluation the knowledge of the electronic wave functions of the system. The scheme I¡/e suggest here has two main steps: the choice of the Hamiltonian which in this case was the tight-binding LMT0 i\'n the atomÍc sþhere approxÍmation ( t-Uf O-ASA-TB ) and the deveJ.opment of the GCE tensor\'s components in a tight-binding approach. In the last step we suggest to use the recursion method to caLculate the diagonal and the off-diagonal Greenrs function eLements which build the GCE tensot\'s components in each site. As a test of our real space method we calculate the GCE for hcp zr with the c axis parall-eL to the crystaI\' s z axis and also in an arbitrary direction. The resuLts have shown to be independent of the choice of the system, showing that the procedure works in the abcense ofl symmetry. FinaJ.ly, as an iliustration we cal-cuLate the GCErs distribution for an amorphous Zr cluster buÍ1t in the model of dense random packing of hard spheres (DRPHS).

Resumo: Este estudo apresenta a criação de uma plataforma para o desenvolvimento e a avaliação de algoritmos que visam resolver o problema de definir a satisfatibilidade de uma fórmula em lógica proposicional. Muitos estudos já foram realizados sobre o problema da satisfatibilidade, principalmente sobre fórmulas na Forma Normal Conjuntiva. Com isso, muitas técnicas foram desenvolvidas baseadas nas características exclusivas desse formato. O algoritmo conhecido como DPLL é utilizado como base técnica para os principais resolvedores atuais. Heurísticas de aprendizado sobre erros e melhores estruturas de representação são os pontos fortes dos algoritmos mais modernos. Porém, a utilização de um formato de representação menos restritivo, não clausal, permite aos resolvedores atuarem sobre um número maior de domínios. Testes automatizados de circuitos são um bom exemplo de aplicação para um resolvedor não clausal. Dada a diversidade de aplicações, o processo de desenvolvimento de tais algoritmos exige a decisão de qual conjunto de técnicas e heurísticas deve ser utilizado para um melhor desempenho. Nesse cenário, uma plataforma de desenvolvimento robusta, que permita a implementação de estruturas e heurísticas específicas, facilita esse processo de decisão, possibilitando, assim, análises comparativas mais precisas entre diversas soluções.

Tese (doutorado) - 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-26T06:08:24Z (GMT). No. of bitstreams: 1 299969.pdf: 14088634 bytes, checksum: 9b8b5eff27aecdea2898fbf8299bb2d1 (MD5) / Este trabalho tem como objetivo desenvolver métodos de detecção, localização e caracterização de defeitos em um turboalternador em escala reduzida. Os defeitos estudados neste trabalho são o curto-circuito entre espiras do rotor e as excentricidades rotóricas. Os métodos serão, em seguida, adaptados aos estudos das máquinas de 900 e 1300 MW do parque nuclear da empresa EDF (Electricité de France). Para isto, a máquina em escala reduzida, foi simulada com o auxílio de dois modelos, um analítico e um numérico por elementos finitos. Os métodos para detectar e localizar os defeitos rotóricos foram, em seguida, desenvolvidos. Os resultados das simulações utilizando os dois modelos e os testes experimentais foram analisados e comparados entre si. Uma boa concordância foi verificada, o que confirma o bom funcionamento dos métodos propostos para a detecção dessas anomalias. Vários casos de defeitos, associados a diferentes modos de trabalho da máquina, foram estudados, comprovando a confiabilidade dos métodos de detecção desenvolvidos. / The aim of this work is to develop methods to detect, locate and recognise faults in a turbogenerator of reduced scale. In the framework of this study, only short-circuit defects in the rotor windings and rotor eccentricities were investigated. The developed methods would be adapted to the machines of EDF nuclear plant of 900 and 1300 MW. First the studied machine was modelled using an analytical approach and a numerical model based on the finite element method. Then, the methods to detect and locate the rotor faults were developed. The results obtained from simulations using both approaches and experimental measurements were analysed and compared. They showed a good agreement and demonstrated a good capacity of the method proposed to detect and locate the faults. Several fault cases, at different operating points of the machine, were studied and they showed the good reliability of the method.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-20T00:20:30Z (GMT). No. of bitstreams: 0 / Desenvolve-se uma investigação científica considerando a História da Matemática como uma importante alavanca conceitual fundamentada em alguns aspectos da Geometria em Euclides e em alguns aspectos da Geometria em Hilbert. Investiga-se a evolução dos Fundamentos da Geometria de Euclides com vistas à confecção de material de apoio multimídia de Geometria para melhoria do ensino de Cálculo Diferencial e Integral. Pesquisa-se nas provas e nos exercícios dos alunos os equívocos cometidos e Analisa-se o conteúdo de Geometria da formação de professores no curso de Matemática, licenciatura, da UFSC. Reconhece-se o desenvolvimento do Cálculo Diferencial e Integral inserido na evolução da geometria culminando com a formalização dos números reais. Nos equívocos dos alunos constata-se a ausência da Geometria de Euclides. Do conteúdo de Geometria na formação de professores contata-se o predomínio da Geometria Analítica e os conteúdos de Geometria euclidiana diluídos entre aspectos da História da Matemática. Existe a necessidade da Geometria de Euclides e da Geometria euclidiana serem reconhecidas e estudadas nos cursos de Matemática.