O impacto da avaliação do desempenho docente na função docente e no desenvolvimento organizacional da escola

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialidade Supervisão em Educação

A framework for the development of parallel and distributed real-time embedded systems

Embedded real-time applications increasingly present high computation requirements, which need to be completed within specific deadlines, but that present highly variable patterns, depending on the set of data available in a determined instant. The current trend to provide parallel processing in the embedded domain allows providing higher processing power; however, it does not address the variability in the processing pattern. Dimensioning each device for its worst-case scenario implies lower average utilization, and increased available, but unusable, processing in the overall system. A solution for this problem is to extend the parallel execution of the applications, allowing networked nodes to distribute the workload, on peak situations, to neighbour nodes. In this context, this report proposes a framework to develop parallel and distributed real-time embedded applications, transparently using OpenMP and Message Passing Interface (MPI), within a programming model based on OpenMP. The technical report also devises an integrated timing model, which enables the structured reasoning on the timing behaviour of these hybrid architectures.

An improved preemption delay upper bound for floating non-preemptive region

In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.

A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Inovação de técnicas administrativas para o melhoramento de desempenho das atividades organizacionais

Dissertação apresentada ao Instituto Politécnico do Porto - Instituto Superior de Contabilidade e Administração do Porto, para obtenção do Grau de Mestre em Assessoria e Administração de Organizações, sob orientação de Anabela Mesquita, PhD

Fiscalização de obras e vistorias técnicas no âmbito da reabilitação urbana no centro histórico do Porto

O presente trabalho enquadra-se no âmbito da unidade curricular Dissertação/Projeto/Estágio (DIPRE), do 2º ano do Mestrado em Engenharia Civil no ramo das Construções do Instituto Superior de Engenharia do Porto. O estágio foi realizado na empresa Porto Vivo, SRU- Sociedade de Reabilitação Urbana da Baixa Portuense, SA, com a duração de seis meses, com início a 24 de fevereiro de 2014 e término a 24 de agosto de 2014. O estágio obedeceu a uma carga horária de 40 horas semanais, de segunda a sexta-feira, no horário normal de expediente das 9h as 18h. Com a realização deste estágio curricular pretende-se que os alunos tenham contacto direto com a realidade de trabalho duma determinada Organização, e que após o período de estágio o aluno elabore um relatório final referente ao mesmo. Assim, o presente relatório descreve as atividades realizadas e observadas, os conhecimentos aplicados durante o estágio, bem como a apresentação e o funcionamento da empresa de acolhimento, e tratando-se de uma empresa cuja atividade profissional centra-se na reabilitação urbana será também abordada a temática da reabilitação Urbana no centro Histórico do Porto. Por último será desenvolvido um caso de estudo onde se apresenta uma metodologia possível de reabilitação proposta a um edifício.

Ensino de contabilidade geral nas instituições de ensino superior

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 da Professora Doutora Alcina Augusta de Sena Portugal Dias

Ensemble: an innovative approach to practice computer programming

Currently, the teaching-learning process in domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivery, and assessment of student exercises. The main goal of this chapter is to foster practice-based learning in complex domains. This objective is attained with an e-learning framework—called Ensemble—as a conceptual tool to organize and facilitate technical interoperability among services. The Ensemble framework is used on a specific domain: computer programming. Content issues are tacked with a standard format to describe programming exercises as learning objects. Communication is achieved with the extension of existing specifications for the interoperation with several systems typically found in an e-learning environment. In order to evaluate the acceptability of the proposed solution, an Ensemble instance was validated on a classroom experiment with encouraging results.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Combining WLAN fingerprint-based localization with sensor data for indoor navigation using mobile devices

This project proposes an approach for supporting Indoor Navigation Systems using Pedestrian Dead Reckoning-based methods and by analyzing motion sensor data available in most modern smartphones. Processes suggested in this investigation are able to calculate the distance traveled by a user while he or she is walking. WLAN fingerprint- based navigation systems benefit from the processes followed in this research and results achieved to reduce its workload and improve its positioning estimations.

Enhancement of an implemented rating model and impact on existing risk management processes: A hands-on approach from financial supplier risk management within the automotive industry

The purpose of this paper is to conduct a methodical drawback analysis of a financial supplier risk management approach which is currently implemented in the automotive industry. Based on identified methodical flaws, the risk assessment model is further developed by introducing a malus system which incorporates hidden risks into the model and by revising the derivation of the most central risk measure in the current model. Both methodical changes lead to significant enhancements in terms of risk assessment accuracy, supplier identification and workload efficiency.

Donations of non-financial resources: The motivation and consequences of measuring and accounting for it

This thesis focus on the measurement and accounting of contributions received by nonprofit organizations, as they are a significant component of revenues nowadays. A survey was developed and forward to 38 different NPOs, with the goal of understanding their motivations and what advantages and disadvantages they believe would result if they start to measure and account for all kinds of contributions. They presented many advantages from this practice; however, some are not doing it due to the difficulties in valuing contributions with no market value which would require a higher workload, waste of resources and time to be taken from other important activities.

Social freezing in Switzerland and worldwide--a blessing for women today?

This is a critical review of the medical, ethical, judicial and financial aspects of the so called "social freezing", the cryopreservation of a woman's oocytes for non-medical purposes. The possibility of storing the eggs of fertile women in order to prevent age-related fertility decline is being widely promoted by fertility centres and the lay press throughout the world. Research data has shown that social freezing should ideally be performed on women around 25 years of age in order to increase their chances of a future pregnancy. In reality, it is mostly performed after the age of 35. Unfortunately, social freezing is in general not a solution for the underlying societal problems to fit in with professionally active women and having children. It only delays the existing problems. Furthermore, it creates a lot of potential new problems. A great deal more should be undertaken to offer real solutions to the underlying societal problems which are in part: pre-school education, care in the event of childhood illness, and the many weeks of school holidays, acceptance of professionally active women having children, and more job offers with a workload <100%.). Furthermore, society should be informed about the decreasing chances of pregnancy with increasing maternal (and paternal) age as well as the increasing risks of miscarriage and obstetric/neonatal complications. Detailed information for woman considering social freezing is crucial. Every doctor, proposing social freezing to his patients, should be up to date with all these details. Follow-up studies on the outcome of these children are needed.