• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 22
  • 6
  • 2
  • Tagged with
  • 30
  • 18
  • 7
  • 7
  • 6
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Des fantômes dans la voix : une hypothèse neuropsychanalytique sur la structure de l’inconscient / Phantoms in the voice : a neuropsychoanalytic hypothesis on the structure of the unconscious

Bazan, Ariane 30 June 2009 (has links)
Ce travail dans le domaine de la « neuropsychanalyse » propose une spéculation théorique sur la structure physiologique de l’inconscient psychanalytique en recoupant les observations expérimentales et cliniques des deux cadres. L’écoute clinique indique une insistance de phonèmes récurrents dans ce qui fait conflit, appelés « phonèmes fantômes ». En effet, tel un membre fantôme, le signifiant refoulé est investi d’une intention mais son articulation est bloquée. Or, du fait de la structure ambiguë du langage, un même mouvement d’articulation peut radicalement changer de signification. C’est ce mécanisme qui donne lieu au retour du refoulé dans le signifiant et permet la survie de fantômes phonémiques qui tisseraient la structure linguistique de l’inconscient. Cette question du signifiant est présentée en écho à une question plus fondamentale, celle de l’émergence du psychique en réponse à la contrainte de l’organisme de faire la distinction entre intérieur et extérieur. Pour cette distinction, il faut supposer l’existence d’un système d’inhibition ciblé puisqu’il doit faire ressortir précisément ce qui dans la façon d’appréhender le monde extérieur n’a pas été anticipé. Cette précision est offerte par le modèle sensorimoteur des copies d’efférence, qui présentifie le mouvement avant qu’il ne se fasse et montre comment l’inhibition est condition de la représentation, constitutif du psychique. Pour l’humain la nécessité de la distinction intérieur-extérieur est impérieuse du fait précisément du langage qui rend complexe l’identification du lieu d’où ça parle. Elle mène au mouvement de refoulement, qui par inhibition fait apparaitre les fantômes phonèmiques comme les représentations en négatif des fragments de paroles refoulés. Cette réflexion théorique est précédée d’une mise en contexte élaborée dans l’histoire et l’épistémologique parfois controversée de la neuropsychanalyse et revendique pour sa méthodologie une approche transcendantale. / This study in the domain of « neuropsychoanalysis » proposes a theoretical speculation on the physiological structure of the psychoanalytic unconscious by cross-checking the experimental and clinical observations from both domains. Clinical listening indicates the insistence of recurring phonemes when it comes to conflictual topics, called “phonemic phantoms”. Indeed, as is the case in a phantom limb, the repressed signifier is invested by an intention while its articulation is blocked. However, due to the ambiguous structure of language, a same articulation movement can radically change signification. It is this mechanism that causes the return of the repressed in the signifier and allows for the survival of phonemic phantoms which are thought to weave the linguistic structure of the unconscious. The question of the signifier is presented as an instantiation of a more fundamental question, the emergence of the psychic realm in response to the constraint of the organism to distinguish interior from exterior. For this distinction, the existence of an accurate system of inhibition must be postulated since it has to be able to delineate precisely what in the way of apprehending the world was not anticipated by the organism. This precision is allowed by the sensorimotor model of efference copies, which presentifies the movement before its realisation and shows how inhibition is a condition for representation. For humans, the necessity of the interior-exterior distinction is imperious due to language which renders complex the identification of the locus from where speech is initiated (from where “id” speaks). This necessity leads to the movement of repression, which by inhibition induces phonemic phantoms in the form of negative representations of repressed speech. This work is preceded by an introduction which contextualises the theoretical reflexion in the sometimes controversial history and epistemology of neuropsychoanalysis and which claims a transcendental approach for its methodology.
22

Le document technologique original dans le droit de la preuve au Québec

