Refinamento de diagramas de classes: análise e verificação

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

Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri

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 Electrotécnica e de Computadores

Análise e avaliação de risco de incêndio através de diagramas “Bow-Tie”

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

Elaboração de um diagrama TAC para um aço de alta tenacidade API X-70

Dissertação para obtenção do Grau de Mestre em Engenharia de Materiais

Construção e edição de diagramas de Voronoi na esfera

Dissertação para obtenção do Grau de Doutor em Informática

A presunção de inocência nas fases preliminares do processo penal

This study analyses the principle of presumption of innocence in the preliminary stages of the Portuguese criminal process, its procedural aspect related with the principle of in dubio pro reo and its material aspect concerning the treatment of the defendant during the proceedings. The consequences and manifestations of the principle of presumption of innocence are analysed in the decisions of the closing stages of the preliminary criminal procedure and the application of the principle of in dubio pro reo is analysed in the judgement of sufficiency of evidence for the procedure to continue. It addresses the question of circumstantial evidence, its particular relevance in economic and financial crime, highly organized crime, the grounds for the indictment in general and when the sufficiency of evidence criteria is based on that evidence. It analyses the scope of the principle of presumption of innocence in the application of coercive measures, with reference to the arrest, first interrogation of the accused under detention and reasons for the subsequent dispatch about the measures. The asset assurance measures of preventive seizure and the preventive seizure to ensure confiscation are analysed and principle of presumption of innocence is considered non applicable to those measures.

A vida quotidiana das professoras: um contributo para o estudo da relação entre a vida profissional e as outras dimensões da vida das professoras a partir da "ocupação do tempo"

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Uma leitura pedagógica da construção histórica do conceito de energia: contributo para uma didáctica crítica

Tese de doutoramento em Ciêncas da Educação, área da Teoria Curricular e Ensino das Ciências

Identidade do jovem rural confrontando com estereótipo de Jeca Tatu: um estudo qualitativo com os jovens da EFA Rei Alberto I

Dissertação de mestrado em Ciências da Educação, na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa e do Diplôme d' Université François Rabelais de Tours

Redes urbanas de drenagem

Tese de doutoramento em Engenharia Sanitária

Dinâmica de sistemas dissipativos e não-autónomos com uma coordenada angular

Estudamos a dinâmica de sistemas não-autónomos periódicos que têm como espaço de fases o cilindro. Sempre que o sistema for dissipativo a aplicação de Poincaré tem um atractor. Procuramos condições para que este atractor seja ou não homeomorfo ao círculo. Motivados pelos resultados obtidos por M. Levi e independentemente por Q. Min, S. Xian e Z. Jinyan estudamos aplicações à equação do pêndulo forçado com atrito. Encontramos relações com a trabalho de R. A. Smith que utilizamos no estudo de sistemas de osciladores acoplados e equações ordinárias de ordem n.

Tratamentos termomecânicos de ligas do sistema Ni-Ti

As ligas de Níquel‑Titânio (Ni‑Ti) são as mais atractivas entre as ligas com memória de forma devido às suas boas propriedades funcionais juntamente com a elevada resistência e melhor ductilidade. As transformações de fases associadas ao efeito de memória de forma (EMF) podem ser em uma etapa, B19’ (martensite) ↔ B2 (austenite), em duas ou em múltiplas etapas, incluindo a fase‑R intermédia dependendo da história térmica e termomecânica da liga. As temperaturas de transformação são geralmente observadas acima da temperatura ambiente para as ligas ricas em Ti, enquanto nas ricas em Ni se situam abaixo da temperatura ambiente. O objectivo da presente dissertação foi o de investigar as modificações nas propriedades funcionais e estruturais em uma liga de Ni‑Ti rica em Ti (49,0%at.Ni‑51,0%at.Ti) sujeita a diferentes tratamentos térmicos e termomecânicos de marforming e ausforming. Para melhor entender os fenómenos presentes nesta liga foi feito um paralelismo com outras duas ligas de Ni‑Ti: (i) equiatómica com EMF acima da temperatura ambiente e (ii) rica em Ni superelástica (SE) à temperatura ambiente. Com o intuito de uma análise completa das transformações de fases foram utilizadas durante ciclos térmicos diversas técnicas de caracterização: Calorimetria Diferencial de Varrimento (DSC), Resistividade Eléctrica (RE), Dilatometria (DT) e Difracção de Raios‑X (DRX) convencional e por radiação sincrotrão – rotina e textura. Foram também utilizadas outras técnicas à temperatura ambiente com o intuito de observar características microestruturais (Microscopia Óptica (MO) e Electrónica de Varrimento (SEM)) e mecânicas (Microdureza e Ultra‑Microdureza Vickers, e Tracção). A liga de Ni‑Ti rica em Ti tem as suas transformações directa e inversa fortemente afectadas pelos tratamentos termomecânicos, devido à formação de fase‑R durante a transformação directa em duas (B2®R®B19’) ou em múltiplas etapas (B2®R, B2®B19’ e R®B19’). Os tratamentos termomecânicos conducentes à sequência de transformação B2®R®B19’ decrescem a temperatura de fim da formação de B19’ para próximo da temperatura ambiente e apresentam maior estabilidade nas temperaturas e histereses de transformação.

