Au cours d’un transitoire d’Accident de Perte de Réfrigérant Primaire (APRP), la vaporisation de l’eau dans la cuve d’un réacteur nucléaire conduit à l’assèchement et à l’augmentation de la température des crayons de combustible, à leur gonflement thermomécanique et à la rupture des gaines de ces crayons remplies de matériaux combustibles fragmentés. Ce gonflement peut être à l’origine d’un bouchage significatif d’une partie du coeur et compromettre ainsi son refroidissement lors de la phase de renoyage où l’eau injectée via les systèmes de sécurité pénètre dans le bas du coeur. Lors de cette phase de renoyage, la vaporisation importante de l’eau produit un fort débit de vapeur qui arrache et entraîne des gouttelettes dans les zones bouchées. L’enjeu de cette thèse est d’évaluer les capacités de refroidissement des crayons ballonnés par l’impact des gouttes d’eau. Pour ce faire, une étude expérimentale est réalisée au LEMTA de Nancy, afin de mesurer le flux de refroidissement d’un train de gouttes impactant une paroi chaude. L’influence des caractéristiques dynamiques des gouttes sur le flux échangé entre la goutte et la paroi est expérimentalement étudiée. Ces essais ont permis la réalisation d’une base de donnée permettant de valider un modèle de flux goutte/paroi Ce modèle d’échange goutte/paroi est réalisé à partir d’une modélisation des paramètres clefs gouvernant l’échange, à savoir, le diamètre d’étalement de la goutte sur la paroi, l’épaisseur de la couche de vapeur créée sous la goutte et le temps de séjour de la goutte sur la paroi. Ce modèle, validé expérimentalement, est intégré dans le code NEPTUNE_CFD dans le but de réaliser des simulations de refroidissement d’un assemblage de crayon, en phase de renoyage, en prenant en compte l’effet des gouttes impactantes / In a pressurized water reactor (PWR), during a Loss Of Coolant Accident (LOCA), liquid water evaporates and the fuel assemblies are not cooled anymore; as a consequence, the temperature rises to such an extent that some parts of the fuel assemblies can be deformed resulting in ’ballooned regions’. When reflooding occurs, the cooling of these partially blocked parts of the fuel assemblies will depend on the coolant flow that is a mixture of overheated vapour and undersaturated droplets. The aim of this thesis is to study the heat transfer between droplets and hot walls of the fuel rods. In this purpose, an experimental device has been designed in accordance with droplets and wall features (droplet velocity and diameter, wall temperature) representative of LOCA conditions. The cooling of a hot Nickel disk, previously heated by induction, is cooled down by a stream of monodispersed droplet. The rear face temperature profiles are measured by infrared thermography. Then, the estimation of wall heat flux is performed by an inverse conduction technique from these infrared images. The effect of droplet dynamical properties (diameter, velocity …) on the heat flux is studied. These experimental datas allow us to validate an analytical model of heat exchange between droplet and hot slab. This model is based on combined dynamical and thermal considerations. On the one hand, the droplet dynamics is considered through a spring analogy in order to evaluate the evolution of droplet features such as the spreading diameter when the droplet is squeezed over the hot surface. On the other hand, thermal parameters, such as the thickness of the vapour cushion beneath the droplet, are determined from an energy balance. In the short term, this model will be integrated in a CFD code (named NEPTUNE_CFD) to simulate the cooling of a reactor core during a LOCA, taking into account the droplet/wall heat exchange

