A checkpointing-enabled and resource-aware Java Virtual Machine for efficient and robust e-Science applications in grid environments

Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.

Inclusão de uma criança com perturbação do espetro do autismo na creche: planificação e implementação de atividades promotoras de desenvolvimento

Projeto apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade problemas de cognição e multideficiência

Automatic email organization

Introdução Actualmente, as mensagens electrónicas são consideradas um importante meio de comunicação. As mensagens electrónicas – vulgarmente conhecidas como emails – são utilizadas fácil e frequentemente para enviar e receber o mais variado tipo de informação. O seu uso tem diversos fins gerando diariamente um grande número de mensagens e, consequentemente um enorme volume de informação. Este grande volume de informação requer uma constante manipulação das mensagens de forma a manter o conjunto organizado. Tipicamente esta manipulação consiste em organizar as mensagens numa taxonomia. A taxonomia adoptada reflecte os interesses e as preferências particulares do utilizador. Motivação A organização manual de emails é uma actividade morosa e que consome tempo. A optimização deste processo através da implementação de um método automático, tende a melhorar a satisfação do utilizador. Cada vez mais existe a necessidade de encontrar novas soluções para a manipulação de conteúdo digital poupando esforços e custos ao utilizador; esta necessidade, concretamente no âmbito da manipulação de emails, motivou a realização deste trabalho. Hipótese O objectivo principal deste projecto consiste em permitir a organização ad-hoc de emails com um esforço reduzido por parte do utilizador. A metodologia proposta visa organizar os emails num conjunto de categorias, disjuntas, que reflectem as preferências do utilizador. A principal finalidade deste processo é produzir uma organização onde as mensagens sejam classificadas em classes apropriadas requerendo o mínimo número esforço possível por parte do utilizador. Para alcançar os objectivos estipulados, este projecto recorre a técnicas de mineração de texto, em especial categorização automática de texto, e aprendizagem activa. Para reduzir a necessidade de inquirir o utilizador – para etiquetar exemplos de acordo com as categorias desejadas – foi utilizado o algoritmo d-confidence. Processo de organização automática de emails O processo de organizar automaticamente emails é desenvolvido em três fases distintas: indexação, classificação e avaliação. Na primeira fase, fase de indexação, os emails passam por um processo transformativo de limpeza que visa essencialmente gerar uma representação dos emails adequada ao processamento automático. A segunda fase é a fase de classificação. Esta fase recorre ao conjunto de dados resultantes da fase anterior para produzir um modelo de classificação, aplicando-o posteriormente a novos emails. Partindo de uma matriz onde são representados emails, termos e os seus respectivos pesos, e um conjunto de exemplos classificados manualmente, um classificador é gerado a partir de um processo de aprendizagem. O classificador obtido é então aplicado ao conjunto de emails e a classificação de todos os emails é alcançada. O processo de classificação é feito com base num classificador de máquinas de vectores de suporte recorrendo ao algoritmo de aprendizagem activa d-confidence. O algoritmo d-confidence tem como objectivo propor ao utilizador os exemplos mais significativos para etiquetagem. Ao identificar os emails com informação mais relevante para o processo de aprendizagem, diminui-se o número de iterações e consequentemente o esforço exigido por parte dos utilizadores. A terceira e última fase é a fase de avaliação. Nesta fase a performance do processo de classificação e a eficiência do algoritmo d-confidence são avaliadas. O método de avaliação adoptado é o método de validação cruzada denominado 10-fold cross validation. Conclusões O processo de organização automática de emails foi desenvolvido com sucesso, a performance do classificador gerado e do algoritmo d-confidence foi relativamente boa. Em média as categorias apresentam taxas de erro relativamente baixas, a não ser as classes mais genéricas. O esforço exigido pelo utilizador foi reduzido, já que com a utilização do algoritmo d-confidence obteve-se uma taxa de erro próxima do valor final, mesmo com um número de casos etiquetados abaixo daquele que é requerido por um método supervisionado. É importante salientar, que além do processo automático de organização de emails, este projecto foi uma excelente oportunidade para adquirir conhecimento consistente sobre mineração de texto e sobre os processos de classificação automática e recuperação de informação. O estudo de áreas tão interessantes despertou novos interesses que consistem em verdadeiros desafios futuros.

A especificidade do trabalho de Pontas no Ensino Artístico Especializado

Relatório Final de Estágio apresentado à Escola Superior de Dança com vista à obtenção do Grau de Mestre em Ensino de Dança.

Preparação para a performance instrumental: problemáticas e estratégias: relatório de estágio

