Le Réacteur à Haut Flux (RHF) de l'Institut Laue-Langevin (ILL), uniquement dédié à la recherche fondamentale, produit le flux continu de neutrons thermiques le plus intense au monde, soit 1.5 1015 neutrons par seconde et par cm2, avec une puissance thermique de 58 MW. Ce réacteur possède un cœur constitué d'un élément combustible unique en uranium très enrichi. Dans le cadre d'une étude sur le comportement des éléments combustibles après irradiation, l'ILL souhaite développer un dispositif capable d'aller mesurer la largeur du canal d'eau. Cette mesure permettra de caractériser le gonflement des plaques, inhérent à l'irradiation, ainsi que les modifications de structure (corrosion, décollement,…). Cependant, cette mesure de distance est délicate puisqu'une résolution de l'ordre du micromètre est recherchée alors que la dimension de l'espace inter-plaques est proche du millimètre. Les contraintes d'accès sont également difficiles du fait que l'élément combustible est placé à environ 5 m sous la surface de l'eau. En outre, tous les systèmes sont soumis à de fortes radiations. Basés sur des méthodes magnétiques, capacitives ou optiques, des dispositifs permettent aujourd'hui de mesurer des distances avec une résolution nanométrique et avec des fonctionnalités pouvant être adaptées dans des conditions de températures et de pression difficiles. Ces méthodes ne peuvent cependant pas être appliquées à des systèmes fortement radiatifs ou en immersion. Afin de répondre à cette problématique, deux transducteurs ultrasonores fonctionnant en émission-réceptions ont été conçus, étudiés et ensuite développés dans le cadre de cette thèse. Ces transducteurs sont montés sur une lame en acier inoxydable de 1 mm d'épaisseur afin d'autoriser l'accès à l'espace inter-plaques. Du fait de la haute résolution recherchée, les transducteurs sont excités à une fréquence au-delà de 120 MHz et intégrés dans un ensemble d'instruments de mesure comprenant un système d'acquisition haute fréquence, un traitement de signal de haute précision et une électronique spécifique développée pour améliorer le signal d'excitation.Connaissant la vitesse du son dans l'eau et l'épaisseur de la lame, les transducteurs mesurent la distance inter-plaque à partir de la détermination du temps de vol entre l'émission d'un pulse ultrasonore et la réception des échos réfléchis sur la surface de chacune des plaques. Deux expériences in-situ conduisant à une série de mesure de distance inter-plaque ont été réalisées au sein de l'élément combustible irradié du réacteur à haut flux. / The fuel elements of High Performance and Research Reactors are usually made of plates instead of rods. During irradiation, the fuel plates undergo limited swelling and an oxide layer appears on the outer surface of the cladding. However, measuring the inter-plate distance of such fuel elements isn't trivial mainly because of the requested resolution in constraint geometry. Indeed while the typical dimensions of the water channel between plates is close to two millimeter, a resolution of one micron is needed to characterize any fuel plate swelling. In order to perform such measurements, we designed a robust device based upon high frequency ultrasonic probes and adapted to the high radiation environment. It was thinned until 1 mm in order to be inserted into the 1.8 mm width water channel. To achieve the expected resolution, the system is excited with frequencies up to 120 MHz. Thanks to a highly performing signal processing; distance measurement is carried out through the ultrasonic waves' time of flight. One of the crucial points is then the evaluation of the local water temperature inside the water channel. To obtain a precise estimation of this parameter, the ultrasonic sensor is used as a thermometer thanks to the analysis of the spectral components of the acoustic signal propagating inside the sensor multilayered structure. The feasibility of temperature and distance measurement has already been proved with success on a full size irradiated fuel element of the RHF. Some experimental constraints were identified to improve the accuracy of the measurement system in future works.

