Aplicação de princípios e ferramentas Lean numa empresa de produção de cablagens

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Utilização de modelos de simulação para a melhoria de um sistema de restauração: estudo de caso de uma cantina universitária

Dissertação de mestrado em Engenharia Industrial

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Improving buildings energy performance: comparison between simple payback period and life cycle costs analysis

The building sector is one of the Europeâ s main energy consumer, making buildings an important target for a wiser energy use, improving indoor comfort conditions and reducing the energy consumption. To achieve the European Union targets for energy consumption and carbon reductions it is crucial to act in new, but also in existing buildings, which constitute the majority of the building stock. In existing buildings, the significant improvement of their efficiency requires important investments. Therefore, costs are a major concern in the decision making process and the analysis of the cost effectiveness of the interventions is an important path in the guidance for the selection of the different renovation scenarios. The Portuguese thermal legislation considers the simple payback method for the calculations of the time for the return of the investment. However, this method does not take into consideration inflation, cash flows and cost of capital, as well as the future costs of energy and the building elements lifetime as it happens in a life cycle cost analysis. In order to understand the impact of the economic analysis method used in the choice of the renovation measures, a case study has been analysed using simple payback calculations and life cycle costs analysis. Overall results show that less far-reaching renovation measures are indicated when using the simple payback calculations which may be leading to solutions less cost-effective in a long run perspective.

Melhoria do processo de tingimento numa empresa têxtil

Dissertação de mestrado em Engenharia e Gestão da Qualidade

Financiamento bancário e o desempenho das empresas em portugal: qual a relação?

Dissertação de mestrado em Economia Monetária, Bancária e Financeira