Avaliação do desempenho ambiental de sistemas de tratamento de águas residuais urbanas com descarga em zonas costeiras

A avaliação de desempenho ambiental (ADA) consiste numa ferramenta de apoio à decisão, fornecendo elementos de medição, comparação e análise, de forma objectiva e com exactidão. No presente trabalho apresenta-se uma proposta de abordagem à ADA de estações de tratamento de águas residuais (ETAR) urbanas com descarga em zonas costeiras, através da utilização de indicadores ambientais. Reconhecendo-se a especificidade das águas costeiras como meio receptor de águas residuais urbanas tratadas, propõe-se um conjunto vasto de indicadores de desempenho ambiental e de indicadores de condição ambiental, destinados a avaliar o desempenho das ETAR. Procede-se seguidamente à aplicação da metodologia proposta a um conjunto de 80 ETAR localizadas na faixa costeira portuguesa, cujas descargas se localizam na área de influência de águas balneares, incluindo a análise de desempenhos negativos para o indicador de qualidade do meio receptor proposto. Recorreu-se a informação obtida junto das entidades gestoras das ETAR, entre 2003 e 2005, ao longo de duas fases, uma de inquérito e outra de visitas técnicas com amostragem e caracterização das águas residuais urbanas. Procede-se previamente ao estabelecimento do enquadramento legal relevante e à identificação dos instrumentos de planeamento que conformam as políticas seguidas no sector. Analisa-se o quadro conceptual dos sistemas de gestão ambiental e de avaliação do desempenho ambiental, identificando-se as principais abordagens existentes, quer as de carácter genérico, quer as específicas dos sectores da água e do saneamento. Por último, apresenta-se um conjunto de conclusões sobre as potencialidades de utilização e desenvolvimento da metodologia proposta, bem como sobre os resultados obtidos no exercício de aplicação. A metodologia proposta fornece um bom instrumento de avaliação do desempenho ambiental das ETAR, permitindo indiciar se estas poderão constituir uma fonte de problemas para a qualidade das águas balneares, requerendo, no entanto, abordagens complementares para a sua confirmação. O desempenho ambiental das ETAR tem registado uma evolução globalmente positiva mas carece ainda de melhorias em diversos domínios. Identificam-se como principais lacunas a dificuldade na obtenção de dados e a necessidade de desenvolver novos indicadores de estado do ambiente capazes de reflectir o nível de desempenho ambiental das ETAR. Por último, sugerem-se novas linhas de investigação, em continuação do estudo agora realizado.

Evolução tectónica mesozóica da bacia lusitaniana

A evolução da Bacia Lusitaniana, localizada na margem ocidental ibérica, está intimamente associada às primeiras fases de abertura do Atlântico Norte. Perdurou desde o Triásico superior até o Cretácico inferior, mais exactamente até o topo do Aptiano inferior, e desenvolveu-se condicionada por estruturas herdadas do soco varisco. É discutido o papel desempenhado pelas falhas que constituem os seus limites, no que respeita a evolução geométrica e cinemática e a organização dos corpos sedimentares. O mesmo é efectuado relativamente a importantes falhas transversais à bacia. É proposto modelo de evolução da bacia ao longo de quatro episódios de rifting que mostram: i) períodos de simetria (organização em horsts e grabens) e assimetria (organização em half graben) na sua evolução geométrica; ii) diacronismo na fracturação; iii) rotação da direcção de extensão principal; iv) enraizamento no soco varisco das principais falhas da bacia (estilo predominantemente thick skinned). A análise e comparação regional, nomeadamente com a bacia do Algarve, de intervalos temporais representados por importantes hiatos à escala da bacia, próximos da renovação dos episódios de rifting, permitiram concluir sobre a ocorrência de inversões tectónicas precoces (Caloviano-Oxfordiano e Titoniano-Berriasiano). A última, no entanto, teve evolução subsequente diferente da primeira: não se verifica renovação da subsidência, que se discute, e relaciona-se com evento magmático. Embora a Bacia Lusitaniana se encontre numa margem de rift que se considera como não-vulcânica, os três ciclosmagmáticos definidos por vários autores, em especial o segundo (apr. 130 a 110 M.a. ?), desempenhou papel fundamental na mobilização dos evaporitos do Hetangiano, que resultou no intervalo principal de diapirismo na Bacia Lusitaniana. É discutida a forma e o momento em que a bacia aborta definitivamente (Aptiano inferior). São estabelecidas comparações com outras bacias da margem ocidental ibérica e da Terra Nova e proposto modelo de oceanização deste troço do Atlântico Norte, em dois momentos, separados por intervalo de cerca de 10 M.a. e em áreas distintas, separadas pela falha da Nazaré. Esta síntese foi elaborada com base: - na informação dada por um conjunto de trabalhos já publicados (1990-2000), - nos trabalhos de campo efectuados nos últimos anos e cujos resultados não foram ainda publicados, - na reunião de informação proveniente da reinterpretação de elementos de cartografia geológica e de geofísica (sísmica e sondagens) e de outros de bibliografia geral sobre o Mesozóico da margem ocidental ibérica.