Manual de procedimentos: gestão do imobilizado

Trabalho de Projecto para a obtenção do Grau de Mestre em Contabilidade e Finanças Orientador: Mestre Armindo Licínio da Silva Macedo

Hybrid fuzzy Monte Carlo technique for reliability assessment in transmission power systems

This paper proposes a new methodology to reduce the probability of occurring states that cause load curtailment, while minimizing the involved costs to achieve that reduction. The methodology is supported by a hybrid method based on Fuzzy Set and Monte Carlo Simulation to catch both randomness and fuzziness of component outage parameters of transmission power system. The novelty of this research work consists in proposing two fundamentals approaches: 1) a global steady approach which deals with building the model of a faulted transmission power system aiming at minimizing the unavailability corresponding to each faulted component in transmission power system. This, results in the minimal global cost investment for the faulted components in a system states sample of the transmission network; 2) a dynamic iterative approach that checks individually the investment’s effect on the transmission network. A case study using the Reliability Test System (RTS) 1996 IEEE 24 Buses is presented to illustrate in detail the application of the proposed methodology.

Pronoun-dropping or zero anaphora in translation from german into portuguese

In this article I will analyse anaphoric references in German texts and their transaltion into Portuguese. I will take as main corpus Heinrich Böll's novel Haus ohne Hüter and its translation into Portuguese by Jorge Rosa with the title Casa Indefesa. I will concentrate on the use of personal pronouns and possessives in references to both people and objects in source text and target text and I will present patterns of symmetries and asymmetries. I will claim that asymmetries in the translation of such anaphoric references can be accounted for mainly by differences in the pronominal systems and verbal systems of both languages and by differences in the way each language marks theme/topic continuity/discontinuity in discourse. Issues related to style and the translation of anaphors will also be addressed. I will finally raise some questions related to ambiguous references which can not be solved within the scope of syntax or semantics, thus requiring pragmatic interpretation based on cultural knowledge/world knowledge.

Maximizing contention-free executions in multiprocessor scheduling

It is widely assumed that scheduling real-time tasks becomes more difficult as their deadlines get shorter. With deadlines shorter, however, tasks potentially compete less with each other for processors, and this could produce more contention-free slots at which the number of competing tasks is smaller than or equal to the number of available processors. This paper presents a policy (called CF policy) that utilizes such contention-free slots effectively. This policy can be employed by any work-conserving, preemptive scheduling algorithm, and we show that any algorithm extended with this policy dominates the original algorithm in terms of schedulability. We also present improved schedulability tests for algorithms that employ this policy, based on the observation that interference from tasks is reduced when their executions are postponed to contention-free slots. Finally, using the properties of the CF policy, we derive a counter-intuitive claim that shortening of task deadlines can help improve schedulability of task systems. We present heuristics that effectively reduce task deadlines for better scheduability without performing any exhaustive search.

Modelação e previsão de vendas no setor do retalho de calçado

Dissertação apresentada ao Instituto Politécnico do Porto para obtenção do Grau de Mestre em Logística Orientada por: Professora Doutora Patrícia Alexandra Gregório Ramos

Estudo e Acompanhamento de Projeto de Estabilidade

O trabalho foi desenvolvido na empresa Masterprojetos – soluções integradas, através da elaboração e desenvolvimento do projeto de estabilidade de um edifício de cinco pisos, em que um deles se encontra enterrado. Este edifício incorpora um bloco de habitação multifamiliar e um bloco de habitação unifamiliar e comércio. Tanto o edifício como a empresa estão localizados no Peso da Régua. O trabalho pode-se dividir em duas partes: Numa primeira parte estão descritas as funções desempenhadas e contextualizada a metodologia de trabalho. Nesta parte está ainda descrita a ferramenta de trabalho Cypecad, a qual não houve oportunidade de aprender a usar durante o meu percurso académico e desenvolveu-se capacidades de maneira autodidata. São ainda referidos alguns softwares disponíveis no mercado, para o mesmo ramo de atividade. Numa segunda parte encontram-se descritos os pressupostos considerados no pré-dimensionamento do edifício assim como os elementos utilizados para a formulação do modelo de cálculo. Estão ainda feitas algumas verificações analíticas para a validação do modelo tido em conta para o dimensionamento. Estabeleceu-se também uma comparação entre as soluções obtidas através do software Cypecad e através do cálculo analítico para uma laje maciça. No final estão descritas as conclusões que foram obtidas, das quais se salientam a atenção que é necessário ter, quando se utiliza softwares de cálculo automático, quanto à introdução de dados e soluções que se obtêm , assim como a poupança de tempo que este tipo de ferramenta proporciona. É de referir também neste ponto as oportunidades que o estágio me proporcionou, como a visita de alguns locais de obras, as atividades de medição e orçamento de obra e acompanhamento de projetos de outras especialidades como redes prediais, térmica, acústica e ITED (infra-estruturas de Telecomunicações em Edifícios).

Nonreductive physicalism and mental causation

In this work I articulate...

Análise do desempenho na administração pública com recurso a rácios financeiros

O objetivo geral deste trabalho é a Análise do Desempenho na Administração Pública com recurso a Rácios Financeiros (Caso do Município de Matosinhos). Neste estudo iremos fazer uma análise económica e financeira do Município de Matosinhos avaliando seu o desempenho nos períodos de 2011 a 2014 e também, iremos analisar alguns fatores que influenciam a estrutura de capital dos 12 Municípios de grande dimensão e o seu desempenho. Quanto à análise económica e financeira do Município de Matosinhos, os resultados mostram, que a curto prazo é possível afirmar que o Município de Matosinhos se encontra numa situação favorável em termos de liquidez, com uma boa margem de segurança, ou seja, consegue solver os compromissos a curto. Verifica-se que o Município de Matosinhos ao longo do quadriénio foi recorrendo cada vez menos a capitais alheios para conseguir financiar os seus ativos, tendência positiva em termos do equilíbrio da estrutura financeira municipal. Tentando confirmar a existência ou inexistência de uma relação entre a estrutura de capital (endividamento) e o desempenho (rendibilidade do ativo) com os fatores que as influenciam, foi realizada uma análise de correlação não paramétrica de Spearman com recurso ao SPSS versão 21. Ao contrário da hipótese formulada e das conclusões chegadas em grande parte dos estudos efetuados, verifica-se a existência de uma relação negativa a um nível de significância de 5%, entre o nível de endividamento e a dimensão do Município. Quanto a relação o entre o endividamento com composição do ativo e a rendibilidade do ativo, os resultados não são satisfatórios, mostram uma inexistência da relação entre o endividamento e esses fatores. Verifica-se uma correlação positiva para um nível de significância de 1% entre a rendibilidade do ativo e crescimento, ou seja, os Municípios com maior taxa de crescimento apresentam uma maior rendibilidade do ativo. Este resultado confirma-se a nossa hipótese 4. Porém, em relação a associação positiva entre a rendibilidade do Município e a sua dimensão, os resultados evidenciaram uma inexistência de qualquer relação entre as variáveis.