Cette thèse analyse le comportement sur le marché du travail local de185 jeunes peu ou pas qualifiés âgés de 16 à 29 ans de l’arrondissement de Lille. Elle met en lumière les difficultés d’insertion professionnelle qu’ils rencontrent eu égard à l’absence ou un faible niveau de diplôme, de qualification, d’expérience professionnelle. Aussi met-elle en exergue leurs méconnaissances des réalités du marché du travail local à travers leurs prétentions salariales, leurs techniques de recherche d’emploi, leurs projets ; et leurs stratégies pour rester ou se maintenir hors de ce marché. La démarche qualitative a permis une vérification empirique des facteurs répertoriés par l’Eurofound qui ont un impact sur le risque de devenir NEET (not in education, employment or training : les jeunes qui ne sont ni scolarisés, ni en emploi, ni en formation). Une typologie de trajectoires qui conduisent à être NEET dans l’arrondissement de Lille est établie. L’hétérogénéité caractérise la catégorie de NEET. Cette disparité relève d’abord des sous-groupes qui existent au sein des NEET. Aussi, se matérialise-t-elle suivant les systèmes éducatifs, les politiques sociales, les réalités socioéconomiques et culturelles qui sont spécifiques aux territoires (départements, régions, pays). La connaissance de la catégorie des NEET via sa construction sociale dans l’arrondissement de Lille va permettre aux différents acteurs locaux (région, départements, associations, etc.) d’avoir une visibilité claire sur les stratégies à adopter et/ou les politiques à mettre en œuvre pour l’inclusion sociale de ces derniers. / This thesis analyzes the behavior of the local labor market of 185 young people low-skilled aged 16 to 29 years of the district of Lille. It puts in light of the difficulties they encounter employability given the absence (or low levels) of qualification, qualification, professional experience. She also puts highlight their misconceptions of the local labor market realities through their salary expectations, their job search techniques, their projects; and strategies to stay or keep out of the market. The qualitative approach enabled an empirical verification of the factors listed by Eurofound which impact on the risk of becoming NEET (Not in Education, Employment or Training: young people who are neither in education nor in employment or training). A typology of trajectories that lead to be NEET in the district of Lille is established. The heterogeneity characterizes the NEET category. This disparity is primarily a matter of subgroups that exist within the NEET. Also, according to context, it materializes educational systems, social policies, socio-economic and cultural realities which are specific territories (departments, regions, countries). Knowing the NEET category via its social construction in the district of Lille will allow different local actors (region, departments, associations, etc.) to have a clear visibility on the strategies to adopt and/or policies implement for social inclusion of the latter.

Une méthode de pénalisation en volume est implémentée de façon implicite dans un code pseudo-spectral tri-périodique. Le schéma est étudié et la méthode numérique est testée et validée à l’aide de benchmarks concernant des effets linéaires anisotropes — propagation et réflexion d’ondes d’inertie et internes de gravité—ou la réflexion de structures tourbillonnaires. Cet outil numérique est alors appliqué à des écoulements turbulents en rotation confinés dans une géométrie cylindrique. Les effets globaux du confinement sont observés (anisotropie des petites échelles, etc) ainsi que des effets locaux de proche paroi (modification des pdfs, élongation verticale des grandes structures tourbillonnaires, etc). Enfin, la méthode de pénalisation est utilisée à des fins de forçage de la turbulence dans un contexte de type von Kármán et l’écoulement généré au coeur du domaine est étudié en détail et comparé à des approches théoriques. Différentes géométries pour les pales sont testées et les résultats obtenus révèlent des différences significatives dans la structure de l’écoulement en fonction de la forme des pales utilisées. / A volume-penalization method is implemented in a tri-periodic pseudo-spectral code. The numerical scheme is studied and the method is tested and validated thanks to benchmarks involving linear anisotropic effects (propagation and reflection of inertial waves or internal gravity waves) or the impact of vortical structures on a penalized plane. This numerical tool is then applied to rotating turbulent flows confined in a cylindrical geometry. The global effects of confinement are observed (small-scale anisotropy) as well as near-wall local effects (modification of the pdfs , vertical elongation of the large turbulent structures, etc). Finally, the penalization method is used in order to force the turbulence in a von Kármán swirling flow context. The generated flows are studied in detail and compared to previous theoretical works. Several geometries for the blades are tested and the resulting flows exhibit significantly different structures for each shape of the blades.

