Cette thèse présente une nouvelle approche pour la modélisation et l'évaluation de la sécurité fonctionnelle des systèmes et prend en compte plusieurs modes de défaillance pour les composants et le système global. Les diagrammes de flux d'informations (IFDs) ont été initialement développés dans une précédente thèse. Dans ce travail, l'évaluation par l'approche flux informationnels est rendue plus efficace par l'utiliser de diagrammes de décision binaires (BDD). Cette thèse présente l'intérêt du modèle et de la méthode, ses qualités, ainsi qu'une explication détaillée de l'approche par IFDs. Sa structure hiérarchique est détaillée et l'application de la méthode détaillée. L'étape suivante consiste en la généralisation de l'approche IFD pour permettre l'utilisation de techniques d'évaluation plus efficaces. Il est expliqué pourquoi cette évolution de la formalisation a été décidée et ses avantages. Ensuite une explication détaillée des algorithmes développés est présentée. Ces algorithmes sont basés sur une combinaison de différentes techniques de BDD. Des Zero Suppressed BDDs (ZBDDs) sont combinées avec des Boolean Expression Diagrams (BEDs). La structure des IFDs est utilisée pour construire un BDD global sur plusieurs petits BDDs. Cela augmente l'efficacité du processus d'évaluation. Les techniques présentées sont appliquées et analysées sur plusieurs cas d'études présentés dans ce travail.

Cette thèse est axée sur la caractérisation microstructurale des précipités dans les oxydes des alliages binaires de zirconium (1 wt.% Fe, Cr , Ni ou 0.6 wt.% Nb). La température d'oxydation est fixée au 415°C. Les échantillons sont oxydés dans l'air et dans l'autoclave sous des pressions différentes et dans un microscope électronique à balayages environnemental sous vapeur d'eau. Les résultats des recherches peuvent être résumés ci-dessous : -Deux types d'oxydation (retardée et non retardée) ont été observés pour les précipités. -Le facteur de Pilling-Bedworth des précipités est plus élevé par rapport à celui de zirconium. -Les précipités contenant du fer entrainent une formation des cristaux de l'oxyde de fer pur à la surface du matériau, quand les précipités sont à la surface ou à la proximité. Ces observations mènent à la conclusion que le comportement d'oxydation des précipités peut être corrélé à leurs compositions et à la tendance d'oxydation de leurs éléments constituants.

.

Quatre sources de rayons gamma ont été associées à des systèmes binaires dans notre galaxie: le microquasar Cygnus X-3 et les binaires gamma LS I +61°303, LS 5039 et PSR B1259-63. Ces systèmes sont composés d'une étoile compagnon massive et d'un objet compact de nature inconnue, sauf dans PSR B1259-63 où un pulsar jeune a été détecté. Je propose ici un modèle théorique complet pour expliquer l'émission et la variabilité gamma de haute énergie dans les binaires émettant en gamma. Dans ce modèle, le rayonnement de haute énergie est produit par la diffusion Compton inverse des photons stellaires sur des paires électron-positron ultrarelativistes injectées par un pulsar jeune dans les binaires gamma et dans un jet relativiste dans les microquasars. La modulation du flux TeV dans LS 5039 est bien reproduite en combinant les effets d'émission, d'absorption et du recyclage de l'émission par une cascade de paires. Néanmoins, ce modèle ne permet pas d'expliquer l'émission gamma dans LS I +61°303 et PSR B1259-63. D'autres processus doivent dominer dans ces systèmes plus complexes. Dans Cygnus X-3, le rayonnement gamma peut être reproduit de manière convaincante avec l'émission Compton amplifiée Doppler de paires dans un jet relativiste. Les binaires gamma et les microquasars offrent un environnement nouveau permettant l'étude des vents de pulsar et des jets relativistes à de très petites échelles spatiales.

Nous visons à travers cette thèse à proposer un ensemble d'approches permettant d'optimiser les entrepôts de données et d'aider l'AED à bien mener cette optimisation. Nos approches d'optimisation reposent sur l'utilisation de trois techniques d'optimisation : la fragmentation horizontale primaire, dérivée et les index de jointure binaires (IJB). Nous commençons par proposer une approche de fragmentation qui prend en considération à la fois la performance (réduction du coût d'exécution) et la manageabilité (contrôle du nombre de fragments générés). Nous proposons ensuite une approche gloutonne de sélection d'IJB. L'utilisation séparée de la fragmentation horizontale (FH) et des IJB ne permet pas d'exploiter les similarités existantes entre ces deux techniques. Nous proposons une approche de sélection conjointe de la FH et des IJB. Cette approche peut être utilisée pour le tuning de l'entrepôt. Nous avons mené plusieurs expériences pour valider nos différentes approches. Nous proposons par la suite un outil permettant d'aider l'AED dans ses tâches de conception physique et de tuning.<br />Mots clés : Conception physique, Tuning, Techniques d'optimisation, Fragmentation Horizontale, Index de Jointure Binaires.

