83 resultados para Estruturas lógico-matemáticas
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 - Estruturas e Geotecnia
Resumo:
Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento
Resumo:
As Estruturas Conceptuais são um formalismo de representação de conhecimentos baseado em grafos, os chamados grafos conceptuais. A teoria foi inicialmente desenvolvida por John Sowa há dez anos. desde então, uma comunidade científica cada vez mais ampla tem-na utilizado em muitas áreas de aplicação e propôs várias alterações à teoria original. Também está em desenvolvimento uma implementação estado-da-arte gratuita e, além disso, os grafos conceptuais foram adoptados num padrão ANSI em preparação. Apesar desta actividade não existe de facto uma definição formal, completa, consistente e revista da Teoria das Estruturas Conceptuais. Esta dissertação vem contribuir para essa definição ao estender, refinar e clarificar as noções básicas da teoria. A clarificação dos grafos conceptuais em * grafos sintacticamente correctos, * grafos bem tipados, * grafos ontologicamente correctos, chamados grafos canónicos, * e grafos verdadeiros é a base da clarificação do significado das várias noções e serve de guia às extensões e aos refinamentos introduzidos. As principais extensões foram feitas no sistema de tipos e no esquema de dependências entre vértices de grafos, e o refinamento de quase todos os aspectos da teoria - em particular das regras de formação de grafos canónicos e de regras de inferência para os grafos verdadeiros - inclui o tratamento formal de algumas propostas informais de outros autores.
Resumo:
A verificação da segurança aos sismos de estruturas portuárias assume grande relevância no contexto nacional pela conjugação de dois factores: a perigosidade sísmica moderada da faixa costeira e a importância sócio-económica que este tipo de infraestruturas representa para o País. Nesta tese realiza-se uma breve apresentação das várias soluções estruturais correntes em obras portuárias, particularizando-se o comportamento sísmico observado de estruturas de gravidade com infraestrutura em caixotão, para sismos ocorridos nas últimas duas décadas. A apresentação da Metodologia por Avaliação de Desempenho aplicada às estruturas portuárias de gravidade, como forma de verificar a segurança aos sismos, pretende concretizar a aplicação do método no controlo dos danos para a uma determinada acção sísmica e, consequentemente, da minimização dos custos associados à reparação e à inoperacionalidade do porto.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Estruturas e Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
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 como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica
Resumo:
Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Física, especialidade de Engenharia de Superfícies, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia
Resumo:
Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Mecânica na especialidade de Resistência dos Materiais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Ramo de Estruturas e Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
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 obtenção do grau de mestre em Engenharia Civil, Perfil de Estruturas
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 Mecânica
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Ordenamento do Território e Planeamento Ambiental
Resumo:
Dissertação de Mestrado em Ciências da Linguagem