Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement.

L’impact de l’unité centrale sur les propriétés optoélectroniques d’imino-thiophènes électrochromes : s ynthèse et caractérisation

De nouvelles molécules électrochromes à base de thiophène et comportant des liaisons azométhine ont été synthétisées et caractérisées afin d’étudier les relations entre leur structure et leurs propriétés. Le but premier de cette étude a été d’obtenir plus d’information pouvant guider le développement de nouvelles molécules électrochromes performantes à l’aide d’une meilleure compréhension de ce qui influence leurs caractéristiques. La synthèse a été réalisée en évitant l’emploi de conditions réactionnelles difficiles et les quantités d’éléments de transition ont été minimisées. Les nouvelles structures ont permis de vérifier l’effet de la variation de l’unité centrale sur les propriétés finales. Les modifications ont principalement porté sur la longueur effective de conjugaison par l’ajout d’unités de thiophène, ainsi que l’incorporation d’une liaison vinylique. L’effet de la présence de chaînes alkyles sur les positions C3 et C4 des thiophènes du coeur de chaque molécule a également été étudié. Les propriétés telles le potentiel d’oxydation, le nombre d’électrons échangés, la réversibilité des phénomènes d’oxydoréduction, l’absorbance, ainsi que l’électrochromisme chimique et électrochimique ont été étudiées, principalement par voltampérométrie cyclique et spectrométrie UV-visible en solution. De plus, des calculs théoriques ont été effectués afin d’appuyer les résultats obtenus expérimentalement. La modification du coeur de la molécule par ajout de thiophènes voisins n’a pas entraîné de grand déplacement bathochrome du λAbs, et dans le cas des thiophènes dialkylés, un déplacement hypsochrome d’au moins 66 nm a eu lieu causé par la torsion du squelette. L’étude des structures à l’état solide a même révélé l’obtention d’un nouveau composé possédant des propriétés vapochromiques prononcées. Les nouveaux composés électrochromes possèdent des valeurs de λAbs allant de 431 à 513 nm, et des potentiels d’oxydation de 0,8 à 1,2 V.