Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Spatial analysis of suicide attack incidences in Kabul City

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

A Web based geospatial application for disaster preparedness in Uganda

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Sistemas Modulares de Escoramento para Estruturas de Contenção Enterradas

No presente trabalho apresentam-se estudos desenvolvidos com o objetivo de análise, conceção e dimensionamento de sistemas de escoramentos metálicos modulares e reaproveitáveis a usar como alternativa técnica e económica em estruturas de contenção periférica. O sistema concebido aplicouse a um caso concreto de uma escavação urbana executada no centro de Luanda, Angola. O projeto começou a ser estudado tendo em conta os estudos geológicos e geotécnicos do terreno em causa, e posteriormente foi estudada a solução construtiva elaborada. Feito o estudo sobre a obra que se realizou com uma parede moldada e ancoragens pré-esforçadas, foi possível, a partir dai, elaborar estudos com outro tipo de sistemas de apoio. Assim, realizaram-se estudos para sistemas de apoio com escoramento linear; colunas metálicas e por uma treliça. Posteriormente, de forma a completar, complementar e poder comparar toda a pesquisa, foram efetuados mais quatro estudos, sendo os sistemas de apoio constituídos por colunas metálicas e/ou tubos circulares ou retangulares em forma elíptica no terreno do projeto e num terreno em forma de quadrado perfeito. Através dos vários estudos foi possível comparar os resultados e perceber qual será a melhor forma de otimização para futuras obras. Foi gerado um método de escoramento, que é possível ser utilizado tendo em conta as particularidades de cada obra, constituído por perfis metálicos com dimensões standard formando elipses ou círculos, conforme a forma do terreno. De maneira a finalizar este projeto foram estudados vários tipos de ligações, quer entre perfis, quer para os perfis e a parede, como também os perfis e os apoios verticais, caso sejam necessários. Como conclusão, e de forma expedita foi analisado o custo direto que apenas abrange a quantidade de aço utilizada para cada tipo de apoio dimensionado, comparando a escavação do projeto em causa com a escavação quadrada.

Avaliação numérica e experimental da carga admissível de vigas compostas para monocarris de sistemas de elevação

Este trabalho foi realizado com o apoio, e em colaboração da empresa Flexcrane, que constrói e comercializa soluções flexíveis de pontes rolantes para cargas ligeiras. Com cargas máximas de 2 toneladas estas pontes e seus caminhos de rolamento são construídas essencialmente enformados a frio. O objetivo deste trabalho é a verificação numérica e experimental das cargas que este tipo de estrutura suporta, nas suas diferentes configurações. Numa aproximação por engenharia inversa, com a realização deste trabalho, foi possível determinar a carga admissível das vigas compostas utilizadas, assim como o seu comportamento quando em carga. Para obtenção destes resultados foram realizadas simulações computacionais recorrendo ao método de elementos finitos, utilizando para isso o software Ansys Workbench e ainda ensaios experimentais que permitiram validar os resultados obtidos numericamente e consolidar o conhecimento sobre o comportamento desta solução comercial. Por ser de construção modular, são possíveis diferentes combinações para o produto final, por esta razão foram estudados numericamente diferentes configurações possíveis, com e sem reforços. Foi realizada a validação experimental para a configuração mais usual, fazendo recurso a um dispositivo para ensaio de estruturas e componentes, pertencente ao Isep. Foi ainda utilizada a técnica extensométrica para avaliar as tensões em pontos selecionados e compara-los com os obtidos numericamente. Concluiu-se pelo ótimo desempenho dos produtos Flexcrane.

Jogos digitais com contos infantis - Uma proposta de brinquedo-jogo para dispositivos móveis

