Type-based protocol conformance and aliasing control in concurrent java programs

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

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.

A framework for real time MMO game content generation

Com o aumento de plataformas móveis disponíveis no mercado e com o constante incremento na sua capacidade computacional, a possibilidade de executar aplicações e em especial jogos com elevados requisitos de desempenho aumentou consideravelmente. O mercado dos videojogos tem assim um cada vez maior número de potenciais clientes. Em especial, o mercado de jogos massive multiplayer online (MMO) tem-se tornado muito atractivo para as empresas de desenvolvimento de jogos. Estes jogos suportam uma elevada quantidade de jogadores em simultâneo que podem estar a executar o jogo em diferentes plataformas e distribuídos por um "mundo" de jogo extenso. Para incentivar a exploração desse "mundo", distribuem-se de forma inteligente pontos de interesse que podem ser explorados pelo jogador. Esta abordagem leva a um esforço substancial no planeamento e construção desses mundos, gastando tempo e recursos durante a fase de desenvolvimento. Isto representa um problema para as empresas de desenvolvimento de jogos, e em alguns casos, e impraticável suportar tais custos para equipas indie. Nesta tese e apresentada uma abordagem para a criação de mundos para jogos MMO. Estudam-se vários jogos MMO que são casos de sucesso de modo a identificar propriedades comuns nos seus mundos. O objectivo e criar uma framework flexível capaz de gerar mundos com estruturas que respeitam conjuntos de regras definidas por game designers. Para que seja possível usar a abordagem aqui apresentada em v arias aplicações diferentes, foram desenvolvidos dois módulos principais. O primeiro, chamado rule-based-map-generator, contem a lógica e operações necessárias para a criação de mundos. O segundo, chamado blocker, e um wrapper à volta do módulo rule-based-map-generator que gere as comunicações entre servidor e clientes. De uma forma resumida, o objectivo geral e disponibilizar uma framework para facilitar a geração de mundos para jogos MMO, o que normalmente e um processo bastante demorado e aumenta significativamente o custo de produção, através de uma abordagem semi-automática combinando os benefícios de procedural content generation (PCG) com conteúdo gráfico gerado manualmente.

Noção de Obra no Contrato de Empreitada: Contributos da Doutrina e da Jurisprudência

Dissertação de Mestrado em Solicitaria

Gestão de Zonas Costeiras: caso de estudo Caminha-Espinho

O presente relatório descreve o Estágio Curricular desenvolvido na instituição pública Agência Portuguesa do Ambiente (APA) I.P./ Administração da Região Hidrográfica do Norte (ARHN), na Divisão dos Recursos Hídricos do Litoral (DRHL) no Porto, no âmbito do Mestrado em Engenharia Civil, ramo de Infraestruturas, do Instituto Superior de Engenharia do Porto (ISEP). Os principais objetivos do Estágio prendem-se com a gestão de zonas costeiras, particularizando-se o caso na orla costeira Caminha-Espinho. Dá-se especial enfoque ao estudo da erosão costeira, suas consequências e soluções que a possam minimizar. Este estudo divide-se em três trabalhos principais. O primeiro identifica e caracteriza as ocupações situadas no Domínio Público Marítimo (DPM), no troço de costa em estudo. No segundo, estima-se o balanço sedimentar ocorrido durante uma década com recurso a informação geográfica (altimétrica) de 2001 e 2011. Por fim, o terceiro trabalho apresenta algumas intervenções de defesa costeira, que foram possíveis de visitar durante a sua fase de execução. As principais ferramentas utilizadas para este estudo foram softwares de Sistemas de Informação Geográfica (SIG), como o ArcGis ou o QGIS. Estes três trabalhos encontram-se em anexo a este relatório.

Interoperability on low power devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

A systems biology framework for pathway level culture media engineering: pplication to Pichia pastoris cultures

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

On the cloud deployment of a session abstraction for service/data aggregation

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

Lean production in the precast concrete components’ industry

Proceedings IGLC-19, July 2011, Lima, Perú

Data queries over heterogeneous sources

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

Adapter module for self-learning production systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica, Sistemas e Computadores

A multiagent based shop floor transportation system simulator

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Multi-GPU support on the marrow algorithmic skeleton framework

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

Maintaining the correctness of transactional memory programs

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

O biofeedback cinemático na realização de exercícios escápulo-torácicos

