Estudo geomecânico do Túnel do Cortado na Ilha da Madeira

O presente trabalho pretende contribuir para o aprofundamento do conhecimento geológico e geotécnico das formações vulcânicas da Ilha da Madeira, com especial destaque para os parâmetros geomecânicos obtidos através de retroanálise, tendo por base as leituras em obra do Túnel do Cortado (Faial, Santana; Madeira). Assim, o trabalho incide inicialmente sobre os túneis rodoviários na Ilha, com principal atenção nas características das suas secções transversais e emboquilhamentos. Segue-se um levantamento de todos os túneis construídos entre os anos de 1990 e 2013. Uma vez terminada esta apresentação, é feita uma caracterização geológica-geotécnica dos maciços da região, com especial atenção para as zonas geotécnicas afetas ao túnel em questão. São ainda abordadas metodologias de classificações geomecânicas, de retroanálise e modelação computacional. Segue-se um processo de retroanálise através do qual foram gerados vários modelos por forma a efetuar uma análise bidimensional das secções do túnel, onde se procurou estabelecer uma relação entre as leituras de obra e os parâmetros de resistência e deformabilidade do maciço em questão. Por fim, os resultados referentes aos parâmetros de resistência obtidos através dos modelos são analisados, procedendo-se à sua comparação com outros estudos existentes para a Ilha.

IP network usage accounting

De modo a manter políticas de utilização aceitável dos seus serviços de Internet, a NOS Madeira tem usado um sistema de fabrico próprio onde os clientes são catalogados de acordo com o tráfego que realizam. Contudo, esse sistema tornou-se demasiado antigo para as necessidades atuais da empresa. Usava tecnologias descontinuadas, não tinha interfaces de integração, faltava modularidade e não tinha a flexibilidade necessária para expandir as regras de negócio. Este projeto centra-se na implementação de um dos três subsistemas que substituem o sistema antigo: o subsistema controlador. O objetivo é modernizar, facilitar a manutenção e garantir maior flexibilidade. Tudo isto com recurso a linguagens de programação atuais como o PHP, ferramentas como a Zend Framework e mantendo em mente as melhores práticas de programação. São apresentados a especificação e modelação do sistema, assim como todos os detalhes da implementação em conjunto com as decisões e problemas encontrados. Os testes e resultados, incluindo a entrada com sucesso em produção do sistema, juntamente com sugestões de melhorias futuras concluem este trabalho.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.