Development of membranes for purification of liquid effluents from stainless steel pickling

Este trabalho foi desenvolvido no âmbito de um projecto europeu intitulado: “Operational demonstration of innovative and sustainable nitrate elimination in stainless steel pickling by higher power biological denitrification technique” Projecto RESP-CT-2007-00047, tendo em vista o desenvolvimento de membranas para o tratamento de efluente resultante da decapagem do aço inox. Numa fase inicial foram desenvolvidas membranas compostas assimétricas pelo método de polimerização interfacial. Estas membranas foram produzidas utilizando uma membrana comercial de suporte em polietersulfona e os filmes selectivos de poliamiada foram formados por reacção entre 1,3,5-tri(clorocarboni)benzeno (TMC) e várias dinaminas: piperazina (PIP), N-(2-aminoetil)-piperazina (EAP), 1,4-bis(3-aminopropil)-piperazina (DAPP), 6-metil-1,3,5 triazina-2,4 diamina (MTC), Isoforodiamina (IPD) e Dietilenetriamina (DET). A elaboração de membranas de TFC (thin film composite) tinha como objectivo a retenção de sais do efluente resultante da decapagem do aço inox. No entanto, chegou-se a conclusão de que o principal problema do efluente não era a retenção dos sais, mas sim a retenção da matéria orgânica. Assim, já não era necessa´ria a produção de membranas compostas, mas apenas uma membrana suporte simples de microfiltração. Numa segunda fase procedeu-se a preparação da membrana suporte pelo método da inversão de fase, tendo-se testado vários tipos de polímeros: PVC (polyvinyl chloride), PEI (Polyetherimide) e um polímero termoplástico geral. A membrana seleccionada foi a de PEI, com base na sua permeabilidade à água destilada e ao efluente resultante das águas residuais da decapagem do aço inox. Todas as membranas elaboradas durante a realização deste trabalho foram testadas na célula de Berghof a uma pressão de 4bar e com agitação. O principal prâmetro estudado foi a permeabilidade da membrana.

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.

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013