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.

Principal components and generalized linear modeling in the correlation between hospital admissions and air pollution

OBJECTIVE To analyze the association between concentrations of air pollutants and admissions for respiratory causes in children. METHODS Ecological time series study. Daily figures for hospital admissions of children aged < 6, and daily concentrations of air pollutants (PM10, SO2, NO2, O3 and CO) were analyzed in the Região da Grande Vitória, ES, Southeastern Brazil, from January 2005 to December 2010. For statistical analysis, two techniques were combined: Poisson regression with generalized additive models and principal model component analysis. Those analysis techniques complemented each other and provided more significant estimates in the estimation of relative risk. The models were adjusted for temporal trend, seasonality, day of the week, meteorological factors and autocorrelation. In the final adjustment of the model, it was necessary to include models of the Autoregressive Moving Average Models (p, q) type in the residuals in order to eliminate the autocorrelation structures present in the components. RESULTS For every 10:49 μg/m3 increase (interquartile range) in levels of the pollutant PM10 there was a 3.0% increase in the relative risk estimated using the generalized additive model analysis of main components-seasonal autoregressive – while in the usual generalized additive model, the estimate was 2.0%. CONCLUSIONS Compared to the usual generalized additive model, in general, the proposed aspect of generalized additive model − principal component analysis, showed better results in estimating relative risk and quality of fit.

Analyzing objects in images for estimating the delamination influence on load carrying capacity of composite laminates

The use of fiber reinforced plastics has increased in the last decades due to their unique properties. Advantages of their use are related with low weight, high strength and stiffness. Drilling of composite plates can be carried out in conventional machinery with some adaptations. However, the presence of typical defects like delamination can affect mechanical properties of produced parts. In this paper delamination influence in bearing stress of drilled hybrid carbon+glass/epoxy quasi-isotropic plates is studied by using image processing and analysis techniques. Results from bearing test show that damage minimization is an important mean to improve mechanical properties of the joint area of the plate. The appropriateness of the image processing and analysis techniques used in the measurement of the damaged area is demonstrated.

O teatro como eixo curricular de desenvolvimento de competências no 1.º ciclo

Relatório Final apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino no 1º e no 2º Ciclos do Ensino Básico

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

A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Mode-Controlled Data-Flow Modeling of Real-Time Memory Controllers

Accepted in 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015), Amsterdam, Netherlands.

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.

Caracterização de Particulas de Desgaste do Rolamentos por Ferrografia e Ferrometria

Avarias em rolamentos são causas comuns de falhas em máquinas e equipamentos industriais. Portanto, é importante a aplicação de técnicas que permitam a deteção e a identificação do problema o mais cedo possível a fim de evitar a destruição do rolamento e consequente paragem da máquina. Logo, o processo de monitorização do estado dos rolamentos deve receber uma atenção especial no plano de manutenção de qualquer indústria. Este trabalho tem, assim, como principal objetivo a caracterização das partículas de desgaste provenientes de rolamentos através da análise dos seus lubrificantes por ferrometria e ferrografia analítica. Estas técnicas permitem identificar e caracterizar as várias partículas de desgaste presentes numa amostra de lubrificante, permitindo não só avaliar o grau de severidade do desgaste mas também identificar o tipo de desgaste predominante (fadiga, abrasão, corrosão,etc.), e até identificar os diferentes materiais das partículas que se podem associar a componentes específicos com falhas. A criação de uma base de dados para armazenar os resultados, os comentários e as informações mais importantes obtidos nos ensaios experimentais, assim como a análise de alguns casos práticos, foram também realizados no âmbito deste trabalho. Para desenvolver um conhecimento mais profundo sobre as técnicas utilizadas foi importante fazer uma análise aos diversos tipos de rolamentos, a sua lubrificação e as causas e tipos principais de avarias encontradas.

Enhancing Agent Mediated Electronic Markets with Ontology Matching Services and Social Network Support