de Saint-Exupéry, Gilles 08 1900 (has links)
L’adoption de la Loi concernant le cadre juridique des technologies de l’information en 2001 a permis de mettre en place un cadre juridique favorisant l’intégration des technologies de l’information dans le droit. Plus particulièrement en droit de la preuve, cela a conféré au document technologique la qualité d’élément de preuve. Dans ce contexte il a été nécessaire d’adapter certains articles du Code civil du Québec et du même fait certaines règles dont la règle de la meilleure preuve, telle que prévue à l’article 2860 C.c.Q.. Cette règle s’appuyait jusqu’à présent sur la notion d’original, notion propre au support papier dont il a fallu trouver un équivalent pour le document technologique. C’est ce qu’a fait la Loi en prévoyant à son article 12 les caractéristiques de l’original technologique. Nous nous penchons sur cette notion en regardant quelles sont ses origines et ses justifications, puis nous avons analysé l’article 12 de la Loi qui traite de l’original sous forme technologique. Enfin nous nous sommes interrogé sur la place des reproductions dans le contexte technologique et nous avons vu que celles-ci ont pris de plus en plus d’importance à côté du document original, au fur et à mesure du perfectionnement des moyens de reproduction. / The adoption, in 2001, of the Act to Establish a Legal Framework for Information Technology (the Act) allowed the establishment of a legal framework facilitating the integration of Information Technology in law. More specifically in law of evidence, this allowed for the recognition of the technology-based document as evidence. In this context, it was necessary to adapt certain sections of the Civil Code of Québec and, thus, certain rules, among which the best evidence rule, set forth in Section 2860 C.C.Q. Until the Act, this rule relied on the original, a concept specific to the paper medium; consequently, it became necessary to find an equivalent for the technology-based document. This was done by Section 12 of the Act, which sets out the technology-based original’s characteristics. We will look into this concept’s origins and rationale, before analysing Section 12 of the Act, which addresses the original in a technological form. We will then examine the reproductions’ place in the technological context, and ascertain their growing importance beside that of the original document’s, as the means of reproduction continuoulsy improved.
23

Systématique moléculaire et biogéographie de trois genres malgaches menacés d'extinction Delonix, Colvillea et Lemuropisum (Caesalpinioideae: Leguminosae)

Babineau, Marielle 02 1900 (has links)
Ce mémoire porte sur les relations phylogénétiques, géographiques et historiques du genre afro-malgache Delonix qui contient onze espèces et des genres monospécifiques et endémiques Colvillea et Lemuropisum. Les relations intergénériques et interspécifiques entre les espèces de ces trois genres ne sont pas résolues ce qui limite la vérification d’hypothèses taxonomiques, mais également biogéographiques concernant la dispersion de plantes depuis ou vers Madagascar. Une meilleure compréhension des relations évolutives et biogéographiques entre ces espèces menacées d’extinction permettrait une plus grande efficacité quant à leur conservation. L’objectif de ce mémoire est de reconstruire la phylogénie des espèces à l’aide de régions moléculaires des génomes chloroplastique et nucléaire, d’identifier les temps de divergences entre les espèces et de reconstruire l’aire géographique ancestrale pour chacun des groupes. Ce projet démontre que le genre Delonix n’est pas soutenu comme étant monophylétique et qu’une révision taxonomique s’impose. Les relations intergénériques demeurent floues quant à la position phylogénétique de Colvillea et nos résultats suggèrent de l’hybridation ou un assortiment incomplet de cette lignée. Les espèces sont apparues et se sont diversifiées au Miocène à partir d’un ancêtre commun du sud de Madagascar. La phylogénie montre deux clades associés aux aires géographiques de répartition des espèces opposant les espèces largement répandues à celles majoritairement restreintes au fourré aride. Différentes hypothèses afin d’expliquer la dispersion des Delonix africains au Miocène à partir de Madagascar sont discutées. Un point de mire sur les interactions biotiques et abiotiques, passées et présentes, dans le fourré aride de Madagascar est recommandé en terme de conservation. / This thesis discusses the phylogenetic, geographic, and historic relationships of the eleven species of the afro-madagascan genus Delonix, as well as the endemic, monospecific genera Colvillea and Lemuropisum. The intergeneric and interspecific relationships of these taxa are unresolved which limits the evaluation of taxonomic changes suggested by some studies and of conflicting biogeographical hypotheses regarding plant dispersal around Madagascar. These species are all endangered, therefore a better understanding of their evolutionary pattern would benefit conservation efforts in Madagascar. The objective of this thesis is to reconstruct a phylogeny using multiple loci from two distinct genomes, and to use it to reconstruct the ancestral geographic range of species and estimate the times of divergence of the lineages. Results indicate that genus Delonix is not supported as monophyletic and a taxonomic revision is necessary. The exact position for Colvillea is ambiguous and suggests hybridization or incomplete lineage sorting for this taxon. Species evolved mostly during the Miocene from southern Madagascan ancestors. The phylogeny shows two clades associated with the geographic distribution of species, opposing the widespread species to the rare and mostly southern, endemic, spiny thicket species. The different hypotheses that could explain the Miocene long distance dispersal of the two African Delonix species from Madagascar are discussed. We recommend that conservation efforts should focus on past and present biotic and abiotic interactions in the Madagascar spiny thicket, considering that this unique habitat is an evolutionary cradle for at least three genera.
24

