Teoria básica das estruturas conceptuais

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.

Verificação da segurança aos sismos de estruturas portuárias de gravidade

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.

A importância das tecnologias de informação e do factor humano nos sistemas antropocêntricos e flexíveis de produção

As Tecnologia de Informação, são certamente uma pedra base da sociedade de hoje e das vindouras. Estas têm modificado as relações sociais, culturais e organizacionais, tendo-se repercutido na sociedade, de diferentes formas. A análise aqui proposta, visa o mundo das organizações e o reconhecimento do peso do factor humano dentro desta, quer na forma como as relações entre os vários actores são mediadas por estas novas tecnologias, quer no que conceme às modificações produzidas por estas no trabalho e consequentemente nas qualificações dos operadores. O desenvolvimento desta análise, parte de uma perspectiva antropocêntrica, que tem, como premissas de partida o valor humano e as características culturais de cada organização. A proposta aqui apresentada, é sobretudo um alerta, para uma maior colaboração interdiscipliiar no desenho das Tecnologias de Informação, visando a plena integração do factor humano no desempenho destas tecnologias. Por último cabe aqui aludir ao estudo de caso, que tem por objecto de estudo um Sistema Flexível de Produção e a inclusão de um posto de trabaího no Sistema. A opção de organização do trabalho, visa sobretudo capacitar, o factor humano de competências e qualificações que lhe permitam o enobrecimento do seu posto de trabalho. É uma opção que assenta na divisão maleável do trabalho, sendo necessário um operador qualificado, mas também polivalente de forma a permitir ao indivíduo executar o conjunto de tarefas que comporta o posto de trabalho.

Correlação da tractografia por DTI com imagem funcional em epilepsia

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, para obtenção do Grau de Mestre em Engenharia Biomédica

Análise de robustez de estruturas de madeira tradicionais

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

Um modelo de grupos para aplicações interactivas distribuídas

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Software de sistema para um intercomunicador de veículos militares

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

Suporte técnico à produção e comercialização de produtos cosméticos e detergentes

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

Produção e caracterização de dispositivos electrocrómicos em substratos à base de celulose

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

Mecanismos de suporte à execução concorrente de programas em lógica

Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Infra-estruturas de dados espaciais nos munícipios: contributo para a definição de um modelo de implementação

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Caracterização de estruturas tectónicas activas da região sul de Portugal com recurso a ferramentas SIG: o caso da falha de São Marcos - Quarteira

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Dimensionamento automático de consolas e pêndulos para sistemas de tracção eléctrica

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 de Computadores.

Influência dos revestimentos por pintura na secagem do suporte

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau académico de Mestre em Engenharia Civil, na especialidade de Reabilitação de Edifícios. A presente dissertação foi preparada no âmbito do Convénio existente entre o Laboratório Nacional de Engenharia Civil(LNEC) e a Faculdade de Ciências e Tecnologia, tendo sido realizada no LNEC