L'analyse et la compréhension des mécanismes d'érosion en présence d'un environnement critique au niveau de pression et de température des produits de combustion d'un propergol solide au sein d'une tuyère de moteur fusée, constituent l'objectif principal de ce présent mémoire. Les principaux paramètres, le pourcentage d'aluminium dans l'écoulement, la température adiabatique de flamme.le flux de chaleur en face de la géométrie de l' insert et ses propriétés thermochimiques, sont plus particulièrement étudiés à travers une approche numérique et expérimentale. Le phénomène d'ablation qui se produit au niveau de l' insert d'une tuyère pendant le fonctionnement du moteur propergol solide est ainsi étudié et des résultats d'essais des moteurs à échelle réduite et pleine sont présentés puis simulés numériquement. En effet, les essais mis en place, riches en résultats sur les conditions du matériau de l'insert avant et après le tir, ne permettent pas une analyse complète du développement des mécanismes en jeu au cours du temps de fonctionnement des moteurs. Pour introduire ces phénomènes physiques plutôt complexes, une stratégie de développement progressive est mise en place. Au départ, un modèle 1D a traité les équations de transfert de chaleur utilisant une technique de discrétisation numérique multi-blocs. A partir de la méthode 1D, des expressions simples pour représenter l'évolution des fronts d'ablation et de pyrolyse sont définies.Ces expressions sont alors utilisées de façon directe sur le traitement des problèmes axisymétriques et confrontées avec les simulations du moteur test. Finalement, la méthode aux frontières immergées est appliquée pour traiter du couplage entre l'écoulement et l'insert, mettant en évidence le phénomène d'ablation. Les simulations numériques reproduisent les résultats expérimentaux et montrent une méthodologie numérique robuste, correspondant à des attentes en ce qui concerne l'évaluation du phénomène d'ablation au sein d'une tuyère de moteur fusée. / The main objective of this study is understand the ablation mechanisms in the presence of a critical environment in pressure and temperature within a solid propellant rocket motor. The well-known parameters, aluminum percentage in the flow, adiabatic flame temperature and the consequent heat flux in front of the geometry of the insert and its thermochemical properties are studied from anumerical and experimental strategy. The ablation phenomenon, which occurs at the nozzle insert during the operation of the solid propellant rocket motor, is th us studied and results of tests of the small and full-scale motors are presented as well as numerically simulated. Indeed, tests carried-out provide results on the conditions of the material of the insert before and after firing tests, do not allow is to provide a complete analysis of the development of the mechanisms involved during the running time of the engines. To introduce these rather complex physical phenomena a strategy of progressive development is followed. Initially, a 1D model treated the heat transfer equations using a multi-block numerical discretization technique. From the 1D method, simple expressions to represent the evolution of the ablation and pyrolysis fronts are defined. These expressions are then used directly on the treatment of axisymmetric problems and confronted with simulations of the scale motor. Finally, the immersed boundary method is applied to tackle coupling between flow and heat transfer on the insert, highlighting the phenomenon of ablation. The numerical simulations reproduce the experimental results and show a robust numerical methodology, corresponding to expectations in what concerns the evaluation of the ablation phenomenon within a solid propellant rocket motor nozzle.

Cette étude est une analyse dialectométrique des parlers berbères de Kabylie. Le présent travail inclut un échantillon de 168 parlers kabyles répartis sur tout le territoire kabylophone. Le corpus analysé compte 130 entrées (lexèmes et syntagmes) recueillies dans chacune des variétés prises en compte. Nous avons opté pour la méthode Levenshtein afin de calculer la distance entre les variantes. Nous avons choisi l’algorithme de Ward’s Method pour regrouper les variétés. Nous avons testé trois méthodes pour calculer la distance entre les sons : la méthode binaire, la distance d’Euclide et la distance de Manhattan. L’analyse des résultats nous a permis de montrer le continuum dialectal en Kabylie et de classifier les parlers kabyles en cinq zones infradialectales principales. / This study is a dialectometric analysis of Berber dialects of Kabylia. This work includes a sample of 168 Kabyle dialects spread across the Kabyle territory. The analyzed corpus includes 130 entries (lexemes and phrases) collected in each of the varieties considered. We opted for the Levenshtein method to calculate the distance between the variants. We chose the algorithm of Ward's Method for grouping varieties. We tested three methods to calculate the distance between the sounds: the binary method, the Euclidean distance and the Manhattan distance. The analysis of the results allowed us to show the dialect continuum in Kabylia and classify Kabyle dialects into five mains areas.

Dans la plupart des études, le nombre de variables peut prendre des valeurs élevées ce qui rend leur analyse et leur visualisation assez difficile. Cependant, plusieurs méthodes statistiques ont été conçues pour réduire la complexité de ces données et permettant ainsi une meilleure compréhension des connaissances disponibles dans ces données. Dans cette thèse, notre objectif est de proposer deux nouvelles méthodes d’analyse des données multivariées intitulées en anglais : " Multidimensional Fitting" et "Projection under pairwise distance control". La première méthode est une dérivée de la méthode de positionnement multidimensionnelle dont l’application nécessite la disponibilité des deux matrices décrivant la même population : une matrice de coordonnées et une matrice de distances et l’objective est de modifier la matrice des coordonnées de telle sorte que les distances calculées sur cette matrice soient les plus proches possible des distances observées sur la matrice de distances. Nous avons élargi deux extensions de cette méthode : la première en pénalisant les vecteurs de modification des coordonnées et la deuxième en prenant en compte les effets aléatoires qui peuvent intervenir lors de la modification. La deuxième méthode est une nouvelle méthode de réduction de dimension basée sur la projection non linéaire des données dans un espace de dimension réduite et qui tient en compte la qualité de chaque point projeté pris individuellement dans l’espace réduit. La projection des points s’effectue en introduisant des variables supplémentaires, qui s’appellent "rayons", et indiquent dans quelle mesure la projection d’un point donné est précise. / In various studies the number of variables can take high values which makes their analysis and visualization quite difficult. However, several statistical methods have been developed to reduce the complexity of these data, allowing a better comprehension of the knowledge available in these data. In this thesis, our aim is to propose two new methods of multivariate data analysis called: " Multidimensional Fitting" and "Projection under pairwise distance control". The first method is a derivative of multidimensional scaling method (MDS) whose the application requires the availability of two matrices describing the same population: a coordinate matrix and a distance matrix and the objective is to modify the coordinate matrix such that the distances calculated on the modified matrix are as close as possible to the distances observed on the distance matrix. Two extensions of this method have been extended: the first by penalizing the modification vectors of the coordinates and the second by taking into account the random effects that may occur during the modification. The second method is a new method of dimensionality reduction techniques based on the non-linearly projection of the points in a reduced space by taking into account the projection quality of each projected point taken individually in the reduced space. The projection of the points is done by introducing additional variables, called "radii", and indicate to which extent the projection of each point is accurate.