Systématique moléculaire et biogéographie de trois genres malgaches menacés d'extinction Delonix, Colvillea et Lemuropisum (Caesalpinioideae: Leguminosae)

Babineau, Marielle 02 1900 (has links)
Ce mémoire porte sur les relations phylogénétiques, géographiques et historiques du genre afro-malgache Delonix qui contient onze espèces et des genres monospécifiques et endémiques Colvillea et Lemuropisum. Les relations intergénériques et interspécifiques entre les espèces de ces trois genres ne sont pas résolues ce qui limite la vérification d’hypothèses taxonomiques, mais également biogéographiques concernant la dispersion de plantes depuis ou vers Madagascar. Une meilleure compréhension des relations évolutives et biogéographiques entre ces espèces menacées d’extinction permettrait une plus grande efficacité quant à leur conservation. L’objectif de ce mémoire est de reconstruire la phylogénie des espèces à l’aide de régions moléculaires des génomes chloroplastique et nucléaire, d’identifier les temps de divergences entre les espèces et de reconstruire l’aire géographique ancestrale pour chacun des groupes. Ce projet démontre que le genre Delonix n’est pas soutenu comme étant monophylétique et qu’une révision taxonomique s’impose. Les relations intergénériques demeurent floues quant à la position phylogénétique de Colvillea et nos résultats suggèrent de l’hybridation ou un assortiment incomplet de cette lignée. Les espèces sont apparues et se sont diversifiées au Miocène à partir d’un ancêtre commun du sud de Madagascar. La phylogénie montre deux clades associés aux aires géographiques de répartition des espèces opposant les espèces largement répandues à celles majoritairement restreintes au fourré aride. Différentes hypothèses afin d’expliquer la dispersion des Delonix africains au Miocène à partir de Madagascar sont discutées. Un point de mire sur les interactions biotiques et abiotiques, passées et présentes, dans le fourré aride de Madagascar est recommandé en terme de conservation. / This thesis discusses the phylogenetic, geographic, and historic relationships of the eleven species of the afro-madagascan genus Delonix, as well as the endemic, monospecific genera Colvillea and Lemuropisum. The intergeneric and interspecific relationships of these taxa are unresolved which limits the evaluation of taxonomic changes suggested by some studies and of conflicting biogeographical hypotheses regarding plant dispersal around Madagascar. These species are all endangered, therefore a better understanding of their evolutionary pattern would benefit conservation efforts in Madagascar. The objective of this thesis is to reconstruct a phylogeny using multiple loci from two distinct genomes, and to use it to reconstruct the ancestral geographic range of species and estimate the times of divergence of the lineages. Results indicate that genus Delonix is not supported as monophyletic and a taxonomic revision is necessary. The exact position for Colvillea is ambiguous and suggests hybridization or incomplete lineage sorting for this taxon. Species evolved mostly during the Miocene from southern Madagascan ancestors. The phylogeny shows two clades associated with the geographic distribution of species, opposing the widespread species to the rare and mostly southern, endemic, spiny thicket species. The different hypotheses that could explain the Miocene long distance dispersal of the two African Delonix species from Madagascar are discussed. We recommend that conservation efforts should focus on past and present biotic and abiotic interactions in the Madagascar spiny thicket, considering that this unique habitat is an evolutionary cradle for at least three genera.
25

Le document technologique original dans le droit de la preuve au Québec

de Saint-Exupéry, Gilles 08 1900 (has links)
L’adoption de la Loi concernant le cadre juridique des technologies de l’information en 2001 a permis de mettre en place un cadre juridique favorisant l’intégration des technologies de l’information dans le droit. Plus particulièrement en droit de la preuve, cela a conféré au document technologique la qualité d’élément de preuve. Dans ce contexte il a été nécessaire d’adapter certains articles du Code civil du Québec et du même fait certaines règles dont la règle de la meilleure preuve, telle que prévue à l’article 2860 C.c.Q.. Cette règle s’appuyait jusqu’à présent sur la notion d’original, notion propre au support papier dont il a fallu trouver un équivalent pour le document technologique. C’est ce qu’a fait la Loi en prévoyant à son article 12 les caractéristiques de l’original technologique. Nous nous penchons sur cette notion en regardant quelles sont ses origines et ses justifications, puis nous avons analysé l’article 12 de la Loi qui traite de l’original sous forme technologique. Enfin nous nous sommes interrogé sur la place des reproductions dans le contexte technologique et nous avons vu que celles-ci ont pris de plus en plus d’importance à côté du document original, au fur et à mesure du perfectionnement des moyens de reproduction. / The adoption, in 2001, of the Act to Establish a Legal Framework for Information Technology (the Act) allowed the establishment of a legal framework facilitating the integration of Information Technology in law. More specifically in law of evidence, this allowed for the recognition of the technology-based document as evidence. In this context, it was necessary to adapt certain sections of the Civil Code of Québec and, thus, certain rules, among which the best evidence rule, set forth in Section 2860 C.C.Q. Until the Act, this rule relied on the original, a concept specific to the paper medium; consequently, it became necessary to find an equivalent for the technology-based document. This was done by Section 12 of the Act, which sets out the technology-based original’s characteristics. We will look into this concept’s origins and rationale, before analysing Section 12 of the Act, which addresses the original in a technological form. We will then examine the reproductions’ place in the technological context, and ascertain their growing importance beside that of the original document’s, as the means of reproduction continuoulsy improved.
26

