Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

La protection des biotopes en droit suisse : étude de droit matériel

Introduction : Confronter les intérêts de la protection de la nature à d'autres, c'est vouloir faire passer les petites fleurs et les grenouilles avant l'Homme. Hérésie ! C'est en effet parfois l'existence même d'un régime légal de protection des biotopes qui fait sourire. L'étudier en profondeur n'en paraît que plus oiseux. Ce problème d'acceptation est sans doute propre au droit de l'environnement de manière générale : l'intérêt public défendu ici n'est pas rattachable directement à l'intérêt du plus grand nombre. On peut parfois même en être très loin. Si, malgré cela, certains domaines du droit de l'environnement sont actuellement très en vogue, la protection de la nature fait partie de ses aspects moins porteurs. Ce type de préoccupations est pour beaucoup futile, voire inutile ou même déplacé. Il apparaît ainsi important de commencer par se demander pourquoi protéger la nature, et que protéger dans cette nature (chapitre 1). Vient ensuite évidemment la question de la portée de la protection. Il convient pour cela tout d'abord de faire le point sur le droit en vigueur (chapitre 2) : l'histoire des règles topiques en matière de protection des biotopes a été particulièrement mouvementée et son analyse apporte un important éclairage à la compréhension des dispositions actuelles ; cette législation est en outre complétée par une multitude de dispositions connexes ou apparentées, de droit interne et de droit international. Ce contexte général posé, la portée de la protection s'examine plus précisément par l'analyse des articles 18 ss LPN (chapitre 3) : les biotopes protégés de manière générale par l'article 18 LPN lui-même - remarquable exemple d'un droit dynamique -, les biotopes inventoriés et la végétation des rives. Il est enfin nécessaire de se pencher sur le « comment protéger» par une étude des instruments de mise en oeuvre (chapitre 4) et des instruments auxiliaires à la protection (chapitre 5). Ce faisant, la pertinence du régime légal de protection des biotopes sera soulignée, tant sur le fond que sur la forme. En l'introduisant aux subtilités de ce régime et de son intégration dans l'ordre juridique en général, nous espérons ainsi faire passer le lecteur au-delà des idées reçues.

Caractéristiques de la clientèle des structures à bas seuil d'accès pour toxicomanes mettant à disposition du matériel d'injection stérile en Suisse [Characteristics of attenders of low threshold syringe-exchange centers providing sterile syringes in Switzerland].

BACKGROUND: The objectives of the present study were to evaluate Aids prevention in drug users attending low threshold centres providing sterile injection equipment in Switzerland, to identify the characteristics of these users, and to monitor the progress of indicators of drug-related harm. METHODS: This paper presents results from a cross-sectional survey carried out in 1994. RESULTS: The mean age of attenders was 28 years, and women represented 27% of the sample. 75% of attenders used a combination of hard drugs (heroin and cocaine). Mean duration of heroin consumption was 8 years, and of cocaine 7 years; 76% of attenders had a fixed abode, but only 34% had stable employment; 45% were being treated with methadone; 9% had shared their injection material in the last 6 months; 24% always used condoms in the case of a stable relationship, and 71% in casual relationships. In a cluster analysis constructed on the basis of multiple correspondence analysis, two distinct profiles of users emerge: highly marginalised users with a high level of consumption (21%); irregular users, better integrated socially, of which the majority are under methadone treatment (79%). CONCLUSION: Theses centres play a major role in Aids prevention. Nevertheless, efforts to improve the hygiene conditions of drug injection in Switzerland should be pursued and extended. At the same time, prevention of HIV sexual transmissions should be reinforced.

Du Commerce établi entre l'âme et le corps, ou Traité de la liaison qui subsiste entre le spirituel et le matériel, fidèlement rendu du latin d'Emanuel de Swedenborg, par le traducteur de la Nouvelle Jérusalem et de sa céleste doctrine. Édition augmentée du discours préliminaire de Th. Hartley,...

Comprend : Discours préliminaire