Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élargissement afin de garantir la terminaison de l'analyse. Par ailleurs, nous voulons rendre les méthodes d'interprétation abstraite accessibles à des langages de simulation hybrides. Dans cette thèse, nous généralisons d'abord l'accélération abstraite, une méthode qui améliore la précision des invariants numériques inférés. Ensuite, nous montrons comment étendre l'accélération abstraite et l'itération de max-stratégies à des programmes logico-numériques, ce qui aide à améliorer le compromis entre l'efficacité et la précision. En ce qui concerne les systèmes hybrides, nous traduisons le langage de programmation synchrone et hybride Zelus vers les automates hybrides logico-numériques, et nous étendons les méthodes d'analyse logico-numérique aux systèmes hybrides. Enfin, nous avons mis en oeuvre les méthodes proposées dans un outil nommé ReaVer et nous fournissons des résultats expérimentaux. En conclusion, cette thèse propose une approche unifiée à la vérification de systèmes logico-numériques discrets et hybrides fondée sur l'interprétation abstraite qui est capable d'intégrer des méthodes d'interprétation abstraite numériques sophistiquées tout en améliorant le compromis entre l'efficacité et la précision.

La crise du pétrole et les contraintes écologiques obligent de nombreux constructeurs automobiles à développer des programmes de recherche importants dans le développement des véhicules électriques et hybrides électriques. Dans ce contexte, cette thèse a pour but de vérifier la faisabilité d'une chaine de traction hybride innovante consistant à partir d'un véhicule thermique existant et à réduire la puissance du moteur thermique tout en ajoutant des moteurs intégrés dans les roues du train arrière. Ce travail a été réalisé dans le cadre d'un projet financé par l'ADEME et en collaboration notamment avec le constructeur automobile AIXAM-MEGA. Plus précisément, le travail de thèse a donc porté sur le dimensionnement des sources énergétiques, la modélisation énergétique et fonctionnelle du véhicule et enfin la réalisation et la caractérisation expérimentale du véhicule. Dans le premier chapitre, l'auteur développe une revue bibliographique relative aux véhicules hybrides électriques existants. Cela permet ensuite d'introduire le concept innovant de chaine de traction hybride décrit ci-dessus, reposant en quelque sorte sur un couplage par la route des puissances de propulsion thermiques et électriques. Dans le deuxième chapitre l'auteur aborde le dimensionnement des sources énergétiques en se focalisant sur les super-condensateurs. Il propose une approche analytique simple de calcul reposant sur les missions définies par le constructeur AIXAM-MEGA. Les modules de super-condensateurs retenus sont ensuite caractérisés expérimentalement (capacité, résistance interne, rendement de stockage...) en prenant en compte l'effet de la température. Les troisième et quatrième chapitres sont consacrés à la modélisation du véhicule. En premier lieu, le troisième chapitre aborde la modélisation énergétique du véhicule. Le véhicule a entièrement été modélisé en utilisant le formalisme de représentation énergétique macroscopique développée initialement au Laboratoire d'Électrotechnique et d'Électronique de Puissance de Lille. Ce modèle a permis de développer le contrôle du véhicule. Ensuite, dans le quatrième chapitre, l'auteur présente la modélisation fonctionnelle du véhicule par machine d'état. Cela permet de prévoir le comportement du véhicule dans ses différentes phases de vie et de définir les transitions entre ces différentes phases. Cette étape de prototypage virtuel est essentielle afin de vérifier en amont la fonctionnalité du véhicule et sa sécurité. Enfin, le cinquième et dernier chapitre est entièrement consacré à la caractérisation expérimentale du véhicule. Les différents fonctionnements thermiques, électriques et hybrides sont testés lors de vrais essais de roulage. En conclusion, le travail de thèse a abouti à la réalisation d'un véhicule hybride. Les approches de dimensionnement des sources et de modélisation sont ainsi validées, tout en faisant également la preuve de la faisabilité d'une chaine cinématique hybride électrique avec couplage par la route.

