Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Sustentabilidade e bem-estar humano : duas faces da mesma moeda? : estudo exploratório do bem estar subjectivo em comunidades intencionais que vivem segundo princípios de sustentabilidade

RESUMO - Nos últimos vinte anos tem-se assistido a uma crescente consciencialização de que os nossos estilos de vida são insustentáveis aos níveis económico, social e ambiental, o que tem repercussões na nossa saúde e bem-estar. Do crescimento populacional à pobreza e inequidade geradas pelo modelo de “crescimento económico” actual, à perda de biodiversidade e disrupção dos ecossistemas naturais, ao desmesurado crescimento urbano, à poluição e acumulação de desperdícios, às alterações climáticas, ao isolamento individual e à diminuição do capital social na sociedade do consumo: a necessidade de desenvolvimento sustentável e gerador de bem-estar nunca foi tão grande e evidente. Ao longo dos últimos anos têm surgido comunidades intencionais que se organizam segundo princípios de sustentabilidade, como um fenómeno de contra-cultura – as Ecoaldeias (Ecovillages). No entanto, os benefícios para a saúde e bem-estar deste tipo de comunidades não são ainda claros, sendo a experiência de investigação nesta área escassa. O estudo aqui proposto visa conhecer, a título exploratório, os níveis de bem-estar subjectivo em comunidades intencionais que vivem segundo princípios de sustentabilidade em Portugal, se estes níveis são melhores que na população em geral, e quais os factores percebidos que o influenciam. Para tal, terá componentes quantitativas e qualitativas e irá basear-se num questionário auto-administrado aos residentes das Ecoaldeias portuguesas, que inclui o Índice de Bem-estar Pessoal - uma escala de medição do Bem-estar subjectivo validada para a população portuguesa. As suas conclusões poderão contribuir para o desenvolvimento de abordagens mais elaboradas, capazes de edificar uma infra-estrutura teórica para o sistema de conceitos em foco, tão necessária quer a investigações com maior potencial explicativo, quer a decisões com melhor fundamento. ------------ ABSTRACT - Over the past twenty years there has been a growing awareness that the way we live is unsustainable at the economic, social and environmental level, which has impact in our health and wellbeing. From the population growth to poverty and inequity generated by the current model of economic growth, to biodiversity loss and disruption of natural ecosystems, to disproportionate urban growth, to pollution and waste accumulation, to climate change and the individual isolation social loss capital in the consumption society: the need for a development that is sustainable and generates wellbeing has never been greater and more evident. Over the last years intentional communities who live according to principles of sustainability have emerged, has a phenomenon of counter-culture - the ecovillages. The health and wellbeing benefits of this type of communities are not clear, as the investigation in this area is little. The aim of this exploratory study is to know the levels of subjective wellbeing of such communities, in Portugal, if these levels are different from the general population and what are the main perceived contributing factors. This study will have a qualitative and quantitative component and will be based in the application of a self-administered questionnaire that includes the Subjective Wellbeing Index, a measurement scale of subjective wellbeing, validated for the Portuguese population. Its findings may contribute to the development of more elaborate approaches that allow to build a theoretical framework for the system of concepts focused, needed both for further investigations with more explanatory potential, as for more grounded decision-making, to tackle the challenges of sustainable development.

Hymenoptera.

We present the fi rst review of Hymenoptera alien to Europe. Our study revealed that nearly 300 species of Hymenoptera belonging to 30 families have been introduced to Europe. In terms of alien species diversity within invertebrate orders, this result ranks Hymenoptera third following Coleoptera and Hemiptera. Two third of alien Hymenoptera are parasitoids or hyperparasitoids that were mostly introduced for biological control purposes. Only 35 phytophagous species, 47 predator species and 3 species of pollinators have been introduced. Six families of wasps (Aphelinidae, Encyrtidae, Eulophidae, Braconidae, Torymidae, Pteromalidae) represent together with ants (Formicidae) about 80% of the alien Hymenoptera introduced to Europe. Th e three most diverse families are Aphelinidae (60 species representing 32% of the Aphelinid European fauna), Encyrtidae (55) and Formicidae (42) while the Chalcidoidea together represents 2/3 of the total Hymenoptera species introduced to Europe. Th e fi rst two families are associated with mealybugs, a group that also included numerous aliens to Europe. In addition, they are numerous cases of Hymenoptera introduced from one part of Europe to another, especially from continental Europe to British Islands. Th ese introductions mostly concerned phytophagous or gall- maker species (76 %), less frequently parasitoids. Th e number of new records of alien Hymenoptera per year has shown an exponential increase during the last 200 years. Th e number of alien species introduced by year reached a maximum of 5 species per year between 1975 and 2000. North America provided the greatest part of the hymenopteran species alien to Europe (96 species, 35.3%), followed by Asia (84 species, 30.9%) and Africa (49 species, 18%). Th ree Mediterranean countries (only continental parts) hosted the largest number of alien Hymenoptera: Italy (144 spp.), France (111 spp.) and Spain (90 spp.) but no correlation was found with the area of countries. Intentional introduction, mostly for biological control, has been the main pathway of introduction for Hymenoptera. Consequently, the most invaded habitats are agricultural and horticultural as well as greenhouses. To the contrary, Hymenoptera alien in Europe are mostly associated with woodland and forest habitats. Ecological and economic impacts of alien Hymenoptera have been poorly studied. Ants have probably displaced native species and this is also true for introduced parasitoids that are suspected to displace native parasitoids by competition, but reliable examples are still scarce. Th e cost of these impacts has never been estimated.

