Dynamic programming for a Markov-switching jump–diffusion

We consider an optimal control problem with a deterministic finite horizon and state variable dynamics given by a Markov-switching jump–diffusion stochastic differential equation. Our main results extend the dynamic programming technique to this larger family of stochastic optimal control problems. More specifically, we provide a detailed proof of Bellman’s optimality principle (or dynamic programming principle) and obtain the corresponding Hamilton–Jacobi–Belman equation, which turns out to be a partial integro-differential equation due to the extra terms arising from the Lévy process and the Markov process. As an application of our results, we study a finite horizon consumption– investment problem for a jump–diffusion financial market consisting of one risk-free asset and one risky asset whose coefficients are assumed to depend on the state of a continuous time finite state Markov process. We provide a detailed study of the optimal strategies for this problem, for the economically relevant families of power utilities and logarithmic utilities.

Aplicação de software CAD/CAE na concepção de ferramentas de estampagem – um estudo de caso

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Mecânica

Software languages engineering: experimental evaluation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Dynamic cluster scheduling for cluster-tree WSNs

While Cluster-Tree network topologies look promising for WSN applications with timeliness and energy-efficiency requirements, we are yet to witness its adoption in commercial and academic solutions. One of the arguments that hinder the use of these topologies concerns the lack of flexibility in adapting to changes in the network, such as in traffic flows. This paper presents a solution to enable these networks with the ability to self-adapt their clusters’ duty-cycle and scheduling, to provide increased quality of service to multiple traffic flows. Importantly, our approach enables a network to change its cluster scheduling without requiring long inaccessibility times or the re-association of the nodes. We show how to apply our methodology to the case of IEEE 802.15.4/ZigBee cluster-tree WSNs without significant changes to the protocol. Finally, we analyze and demonstrate the validity of our methodology through a comprehensive simulation and experimental validation using commercially available technology on a Structural Health Monitoring application scenario.

Simple and stable dynamic traffic engineering for provider scale ethernet

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Análise e avaliação da interacção dos utilizadores com um software de gestão de empresas

Dissertação apresentada no âmbito do Mestrado em Engenharia Informática na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Using dynamic reconfiguration to reduce the area of a JPEG decoder on FPGA

Partial dynamic reconfiguration of FPGAs can be used to implement complex applications using the concept of virtual hardware. In this work we have used partial dynamic reconfiguration to implement a JPEG decoder with reduced area. The image decoding process was adapted to be implemented on the FPGA fabric using this technique. The architecture was tested in a low cost ZYNQ-7020 FPGA that supports dynamic reconfiguration. The results show that the proposed solution needs only 40% of the resources utilized by a static implementation. The performance of the dynamic solution is about 9X slower than the static solution by trading-off internal resources of the FPGA. A throughput of 7 images per second is achievable with the proposed partial dynamic reconfiguration solution.

Maintenance of fire sprinkler systems based on the dynamic assessment of its condition

Safety is one of the major concerns of process safety engineers in most industrial facilities all over the world. To this scope, some events play an important role once the effect of their consequences can be assumed as totally undesirable. One of these events refers to the occurrence of a fire. Such event can result in catastrophic consequences for life, equipment, and continuity of activities or even leading to environmental damage. A fire protection equipment with low reliability means that this equipment are often unavailable and thus the risk of a fire increases. Maintenance of fire protection equipment is very important because this kind of systems is mostly in a dormant mode, which gives uncertainty about their operability when demanded in a real situation of fire. This article outlines the importance of tests, inspection, and maintenance operations in the context of a fire sprinkler system and proposes a methodology based on international standards and supported by test/inspection reports to correct the frequency of these actions according to the level of degradation of the components and regarding safety purposes. © 2015 American Institute of Chemical Engineers.

Modelação do comportamento dinâmico de sistemas barragem-fundação-albufeira: análise sísmica de uma barragem de abóbadas múltiplas

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de cooperação entre o ISEL e o LNEC

Dynamic Analysis and Pattern Visualization of Forest Fires

