Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Contribuição para o desenvolvimento de uma estratégia integrada de gestão de resíduos industriais não perigosos

Tendo como objecto de estudo a actual gestão de resíduos industriais não perigosos na região de Santarém, o trabalho desenvolvido definiu como meta principal o desenvolvimento de uma estratégia para a gestão desses resíduos que é suportada por um modelo de gestão integrada. Esta estratégia assenta na maximização do desvio dos resíduos de aterro, através da sua valorização, utilizando para isso unidades de tratamento ou de processamento para resíduos sólidos urbanos, nomeadamente unidades de valorização orgânica e triagem. Na revisão da literatura procurou-se apresentar casos de estudo europeus em que foram definidas estratégias para a gestão de resíduos industriais, com especial destaque para aqueles que definem opções conjuntas de gestão de resíduos sólidos urbanos (RSU) e resíduos industriais banais (RIB). São também introduzidas algumas considerações acerca de incentivos estabelecidos para maximizar o desvio de resíduos de aterro, sendo dada especial atenção às políticas comunitárias que potenciam a valorização dos resíduos industriais em detrimento da sua deposição em aterro. Posteriormente são analisados vários modelos recentes no âmbito da gestão de resíduos sólidos, sendo apresentados essencialmente, os seus objectivos, potencialidades e resultados decorrentes da sua aplicação. É igualmente descrito e analisado o modelo “Integrated Waste Management 2” (IWM-2), desenvolvido por McDougall et al. (2001), que suporta a estratégia de gestão de resíduos industriais banais, estabelecida no presente estudo. A metodologia do estudo realizado centrou-se na recolha e análise de informação sobre as quantidades e características dos RIB produzidos na área de estudo e obtenção de dados que permitisse correr o modelo. Primeiro procedeu-se à consulta e análise das guias de pesagem desses resíduos nos aterro existentes na região. Seguiu-se um conjunto de acções tendentes a obter a informação complementar junto das indústrias através de inquérito (via fax e e-mail) e de visitas. Na metodologia foram equacionados diferentes cenários que permitiram a comparação entre a situação actual de gestão, que passa essencialmente pela deposição em aterro, e opções que contemplem a triagem dos resíduos para reciclagem e valorização orgânica. A pertinência desta última opção prende-se com a predominância de agro-indústrias e indústrias alimentares, na região de estudo. Os resultados deste estudo, obtidos através da corrida do modelo permitiram identificar algumas lacunas bem como oportunidades de melhoria do modelo IWM-2. Os resultados designadamente custos económicos e ambientais, resultantes da aplicação do modelo e decorrentes das diferentes soluções preconizadas reforçam que a actual gestão de resíduos apresenta as maiores cargas ambientais, quer em termos de emissões gasosas, efluentes produzidos, consumo de combustíveis, quer no se refere a custos. Por outro lado conclui-se que o cenário que contempla a triagem de resíduos, para reciclagem e valorização orgânica por digestão anaeróbia, com os menores custos ambientais e económicos em termos globais, assegura a optimização desejada para a gestão de RIB na área de estudo.

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

Extracção automática de informação e conhecimento em textos no âmbito B2B

Dissertação de Mestrado em Engenharia Informática

Aplicação do método de produção diária de ovos ao carapau: (Trachurus trachurus L., 1758). Recuperação de séries de dados obtidos por diferentes estratégias de amostragem

Dissertação de Tese apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Ecologia,Gestão e Modelação dos Recursos Marinhos

Pesquisa de imagens de rosto

Dissertação de Mestrado em Engenharia Informática

Incorporação de incerteza na elaboração de base de dados de referência para avaliação da exactidão temática de mapas de ocupação do solo

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

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

Byzantium: Contribuições para o desenvolvimento de um sistema de replicação de bases de dados tolerante a falhas bizantinas

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Categorização e análise de dados não estruturados: o caso de debates parlamentares

Trabalho de Projecto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Análise simbólica de dados e a sua aplicação na extracção de informação de estatísticas oficiais: análise do inquérito à ocupação do tempo

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Sistema de ficheiros transaccional sobre FUSE

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 Informática

Análise de dados de vibração – Contributo para a definição do Estado de Condição

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Caracterização da ocupação do solo com recurso à aplicação de modelos de misturas espectrais em séries multi-temporais de imagens MODIS

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

Detecção de incêndios nocturnos através de processamento digital de imagem

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para o grau de Mestre em Engenharia Electrotécnica e Computadores