Análise da qualidade das águas, Funchal

No âmbito do conceito de sustentabilidade dos recursos hídricos, foi realizado um estudo para avaliar o estado qualitativo das águas superficiais e subterrâneas de uma área em particular, mais concretamente o concelho do Funchal. Inicialmente, fez-se uma caracterização da região hidrográfica em estudo onde se incluem aspetos geográficos, climáticos, hidrológicos, geomorfológicos e socioecónomicos. Posteriormente, realizou-se uma apresentação gráfica de análises temporais efetuadas a parâmetros biológicos, físico-químicos e microbiológicos às águas superficiais e subterrâneas da região em estudo. Por fim, apresenta-se e propõe-se uma vasta lista de objetivos a manter ou alcançar nos próximos anos, onde se incluem ações prioritárias e recomendações visando, não só a melhoria qualitativa e quantitativa global dos recursos hídricos no concelho mas também a proteção contra poluição e riscos naturais.

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.