Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T11:15:21Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:59:47Z : No. of bitstreams: 1 152592.pdf: 3613186 bytes, checksum: 905737fc0689d6078fb1c50cad3dab4b (MD5) / No presente trabalho é apresentada uma nova estratégia de adaptatividade p para a aproximação de Galerkin das equações integrais de contorno. Essa nova proposta é baseada no método hp-Clouds (Duarte, 1996), desenvolvido para os elementos finitos.

326 f. / Submitted by Cynthia Nascimento (cyngabe@ufba.br) on 2013-03-25T16:27:09Z No. of bitstreams: 1 Robélio Guimarães dos S. Caria Filho.pdf: 1778439 bytes, checksum: bf860e3903511fc3fe3df57582e23be1 (MD5) / Approved for entry into archive by Alda Lima da Silva(sivalda@ufba.br) on 2013-03-25T17:10:23Z (GMT) No. of bitstreams: 1 Robélio Guimarães dos S. Caria Filho.pdf: 1778439 bytes, checksum: bf860e3903511fc3fe3df57582e23be1 (MD5) / Made available in DSpace on 2013-03-25T17:10:24Z (GMT). No. of bitstreams: 1 Robélio Guimarães dos S. Caria Filho.pdf: 1778439 bytes, checksum: bf860e3903511fc3fe3df57582e23be1 (MD5) / Nas últimas décadas, tem-se visto a área de EILE subalternizada por uma tendência de substituir metodologias de ensino, preferencialmente, por pacotes de abordagens e métodos, tomados como mais atraentes e utilizados sem a devida retificação de aspectos de abordagens anteriores. Esse fato levou a muitas contradições entre certas pesquisas na área e a práxis de ensino de LE. Analisamos, nesse trabalho, pesquisas da área de estratégias cognitivas feitas com alunos, algumas delas excluídas da didática de LE. Nossa hipótese foi verificar a existência de contradições entre estudos que apontam as estratégias de tradução e repetição, usadas por alunos da sala de LE e outros que as desconsideram. Procedemos entrevistas com alunos, professores e coordenadores de cursos livres de Inglês sobre essas exclusões localmente. Nosso objetivo aqui foi duplo: o primeiro foi refletir como as estratégias de tradução e repetição, ratificadas em pesquisas com alunos de LE, são excluídas da didática das aulas de LE, através de micropoderes exercidos por professores e coordenadores em alguns cursos de língua inglesa, em detrimento da escuta dos alunos e de suas estratégias de aprender. O segundo foi compor uma “microgenealogia” desse micropoder nos cursos livres, o como e o porquê essas estratégias declaradas pelos alunos são excluídas. Confirmamos muitas das nossas suspeitas nessas entrevistas conduzidas com alunos, professores e coordenadores. Nesse trabalho os alunos de LE entrevistados confirmam que as estratégias analisadas, tradução e repetição, são-lhes necessárias, observando-se uma contradição entre o que os estudos de cognição dizem e seu uso na práxis do ensino de LE. / Universidade Federal da Bahia. Instituto de Letras. Salvador-Ba, 2010.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação. / Made available in DSpace on 2012-10-17T10:47:18Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T17:30:47Z : No. of bitstreams: 1 174855.pdf: 4824540 bytes, checksum: 1764d07cb3477274d9546a753948c58b (MD5) / Com a intenção de debater a articulação do formal e do histórico e discutir a paradigmatização (epistemológica) presente na práxis pedagógica de matemática no ensino universitário, realizamos um estudo de caso do Curso de Matemática da UNOESC - Chapecó. Embora a matemática seja classificada como Ciência Formal, o conhecimento matemático (assim como outro conhecimento) é produzido nas e pelas relações sociais. Esse conhecimento é expresso por uma linguagem que, através dos tempos, foi adquirindo um formalismo lógico e se tornando cada vez mais precisa e rigorosa. Para muitos professores, a matemática é importante justamente por ser considerada uma ciência neutra, universal, repleta de formalização, rigor e precisão. Nessa direção, para entender melhor a questão, procuramos resgatar o positivismo e o surgimento das três grandes matrizes do pensamento matemático contemporâneo, que são o Logicismo, o Formalismo e o Intuicionismo. E, ainda, discutimos a prática pedagógica na matemática, analisando a concepção de ensino e a tendência pedagógica adotada pelos professores na tentativa de entender e caminhar para a superação do paradigma clássico e da mera dedução formal no ensino de matemática, alçando vôo àquilo que denominamos Educação Matemática. Voltados para o paradigma da Educação Matemática, o importante não é apenas apropriar-se do conhecimento matemático acumulado, mas, também, e principalmente, compreender o papel que a matemática desempenha no cotidiano de cada ser, contribuindo para a formação do cidadão capaz de apreender, modificar e se relacionar na sociedade.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Programa de Pós-Graduação em Matemática e Computação Científica. / Made available in DSpace on 2012-10-23T05:38:14Z (GMT). No. of bitstreams: 1 235620.pdf: 1113903 bytes, checksum: 9d8a15fc0ffd9b004d1de68372276b2d (MD5) / Os métodos de Galerkin descontínuo desenvolvidos recentemente para equações elípticas de segunda ordem envolvem a idéia de penalizar o salto da solução nas interfaces dos elementos. Esta idéia permite impor a suavidade da solução numérica do problema de maneira fraca e ao mesmo tempo estabilizar a forma bilinear garantindo sua coercividade e consequentemente, a estabilidade da solução numérica. Entretanto, a introdução do termo de penalização que envolve o salto da solução torna o método não conservativo, o que prejudica possíveis aplicações do método, na dinâmica de fluídos computacional, por exemplo. Este trabalho estuda inovadoras técnicas de estabilização de fluxos da solução numérica que foram introduzidas, com o objetivo de resolver o problema acima exposto, por A. Romkes, J. Oden e S. Prudhomme (2003) para problemas elípticos e por E. Burman e A. Ern (2005) para problemas com advecção predominante. Com base em recentes resultados de aproximação polinomial para funções em espaços de Sobolev particionado e usando a estabilização de fluxos, são apresentadas estimativas a priori do erro para os métodos, que são ótimas em h (parâmetro de discretização da malha) e subótimas em p (ordem de aproximação polinomial). Uma série de experiências numéricas são realizadas para comprovar as taxas de convergência teóricas e para demonstrar possíveis aplicações à problemas práticos.