RESUMO: O Biofeedback cinemático na realização de exercícios escápulo-torácicos Patrícia Ribeiro; Ricardo Matias Desenho do estudo: Estudo quantitativo, experimental, prospetivo de fator único. Objetivos: Determinar a efetividade do biofeedback cinemático tridimensional (3D) em tempo real, como informação de retorno extrínseca, no reconhecimento da zona neutra da omoplata, em indivíduos saudáveis; medir o desempenho temporal, através do tempo que os sujeitos demoram a atingir a posição pretendida, e o desempenho no percurso, através da diferença entre o percurso efetuado e aquele que seria o percurso mais curto, sem Informação de Retorno Extrínseca (IRE), com Informação de Retorno Extrínseca clinica verbal e palpatória (IRE-VP) e com informação de retorno extrínseca visual cinemática (IRE-VC). Enquadramento: Reconhecer aquela que deve ser a posição adequada da omoplata e tomar consciência da importância dessa posição para a estabilidade e correto funcionamento da articulação gleno-umeral é uma tarefa difícil, pois a grande maioria do indivíduos não têm os conhecimentos necessários. É reconhecido o contributo que a IRE tem na reaprendizagem motora, em especial na primeira fase da aprendizagem motora – a consciencialização. Vários estudos se têm debruçado em avaliar a influencia da IRE na reabilitação de indivíduos com disfunção do ombro, tendo-se limitado ao formato electromiográfico. No sentido de encontrar novas estratégias para facilitar o processo de reaprendizagem motora nestes indivíduos, foi escolhido biofeedback cinemático tridimensional. Métodos: Participaram no estudo 60 sujeitos, sem queixas de dor no ombro, com idades compreendidas entre os 18 e os 54 anos, com um valor médio de 21,66 anos (±5.89), divididos aleatoriamente em três grupos com uma tarefa comum: o reconhecimento da zona neutra da omoplata. Um grupo não recebeu qualquer tipo de IRE - Grupo Controlo (GC), outro grupo recebeu IRE-VP e outro recebeu IRE-VC. Para efeitos de análise da performance foram consideradas duas variáveis: tempo e qualidade da execução. A abordagem estatística destas variáveis consistiu numa análise de variância simples e num teste de comparações múltiplas. Resultados: Observámos que o grupo controlo e o grupo IRE-VC efetuaram a tarefa pedida em menos tempo que o grupo IRE-VP (p<0.01) e que o grupo IRE-VC obteve melhores resultados no que respeita à qualidade da execução da tarefa do que o GC e o grupo IRE-VP (p<0.01). Conclusão: Pelos resultados obtidos, na tarefa de reconhecimento da zona neutra da omoplata, podemos concluir que o biofeedback cinemático é mais efetivo na facilitação da obtenção de melhor qualidade de execução da tarefa do que o feedback clinico ou a inexistência de feedback e igualmente efetivo à inexistência de IRE no que respeita ao tempo demorado a reconhecer essa posição. -------------- ABSTRACT:Study Design: Single factor experimental design. Objectives: To determine the effectiveness of real time cinematic biofeedback as extrinsic information in the recognition of the neutral zone of the scapula in healthy subjects; to measure the temporal performance and quality of the execution without extrinsic feedback, with clinical feedback and with cinematic feedback. Background: To recognize the proper scapula position and to be aware of the importance of this position to the stability and correct function of the gleno-umeral joint is a difficult task, because most people don’t have the necessary knowledge. It is known that extrinsic feedback is effective in motor learning, specially in the early stages. There are several studies that evaluated the influence of extrinsic feedback in rehabilitation of shoulder dysfunctions, but only in the electromyography format. Material and Methods: Sixty healthy subjects were randomly divided into 3 groups that received no feedback (group 1 – control group), verbal and palpatory feedback (group 2) and real time cinematic feedback (group 3). The performance variables considered – time and quality of execution - were statistically analyzed with ANOVA one-way and multiple comparisons test. Results: Control group and group 3 executed the task in less time that group 2 (p<0.01) and group 3 executed the task with better quality than control group and group 2 (p<0.01). Conclusions: From the results of this study we conclude that in the studied task, the cinematic feedback is more effective to facilitate a better quality of execution than no feedback or clinical feedback and, regarding to time taken to attain the requested position, equally effective to no feedback.