Resumo I (Prática Pedagógica) - Nesta seção do relatório de estágio pretende-se caraterizar e apresentar todos os elementos referentes à prática pedagógica, que fizeram parte do estágio do ensino especializado da música, realizado na Escola de Música do Orfeão de Leiria no ano letivo de 2013/2014. De uma forma geral, o relatório de estágio pretende colocar em evidência aspetos pedagógicos como metodologias de ensino, questões motivacionais, estilos de aprendizagem, entre outros. Durante um ano letivo completo foram analisados, com especial atenção, três alunos que foram envolvidos no estágio, construindo e modelando os seus processos de aprendizagem. Para cada um deles foi realizado, ao longo do ano letivo, 30 planos de aula, uma planificação anual e três gravações vídeo/áudio em contexto de aula. Não foi uma tarefa nada fácil de realizar, mas que trouxe inúmeros conhecimentos não só de caráter pedagógico mas também de caráter pessoal. A parte inicial desta seção será dedicada à descrição e caraterização da escola onde foi realizado o estágio, a Escola de Música do Orfeão de Leiria/Conservatório de Artes. Será feita uma pequena abordagem histórica da instituição, bem como do seu projeto educativo, dacomunidade escolar, do seu contexto sociocultural e da classe de saxofone. Será apresentada também uma caraterização dos alunos, segundo vários parâmetros. Posteriormente, serão descritas algumas das práticas educativas desenvolvidas, com os alunos, em contexto de estágio. Para tal, serão utilizados como instrumentos, não só a experiência ativa do docente/estagiário, mas também todas as gravações, planos de aulas e planificações anuais, realizados em contexto de estágio do ensino especializado. Por fim, será realizada uma reflexão crítica do desempenho como docente de saxofone no âmbito do estágio e uma conclusão de toda a seção da prática pedagógica.

Melhoria da eficiência energética do processo de produção de molas para a indústria automóvel

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Makespan computation for GPU threads running on a single streaming multiprocessor

Graphics processors were originally developed for rendering graphics but have recently evolved towards being an architecture for general-purpose computations. They are also expected to become important parts of embedded systems hardware -- not just for graphics. However, this necessitates the development of appropriate timing analysis techniques which would be required because techniques developed for CPU scheduling are not applicable. The reason is that we are not interested in how long it takes for any given GPU thread to complete, but rather how long it takes for all of them to complete. We therefore develop a simple method for finding an upper bound on the makespan of a group of GPU threads executing the same program and competing for the resources of a single streaming multiprocessor (whose architecture is based on NVIDIA Fermi, with some simplifying assunptions). We then build upon this method to formulate the derivation of the exact worst-case makespan (and corresponding schedule) as an optimization problem. Addressing the issue of tractability, we also present a technique for efficiently computing a safe estimate of the worstcase makespan with minimal pessimism, which may be used when finding an exact value would take too long.

Calculating an upper bound on the finishing time of a group of threads executing on a GPU: a preliminary case study

Graphics processor units (GPUs) today can be used for computations that go beyond graphics and such use can attain a performance that is orders of magnitude greater than a normal processor. The software executing on a graphics processor is composed of a set of (often thousands of) threads which operate on different parts of the data and thereby jointly compute a result which is delivered to another thread executing on the main processor. Hence the response time of a thread executing on the main processor is dependent on the finishing time of the execution of threads executing on the GPU. Therefore, we present a simple method for calculating an upper bound on the finishing time of threads executing on a GPU, in particular NVIDIA Fermi. Developing such a method is nontrivial because threads executing on a GPU share hardware resources at very fine granularity.

Influence of grease rheology on thrust ball bearings friction torque

The friction torque and the operating temperatures in a thrust ball bearing were measured for seven different types of greases, including three biodegradable greases having low toxicity. These friction torque tests were performed using a modified Four-Ball machine. Rheological evaluations of the lubricating greases were made using a rheometer. Bleed oils were extracted from the greases and the dynamic viscosities were measured. In order to compare the performance of the lubricant greases in terms of friction, the grease characteristics were related to experimental results, showing that the interaction between thickener and base oil have strong influences in the bearing friction torque.

Friction torque in grease lubricated thrust ball bearings

Thrust ball bearings lubricated with several different greases were tested on a modified Four-Ball Machine, where the Four-Ball arrangement was replaced by a bearing assembly. The friction torque and operating temperatures in a thrust ball bearing were measured during the tests. At the end of each test a grease sample was analyzed through ferrographic techniques in order to quantify and evaluate bearing wear. A rolling bearing friction torque model was used and the coefficient of friction in full film lubrication was determined for each grease, depending on the operating conditions. The experimental results obtained showed that grease formulation had a very significant influence on friction torque and operating temperature. The friction torque depends on the viscosity of the grease base oil, on its nature (mineral, ester, PAO, etc.), on the coefficient of friction in full film conditions, but also on the interaction between grease thickener and base oil, which affected contact replenishment and contact starvation, and thus influenced the friction torque.

Modelo preditivo da criminalidade – georeferenciação ao concelho de Lisboa

Dissertação apresentada como requisito parcial para a obtenção do grau de Mestre em Estatística e Gestão de Informação

A logística na cadeia de frio em Portugal: transporte de produtos perecíveis congelados

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

"Lazarillo de Tormes": melhoria da mobilidade em Salamanca

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Vias de Comunicação e Transportes

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Kerionlike lesion of the scalp due to Acremonium kiliense in a noncompromised boy

We report a case of kerionlike lesion of the scalp due to Acremonium kiliense in a boy without underlying disease. Diagnosis was established by direct examination and cultures from pus and scrapings.