O objetivo principal deste trabalho é apresentar um método recursivo para a determinação da resposta forçada de sistema de segunda ordem na forma de uma íntegra de concolução, proveniente da utilização de propriedades de transição da resposta impulso de tais sistemas. Descrevem-se também diversos métodos analíticos e numéricos desenvolvidos para o cálculo da resposta forçada, bem como as limitações de cada método. As vantagens do método recursivo proposto são notáveis já que não é requerido o cálculo de autovalores das matrizes nem a redução à primeira ordem, e nem o uso de hipóteses adicionais sobre natureza dos coeficientes matriciais do sistema. Como aplicação do método proposto, considera-se o cálculo da resposta dinâmica de estruturas flexíveis sujeitas a excitações arbitrárias tais como terremotos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T18:41:59Z (GMT). No. of bitstreams: 1 107008.pdf: 3123052 bytes, checksum: cc04d32a96293a70489018fafbc16cc0 (MD5) Previous issue date: 1994 / O uso de computadores para aprendizagem abre novas possibilidades no ensino de nível superior, possibilitando especialmente uma interação maior entre os alunos e as disciplinas de diferentes cursos. O presente trabalho implementa um simulador adequado para o ensino de graduação de cursos de computação nas áreas de hardware, como circuitos digitais, arquitetura de computadores e automação industrial. O simulador desenvolvido usa um ambiente único, onde é possível a simulação de sistemas híbridos compostos por dispositivos digitais e analógicos. Ao contrário de sistemas comerciais este simulador é aberto, permitindo a criação de componentes definidos pelo usuário e, adicionalmente proporciona a integração de equipamentos externos através de um interface de hardware e software. O próprio código é disponível, e pode servir como exemplo de programação de sistemas C, tal como, sistemas CAD e CAM.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T21:47:21Z (GMT). No. of bitstreams: 1 108177.pdf: 2040537 bytes, checksum: f1ed4f651ba64a96c7769a93e8b25a2b (MD5) Previous issue date: 1997 / Este trabalho apresenta uma metodologia em Volumes Finitos para a solução de problemas envolvendo escoamentos em corpos de águas rasas. Foram usados dois esquemas de interpolação, WUDS para os problemas unidimensionais e QUICK para os bidimensionais, mas nenhuma comparação é feita entre eles. O procedimento usado baseou-se no algoritmo para qualquer velocidade ("All-Speed"), usado na solução de escoamentos compressíveis, que consiste basicamente numa linearização da equação da conservação da massa para que se possa considerar simultaneamente os efeitos da pressão sobre a densidade e campo de velocidades. Os resultados comprovam a eficiência da proposta na reprodução de vários escoamentos usados como teste (unidimensionais e bidimensionais, permanentes e transientes). Também fica evidente a necessidade de tratar com mais cuidado as condições de contorno, especialmente nos escoamentos onde o tráfego de ondas é livre em qualquer direção e sentido.

