NCRF 9 – locações: implicações fiscais e de auditoria

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Auditoria ORIENTAÇÃO: DR. JOÃO COSTA

Soluções de melhoria de desempenho acústico na Reabilitação de Edifícios

O presente relatório enquadra-se no âmbito do estágio curricular referente ao Mestrado em Engenharia Civil – Ramo de Construções, do Instituto Superior de Engenharia do Porto. Este relatório tem como objetivo apresentar e descrever de forma sucinta as atividades desenvolvidas na empresa Porto Vivo, SRU – Sociedade de Reabilitação Urbana da Baixa Portuense, S.A., no período compreendido entre 3 de Dezembro de 2012 e 3 de Julho de 2013. O estágio realizou-se por diferentes etapas, sendo numa fase inicial mais relacionada com a pesquisa bibliográfica e enquadramento da temática da reabilitação urbana em Portugal, tendo em seguida estudado e acompanhado o projeto de obras em curso. Esta etapa consistiu, principalmente, no acompanhamento de projetos e obras de reabilitação urbana, no âmbito da atividade da Porto Vivo, SRU, desempenhando inúmeras atividades tais como: contato com técnicos responsáveis pela elaboração dos Documentos Estratégicos, análise dos projetos em curso, acompanhamento de obras de reabilitação urbana, apoio à elaboração de relatórios de acompanhamento das obras, participado em reuniões de obra com empreiteiros e projetistas, elaborado o registo fotográfico de obras particulares e executado o levantamento do edificado. A primeira parte deste relatório enquadra o tema da Reabilitação Urbana, no seu conceito mais lato descrevendo os principais incentivos e programas de apoio inerentes. Refere-se, ainda, à descrição da empresa Porto Vivo, SRU e às atividades aí desenvolvidas. Numa segunda parte do relatório, é descrito o estudo de caso relativo ao desempenho acústico de soluções construtivas no âmbito da reabilitação do património edificado. Por último, uma reflexão final de todo o período de estágio e apreciação global das atividades desenvolvidas e da sua importância na formação pessoal e profissional.

Ampliação e reabilitação de edifícios

O presente relatório encontra-se no âmbito do estágio curricular referente ao Mestrado de Engenharia Civil do Instituto Superior de Engenharia do Porto. Este decorreu entre janeiro e julho de 2013 tendo como objetivo principal a realização de um projeto de Reabilitação e Ampliação de uma Escola Primária localizada na freguesia Seixo de Manhoses, no concelho Vila Flor, destinada a um Centro integrado de valorização de recursos. A preferência pela realização de um estágio curricular deveu-se ao facto de ser possível a aplicação direta dos conhecimentos que foram sendo adquiridos durante o curso e pela possibilidade de, ao longo do estágio, serem apreendidos mais conhecimentos que pudessem vir a ser úteis aquando da entrada do estagiário no mercado de trabalho. O estágio decorreu na Associação de Municípios da Terra Quente Transmontana, em Mirandela, e durante o período do mesmo, o estagiário foi participando de forma indirecta em outros projetos que vinham a ser desenvolvidos por esta entidade. Antes do inicio do referido projeto, foram efetuadas visitas ao local de implantação do edifício, de modo a serem esclarecidos alguns aspetos importantes na realização do projecto por parte do estagiário e com vista a tentar encontrar a solução que mais se adequava ao caso em estudo. Durante o estágio, com o intuito de ver os seus objetivos serem cumpridos, o estagiário fosse inserindo na equipa de projeto e nas várias atividades que foram sendo desenvolvidas (acompanhamento de outros projetos, visita a obras inserido na equipa de fiscalização, frequência de ações de formação).

Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors

A preliminary version of this paper appeared in Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010, pp. 239–248.

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems

It is generally challenging to determine end-to-end delays of applications for maximizing the aggregate system utility subject to timing constraints. Many practical approaches suggest the use of intermediate deadline of tasks in order to control and upper-bound their end-to-end delays. This paper proposes a unified framework for different time-sensitive, global optimization problems, and solves them in a distributed manner using Lagrangian duality. The framework uses global viewpoints to assign intermediate deadlines, taking resource contention among tasks into consideration. For soft real-time tasks, the proposed framework effectively addresses the deadline assignment problem while maximizing the aggregate quality of service. For hard real-time tasks, we show that existing heuristic solutions to the deadline assignment problem can be incorporated into the proposed framework, enriching their mathematical interpretation.

Task assignment algorithms for two-type heterogeneous multiprocessors

Consider the problem of assigning real-time 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 linearithmic timecomplexity algorithms, SA and SA-P, each providing the follow- ing guarantee. For a given two-type platform and a given task set, if there exists a feasible task-to-processor-type assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type, then (i) using SA, it is guaranteed to find such a feasible task-to- processor-type 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 2 a feasible task-to-processor assignment where tasks are not allowed to migrate between processors but given a platform in which processors are 1+α/times faster, where 0<α≤1. The parameter α is a property of the task set — it is the maximum utilization of any task which is less than or equal to 1.

Practical aspects of slot-based task- splitting dispatching in its schedulability analysis

Consider the problem of scheduling a set of sporadic tasks on a multiprocessor system to meet deadlines using a tasksplitting scheduling algorithm. Task-splitting (also called semipartitioning) scheduling algorithms assign most tasks to just one processor but a few tasks are assigned to two or more processors, and they are dispatched in a way that ensures that a task never executes on two or more processors simultaneously. A certain type of task-splitting algorithms, called slot-based task-splitting, is of particular interest because of its ability to schedule tasks at high processor utilizations. We present a new schedulability analysis for slot-based task-splitting scheduling algorithms that takes the overhead into account and also a new task assignment algorithm.

A two-competitive approximate schedulability analysis of CAN

Consider the problem of deciding whether a set of n sporadic message streams meet deadlines on a Controller Area Network (CAN) bus for a specified priority assignment. It is assumed that message streams have implicit deadlines and no release jitter. An algorithm to solve this problem is well known but unfortunately it time complexity is non-polynomial. We present an algorithm with polynomial time-complexity for computing an upper bound on the response times. Clearly, if the upper bound on the response time does not exceed the deadline then all deadlines are met. The pessimism of our approach is proven: if the upper bound of the response time exceeds the deadline then the response time exceeds the deadline as well for a CAN network with half the speed.