Fault tolerance logging-based model for deterministic systems

Fault tolerance allows a system to remain operational to some degree when some of its components fail. One of the most common fault tolerance mechanisms consists on logging the system state periodically, and recovering the system to a consistent state in the event of a failure. This paper describes a general fault tolerance logging-based mechanism, which can be layered over deterministic systems. Our proposal describes how a logging mechanism can recover the underlying system to a consistent state, even if an action or set of actions were interrupted mid-way, due to a server crash. We also propose different methods of storing the logging information, and describe how to deploy a fault tolerant master-slave cluster for information replication. We adapt our model to a previously proposed framework, which provided common relational features, like transactions with atomic, consistent, isolated and durable properties, to NoSQL database management systems.

Population genetics of C. Maenas : oceanography and larval dispersal

Decifrar a complexa interacção entre os ciclos de vida de espécies marinhas e a oceanografia revela-se fundamental para a compreensão do fluxo genético e da conectividade no meio marinho. Nas espécies marinhas com desenvolvimento indirecto o fluxo de genes entre populações depende da distância que separa as populações, bem como da interacção entre a duração do desenvolvimento larvar, do comportamento das larvas e dos padrões de circulação oceânica. A conectividade larvar influencia uma variedade de processos como a dinâmica de stocks e de populações, a distribuição e limites geográficos das espécies, a estrutura genética das populações e a dispersão de espécies invasivas e reveste-se consequentemente de uma importância fundamental na identificação das unidades populacionais evolucionariamente relevantes e para a gestão e conservação marinhas. Os marcadores genéticos e os Modelos Individuais Acoplados a Modelos Físico-Biológicos (“ICPBMs”) são actualmente ferramentas fundamentais para o estudo dos padrões de dispersão larvar e para avaliar o nível de conectividade populacional. A presente tese respeita à avaliação das escalas espaciais de conectividade de populações de uma espécie costeira, o caranguejo Carcinus maenas, e utiliza conjuntamente informação de marcadores genéticos, análise de séries temporais de fornecimento de larvas e um modelo numérico de circulação oceânica. O primeiro capítulo introduz a temática da conectividade em espécies marinhas e inclui algumas referências aos métodos moleculares, analíticos e de modelação seguidos ao longo da tese. Através da utilização de múltiplas ferramentas – avaliação da estrutura genética geográfica de C. maenas na sua distribuição nativa com recurso a marcadores de DNA (microssatélites) (Capítulo 2), avaliação da estrutura genética temporal das larvas que formam os eventos de fornecimento larvar à Ria de Aveiro, NW Portugal (Capítulo 3), descrição da variabilidade inter-anual do fornecimento larvar à Ria de Aveiro, NW Portugal (Capítulo 4) e validação de um modelo ICPBM que descreve os padrões observados de fornecimento (Capítulo 5) – esta tese espera poder contribuir para uma melhor compreensão dos mecanismos que regulam o fluxo de genes e a conectividade entre populações de organismos marinhos. No Capítulo 6 são apresentadas as principais conclusões da investigação. A análise genética com recurso a microssatélites indicou que as populações de C. maenas são geneticamente homogéneas ao longo de várias centenas de km, dentro da distribuição nativa da espécie. Paralelamente, não foram encontrados indícios da existência de reprodução por “sweepstakes” em C. maenas de populações da costa oeste da Península Ibérica, visto que não se obtiveram diferenças genéticas significativas entre os eventos larvares. Também não se encontrou qualquer estrutura familiar entre as larvas que formam cada episódio de fornecimento, e não houve nenhuma redução significativa da variabilidade genética das larvas quando comparada com a de caranguejos adultos. A análise de séries temporais de suprimento de larvas na Ria de Aveiro em cinco anos estudados indica que este é um fenómeno episódico e variável, sendo os maiores episódios de fornecimento coincidentes com as marés vivas e acentuados por fortes ventos de sul. O modelo ICPBM foi validado com sucesso e parece fornecer uma estimativa realística das escalas espaciais e temporais de dispersão larvar, de acordo com as observações da estrutura genética e da ausência de reprodução por “sweepstake” em C. maenas da costa oeste da Península Ibérica

Mercury (II) removal from aqueous solutions by microporous materials