Cette recherche qualitative, une analyse thématique de contenu, dresse le portrait de la stratégie de communication du groupe armé État islamique dans son magazine numérique intitulé Dabiq. La recherche est ancrée dans la théorie du médium est le message de Marshall McLuhan (1964). La grille d’analyse de propagande djihadiste développée par Torres, Jordán & Horsburgh en 2006 a servi de point de départ pour l’analyse des 918 pages des quinze numéros du magazine disponibles au moment de la réalisation de l’étude. Une étude pilote nous a permis de tester la grille et d’y ajouter quelques thèmes supplémentaires. À l’aide de la théorie de McLuhan (1964) et avec l’analyse de contenu thématique des quinze numéros, nous avons pu analyser la présence des thèmes et leur rôle au sein de la stratégie de communication du groupe armé pour finalement déterminer que celle-ci repose sur la notion d’altérité.

Dans le cadre de ce projet de recherche, le processus d’acculturation a été étudié en l’occurrence du phénomène global du flux de migration des Congolais catholiques dans la region d’Ottawa- Gatineau. Nous avons cherché à comprendre la signification que peuvent donner les participants à la rencontre interculturelle lorsque la chorale congolaise catholique anime en rite zaïrois une messe hebdomadaire dans deux paroisses franco- canadiennes. Dans ce contexte d’interculturalité et d’intégration de nouveaux arrivants au Canada, nous nous sommes intéressés au phénomène culturel de l’animation de la chorale Lisanga de la communauté Congolaise-catholique Bondeko d’Ottawa-Gatineau. C’est ainsi que nous avons examiné cette expérience comme une rencontre dans un contexte d’acculturation et d’un espace de convivialité interculturelle. Pour aborder ce sujet, nous avons recueilli des données quantitatives, des données qualitatives et nous nous sommes attachés à l’analyse des données récoltées à partir de notre observation afin de faire ressortir les points d’influence interrelationnels. Nous nous sommes inspirées du modèle d’acculturation interactif (MAI) de Bourhis et coll. (1997) pour recueillir nos données quantitatives puisque ce modèle « tient compte de la réciprocité dynamique qui se crée lors d’une interaction entre deux cultures » (p. 370). De plus, nous avons présenté la notion de cosmopolitisme d’Appiah (2006) et la perspective culturelle sur la mondialisation d’Appadurai (2005) au modèle non seulement pour le bonifier, mais encore pour tenir compte de la réciprocité des énigmes face à une interaction interculturelle. Par le biais de notre étude, nous avons pu constater que cette rencontre interculturelle déclenche un processus d’acculturation interrelationnel de la chorale vers les communautés paroissiales et des communautés paroissiales vers la chorale. Même si certains maintiennent une certaine distance, et qu’il puisse y avoir des bris dans la communication interculturelle, l’événement a suscité la reconnaissance mutuelle chez plusieurs participants dans le cadre d’une activité de détente au sein de l’Église catholique. Ceci veut dire que notre recherche a pu faire avancer les connaissances dans le processus d’acculturation cosmopolite où chacun peut oser sortir de sa zone de confort et reconnaître la richesse de l’autre.

