A produção de ânforas de tipo lusitana 2 dos fornos de olaria (Pinheiro, Álcácer do Sal)

pp. 145-151

Adaptação de dois fornos eléctricos para tratamentos térmicos e fundição

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Forno solar com lentes de Fresnel e aplicações em laser solar

Dissertação para obtenção do Grau de Mestre em Engenharia Física

Controlo de velocidade de um veículo elétrico autónomo

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

Análise de fatores de concentrações de tensões em ligações tubulares

Dissertação para obtenção do Grau de Mestre em Engenharia Civil, perfil de Estruturas

Métodos inovadores para a bio-secagem do CDR produzido na linha de processo da unidade de Tratamento Mecânico e Biológico (TMB) – Caso de estudo na VALNOR SA

A presente dissertação foca-se em métodos inovadores para a bio-secagem do Combustível Derivado de Resíduos (CDR) produzido na linha de Tratamento Mecânico de Biológico (TMB), na VALNOR SA. O CDR representa 25 a 35% dos resíduos indiferenciados tratados numa unidade de TMB e que resulta do refugo e rejeitados retirados na linha de triagem mecânica e no processo de afinação do composto orgânico. O CDR pode ser utilizado como combustível alternativo ao combustível fóssil em centrais de co-geração e/ou cimenteiras. No caso da indústria cimenteira, a secagem do CDR é fundamental (a humidade média é de 40 a 50% e, terá de se reduzir para 20% ou inferior) de modo a aumentar o seu Poder Calorífico Inferior (PCI), para maior eficiência energética no processo produtivo nos fornos do clínquer e dar cumprimento à redução de utilização dos combustíveis fósseis que a União Europeia pretende. Com este trabalho, contribuiu-se com mais um passo no sentido de se viabilizarem as melhores opções técnico-ambientais e económicas para se cumprirem os objetivos prioritários no domínio da valorização dos resíduos passando a ser um recurso ou produto. Com efeito a substituição do combustível fóssil por um combustível alternativo do tipo do CDR não só se traduz em benefícios ambientais, nomeadamente a redução de deposição em aterro, a redução das emissões de Gases com Efeito de Estufa (GEE) e o cumprimento dos objetivos e metas do Plano Estratégico para os Resíduos Sólidos Urbanos (PERSU) 2020, como também enquadra evidentes vantagens económicas enquanto recurso alternativo e minimiza o valor do instrumento financeiro da Taxa de Gestão de Resíduos (TGR) que se prevê aumentar significativamente até 2020 no que respeita à deposição de resíduos/refugos/rejeitados em aterro.

Modelação numérica do carregamento de uma estrutura confinada sujeita a uma onda de choque explosiva

A ocorrência de explosões em indústrias e em infraestruturas civis quer acidentais quer devido a ataques terroristas, vêm colocando à engenharia cada vez maiores desafios relativos à conceção de soluções que aumentem a proteção dessas infraestruturas contra os efeitos das explosões. Neste trabalho, utilizou-se um hidrocódigo comercial, o LS-DYNA, no tratamento e simulação de problemas envolvendo ondas de choque explosivas tendo-se realizado um estudo paramétrico do efeito da detonação de um alto explosivo no interior de um compartimento fechado, de geometria prismática retangular, em que as dimensões foram sendo variadas. Foi necessário calibrar previamente o modelo geométrico escolhido bem como os parâmetros utilizados para gerar a onda de choque explosiva, de forma a assegurar a consistência dos resultados, dado que não foi possível a realização de ensaios experimentais. Foi utilizada uma malha multimaterial Arbitrária Lagrangiana-Euleriana (MMALE), com recurso a elementos sólidos com um único ponto de integração, recorrendo ao método das diferenças finitas centrais para as integrações em relação ao tempo, tendo-se utilizado como base de calibração a literatura consultada. Os dados obtidos no estudo paramétrico foram tratados recorrendo a métodos estatísticos de regressão de forma a se obter uma relação fenomenológica para prever as pressões máximas dentro de um compartimento.

Modelos para a quantificação da deformação em vigas de betão armado

Na presente dissertação estudaram-se diferentes métodos de cálculo usados para a determinação da deformação (curvatura, rotação, extensão e flecha) em vigas de betão armado. Estudou-se o método de cálculo dito “exato”, método de integração numérica, e comparou-se os resultados obtidos por este método com aqueles ditos simplificados, dos quais se dá particular destaque ao método da secção determinante. Apresenta-se também uma análise comparativa de resultados experimentais obtidos em laboratório com os resultados teóricos, obtidos pela aplicação do método de integração numérica. Estudou-se igualmente a influência que certos parâmetros, como é o caso da fendilhação, fluência, retração e resistência à compressão do betão, têm na deformação de vigas de betão armado. O estudo da deformação foi efetuado considerando três tipos de secção: retangular, em T e em I. Por último o autor implementou um programa de cálculo em VBA Excel com o objetivo de quantificar os parâmetros da deformação em vigas de betão armado com secções: retangular, em T e em I, pela aplicação do método de integração numérica, de acordo com a norma EN 1992-1-1.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Logoplaste-What are the opportunities in the European dairy industry?

Field lab: Entrepreneurial and innovative ventures