O desenvolvimento do raciocínio dedutivo ao nível do ensino secundário : recurso a geometrias planas

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.

Synthesis of FPGA-based accelerators implementing recursive algorithms

O desenvolvimento de sistemas computacionais é um processo complexo, com múltiplas etapas, que requer uma análise profunda do problema, levando em consideração as limitações e os requisitos aplicáveis. Tal tarefa envolve a exploração de técnicas alternativas e de algoritmos computacionais para optimizar o sistema e satisfazer os requisitos estabelecidos. Neste contexto, uma das mais importantes etapas é a análise e implementação de algoritmos computacionais. Enormes avanços tecnológicos no âmbito das FPGAs (Field-Programmable Gate Arrays) tornaram possível o desenvolvimento de sistemas de engenharia extremamente complexos. Contudo, o número de transístores disponíveis por chip está a crescer mais rapidamente do que a capacidade que temos para desenvolver sistemas que tirem proveito desse crescimento. Esta limitação já bem conhecida, antes de se revelar com FPGAs, já se verificava com ASICs (Application-Specific Integrated Circuits) e tem vindo a aumentar continuamente. O desenvolvimento de sistemas com base em FPGAs de alta capacidade envolve uma grande variedade de ferramentas, incluindo métodos para a implementação eficiente de algoritmos computacionais. Esta tese pretende proporcionar uma contribuição nesta área, tirando partido da reutilização, do aumento do nível de abstracção e de especificações algorítmicas mais automatizadas e claras. Mais especificamente, é apresentado um estudo que foi levado a cabo no sentido de obter critérios relativos à implementação em hardware de algoritmos recursivos versus iterativos. Depois de serem apresentadas algumas das estratégias para implementar recursividade em hardware mais significativas, descreve-se, em pormenor, um conjunto de algoritmos para resolver problemas de pesquisa combinatória (considerados enquanto exemplos de aplicação). Versões recursivas e iterativas destes algoritmos foram implementados e testados em FPGA. Com base nos resultados obtidos, é feita uma cuidada análise comparativa. Novas ferramentas e técnicas de investigação que foram desenvolvidas no âmbito desta tese são também discutidas e demonstradas.

Arquitectura e plataforma de Middleware para suporte de bibliotecas digitais distribuídas e ecléticas

O trabalho apresentado nesta dissertação teve por objectivo principal a concepção, modelação e desenvolvimento de uma plataforma de middleware que permitisse a integração de sistemas de informação, em todos os seus níveis (dados, lógico e apresentação), perfazendo uma federação de bibliotecas digitais distribuídas e ecléticas. Para este fim, foram estudadas as várias abordagens de modelação e organização das bibliotecas digitais, assim como os diversos sistemas e tecnologias de suporte existentes no momento inicial do trabalho. Compreendendo a existência de muitas lacunas ainda neste domínio, nomeadamente ao nível da interoperabilidade de sistemas heterogéneos e integração da semântica de metadados, decidiu-se proceder a um trabalho de investigação e desenvolvimento que pudesse apresentar eventuais soluções para o preenchimento de tais lacunas. Desta forma, surgem neste trabalho duas tecnologias, o XML e o Dublin Core, que servem de base a todas as restantes tecnologias usadas para a interoperabilidade e para a integração. Ainda utilizando estas tecnologias base, foram estudados e desenvolvidos meios simples, mas eficientes, de salvaguarda, indexação e pesquisa de informação, tentando manter a independência face aos grandes produtores de bases de dados, que só por si não resolvem alguns dos problemas mais críticos da investigação no domínio das bibliotecas digitais. ABSTRACT: The main objective of the work presented in this dissertation is the design, modulation and development of a middleware framework to allow information systems interoperability, in all their scope (data, logic and presentation), to accomplish a distributed and eclectic digital libraries federation. Several modulations and organizations were approached, and several support systems and technologies were studied. Understanding the existence of many gaps in this domain, namely in heterogeneous information systems interoperation and metadata semantic integration, it was decided to conduct a research and development work, which, eventually, could present some solutions to fill in these gaps. In this way, two technologies, XML and Dublin Core, appear to serve as the basis of all remaining technologies, to interoperate and to achieve semantic integration. Using yet these technologies, it was also studied and developed simple means, but efficient ones, to save, index and query information, preserving the independence from major data base producers, which by their selves don’t solve critical problems in the digital libraries research domain.