Cette thèse se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont représentées par l'obtention de résultats de décidabilité et de transfert dans les directions suivantes qui sont des thèmes majeurs en vérification des protocoles : - traitement des primitives cryptographiques : chiffrement CBC, signatures en aveugle; - propriétés de sécurité : secret fort, existence de cycles de clefs; - approches pour la sécurité : construction de protocoles sûrs. Ainsi, nous avons montré la décidabilité (d'une part) de l'existence de cycles de clefs et (d'autre part) du secret pour des protocoles utilisant le mode de chiffrement CBC ou des signatures en aveugle. Nous avons aussi transféré la sécurité des protocoles d'un cadre faible vers un cadre plus fort dans les sens suivants. D'une part, nous avons montré qu'une propriété de secret faible implique sous certaines hypothèses une propriété de secret plus forte. D'une autre part, nous avons construit des protocoles sûrs à partir de protocoles ayant des propriétés plus faibles. / This thesis is developed in the framework of the symbolic analysis of security protocols. The contributions are represented by decidability and transfer results in the following directions which are major topics in protocol verification: - treatment of the cryptographic primitives: CBC encryption, blind signatures; - security properties: strong secrecy, existence of key cycles; - approaches for protocol security: construction of the secure protocols. Thus, we showed the decidability (on the one hand) of the existence of key cycles for a bounded number of sessions using a generalized constraint system approach, and (on the other hand) of secrecy for protocols using the CBC encryption or blind signatures for an unbounded number of sessions by using a refined resolution strategy on a new fragment of Horn clauses. We also transferred protocol security from a weak framework towards a stronger framework in the following directions. On the one hand, we showed that a weak property of secrecy (i.e. reachability-based secrecy) implies under certain well-motivated assumptions a stronger secrecy property (i.e. equivalence-based secrecy). On the other hand, we built protocols secure against active adversaries considering an unbounded number of sessions, by transforming protocols which are secure in a non-adversarial setting.

Le travail de recherche présenté dans cette thèse est l’un des premiers dans le domaine de la gestion optimisée des services d’aide médicale urgente en France. Il est conduit dans le cadre d’un projet ANR qui vise à proposer de nouveaux scénarios d’organisation pour le SAMU du département du Val-de-Marne pour offrir aux patients l’accès adapté aux soins, tout en disposant de ressources limitées. Pour cela, nous développons un modèle de simulation à évènements discrets qui modélise et évalue la performance actuelle de ce système complexe et identifie des pistes d’amélioration susceptibles de réduire la durée entre la réception de l’appel et l’arrivée d’une équipe sur le lieu de l’accident, appelé temps de réponse, qui est un aspect critique dans les systèmes d’urgence pré-hospitaliers. Ce modèle de simulation est utilisé pour quantifier l’impact de divers scénarii se rapportant aux nombres de ressources humaines et matérielles, à la localisation de ces ressources à travers le territoire du Val-de-Marne de manière statique et à l’affectation de ces ressources aux interventions. En outre, nous avons effectué des analyses de sensibilité sur différents paramètres du modèle comme le nombre d’appels reçus, les temps de trajet et les temps de service. Finalement, nous avons utilisé deux approches d’optimisation par simulation afin d’étudier l’impact de la relocalisation des équipes dans différentes bases du département plusieurs fois dans une journée afin de tenir compte des fluctuations des temps de trajet et du nombre de ressources. Les résultats de ces deux approches ont été analysés puis comparés au regard des temps de calcul et de la distribution du temps de réponse. / The research addressed in this thesis is one of the first studies to address the Emergency Medical Service in France, known as SAMU (which stands for the French acronym of Urgent Medical Aid Services). It is funded by the French National Research Agency and aims at improving the organizational processes of the Val-de-Marne department SAMU system in order to meet the population’s needs under limited resources. For this purpose, we develop a discrete event simulation model in order to assess the current performance of this complex system, as well as to investigate the effects of potential process changes that would lead to enhanced operational efficiency, in terms of response time performance (i.e. the period between the receipt of a call and the first arrival of a rescue team at the scene), which is a critical aspect for SAMU providers. This model was used as a decision-support tool for comparing the relative benefits of several scenarios mainly related to the needed resource levels and static location of rescue teams throughout the Val-de-Marne area and their assignment to incoming calls. Sensivity analyses were also performed by changing values of some input parameters such as arrival rates of calls, travel times and service times. Finally, we used two simulation optimization approaches to analyze the impact of rescue teams assignment to bases by considering temporal fluctuations of travel times and number of resources during a day. Experimental results of the two approaches were analyzed and compared regarding computational times and response time distribution.

