A series of photochromic bisthienylethenes (BTE) chromophores with different central ethene bridges were synthesized. Up to date, the rational design of BTE have been mainly carried out on the side aryl groups. In our work, the influence of the aromaticity of the central ethene bridge on the photochromic properties was studied. Moreover, unlike in the literature where most of BTE have a five-membered ring bridge, six-membered ring bridges were used. In Chapter 1, examples of photochromes are given, along with the main definitions. Chapter 2 deals with BTTE, a BTE with a benzobisthiadiazole bridge and with excellent photochromic properties. c-BTTE, the closed isomer, exhibits excellent thermal stability in various solvents and in the solid state. Its fluorescence can be modulated by solvato- and photochromism. It eliminates the usual bias of thermal back reaction, typical of BTE with a six-membered ring ethene bridge. Chapter 3 is devoted to compounds with bridges having different aromaticities (BTE-NA, BTA and BTTA). Their fluorescence can be modulated by solvato- and photochromism. The relation between aromaticity and thermal stability was established: the low aromaticity of the central ethene bridge with benzobisthiadiazole unit leads to a thermal irreversibility for BTTA, and the small energy barrier between the parallel and anti-parallel conformers and the great difference in absorption between BTTA and c-BTTA allow the full conversion from BTTA to c-BTTA. Molecules with a benzothiadiazole bridge, designed for complexation and for switchable nonlinear optical properties were prepared (Chapters 4 and 5). However, the targeted properties were not evidenced up to now.

Dans cette thèse, nous avons proposé et étudié une implémentation pratique du protocole DDF pour des relais auto-configurables au niveaux lien et système. Cette implémentation pratique, basée sur du codage correcteur d'erreur et une segmentation de la trame émise (comme pour les mécanismes d'HARQ), est combinée avec différents schémas de relayage tels que le Monostream, l'Alamouti Distribué ou encore les Rotations Distribuées.Nous avons montré que ces trois schémas atteignent les mêmes ordres de macro et micro diversité. L'ordre de micro diversité se réfère au gain qui peut être acquis via les coefficients d'évanouissement court-terme. Nous avons défini l'ordre de macro diversité comme le nombre de sources desquelles toute l'information peut être entièrement décodée sans l'aide des autres sources. De plus, nous avons prouvé que les trois schémas de relayage permettent d'atteindre de meilleures performances que le cas sans relais, leurs performances ne diffèrent qu'en terme de gain de codage: le DA DDF a de meilleure performance que le DR DDF, qui lui-même à de meilleures performances que le Monostream DDF. Cependant, les évaluations système ont montré que ce gain de codage n'est pas significatif au niveau système. Cela montre que la métrique pertinente à optimiser pour améliorer les performances est l'ordre de macro diversité atteignable par le protocole; c'est à dire que le gain le plus important apporté par le relayage est un gain de rapport signal à bruit long-terme. Nous avons donc proposé la technique de Patching pour augmenter l'ordre de macro diversité atteignable par une transmission. Cette technique vise à augmenter le nombre de bits transmis par le relais jusqu'au nombre de bits d'information contenus dans le message. Quand cette technique de Patching est combinée aux codes spatio-temporels, elle permet d'améliorer à la fois l'ordre de macro diversité et l'ordre de micro diversité. Cette technique de Patching a aussi été utilisée sur le canal à interférence et relais pour lequel nous avons introduit l'usage d'un protocole DDF précodé par un relais partagé par plusieurs paires source/destination. Dans ce cas, le Patching a pour but d'améliorer les performances par rapport au cas avec précodeur uniquement, et ce en maximisant le nombre de symboles précodés par relais. Les gains résultants de ces nombreuses variations de notre implémentation pratique du protocole DDF sont finalement décrits au niveau système pour un déploiement macro-cellulaire en zone urbaine, et pour un déploiement indoor, en considérant deux applications : une transmission unicast, par exemple du téléchargement sur internet, ou encore de la diffusion, de la télévision par exemple. Les résultats montrent que le Monostream DDF permet d'atteindre de bonnes performances tout en garantissant que la source et la destination n'ont pas conscience de la présence du relais dans le système. Par conséquent, ce protocole est un candidat intéressant pour le déploiement massif de relais auto-configurables dans les réseaux sans fil.

Trees are said to be unordered if the order between successor nodes of a given node is not important. Unranked trees are trees which do not have a priori bound on the number of successors of each node of the tree. Unranked and unordered trees are a possible model for semistructured data. The advantage of this model is that it is less dependant on the representation of semistructured data as XML documents, and the drowback is that formalisms (tree automata, logics) for manipulating this kind of trees are generally related with worse complexity results compared with similar formalisms for unranked and ordered trees. Our aim is a theoretical study of some logics for unranked and unordered trees, espetially from the point of view of using it as query languages for semistructured data. Thus, we are interested in the model checking problem and its complexity, in the satisfiability problem and in caracterising the expressive power of these logics. The model checking problem is, given a tree and a logic formula, to decide whether the trees satisfies the formula; model checking is the mecanism used for query evaluation. The satisfiability problem is, given a logic formula, to decide whether this formula admits some models; satisfiability can be used for query optimisation. Finally, caracterisation of the expressive power of a logic is a caracterisation of the kind of properties it can express. We start from a spatial logic which has been introduced as the basis of a query language for semistructured data. This logic is quite expressive and has several kinds of operators. We consider different fragments of this logic. We identify several interesting fragments of the logic for which the satisfiability problem is decidable, when this problem is known to be undecidable for other fragments. We compare fragments of the logic with monadic second order logic on trees and extensions of it. Finally, studying the model checking problem and its complexity allowed us to propose a model checking algorithm and to establish several results on theoretic complexity of model checking for several fragments of the spatial logic.

