Estratégias de monitorização e automação de um SMB combinando simulação dinâmica em gProms e optimização em AMPL

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Relatório de estágio e Trabalho de investigação: Evolução da aprendizagem do conceito de função quadrática, nas suas várias representações por alunos de 10.º ano de escolaridade

Dissertação para obtenção do Grau de Mestre em Ensino da Matemática no 3.º Ciclo do Ensino Básico e no Secundário

Parâmetros populacionais para Triatoma sordida Stal, 1859, o vetor mais freqüente da doença de Chagas no Triângulo Mineiro (Heteroptera, Triatominae)

O Triatoma sordida é o mais freqüente vetor do Trypanosoma cruzi, Chagas, 1909, em Uberaba, MG. O objetivo deste trabalho foi construir uma tabela de vida dinâmica para o Triatoma sordida visando fornecer dados para subsidiar o controle de suas populações.

Comparação dos programas Cypeterm e RCCTE-STE no âmbito da simulação dinâmica de edifícios

A presente dissertação tem como objetivo primordial realizar a comparação entre o programa de simulação monozona RCCTE-STE do LNEG e o programa de simulação dinâmica multizona Cypeterm que permite utilizar o motor de cálculo do EnergyPlus de forma a executar a simulação térmica de edifícios. Para tal foram considerados dois casos de estudo diferentes. O primeiro caso de estudo considerado foi um edifício de escritórios que funciona em open-space. É feita uma descrição detalhada dos dados inseridos nos dois programas, em particular os referentes aos elementos construtivos do edifício, aos sistemas de climatização e ventilação e aos perfis de ocupação, equipamentos e iluminação. Por fim realizou-se uma comparação crítica e exaustiva dos resultados entre os dois programas sendo que o Cypeterm foi designado como o melhor, devido às suas qualidades de cálculo do EnergyPlus e pela sua interface gráfica bastante intuitiva, que o torna bastante rápido e eficaz na introdução e alteração de dados. No segundo caso de estudo foi delineado um edifício com mais de 1000 m2 com múltiplos espaços no seu interior. Deste modo procedeu-se a uma comparação monozona face a uma simulação multizona que permitiu demonstrar que esta última é mais vantajosa e capaz, particularmente no dimensionamento do equipamento de climatização do edifício e análise energética de cada espaço. Foram também efetuadas alterações estruturais num dos edifícios estudados, de modo a perceber a sua influência a nível energética em qualquer edifício. De salientar ainda que todo este trabalho teve como base os regulamentos RCCTE e RSECE.

Modelo matemático da coluna vertebral

A investigação sobre um modelo que representasse globalmente a coluna vertebral surgiu com base no desenvolvimento de um aparelho de medição semi-automática da posição dos vértices das apófises espinhosas, o Métrica Vertebral. O modelo desenvolvido admite que a coluna vertebral pode ser representada por um sistema de massas e molas interligadas entre si. O princípio fundamental deste modelo considera que a disposição real da coluna vertebral (isto é, os centros geométricos e as inclinações dos corpos) no plano sagital pode ser determinada pela minimização da energia total elástica do sistema, e conhecendo a posição dos vértices das apófises espinhosas. Construiu-se graficamente a coluna vertebral em ambiente Matlab, utilizando o dimensionamento anatómico encontrado na literatura. Também se desenvolveu a interface gráfica do Métrica Vertebral para o profissional de saúde. Validou-se o modelo matemático num indivíduo sem patologia associada. Verificou-se que as inclinações e as coordenadas dos centros vertebrais obtidas foram muito próximas das reais ao fixar-se a inclinação do sacro à inclinação média estimada para um indivíduo sem patologia associada (42.46º). Também se fizeram testes em indivíduos medidos pelo Métrica Vertebral. No geral, obtiveram-se melhores resultados fixando-se a inclinação do sacro. Em suma, o presente modelo prevê com sucesso as inclinações e centros geométricos dos corpos vertebrais de indivíduos sem patologia associada, a partir da posição dos vértices das apófises espinhosas.

Ocorrência de neurite em pacientes com hanseníase: análise de sobrevida e fatores preditivos