Le problème de Zolotarev pour des ensembles discrets apparaît pour décrire le taux de convergence de la méthode ADI, dans l’approximation de certaines fonctions matricielles ou encore pour quantifier le taux de décroissance des valeurs singulières de certaines matrices structurées. De plus, la réduction de modèle constitue un enjeu important en théorie du contrôle linéaire, et on peut prédire la qualité de l’approximation d’un système dynamique linéaire continu stationnaire de grande dimension donné grâce à la résolution approchée d’une équation de Sylvester. Après avoir prouvé l’existence d’un minimiseur pour le troisième problème de Zolotarev pour des ensembles discrets, on détermine dans cette thèse le comportement asymptotique faible de ce problème sous certaines hypothèses de régularité. Pour mener cette étude, on considère un problème de minimisation d’énergie sous contraintes pour des mesures signées en théorie du potentiel logarithmique.On discute également la précision de nos résultats asymptotiques pour des ensembles discrets généraux du plan complexe, et une formule intégrale explicite est établie dans le cas particulier de deux sous-ensembles discrets de l’axe réel symétriques par rapport à l’origine. L’impact de nos résultats théoriques pour l’analyse du taux de convergence de la méthode ADI appliquée pour la résolution approchée d’une équation de Lyapounov est estimé à l’aide de plusieurs exemples numériques après avoir exposé l’algorithme nous permettant d’obtenir les paramètres utilisés. Mots clés : Théorie du potentiel / The Zolotarev problem with respect to discrete sets arises naturally to describe both the convergence rate of the ADI method, to compute approximation of various functions of matrices and to quantify the decreasing rate of singular values of structured matrices. Moreover, the theory of model reduction is a key problem in linear control theory, and the quality of the approximation of continuous stationnary linear dynamical system might be predicted with the computation of the solution of a Sylvester equation. Once proved the existence of a minimizer for the third Zolotarev problem with respect to discrete sets, we give the weak asymptotic behaviour of the Zolotarev quantity under some regularity hypothesis. In this purpose, we introduce a problem of energy minimization with constraints in logarithmic potential theory with respect to signed measures. We discuss the accuracy of our results for general discrete sets in the complex plane, and we prove an explicit integral formula in the particular case of two discret subsets of the real axis symmetric with respect to the imaginary axis. Then, the impact of our theoretical results concerning the analysis of the convergence rate of the ADI method applied to solve a Sylvester equation is estimated with various numerical examples after the description of the algorithm which we used to compute the parameters.

Dans les domaines critiques d'application de l'informatique, il peut être vital de disposer d'un génie logiciel qui soit capable de garantir le bon fonctionnement des systèmes produits. Dans ce contexte, la méthode B évènementielle promeut le développement de modèles abstraits du système à concevoir et l'utilisation de démonstrations formelles ainsi que de la relation de raffinement entre les modèles. Notre but est de pouvoir travailler sur des systèmes ayant des aspects temporels quantitatifs (propriétés et contraintes de temps) en restant au sein du cadre défini par la méthode B qui a déjà montré son efficacité par ailleurs, mais qui ne dispose pas de concepts spécifiques pour le temps. C'est ainsi que nous proposons l'introduction des contraintes de temps par le raffinement, ceci permet de respecter la philosophie de la méthode B et de systématiser cette approche par la formalisation de patrons de raffinement. Nos différentes modélisations du temps sont proposées sous la forme de patron à réappliquer sur le système à étudier. Nous pouvons donc étudier progressivement le système à partir d'une abstraction non-temporelle afin de le valider progressivement et de distribuer la difficulté de la preuve en plusieurs étapes. L'introduction des aspects temporels ne se fait que lorsque cela est nécessaire lors du processus de développement prouvé. Nous avons validé cette approche sur des études de cas réalistes en utilisant les outils logiciels de démonstration formelle de la méthode B. / Critical application domains of computer science require the use of software engineering methods that ensure that the resulting systems behave according to their intended functionality. In this context, the Event-B method uses an approach based on stepwise refinement, starting with abstract, high-level models of the system under development. The system models corresponding to different levels of abstraction are related by precise and formally proved refinement relations. Our goal is to extend this approach to systems whose requirements include quantitative real-time aspects (properties and temporal constraints). In this way, we benefit from the established qualities of the B method, while extending its scope to real-time aspects that it does not yet cover. More specifically, we propose to introduce time constraints by refinement, respecting the overall approach of the B method, and to systematize our approach by the use of refinement patterns. Different time models are represented by generic patterns that can be reused for the development of concrete systems. In this way we can gradually develop the system from a non-temporal abstraction and progressively validate its correctness, distributing the burden of proof is over several refinement steps. Temporal aspects are introduced step by step and only when necessary. We validated this approach using several real-world case studies, using the software tools for formal proof developed for the Event-B method.