Os Mercados Eletrónicos atingiram uma complexidade e nível de sofisticação tão elevados, que tornaram inadequados os modelos de software convencionais. Estes mercados são caracterizados por serem abertos, dinâmicos e competitivos, e constituídos por várias entidades independentes e heterogéneas. Tais entidades desempenham os seus papéis de forma autónoma, seguindo os seus objetivos, reagindo às ocorrências do ambiente em que se inserem e interagindo umas com as outras. Esta realidade levou a que existisse por parte da comunidade científica um especial interesse no estudo da negociação automática executada por agentes de software [Zhang et al., 2011]. No entanto, a diversidade dos atores envolvidos pode levar à existência de diferentes conceptualizações das suas necessidades e capacidades dando origem a incompatibilidades semânticas, que podem prejudicar a negociação e impedir a ocorrência de transações que satisfaçam as partes envolvidas. Os novos mercados devem, assim, possuir mecanismos que lhes permitam exibir novas capacidades, nomeadamente a capacidade de auxiliar na comunicação entre os diferentes agentes. Pelo que, é defendido neste trabalho que os mercados devem oferecer serviços de ontologias que permitam facilitar a interoperabilidade entre os agentes. No entanto, os humanos tendem a ser relutantes em aceitar a conceptualização de outros, a não ser que sejam convencidos de que poderão conseguir um bom negócio. Neste contexto, a aplicação e exploração de relações capturadas em redes sociais pode resultar no estabelecimento de relações de confiança entre vendedores e consumidores, e ao mesmo tempo, conduzir a um aumento da eficiência da negociação e consequentemente na satisfação das partes envolvidas. O sistema AEMOS é uma plataforma de comércio eletrónico baseada em agentes que inclui serviços de ontologias, mais especificamente, serviços de alinhamento de ontologias, incluindo a recomendação de possíveis alinhamentos entre as ontologias dos parceiros de negociação. Este sistema inclui também uma componente baseada numa rede social, que é construída aplicando técnicas de análise de redes socias sobre informação recolhida pelo mercado, e que permite melhorar a recomendação de alinhamentos e auxiliar os agentes na sua escolha. Neste trabalho são apresentados o desenvolvimento e implementação do sistema AEMOS, mais concretamente: • É proposto um novo modelo para comércio eletrónico baseado em agentes que disponibiliza serviços de ontologias; • Adicionalmente propõem-se o uso de redes sociais emergentes para captar e explorar informação sobre relações entre os diferentes parceiros de negócio; • É definida e implementada uma componente de serviços de ontologias que é capaz de: • o Sugerir alinhamentos entre ontologias para pares de agentes; • o Traduzir mensagens escritas de acordo com uma ontologia em mensagens escritas de acordo com outra, utilizando alinhamentos previamente aprovados; • o Melhorar os seus próprios serviços recorrendo às funcionalidades disponibilizadas pela componente de redes sociais; • É definida e implementada uma componente de redes sociais que: • o É capaz de construir e gerir um grafo de relações de proximidade entre agentes, e de relações de adequação de alinhamentos a agentes, tendo em conta os perfis, comportamento e interação dos agentes, bem como a cobertura e utilização dos alinhamentos; • o Explora e adapta técnicas e algoritmos de análise de redes sociais às várias fases dos processos do mercado eletrónico. A implementação e experimentação do modelo proposto demonstra como a colaboração entre os diferentes agentes pode ser vantajosa na melhoria do desempenho do sistema e como a inclusão e combinação de serviços de ontologias e redes sociais se reflete na eficiência da negociação de transações e na dinâmica do mercado como um todo.

Leprosy control: perspectives & epidemiological and operational aspects

OBJECTIVES: As a starting point, a vast variety of 200 technical papers and documents published during the ten years 1999-2008, from Brazilian and international organizations dedicated to the control of leprosy, was taken. A study was then undertaken to investigate its future evolutive possibilities by employing resources obtained from scenario analyses. DESIGN: The methodological reconstruction in use was of a qualitative nature, based on a bibliographic review and content analysis techniques. The latter were employed in a documental, categorical, contingent, frequency-based format, in compliance with appropriate and pertinent conditions. RESULTS: Nowadays, important elements on epidemiological and operational aspects have been regained, as well as respective perspectives. CONCLUSIONS: A projection is made towards the fact that the maintenance of the disease's present incidence levels constitute economic and sanitary challenges that confront issues ranging from the neoliberal model of global societal organization to specific competences of actions taken by health teams in the field.

As garantias financeiras e o seu controlo na atividade seguradora

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação do Professor Doutor Armindo Licínio da Silva Macedo

Demora desde o aparecimento dos primeiros sintomas até ao diagnóstico da tuberculose pulmonar em Portugal : análise de sobrevivência

RESUMO - O presente estudo tem como objetivo contribuir para a Saúde Pública no controlo da tuberculose pulmonar (TBP), estudando a demora desde o aparecimento dos primeiros sintomas até ao diagnóstico da doença. As consequências da demora no diagnóstico podem ser fatais para os doentes e intensificar a proliferação do bacilo, influenciando a incidência da doença. Este estudo analisou os casos notificados com TBP pelo SVIG-TB, em Portugal Continental, no período de 2000 a 2009, com demora no diagnóstico de 1 a 365 dias. Foram utilizadas técnicas de estatística clássica para caracterização da base de dados e de análise de sobrevivência para caracterizar a demora até ao diagnóstico e modelar o risco de diagnóstico. As variáveis incluídas no estudo foram: género, idade, grupo etário, distrito de residência, área crítica de incidência da tuberculose, presença ou ausência da infeção pelo VIH, caso novo e reincidência, número de tratamentos anteriores, presença ou ausência de fatores de risco (álcool, tabaco, outras drogas, reclusão e sem-abrigo) e número de fatores de risco. Verificou-se que nos 35 711 casos notificados a mediana da demora até ao diagnóstico foi de 55 dias. Todas as variáveis referidas anteriormente demostraram estar correlacionadas com a demora, exceto no que diz respeito às áreas críticas ou não críticas e aos sem-abrigo. No modelo de Cox as variáveis que se mostraram relevantes ao diagnóstico foram o género em 10,2%, grupos etários, distritos, presença ou ausência de VIH em 12%, dependência alcoólica em 6,3% e dependência de tabaco em 8,8%. Estes resultados apontam para a efetividade de medidas de controlo da tuberculose, principalmente no caso de a pessoa apresentar alguns fatores de risco.

Deeper insights into SRB-driven biocorrosion mechanisms

Dissertação para obtenção do Grau de Doutor em Química Sustentável

Maintaining the correctness of transactional memory programs

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