163 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
Resumo:
No presente trabalho é desenvolvido um ambiente para geração automática de modelos dos diversos elementos constituintes dos PLLs. Para tal, é apresentado um estudo dos conceitos associados ao funcionamento de PLLs bem como do funcionamento de blocos integrantes. São também alvo de estudo, diversas topologias para os diferentes blocos dos PLLs. Após a descrição dos elementos dos PLLs, são desenvolvidos modelos comportamentais que permitem caracterizar de forma simples e precisa os referidos elementos, tornando possível a simulação a nível comportamental dos PLLs. A validação dos modelos desenvolvidos é realizada por ligação ao simulador Hspice. São apresentados três exemplos que ilustram a concordância entre os resultados obtidos com os modelos propostos e os obtidos por simulação.
Resumo:
Ao longo de 40 anos, muitos trabalhos têm vindo a ser desenvolvidos no âmbito do tema da eutrofização e desenvolvimento de biomassa fitoplanctónica. Em todos eles, eram sugeridos factores responsáveis, desde a latitude, luz, temperatura, mistura da coluna de água e os inputs de nutrientes. Toda a controvérsia gerada em torno da eutrofização, levou a que a inércia adoptada em situações de risco induzisse a degradação de muitos sistemas aquáticos. É quando, além da degradação estética, os problemas começam a surgir, que se compreende a necessidade de que surjam medidas de gestão e requalificação das lagoas e bacias hidrográficas. A tendência para a ocorrência de florescências de organismos como cianobactérias, implica a necessidade de maiores cuidados nos usos das massas de água, principalmente ao nível da produção de água para consumo humano e do uso recreativo. Uma boa gestão, implica um conhecimento aprofundado do comportamento destes organismos. Este trabalho, apresenta as respostas de organismos recolhidos em florescências naturais, na Lagoa das Furnas – ilha de S. Miguel (Açores) em meios com diferentes teores de azoto. As diferenças entre os resultados, permitem retirar algumas conclusões sobre as condições preferenciais ao seu desenvolvimento. De um modo geral, as culturas comportaram-se da forma esperada, desenvolvendo-se mais com doses de azoto mais elevadas. Este desenvolvimento foi verificado tanto pelo aumento das partículas ao longo de todo o ensaio, mas também pelos valores de pigmentos registados no fim deste. Por outro lado, o facto do azoto ter sido adicionado sob a forma amoniacal ou de nitratos, permite concluir que os organismos presentes nas florescências preferem assimilar as formas azotadas que impliquem um menor consumo energético. Daí que se tenham verificado desenvolvimentos mais significativos em meios em que foi adicionado azoto amoniacal. O facto de ser tratar de um trabalho baseado nas condições de desenvolvimento de organismos vivos, era de esperar alguma imprevisibilidade dos comportamentos. Sendo assim, será recomendável aprofundar o conhecimento das reacções dos organismos em cultura mista para doses diferentes de azoto, assim como a realização de ensaios em que para uma dose de N fixa, se façam variar as concentrações de P.
Resumo:
Este estudo pretende mostrar algumas aplicações dos métodos computacionais na actividade de projecto em Engenharia Mecânica. Apresentam-se problemas concretos de engenharia que foram abordados durante um estágio realizado no CERN – Centre Européen pour la Recherche Nucléaire, e onde foram utilizados: a) o método dos elementos finitos para cálculo de temperaturas e fluxos de calor e a sua influência sobre os deslocamentos, tensões e deformações que ocorrem numa peça; b) o método híbrido dos elementos finitos/volumes finitos para a discretização das equações de Navier-Stokes e a análise do escoamento de fluidos; c) um algoritmo genético para a obtenção da solução óptima de um problema estrutural. O projecto em engenharia é uma actividade cada vez mais complexa, que requer o uso de ferramentas computacionais sofisticadas tais como os programas ANSYS e MATLAB que foram utilizados no estudo. A criação de modelos numéricos e a análise do seu comportamento com estas ferramentas requer simultaneamente um bom conhecimento dos princípios que estão na base do seu desenvolvimento e uma boa perícia na sua manipulação. Com elas é possível obter soluções quando os constrangimentos do projecto são exigentes e análises detalhadas do comportamento estrutural são necessárias. Neste estudo pretende-se também demonstrar que uma combinação inovadora destas ferramentas pode contribuir para obter aplicações úteis para a actividade de projecto em engenharia.
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente - Sistemas Ambientais
Resumo:
Dissertação apresentada para obtenção do Grau de Doutor em Biologia (especialidade Microbiologia), pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Civil – Reabilitação de Edifícios
Resumo:
Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação
Resumo:
Departamento de Engenharia Electrotécnica e de Computadores Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Resumo:
Faculdade de Ciências e Tecnologia – Universidade Nova de Lisboa Departamento de Engenharia Electrotécnica Tese de mestrado
Resumo:
Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática
Resumo:
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 Mecânica
Resumo:
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 Civil na especialidade de Estruturas e Geotecnia
Resumo:
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 do Ambiente, perfil Gestão e Sistemas Ambientais
Resumo:
Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica
Resumo:
Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Gestão e Políticas Ambientais