Diversidade linguística e educação para um futuro sustentável: que potencialidades nos primeiros anos de escolaridade?

Este estudo pretende analisar as relações entre a educação para a sustentabilidade e a sensibilização à diversidade linguística e cultural no currículo dos primeiros anos de escolaridade através do desenvolvimento de um projeto de intervenção pedagógico-didática. Para tal, refletiu-se sobre as noções de educação para o desenvolvimento sustentável e de sensibilização à diversidade linguística e cultural, explicitando o modo como se podem cruzar. Com este enquadramento, e numa lógica de investigação-ação, desenvolveuse o projeto de intervenção “Do meu mundo vejo o outro e o seu mundo”, em 21 sessões, numa turma do 4º ano do 1º Ciclo do Ensino Básico, de forma colaborativa com a respetiva professora titular, numa escola do distrito de Aveiro, durante o ano letivo de 2008/2009. Recolheram-se dados através da observação direta do(a)s aluno(a)s durante as sessões e de inquéritos por questionário e por entrevista ao(à)s aluno(a)s e à professora participante. Os dados recolhidos durante as sessões foram analisados com recurso à Escala de nível de envolvimento de Leuven (Laevers, 1994) e os inquéritos por questionário e entrevista foram alvo de uma análise estatística descritiva e de uma análise de conteúdo. Identificaram-se os efeitos do projeto no(a)s aluno(a)s em termos do seu nível de envolvimento nas atividades e do desenvolvimento das suas atitudes, conhecimentos e capacidades. A partir das vozes dos participantes, analisouse ainda a apreciação que realizaram do projeto na sua globalidade. Os resultados da análise apontam no sentido de que o projeto de intervenção desenvolvido contribuiu para: ajudar a derrubar barreiras disciplinares entre as àreas do currículo; justificar a necessidade de contemplar a sensibilização à diversidade linguística e cultural em processos de educação para o desenvolvimento sustentável; desenvolver materiais didáticos diversificados construídos numa lógica interdisciplinar, reconhecidos pela professora como inovadores e importantes para aprendizagens significativas e contextualizadas; transformar atitudes do(a)s aluno(a)s face à diversidade e à sustentabilidade, na preparação para uma cidadania planetária; e desenvolver no(a)s aluno(a)s uma consciência sistémica evidenciada na capacidade de relacionamento do global e do local em temas de diferentes áreas do conhecimento. Este estudo apresenta um conjunto de argumentos para a integração do tratamento da diversidade linguística e cultural no quadro de uma educação para um futuro mais sustentável nos primeiros anos de escolaridade, pela consideração de quatro grandes preocupações educativas: educar para compreender o mundo, educar para agir no mundo; educar para conviver com os outros e educar para o nunca-mais.

Nonlinear behavioral modeling of mixed signal RF-digital I/O devices

