Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Estudo da eficiência da ETAR da zona industrial da AutoEuropa por análise biológica

No tratamento de águas residuais por lamas activadas, existem diferentes populações de protozoários e metazoários que se podem desenvolver durante o processo. A sua presença é fundamental para o bom desempenho da ETAR. Além de reduzirem a turvação do efluente final, estimulam o crescimento bacteriano, promovem a floculação e algumas espécies reduzem a poluição. É possível estabelecer uma estreita relação entre a predominância de determinadas espécies ou grupos de espécies, com parâmetros operacionais da ETAR, tais como os índices bióticos. Este procedimento requer a identificação e enumeração das diferentes espécies. No entanto, existem outros métodos, que apresentam relações entre a abundância de uma dada espécie ou grupo e os parâmetros da estação. O presente trabalho tem como objectivos: avaliar o funcionamento do sistema de tratamento de lamas activadas através da observação microscópica de protozoários e metazoários, identificação e contagem das espécies relevantes; estabelecer relações entre os organismos que contribuem para o processo de depuração de águas residuais e as condições de operação, como parâmetros físicoquímicos ou o desempenho da ETAR; e produzir uma ferramenta de apoio à gestão da ETAR, baseada em princípios biológicos. Pretende-se, ainda, contribuir e incentivar para a adopção de metodologias semelhantes em outros sistemas de lamas activadas em funcionamento no nosso País. Em termos metodológicos, a colheita de amostras foi realizada semanalmente na ETAR da ZIA durante dois meses e meio. Os parâmetros operacionais e físico-químicos foram obtidos junto da ETAR. A análise biológica foi efectuada por microscopia óptica. Avaliou-se qualitativa e quantitativamente a microfauna presente no tanque de arejamento, no poço de mistura de lamas e no clarificado de ambos os decantadores, a fim de se verificar as possíveis correlações desses parâmetros com a eficiência do sistema. Aplicou-se os resultados biológicos obtidos, em quatro modelos propostos para a avaliação do processo de tratamento, baseada em análises biológicas. Em termos qualitativos e na maior parte das observações, a lama apresentou boa qualidade. A ETAR da ZIA foi colonizada por tecamebas, principalmente Arcella sp. e Euglypha alveolata, em todo, o estudo e em todos os pontos analisados. No tanque de arejamento foram sempre observados ciliados nadadores livres. A densidade total de organismos no tanque de arejamento variou de 2982 e 7330 organismos/mL, com valor médio de 5995 organismos/mL. Relativamente, aos parâmetros estudados, os objectivos de remoção para o CBO5, CQO, SST e SSV foram alcançados.

Redução de ruído ambiental em área de produção industrial

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em: Instrumentação Manutenção Industrial e Qualidade

Manutenção industrial e custo do ciclo de vida - extracção oleaginosas

Dissertação apresentada na Faculdade de Ciências e Tecnologias para obtenção do grau de Mestre em Engenharia e Gestão Industrial

Análise de funções de segurança num processo industrial e num posto de transformação de energia eléctrica, numa industria papeleira, aplicando a metodologia SFA

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Industrial

SmART: an application reconfiguration framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Diagnosis of an EPS module

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Estágio nas Edições Colibri. Uma editora "familiar" de produção (quase) industrial

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Edição de Texto

Intelligent decision support systems for collaboration in industrial plants

Dissertação apresentada para obtenção do Grau de Doutor em Sistemas de Informação Industriais, Engenharia Electrotécnica, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

O e-learning na manutenção industrial uma proposta de e-learning aplicada à manutenção produtiva total

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Industrial networks: are they a new and alternative way to conduct business or just a logical consequence of a globalising economy?

Based on a report for the seminar Industrial Networks, at Goethe Universität Frankfurt am Main Dozent: Prof. Dr. Blättel-Mink, Prof. Dr. António Moniz SS 2011

Relatório de estágio curricular no Instituto Nacional da Propriedade Industrial

Mestrado na área de Ciências Juridico Forenses

Photoelectron spectroscopy of nitrogen containing molecules of biological and industrial interest

A thesis submitted for the degree of Ph. D. in Physics

Museu nacional ferroviário: um museu industrial?

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Museologia