Presença histórica “portuguesa” em Larantuka (séculos XVI e XVII) e suas implicações na contemporaneidade

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Antropologia

O fado e as artes : um século de cumplicidades e ambiguidades

Tem esta tese por objectivo a análise de um dos nossos factores identitários, o fado, ao longo de mais ou menos um século, desde a altura em que surgiu com a forma convencionalmente assumida (voz, guitarra e viola) até meados da passada centúria, numa perspectiva do seu comportamento como canção ligada à sociedade, sobretudo urbana, nos seus momentos bons e maus — e ao indivíduo, como tradução de sentimentos, mensagens de ordem política ou de crítica social, tal como aconteceria em períodos definidos, como a transição da Monarquia para a República e desta para a Ditadura Militar, que desembocaria no Estado Novo. Com letras escritas, primordialmente por poetas populares, capazes de grandes sínteses narrativas, seja do quotidiano ou dalguma eventual pequena tragédia amorosa, esta canção nascida nos bairros mais pobres da capital portuguesa, associada à prostituição e outros comportamentos considerados desviantes pela moral burguesa, levantou as mais apaixonadas contendas, pró e contra a sua sobrevivência, sobretudo durante o longo período ditatorial e até por parte do poder então vigente, por ser alegadamente desvirilizante, ao mesmo tempo que os sectores contrários ao regime, também a atacavam, argumentando que aquele dela se servia como intoxicante emblema nacionalista. Foi nossa tentativa compreender e analisar (desapaixonadamente) a forma como, afinal, algo odiado pelos extremos do espectro político, que assim concordavam em alguma coisa, concentravam as respectivas forças no ataque a uma mera manifestação artística, quando a sociedade se debatia com tantos e tão reais problemas, ao longo da segunda metade do século XIX, durante o agitado período republicano e nas décadas iniciais da ditadura salazarista. Isto ao mesmo tempo que o fado despertava o interesse de cada vez mais poetas eruditos e a sua temática, por vezes irreverente e arguta, servia de inspiração às mais diversas artes, afirmando-se como elemento popular agregador no plano interno e motivo de interesse crescente no estrangeiro.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Contratos bilaterais em mercados de energia elétrica multiagente: protocolo de rede de contratos

O setor elétrico tem assistido a mudanças profundas na sua estrutura e organização, devido à sua liberalização, o que levou a uma maior competitividade nos mercados de energia elétrica. Uma gestão eficiente dos mercados de energia torna-se cada vez mais uma prioridade devido aos riscos que estes podem apresentar, aliado à elevada volatilidade dos preços e volumes nos diferentes períodos horários (incertezas na produção e consumo). A liberalização do setor elétrico levou à criação de simuladores computacionais com o objetivo de representarem os mercados de energia e as entidades nele representados. Estes são uma ferramenta essencial no apoio e compreensão do funcionamento dos mercados. A presente dissertação tem como objetivo principal desenvolver um simulador de apoio à decisão na negociação de contratos bilaterais baseado no protocolo de rede de contratos. O simulador foi analisado e testado com recurso a um caso prático envolvendo quatro comercializadores (retalhistas) e um consumidor industrial real (fábrica KERION Ceramics) do distrito de Aveiro. Foi efetuada uma análise à fábrica com o intuito de identificar e propor mediadas de eficiência energética. Foi também simulada a negociação de um novo contrato, com vista à redução dos custos energéticos da fábrica. Os resultados obtidos permitem concluir que o simulador desenvolvido é uma ferramenta importante no apoio à negociação de contratos bilaterais e, mais importante, que o consumidor industrial KERION Ceramics pode beneficiar com a negociação de um novo contrato.

Risk of employing an evolvable production system

Nowadays manufacturing companies are facing a more challenging environment due to the unpredictability of the markets in order to survive. Enterprises need to keep innovating and deliver products with new internal or external characteristics. There are strategies and solutions, to different organisational level from strategic to operational, when technology is growing faster in operational level, more specifically in manufacturing system. This means that companies have to deal with the changes of the emergent manufacturing systems while it can be expensive and not easy to be implement. An agile manufacturing system can help to cope with the markets changeability. Evolvable Production Systems (EPS) is an emergent paradigm which aims to bring new solutions to deal with changeability. The proposed paradigm is characterised by modularity and intends to introduce high flexibility and dynamism at shop floor level through the use of the evolution of new computational devices and technology. This new approach brings to enterprises the ability to plug and unplug new devices and allowing fast reformulation of the production line without reprogramming. There is no doubt about the advantages and benefits of this emerging technology but the feasibility and applicability is still under questioned. Most researches in this area are focused on technical side, explaining the advantages of those systems while there are no sufficient works discussing the implementation risks from different perspective, including business owner. The main objective of this work is to propose a methodology and model to identify, classify and measure potential risk associated with an implementation of this emergent paradigm. To quantify the proposed comprehensive risk model, an Intelligent Decision system is developed employing Fuzzy Inference System to deal with the knowledge of experts, as there are no historical data and sufficient research on this area. The result can be the vulnerability assessment of implementing EPS technology in manufacturing companies when the focus is more on SMEs. The present dissertation used the experts’ knowledge and experiences, who were involved in FP7 project IDEAS, which is one of the leading projects in this area.