Les travaux effectues durant cette these apportent une contribution a la fois experimentale et theorique au developpement des oscillateurs parametriques optiques (opo) fonctionnant en regime temporel nanoseconde. Nous avons realise un opo base sur le cristal non lineaire de ktiopo#4 pompe en accord de phase non critique en angle a la longueur d'onde de 1,60 m par un laser nd:yag declenche a la cadence de 1 khz. Cet opo emet des impulsion nanosecondes aux longueurs d'ondes de 1,57 m (signal) et 3,29 m (complementaire). Les puissances moyenne maximales produites sont d'environ 0,5 w pour le signal et 0,2 w pour le complementaire, soit un rendement energetique total de conversion proche de 50%. Ce resultat est remarquable pour un opo nanoseconde emettant un faisceau signal gaussien. Le developpement d'un opo intracavite, place a l'interieur de la cavite du laser de pompe, a permis de reduire l'encombrement du systeme tout en conservant les performances. Un code parallele de simulation d'opo nanosecondes a ete realise en prenant en compte les phenomenes physiques de diffraction, de double refraction, d'absorption et de polarisation non lineaire du deuxieme ordre. Apres avoir ete valide a partir de differents resultats experimentaux, ce code a ete utilise pour etudier l'influence de divers parametres sur le fonctionnement des opo nanosecondes et pour rechercher les possibilites d'optimisation de leurs performances. Nous avons prevu notamment que l'utilisation de cavites opo pecifiques, geometriquement stables ou instables avec des miroirs gaussiens, devrait permettre une amelioration significative des rendements energetiques de conversion et de la qualite des faisceaux emis.

Cette thèse s'inscrit dans le cadre de l'amélioration des prévisions aérothermiques qui suscite un intérêt croissant de la part des industriels aéronautiques. Elle consiste à évaluer l'apport des méthodes URANS avancées de type SAS dans la prévision des flux de chaleur turbulents et pariétaux pour des écoulements turbulents chauffés. Elle vise également à situer ces approches par rapport à des modèles URANS classiques de type DRSM et à des méthodes hybrides RANS/LES comme la ZDES. Nous avons dans un premier temps proposé une extension de l'approche SAS à un modèle DRSM afin d'obtenir une meilleure restitution des tensions de Reynolds résolues et modélisées. Ce nouveau modèle SAS-DRSM a été implanté dans le code Navier-Stokes elsA de l'ONERA. Nous avons ensuite évalué l'ensemble des approches SAS disponibles avec ce code sur la prévision de deux écoulements aérothermiques rencontrés sur avion dans un compartiment de moteur. Ces études numériques ont montré que les approches SAS améliorent la représentation des écoulements par rapport aux modèles URANS classiques. Elles aboutissent à des écoulements fortement tridimensionnels présentant de nombreuses structures turbulentes. Ces structures induisent un mélange turbulent plus important et permettent alors une meilleure prévision du flux de chaleur pariétal. Par ailleurs, nos travaux ont permis de situer plus clairement les approches de type SAS comme des méthodes plus précises que les méthodes URANS classiques sans augmentation importante de mise en œuvre ou de coût de calcul. Les modèles SAS ne permettent pas de résoudre les plus petites structures caractéristiques du mouvement turbulent par rapport à la ZDES qui montre ici des prévisions supérieures. Le modèle SAS-DRSM offre néanmoins la meilleure alternative de type SAS. Enfin, l'étude du flux de chaleur turbulent semble retrouver le fait que l'hypothèse de nombre de Prandtl turbulent constant classique des modèles URANS n'est pas valable dans toutes les zones de l'écoulement.

Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs pour la specification, dans le cadre de la validation par simulation, s'est installée dans la pratique courante. Cependant, le manque de fonctionnalités visant à spécifier les comportements asynchrones, ou l'intégration insuffisante des résultats de la vérification, rend les language d'assertions et de mesures inopérants pour la vérification de comportements en signaux mixtes. Nous proposons des outils théoriques et pratiques pour la description et le monitorage de ces comportements, qui comportent des aspects à la fois discrets et continus. Pour cela, nous nous appuyons sur des travaux antérieurs portant sur les extensions temps-réel de la logique temporelle et des expressions régulières. Nous décrivons de nouveaux algorithmes pour calculer la distance entre une trace de simulation et une propriété en logique temporelle données. Une nouvelle procédure de diagnostic est conçue pour déboguer efficacement de telles traces. Le monitorage des comportements continus est ensuite étendu à d'autres formes d'assertions basées sur des expressions régulières. Ces expressions constituent la base de notre language de description de mesures, qui permet de définir conjointement la mesure et les intervals temporels sur lesquels cette mesure doit être prise. Nous montrons comment d'autres mesures, déjà mises en œuvre dans les simulateurs analogiques peuvent être importées dans les descriptions digitales. Ceci permet d'étendre vers le domaine en signaux mixtes les approches hiérarchiques utilisées en vérification de circuits digitaux. / This thesis is concerned with the monitoring of mixed-signal circuit simulations. In the field of hardware verification, the use of declarative property languages in combination with simulation is now standard practice. However the lack of features to specify asynchronous behaviors, or the insufficient integration of verification results, makes existing assertion and measurement languages unable to enforce mixed-signal requirements. We propose several theoretical and practical tools for the description and automatic monitoring of such behaviors, that feature both discrete and continuous aspects. For this we build on previous work on real-time extensions of temporal logic and regular expressions. We describe new algorithms to compute the distance from some simulation trace to temporal logic specifications, whose complexity is not higher than traditional monitoring. A novel diagnostic procedure is provided in order to efficiently debug such traces. The monitoring of continuous behaviors is then extended to other forms of assertions based on regular expressions. These expressions form the basis of our measurement language, that describes conjointly a measure and the patterns over which that measure should be taken. We show how other measurements implemented in analog circuits simulators can be ported to digital descriptions, this way extending structured verification approaches used for digital designs toward mixed-signal.