L'infrastructure routière joue un rôle très important dans l'occurrence des pertes de contrôle des véhicules légers en virage. Dans le but d'évaluer le niveau de risque associé à une infrastructure, les gestionnaires routiers utilisent actuellement des méthodes reposant sur des études statistiques ou empiriques, sachant que leur validité peut évoluer au cours du temps. Le but de ces travaux est donc de compléter ces méthodes par une évaluation physique des tracés routiers fondée sur la dynamique des véhicules. Tout d'abord, le problème a été abordé de manière théorique par une écriture de critères issus des modèles de la dynamique des véhicules (modèles point et bicyclette) visant à identifier et quantifier l'impact des paramètres routiers sur l'occurrence des pertes de contrôle. Ensuite, pour représenter avec plus de précision le comportement du conducteur, une modélisation numérique complète de contrôle du système véhicule-infrastructure-conducteur, fondée sur un algorithme génétique, a été mise en oeuvre. Enfin, ces deux approches ont été validées expérimentalement pour différentes adhérences, rayons de courbure et véhicules sur la piste de référence du LCPC de Nantes et sur routes interurbaines et urbaines. Ces travaux de thèse ont permis d'approfondir la connaissance du rôle de l'infrastructure et de développer deux méthodes (analytique et numérique) d'évaluation des tracés routiers. En perspective à cette étude, un logiciel destiné aux gestionnaires sera développé.

Cette thèse sera centrée sur les analyses des événements diphotons dans le détecteur ATLAS. L'activité évoluera au cours du temps et couvrira différents aspects: compréhension de la réponse du détecteur, participation a la prise de données, analyse physique et recherche de signaux de physique au-delà du modèle standard.

Les systèmes embarqués temps réel nécessitent une analyse temporelle pour valider leur comportement temporel.Afin de réduire le coût de développement, l'analyse doit être effectuée à une phase précoce au moment de la modélisationpour détecter les anomalies de conception. L'analyse d'ordonnançabilité est une des analyses temporelles qui permettentde s'assurer du bon fonctionnement du système conçu. Elle est issue de la théorie de l'ordonnancement temps réel.Plusieurs méthodes et tests analytiques ont été proposés par la communauté académique mais peu sont les tests adoptéspar les industriels. En effet, l'utilisation des tests d'analyse exige une large connaissance des travaux de recherches - misà jour régulièrement - afin de choisir la méthode la plus adaptée aux systèmes conçus pour les valider ou les dimensionnerpour le cas des systèmes qui sont en cours de conception.Cette thèse s'intéresse à cette utilisation minimaliste de la théorie de l'ordonnancement dans l'industrie, et propose dessolutions d'aide à la décision basées sur l'ingénierie dirigée par les modèles. Nos solutions visent à augmenter l'applicabilitéde la théorie de l'ordonnancement, à faciliter le choix des tests appropriés et à réduire le surdimensionnement qui peutêtre généré au moment de la conception. Ces solutions sont implémentées dans un Framework appelé MoSaRT offrantdes fonctionnalités pour les concepteurs (modeleurs et analystes) afin d'améliorer le processus de conception des systèmestemps réel en vue de leur ordonnançabilité.

This thesis studies logics which express properties on programs. These logics were originally intended for the formal verification of programs with pointers. Overall, no automated verification method will be proved tractable here- rather, we give a new insight on separation logic. The complexity and decidability of some essential fragments of this logic for Hoare triples were not known before this work. Also, its combination with some other verification methods was little studied. Firstly, in this work we isolate the operator of separation logic which makes it undecidable. We describe the expressive power of this logic, comparing it to second-order logics. Secondly, we try to extend decidable subsets of separation logic with a temporal logic, and with the ability to describe data. This allows us to give boundaries to the use of separation logic. In particular, we give boundaries to the creation of decidable logics using this logic combined with a temporal logic or with the ability to describe data.

