Efeito da incorporação de resíduos da indústria petrolífera na durabilidade de argamassas de reparação de estruturas de betão

Na presente dissertação, o trabalho desenvolvido teve como objetivo, a avaliação de alguns parâmetros de durabilidade de argamassas com incorporação de catalisador exausto de FCC (do inglês “Fluid Catalytic Cracking”) para serem utilizadas na reparação de estruturas de betão. O catalisador exausto de FCC é um resíduo da indústria petrolífera e o utilizado neste estudo é proveniente da refinaria da Petrogal, S.A. em Sines. A presente investigação baseou-se na preparação, e avaliação de propriedades, de duas séries distintas de argamassas: a série que se denominou “RAS” e a série que se denominou “Durabilidade”, nas quais se substituiu, parcialmente entre 5, 10 e 15%, em massa de cimento por resíduo exausto de FCC. As argamassas de ambas as séries diferenciam-se entre si, sobretudo, pela utilização de areia reativa nas argamassas da série RAS e de areia inerte no caso das argamassas da série durabilidade. Nas argamassas estudadas foram realizados ensaios no estado fresco e ensaios no estado endurecido. Os ensaios no estado fresco incluíram a determinação da consistência por espalhamento, da massa volúmica e do teor de ar. Nos ensaios no estado endurecido foram avaliadas, no caso das argamassas da série RAS a extensão da reação àlcalis-sílica e no caso das argamassas da série Durabilidade as resistências mecânicas - à flexão e à compressão, a resistência à carbonatação acelerada, o módulo de elasticidade à compressão, a absorção capilar, a permeabilidade ao oxigénio, a difusão de cloretos em regime não estacionário. O trabalho desenvolvido nesta dissertação demonstrou que a incorporação de catalisador exausto de FCC, em argamassas à base de cimento, minimiza o efeito de expansão das reações álcalis-sílica, bem como contribui para reduzir a absorção capilar e coeficiente de difusão de cloretos. No entanto, este resíduo quando incorporados em argamassas contribui para a diminuição da resistência à carbonatação acelerada e para o aumento da permeabilidade ao oxigénio.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Non-colorectal intestinal tract carcinomas in inflammatory bowel disease: results of the 3rd ECCO Pathogenesis Scientific Workshop (II)

Patients with inflammatory bowel diseases (IBD) have an excess risk of certain gastrointestinal cancers. Much work has focused on colon cancer in IBD patients, but comparatively less is known about other more rare cancers. The European Crohn's and Colitis Organization established a pathogenesis workshop to review what is known about these cancers and formulate proposals for future studies to address the most important knowledge gaps. This article reviews the current state of knowledge about small bowel adenocarcinoma, ileo-anal pouch and rectal cuff cancer, and anal/perianal fistula cancers in IBD patients.