Il est bien rapporté dans la littérature que les caractéristiques du joint soudé ainsi que le transfert de chaleur à l'interface liquide/solide sont fortement dépendants de l'écoulement du métal liquide. Ce travail porte sur l'étude numérique de l'influence des paramétres opératoires de soudage sur les bains de fusion TIG. Un modéle 2D incluant la cathode, le plasma d'arc et l'anode est développé pour l'étude du soudage TIG spot. Il permet également de quantifier les effets de la composition chimique du gaz, et de simuler des techniques innovantes tel que le soudage avec gaz pulsé. Le soudage TIG avec torche mobile et apport de matiére est modélisé à l'aide d'une approche hybride 2D-3D. Les simulations numériques pour des positions de soudages horizontales révèlent une dissymétrie de la soudure dans la direction opposée à la gravité, ce qui est dû à l'action de la flottabilité et à la déformation assymétrique de la surface libre. Ce défaut peut être considérablement réduit lors du soudage de matériaux à taux de soufre différents, en plaçant la pièce bas soufre en bas.

Ce memoire est consacre a l'etude de certaines proprietes optiques non lineaires de nouvelles molecules organiques piegees dans des matrices solides xerogels et polymeres. Ces travaux concernent divers processus non lineaires presents dans ces materiaux solides dans le but de preserver les detecteurs photoniques tels que l'il ou les capteurs ccd contre l'agression laser. Ces materiaux fonctionnent comme des limiteurs optiques passifs : ils reagissent a la presence d'un rayonnement laser impulsionnel suffisamment intense en affaiblissant la luminance transmise. Parmi les differents mecanismes non lineaires, nous avons etudie les processus : d'absorption saturable inverse (asi) avec des chromophores de la famille des phtalocyanines et des porphyrines, de refraction non lineaire (rnl) et d'absorption a deux photons (adp). L'utilisation de lasers impulsionnels de duree nanoseconde, picoseconde et sub-picoseconde nous a permis d'evaluer la contribution des differents processus mis en jeu grace a un grand nombre d'experiences. Nous avons mis en evidence par des experiences de z-scan que des matrices solides dopees avec des chromophores asi presentent egalement de la rnl. Des molecules organiques du type quadripolaire exhibant le mecanisme adp semblent posseder une forte absorption des etats excites, comme pour les asi. Enfin, nous avons aborde l'etude du processus de diffusion induite dans un milieu inhomogene compose d'une matrice xerogel poreuse adaptee en indice avec un melange de solvants aux proprietes non lineaires. Afin d'expliquer de maniere satisfaisante la plupart des mesures experimentales, nous proposons des simulations numeriques basees sur la technique de la bpm. L'exploitation d'un seul mecanisme n'est pas toujours suffisante pour assurer une protection ideale. On peut alors envisager utiliser une combinaison de plusieurs mecanismes pour accroitre l'efficacite du systeme limiteur optique et pour beneficier d'une protection large bande spectrale.

On se propose d'analyser le régime transitoire de décrochage à l'aide de la simulation numérique instationnaire de type DNS. Cette approche permet de reproduire avec fidélité l'écoulement dans la région critique de Bulbe de Décollement Laminaire au bord d'attaque, encore impossible à modéliser ou mesurer avec précision. Après une étape de validation, la sensibilité du BDL au niveau de turbulence extérieure est étudiée et comparée favorablement à celle établie récemment dans la littérature. La phase d'établissement du décollement massif depuis le BDL est reproduite en réalisant de petites variations d'incidence à travers l'angle critique d'apparition du décrochage. Ce raisonnement "aux petites perturbations" permet de reproduire l'éclatement du BDL communément rattaché au décrochage statique. La déstabilisation de la région de BDL est alors étudiée à l'aide d'une base de données instationnaires et moyennes qui permet pour la première fois de rendre compte des déformations 3D du BDL. Conservant ce protocole, et faisant varier la vitesse du profil, on est en mesure d'évaluer l'influence de cette dernière sur le régime transitoire. Des mouvements de rotation de plus forte amplitude angulaire ont permis de mettre en évidence un mécanisme de décrochage sensiblement différent du précédent. La couche de mélange surplombant le BDL s'enroule alors pour donner naissance à un tourbillon énergétique (Leading Edge Vortex), communément associé au décrochage dynamique. Enfin, l'analyse du champ de vitesse moyen a permis de valider un critère empirique d'apparition de l'éclatement du BDL, qui s'est révélé pertinent aussi bien pour les mouvements de faible amplitude que ceux plus amples.