A integração da Saúde Mental na estratégia saúde da família : perspectivas dos gerentes da atenção primária de São Paulo

RESUMO: Introdução: A integração da saúde mental (SM) na atenção primária (AP) é a principal garantia de acesso da população às boas práticas em SM. Embora amplamente recomendada há décadas, existem poucos modelos de integração efetiva da SM na AP. Em 2008 o Ministério da Saúde do Brasil criou o Núcleo de Apoio à Saúde da Família (NASF), que passou a ser o responsável pela integração da SM na AP. O objetivo deste estudo é conhecer, a partir da ótica dos gerentes da AP, como se dá a integração da SM na AP, suas visões sobre o NASF e sugestões para melhorar este modelo de integração. A partir dos resultados apresentaremos recomendações para aperfeiçoar o modelo vigente de integração da SM na AP. Método: Pesquisa qualitativa, de caráter exploratório, com orientação analítica – descritiva. Foram realizadas 10 entrevistas semi-estruturadas com gerentes da AP, na região metropolitana de São Paulo. Trabalhou-se com o conceito de amostragem intencional, utilizando como critério de escolha os casos extremos ou desviantes. Foi utilizado o método da Análise Estrutural ou Framework Analysis, uma modalidade de análise de conteúdo. Resultados: Os entrevistados consideraram haver mais barreiras do que facilitadores à integração da SM na AP. As barreiras e facilitadores apresentados estavam relacionados ao contexto social, fatores organizacionais, e componentes pessoais das equipes de trabalhadores. Os gerentes mostram não ter clareza sobre como operacionalizar suas ideias sobre integração da SM na AP e sobre o escopo das intervenções da SM na AP. Na visão dos gerentes a atuação do NASF ainda é incapaz de promover o cuidado integrado. Conclusões: A maior dificuldade não é criar a política de integração da SM na AP, mas viabilizar sua implementação. Recomenda-se aperfeiçoamento do processo de trabalho do NASF e investigações sobre a natureza e exequibilidade do apoio matricial no contexto da AP.--------------ABSTRACT: Introduction: The integration of mental health (MH) in primary care (PC) is the main guarantee of access to good practices in MH. Although widely recommended for decades, there are few models of effective integration of MH in PC. In 2008 the Brazilian Ministry of Health created the Core of Support for the Family Health Strategy (NASF), to be the responsible for the integration of MH in PC. This study aims understanding the PC manager’s perspective about the integration of MH in PC, their visions about the NASF and their suggestions to improve this model of integrated care. Based on results we will present recommendations to improve NASF’s model of integration MH in PC. Method: Qualitative research, exploratory and analytical descriptive study. We conducted 10 semi-structured interviews with PC managers, in the metropolitan region of Sao Paulo. We worked with the concept of intentional sampling, using as a criterion for choosing the extreme or deviant cases. We used the Framework Analysis methodological approach, a method of contente analysis. Results: The interviewees considered that there are more barriers than facilitators for the integration of MH in PC. The barriers and facilitators presented were related to the social context,organizational factors, and personal component of the PC staff. Managers’ shows not have clarity about how implement their ideas about integration of MH in PC and about the scope of the interventions of MH in PC. The NASF is still unable to promote the integrated care in managers perception. Conclusions: The biggest difficulty is not to create a policy of integration of MH in PC, but its implementation. It is recommended to improve the NASF work process and to research about the nature and feasibility of matrix support in the context of PC.