Identification de marqueurs prédictifs dans les cancers colorectaux métastatiques : expérience du programme ProfiLER / Identification of predictive biomarker in metastatic colorectal cancer : ProfiLER program experience

Jiang, Xiaojun 23 November 2016 (has links)
Le domaine de l'oncologie progresse de manière rapide, surtout depuis l'avènement des thérapies ciblées. Parmi elles, les inhibiteurs de tyrosine kinase multicible (ITK) antiangiogéniques ont fait la preuve de leur efficacité dans plusieurs types de cancers métastatiques. Le sorafenib, le sunitinib, le pazopanib, l'axtinib, et le regorafenib sont aujourd'hui utilisés en pratique courante. Ces premières thérapeutiques ont ouvert la voie au développement de nombreuses autres molécules ciblant d'autres récepteurs TK (crizotinib, céritinib). Les ITK ciblant les récepteurs de l'angiogénèse inhibent des récepteurs membranaires tels que les VEGFR, les PDGFR, les FGFR etc. Ces molécules améliorent généralement survie et/ou survie sans progression dans les essais cliniques pivots mais il existe une grande variabilité interindividuelle en termes de bénéfice clinique. Nous avons cherché à mettre en évidence des biomarqueurs moléculaires prédictifs de la réponse, afin de mieux sélectionner les patients susceptibles de bénéficier de ces ITKs. L'objectif final de ce travail est ainsi de mieux sélectionner les patients candidats à ce traitement, mais il est également médico économique. La part la plus importante de ce travail est axée sur le regorafenib, qui a fait preuve de son efficacité dans les cancers colorectaux métastatiques prétraités et les tumeurs stromales gastro-intestinalesen échec d'imatinib et de sunitinib. Cependant, aucun paramètre clinique ou histologique n'a été identifié pour sélectionner les patients potentiels pouvant bénéficier de ce traitement, ou, à l'inverse pour éviter de traiter les patients chez lesquels la balance bénéfice/risque est défavorable. Ce travail a été réalisé dans le cadre de programme ProfiLER (NCT01774409) en partenariat avec les plateformes de génomique tumorale (Centre de Recherche en Cancérologie de Lyon, Centre Léon Bérard). Cette étude avait pour objectif de tester l'hypothèse que l'ensemble des altérations des gènes codant pour les kinases cibles d'un ITK donné pourrait être associé au bénéfice clinique de ce traitement. Dans notre étude, nous avons observé que les cancers des patients présentant un bénéfice clinique accumulent des gains chromosomiques sur les gènes cibles, et à l'inverse, les cancers des patients nonrépondeurs possèdent plutôt un profil inverse. L'index génomique, un paramètre évaluant l'instabilité chromosomique ne permet pas de différencier les patients répondeurs, mais nous avons mis en évidence que l'accumulation de certains gains sur les gènes cibles est associée à une meilleure survie. Nous avons ainsi proposé un nouveau concept : celui de TTC (Tumor Target Charge), la somme des gains sur les gènes cibles ; et à l'inverse, celui de TTL (Tumor Target Loss), la somme des pertes sur les gènes cibles. En nous appuyant sur ces définitions de TTC et TTL, nous avons généré un algorithme nommé SUMSCAN traduisant donc la somme des gains et des pertes sur les gènes cibles. Le score SUMSCAN a été appliqué à une première cohorte composée essentiellement de patients ayant un cancer colorectal métastatique et traités par regorafenib, ainsi qu'à une 2ème cohorte de validation composée des patients ayant différentes pathologies néoplasiques. Chez les patients ayant un cancer colorectal « moléculairement sélectionné», la médiane de survie sans progression était de 9 mois contre 3 mois dans la cohorte de patients non sélectionnés (X. JIANG et al, Oncotarget, 2015). Nous avons pu montrer que le principe de ce score pronostique pouvait s'appliquer aux autres antiangiogéniques multi-ITKs.. Nous sommes ainsi en cours de validation de ce score pour la prédiction de la survie sur de larges populations de patients présentant divers types tumoraux : sarcome des tissus mous, carcinomes ovariens de haut grade, carcinome rénal carcinome de la thyroïde, etc.) / Small molecule antiangiogenic tyrosine kinase inhibitors (TKI), such as regorafenib, sorafenib, sunitinib, pazopanib, axitinib, and cabozantinib, are active in a variety of advanced cancers, including renal cell carcinoma (RCC), gastrointestinal stromal tumors (GIST), hepatocellular carcinoma (HCC), colorectal cancer (CRC) and thyroid cancers. Predictive criteria for response to these multiple kinase inhibitors (MTKI) are not as well determined as for tumors harboring key driver alterations, such as BCR-ABL translocations in chronic myeloid leukemia (CML), KIT-mutant GIST, BRAF-mutant melanoma, and ALK-positive non-small cell lung cancer among others. Regorafenib, for instance, has been shown to yield a progression-free survival (PFS) improvement in pretreated metastatic colorectal cancer (mCRC) and in imatinib and sunitinib refractory gastrointestinal stromal tumors (GIST). We report that the antitumor activity of MTKIs in tumors lacking a well-defined oncogenic driver is strongly correlated with copy number alterations of genes encoding the protein kinases targeted by these drugs. A concept of tumor target charge (TTC), defined as the total gains of the genes encoding for targets of MTKIs as well as tumor target loss (TTL) was developed, and correlated to response to regorafenib in 2 cohorts of patients composed of mCRC and STS patients. A predictive model, called SUMSCAN, was conceived as a binary classifier to identify patients as either good or poor candidates for use of MTKIs. Moreover, the PFS and OS of patients with a favorable SUMSCAN score were significantly improved. Importantly, SUMSCAN predicted exclusively response to regorafenib, but not the response to conventional chemotherapy in mCRC
27