Nous avons étudié l'effet de proximité dans un système mésoscopique comportant un conducteur de métal normal N en contact avec des îles supraconductrices S latérales. Une méthode d'évaporation métallique oblique sur un masque submicronique suspendu a été mise au point sous ultra-vide, nous permettant de contrôler la qualité de l'interface N-S depuis un contact métallique parfait jusqu'à une barrière tunnel. Nous présentons un nouveau type de filtre haute-fréquence large bande, minituarisé sur un substrat de cuivre, efficace jusqu'à très haute fréquence (20 GHz) et dédié au filtrage absolu d'échantillons mésoscopiques. Les mesures de transport jusqu'à très basse température (20 mK) montrent que le comportement du transport dans un métal normal en proximité avec un supraconducteur dépend fortement des paramètres microscopiques que sont la longueur de cohérence des paires d'électrons, la longueur équivalente de barrière à l'interface et la dimension latérale des jonctions. Le couplage Josephson montre un comportement en température nouveau, décrit par les modèles classiques dans un régime propre pour la longueur de cohérence normale. L'observation de centres de gliseement de phase à basse température exemplifie le caractère de bande interdite nulle de la supraconductivité de proximité. Dans une géométrie de réseau bideimensionnel, un nouveau régime d'anisotropie extrême est réalisé, se caractérisant par une oscillation très piquée de la température de transition résistive en fonction du champ magnétique. Dans un conducteur normal en anneau, un flux magnétique permet de piloter l'interférence entre les courants supraconducteurs selon un effet de type SQUID. Les corrections de conductance liées à la localisation faible dans le conducteur normal au voisinage d'une interface N-S sont également discutées. Nous présentons enfin une expérience décisive afin de tester l'effet du blocage de Coulomb sur l'effet de proximité dans une jonction N-S en régime tunnel.

Dans le domaine de la tomographie par rayons X préclinique, la tomographie spectrale est une voie de plus en plus en plus explorée. Les objectifs de la tomographie spectrale sont tant la caractérisation et la quantification des tissus et agents de contraste que l'amélioration de contraste entre tissus mous. Cela passe par l'exploitation de l'information spectrale (ou énergétique) des photons X et non plus seulement par la quantité de rayons X détectée comme en tomographie standard par absorption de rayons X. L'intérêt de la tomographie spectrale se trouve renforcé par l'arrivée des caméras à comptage comme le détecteur à pixels hybrides XPAD3 qui ont la capacité de sélectionner les photons X en fonction de leur énergie. Ce détecteur a été développé pour fonctionner dans le micro-tomodensitomètre PIXSCAN construit au CPPM. Dans ce contexte, cette thèse a deux buts~: participer à la construction du prototype PIXSCAN et y effectuer une preuve de concept de la tomographie spectrale. Le premier but est rempli grâce au développement de l'interface d'acquisition du PIXSCAN. Le second est atteint par l'implantation de la méthode de séparation de composantes dont le but est d'isoler les contributions photoélectrique, Compton et celles des agents de contraste. Ce travail débute par la caractérisation de cette méthode et se termine par sa démonstration sur données réelles acquises à l'aide du prototype PIXSCAN.