O Mercúrio é um dos metais pesados mais tóxicos existentes no meio ambiente, é persistente e caracteriza-se por bioamplificar e bioacumular ao longo da cadeia trófica. A poluição com mercúrio é um problema à escala global devido à combinação de emissões naturais e emissões antropogénicas, o que obriga a políticas ambientais mais restritivas sobre a descarga de metais pesados. Consequentemente o desenvolvimento de novos e eficientes materiais e de novas tecnologias para remover mercúrio de efluentes é necessário e urgente. Neste contexto, alguns materiais microporosos provenientes de duas famílias, titanossilicatos e zirconossilicatos, foram investigados com o objectivo de avaliar a sua capacidade para remover iões Hg2+ de soluções aquosas. De um modo geral, quase todos os materiais estudados apresentaram elevadas percentagens de remoção, confirmando que são bons permutadores iónicos e que têm capacidade para serem utilizados como agentes descontaminantes. O titanossilicato ETS-4 foi o material mais estudado devido à sua elevada eficiência de remoção (>98%), aliada à pequena quantidade de massa necessária para atingir essa elevada percentagem de remoção. Com apenas 4 mg⋅dm-3 de ETS-4 foi possível tratar uma solução com uma concentração igual ao valor máximo admissível para descargas de efluentes em cursos de água (50 μg⋅dm-3) e obter água com qualidade para consumo humano (<1.0 μg⋅dm-3), de acordo com a legislação Portuguesa (DL 236/98). Tal como para outros adsorbentes, a capacidade de remoção de Hg2+ do ETS- 4 depende de várias condições experimentais, tais como o tempo de contacto, a massa, a concentração inicial de mercúrio, o pH e a temperatura. Do ponto de vista industrial as condições óptimas para a aplicação do ETS-4 são bastante atractivas, uma vez que não requerem grandes quantidades de material e o tratamento da solução pode ser feito à temperatura ambiente. A aplicação do ETS-4 torna-se ainda mais interessante no caso de efluentes hospitalares, de processos de electro-deposição com níquel, metalúrgica, extracção de minérios, especialmente ouro, e indústrias de fabrico de cloro e soda cáustica, uma vez que estes efluentes apresentam valores de pH semelhantes ao valor de pH óptimo para a aplicação do ETS-4. A cinética do processo de troca iónica é bem descrita pelo modelo Nernst-Planck, enquanto que os dados de equilíbrio são bem ajustados pelas isotérmicas de Langmuir e de Freundlich. Os parâmetros termodinâmicos, ΔG° and ΔH° indicam que a remoção de Hg2+ pelo ETS-4 é um processo espontâneo e exotérmico. A elevada eficiência do ETS-4 é confirmada pelos valores da capacidade de remoção de outros materiais para os iões Hg2+, descritos na literatura. A utilização de coluna de ETS-4 preparada no nosso laboratório, para a remoção em contínuo de Hg2+ confirma que este material apresenta um grande potencial para ser utilizado no tratamento de águas. ABSTRACT: Mercury is one of the most toxic heavy metals, exhibiting a persistent character in the environment and biota as well as bioamplification and bioaccumulation along the food chain. Natural inputs combined with the global anthropogenic sources make mercury pollution a planetary-scale problem, and strict environmental policies on metal discharges have been enforced. The development of efficient new materials and clean-up technologies for removing mercury from effluents is, thus, timely. In this context, in my study, several microporous materials from two families, titanosilicates and zirconosilicates were investigated in order to assess their Hg2+ sorption capacity and removal efficiency, under different operating conditions. In general, almost all microporous materials studied exhibited high removal efficiencies, confirming that they are good ion exchangers and have potential to be used as Hg2+ decontaminant agents. Titanosilicate ETS-4 was the material most studied here, by its highest removal efficiency (>98%) and lowest mass necessary to attain it. Moreover, according with the Portuguese legislation (DL 236/98) it is possible to attain drinking water quality (i.e. [Hg2+]< 1.0 μg⋅dm-3) by treating a solution with a Hg2+ concentration equal to the maximum value admissible for effluents discharges into water bodies (50 μg⋅dm-3), using only 4 mg⋅dm-3 of ETS-4. Even in the presence of major freshwater cations, ETS-4 removal efficiency remains high. Like for other adsorbents, the sorption capacity of ETS-4 for Hg2+ ions is strongly dependent on the operating conditions, such as contact time, mass, initial Hg2+ concentration and solution pH and, to a lesser extent, temperature. The optimum operating conditions found for ETS-4 are very attractive from the industrial point of view because the application of ETS-4 for the treatment of wastewater and/or industrial effluents will not require larges amounts of adsorbent, neither energy supply for temperature adjustments becoming the removal process economically competitive. These conditions become even more interesting in the case of medical institutions liquid, nickel electroplating process, copper smelter, gold ore tailings and chlor-alkali effluents, since no significant pH adjustments to the effluent are necessary. The ion exchange kinetics of Hg2+ uptake is successfully described by the Nernst-Planck based model, while the ion exchange equilibrium is well fitted by both Langmuir and Freundlich isotherms. Moreover, the feasibility of the removal process was confirmed by the thermodynamic parameters (ΔG° and ΔH°) which indicate that the Hg2+ sorption by ETS-4 is spontaneous and exothermic. The higher efficiency of ETS-4 for Hg2+ ions is corroborate by the values reported in literature for the sorption capacity of other adsorbents for Hg2+ ions. The use of an ETS-4 fixed-bed ion exchange column, manufactured in our laboratory, in the continuous removal of Hg2+ ions from solutions confirms that this titanosilicate has potential to be used in industrial water treatment.