O objetivo principal deste trabalho é apresentar um método recursivo para a determinação da resposta forçada de sistema de segunda ordem na forma de uma íntegra de concolução, proveniente da utilização de propriedades de transição da resposta impulso de tais sistemas. Descrevem-se também diversos métodos analíticos e numéricos desenvolvidos para o cálculo da resposta forçada, bem como as limitações de cada método. As vantagens do método recursivo proposto são notáveis já que não é requerido o cálculo de autovalores das matrizes nem a redução à primeira ordem, e nem o uso de hipóteses adicionais sobre natureza dos coeficientes matriciais do sistema. Como aplicação do método proposto, considera-se o cálculo da resposta dinâmica de estruturas flexíveis sujeitas a excitações arbitrárias tais como terremotos.

Orientador : Prof. Dr. Paulo Henrique Siqueira / Coorientador : Dr. Cesar Augustus Assis Beneti / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Tecnologia, Programa de Pós-Graduação em Métodos Numéricos em Engenharia. Defesa: Curitiba, 28/06/2017 / Inclui referências : f.73-78 / Resumo: Análises e estudos meteorológicos permitem realizar previsões sobre o tempo e antever eventos severos como chuva intensa, tempestades elétricas e tornados. Radares meteorológicos têm a característica de possibilitar a previsão de eventos severos à curtissímo prazo, sendo possível identificar e monitorar tempestades severas. Este trabalho apresenta uma aplicação das técnicas de Aprendizagem de Máquina Support Vector Machine (SVM) e Multilayer Perceptron (MLP) para a previsão de Evento de Tempo Severo (ETS). O vetor de características, utilizado para informar os dados de entrada do modelo, é constituído de dados coletados do radar de dupla polarização pertencente ao Sistema Meteorológico do Paraná (SIMEPAR). Os dados de Descargas Elétricas Atmosféricas (DEA) são utilizados para análise dos resultados obtidos, cedidos pela Earth Networks Total Lightning Network (ENTLN). Após o treinamento obteve-se modelos que podem servir de apoio à decisão em alertas de ETS no estado do Paraná. O modelo obtido por SVM se mostrou superior ao obtido por MLP, identificando 93,02% dos ETSs estudados e com 67,84% do total de regiões identificadas confirmadas por DEA, se tornando uma possível ferramenta de apoio à decisão. Palavras-chave: Radar Polarimétrico; Nowcasting; Support Vector Machine; Multilayer Perceptron; Descargas Elétricas Atmosféricas; Aprendizagem de Máquina. / Abstract: Analyzes and meteorological studies make possible to forecast weather and anticipate severe events such as heavy rain, electrical storms and tornadoes. Meteorological radars have the characteristic of making possible to predict severe events in the short term, alows to identify and monitor severe storms. This paper presents an application of the Machine Learning techniques for the Severe Weather Event (ETS) prediction. These techniques are:Support Vector Machine (SVM) and Multilayer Perceptron (MLP). The data used as input of the model, characteristic vector, consists of data collected from the double polarization radar belonging to the Paraná Meteorological System (SIMEPAR). The data of Atmospheric Electric Discharges (DEA) are used to analyze the results obtained, provided by Earth Networks Total Lightning Network (ENTLN). After the training, were obtained models that can serve as support for the decision on ETS alerts in the state of Paraná. The model obtained by SVM was superior to that obtained by MLP, identifying 93,02 % of the ETSs studied and 67.84 % of the total number of identified regions confirmed by DEA, becoming a possible decision support tool. Key-words: Polarimetric Radar; Nowcasting; Support Vector Machine; Multilayer Perceptron; Atmospheric Electric Discharges; Machine Learning.

O objetivo principal deste trabalho é apresentar um método recursivo para a determinação da resposta forçada de sistema de segunda ordem na forma de uma íntegra de concolução, proveniente da utilização de propriedades de transição da resposta impulso de tais sistemas. Descrevem-se também diversos métodos analíticos e numéricos desenvolvidos para o cálculo da resposta forçada, bem como as limitações de cada método. As vantagens do método recursivo proposto são notáveis já que não é requerido o cálculo de autovalores das matrizes nem a redução à primeira ordem, e nem o uso de hipóteses adicionais sobre natureza dos coeficientes matriciais do sistema. Como aplicação do método proposto, considera-se o cálculo da resposta dinâmica de estruturas flexíveis sujeitas a excitações arbitrárias tais como terremotos.