Cette étude concerne la physique des écoulements convectifs résultant d'une instabilité d'évaporation de fluides binaires. Ce problème a de nombreuses applications, l'enrobage par centrifugation, le dépôt de films, les caloducs, etc, pour lesquels le changement de phase et la convection jouent un rôle prépondérant dans la conception et la qualité des procédés. Le système physique étudié est un mélange liquide sous sa propre vapeur, confiné par deux plaques conductrices de chaleur et des bords latéraux isolants. Les plaques sont utilisées pour appliquer un gradient thermique. Aucun gradient de concentration n'est imposé au système. Ces gradients sont induits par les différentes vitesses d'évaporation des composés. Dans ce système, il est important de comprendre comment la dynamique des fluides et les transferts de masse et de chaleur entrent en compétition pour la formation de structures. Le principal objectif de ce travail est d'identifier les conditions pour que le système évolue d'un état conductif vers un état de convection lorsque le gradient vertical de température dépasse une certaine valeur critique.Dans le système, la convection s'installe par trois mécanismes distincts : évaporation, gradients de densité et gradients de tension interfaciale. Trois forces convectives s'opposent aux effets de diffusion qui tendent à garder le système en état conductif. Le seuil d'apparition de la convection dépend de quelques variables, comme les dimensions du contenant, les propriétés thermophysiques des phases liquide et vapeur, la fraction massique, et les caractéristiques de perturbations. L'effet de chacune de ces variables sur le seuil est étudié en présence ou non de gravité.Pour représenter la physique, un modèle mathématique non linéaire complet est développé, basé sur les conservations de quantité de mouvement, d'énergie et de masse dans chaque phase avec les conditions aux limites appropriées. Le fluide binaire est composé de deux alcools légers comme l'éthanol et le sec-butanol. Dans les équations du modèle, la masse volumique ainsi que la tension interfaciale sont fonctions à le fois de la température et de la concentration. Pour la recherche du seuil de transition, les équations sont linéarisées autour d'un état de base connu. Dans notre cas, il s'agit de l'état conductif. Le système d'équations linéaires résultant est résolu par une méthode de collocation spectrale Chebyshev.Nous obtenons quatre résultats principaux. Premièrement, dans un système multi-composants sans gravitation, une instabilité n'apparaît que lorsque le système est chauffé du côté de la phase vapeur contrairement à un système mono-composant. Cela implique que, si on souhaite éviter les instabilités, il vaut mieux un apport de chaleur par la phase liquide en cas de processus d'évaporation en couches minces ou en micro-gravité.Deuxièmement, en présence de gravité, un système multi-composants peut devenir instable quelle que soit la direction du chauffage. Si la convection thermique est négligeable, alors nous montrons que le chauffage par la phase vapeur est la configuration la plus instable. Sinon, les deux modes de chauffage sont à même de produire une instabilité. Ce résultat implique que le gradient thermique appliqué doit être inférieur à une valeur seuil pour éviter les instabilités quelle que soit la direction du chauffage.Troisièmement, lorsque l'instabilité apparaît en absence de gravité, des structures n'apparaitront pas dans le cas de fluide pur mais apparaitront dans le cas d'un fluide multi-composants. De même, des structures apparaitront en présence de gravité en fonction du facteur d'aspect du confinement. Les facteurs d'aspect peuvent être choisis pour éviter des structures multi-cellulaires même en cas d'apparition d'instabilités durant l'évaporation.Enfin, des structures oscillantes ne sont pas prédites de façon générale malgré les effets opposés des convections solutale et thermique dans le problème d'évaporation.

