Service-oriented architecture for device lifecycle support in industrial automation

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores Especialidade: Robótica e Manufactura Integrada

Lightweight robust behavior industrial agent methodology

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Synthesis about a collaborative project on “Technology Assessment of Autonomous System

The project started in 2009 with the support of DAAD in Germany and CRUP in Portugal under the “Collaborative German-Portuguese University Actions” programme. One central goal is the further development of a theory of technology assessment applied to robotics and autonomous systems in general that reflects in its methodology the changing conditions of knowledge production in modern societies and the emergence of new robotic technologies and of associated disruptive changes. Relevant topics here are handling broadened future horizons and new clusters of science and technology (medicine, engineering, interfaces, industrial automation, micro-devices, security and safety), as well as new governance structures in policy decision making concerning research and development (R

eVentos 2 - Autonomous sailboat control

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Service-oriented infrastructure to support the control, monitoring and management of a shop floor system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Digitally programmable delay-locked-loop with adaptive charge pump current for UWB radar system

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

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

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

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Bio-inspired anatomy for autonomous DPWS-compliant automation components

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

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

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