2 resultados para Mathematical logic

em Repositório Institucional da Universidade de Aveiro - Portugal


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho, no âmbito da Didáctica da Matemática, foca-se no estudo de abordagens alternativas de ensino e aprendizagem da Geometria Euclidiana, no Ensino Secundário, no sentido de promover níveis estruturados do pensamento matemático. Em particular, as potencialidades do recurso a outros modelos de Geometria Plana (e.g. Geometria Hiperbólica, Geometria do Motorista de Táxi) em relação a este problema serão investigadas. A opção pelo Ensino Secundário deve-se ao facto de se tratar de um nível de ensino onde se regista uma elevada taxa de insucesso escolar (especialmente no 10º ano) e onde é notório o abismo existente, entre o ensino Secundário e Universitário, no âmbito do raciocínio lógico - dedutivo. O trabalho a desenvolver pretende aprofundar o estudo de questões ligadas à natureza do conhecimento envolvido que estarão na base de decisões, tais como: Quais os processos que vão ser ensinados? Que processos queremos que os alunos dominem? E, por outro lado, ter em conta que se pretende desenvolver capacidades de ordem superior, significando que o ensino da Matemática deve dirigir-se para níveis elevados de pensamento, tais como: resolução de problemas; comunicar matematicamente; raciocínio e demonstração. No currículo de matemática para o Ensino Básico e Secundário tem-se negligenciado a demonstração matemática, contribuindo para que exista uma desconformidade entre os graus de ensino, secundário e universitário. Muitas vezes as abordagens de ensino centram-se na verificação de resultados e desvalorizam a exploração e explicação (Villiers, 1998). Actualmente, assiste-se a uma tendência para retomar o raciocínio lógico - dedutivo. O principal objectivo desta investigação é analisar ambientes de aprendizagem em que os alunos sejam solicitados a resolver problemas de prova em contextos diversificados e, de uma forma mais geral promover o desenvolvimento do raciocínio dedutivo e uma visão mais alargada do conhecimento matemático. Em particular, a abordagem de problemas de prova num contexto de geometria não Euclidiana, com recurso a artefactos e a software de geometria dinâmica, será investigada.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O presente trabalho tem como objetivo analisar a cinética de secagem do bacalhau salgado verde (Gadus morhua) em secador convectivo. É apresentada a análise da composição físico-química dos bacalhaus utilizados nos ensaios experimentais, bem como o estudo das isotermas de sorção do produto, através de experiências e modelação matemática. Dos modelos usados para o ajuste das isotermas de sorção do bacalhau salgado verde, o que melhor se adaptou aos resultados experimentais foi o modelo de GAB Modificado, com coeficientes de correlação variando entre 0,992 e 0,998. Para o controlo do processo de secagem (nomeadamente os parâmetros temperatura, humidade relativa e velocidade do ar) foi utilizada lógica difusa, através do desenvolvimento de controladores difusos para o humidificador, desumidificador, resistências de aquecimento e ventilador. A modelação do processo de secagem foi realizada através de redes neuronais artificiais (RNA), modelo semi-empírico de Page e modelo difusivo de Fick. A comparação entre dados experimentais e simulados, para cada modelo, apresentou os seguintes erros: entre 1,43 e 11,58 para o modelo de Page, 0,34 e 4,59 para o modelo de Fick e entre 1,13 e 6,99 para a RNA, com médias de 4,38, 1,67 e 2,93 respectivamente. O modelo obtido pelas redes neuronais artificiais foi submetido a um algoritmo de otimização, a fim de buscar os parâmetros ideais de secagem, de forma a minimizar o tempo do processo e maximizar a perda de água do bacalhau. Os parâmetros ótimos obtidos para o processo de secagem, após otimização realizada, para obter-se uma humidade adimensional final de 0,65 foram: tempo de 68,6h, temperatura de 21,45°C, humidade relativa de 51,6% e velocidade de 1,5m/s. Foram também determinados os custos de secagem para as diferentes condições operacionais na instalação experimental. Os consumos por hora de secagem variaram entre 1,15 kWh e 2,87kWh, com uma média de 1,94kWh.