A neurite na hanseníase é responsável pelas deformidades e incapacidades. O objetivo desta coorte histórica foi investigar os fatores de risco associados ao tempo até a ocorrência da neurite. Foram acompanhados 595 pacientes, no período de 1993 a 2003. Empregou-se a técnica de tabela de vida e o método de Kaplan-Meier para a curva de sobrevida. Para testar diferenças entre os grupos quanto ao tempo até a ocorrência de neurite, foi usado o log-rank e para estimar as razões de risco, o modelo de regressão de Cox. Pouco mais da metade (54%) da amostra teve neurite, sendo o principal intervalo de tempo de zero a 11,9 meses. O grau de incapacidade na admissão e o índice baciloscópico associaram-se fortemente à ocorrência de neurite, confirmando a necessidade do diagnóstico precoce da hanseníase, bem como do acompanhamento neurológico regular e intervenções adequadas.

A aprendizagem e o ensino do método cartesiano no plano com o CD-ROM da escola virtual

Esta investigação visa estudar a forma como os materiais educativos em ambientes interactivos e dinâmicos, no CD-ROM da Escola Virtual, desenvolvem a competência dos alunos na aprendizagem da geometria e em particular, no tema relativo ao método cartesiano no plano. A metodologia de investigação insere-se no paradigma interpretativo e segue uma abordagem qualitativa. Foi seleccionada uma turma do 11.º ano de escolaridade de um curso profissional, de uma Escola Secundária do distrito de Lisboa. A recolha de dados decorreu ao longo de dois meses, e recorreu a técnicas diversas como observação das aulas, questionários, registo vídeo, entrevistas e seu registo áudio. Os resultados obtidos neste estudo permitem concluir que a utilização do CDROM da Escola Virtual foi muito vantajosa no desenvolvimento do método cartesiano do plano e que a interactividade e animação gráfica presente contribuíram para uma boa compreensão dos conteúdos. Contudo, verificou-se que as potencialidades, dinâmicas e interactivas desta ferramenta nem sempre são suficientes e eficazes para a compreensão e apropriação de conceitos, por parte dos alunos. Quando os alunos não conseguem acompanhar as explicações no CD-ROM, o professor tem um papel preponderante, no sentido de os orientar, na procura de informação, ou de os ajudar na superação das dificuldades. Também permitiu concluir, que a utilização do CD-ROM influenciou de modo positivo a motivação dos alunos e favoreceu o trabalho colaborativo. A aprendizagem dos conceitos matemáticos processou-se a partir das interacções entre os grupos e entre os elementos de cada grupo, e através das acções mediadas pelos artefactos, designadamente o CD-ROM da Escola Virtual e seus recursos.

Uma abordagem para derivar modelos de requisitos a partir de mecanismos de reconhecimento de voz

A elicitação de requisitos é uma das primeiras actividades do processo de Engenharia de Requisitos. Através desta etapa é possível capturar e estruturar os requisitos dos stakeholders e do sistema a ser implementado. Tipicamente esta estruturação é representada através de notação gráfica com o auxílio de ferramentas CASE. Estas ferramentas tornam esta actividade exclusiva, em termos de acessibilidade, a engenheiros sem deficiências físicas devido à complexidade das funcionalidades oferecidas pelas mesmas que permitem construir estes modelos. Nesta dissertação de mestrado é proposto desenvolver uma abordagem com suporte de uma ferramenta para melhorar a acessibilidade, e consequentemente,integrar um engenheiro de requisitos com limitações físicas na actividade de elicitação de requisitos. A ferramenta também possibilita uma alternativa para os stakeholders em geral para produzir modelos sem usar as mãos quando for mais conveniente. Esta abordagem propõe usar mecanismos de voz na geração de modelos de requisitos, mais concretamente modelos de requisitos orientados a objectivos, modelos de objectos e modelos de features usando técnicas de Model-Driven Development (MDD) (e.g., metamodelos). O stakeholder assim irá capturar os seus requisitos através de mecanismos de reconhecimento de voz, sendo automaticamente realizada uma transformação do seu discurso para um modelo KAOS, para um modelo conceptual ou para um modelo de features.

Simulador de linguagem em texto estruturado para autómato TSX3721