O desenvolvimento e proliferação de equipamentos e produtos multimédia, permitindo a combinação de som, imagem e texto despoletou a emergência de novos estímulos que se associam a sensações, novas formas de interagir, de comunicar e também de brincar e aprender. Jogar e brincar são excelentes fontes de estímulos, principalmente para as crianças, pois potenciam a evolução da lógica, do raciocínio, das associações e da capacidade de escolha. No contexto dos jogos, decorrente da evolução tecnológica, o mercado dos jogos digitais tem vindo a expandir-se consideravelmente, nomeadamente na área dos jogos educativos. Os jogos educativos baseados em contos infantis permitem um enriquecimento de experiências, de capacidades sequenciais de lógica e promovem a apetência da criança para fantasiar num mundo paralelo. No entanto, do nosso ponto de vista, o mercado dos jogos digitais ainda tem um longo caminho a percorrer para fornecer de forma equilibrada este tipo de jogos educativos. Com este trabalho abordam-se as potencialidades que os jogos educativos baseados em contos infantis podem ter no desenvolvimento de algumas competências das crianças, nomeadamente através da análise das suas vantagens e dos seus aspetos negativos. O mercado dos jogos digitais é também analisado para determinar os seus contributos e as ideias principais presentes. A componente prática deste trabalho de mestrado contempla a criação de um jogo educativo baseado em contos infantis que corresponda aos interesses das crianças entre os 3 e os 5 anos de idade, e que fomente o desenvolvimento de algumas das suas competências a nível da linguagem. Os testes feitos com o protótipo do jogo permitem aferir a recetividade por parte das crianças. A simplicidade no manuseamento da aplicação e o facto de integrar histórias do imaginário infantil consideram-se fatores positivos e motivadores à utilização do jogo “Contos Baralhados: Brinca com as Histórias”.

Multicore Scheduling of Real-Time Irregular Parallel Algorithms in Linux

Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.

Relatório de estágio em Ensino do 1.º Ciclo do Ensino Básico

Relatório EPE - Relatório de estágio em Educação Pré-Escolar: O presente relatório foi realizado no âmbito da unidade curricular Prática Pedagógica Supervisionada, inserida no Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, da Escola Superior de Educação do Porto, durante o ano letivo 2013/2014, atribuindo qualificação profissional no contexto de pré-escolar. Este documento pretende descrever e analisar o percurso formativo desenvolvido pela mestranda ao longo da sua prática pedagógica supervisionada, numa perspetiva reflexiva sobre a construção dos saberes profissionais para a Educação. Este percurso formativo comprometeu uma atitude investigativa, bem como a mobilização de saberes científicos e legais por forma a articular as vertentes de teoria e prática, perspetivando uma construção integrada dos saberes. A prática pedagógica foi sustentada numa perspetiva construtivista, atribuindo um papel ativo à criança na construção das suas aprendizagens. Esta baseou-se num trabalho de equipa cooperativo, o qual se concretiza através do debate e da partilha de ideias, entre os vários intervenientes da ação, como meio para a transformação da realidade educativa. Ao longo da prática foi, ainda, atribuído um papel fundamental à observação do contexto, sendo esta essencial para a compreensão e conhecimento pleno da criança. Em suma, todo o percurso formativo no qual está englobado a prática pedagógica, levou a uma problematização das questões emergentes da prática, desenvolvendo uma atitude indagadora e reflexiva. Apesar da significante contribuição para a aquisição de competências pessoais e profissionais, o percurso formativo deve ser assumido como uma construção contínua, fundamentado num princípio da aprendizagem ao longo da vida.

Sustentabilidade da construção de habitação social com recurso a liga metálica leve

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Construção

Developing Young Learners’ Logical/Deductive Thinking Skills and Second Language Skills through a CLIL approach

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.

O contributo de Julián Marías para uma teoria da filosofia aplicada à questão da felicidade

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de doutor em filosofia

Estudo dos rácios trapézio inferior/ trapézio superior e grande dentado/ trapézio superior, em exercícios com envolvimento das articulações escapulo-torácica e gleno-umeral : recurso à electromiografia de superfície