Le graphène épitaxié sur des substrats métalliques est un modèle prometteur pour le développement de nouveaux systèmes hybrides, dans lesquelles les effets d'interface peuvent être exploités pour concevoir de nouvelles propriétés. L'insertion d'espèces entre le graphène et son substrat, une opération connues sous le nom d'-"intercalation", est une approche très puissante à cet égard. Avec l'aide des outils de la physique des surfaces, nous avons étudié trois systèmes graphène/métal, dont deux sont des systèmes hybrides intercalés, et l'autre est un candidat pour un tel système : (i) le graphène/Ir(111) intercalé avec un oxyde ultra-mince, (ii) graphène/Ir(111) intercalé avec des couches sub-atomiques du cobalt et (iii) de graphène sur Re(0001). Nous avons montré que certains défauts, en particulier les ridules (délamination du graphène de son substrat) et d'autres régions courbées du graphène, jouent un rôle crucial, non anticipé, dans le processus d'intercalation. Nous avons également observé que l'intercalation se déroule d'une manière nettement différente sous ultravide et à pression atmosphérique. Dans le premier système, des espèces contenant de l'oxygène entrent à l'extrémité ouverte des ridules et diffusent au long de ces ridules pour former des nano-rubans d'oxyde. Ces rubans modifient le dopage électronique du graphène, ce qui se traduit également par des changements substantiels dans la réponse optique inélastique (Raman) du graphène. Dans le second système, l'efficacité de l'intercalation est apparue dépendante de l'interaction graphène-métal, laquelle varie entre les domaines de graphène orientés différemment sur_(111). Dans ce système, les sites d'entrée pour les espèces intercalées, des régions courbées dans le graphène, ont pu être identifiés grâce à l'observation in_operando (en cours de croissance) du processus. Enfin, la croissance de graphène dans un troisième système (graphène/Re(0001)), a été étudiée afin de permettre le développement de futurs systèmes graphène/Re hybrides supraconducteurs. Dans ce système, nous avons proposé deux voies de croissance, l'une étant basé sur un processus de croissance en surface d'un monocristal massif de Re(0001), l'autre reposant sur la ségrégation en surface, activée thermiquement, du carbone dissout à haute température dans des films minces de Re sur saphir.

Actuellement le marché automobile est en forte demande de modèles hybrides capables de limiter les consommations et les rejets de CO2. Parmi les diff érentes solutions technologiques possibles, cette thèse traite d'un dispositif microhybride de type Stop-Start reposant sur l'utilisation de moteurs à aimants permanents à commutation mécanique. Ce travail de recherche, encadré par Valeo et le laboratoire de Génie Électrique de Grenoble (G2Elab), a pour vocation à élaborer des méthodologies de conception permettant une implémentation facile et à bas coût de cette fonction. L'étude se concentre sur une modélisation numérique rigoureuse de la machine électrique pour ensuite analyser plusieurs améliorations techniques du démarreur en vue d'augmenter ses performances. Pour cela nous avons développé un modèle précis et rapide de la machine grâce à une approche d'identi cation des paramètres par optimisation et en utilisant la méthode des plans d'expériences. Ce modèle nous a permis de proposer des structures de démarreurs renforcés adaptés à la fonction Stop-Start.

La propulsion des véhicules électriques hybrides parallèles est généralement assurée par un moteur à combustion interne combiné à une machine électrique réversible. Les flux de puissance entre ces deux organes de traction sont déterminés par un algorithme de supervision, qui vise à réduire la consommation de carburant et éventuellement les émissions de certains polluants. Dans la littérature, la théorie de la commande optimale est maintenant reconnue comme étant un cadre puissant pour l'élaboration de lois de commande pour la gestion énergétique des véhicules full-hybrides. Ces stratégies, dénommée " Stratégies de Minimisation de la Consommation Equivalente " (ECMS) sont basée sur le principe du Maximum de Pontryagin. Pour démontrer l'optimalité de l'ECMS, on doit supposer que les limites du système de stockage ne sont pas atteintes durant le cycle de conduite. Il n'est plus possible de faire cette hypothèse lorsque l'on considère les véhicules micro et mild hybrides étudiés dans cette thèse car la variable d'état atteint généralement plusieurs fois les bornes. Des outils mathématiques adaptés à l'étude des problèmes de commande avec contraintes sur l'état sont présentés et appliqués à deux problèmes en lien avec la gestion énergétique. Le premier problème consiste à déterminer le profil optimal de la tension aux bornes d'un pack d'ultra-capacités. Le second problème se concentre sur un système électrique intégrant deux stockeurs. L'accent est mis sur l'étude des conditions d'optimalités valables lorsque les contraintes sur l'état sont actives. Les conséquences de ces conditions pour la commande en ligne sont mises en avant et exploitées afin de concevoir une commande en temps réel. Les performances sont évaluées à l'aide d'un prototype. Une comparaison avec une approche de type ECMS plus classique est également présentée.