Os controladores lógicos programáveis (PLC) são muito ,e cada vez mais, utilizados na indústria. Este tipo de equipamento, além de ser inerentemente caro, pode causar situações perigosas e perda de produtividade caso sejam incorretamente programados. Existem programas de alguns fabricantes que permitem a simulação de linguagens utilizadas na programação de autómatos (segundo a norma internacional IEC 61131-3), mas uma simulação da linguagem em Texto Estruturado (ST) em particular, é complicada e de difícil acesso. O principal objetivo deste projeto é a realização de um simulador em tempo real, capaz de realizar testes e simulações prévias de código de Texto Estruturado, a testar posteriormente no autómato TSX Micro 3721 da Schneider. É necessário a construção de um compilador e interpretador de linguagens de programação, para realização do simulador e interface gráfica. Os dois sistemas utilizados para gerar as regras formais gramaticais e de produção em linguagens de programação são o Lex e o Yacc. O Lex gera um analisador léxico dividindo o ficheiro de linguagem em texto estruturado em tokens (símbolos significativos). O Yacc, através desses símbolos recebidos, forma as regras de produção e a respetiva estrutura hierárquica do programa. A partir da interpretação desta estrutura gerada é possível traduzir ou compilar qualquer linguagem de programação, neste caso o texto estruturado, e criar um simulador correspondente numa outra linguagem. O simulador recebe o código ST e através de funções definidas pelo sistema de compilação, interpretação e tradução, reconhece as instruções em linguagem de texto estruturado correspondente e realiza o conjunto de ações propostas. Analisando os testes no autómato e os resultados apresentados pela interface, podemos concluir que é possível realizar compiladores e respetivos simuladores, utilizando análises gramaticais das linguagens de programação, em particular, podemos concluir que o simulador para linguagem em Texto Estruturado foi realizado com sucesso.

“O Código Pitágoras”: um jogo educativo para alunos cegos e amblíopes

Devido à crescente popularização dos computadores pessoais, estes encontram-se fortemente enraizados na nossa vida quotidiana. Para muitas pessoas, em particular as mais jovens, o computador já se tornou uma ferramenta de trabalho, uma fonte de informação ou até uma forma de entretenimento indispensável ao seu dia-a-dia. Por estas razões os computadores oferecem-nos boas oportunidades de expansão em diversos contextos, nomeadamente no ensino escolar e na inclusão social. Vários estudos afirmam que o uso de vídeo jogos na educação traria muitos benefícios ao processo de aprendizagem, pois permitiriam formas de ensino mais motivadoras e adaptáveis aos comportamentos sociais das crianças e jovens de hoje. No entanto há que ter diversos cuidados, caso contrário, corre-se o sério risco de tornar o jogo um motivo de desconcentração e não numa ferramenta de estudo. Para tal é importante encontrar métodos que façam a distinção entre os alunos que decoraram as soluções do jogo por jogarem frequentemente, dos que arriscam nas respostas sempre que jogam e dos alunos que vão adquirindo conhecimentos de cada vez que jogam, premiando estes últimos em detrimento dos dois primeiros. A forte presença do computador no dia-a-dia torna-o também um importante veículo para a inclusão de pessoas com deficiências visuais. No entanto como a interacção com o computador é normalmente muito exigente a nível visual, se as aplicações não forem bem desenhadas podem aumentar a disparidade entre os utilizadores visuais e os utilizadores invisuais. Assim é fundamental perceber o impacto das diferenças individuais e a sua relação com as exigências das interfaces, sobretudo nos vídeo jogos onde a principal forma de output é visual. Isto permitirá o desenvolvimento de soluções de interacção adequadas aos utilizadores invisuais, conferindo-lhes assim uma melhor forma de inclusão. Nesta dissertação desenvolveu-se um vídeo jogo educativo para a aprendizagem de matemática, adaptado para ser jogado por alunos cegos e amblíopes do 9º ano de escolaridade. O jogo reúne elementos apropriados para a idade dos jogadores, tal como a história de aventura/caça ao tesouro e personagens com quem se podem identificar, contribuindo para uma maior motivação dos alunos ao jogarem “O Código Pitágoras”. Apesar de se tratar de um jogo acessível para jovens invisuais, este também pode ser jogado por alunos normovisuais devido à sua componente gráfica. Desta forma contribui-se para uma maior integração dos alunos cegos e amblíopes nas suas turmas e na sociedade em geral, permitindo-lhes em simultâneo acesso às mesmas oportunidades que os colegas normovisuais. Os principais objectivos a atingir são: que o jogo seja de facto uma ferramenta útil ao ensino; que todos os seus conteúdos jogáveis possam ser acedidos por crianças com deficiência visual e que o mesmo seja considerado pelos seus utilizadores como um vídeo jogo normal.