Caracterização de novas membranas de titanossilicatos microporosos por ensaios de permeabilidade

O interesse crescente das membranas inorgânicas deve-se à potencial aplicação em novas áreas de investigação e da indústria, e em alternativa a operações mais convencionais. Em particular, as membranas de titanossilicatos oferecem vantagens importantes sobre as de zeólitos, pois podem ser sintetizadas sem agentes estruturantes orgânicos, para evitar a calcinação subsequente usualmente responsável por defeitos irreversíveis, exibem novas possibilidades de substituição isomórfica da matriz, permitindo um ajuste mais fino das propriedades catalíticas e de adsorção, e são capazes de separar misturas com base em diferenças de afinidade e tamanho molecular (efeito de peneiro). Os objectivos principais deste trabalho foram: i) a caracterização dinâmica de membranas do tipo zeolítico sintetizadas no Laboratório Associado CICECO, realizando-se experiências de permeação com gases puros e misturas; ii) o desenvolvimento e validação de novos modelos para a transferência de massa multicomponente através de membranas porosas pela abordagem de Maxwell-Stefan, tendo em conta os mecanismos específicos encontrados, particularmente a contribuição por difusão superficial; e iii) a modelação dos pontos experimentais medidos, bem como dados compilados da literatura. De forma a realizar os ensaios de permeação, desenhou-se, montou-se e testou-se uma instalação experimental. Para gases puros, os objectivos principais foram a medição de permeâncias a temperatura constante, por variação da pressão transmembranar r ( ΔP ), e de permeâncias a temperatura programada, conduzidas a ΔP constante. Seguidamente, calcularam-se as selectividades ideais. Em relação a misturas, a determinação de selectividades reais requer as fracções molares no permeado e no retido. Na globalidade, estudaram-se três suportes diferentes (aço inoxidável e α − alumina) e dezanove membranas de AM-3, ETS-10, ZSM-5 e zeólito 4A, utilizando-se H2, He, N2, CO2, e O2. A primeira avaliação exploratória da qualidade das membranas foi feita permeando azoto à temperatura ambiente. Assim, permeâncias superiores a 10−6 mol/m2s.Pa evidenciavam defeitos grosseiros, levando-nos a efectuar cristalizações adicionais sobre as primeiras camadas. Este procedimento foi implementado com oito membranas. Um trabalho experimental mais detalhado foi conduzido com cinco membranas. Membranas com curvas permeância-temperatura ( Π −T ) decrescentes indicam tipicamente transporte viscoso e de Knudsen, i.e. meso e macrodefeitos. Por exemplo, a membrana nº 3 de AM-3 exibiu este comportamento com H2, He, N2 e CO2 puros. A contribuição de Knudsen foi confirmada pela relação linear encontrada entre as permeâncias e o inverso da raiz quadrada da massa molar. O mecanismo viscoso foi também identificado, pois as permeâncias eram inversamente proporcionais à viscosidade do gás ou, atendendo a equações do tipo de Chapman-Enskog, directamente proporcionais a 2 0.5 k d M (onde k d é o diâmetro cinético e M a massa molar). Um comportamento de permeação distinto observou-se com a membrana nº 5 de AM-3. As permeâncias registadas a temperatura programada eram aproximadamente constantes para o N2, CO2 e O2, enquanto com o H2 cresciam significativamente. Conjuntamente elas evidenciam a ocorrência de macro, meso e microdefeitos intercristalinos. O transporte gasoso activado através dos microporos compensa o impacto diminuidor dos meso e macroporos. Ao contrário do N2, CO2 e O2, o pequeno diâmetro do hidrogénio torna-lhe possível permear através dos microporos intracristalinos, o que lhe adiciona um mecanismo de transferência responsável por esse crescimento. No que respeita à difusão superficial, o sistema CO2/ZSM-5 pode ser tomado como um exemplo paradigmático. Uma vez que este zeólito adsorve o CO2, as permeâncias diminuem com o crescimento de ΔP , em virtude de as concentrações no sólido aumentarem de forma não linear e tenderem para a saturação. Os resultados contrastantes obtidos com azoto realçam ainda mais o mecanismo superficial, pois o N2 não é adsorvido e as permeâncias medidas são constantes. Globalmente, as selectividades ideais calculadas ( α* ) variam de cerca de 1 a 4.2. Este parâmetro foi também utilizado para discriminar as melhores membranas, uma vez que baixos valores de α* denotam o escoamento viscoso não-selectivo típico de macrodefeitos. Por exemplo, o H2/CO2 na membrana nº 3 de AM-3 apresentou α* = 3.6 − 4.2 para 40–120ºC, enquanto que na membrana nº 5 de AM-3 originou α* = 2.6 − 3.1. Estes resultados corroboraram as observações anteriores, segundo as quais a membrana nº 5 era melhor do que a nº 3. Alguns ensaios foram realizados com membranas saturadas com água para aumentar a selectividade: as medições mostraram claramente uma melhoria inicial seguida de uma redução consistente de α* com o aumento da temperatura, devido à remoção das moléculas de água responsáveis pela obstrução de alguns poros. Em relação às selectividades reais de misturas contendo hidrogénio, devem ser realizadas mais experiências e a quantificação do hidrogénio deve ser melhorada. No que concerne à modelação, novos factores termodinâmicos de Maxwell- Stefan foram derivados para as isotérmicas mono e multicomponente de Nitta, Langmuir-Freundlich e Toth, tendo sido testadas com dados de equilíbrio e de permeação da literatura. (É importante realçar que só estão publicadas equações para Langmuir e Dual-Site Langmuir de componentes puros e misturas). O procedimento de validação adoptado foi exigente: i) as isotérmicas multicomponente foram previstas a partir das de gás puro; ii) os parâmetros de difusão dos componentes puros foram ajustados a dados de permeação de cada gás; iii) depois, as difusividades cruzadas de Maxwell- Stefan foram estimadas pela relação de Vignes; finalmente, v) as novas equações foram testadas usando-se estes parâmetros, tendo sido capazes de estimar com sucesso fluxos binários. Paralelamente ao enfoque principal do trabalho, derivou-se um novo modelo para permuta iónica em materiais microporosos baseado nas equações de Maxwell-Stefan. Este foi validado com dados experimentais de remoção de Hg2+ e Cd2+ de soluções aquosas usando ETS-4. A sua capacidade preditiva foi também avaliada, sendo possível concluir que se comporta muito bem. Com efeito, conseguiram-se boas previsões com parâmetros optimizados a partir de conjuntos de dados independentes. Este comportamento pode ser atribuído aos princípios físicos sólidos da teoria de Maxwell-Stefan.

Interacting agents on complex networks and stochastic processes in them

Nas últimas décadas, um grande número de processos têm sido descritos em termos de redes complexas. A teoria de redes complexas vem sendo utilizada com sucesso para descrever, modelar e caracterizar sistemas naturais, artificias e sociais, tais como ecossistemas, interações entre proteínas, a Internet, WWW, até mesmo as relações interpessoais na sociedade. Nesta tese de doutoramento apresentamos alguns modelos de agentes interagentes em redes complexas. Inicialmente, apresentamos uma breve introdução histórica (Capítulo 1), seguida de algumas noções básicas sobre redes complexas (Capítulo 2) e de alguns trabalhos e modelos mais relevantes a esta tese de doutoramento (Capítulo 3). Apresentamos, no Capítulo 4, o estudo de um modelo de dinâmica de opiniões, onde busca-se o consenso entre os agentes em uma população, seguido do estudo da evolução de agentes interagentes em um processo de ramificação espacialmente definido (Capítulo 5). No Capítulo 6 apresentamos um modelo de otimização de fluxos em rede e um estudo do surgimento de redes livres de escala a partir de um processo de otimização . Finalmente, no Capítulo 7, apresentamos nossas conclusões e perspectivas futuras.