Cette thèse se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont représentées par l'obtention de résultats de décidabilité et de transfert dans les directions suivantes qui sont des thèmes majeurs en vérification des protocoles :<ul><li>traitement des primitives cryptographiques : chiffrement CBC, signatures en aveugle;</li><li>propriétés de sécurité : secret fort, existence de cycles de clefs;</li><li>approches pour la sécurité : construction de protocoles sûrs.</li></ul>Ainsi, nous avons montré la décidabilité (d'une part) de l'existence de cycles de clefs et (d'autre part) du secret pour des protocoles utilisant le mode de chiffrement CBC ou des signatures en aveugle. Nous avons aussi transféré la sécurité des protocoles d'un cadre faible vers un cadre plus fort dans les sens suivants. D'une part, nous avons montré qu'une propriété de secret faible implique sous certaines hypothèses une propriété de secret plus forte. D'une autre part, nous avons construit des protocoles sûrs à partir de protocoles ayant des propriétés plus faibles.

Nous nous intéressons à la sélection de modèle en apprentissage automatique, sous deux angles différents. La première partie de la thèse concerne les méthodes à noyau relationnel. Les méthodes à noyau permettent en principe de s'affranchir de la représentation des instances, et de combler le fossé entre apprentissage relationnel et apprentissage propositionnel. Cette thèse s'intéresse à la faisabilité de cet objectif dans un cas particulier : les problèmes à instances multiples, qui sont considérés comme un intermédiaire entre les problèmes propositionnels et les problèmes relationnels. Concrètement, nous déterminons sous quelles conditions le noyau-somme, utilisé sur des problèmes à instances multiples, est en mesure de reconstruire le concept-cible. Cette étude suit le schéma standard des études de transition de phase et s'appuie sur un critère nouveau pour caractériser l'efficacité de la propositionnalisation induite par le noyau-somme. La deuxième partie de la thèse porte sur la sélection d'attributs. Une solution pour résoudre les problèmes à instances multiples, tels que présentés en première partie, passe par une propositionnalisation associant un attribut à chaque instance présente dans le problème. Le nombre d'attributs ainsi construits étant gigantesque, il est alors nécessaire de sélectionner un sous-ensemble d'attributs ne contenant que des attributs pertinents. La deuxième partie de la thèse propose donc une nouvelle approche pour la sélection d'attributs. La sélection d'attributs est réécrite comme un problème d'apprentissage par renforcement, conduisant ainsi à une politique de sélection optimale mais non-calculable en un temps raisonnable. Cette politique est approchée en se fondant sur une approche de jeu à un joueur et en utilisant la méthode Monte-Carlo pour les arbres UCT (Upper Confidence bound applied to Trees), qui a été proposée par Kocsis et Szepesvari (2006). L'algorithme FUSE (Feature Uct SElection) étend UCT pour gérer (1) l'horizon fini mais inconnu, et (2) le facteur de branchement élevé de l'arbre de recherche reflétant la taille de l'ensemble d'attributs. Finalement, une fonction de récompense frugale est proposée en tant qu'estimation grossière mais non-biaisée de la pertinence d'un sous-ensemble d'attributs. Une preuve de concept de FUSE est fournie sur des bases de données de référence.

Le manuscrit est intitulé "Caractérisation et intensification des procédés sous l'effet d'une contribution externe" et correspond à un travail de recherche multi-domaines, sur la connaissance, la mise en œuvre et l'étude de procédés utilisés en traitement d'eau. Pour les différents procédés abordés, la méthodologie suivie se révèle être la même : imposer à un système des conditions externes, afin d'acquérir de le caractériser ou de l'intensifier. Cette démarche a été initialement utilisée en plaçant un système d'adsorption dans des conditions hydrauliques telles que l'acquisition d'un coefficient de diffusion soit possible. Cette méthodologie a ensuite été appliquée lors d'imposition de champs électromagnétiques externes à un réacteur de cémentation ou lors d'aération de cultures biologiques par des mélangeurs statiques à des fins d'intensification. Par la suite, cette démarche est envisagée lors de futures recherches via l'imposition de champs ultrasonores à un système d'ultrafiltration ou à une oxydation de micropolluants sur matrice solide.

