Le langage UML permet la description de systèmes informatiques complexes dont la sécurité est parfois critique. Lors de la conception de telles applications, des fautes de modélisation peuvent être introduites dans les diagrammes UML représentant différentes vues du système. Ces fautes peuvent mener à des incohérences entre diagrammes ou au sein même d'un seul diagramme. Outre les propriétés spécifiques de l'application, il convient de vérifier en premier lieu que les modèles sont cohérents vis-à-vis des propriétés induites par l'utilisation du langage UML. L'objectif de cette thèse est de proposer un cadre d'étude du langage, et plus particulièrement de sa version actuelle (UML 2.0), en se plaçant dans une démarche de Management du risque de la présence d'incohérences. Ce travail s'est décomposé en deux étapes principales. La première est une analyse du risque qui comporte une identification des événements dommageables que sont les incohérences, par l'expression des règles de cohérence associées. <br />L'analyse est complétée ensuite par l'estimation du risque associé à <br />l'utilisation de chaque construction d'UML. Cette étape a donné lieu à l'analyse du standard UML et des travaux actuels concernant la définition et la vérification de la cohérence des modèles UML. Des interviews et des retours d'expérience ont été effectués afin d'estimer la probabilité d'occurrence d'une incohérence et sa gravité, aussi bien qualitativement que quantitativement. <br />L'étape ultime a concerné l'aide au traitement des risques, par la proposition de guides de prévention et de protection à mettre en oeuvre lors de la modélisation d'applications logicielles critiques.

Le piégeage et la manipulation d'objets à la surface d'un guide d'onde est une approche intéressante, qui permet d'envisager des développements nouveaux dans le domaine des microsystèmes intégrés. Mais la mise au point de tels dispositifs, était jusqu'à maintenant limitée par la difficulté à comprendre et à maîtriser les phénomènes physiques mis en jeu dans une expérience. Ces points-clé empêchaient la démonstration de la manipulation d'objets biologiques, comme des cellules, sur ces structures. L'utilisation de guides d'ondes optiques représentatifs de technologies de fabrication différentes nous a ainsi permis de juger expérimentalement des forces et des faiblesses propres à chaque technologie et déterminer les conditions les plus favorables en vue d'un déplacement de matériel biologique. L'utilisation de guides en nitrure de silicium a permis une amélioration significative des performances de piégeage et de manipulation de particules sur ces structures.<br />Ceci nous a ainsi permis de réaliser un démonstrateur de propulsion optique et a rendu possible l'application de cette technologie à des objets de masse ou de taille supérieures ainsi qu'à d'autres domaines scientifiques, comme la chimie ou la biologie. Nous avons effectué la première démonstration expérimentale à notre connaissance de la propulsion d'objets biologiques par ondes évanescentes. En particulier, nous avons réalisé des expériences de tri cellulaire de sous-populations dans un mélange. Ceci démontre la capacité à réaliser, sur une faible surface, des expériences biologiques simples grâce à de tels dispositifs et renforce l'espoir d'utiliser une telle technique dans une approche de type laboratoire-sur-puce.

Ce travail présente la préparation et la caractérisation de matériaux hybrides organiques<br />inorganiques pour applications en la photonique. La théorie associée à la préparation des<br />matériaux est décrite et quelques résultats d'autres travaux déjà publiés concernant ces<br />matériaux sont présentés. La structure du matériau obtenu après hydrolyse et condensation est<br />détaillée en présence de différentes quantités de zirconium. Les analyses de rayons X mettent<br />en évidence les particules qui formant ce matériau et l'influence du zirconium sur la forme de<br />cette particule. La spectroscopie dans la région de l'infrarouge a permis l'étude des liaisons<br />caractéristiques du matériau et les modifications structurelles liées à l'ajout de la phase<br />inorganique. Les caractéristiques du matériau ont été analysées par résonance magnétique<br />nucléaire. Les caractéristiques spectroscopiques du matériau sont détaillées, notamment la<br />luminescence intrinsèque du matériau et l'influence du zirconium. On montre que<br />l'introduction de l'ion europium confère de nouvelles propriétés et permet aussi une évaluation<br />structurelle complémentaire du matériau. Diverses applications du matériau étudié sous la<br />forme de couches minces sont présentées. Nous avons obtenu des réseaux de diffraction par<br />holographie, par lithographie, et également un effet laser à contre-réaction répartie dans des<br />films dopés avec la rhodamine 6G.

Thèse doctorat : Électronique : Lille 1 : 2003. / N° d'ordre (Lille 1) : 3387. Résumé en français et en anglais. Bibliogr. à la suite de chaque chapitre.

Reproduction de : Thèse de doctorat : Chimie de l'Etat Solide : Le Mans : 2007. / Titre provenant de l'écran-titre.

Thesis (M.S. in Applied Science (Signal Processing))--Naval Postgraduate School, June 2004. / Thesis advisor(s): Lawrence J. Ziomek. Includes bibliographical references (p. 47). Also available online.

Not available / text

Not available / text

We numerically investigate electron transport properties in an electron waveguide which can be constructed in 2DEG of the heterostructure of GaAs and AlGaAs. We apply R-matrix theory to solve a Schrödinger equation and construct a S-matrix, and we then calculate conductance of an electron waveguide. We study single impurity scattering in a waveguide. A [delta]-function model as a single impurity is very attractive, but it has been known that [delta]-function potential does not give a convergent result in two or higher space dimensions. However, we find that it can be used as a single impurity in a waveguide with the truncation of the number of modes. We also compute conductance for a finite size impurity by using R-matrix theory. We propose an appropriate criteria for determining the cut-off mode for a [delta]-function impurity that reproduces the conductance of a waveguide when a finite impurity presents. We find quantum scattering echoes in a ripple waveguide. A ripple waveguide (or cavity) is widely used for quantum chaos studies because it is easy to control a particle's dynamics. Moreover we can obtain an exact expression of Hamiltonian matrix with for the waveguide using a simple coordinate transformation. Having an exact Hamiltonian matrix reduces computation time significantly. It saves a lot of computational needs. We identify three families of resonance which correspond to three different classical phase space structures. Quasi bound states of one of those resonances reside on a hetero-clinic tangle formed by unstable manifolds and stable manifolds in the phase space of a corresponding classical system. Resonances due to these states appear in the conductance in a nearly periodic manner as a function of energy. Period from energy frequency gives a good agreement with a prediction of the classical theory. We also demonstrate wavepacket dynamics in a ripple waveguide. We find quantum echoes in the transmitted probability of a wavepacket. The period of echoes also agrees with the classical predictions. We also compute the electron transmission probability through a multi-ripple electron waveguide. We find an effect analogous to the Dicke effect in the multi-ripple electron waveguide. We show that one of the S-matrix poles, that of the super-radiant resonance state, withdraws further from the real axis as each ripple is added. The lifetime of the super-radiant state, for N quantum dots, decreases as [1/N] . This behavior of the lifetime of the super-radiant state is a signature of the Dicke effect. / text

No description available.