Desenvolvimento de um tradutor de Língua Gestual Portuguesa

O presente projeto que aqui se apresenta ganhou o concurso “Passaporte para o Empreendedorismo”

Extração automática de elementos em fotografia aérea por fotogrametria

Na cadeia de produção de cartografia digital, que se encontra implementada no IGeoE, existe a necessidade de efetuar a restituição de objetos através da vetorização 3D. Sendo este processo completamente manual, o operador identifica e adquire os objetos, em ambiente estereoscópico, segundo as regras estabelecidas nas normas de aquisição. A aquisição de construções, nomeadamente os edifícios, são dos objetos que mais recursos consomem devido à sua frequência e dificuldade de restituição. A possibilidade de simplificar esta parte do processo proporciona um beneficio substancial para toda a cadeia de produção. Pretende-se assim detetar edifícios em fotografias aéreas, extraindo a sua informação planimétrica e altimétrica, para posterior inserção num SIG. Para a obtenção da altimetria são utilizados os princípios de fotogrametria analítica através das equações de colinearidade. Este problema torna-se relevante devido ao facto de se pretender retirar informação de fotografias, que possuem bastante informação, com recurso à computação gráfica, através de técnicas de segmentação em vários níveis e fotogrametria, juntando assim duas áreas do saber. Esta solução permite automatizar um processo que é predominantemente manual, contribuindo para melhorar a cadeia de produção sem a alteração de funcionamento da mesma.

Abordagem do Léxico Toponímico Municipal do Cuito da Província do Bié: Caso de Bairros, Comunas, Embalas e Aldeias

Este estudo, sob o tema “Abordagem do Léxico Toponímico Municipal do Cuito da Província do Bié: Caso de Bairros, Comunas, Embalas e Aldeias”, teve os seguintes objectivos: identificar e inventariar os topónimos do município do Cuito e harmonizar a sua ortografia; analisar os topónimos que apresentam variações e mudanças ortográficas, e propor a sua harmonização ortográfica, assim como os gentílicos; descrever a origem etimológica, a formação lexical, a pronúncia/transcrição fonética e a motivação dos topónimos. A metodologia de trabalho foi baseada na pesquisa bibliográfica e de campo, que foi concretizada através de entrevista aos regedores, aos sobas e aos anciãos, bem como através de conversas informais. Portanto, o objectivo principal foi propor a harmonização ortográfica e criar uma base de dados de topónimos do município do Cuito.

Estudo da toponímia do Município de Saurimo – Princípios para a harmonização da grafia

O presente trabalho oferece contribuições no campo da Onomástica, ciência que se encarrega do estudo dos nomes próprios, na vertente toponímica relativa ao estudo dos nomes geográfico, num enfoque etnolinguístico que apresenta as motivações toponímicas e a grafia correcta do topónimo na fonologia da língua do denominador. Atendendo às diferentes grafias que apresentam os nomes de lugares em diversas partes do território angolano, nas línguas em que estes nomes se apresentam, esta dissertação centra-se na análise dos principais motivadores de variação gráfica dos topónimos do município de Saurimo, apresentados em sua maioria na língua Cokwe em contacto com o Português. Apresenta-se a história e fixação da etnia Cokwe, os fundamentos morfofonológicos do Ucokwe, algumas influências sofridas pelo Português, diferenças com o Português, classificações taxonómicas, essenciais para análise e reformulação da grafia dos topónimos escritos, na sua maioria, em Ucokwe.

Estudo da evolução da concentração de ferro na doença de Parkinson

A presente dissertação foi desenvolvida em colaboração com o Instituto de Biofísica e Engenharia Biomédica (IBEB/FCUL) e com o serviço de Neurologia do Hospital de Santa Maria (HSM)