Le but de cette thèse est d'explorer la faisabilité d'expériences de diffraction résonante sur des systèmes multiferroïques et en particulier avec un champ/courrant électrique appliqué. Un formalisme de matrices de propagation a été développé pour simuler la réflectivité résonante, en utilisant un ensemble d'ondes propres comme base arithmétique pour le calcul. Des expériences de diffraction résonante ont été menées sur trois oxides de métaux de transition. Cette technique combinant la selectivité chimique et la sensibité à l'espace réciproque, elle a été utilisée sur des films très minces de PbTiO3 pour étudier la structure atomique d'un agencement périodique de domaines ferroélectriques. La signatures spectroscopiques observées par nos expériences de diffraction X durs sont reproduites par des simulations ab-initio FDMNES de super-cellules complexes. Dans le domaine X mous, nous avons étudié la structure antiferromagnétique cycloïdale du multiferroïque BiFeO3, et plus spécialement l'empreinte de la cycloïde sur une couche mince de Co déposée sur le matériau multiferroïque. Nous présentons également une expérience dans laquelle nous avons tenté d'explorer l'effet d'un courant électrique appliqué sur un film mince du composé à ordre de charge Pr(1-x)Ca(x)MnO3. La dernière partie est consacrée à l'instrumentation. Nous passons en revue les lignes synchrotron européennes et les diffractomètres qui permettent de faire des expériences de diffraction résonante de rayons X. Pour finir, nous détaillons un nouveau porte-échantillon que nous avons développé et testé sur le diffractomètre RESOXS, et qui permet d'appliquer un champ/courant électrique.

Depuis la fin de l’apartheid, l’Afrique du Sud est entrée dans un vaste processus de reconstruction nationale. Les artistes de théâtre, qui s’étaient pour beaucoup impliqués dans la lutte contre le régime, ont ainsi dû redéfinir leur place au sein du pays. Cette thèse se concentre sur la période de 2004 à 2014 et étudie en particulier l’idéologie et les pratiques de troupes de théâtre professionnelles ayant choisi de mettre leur art au service du développement. Dans une dynamique prescriptive, ces dernières s’attaquent en priorité aux problématiques menaçant de façon immédiate l’équilibre vital de la société sud-africaine, prônant un changement attitudinal et comportemental auprès des publics visés. Constatant les difficultés de l’Afrique du Sud à gérer sa diversité et à effacer les multiples clivages issus de son histoire, les artistes s’emparent également de la question identitaire. Ainsi, les comédiens relaient les diverses perspectives sur le sujet et proposent à leur public de trouver un équilibre entre la reconnaissance des particularismes identitaires et la construction d’une nation fédérée autour de valeurs communes. Enfin, cette pratique artistique a pour vocation de transformer la réalité, constituant ainsi un défi pour tous ceux qui s’y impliquent. En modifiant le statut du spectateur, qui devient participant, les comédiens explorent la dimension performatrice de l’art théâtral. De plus, les artistes eux-mêmes sont confrontés à une exigence de cohérence, qu’il s’agisse de respecter effectivement leur mission en tant que troupe engagée pour le développement, ou d’incarner, au niveau professionnel comme privé, les valeurs qu’ils prônent sur scène. / Since the end of apartheid, South Africa has entered into a vast process of national reconstruction, mobilising diverse constituent parts of its society. Theatre artists, many of whom were involved in the fight against the regime, have had to redefine their role within their country. This thesis focuses on the period of time between 2004 and 2014, and studies in particular the ideology and practices of professional theatre companies that chose to devote their art to the service of development. Following a prescriptive approach, these companies put a priority on tackling issues that represent an immediate threat to the vital balance of South African society, advocating an attitudinal and behavioural change in the target audiences. Observing the difficulties South Africa faces in managing its diversity and overcoming the numerous divisions that are by-products of its history, the artists also take on the question of identity. In this way, the actors present diverse perspectives on the subject and leave it to their audience to find the balance between recognising particular identities and adopting common values to build a truly united nation. Finally, such a theatre aims at transforming reality, therefore challenging the audience and the artists alike. Through modifying the status of the spectator, who becomes a participant, the actors explore the performative dimension of theatrical art. In addition, the artists themselves are confronted with a requirement for coherence, whether this involves respecting their purpose as a company committed to development, or incarnating, in both a professional and private sense, the values which they advocate on stage.