Esta tese investiga a caracterização (e modelação) de dispositivos que realizam o interface entre os domínios digital e analógico, tal como os buffers de saída dos circuitos integrados (CI). Os terminais sem fios da atualidade estão a ser desenvolvidos tendo em vista o conceito de rádio-definido-por-software introduzido por Mitola. Idealmente esta arquitetura tira partido de poderosos processadores e estende a operação dos blocos digitais o mais próximo possível da antena. Neste sentido, não é de estranhar que haja uma crescente preocupação, no seio da comunidade científica, relativamente à caracterização dos blocos que fazem o interface entre os domínios analógico e digital, sendo os conversores digital-analógico e analógico-digital dois bons exemplos destes circuitos. Dentro dos circuitos digitais de alta velocidade, tais como as memórias Flash, um papel semelhante é desempenhado pelos buffers de saída. Estes realizam o interface entre o domínio digital (núcleo lógico) e o domínio analógico (encapsulamento dos CI e parasitas associados às linhas de transmissão), determinando a integridade do sinal transmitido. Por forma a acelerar a análise de integridade do sinal, aquando do projeto de um CI, é fundamental ter modelos que são simultaneamente eficientes (em termos computacionais) e precisos. Tipicamente a extração/validação dos modelos para buffers de saída é feita usando dados obtidos da simulação de um modelo detalhado (ao nível do transístor) ou a partir de resultados experimentais. A última abordagem não envolve problemas de propriedade intelectual; contudo é raramente mencionada na literatura referente à caracterização de buffers de saída. Neste sentido, esta tese de Doutoramento foca-se no desenvolvimento de uma nova configuração de medição para a caracterização e modelação de buffers de saída de alta velocidade, com a natural extensão aos dispositivos amplificadores comutados RF-CMOS. Tendo por base um procedimento experimental bem definido, um modelo estado-da-arte é extraído e validado. A configuração de medição desenvolvida aborda não apenas a integridade dos sinais de saída mas também do barramento de alimentação. Por forma a determinar a sensibilidade das quantias estimadas (tensão e corrente) aos erros presentes nas diversas variáveis associadas ao procedimento experimental, uma análise de incerteza é também apresentada.

Didática de línguas e cultura linguística no Colégio D. José I

Parti do pressuposto de que uma Cultura Linguística construída de forma sólida em todas as suas vertentes favorece o conhecimento e o contacto com o Outro, proporcionando o enriquecimento cultural e linguístico. Seguro de que a actual orientação plural da Didática das Línguas desempenha um papel fulcral numa sociedade global como aquela em que vivemos e que a escola é um lugar de encontro de alunos, de culturas e línguas, decidi que era importante identificar as imagens das línguas escolares que se manifestam na comunidade educativa do Colégio D. José I em Aveiro. Este trabalho é realizado com a colaboração de um grupo de alunos de Espanhol do sétimo ano de escolaridade para seguidamente perceber como reagem os mesmos ao tratamento da temática das imagens das línguas e se é possível obter como resultado as transformações da Cultura Linguística. Para tal, segui uma metodologia de investigação com características de investigação-acção, já que o estudo iria decorrer no terreno com o intuito de tentar perceber para agir em conformidade com a realidade e tendo como universo os alunos de Espanhol do sétimo ano de escolaridade. Foram utilizados quatro instrumentos de recolha de dados: frases construídas pelos alunos de Espanhol relativas às línguas escolares; o registo áudio da aula em que se debateram ideias e os resultados do trabalho de campo; um inquérito por questionário adaptado de estudos anteriores; uma revisitação das frases dos alunos sobre as línguas escolares. Os dados foram analisados com recurso ao programa Excel e as questões abertas sujeitas a análise de conteúdo. A análise permitiu concluir que o panorama relativo às imagens das línguas escolares tem sofrido subtis alterações ao longo da última década, principalmente no tocante ao Francês e ao Espanhol, e que os alunos reagem, não só de forma positiva como mostram sofrer subtis mudanças na sua Cultura linguística. Face às conclusões obtidas propõe-se um caminho apoiado em princípios enquadradores de uma educação plurilingue e de aceitação do Outro, passível de promover imagens mais positivas das línguas e das suas aprendizagens e favorecer a construção da Cultura Linguística nos alunos. Considero ainda que a escola deve ser o elemento facilitador de um contacto saudável entre as línguas e os alunos, criando assim tendências de contactos mais diversificados a longo prazo.