Avaliação do comportamento dinâmico da torre sineira da Sé Catedral do Funchal

O objetivo principal deste trabalho consiste na caracterização dinâmica da Torre Sineira da Sé Catedral do Funchal. Esta caracterização tem como base o recurso a técnicas de análise experimental, e em simultâneo, a simulações numéricas. As técnicas experimentais utilizadas baseiam-se na utilização de metodologias de identificação dinâmica com base em medições da resposta estrutural provocada pela excitação ambiente, i.e. vento e tráfego. A campanha de ensaios foi realizada em cinco séries de medição com acelerômetros piezoelétricos de alta sensibilidade e recorrendo a equipamento de aquisição de dados de alto desempenho. Ao longo do trabalho são descritas as principais características dos ensaios, bem como os resultados obtidos recorrendo a técnicas de análise modal operacional, culminando na obtenção dos parâmetros modais dos principais modos de vibração da estrutura. Após o tratamento dos resultados obtidos experimentalmente, estes foram usados para calibrar um modelo numérico implementado num software comercial de elementos finitos. Este modelo tem como base técnicas de modelação correntemente utilizadas na simulação deste tipo de estruturas, bem como parâmetros plausíveis para definir o comportamento mecânico dos materiais. Posteriormente, os resultados obtidos em ambas as abordagens são diretamente comparados, tendo sido possível observar uma boa correspondência entre ambos. Esta dissertação termina com as principais conclusões e com a identificação dos principais desenvolvimentos para trabalhos futuros.

A classe de distribuições de Panjer e a modelação do risco coletivo

O principal objetivo desta dissertação é analisar a classe de distribuições de Panjer, algumas das suas extensões e a utilização destas na modelação do risco coletivo. Inicialmente, são referidos alguns momentos históricos importantes no estudo da família de distribuições de Panjer e no desenvolvimento do modelo do risco coletivo. Apresentamos também alguns artigos publicados nos últimos vinte anos sobre estas temáticas. Depois, são apresentados os conceitos e instrumentos fundamentais na construção das extensões da família de Panjer e na construção recursiva das distribuições do modelo do risco coletivo. Tais conceitos e instrumentos incluem a função geradora de probabilidades, a transformada de Laplace, a mistura e modi cação de distribuições de probabilidade. Seguidamente, são caracterizadas as distribuições discretas pertencentes à classe de Panjer, distribuições essas denominadas de distribuições de contagem básicas, de nidas a recursão de Panjer e duas suas extensões e apresentadas as distribuições pertencentes a cada uma delas. Finalmente, é apresentado o modelo do risco coletivo, designadamente o modelo composto das indemnizações agregadas, cujas distribuições, neste caso, são construídas através do método recursivo. São também expostos dois métodos de construção de distribuições aritméticas. A dissertação termina com a dedução de alguns modelos particulares para o risco coletivo, obtidos com o auxílio dos programas informáticos Mathematica e R.

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.