During recent years, supply chain risks have gained importance in the food supply chain. This study presents a methodology to analyse the risk in the agri-food supply chain belonging to the Andean region in Peru. It utilises the interpretive structural modelling (ISM) with matrice d' impacts croises multiplication appliqué an classement (cross-impact matrix multiplication applied to classification, abbreviated as MICMAC) to identify and understand relationships between risk types. Based on the empirical data collected from the food industry experts, ten risk factors were identified as relevant. Finally, the identified risks were classified using ISM-MICMAC methodology. The research findings demonstrated that natural disaster, environmental, and legal risks were the most substantial. The findings highlight that selected methods are capable of recognising the most substantial risks that are most critical to assess, manage with adequate mitigation actions from the practitioners in the agri-food industry.

L'objectif poursuivi dans ce travail de thèse est la réalisation d'un dispositif capable d'interpréter une parole normalement articulée mais non vocalisée, permettant ainsi la " communication parlée silencieuse ". Destiné, à terme, à être léger et portatif, ce dispositif pourrait être utilisé d'une part, par une personne ayant subi une laryngectomie (ablation du larynx suite à un cancer), et d'autre part, pour toute communication, soit dans un milieu où le silence est requis (transport en commun, opération militaire, etc.), soit dans un environnement extrêmement bruité. Le dispositif proposé combine deux systèmes d'imagerie pour capturer l'activité de l'appareil vocal pendant " l'articulation silencieuse " : l'imagerie ultrasonore, qui donne accès aux articulateurs internes de la cavité buccale (comme la langue), et la vidéo, utilisée pour capturer le mouvement des lèvres. Le problème traité dans cette étude est celui de la synthèse d'un signal de parole " acoustique ", uniquement à partir d'un flux de données " visuelles " (images ultrasonores et vidéo). Cette conversion qualifiée ici de " visuo-acoustique ", s'effectue par apprentissage artificiel et fait intervenir quatre étapes principales : l'acquisition des données audiovisuelles, leur caractérisation, l'inférence d'une cible acoustique à partir de l'observation du geste articulatoire et la synthèse du signal. Dans le cadre de la réalisation du dispositif expérimental d'acquisition des données, un système de positionnement de la sonde ultrasonore par rapport à la tête du locuteur, basé sur l'utilisation combinée de deux capteurs inertiaux a tout d'abord été conçu. Un système permettant l'enregistrement simultané des flux visuels et du flux acoustique, basé sur la synchronisation des capteurs ultrasonore, vidéo et audio par voie logicielle, a ensuite été développé. Deux bases de données associant observations articulatoires et réalisations acoustiques, contenant chacune environ une heure de parole (continue), en langue anglaise, ont été construites. Pour la caractérisation des images ultrasonores et vidéo, deux approches ont été mises en œuvre. La première est basée sur l'utilisation de la transformée en cosinus discrète, la seconde, sur l'analyse en composantes principales (approche EigenTongues/EigenLips). La première approche proposée pour l'inférence des paramètres acoustiques, qualifiée de " directe ", est basée sur la construction d'une " fonction de conversion " à l'aide d'un réseau de neurones et d'un modèle par mélange de gaussiennes. Dans une seconde approche, qualifiée cette fois " d'indirecte ", une étape de décodage des flux visuels au niveau phonétique est introduite en amont du processus de synthèse. Cette étape intermédiaire permet notamment l'introduction de connaissances linguistiques a priori sur la séquence observée. Elle s'appuie sur la modélisation des gestes articulatoires par des modèles de Markov cachés (MMC). Deux méthodes sont enfin proposées pour la synthèse du signal à partir de la suite phonétique décodée. La première est basée sur une approche par concaténation d'unités ; la seconde utilise la technique dite de " synthèse par MMC ". Pour permettre notamment la réalisation d'adaptations prosodiques, ces deux méthodes de synthèse s'appuient sur une description paramétrique du signal de parole du type "Harmonique plus Bruit" (HNM).