Se basant sur les avancées techniques et scientifiques dans les domaines des systèmes d'information géographique et des indicateurs sociaux et environnementaux, l'objectif de cette thèse est de contribuer au développement d'un outil informatique d'aide à l'identification et à l'évaluation de variantes de tracés routiers. Le rôle du bureau d'étude en aménagement dans la conduite des projets routiers, ses besoins en matière de développement d'outil et les méthodes d'évaluation préexistantes sont d'abord présentés. On étudie ensuite les possibilités d'automatisation du traitement des données géographiques de l'aire d'étude d'un projet, permettant de faire ressortir les zones les plus propices à l'insertion de tronçons routiers (sur la base des fonctionnalités du logiciel ArcGIS). Afin d'améliorer et approfondir l'évaluation des variantes et d'aider à la sélection entre tracés, des indicateurs nouveaux relatifs aux effets globaux et locaux des tronçons routiers, sont proposés. Ils concernent les impacts environnementaux de type d'analyse de cycle de vie, la fragmentation des écosystèmes, la sécurité des transports, le patrimoine, les nuisances sonores, la co-visibilité et le rayonnement. Leur applicabilité et leur pertinence sont testées dans la comparaison de variantes d'un projet réel. Afin de répondre aux besoins du processus de concertation, une méthode interactive de combinaison des indicateurs est proposée. Enfin, les potentialités de développement de ces fonctions sous forme d'outil opérationnel pour le bureau d'étude, sont discutées.

Pour étudier les déformations permanentes des enrobés bitumineux, la division SMIT du LCPC a mis au point un essai triaxial thermorégulé à pression de confinement constante. Un important travail de mise au point de l'essai et de vérification des mesures a été réalisé. Une première campagne expérimentale, portant sur des essais de fluage à contrainte imposée, a permis d'étudier l'influence des paramètres pression de confinement, déviateur de contraintes et température sur le comportement des enrobés bitumineux sous chargement statique. Ces essais ont, de plus, permis de valider le principe d'équivalence temps température en grandes déformations, avec confinement. Un modèle élasto-viscoplastique, permettant de prendre en compte l'application d'une pression de confinement, a été développé pour simuler les essais de fluage. Son principe est basé sur les observations expérimentales. Les applications visées sont l'étude de structures bitumineuses telles que les plates-formes industrielles ou aires de stationnement. Une deuxième campagne d'essais de compression cyclique sinusoïdale a ensuite été menée. Lors de ces essais, on mesure : les déformations cycliques, de l'ordre de 10−4 m/m, qui nous permettent d'obtenir des informations sur l'évolution de la rigidité du matériau (module complexe et coefficient de Poisson) et les déformations permanentes, de l'ordre de 10−2 m/m, qui donnent des informations sur la résistance à l'orniérage. L'influence des paramètres pression de confinement, température et fréquence a été étudiée. Des différences importantes de comportement ont été mises en évidence entre les essais statiques et cycliques, liées à la variation cyclique des contraintes.

De récentes études utilisent des modèles microscopiques de trafic couplés à des modèles d'émission pour estimer des externalités environnementales, comme les consommations énergétiques. Ces estimations sont importantes pour évaluer l'efficacité des stratégies de trafic visant à réduire l'impact environnemental associé. La précision des estimations fournies par les outils utilisés est essentielle pour garantir le choix de la stratégie la plus adaptée. Les modèles de consommation énergétique compatibles avec une échelle microscopique ont été élaborés en utilisant en entrée des trajectoires construites à partir de données mesurées. Lorsqu'on souhaite alimenter ces modèles avec des trajectoires simulées par un modèle de trafic, se pose la question de la pertinence de ce couplage et de la quantification des erreurs associées. Dans cette perspective, cette thèse évalue l'influence de trajectoires issues de modèles de trafic sur l'estimation des consommations énergétiques des véhicules. Trois aspects du couplage sont évalués : (i) la simplification de la représentation du trafic, (ii) les paramètres des modèles de trafic et (iii) la méthode de calage des modèles de trafic. Pour le premier aspect les consommations énergétiques de trajectoires réelles et simplifiées sont comparées en vue de quantifier l'erreur d'approximation et de déterminer les principales simplifications cinématiques qui conduisent à cette erreur. Pour le deuxième aspect l'influence des lois d'écoulement propres à deux modèles de trafic (Newell et Gipps) a été évaluée. Enfin, pour le troisième et dernier aspect, l'influence de la méthode de calage des modèles de trafic cités a été analysée. Les consommations énergétiques ont été estimées en utilisant une version simplifiée de la bibliothèque Vehlib développée par le LTE/IFSTTAR. Les résultats montrent que, globalement, les estimations des consommations énergétiques restent assez précises tant qu'on respecte bien les paliers de vitesse cibles sur un trajet. L'accélération et les micro-variations de la vitesse apparaissent d'ordre secondaire pour le modèle de consommation utilisé. Ceci cependant n'élimine pas l'importance du choix du modèle de trafic et de la méthode de calage pour l'estimation de la consommation énergétique. En effet, il est bien connu qu'un modèle microscopique ne peut être calé en utilisant les caractéristiques individuelles de chaque véhicule observé. Le biais qui apparaît alors sur les trajectoires se retrouve sur les consommations énergétiques des véhicules. Cet effet est cependant plus limité quand on s'intéresse à un ensemble de véhicules, ce qui est le cadre de l'étude menée. Bien que restant faibles, les erreurs liées au couplage doivent être mises en relation avec le gain attendu par l'implémentation de stratégies de trafic qui peut être inférieur à 5%.