Cette thèse porte sur l'analyse et le design de codes de canal définis par des graphes creux. Le but est de construire des codes ayant de très bonnes performances sur de larges plages de rapports signal à bruit lorsqu'ils sont décodés itérativement. Dans la première partie est introduite une nouvelle classe de codes LDPC, nommés code LDPC hybrides. L'analyse de cette classe pour des canaux symétriques sans mé- moire est réalisée, conduisant à l'optimisation des paramètres, pour le canal gaussien à entrée binaire. Les codes LDPC hybrides résultants ont non seulement de bonnes proprié- tés de convergence, mais également un plancher d'erreur très bas pour des longueurs de mot de code inférieures à trois mille bits, concurrençant ainsi les codes LDPC multi-edge. Les codes LDPC hybrides permettent donc de réaliser un compromis intéressant entre ré- gion de convergence et plancher d'erreur avec des techniques de codage non-binaires. La seconde partie de la thèse a été consacrée à étudier quel pourrait être l'apport de méthodes d'apprentissage artificiel pour le design de bons codes et de bons décodeurs itératifs, pour des petites tailles de mot de code. Nous avons d'abord cherché comment construire un code en enlevant des branches du graphe de Tanner d'un code mère, selon un algorithme d'apprentissage, dans le but d'optimiser la distance minimale. Nous nous sommes ensuite penchés sur le design d'un décodeur itératif par apprentissage artificiel, dans l'optique d'avoir de meilleurs résultats qu'avec le décodeur BP, qui devient sous- optimal dès qu'il y a des cycles dans le graphe du code. Dans la troisième partie de la thèse, nous nous sommes intéressés au décodage quan- tifié dans le même but que précédemment : trouver des règles de décodage capables de décoder des configurations d'erreur difficiles. Nous avons proposé une classe de déco- deurs utilisant deux bits de quantification pour les messages du décodeur. Nous avons prouvé des conditions suffisantes pour qu'un code LDPC, avec un poids de colonnes égal à quatre, et dont le plus petit cycle du graphe est de taille au moins six, corrige n'importe quel triplet d'erreurs. Ces conditions montrent que décoder avec cette règle à deux bits permet d'assurer une capacité de correction de trois erreurs pour des codes de rendements plus élevés qu'avec une règle de décodage à un bit.

Ce travail porte sur la production de code séquentiel à partir du langage flot de données synchrone Lustre. La difficulté essentielle provient de l'aspect déclaratif du langage. En effet, il n'y a pas d'instruction de contrôle dans le langage Lustre ; toute la structure de contrôle du code objet doit donc être synthétisée par le compilateur. Cette synthèse consiste à construire un automate fini en simulant exhaustivement le comportement des variables booléennes du programme. Le code produit est particulièrement rapide ; en effet, la plupart des calculs booléens sont effectués une fois pour toute dès la compilation. En contrepartie, l'aspect exhaustif de cette démarche provoque parfois une véritable explosion de la taille du code. Ce problème peut être dû à la complexité intrinsèque du programme source ; il faut dans ce cas chercher un compromis entre rapidité et taille mémoire. Mais l'explosion peut être causée par la méthode de construction, qui produit très souvent des automates non minimaux ; nous avons donc étudié et développé un algorithme original qui construit à coup sûr des automates minimaux. Cet algorithme fait appel à de nombreuses manipulations symboliques de fonctions booléennes, que nous avons pu implémenter efficacement grâce à une représentation basée sur les graphes binaires de décision.

No description available.

Cette thèse est axée sur la caractérisation microstructurale des précipités dans les oxydes des alliages binaires de zirconium (1 wt.% Fe, Cr , Ni ou 0.6 wt.% Nb). La température d'oxydation est fixée au 415°C. Les échantillons sont oxydés dans l'air et dans l'autoclave sous des pressions différentes et dans un microscope électronique à balayages environnemental sous vapeur d'eau. Les résultats des recherches peuvent être résumés ci-dessous : -Deux types d'oxydation (retardée et non retardée) ont été observés pour les précipités. -Le facteur de Pilling-Bedworth des précipités est plus élevé par rapport à celui de zirconium. -Les précipités contenant du fer entrainent une formation des cristaux de l'oxyde de fer pur à la surface du matériau, quand les précipités sont à la surface ou à la proximité. Ces observations mènent à la conclusion que le comportement d'oxydation des précipités peut être corrélé à leurs compositions et à la tendance d'oxydation de leurs éléments constituants. / This thesis is focused on the microstructural characterisation of precipitates in the oxide of binary zirconium alloys (1 wt.% Fe, Cr or Ni or 0.6 wt.% Nb) under different oxidation conditions at 415°C. The samples were oxidised in autoclave in air and steam and in an environmental scanning electron microscope in water vapour. The microstructural evolution of the precipitates during oxidation was characterised using electron microscopy. The findings from the analysis are the following: -Two types of oxidation behaviour are observed for precipitates. -Pilling-Bedworth ratio of precipitates is higher than that of the zirconium matrix. -Formation of pure iron oxide crystals on the surface for iron bearing precipitates close to or at the surface. From these observations it is concluded that the precipitate oxidation behaviour can be correlated to precipitate composition and oxidation tendency of the elements in the precipitates. Iron exhibits clearly different behaviour.