Automates à contraintes semilinéaires = Automata with a semilinear constraint

Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.

La poésie graphique : Christian Dotremont, Roland Giguère, Henri Michaux et Jérôme Peignot

Réalisé en cotutelle avec l'Université de la Sorbonne - Paris IV

Synthesis and properties of d6 metal complexes of bidentate and tridentate ‘super donor’ ligands

La polyvalence de la réaction de couplage-croisé C-N a été explorée pour la synthèse de deux nouvelles classes de ligands: (i) des ligands bidentates neutres de type N^N et (ii) des ligands tridentates neutres de type N^N^N. Ces classes de ligands contiennent des N-hétérocycles aromatiques saturés qui sont couplés avec hexahydropyrimidopyrimidine (hpp). Les ligands forment de cycles à six chaînons sur la coordination du centre Ru(II). Ce fait est avantageux pour améliorer les propriétés photophysiques des complexes de polypyridyl de Ru(II). Les complexes de Ru(II) avec des ligands bidentés ont des émissions qui dépendent de la basicité relative des N-hétérocycles. Bien que ces complexes sont électrochimiquement et photophysiquement attrayant, le problème de la stereopurité ne peut être évité. Une conception soigneuse du type de ligand nous permet de synthétiser un ligand bis-bidentate qui est utile pour surmonter le problème de stereopurité. En raison de la spécialité du ligand bis-bidentate, son complexe diruthénium(II,II) présente une grande diastéréosélectivité sans séparation chirale. Alors que l'unité de hpp agit comme un nucléophile dans le mécanisme de C-N réaction de couplage croisé, il peut également agir en tant que groupe partant, lorsqu'il est activé avec un complexe de monoruthenium. Les complexes achiraux de Ru(II) avec les ligands tridentés présentent des meilleures propriétés photophysiques en comparason avec les prototypes [Ru(tpy)2]2+ (tpy = 2,2′: 6′, 2′′-terpyridine). L’introduction de deux unités de hpp dans les ligands tridentates rend le complexe de Ru(II) en tant que ‘absorbeur noir’ et comme ‘NIR émetteur’ (NIR = de l’anglais, Near Infra-Red). Cet effet est une conséquence d'une meilleure géométrie de coordination octaédrique autour de l'ion Ru(II) et de la forte donation sigma des unités hpp. Les complexes du Re(I) avec des ligands tridentates présentent un comportement redox intéressant et ils émettent dans le bleu. L'oxydation quasi-réversible du métal est contrôlée par la donation sigma des fragments hpp, tandis que la réduction du ligand est régie par la nature électronique du motif N-hétérocycle central du ligand lui-même. Cette thèse presente également l'auto-assemblage des métal-chromophores comme ‘métallo-ligands’ pour former des espèces supramoléculaires discretes utilisant des complexes neutres. Les synthèses et propriétés des métaux-chromophores précités et les supramolécules sont discutées.

Excitonic behaviour in polymeric semiconductors : the effect of morphology and composition in heterostructures

La compréhension des interrelations entre la microstructure et les processus électroniques dans les polymères semi-conducteurs est d’une importance primordiale pour leur utilisation dans des hétérostructures volumiques. Dans cette thèse de doctorat, deux systémes diffèrents sont étudiés ; chacun de ces systèmes représente une approche diffèrente pour optimiser les matériaux en termes de leur microstructure et de leur capacité à se mettre en ordre au niveau moléculaire. Dans le premier système, j’ai effectué une analyse complète des principes de fonctionnement d’une cellule photovoltaïque hybride à base des nanocristaux d’oxyde de zinc (ZnO) et du poly (3-hexylthiophène) (P3HT) par absorption photoinduite en régime quasi-stationnaire (PIA) et la spectroscopie PIA en pompage modulé dépendant de la fréquence. L’interface entre le donneur (le polymère P3HT) et l’accepteur (les nanoparticules de ZnO), où la génération de charges se produit, joue un rôle important dans la performance des cellules photovoltaïques hybrides. Pour améliorer le mécanisme de génération de charges du P3H: ZnO, il est indispensable de modifier l’interface entre ses constituants. Nous avons démontré que la modification d’interface moléculaire avec cis-bis (4, 40 - dicarboxy-2, 20bipyridine) ruthénium (II) (N3-dye) et a-Sexithiophen-2 yl-phosphonique (6TP) a améliorée le photocourant et la performance dans les cellules P3HT: ZnO. Le 6TP et le N3 s’attachent à l’interface du ZnO, en augmentant ainsi l’aire effective de la surface donneur :accepteur, ce qui contribue à une séparation de charge accrue. De plus, le 6TP et le N3 réduisent la densité de pièges dans le ZnO, ce qui réduit le taux de recombinaison des paires de charges. Dans la deuxième partie, jai introduit une matrice hôte polymérique de polystyréne à masse molaire ulra-élevée, qui se comporte comme un solide pour piéger et protéger une solution de poly [2-méthoxy, 5- (2´-éthyl-hexoxy) -1,4-phénylènevinylène- PPV] (MEHPPV) pour utilisation dans des dispositifs optoèlectroniques quantiques. Des travaux antérieurs ont montré que MEH-PPV en solution subit une transition de conformation, d’une conformation enroulé à haute température (phase bleue) à une conformation de chaîne étendue à basse température (phase rouge). La conformation de la chaîne étendue de la solution MEH-PPV favorise les caractéristiques nécessaires à l’amélioration des dispositifs optoélectroniques quantiques, mais la solution ne peut pas être incorporées dans le dispositif. J’ai démontré que la caractéristique de la phase rouge du MEH-PPV en solution se maintient dans une matrice hôte polymérique de polystyrène transformé de masse molaire très élevée, qui se comporte comme un solide (gel de MEH-PPV/UHMW PS), par le biais de la spectroscopie de photoluminescence (PL) dépendant de la température (de 290K à 80 K). La phase rouge du gel MEH-PPV/UHMW PS se manifeste par des largeurs de raie étroites et une intensité augmentée de la transition 0-0 de la progression vibronique dans le spectre de PL ainsi qu’un petit décalage de Stokes entre la PL et le spectre d’absorption à basse température. Ces approches démontrent que la manipulation de la microstructure et des propriétés électroniques des polymères semi-conducteurs ont un impact direct sur la performance de dispositifs pour leurs développements technologiques continus.