Universiẗat, Diss., 2003--Saarbrücken. / Lizenzpflichtig.

Made available in DSpace on 2014-10-09T12:28:39Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T13:57:29Z (GMT). No. of bitstreams: 0 / Dissertacao (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP

Si le graphène est un candidat prometteur pour de nombreuses applications, il reste des questions fondamentales à résoudre. Les objectifs de cette thèse visent à obtenir une crois- sance de graphène de haute qualité, à développer de nouveaux concepts de transfert pour réaliser de nouveaux dispositifs tout en contrôlant la formation de défauts dans sa struc- ture. Nous avons été en mesure d'augmenter la surface d'une monocouche polycristalline de graphène d'une échelle de quelques centimètres à celle d'une plaquette de silicium sans changer de chambre CVD. D'autre part, nous avons démontré une méthode permettant de diminuer la densité de nucléation et ainsi d'obtenir du graphène monocristallin de quelques centaines de microns. Concernant la réalisation de nouveaux dispositifs, nous avons obtenu des circuits à base de graphène polycristallin empilés par transferts successifs où la région de bicouche artificielle se comporte comme un bicouche intrinsèque. Nous avons également développé une nouvelle méthode pour suspendre le graphène à l'échelle macroscopique sur des supports en piliers. Dans un tel système, les contraintes dans le graphène restent in- férieures à 0,2%. Par la suite une méthode de dépôt d'électrodes par voie sèche a été développée pour éviter toute dégradation du graphène. Ce processus de transfert a été amélioré pour atteindre des tailles de substrats allant jusqu'à 4 pouces pour le silicium et le saphir. Il a été enfin utilisé comme électrode transparente d'une LED à puits quantiques pour remplacer des électrodes Ni / Au . Nous avons mis au point des procédés de création sélective de défauts sur le graphène. Tout d'abord des défauts ont été induits chimiquement de façon contrôlable et ont été analysés par spectroscopie Raman et microscopie électronique en transmission qui ont révélé un mécanisme en deux étapes de formation de défauts dans la structure de graphène. Nous avons également étudié l'effet des défauts chargés adsorbés sur la surface du graphène sans former de liaisons avec lui. Contrairement à la littérature où les particules chargées sont déposées a posteriori, les nanoparticules chargées étaient présentes pendant la croissance sur cuivre. Nous interprétons l'existence d'une bande de phonons D' très intense devant celle de la D, et encore jamais signalée avec la présence de ces nanoparticules / Though graphene is strong candidate to make various applications, still there are issues that need to be resolved. The purpose of this thesis is to grow high quality graphene and transfer it to make new graphene based devices and to engineer defects into graphene structure. We have been able to increase the growth polycrystalline monolayer graphene from few centimeter scale to wafer scale without changing the CVD chamber. At the same time, we have demonstrated a method to decrease the nucleation density which allows us to grow large single crystal graphene from few to hundreds of micrometer. Concerning new design of graphene based devices, the polycrystalline graphene was trans- ferred to create artificial bilayer crossbars where the bilayer region behaved like naturally grown bilayer graphene. We have also developed a novel method of suspending graphene in macroscopic scale in pillared surface. In such a system, the strain in graphene is found to be less than 0.2%. Thereafter a completely dry method of depositing electrodes was developed which prevents damaging of graphene. The scale and process of transferring graphene was improved to different substrates such as 4 inch Si and sapphire substrates. It was used as transparent electrode to in a quantum well LED to replace the Ni/Au electrodes. We have been able to engineer defects into graphene. Firstly defects were induced in a controllable way using chemical method and were analyzed using Raman spectroscopy and Transmission Electron Microscopy which revealed a two step mechanism of defect formation in the graphene structure. We have also studied the effect of charged defects which adsorb onto the graphene surface without forming bonds with it. Unlike in literature where charged particles were deposited onto graphene, here the charged nano particles were present dur- ing the growth process in the copper foil. We believe that due to these nano particles, the intensity of D' phonon is greatly enhanced. Such anomalously higher intensity of D' band compared to D band has not been reported before