This paper analyses forest fires in the perspective of dynamical systems. Forest fires exhibit complex correlations in size, space and time, revealing features often present in complex systems, such as the absence of a characteristic length-scale, or the emergence of long range correlations and persistent memory. This study addresses a public domain forest fires catalogue, containing information of events for Portugal, during the period from 1980 up to 2012. The data is analysed in an annual basis, modelling the occurrences as sequences of Dirac impulses with amplitude proportional to the burnt area. First, we consider mutual information to correlate annual patterns. We use visualization trees, generated by hierarchical clustering algorithms, in order to compare and to extract relationships among the data. Second, we adopt the Multidimensional Scaling (MDS) visualization tool. MDS generates maps where each object corresponds to a point. Objects that are perceived to be similar to each other are placed on the map forming clusters. The results are analysed in order to extract relationships among the data and to identify forest fire patterns.

Fractional order modelling of dynamic backlash

This paper studies the dynamical properties of systems with backlash and impact phenomena. This type of non-linearity can be tackled in the perspective of the fractional calculus theory. Fractional and integer order models are compared and their influence upon the emerging dynamics is analysed. It is demonstrated that fractional models can memorize dynamical effects due to multiple micro-collisions.

Desenvolvimento de um Controlador de Boundary Scan (Ieee 1149.1)

Mestrado em Engenharia Electrotécnica e de Computadores - Área de Especialização em Automação e Sistemas

Análise numérica e experimental de um modelo dinâmico da ponte ferroviária de Antuã

Mestrado em Engenharia Civil – Ramo Estruturas

Implementação de um sistema de informação geográfica numa autarquia utilizando software livre e de código aberto

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica.

A atividade dos estabilizadores da omoplata e movimento compensatório do tronco no gesto de alcance em indivíduos pós AVE

Introdução: Lesões como o AVE interferem com a capacidade de recrutar níveis adequados de atividade muscular, podendo levar ao aparecimento de movimentos compensatórios como a excessiva translação anterior do tronco, associada ao gesto de alcance. Objetivos: Descrever a relação entre a atividade dos estabilizadores da omoplata e o movimento compensatório do tronco no gesto de alcance, em 4 indivíduos pós AVE. Pretendeu-se também analisar o papel dos estabilizadores da omoplata na função do membro superior. Métodos: Quatro indivíduos com diagnóstico de AVE, que apresentavam alterações no nível de actividade dos estabilizadores da omoplata contralesional, foram sujeitos a uma avaliação realizada em três momentos, antes (M0), durante (M1) e após (M2) e a um período de intervenção, segundo os princípios do Conceito de Bobath. Recorreu-se à electromiografia de superfície para avaliar a atividade e o timming dos músculos grande dorsal, trapézio superior e trapézio inferior do hemicorpo contralesional e ao software de Avaliação Postural (SAPO) para analisar o deslocamento do tronco no sentido anterior, associados à realização do gesto de alcance. Foram aplicadas as escalas RPS e MESUPES para avaliar as componentes de movimento do gesto de alcance e a função do membro superior, respetivamente. Recorreu-se ao registo fotográfico para análise dos componentes de movimento na posição de sentado e em pé.Resultados: Os dados eletromiográficos registam atividade dos estabilizadores da omoplata unicamente num indivíduo em M2. A análise do deslocamento anterior do tronco revela melhorias em M1 em todos os indivíduos, sendo que em M2 essa evolução positiva não foi observada em três dos participantes. Entre M0 e M2, na escala RPS registam-se melhorias de 7 a 9 pontos no alvo próximo e de 5 a 10 pontos no alvo distante. Na escala MESUPES verificam-se melhorias entre 5 a 18 pontos na sub-escala braço e entre 5 a 8 pontos na sub-escala mão, em M2. A avaliação do registo fotográfico revela modificações nos componentes de movimento dos quatro indivíduos, nomeadamente na integração dos MI na base de suporte, na atividade do tronco inferior e superior e no alinhamento do MS contralesional. Conclusão: A melhoria do nível da atividade dos estabilizadores dinâmicos da omoplata sugere ter influência na diminuição do movimento compensatório do tronco no gesto de alcance e parece ter um papel na melhoria da eficácia distal do MS do mesmo lado.