A apropriação indevida de ativos - A problemática do risco e sua perceção no âmbito dos planos de prevenção de riscos de corrupção e infrações conexas no Setor Público Empresarial

Mestrado em Auditoria

Gestão de risco no Sector Automóvel - O caso do grupo Soluções Automóveis Globais

Mestrado em Controlo de Gestão e dos Negócios

Supporting real-time distributed computer-controlled systems with multi-hop P-NET networks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within process control applications. Therefore, they constitute the foundation upon which real-time distributed computer-controlled systems can be implemented. P-NET is a fieldbus communication standard, which uses a virtual token-passing medium-access-control mechanism. In this paper pre-run-time schedulability conditions for supporting real-time traffic with P-NET networks are established. Essentially, formulae to evaluate the upper bound of the end-to-end communication delay in P-NET messages are provided. Using this upper bound, a feasibility test is then provided to check the timing requirements for accessing remote process variables. This paper also shows how P-NET network segmentation can significantly reduce the end-to-end communication delays for messages with stringent timing requirements.

Relatório de estágio em empresa de manutenção industrial

Trabalho Final de Mestrado para obtenção de grau de Mestre em Engenharia Mecânica na Especialidade de Manutenção e Produção

Plano de negócios para a construção de uma unidade fabril de misturas complementares

A Cooperativa Agrícola de Vila do Conde desenvolve um negócio de fabrico e comercialização de misturas complementares para alimentação bovina, sobretudo para vacas leiteiras. Há alguns anos a esta parte, esta Cooperativa sabe que terá que deslocalizar a unidade fabril existente devido a imposições da Direção Geral de Alimentação e Veterinária, relacionadas com questões de natureza ambiental. A necessidade de ser realizado um novo investimento, para garantir a sustentabilidade do negócio mais rentável gerido por esta Cooperativa, levou a pensar-se na possibilidade de construção de uma nova unidade fabril, de dimensão superior, capaz de servir outras cooperativas, visando o desejado entendimento das cooperativas em torno de um objetivo comum, logrando a obtenção de economias de escala, de extrema importância para a sobrevivência do setor leiteiro na região do Entre Douro e Minho. Para o efeito será constituída uma nova sociedade por quotas, designada por AGRIVIL XXI, Lda., de capital exclusivamente cooperativo, possibilitando que, em cada momento, se possa aferir a situação económica e financeira do negócio de forma mais rigorosa e autónoma. Esta realidade foi conducente à elaboração do presente Plano de Negócios que se espera profícuo para definição dos objetivos e metas a atingir num futuro próximo pela Cooperativa Agrícola de Vila do Conde. As análises de viabilidade e do risco do projeto demonstraram estarem criadas as condições de aceitação do mesmo, sendo expectável um VAL de 1.371.764 euros, uma TIR de 12,04% e um pay-back period próximo dos 11 anos. No entanto é notório a existência de um risco inerente ao investimento na medida em que o montante dos fluxos gerados tende a aproximar-se dos fluxos investidos, não gerando um excedente de riqueza significativo.

Seguimento de pessoas em sistemas multi-câmara

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Redes de Comunicação e Multimédia

Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems

This paper presents an architecture (Multi-μ) being implemented to study and develop software based fault tolerant mechanisms for Real-Time Systems, using the Ada language (Ada 95) and Commercial Off-The-Shelf (COTS) components. Several issues regarding fault tolerance are presented and mechanisms to achieve fault tolerance by software active replication in Ada 95 are discussed. The Multi-μ architecture, based on a specifically proposed Fault Tolerance Manager (FTManager), is then described. Finally, some considerations are made about the work being done and essential future developments.

Plano de marketing para a empresa: Salss - Importação e Comércio Lda

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Promoção do empreendedorismo nas escolas: impacto da Junior Achievement Portugal, Associação Aprender a Empreender

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Implementação de uma marca de produção e distribuição de citrinos biológicos: Orange made in Algarve

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Energy-conscious tasks partitioning onto a heterogeneous multi-core platform

Modern multicore processors for the embedded market are often heterogeneous in nature. One feature often available are multiple sleep states with varying transition cost for entering and leaving said sleep states. This research effort explores the energy efficient task-mapping on such a heterogeneous multicore platform to reduce overall energy consumption of the system. This is performed in the context of a partitioned scheduling approach and a very realistic power model, which improves over some of the simplifying assumptions often made in the state-of-the-art. The developed heuristic consists of two phases, in the first phase, tasks are allocated to minimise their active energy consumption, while the second phase trades off a higher active energy consumption for an increased ability to exploit savings through more efficient sleep states. Extensive simulations demonstrate the effectiveness of the approach.

Modeling for control design of a multi-reach water canal

This article addresses the problem of obtaining reduced complexity models of multi-reach water delivery canals that are suitable for robust and linear parameter varying (LPV) control design. In the first stage, by applying a method known from the literature, a finite dimensional rational transfer function of a priori defined order is obtained for each canal reach by linearizing the Saint-Venant equations. Then, by using block diagrams algebra, these different models are combined with linearized gate models in order to obtain the overall canal model. In what concerns the control design objectives, this approach has the advantages of providing a model with prescribed order and to quantify the high frequency uncertainty due to model approximation. A case study with a 3-reach canal is presented, and the resulting model is compared with experimental data. © 2014 IEEE.

Multi-agent Simulation of Bilateral Contracting in Competitive Electricity Markets

Traditional vertically integrated power utilities around the world have evolved from monopoly structures to open markets that promote competition among suppliers and provide consumers with a choice of services. Market forces drive the price of electricity and reduce the net cost through increased competition. Electricity can be traded in both organized markets or using forward bilateral contracts. This article focuses on bilateral contracts and describes some important features of an agent-based system for bilateral trading in competitive markets. Special attention is devoted to the negotiation process, demand response in bilateral contracting, and risk management. The article also presents a case study on forward bilateral contracting: a retailer agent and a customer agent negotiate a 24h-rate tariff. © 2014 IEEE.

Casos especiais na avaliação de empresas

Mestrado em Controlo de Gestão e dos Negócios