O sistema de controlo interno nas autarquias locais: o caso do Município de Espinho

Dissertação de Mestrado Apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientador: Doutor Carlos Mota Coorientadora: Doutora Ana Paula Lopes

The Context Influence in Volunteers Motivations

Volunteers working in different areas or different NPO (Non-profit Organisations) are significantly different according to several variables, namely in terms of motivation, satisfaction and permanence. Thus, the main goal of this research is to understand volunteers’ motivations and the influence of the context on it. Additionally, demographic variables might have an important impact on volunteers’ activities, be an important predictor of volunteering and, at the same time, influence their time commitment. In this paper we present data from twelve different NPO - 10 hospitals and 2 food banks. The model of data collection was a survey conducted by self-administered questionnaire. The results showed significant differences between the volunteers’ belonging to the two organisations and their motivations, confirming that volunteer’ motivations differ according the type/nature of organisation; this is particularly important because the field in which one works is influenced by a self-evident affinity with shared ideologies, religious convictions, and collective identities. These results present important outcomes that should be reflected in the way organisations act. Keywords: Volunteering; Occasional and permanent volunteers; Motivations; Non-profit organisations.

Task assignment algorithms for two-type heterogeneous multiprocessors

Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising two different types of processors—such a platform is referred to as two-type platform. We present two low degree polynomial time-complexity algorithms, SA and SA-P, each providing the following guarantee. For a given two-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then (i) using SA, it is guaranteed to find such an assignment where the same restriction on task migration applies but given a platform in which processors are 1+α/2 times faster and (ii) SA-P succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which processors are 1+α times faster. The parameter 0<α≤1 is a property of the task set; it is the maximum of all the task utilizations that are no greater than 1. We evaluate average-case performance of both the algorithms by generating task sets randomly and measuring how much faster processors the algorithms need (which is upper bounded by 1+α/2 for SA and 1+α for SA-P) in order to output a feasible task assignment (intra-migrative for SA and non-migrative for SA-P). In our evaluations, for the vast majority of task sets, these algorithms require significantly smaller processor speedup than indicated by their theoretical bounds. Finally, we consider a special case where no task utilization in the given task set can exceed one and for this case, we (re-)prove the performance guarantees of SA and SA-P. We show, for both of the algorithms, that changing the adversary from intra-migrative to a more powerful one, namely fully-migrative, in which tasks can migrate between processors of any type, does not deteriorate the performance guarantees. For this special case, we compare the average-case performance of SA-P and a state-of-the-art algorithm by generating task sets randomly. In our evaluations, SA-P outperforms the state-of-the-art by requiring much smaller processor speedup and by running orders of magnitude faster.

Compositional multiprocessor scheduling: the GMPR interface

Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity needed by the application. For multiprocessor platforms, the interface should also present information about the degree of parallelism. Several interface proposals have recently been put forward in various research works. However, those interfaces are either too complex to be handled or too pessimistic. In this paper we propose the generalized multiprocessor periodic resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We then derive a method to compute the interface from the application specification. This method has been implemented in Matlab routines that are publicly available.

Real-time scheduling with resource sharing on heterogeneous multiprocessors

Consider the problem of scheduling a task set τ of implicit-deadline sporadic tasks to meet all deadlines on a t-type heterogeneous multiprocessor platform where tasks may access multiple shared resources. The multiprocessor platform has m k processors of type-k, where k∈{1,2,…,t}. The execution time of a task depends on the type of processor on which it executes. The set of shared resources is denoted by R. For each task τ i , there is a resource set R i ⊆R such that for each job of τ i , during one phase of its execution, the job requests to hold the resource set R i exclusively with the interpretation that (i) the job makes a single request to hold all the resources in the resource set R i and (ii) at all times, when a job of τ i holds R i , no other job holds any resource in R i . Each job of task τ i may request the resource set R i at most once during its execution. A job is allowed to migrate when it requests a resource set and when it releases the resource set but a job is not allowed to migrate at other times. Our goal is to design a scheduling algorithm for this problem and prove its performance. We propose an algorithm, LP-EE-vpr, which offers the guarantee that if an implicit-deadline sporadic task set is schedulable on a t-type heterogeneous multiprocessor platform by an optimal scheduling algorithm that allows a job to migrate only when it requests or releases a resource set, then our algorithm also meets the deadlines with the same restriction on job migration, if given processors 4×(1+MAXP×⌈|P|×MAXPmin{m1,m2,…,mt}⌉) times as fast. (Here MAXP and |P| are computed based on the resource sets that tasks request.) For the special case that each task requests at most one resource, the bound of LP-EE-vpr collapses to 4×(1+⌈|R|min{m1,m2,…,mt}⌉). To the best of our knowledge, LP-EE-vpr is the first algorithm with proven performance guarantee for real-time scheduling of sporadic tasks with resource sharing on t-type heterogeneous multiprocessors.

A tradução audiovisual: os desafios da áudio-descrição

Dissertação de Mestrado apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação de Doutora Sandra Ribeiro “Esta versão contém as críticas e sugestões dos elementos do júri.”

Enterprise Risk Management e o seu impacto no desempenho das empresas: Estudo de caso de seis instituições financeiras nacionais

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação do Mestre Fernando Teixeira Pinto

Server to Mobile Device Communication: A Case Study

Develop a client-server application for a mobile environment can bring many challenges because of the mobile devices limitations. So, in this paper is discussed what can be the more reliable way to exchange information between a server and an Android mobile application, since it is important for users to have an application that really works in a responsive way and preferably without any errors. In this discussion two data transfer protocols (Socket and HTTP) and three serialization data formats (XML, JSON and Protocol Buffers) were tested using some metrics to evaluate which is the most practical and fast to use.

Conceção e implementação do método das secções homogéneas numa empresa industrial de metalomecânica

Trabalho de projeto apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob a orientação do Mestre Paulino Manuel Leite da Silva

A estrutura de financiamento das PMEs exportadoras do setor do calçado

Dissertação de Mestrado apresentada 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 Dr. Carlos Mota

Estudo Paramétrico e desenvolvimento de folha de cálculo para optimização de tabuleiros pré-fabricados de Obras de Arte Correntes

Mestrado em Engenharia Civil - Estruturas

O lean construction e a gestão de projeto na abertura e remodelação de lojas Sonae MC

Trabalho de Projeto

Utilização de métodos ópticos de correlação de imagem para a determinação da tenacidade à fractura de adesivos estruturais

Mestrado em Engenharia Mecânica

Implementação de ferramentas lean numa empresa de elevadores

Trabalho de Projeto

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.