La juste rémunération des créateurs de la musique à l’ère du numérique : regard croisé France-Canada : quelle régulation pour assurer l’équitable répartition des redevances musicales à l’ère du numérique?

Pouet-Bocard, Nils 05 1900 (has links)
La rémunération des créateurs d’œuvres musicales est indispensable au développement et à la pérennisation de l’innovation artistique. Cette rémunération doit se faire de manière juste et équitable entre les divers acteurs de la création musicale. Pour assurer une répartition équitable des redevances musicales, le droit de la propriété intellectuelle prévoit diverses règles et mécanismes de gestion des droits d’auteur. Cependant, à l’ère du numérique, ces mécanismes ne semblent plus efficaces face au développement des technologies informatiques. À côté des règles étatiques, des règles d’origine privée se sont développées. Parmi ces règles, les règles de nature technique et informatique présentent des caractéristiques intéressantes et efficaces pour renforcer et/ou suppléer les règles étatiques de gestion des droits d’auteur. En partant du principe que l’on se trouve aujourd’hui dans une ère juridique postmoderne où se juxtaposent des règles juridiques d’origine et de nature différentes, ce mémoire se présente comme une réflexion sur le type de régulation le plus pertinent pour assurer la juste et équitable rémunération des créateurs de la musique à l’ère du numérique. / The remuneration of music creators is essential for the development and sustainability of artistic innovation. This remuneration must be fair and equitable among the various participants in the creation of music. To ensure a fair distribution of music royalties, intellectual property law sets up various rules and mechanisms of copyright management. Yet, in this digital age, these mechanisms no longer seem appropriate for the developments of such technologies. In addition to legislative rules, other rules have developed in the private sector. Among them, technical and IT rules provide interesting and efficient characteristics to reinforce and/or replace the collective management rules found in mainstream copyright law. Starting with the assumption that we are today in a postmodern legal era where legal rules of different origins and natures are juxtaposed, this dissertation is a reflection on the relevant type of regulation that is needed to ensure a fair and equitable remuneration for music creators in the digital age.
28

Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune

Geyer, Claudio Fernando Resin January 1991 (has links)
Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.
29

Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune

Geyer, Claudio Fernando Resin January 1991 (has links)
Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.
30

Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune

Geyer, Claudio Fernando Resin January 1991 (has links)
Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.

Page generated in 0.0919 seconds