RESUMO: Introdução: A estabilidade dinâmica relativa ao complexo articular do ombro depende de uma interacção perfeita entre músculos da coifa dos rotadores e músculos escapulares, como o binómio rotador da escápula – trapézio superior e trapézio inferior e o grande dentado. A compreensão dessas sinergias musculares em sujeitos assintomáticos permite, em última instância, o desenvolvimento de linhas orientadoras de raciocínio na abordagem clínica. Objectivo: Estudar o rácio de activação entre os músculos trapézio inferior e trapézio superior e entre grande dentado e trapézio superior, através de um conjunto de cinco exercícios aplicados a uma amostra de sujeitos assintomáticos, estabelecendo uma hierarquia entre esses rácios. Metodologia: Trata-se de um estudo descritivo, com uma amostra de 15 sujeitos saudáveis (n=9 homens; n=6 mulheres), com idades compreendidas entre os 19 e 27 anos (média=21 anos, dp=2,24), tendo sido avaliados por um sistema de electromiografia de superfície, em dois momentos de recolha diferentes. Os exercícios foram realizados em cadeia cinética aberta, sem qualquer aplicação de resistências externas. Resultados: De entre os exercícios analisados com envolvimento escapulo-torácico e gleno-umeral simultaneamente, destacaram-se com melhor rácio trapézio inferior/trapézio superior e grande dentado/trapézio superior (activação dos músculos trapézio inferior e grande dentado superior à activação do trapézio superior) os movimentos de flexão do ombro até aos 90º no plano sagital e a abdução do ombro até aos 90º no plano da escápula, considerando ambas as recolhas. Nos exercícios apenas com envolvimento escapulotorácico, destacaram-se com melhor rácio os movimentos de adução e depressão das escápulas bilateralmente com os membros superiores em repouso, seguido da abdução da escápula, com o ombro a 90º de flexão e mantendo a escápula em depressão (“murro à frente”), em ambas as recolhas. O exercício de abdução do ombro até aos 90º no plano frontal obteve sempre o pior rácio muscular, nos dois momentos de recolha. Conclusões: O presente trabalho estudou as interacções dos músculos escapulotorácicos em cinco exercícios realizados até aos 90º de elevação do membro superior,em cadeia cinética aberta e sem recurso a resistências externas. Será, eventualmente possível, enquadrar os exercícios propostos nas fases de consciencialização e associação de reaprendizagem motora. Sugerem-se futuros estudos com uso de análise cinemática. --------------------ABSTRACT: Introduction: Stability of the shoulder and scapula depend upon a perfect interaction between rotator cuff of the shoulder and scapular muscles, such as upper and lower trapezius and serratus anterior. A deeper comprehension of these synergies in healthy subjects allows, ultimately, the development of a better reasoning in the clinical approach. Goal: To study the ratios between lower trapezius/ upper trapezius and between serratus anterior/ upper trapezius in five different exercises, applied to healthy subjects, presenting a hierarchy between ratios. Methods: It’s an observational descriptive study including 15 healthy subjects (n= 9 men; n=6 women) with ages between 19 and 27 years (mean of 21 years, SD of 2,24). Surface electromyography was used in two different recording moments. All the exercises were performed in open kinetic chain, without external resistance. Results: Of the exercises studied that involved the shoulder and scapula together, the best ratios between lower trapezius/upper trapezius and serratus anterior/ upper trapezius (greater activity for lower trapezius and serratus anterior and less for upper trapezius) were found in shoulder flexion to 90º and in shoulder abduction to 90º in the plane of the scapula, in both recording moments. Considering the exercises that included only the scapula, the best ratio were found in bilateral adduction and depression of the scapula with the upper limbs resting and in abduction of the scapula, while being in depression, with the shoulder flexed at 90º, considering both recordings. Shoulder abduction to 90º in the coronal plane presented the worse ratio in both recording moments. Conclusions: This present paper studied the interaction of the scapula upward rotator muscles in five exercises performed below 90º of shoulder flexion or abduction, in open kinetic chain, with no external resistance. It may be possible to associate our exercises with the motor learning phases of association and consciousness. Future studies are suggested with kinematic analysis.

Flexão Nominal e nominalizações agentivas instrumentais em crianças com perturbações específicas do desenvolvimento da linguagem. Estudo de caso comparativo

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento e Perturbações da Linguagem na Criança, área de especialização em Terapia da Fala e Perturbações da Linguagem

Metabolismo Lipídico e Diagnóstico das Dislipidemias Primárias

O tratamento das dislipidemias é um imperativo ético na abordagem do doente em risco cardiovascular. O conhecimento do metabolismo das lipoproteínas, a expressão fenotípica de uma dislipidemia e a compreensão dos processos e elementos fisiopatológicos relacionados constituem a base de uma estratégia fundamentada e racional no doente em risco. A abordagem de um indivíduo com dislipidemia passa por um diagnóstico criterioso, de base laboratorial. Com uma clínica e uma semiologia escassa, mas interessante, o diagnóstico assenta na compreensão do metabolismo lipoproteico, na confirmação laboratorial da dislipidemia e na determinação de uma possível causa genética (as dislipidemias primárias, que são motivo deste artigo), na exclusão de uma causa secundária (que pode coexistir, influenciar ou modular a dislipidemia principal) e na decisão de tratar, adequando abordagens à melhor evidência científica.

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática