A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

Analyse comparative de l'équivalence terminologique en corpus parallèle et en corpus comparable : application au domaine du changement climatique

Les travaux entrepris dans le cadre de la présente thèse portent sur l’analyse de l’équivalence terminologique en corpus parallèle et en corpus comparable. Plus spécifiquement, nous nous intéressons aux corpus de textes spécialisés appartenant au domaine du changement climatique. Une des originalités de cette étude réside dans l’analyse des équivalents de termes simples. Les bases théoriques sur lesquelles nous nous appuyons sont la terminologie textuelle (Bourigault et Slodzian 1999) et l’approche lexico-sémantique (L’Homme 2005). Cette étude poursuit deux objectifs. Le premier est d’effectuer une analyse comparative de l’équivalence dans les deux types de corpus afin de vérifier si l’équivalence terminologique observable dans les corpus parallèles se distingue de celle que l’on trouve dans les corpus comparables. Le deuxième consiste à comparer dans le détail les équivalents associés à un même terme anglais, afin de les décrire et de les répertorier pour en dégager une typologie. L’analyse détaillée des équivalents français de 343 termes anglais est menée à bien grâce à l’exploitation d’outils informatiques (extracteur de termes, aligneur de textes, etc.) et à la mise en place d’une méthodologie rigoureuse divisée en trois parties. La première partie qui est commune aux deux objectifs de la recherche concerne l’élaboration des corpus, la validation des termes anglais et le repérage des équivalents français dans les deux corpus. La deuxième partie décrit les critères sur lesquels nous nous appuyons pour comparer les équivalents des deux types de corpus. La troisième partie met en place la typologie des équivalents associés à un même terme anglais. Les résultats pour le premier objectif montrent que sur les 343 termes anglais analysés, les termes présentant des équivalents critiquables dans les deux corpus sont relativement peu élevés (12), tandis que le nombre de termes présentant des similitudes d’équivalence entre les corpus est très élevé (272 équivalents identiques et 55 équivalents non critiquables). L’analyse comparative décrite dans ce chapitre confirme notre hypothèse selon laquelle la terminologie employée dans les corpus parallèles ne se démarque pas de celle des corpus comparables. Les résultats pour le deuxième objectif montrent que de nombreux termes anglais sont rendus par plusieurs équivalents (70 % des termes analysés). Il est aussi constaté que ce ne sont pas les synonymes qui forment le groupe le plus important des équivalents, mais les quasi-synonymes. En outre, les équivalents appartenant à une autre partie du discours constituent une part importante des équivalents. Ainsi, la typologie élaborée dans cette thèse présente des mécanismes de l’équivalence terminologique peu décrits aussi systématiquement dans les travaux antérieurs.

Effet de la surexpression du gène Hoxb4 sur la prolifération homéostatique des cellules T mémoires

Les cellules T mémoires (Tm) protègent l’organisme contre les réinfections de pathogènes qu’il a déjà combattu. Les Tm possèdent plusieurs propriétés en commun avec les cellules souches hématopoïétiques (CSH), notamment la capacité de se différencier, de s’auto-renouveler et de maintenir une population relativement constante au sein de l’organisme via des mécanismes homéostatiques. Il a été démontré que Hoxb4, un membre de la famille des facteurs de transcription Hox, était capable d’induire l’expansion des CSH in vivo et in vitro de façon rapide. Au vu de ces parallèles, nous avons posé l’hypothèse que la surexpression de Hoxb4 pourrait induire l’expansion de populations de Tm. Nous avons analysé les populations de Tm et lymphocytes T naïfs (Tn) dans les organes lymphoïdes de souris transgéniques surexprimant Hoxb4 et les avons comparées à des souris de type sauvage (wt). Alors que la fréquence des cellules T matures Hoxb4 diminuait avec l’âge, leur phénotype ainsi que leur viabilité demeuraient inchangés. Ensuite, nous avons procédé à des transplantations en compétition de Tm (CD4+CD44hi) Hoxb4 et wt chez des hôtes dépourvus de lymphocytes T (CD3-/-) dans le but d’évaluer leur contribution à la reconstitution du compartiment T après 2 mois. Au final, les Tm wt avait contribué un peu plus que les Tm Hoxb4 à la reconstitution (~60%). Des analyses fonctionnelles et phénotypiques ont montré que les Tm Hoxb4 possédaient une fonctionnalité normale, mais se distinguaient des Tm wt par la présence d’une faible population qui présentait un phénotype « mémoire central » (Tcm), conférant habituellement une longévité accrue. Les cellules des ganglions lymphatiques totaux des hôtes furent transplantées de façon sérielle chez trois générations de nouveaux hôtes. Le phénotype Tcm observés chez les Tm Hoxb4 était récapitulé chez les hôtes secondaires uniquement. Les ratios sont demeurés en faveur des Tm wt lors des deux transplantations suivantes, mais les Tm Hoxb4 ont commencé à montrer un avantage compétitif chez certains hôtes quaternaires. Une transplantation en compétition à court terme de Tm Hoxb4 et wt marqués avec un marqueur cytoplasmique ont démontré la présence chez les Tm Hoxb4 seulement d’une faible population CD62Lhi proliférant lentement. Ainsi, l’expansion préférentielle de Tcm CD4 par le biais d’une sélection ou d’une différenciation induite par la surexpression de Hoxb4 pourrait potentiellement leur permettre de maintenir un état de quiescence leur permettant de persister plus longtemps suite à des transplantations sérielles.

Lecture et réparation psychique : le potentiel thérapeutique du dispositif littéraire.

Réalisé en cotutelle internationale avec l'Université de Toulouse II-Le Mirail

Approches générales de résolution pour les problèmes multi-attributs de tournées de véhicules et confection d'horaires

Thèse réalisée en cotutelle entre l'Université de Montréal et l'Université de Technologie de Troyes

Une nouvelle méthode smoothed particle hydrodynamics : simulation des interfaces immergées et de la dynamique Brownienne des molécules avec des interactions hydrodynamiques

Dans cette thèse, nous présentons une nouvelle méthode smoothed particle hydrodynamics (SPH) pour la résolution des équations de Navier-Stokes incompressibles, même en présence des forces singulières. Les termes de sources singulières sont traités d'une manière similaire à celle que l'on retrouve dans la méthode Immersed Boundary (IB) de Peskin (2002) ou de la méthode régularisée de Stokeslets (Cortez, 2001). Dans notre schéma numérique, nous mettons en oeuvre une méthode de projection sans pression de second ordre inspirée de Kim et Moin (1985). Ce schéma évite complètement les difficultés qui peuvent être rencontrées avec la prescription des conditions aux frontières de Neumann sur la pression. Nous présentons deux variantes de cette approche: l'une, Lagrangienne, qui est communément utilisée et l'autre, Eulerienne, car nous considérons simplement que les particules SPH sont des points de quadrature où les propriétés du fluide sont calculées, donc, ces points peuvent être laissés fixes dans le temps. Notre méthode SPH est d'abord testée à la résolution du problème de Poiseuille bidimensionnel entre deux plaques infinies et nous effectuons une analyse détaillée de l'erreur des calculs. Pour ce problème, les résultats sont similaires autant lorsque les particules SPH sont libres de se déplacer que lorsqu'elles sont fixes. Nous traitons, par ailleurs, du problème de la dynamique d'une membrane immergée dans un fluide visqueux et incompressible avec notre méthode SPH. La membrane est représentée par une spline cubique le long de laquelle la tension présente dans la membrane est calculée et transmise au fluide environnant. Les équations de Navier-Stokes, avec une force singulière issue de la membrane sont ensuite résolues pour déterminer la vitesse du fluide dans lequel est immergée la membrane. La vitesse du fluide, ainsi obtenue, est interpolée sur l'interface, afin de déterminer son déplacement. Nous discutons des avantages à maintenir les particules SPH fixes au lieu de les laisser libres de se déplacer. Nous appliquons ensuite notre méthode SPH à la simulation des écoulements confinés des solutions de polymères non dilués avec une interaction hydrodynamique et des forces d'exclusion de volume. Le point de départ de l'algorithme est le système couplé des équations de Langevin pour les polymères et le solvant (CLEPS) (voir par exemple Oono et Freed (1981) et Öttinger et Rabin (1989)) décrivant, dans le cas présent, les dynamiques microscopiques d'une solution de polymère en écoulement avec une représentation bille-ressort des macromolécules. Des tests numériques de certains écoulements dans des canaux bidimensionnels révèlent que l'utilisation de la méthode de projection d'ordre deux couplée à des points de quadrature SPH fixes conduit à un ordre de convergence de la vitesse qui est de deux et à une convergence d'ordre sensiblement égale à deux pour la pression, pourvu que la solution soit suffisamment lisse. Dans le cas des calculs à grandes échelles pour les altères et pour les chaînes de bille-ressort, un choix approprié du nombre de particules SPH en fonction du nombre des billes N permet, en l'absence des forces d'exclusion de volume, de montrer que le coût de notre algorithme est d'ordre O(N). Enfin, nous amorçons des calculs tridimensionnels avec notre modèle SPH. Dans cette optique, nous résolvons le problème de l'écoulement de Poiseuille tridimensionnel entre deux plaques parallèles infinies et le problème de l'écoulement de Poiseuille dans une conduite rectangulaire infiniment longue. De plus, nous simulons en dimension trois des écoulements confinés entre deux plaques infinies des solutions de polymères non diluées avec une interaction hydrodynamique et des forces d'exclusion de volume.

Identification et caractérisation d’une souris mutante Skam26Jus comme un nouveau modèle des anomalies du tube neural

Les anomalies du tube neural (ATN) sont des malformations congénitales très fréquentes chez l’humain en touchant 1-2 nouveau-nés sur 1000 naissances. Elles résultent d’une fermeture incomplète du tube neural lors de l’embryogenèse. L’étiologie des ATN est complexe impliquant des facteurs environnementaux et des facteurs génétiques. La souris représente un outil puissant afin de mieux comprendre la génétique des ATN. Particulièrement, la souris modèle a impliqué fortement la voie de la polarité cellulaire planaire (PCP) dans ces malformations. Dans cette étude, nous avons identifié et caractérisé une nouvelle souris mutante, Skam26Jus dans le but d’identifier un nouveau gène causant les ATN. Skam26Jus a été générée par l’agent mutagène N-Ethyl-N-Nitrosuera. Cette souris est caractérisée par une queue en forme de boucle ou de crochet, soit un phénotype associé aux ATN. La complémentation génétique de la souris Skam26Jus avec une souris mutante d’un gène de la voie PCP Vangl2 (Looptail) a montré une interaction génétique entre le gène muté chez Skam26Jus et Vangl2, suggérant que ces deux gènes fonctionnent dans des voies de signalisation semblables ou parallèles. Un total de 50% des embryons doubles hétérozygotes avec un phénotype de la queue présentent un spina bifida. La cartographie par homozygotie du génome entier suivie par un clonage positionnel a permis d’identifier Lrp6 comme le gène muté chez Skam26Jus. Une mutation homozygote, p.Ile681Arg, a été identifiée dans Lrp6 chez les souris ayant une queue en boucle/crochet. Cette mutation était absente dans 30 souches génétiques pures indiquant que cette mutation est spécifique au phénotype observé. Une étude de phénotype-génotype évalue la pénétrance à 53 % de la mutation Ile681Arg. Lrp6 est connu pour activer la voie canonique Wnt/β-caténine et inhiber la voie non canonique Wnt/PCP. Le séquençage de la région codante et de la jonction exon-intron de LRP6 chez 268 patients a mené à l’identification de quatre nouvelles rares mutations faux sens absentes chez 272 contrôles et de toutes les bases de données publiques. Ces mutations sont p.Tyr306His ; p.Tyr373Cys ; p.Val1386Ile; p.Tyr1541Cys et leur pathogénicité prédite in silico indiquent que p.Val1386Ile est bénigne, et que p.Tyr306Hiset p.Tyr373Cys et p.Tyr1541Cys sont i possiblement dommageables. Les mutations p.Tyr306His, p.Tyr373Cys et p.Tyr1541Cys ont affecté l’habilité de LRP6 d’activer la voie Wnt/β-caténine en utilisant le système rapporteur luciférase de pTOPflash. Nos résultats suggèrent que LRP6 joue un rôle dans le développement des ATN chez une petite fraction de patients ayant une ATN. Cette étude présente aussi Skam26Jus comme un nouveau modèle pour étudier les ATN chez l’humain et fournit un outil important pour comprendre les mécanismes moléculaires à l’origine des A TN.

Les écoles privées à projet religieux ou spirituel : analyse de trois «communautés» éducatives : juive, musulmane et Steiner : à Montréal

La légitimité des écoles privées fondées sur un projet religieux ou spirituel fait l’objet de débats épineux tant au Québec qu’ailleurs, depuis plusieurs années (chapitre 1). À la différence des nombreux travaux normatifs déjà produits sur ces questions, cette thèse propose une contribution empirique sur la réalité de certaines de ces écoles à Montréal. Notre objectif général consiste donc à comprendre comment la dimension religieuse ou spirituelle d'écoles privées de groupes ou courants minoritaires (juives, musulmanes, Steiner) se traduit dans les discours et pratiques de l'école. La mise en lien d’écoles abritant des projets éducatifs minoritaires de différentes natures vise par ailleurs à poser un regard plus large sur l’identité, ethnique ou religieuse. Après avoir analysé les trois écoles, nous examinons les différences ou convergences significatives entre elles. Puis, nous tentons de mieux comprendre comment leurs discours et leurs pratiques nous renseignent sur les attentes parallèles relatives à l’éducation en contexte libéral. Nous portons alors attention (chapitre 2) aux interactions entre le curriculum « séculier » et une perspective religieuse ou spirituelle, à la conception de l'autonomie dans la scolarisation, à la formation du citoyen et à la hiérarchisation des valeurs éducatives. En nous inspirant entre autres de Juteau (1999), nous considérons ces écoles comme des « communautés » éducatives. Notre démarche méthodologique (chapitre 3), d’inspiration ethnographique, s’articule autour d'observations participantes en 5e et en 6e année du primaire et en 1re et 2e année du secondaire (environ 3 jours par classe) et à plus de 45 entrevues, menées auprès des enseignants, des directions d’école et des parents d’élèves. Même si notre dispositif ne consiste pas à faire « émerger » une théorie, nous nous inspirons de la méthode de la « théorisation ancrée » pour analyser nos données. Le premier chapitre d’analyse (chapitre 4) illustre d’abord un cas relativement « pur » de communalisation, puisque l’école Steiner produit du spirituel sans forcément se situer dans un rapport de force avec d’autres groupes sociaux. Cela reflète donc comment une lignée identitaire peut être construite grâce à l’enracinement dans une tradition et une mémoire « créées» par l’école. L’école musulmane (chapitre 5) adapte plutôt les références associées à la religion de manière à constituer un « pont » entre la socialisation primaire et celle de la société d’accueil. On constate en effet que la direction et les enseignants de l’école ne réinventent pas la lignée croyante, mais ne la reproduisent pas non plus à l’identique. En ce qui concerne l’école juive (chapitre 6), elle permet surtout d’attester une communauté ethnoreligieuse extérieure. La tradition juive enseignée à l’école, souvent qualifiée de « traditionalisme non religieux » par les acteurs scolaires, présente donc peu de réinterprétations ou de transformations dans ce contexte scolaire. Un dernier chapitre d’analyse (chapitre 7), abordant les trois écoles dans une perspective comparative, met notamment en perspective comment ces trois institutions transmettent une culture identitaire et un style de vie débordant le cadre scolaire, qui englobent les croyances religieuses et/ou spirituelles, mais ne s’y réduisent pas.

Une évaluation de la dimension de la lumière de boîtiers 0,018" provenant de quatre différents manufacturiers. Existe-t-il un standard dans l’industrie?

Introduction: The objective of this experimental research was to evaluate the slot’s vertical dimension and profile of four different 0.018″ self-ligating brackets and to identify the level of tolerance accepted by manufacturers during the fabrication process. It was then possible to calculate and compare the torque play of those brackets using the measured values and the nominal values. Material and Methods: Twenty-five 0.018″ self-ligating brackets of upper left central incisors from the following manufacturers, Speed® (Strite Industries, Cambridge, Ontario, Canada), InOvationR® (GAC, Bohemia, NY, USA), CarriereLX® (Ortho Organizers, Carlsbad, CA, USA) and SmartClip® (3M Unitek, Monrovia, CA, USA), were evaluated using electron microscopy with 150X images. The height of each bracket was measured at every 100 microns of depth from the lingual wall at five different levels. A Student T test was then used to compare our results with the manufacturer’s stated value of 0.018″. To determine if there was a significant difference between the four manufacturers, analysis of variance (ANOVA) was performed at the significance level of p<0.05. The torque play was then calculated using geometrical formulas. Results: On average, Speed brackets were oversized by 2.7%[MV 0.0185″ (SD:0.002)], InOvationR by 3.7% [MV 0.0187″ (SD:0.002)], CarriereLX by 3.2% [MV 0.0186″ (SD:0.002)] and SmartClipSL by 5.0% [MV 0.0189″ (SD:0.002)]. The height of all brackets was significantly higher than the nominal value of 0.018″ (p<0.001). The slot of SmartClip brackets was significantly larger than those of the other three manufacturers (p<0.001). None of the brackets studied had parallel gingival and occlusal walls; some were convergent and others divergent. These variations can induce a torque play up to 4.5 degrees with a 0.017″x0.025″ wire and 8.0 degrees with a 0.016″x0.022″ wire. Conclusion: All studied brackets were oversized. None of the brackets studied had parallel gingival and occlusal walls and there was no standard between manufacturers for the geometry of their slots. These variations can cause a slight increase of the torque play between the wire and the bracket compared with the nominal value.

A layered JavaScript virtual machine supporting dynamic instrumentation

L’observation de l’exécution d’applications JavaScript est habituellement réalisée en instrumentant une machine virtuelle (MV) industrielle ou en effectuant une traduction source-à-source ad hoc et complexe. Ce mémoire présente une alternative basée sur la superposition de machines virtuelles. Notre approche consiste à faire une traduction source-à-source d’un programme pendant son exécution pour exposer ses opérations de bas niveau au travers d’un modèle objet flexible. Ces opérations de bas niveau peuvent ensuite être redéfinies pendant l’exécution pour pouvoir en faire l’observation. Pour limiter la pénalité en performance introduite, notre approche exploite les opérations rapides originales de la MV sous-jacente, lorsque cela est possible, et applique les techniques de compilation à-la-volée dans la MV superposée. Notre implémentation, Photon, est en moyenne 19% plus rapide qu’un interprète moderne, et entre 19× et 56× plus lente en moyenne que les compilateurs à-la-volée utilisés dans les navigateurs web populaires. Ce mémoire montre donc que la superposition de machines virtuelles est une technique alternative compétitive à la modification d’un interprète moderne pour JavaScript lorsqu’appliqué à l’observation à l’exécution des opérations sur les objets et des appels de fonction.

Uncovering parallel ribosome biogenesis pathways during pre-60S subunit maturation

Paralogs are present during ribosome biogenesis as well as in mature ribosomes in form of ribosomal proteins, and are commonly believed to play redundant functions within the cell. Two previously identified paralogs are the protein pair Ssf1 and Ssf2 (94% homologous). Ssf2 is believed to replace Ssf1 in case of its absence from cells, and depletion of both proteins leads to severely impaired cell growth. Results reveal that, under normal conditions, the Ssf paralogs associate with similar sets of proteins but with varying stabilities. Moreover, disruption of their pre-rRNP particles using high stringency buffers revealed that at least three proteins, possibly Dbp9, Drs1 and Nog1, are strongly associated with each Ssf protein under these conditions, and most likely represent a distinct subcomplex. In this study, depletion phenotypes obtained upon altering Nop7, Ssf1 and/or Ssf2 protein levels revealed that the Ssf paralogs cannot fully compensate for the depletion of one another because they are both, independently, required along parallel pathways that are dependent on the levels of availability of specific ribosome biogenesis proteins. Finally, this work provides evidence that, in yeast, Nop7 is genetically linked with both Ssf proteins.

La belle époque du parlant : panorama de la chronophonie à l'aube du vingtième siècle

La volonté de produire des vues sonores est présente dès les débuts du cinéma, comme en témoignent les expérimentations d'Edison, Lioret, Messter et tant d'autres. Ce mémoire s'inscrira en continuité des études débutées il y a une vingtaine d'années déjà, tendant à montrer que l'utilisation du son in ne débute pas en 1927 avec The Jazz Singer (Alan Crosland). Il s'orientera sur les travaux de Léon Gaumont relatifs à la synchronisation du son et de l'image par l'entremise de son chronophone, et examinera en quoi cette tentative de synchronisation pourrait participer aux processus attractionnels du cinéma des premiers temps, période d'inventions et d'expérimentations multiples de la fin du XIXème siècle jusqu'aux alentours de 1914. De facto, comme ce cinéma a principalement une dimension exhibitionniste, l'ajout du son postsynchronisé semble renforcer son côté attractionnel prédominant : non seulement on « fait vivre des images », mais en plus on adjoint la possibilité de « donner à entendre », en rendant plus intrinsèquement sensitive l'expérience cinématographique. Il sera principalement question de l'apport de cette nouvelle attraction relativement à plusieurs instances : le fabricant de vues animées, le « metteur en scène », l'exhibiteur et, bien entendu, le spectateur. Ces recherches seront basées sur différents types de « vues phoniques » produites par la compagnie de Léon Gaumont qui soulèveront des questions parallèles tantôt relatives aux appareillages, tantôt relatives aux paradigmes de monstration dans lesquelles ces vues s'inscrivent. Ces divers éléments permettront alors de distinguer à quel(s) niveau(x) se situe la frontière entre « l'attraction d'attraction » et l'attraction en soi, que constitue l'adjonction d'un son synchronisé à l'image.

Du dialogue entre pensée et poésie chez le second Heidegger

Le réveil de la question de l’Être fut le grand leitmotiv de la pensée de Martin Heidegger. Or cette question ne trouve pas la même formulation de Sein und Zeit jusqu’aux derniers écrits. En effet, si l’œuvre maîtresse du penseur prépare le terrain pour un questionnement sur le langage et la parole authentique, elle ne rattache pas explicitement la problématique de l’Être à celle de la poésie. À partir du milieu des années trente, un tournant se fera jour : la poésie deviendra un partenaire privilégié dans la mise en œuvre de la question de l’Être. Cette tendance de pensée se radicalisera dans les décennies ultérieures, où la compréhension du langage véritable comme poème deviendra de plus en plus centrale. À quoi tient ce rôle imparti au discours poétique dans l’œuvre de Heidegger? Quelle place occupe le dire poétique dans le cadre plus large d’une herméneutique philosophique tournée vers l’aspect langagier de toute existence? Comment comprendre le lien entre une pensée de l’Ereignis, du Quadriparti et de la fondation de l’Être à travers le dire du poète? Enfin, quels parallèles faut-il dresser entre les tâches respectives du penseur et du poète dans le contexte d’un dialogue authentique? Ces questions guideront notre parcours et traceront la voie d’une interprétation dont l’accent portera sur les thèmes privilégiés du dépassement du langage conceptuel de la philosophie, de la place déterminante du Sacré et de la responsabilité insigne du poète et du penseur dans le projet de la garde de l’Être. Notre objectif sera d’éclaircir le sens de ce recours à la poésie afin de mieux comprendre en quoi Heidegger a pu trouver dans un tel dialogue les ressources nécessaires qui alimenteront l’élan de son unique quête : une approche authentique du sens de l’Être, de son alètheia et de son topos. On sait l’importance de ce dialogue : estimant que la métaphysique s’était caractérisée par un « oubli de l’être » (Seinsvergessenheit), Heidegger juge qu’une autre pensée (das andere Denken) reste malgré tout possible, mais qu’elle aurait à se déployer en tant que dialogue entre pensée et poésie.

Domain/Multi-Domain Protection and Provisioning in Optical Networks

L’évolution récente des commutateurs de sélection de longueurs d’onde (WSS -Wavelength Selective Switch) favorise le développement du multiplexeur optique d’insertionextraction reconfigurable (ROADM - Reconfigurable Optical Add/Drop Multiplexers) à plusieurs degrés sans orientation ni coloration, considéré comme un équipement fort prometteur pour les réseaux maillés du futur relativement au multiplexage en longueur d’onde (WDM -Wavelength Division Multiplexing ). Cependant, leur propriété de commutation asymétrique complique la question de l’acheminement et de l’attribution des longueur d’ondes (RWA - Routing andWavelength Assignment). Or la plupart des algorithmes de RWA existants ne tiennent pas compte de cette propriété d’asymétrie. L’interruption des services causée par des défauts d’équipements sur les chemins optiques (résultat provenant de la résolution du problème RWA) a pour conséquence la perte d’une grande quantité de données. Les recherches deviennent ainsi incontournables afin d’assurer la survie fonctionnelle des réseaux optiques, à savoir, le maintien des services, en particulier en cas de pannes d’équipement. La plupart des publications antérieures portaient particulièrement sur l’utilisation d’un système de protection permettant de garantir le reroutage du trafic en cas d’un défaut d’un lien. Cependant, la conception de la protection contre le défaut d’un lien ne s’avère pas toujours suffisante en termes de survie des réseaux WDM à partir de nombreux cas des autres types de pannes devenant courant de nos jours, tels que les bris d’équipements, les pannes de deux ou trois liens, etc. En outre, il y a des défis considérables pour protéger les grands réseaux optiques multidomaines composés de réseaux associés à un domaine simple, interconnectés par des liens interdomaines, où les détails topologiques internes d’un domaine ne sont généralement pas partagés à l’extérieur. La présente thèse a pour objectif de proposer des modèles d’optimisation de grande taille et des solutions aux problèmes mentionnés ci-dessus. Ces modèles-ci permettent de générer des solutions optimales ou quasi-optimales avec des écarts d’optimalité mathématiquement prouvée. Pour ce faire, nous avons recours à la technique de génération de colonnes afin de résoudre les problèmes inhérents à la programmation linéaire de grande envergure. Concernant la question de l’approvisionnement dans les réseaux optiques, nous proposons un nouveau modèle de programmation linéaire en nombres entiers (ILP - Integer Linear Programming) au problème RWA afin de maximiser le nombre de requêtes acceptées (GoS - Grade of Service). Le modèle résultant constitue celui de l’optimisation d’un ILP de grande taille, ce qui permet d’obtenir la solution exacte des instances RWA assez grandes, en supposant que tous les noeuds soient asymétriques et accompagnés d’une matrice de connectivité de commutation donnée. Ensuite, nous modifions le modèle et proposons une solution au problème RWA afin de trouver la meilleure matrice de commutation pour un nombre donné de ports et de connexions de commutation, tout en satisfaisant/maximisant la qualité d’écoulement du trafic GoS. Relativement à la protection des réseaux d’un domaine simple, nous proposons des solutions favorisant la protection contre les pannes multiples. En effet, nous développons la protection d’un réseau d’un domaine simple contre des pannes multiples, en utilisant les p-cycles de protection avec un chemin indépendant des pannes (FIPP - Failure Independent Path Protecting) et de la protection avec un chemin dépendant des pannes (FDPP - Failure Dependent Path-Protecting). Nous proposons ensuite une nouvelle formulation en termes de modèles de flots pour les p-cycles FDPP soumis à des pannes multiples. Le nouveau modèle soulève un problème de taille, qui a un nombre exponentiel de contraintes en raison de certaines contraintes d’élimination de sous-tour. Par conséquent, afin de résoudre efficacement ce problème, on examine : (i) une décomposition hiérarchique du problème auxiliaire dans le modèle de décomposition, (ii) des heuristiques pour gérer efficacement le grand nombre de contraintes. À propos de la protection dans les réseaux multidomaines, nous proposons des systèmes de protection contre les pannes d’un lien. Tout d’abord, un modèle d’optimisation est proposé pour un système de protection centralisée, en supposant que la gestion du réseau soit au courant de tous les détails des topologies physiques des domaines. Nous proposons ensuite un modèle distribué de l’optimisation de la protection dans les réseaux optiques multidomaines, une formulation beaucoup plus réaliste car elle est basée sur l’hypothèse d’une gestion de réseau distribué. Ensuite, nous ajoutons une bande pasiv sante partagée afin de réduire le coût de la protection. Plus précisément, la bande passante de chaque lien intra-domaine est partagée entre les p-cycles FIPP et les p-cycles dans une première étude, puis entre les chemins pour lien/chemin de protection dans une deuxième étude. Enfin, nous recommandons des stratégies parallèles aux solutions de grands réseaux optiques multidomaines. Les résultats de l’étude permettent d’élaborer une conception efficace d’un système de protection pour un très large réseau multidomaine (45 domaines), le plus large examiné dans la littérature, avec un système à la fois centralisé et distribué.

Régime d'historicité et historiographie en France et au Québec, 1956-1975. Michel de Certeau, Fernand Dumont et François Furet.

L’historien n’écrit pas de nulle part. Ancré dans son présent et participant à la société, il en épouse – ou critique – les projets, les utopies et les grands récits. Nous proposons dans ce travail d’approfondir cet ancrage à travers une histoire croisée et comparée des expériences du temps de deux historiens français (Michel de Certeau, François Furet) et d’un historien-sociologue québécois (Fernand Dumont). Notre objectif est double : il s’agit d’établir, dans un premier temps, les correspondances entre leurs expériences lors de deux tournants, celui des années 1960 et celui des années 1970. Tout en prenant en compte les contextes des auteurs à l’étude, nous élargirons l’échelle d’analyse afin de cerner la contemporanéité d’expériences du temps qui ne se réduisent pas aux seuls cadres nationaux. Nous pourrons ainsi établir les coordonnées des régimes d’historicité à chaque tournant en contribuant à préciser les différentes combinaisons des modes futuristes et présentistes en jeu. Dans un deuxième temps, nous explorerons les liens entre historiographie et régime d’historicité afin de mettre en évidence les jonctions entre les considérations épistémologiques et l’horizon d’attente des historiens à l’étude. En abordant plus spécifiquement la question du rôle de l’historien dans sa société, nous jaugeons les transformations parallèles de son expérience du temps et de ses pratiques historiographiques. Le passage de l’expérience d’une Histoire en marche au tournant de 1960 à celle d’une histoire bloquée au tournant de 1970 affecte considérablement la place et le statut de l’historien. D’éminent passeur du temps à l’écoute du sens du progrès, l’historien voit son statut contesté et marginalisé, ce qui ne veut pas dire que son rôle est moins important. Qu’il débusque des alternatives passées ou court-circuite des téléologies, il est chargé de maintenir coûte que coûte ouverts les horizons du temps. Nous verrons spécifiquement le sens que prenait cette tâche à un moment où la possibilité d’une « société nouvelle », après Mai 68, pointait à l’horizon des contemporains.