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

Desenvolvimento de um sistema de medição de distâncias por focagem óptica

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Caracterização física e química de fíleres para fabrico de misturas betuminosas

Mestrado em Engenharia Geotécnica e Geoambiente

Abordagem Comparativa – Lajes Pré-esforçadas tipo TT

Mestrado em Engenharia Civil – Ramo Estruturas

Reabilitação sustentável em edifícios habitacionais com valor histórico

Mestrado em Engenharia Civil – Ramo Construções

Estudo sobre Reabilitação Interior de Reservatórios para Água Potável

No presente relatório é apresentado um estudo, realizado na forma de estágio curricular, na empresa Águas do Douro e Paiva, S.A., doravante AdDP, entre 31 de Janeiro e 31 de Julho de 2014, sobre reabilitação interior de reservatórios para água potável. Inicialmente é feito um enquadramento ao tema, com uma abordagem às características genéricas dos reservatórios de água potável e às principais patologias que se verificam no interior desses reservatórios. De seguida, são detalhadas as principais técnicas de reabilitação interior existentes, de acordo com o tipo de patologias encontradas. Como complemento a esse estudo, são apresentados os principais fornecedores e os produtos mais utilizados em cada fase da reabilitação, de acordo com a pesquisa realizada e com as reuniões presenciadas. Por fim, são ainda apresentadas, as principais considerações a ter em conta na lavagem e desinfeção de reservatórios. Atendendo à problemática em causa, foi desenvolvida uma ficha técnica para cada reservatório que, além da sistematização das características principais, tem o objetivo de registar todas as intervenções de reabilitação ou de conservação que possam ocorrer no mesmo. Para tal, foi feito um acompanhamento dos problemas e intervenções verificadas, e surgiu, ainda, a oportunidade de acompanhar o processo de lançamento a concurso das obras de reabilitação que surgiram dessa caracterização. Por fim, foi explorada a componente de gestão patrimonial de infraestruturas, com o desenvolvimento de uma matriz de risco qualitativa, específica para aplicação aos reservatórios da AdDP, com o objetivo de constituir uma ferramenta de apoio à decisão e planeamento das intervenções de reabilitação interior. Embora fora do contexto da reabilitação interior de reservatórios, é de assinalar a importante experiência proporcionada no acompanhamento da obra de alargamento do sistema multimunicipal de abastecimento de água ao concelho de Amarante, que incluiu a instalação de conduta e construção de duas estações elevatórias.

A comparative study between centralization and decentralization of diagnostic reasoning in EPS

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa de Lisboa para obtenção do grau de mestre em Engenharia Electrotécnica e de Computadores

Desempenho rítmico de crianças de várias idades - Ponto de partida para uma reflexão sobre o estágio de educação musical

Relatório apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Educação Musical no Ensino Básico.

Relatório de estágio de prática pedagógica supervisionada. Desempenho rítmico - primeiras bases de um projecto de investigação

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre no Ensino da Educação Musical no Ensino Básico.

Media Brokerage: Agent-Based SLA Negotiation

Media content personalisation is a major challenge involving viewers as well as media content producer and distributor businesses. The goal is to provide viewers with media items aligned with their interests. Producers and distributors engage in item negotiations to establish the corresponding service level agreements (SLA). In order to address automated partner lookup and item SLA negotiation, this paper proposes the MultiMedia Brokerage (MMB) platform, which is a multiagent system that negotiates SLA regarding media items on behalf of media content producer and distributor businesses. The MMB platform is structured in four service layers: interface, agreement management, business modelling and market. In this context, there are: (i) brokerage SLA (bSLA), which are established between individual businesses and the platform regarding the provision of brokerage services; and (ii) item SLA (iSLA), which are established between producer and distributor businesses about the provision of media items. In particular, this paper describes the negotiation, establishment and enforcement of bSLA and iSLA, which occurs at the agreement and negotiation layers, respectively. The platform adopts a pay-per-use business model where the bSLA define the general conditions that apply to the related iSLA. To illustrate this process, we present a case study describing the negotiation of a bSLA instance and several related iSLA instances. The latter correspond to the negotiation of the Electronic Program Guide (EPG) for a specific end viewer.

Characterisation of noisy speech channels in 2G and 3G mobile networks

As the wireless cellular market reaches competitive levels never seen before, network operators need to focus on maintaining Quality of Service (QoS) a main priority if they wish to attract new subscribers while keeping existing customers satisfied. Speech Quality as perceived by the end user is one major example of a characteristic in constant need of maintenance and improvement. It is in this topic that this Master Thesis project fits in. Making use of an intrusive method of speech quality evaluation, as a means to further study and characterize the performance of speech codecs in second-generation (2G) and third-generation (3G) technologies. Trying to find further correlation between codecs with similar bit rates, along with the exploration of certain transmission parameters which may aid in the assessment of speech quality. Due to some limitations concerning the audio analyzer equipment that was to be employed, a different system for recording the test samples was sought out. Although the new designed system is not standard, after extensive testing and optimization of the system's parameters, final results were found reliable and satisfactory. Tests include a set of high and low bit rate codecs for both 2G and 3G, where values were compared and analysed, leading to the outcome that 3G speech codecs perform better, under the approximately same conditions, when compared with 2G. Reinforcing the idea that 3G is, with no doubt, the best choice if the costumer looks for the best possible listening speech quality. Regarding the transmission parameters chosen for the experiment, the Receiver Quality (RxQual) and Received Energy per Chip to the Power Density Ratio (Ec/N0), these were subject to speech quality correlation tests. Final results of RxQual were compared to those of prior studies from different researchers and, are considered to be of important relevance. Leading to the confirmation of RxQual as a reliable indicator of speech quality. As for Ec/N0, it is not possible to state it as a speech quality indicator however, it shows clear thresholds for which the MOS values decrease significantly. The studied transmission parameters show that they can be used not only for network management purposes but, at the same time, give an expected idea to the communications engineer (or technician) of the end-to-end speech quality consequences. With the conclusion of the work new ideas for future studies come to mind. Considering that the fourth-generation (4G) cellular technologies are now beginning to take an important place in the global market, as the first all-IP network structure, it seems of great relevance that 4G speech quality should be subject of evaluation. Comparing it to 3G, not only in narrowband but also adding wideband scenarios with the most recent standard objective method of speech quality assessment, POLQA. Also, new data found on Ec/N0 tests, justifies further research studies with the intention of validating the assumptions made in this work.

A percepção do termo desertificação na comunicação social, na política e na sociedade em geral, em Portugal

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, área de especialização em Ambiente e Recursos Naturais