Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
130 Research products, page 1 of 13

  • Publications
  • Research data
  • Doctoral thesis
  • IT
  • Mémoires en Sciences de l'Information et de la Communication

10
arrow_drop_down
Relevance
arrow_drop_down
  • Open Access English
    Authors: 
    Velichkov, Bozhidar;
    Publisher: HAL CCSD
    Countries: Italy, France

    The shape optimization problems naturally appear in engineering and biology. They aim to answer questions as:-What a perfect wing may look like?-How to minimize the resistance of a moving object in a gas or a fluid?-How to build a rod of maximal rigidity?-What is the behaviour of a system of cells?The shape optimization appears also in physics, mainly in electrodynamics and in the systems presenting both classical and quantum mechanics behaviour. For explicit examples and furtheraccount on the applications of the shape optimization we refer to the books [20] and [69]. Here we deal with the theoretical mathematical aspects of the shape optimization, concerning existence of optimal sets and their regularity. In all the practical situations above, the shape of the object in study is determined by a functional depending on the solution of a given partial differential equation. We will sometimes refer to this function as a state function.The simplest state functions are provided by solutions of the equations−∆w = 1 and −∆u = λu,which usually represent the torsion rigidity and the oscillation modes of a given object. Thus our study will be concentrated mainly on the situations, in which these state functions appear,i.e. when the optimality is intended with respect to energy and spectral functionals. [20] D. Bucur, G. Buttazzo: Variational Methods in Shape Optimization Problems. Progress in Nonlinear Differential Equations 65, Birkhauser Verlag, Basel (2005).[69] A. Henrot, M. Pierre: Variation et optimisation de formes: une analyse geometrique. Springer-Berlag, Berlin, 2005.; Les problèmes d'optimisation de forme sont présents naturellement en physique, ingénierie, biologie, etc. Ils visent à répondre à différentes questions telles que:-A quoi une aile d'avion parfaite pourrait ressembler?-Comment faire pour réduire la résistance d'un objet en mouvement dans un gaz ou un fluide?-Comment construire une structure élastique de rigidité maximale?-Quel est le comportement d'un système de cellules en interaction?Pour des exemples précis et autres applications de l'optimisation de forme nous renvoyons à [20] et [69]. Ici, nous traitons les aspects mathématiques théoriques de l'optimisation de forme, concernant l'existence d'ensembles optimaux ainsi que leur régularité. Dans toutes les situations que l'on considère, la fonctionnelle dépend de la solution d'une certaine équation aux dérivées partielles posée sur la forme inconnue. Nous allons parfois se référer à cette fonction comme une fonction d'état.Les fonctions d'état les plus simples, mais qui apparaissent dans beaucoup de problèmes, sont données par les solutions des équations -Δw = 1 et -Δu = λu,qui sont liées à la torsion et aux modes d'oscillation d'un objet donné. Notre étude se concentrera principalement sur ces fonctionnelles de formes, impliquant la torsion et le spectre.[20] D. Bucur, G. Buttazzo: Variational Methods in Shape Optimization Problems. Progress in Nonlinear Differential Equations 65, Birkhauser Verlag, Basel (2005).[69] A. Henrot, M. Pierre: Variation et optimisation de formes: une analyse geometrique. Springer-Berlag, Berlin, 2005.

  • French
    Authors: 
    Bonaciu, M.;
    Publisher: HAL CCSD
    Country: France

    ISBN : 2-84813-091-1; During the last years, the chip's complexity increased exponentially. The possibility to integrate multiple processors into the same chip represents an important gain, at it leads to the concept of Multi-Processors Systems on Chip (MP-SoC). This aspect allowed boosting the computational power offered by the chips. Thus, it became possible to integrate complex applications into a chip, applications that requires a large amount of computations, communications and memory. In this category, we can find the video treatment applications, like the MPEG4. To obtain good implementation results in term of performance, (1) a flexible MPEG4 encoder algorithm was developed, which can be easily adapted for different algorithm parameters, and different parallel/pipeline execution schemes. After this, (2) a flexible modeling was used, in order to represent different algorithm/architecture models containing 2 SMPs. Using these models, (3) a high-level algorithm/architecture exploration method was used, to find the optimal algorithm/architecture configurations required by different applications (i.e. mobile telecom). Using these parameters, (4) an automatic flow was used, to obtain final RTL architectures containing the MPEG4 encoder. Using all these aspects, the MPEG4 encoder was successfully implemented into multiple specific RTL architectures. Additionally, using the same approach, the MPEG4 encoder was implemented on an existing quadric-processors platform, for different video resolutions, frame rates, bitrates, etc.; Ces dernières années, la complexité des puces a augmenté exponentiellement. La possibilité d'intégrer plusieurs processeurs sur la même puce représente un gain important, et amène au concept du système multiprocesseur hétérogène sur puce (MP-SoC). Cet aspect a permis d'amplifier de manière significative la puissance de calcule fourni par ce type de puce. Il est même devenu possible d'intégrer des applications complexes sur une seule puce, applications qui nécessitent beaucoup de calculs, de communications et de mémoires. Dans cette catégorie, on peut trouver les applications de traitement vidéo MPEG4. Pour obtenir de bonnes implémentations en termes de performances, (1) un algorithme de l'encodeur MPEG4 flexible a été réalisé, pouvant être facilement adapté pour différents types de paramètres d'algorithme, mais également différents niveaux de parallélisme/pipeline. Puis, (2) une modélisation flexible a été utilisée, pour représenter différents models d'algorithme et d'architecture contenant 2 SMP. Utilisant ces models, (3) une exploration d'algorithme et d'architecture à un haut niveau d'abstraction a été proposé, en vue de trouver les configurations correctes d'algorithme et d'architectures, nécessaires pour différents applications. A partir de ces configurations, (4) un flot automatique d'implémentation d'architectures RTL a été utilisé. En utilisant ces aspects, l'encodeur MPEG4 a été implémenté avec succès dans plusieurs architectures spécifiques MP-SoC au niveau RTL. La même approche a été utilisée pour l'implémentation de l'encodeur MPEG4 sur une architecture quadri-processeurs existante, pour différentes résolutions, frame-rate, bitrates, etc.

  • Open Access English
    Authors: 
    Farina, Giovanni;
    Publisher: HAL CCSD
    Countries: Italy, France, France

    Reliable communication is a fundamental primitive in distributed systems prone to Byzantine (i.e. arbitrary, and possibly malicious) failures to guarantee the integrity, delivery, and authorship of the messages exchanged between processes. Its practical adoption strongly depends on the system assumptions. Several solutions have been proposed so far in the literature implementing such a primitive, but some lack in scalability and/or demand topological network conditions computationally hard to be verified. This thesis aims to investigate and address some of the open problems and challenges implementing such a communication primitive. Specifically, we analyze how a reliable communication primitive can be implemented in 1) a static distributed system where a subset of processes is compromised, 2) a dynamic distributed system where part of the processes is Byzantine faulty, and 3) a static distributed system where every process can be compromised and recover.We define several more efficient protocols and we characterize alternative network conditions guaranteeing their correctness.; Une communication fiable est une primitive fondamentale dans les systèmes distribués sujets aux pannes Byzantines (c'est-à-dire arbitraires et éventuellement malveillants) pour garantir l'intégrité, l’authenticité et la livraison des messages échangés entre les processus. Son adoption pratique dépend fortement des hypothèses du système. Plusieurs solutions ont été proposées jusqu'à présent dans la littérature mettant en œuvre une telle primitive, mais certaines manquent d'évolutivité et / ou exigent des conditions de réseau topologiques difficiles à vérifier.Cette thèse vise à étudier et à résoudre certains des problèmes et défis ouverts implémentant une telle primitive de communication. Plus précisément, nous analysons comment une primitive de communication fiable peut être implémentée dans 1) un système distribué statique où un sous-ensemble de processus est compromis, 2) un système distribué dynamique où une partie des processus est Byzantiné, et 3) un système distribué statique où chaque processus peut être compromis et récupérer.Nous définissons plusieurs protocoles plus efficaces et nous caractérisons des conditions de réseau alternatives garantissant leur exactitude.

  • Open Access English
    Authors: 
    Bonincontro, Danilo;
    Publisher: HAL CCSD
    Countries: France, Italy

    The depletion of fossil-derived resources and the need to decrease the emission of green-house gases led scientists to look for sustainable materials to replace the already existing fossil-derived ones. For instance, 2,5-furandicarboxylic acid (FDCA) has been pointed out as the bioderived counterpart of terephthalic acid for the synthesis of polyesters. In fact, FDCA could be obtained by means of selective oxidation of 5-hydroxymethylfurfural (HMF), a bio-derived platform molecule produced by glucose hydrolysis. This reaction is known to be catalyzed by supported metal nanoparticle systems in presence of inorganic bases under batch conditions. This work deals with the development of catalytic systems able to perform the base-free HMF oxidation, since the possibility to circumvent base addition leads more sustainable processes. In particular, two different sets of catalytic systems have been studied: mono- and bimetallic Au and Pd nanoparticles on nano-sized NiO, and mono- and bimetallic Pt/Sn systems on titania, prepared via cluster precursor decomposition. Another topic that will be discussed in this thesis focuses on the development of catalytically active polymeric membranes obtained via electrospinning and their application as catalytic system for HMF oxidation either under basic and neutral aqueous conditions. In details, polyacrylonitrile and nylon have been tested as electrospun polymeric matrixes for the embedding of Au-based nanoparticles and Pt clusters; L'épuisement progressif des matières premières d'origine fossile et la nécessité de réduire les émissions de gaz à effets de serre ont conduit la communauté scientifique à rechercher de nouveaux matériaux dont la production ne dépendra pas de ressources non renouvelables. Dans un autre temps ces matériaux pourront déjà être introduits sur le marché afin de substituer des produits déjà existant qui proviennent de matières premières fossiles. Par exemple, l'acide 2,5-furandicarboxylique (FDCA) obtenu par valorisation de la biomasse lignocellulosique est un potentiel substituant de l'acide téréphtalique actuellement utilisé pour la production de polyesters. En effet, le FDCA peut être obtenu par oxydation sélective du 5-hydroxyméthylfurfural (HMF) synthétisé à partir de la biomasse lignocellulosique. Ainsi, ce travail de thèse peut être défini par deux problématiques principales : (1) Le développement de catalyseurs pour l'oxydation de HMF en FDCA sans utiliser de bases inorganiques et (2) Développement de membranes catalytiques de polymères pour la future adaptation du procédé d'oxydation en réacteur à flux continu. Pour ce qui concerne l'oxydation de HMF dans des conditions neutres, une première étude s'est intéressée à la possibilité d'utiliser de l'oxyde de nickel nanométrique comme support pour des nanoparticules. Ensuite, la possibilité d'utiliser des nanoparticules de Pt supportées sur du TiO2 obtenues par décomposition contrôlée de clusters carbonyliques a été étudiée. Ainsi, des membranes de polymère obtenues par électrospinning, contenant les nanoparticules métalliques étudiées précédemment, ont été appliquées comme système catalytique pour l'oxydation du HMF

  • English
    Authors: 
    Cardillo, Giulia;
    Publisher: HAL CCSD

    In the present thesis, three mathematical models are described. Three different biomedical issues, where fluid dynamical aspects are of paramount importance, are modeled: i) Fluid-structure interactions between cerebro-spinal fluid pulsatility and the spinal cord (analytical modeling); ii) Enhanced dispersion of a drug in the subarachnoid space (numerical modeling); and iii) Thrombus formation and evolution in the cardiovascular system (numerical modeling).The cerebrospinal fluid (CSF) is a liquid that surrounds and protects the brain and the spinal cord. Insights into the functioning of cerebrospinal fluid are expected to reveal the pathogenesis of severe neurological diseases, such as syringomyelia that involves the formation of fluid-filled cavities (syrinxes) in the spinal cord.Furthermore, in some cases, analgesic drugs -- as well drugs for treatments of serious diseases such as cancers and cerebrospinal fluid infections -- need to be delivered directly into the cerebrospinal fluid. This underscores the importance of knowing and describing cerebrospinal fluid flow, its interactions with the surrounding tissues and the transport phenomena related to it. In this framework, we have proposed: a model that describes the interactions of the cerebrospinal fluid with the spinal cord that is considered, for the first time, as a porous medium permeated by different fluids (capillary and venous blood and cerebrospinal fluid); and a model that evaluates drug transport within the cerebrospinal fluid-filled space around the spinal cord --namely the subarachnoid space--.The third model deals with the cardiovascular system. Cardiovascular diseases are the leading cause of death worldwide, among these diseases, thrombosis is a condition that involves the formation of a blood clot inside a blood vessel. A computational model that studies thrombus formation and evolution is developed, considering the chemical, bio-mechanical and fluid dynamical aspects of the problem in the same computational framework. In this model, the primary novelty is the introduction of the role of shear micro-gradients into the process of thrombogenesis.The developed models have provided several outcomes. First, the study of the fluid-structure interactions between cerebro-spinal fluid and the spinal cord has shed light on scenarios that may induce the occurrence of Syringomyelia. It was seen how the deviation from the physiological values of the Young modulus of the spinal cord, the capillary pressures at the SC-SAS interface and the permeability of blood networks can lead to syrinx formation.The computational model of the drug dispersion has allowed to quantitatively estimate the drug effective diffusivity, a feature that can aid the tuning of intrathecal delivery protocols.The comprehensive thrombus formation model has provided a quantification tool of the thrombotic deposition evolution in a blood vessel. In particular, the results have given insight into the importance of considering both mechanical and chemical activation and aggregation of platelets.; Dans cette thèse, trois modèles mathématiques ont été proposés, avec l’objectif de modéliser autant d’aspects complexes de la biomédecine, dans lesquels la dynamique des fluides du système joue un rôle fondamental: i) les interactions fluide-structure entre la pulsatilité du liquide céphalo-rachidien et la moelle épinière (modélisation analytique); ii) dispersion efficace d’un médicament dans l’espace sous-arachnoïdien (modélisation numérique); et iii) la formation et l’évolution d’un thrombus au sein du système cardiovasculaire (modélisation numérique).Le liquide céphalorachidien est un fluide aqueux qui entoure le cerveau et la moelle épinière afin de les protéger. Une connaissance détaillée de la circulation du liquide céphalorachidien et de son interaction avec les tissus peut être importante dans l’étude de la pathogenèse de maladies neurologiques graves, telles que la syringomyélie, un trouble qui implique la formation de cavités remplies de liquide (seringues) dans la moelle épinière.Par ailleurs, dans certains cas, des analgésiques - ainsi que des médicaments pour le traitement de maladies graves telles que les tumeurs et les infections du liquide céphalorachidien - doivent être administrés directement dans le liquide céphalorachidien. L’importance de connaître et de décrire l’écoulement du liquide céphalorachidien, ses interactions avec les tissus environnants et les phénomènes de transport qui y sont liés devient claire. Dans ce contexte, nous avons proposé: un modèle capable de décrire les interactions du liquide céphalo-rachidien avec la moelle épinière, considérant cela, pour la première fois, comme un milieu poreux imprégné de différents fluides (sang capillaire et veineux et liquide céphalo-rachidien); et un modèle capable d’évaluer le transport d’un médicament dans l’espace sousarachnoïdien, une cavité annulaire remplie de liquide céphalo-rachidien qui entoure la moelle épinière.Avec le troisième modèle proposé, nous entrons dans le système cardiovasculaire.Dans le monde entière, les maladies cardiovasculaires sont la cause principale de mortalité. Parmi ceux-ci, nous trouvons la thrombose, une condition qui implique la formation d’un caillot à l’intérieur d’un vaisseau sanguin, qui peut causer sa occlusion. À cet égard, un modèle numérique a été développé qui étudie la formation et l’évolution des thrombus, en considérant simultanément les aspects chimico-biomécaniques et dynamiques des fluides du problème. Dans le modèle proposé pour la première fois, l'importance du rôle joué par les gradients de contrainte de cisaillement dans le processus de thrombogenèse est pris en compte.Les modèles sélectionnés ont fourni des résultats intéressants. Tout d’abord, l’étude des interactions fluide-structure entre le liquide céphalo-rachidien et la moelle épinière a mis en évidence es conditions pouvant induire l’apparition de la syringomyélie. Il a été observé comment la déviation des valeurs physiologiques du module d’Young de la moelle épinière, les pressions capillaires dans l’interface moelle-espace sousarachnoïdien et la perméabilité des compartiments capillaire et veineux, conduisent à la formation de seringues.Le modèle de calcul pour l’évaluation de la dispersion pharmacologique dans l’espace sousarachnoïdien a permis une estimation quantitatif de la diffusivité effective du médicament, une quantité qui peut aider à l’optimisation des protocoles d’injections intrathécales.Le modèle de thrombogenèse a fourni un instrument capable d’étudier quantitativement l’évolution des dépôts de plaquettes dans la circulation sanguine. En particulier, les résultats ont fourni des informations importantes sur la nécessité de considérer le rôle de l’activation mécanique et de l’agrégation des plaquettes aux côtés de la substance chimique.

  • English
    Authors: 
    Bocco, Andrea;
    Publisher: HAL CCSD
    Country: France

    Most of the Floating-Point (FP) hardware units support the formats and the operations specified in the IEEE 754 standard. These formats have fixed bit-length. They are defined on 16, 32, 64, and 128 bits. However, some applications, such as linear system solvers and computational geometry, benefit from different formats which can express FP numbers on different sizes and different tradeoffs among the exponent and the mantissa fields. The class of Variable Precision (VP) formats meets these requirements. This research proposes a VP FP computing system based on three computation layers. The external layer supports legacy IEEE formats for input and output variables. The internal layer uses variable-length internal registers for inner loop multiply-add. Finally, an intermediate layer supports loads and stores of intermediate results to cache memory without losing precision, with a dynamically adjustable VP format. The VP unit exploits the UNUM type I FP format and proposes solutions to address some of its pitfalls, such as the variable latency of the internal operation and the variable memory footprint of the intermediate variables. Unlike IEEE 754, in UNUM type I the size of a number is stored within its representation. The unit implements a fully pipelined architecture, and it supports up to 512 bits of precision, internally and in memory, for both interval and scalar computing. The user can configure the storage format and the internal computing precision at 8-bit and 64-bit granularity This system is integrated as a RISC-V coprocessor. The system has been prototyped on an FPGA (Field-Programmable Gate Array) platform and also synthesized for a 28nm FDSOI process technology. The respective working frequencies of FPGA and ASIC implementations are 50MHz and 600MHz. Synthesis results show that the estimated chip area is 1.5mm2, and the estimated power consumption is 95mW. The experiments emulated in an FPGA environment show that the latency and the computation accuracy of this system scale linearly with the memory format length set by the user. In cases where legacy IEEE-754 formats do not converge, this architecture can achieve up to 130 decimal digits of precision, increasing the chances of obtaining output data with an accuracy similar to that of the input data. This high accuracy opens the possibility to use direct methods, which are more sensitive to computational error, instead of iterative methods, which always converge. However, their latency is ten times higher than the direct ones. Compared to low precision FP formats, in iterative methods, the usage of high precision VP formats helps to drastically reduce the number of iterations required by the iterative algorithm to converge, reducing the application latency of up to 50%. Compared with the MPFR software library, the proposed unit achieves speedups between 3.5x and 18x, with comparable accuracy.; La plupart des unités matérielles arithmétiques à virgule flottante (en anglais Floating-Point, FP) prennent en charge les formats et les opérations spécifiés dans le standard IEEE 754. Ces formats ont une longueur en bits fixe et sont définis sur 16, 32, 64 et 128 bits. Cependant, certaines applications, par exemple les solveurs de systèmes linéaires, ou encore la géométrie computationnelle, pourraient bénéficier de formats différents pour représenter les flottants sur différentes tailles, avec différents compromis entre les champs des exposant et mantisse. La classe des formats de précision variable (en anglais Variable Precision, VP) répond à ces exigences. L'objectif de cette recherche est de proposer un système de calcul VP capable d'augmenter la précision ou l'efficacité de calcul des problèmes en offrant une granularité plus fine des opérations FP. Ce travail propose un système de calcul FP à VP basé sur trois couches de calcul. La couche externe prend en charge les formats IEEE existants pour les variables d'entrée et de sortie. La couche interne utilise des registres de longueur variable pour les opérations de multiplication-addition à haute précision. Enfin, une couche intermédiaire prend en charge le chargement et le stockage des résultats intermédiaires dans la mémoire cache sans perte de précision, avec un format VP réglable dynamiquement. Le support des formats différents entre la représentation interne et le stockage en mémoire proche permets d'envisager des "grands vecteurs" en VP avec la possibilité d’avoir une haute précision de calcul dans la couche interne. L'unité à VP exploite le format FP UNUM de type I, en proposant des solutions pour remédier à certains de ses difficultés intrinsèques, telles que la latence variable de l'opération interne et l'empreinte mémoire variable des variables intermédiaires. Contrairement aux formats définis par IEEE 754, dans l'UNUM de type I, la taille d'un nombre est stockée dans la représentation elle-même. Ce travail propose une architecture de jeu d'instructions pour programmer le système de calcul VP qui suit la structure des couches de calcul susmentionnée. L'objectif de cette ISA est d'établir une séparation claire entre le format de la mémoire et celui à l'intérieur du coprocesseur. Avec cette ISA, le programmeur peut écrire des programmes VP de telle sorte que les instructions assembleur générées soient décorrélées de la taille et des formats des variables du programme. Cette décorrélation se fait en stockant les informations sur la taille, la précision et le format des variables du programme dans des registres d'état dédiés, à l'intérieur de l'unité VP. Ces registres d’état sont utilisés par une unité de chargement et de stockage (Load and Store Unit, LSU), étroitement couplée à l'unité de calcul VP, qui prend en charge la conversion des données entre les couches de calcul.

  • Open Access English
    Authors: 
    Folena, Giampaolo;
    Publisher: HAL CCSD
    Countries: France, Italy

    The main driving notion behind my thesis research is to explore the connection between the dynamics and the static in a prototypical model of glass transition, i.e. the mean-field p-spin spherical model. This model was introduced more than 30 years ago with the purpose of offering a simplified model that had the same equilibrium dynamical slowing down, theoretically described a few years earlier by mode-coupling theory. Over the years, the p-spin spherical model has shown to be a very meaningful and promising model, capable of describing many equilibrium and out-of-equilibrium aspects of glasses. Eventually it came to be considered as a prototypical model of glassiness. Having such a simple but rich reference model allows a coherent examination of a subject, in our case the glass behavior, which presents a very intricate phenomenology. Thus, the main purpose is not to have a quantitative prediction of the phenomena, but rather a broader view with a strong analytical basis. In this sense the p-spin model has assumed a role for disordered systems which is comparable to that of the Ising model for understanding ferromagnetism. My research is a natural path to reinforce our knowledge and comprehension of this model. In the first chapter, we provide a general introduction to supercooled liquids and their phenomenology. The introduction is brief, and the main goal is to give a general overview, mainly from the point of view of the Random First Order Transition, while considering other perspectives on the subject and attempting to provide a ‘fair' starting bibliography to whomever wants to study supercooled liquids. The last section focuses on the Potential Energy Landscape paradigm (PEL), which in my view, gives a very solid modelization of glassy phenomenology, and shares many aspects with mean-field analysis. In the second chapter, the p-spin spherical model is presented in details. The equilibrium analysis is performed with the replica formalism, with a focus on the ultrametric structure. Then, different tools to study its free energy landscape are introduced: the TAP approach, the Franz-Parisi potential and the Monasson method. These three different ways of selecting states are carefully contrasted and their analogies and differences are underlined, in particular highlighting the different behavior played by pure and mixed p-spin models. Then the equilibrium dynamics is discussed, and a selection of classical results on the dynamical slowing down are analyzed by numerical integration. To conclude, the out-of-equilibrium dynamics in the two temperature protocol is analyzed. This shows two different regimes, the state following and the aging. For both, an asymptotic analysis and a numerical integration are performed and compared. A strong emphasis is given to the possibility of describing the asymptotic dynamics with a static potential. The third chapter presents all the new results that emerged during my research. The study focuses on the two temperature protocol, starting in equilibrium and setting the second temperature to zero, which corresponds to a gradient descent dynamics. This protocol is especially interesting because it corresponds to the search of inherent structure of the energy landscape. The integrated dynamics, depending on the starting temperature, shows three different regimes, one that corresponds to a new phase, which shows aging together with memory of the initial condition. This new phase is not present in pure p-spin models, only in mixed ones. In order to theoretically describe this new phase, a constrained analysis of the stationary points of the energy landscape is performed. A numerical simulation of the system is also presented to confirm this new scenario.; L'objectif principal de ma thèse est d’explorer le lien entre la dynamique et la statique dans un modèle prototypique de transition vitreuse, i.e. le modèle à champ moyen du p-spin sphérique. Ce modèle a été introduit il y a plus de 30 ans dans le but d’offrir un modèle simplifié ayant, à l'équilibre, le même ralentissement dynamique décrit théoriquement quelques années plus tôt par la théorie des modes couplés. Au fil des ans, le modèle du p-spin sphérique s’est révélé être un modèle très significatif et prometteur, capable de décrire de nombreux aspects d’équilibre et hors équilibre des verres. Avoir un tel modèle de référence simple mais riche permet un examen cohérent d’un sujet, dans notre cas le comportement du verre qui présente une phénoménologie très complexe. Ainsi, le but principal n’est pas d’avoir une prédiction quantitative des phénomènes, mais plutôt une vue plus large avec une forte base analytique. En ce sens, le modèle du p-spin a assumé un rôle pour les systèmes désordonnés qui est comparable à celui du modèle Ising pour comprendre le ferromagnétisme. Ma recherche est une voie naturelle pour renforcer notre connaissance et notre compréhension de ce modèle. Dans le premier chapitre, nous donnons une introduction générale aux liquides surfondus et leur phénoménologie. L’introduction est brève, et l’objectif principal est de donner un aperçu général, principalement du point de vue de la transition aléatoire du premier ordre, tout en tenant compte d’autres points de vue sur le sujet et en essayant de fournir une « bonne » bibliographie de départ à quiconque veut étudier les liquides surfondus. La dernière section se concentre sur le paradigme du surface d'énergie potentielle (PEL), qui, à mon avis, donne une modélisation très solide de la phénoménologie vitreuse, et partage de nombreux aspects avec l’analyse du champ moyen. Dans le deuxième chapitre, le modèle du p-spin sphérique est présenté en détail. L’analyse d’équilibre est réalisée avec le formalisme des répliques, avec un accent sur la structure ultramétrique. Ensuite, différents outils pour étudier son paysage d’énergie libre sont présentés: l’approche TAP, le potentiel de Franz-Parisi et la méthode de Monasson. Ces trois manières différentes de sélectionner les états sont soigneusement contrastées et leurs analogies et différences sont soulignées, en particulier le comportement différent joué par les modèles du p-spin purs et mixtes. Ensuite, la dynamique d’équilibre est discutée, et une sélection de résultats classiques sur le ralentissement dynamique sont analysés par intégration numérique. Pour conclure, la dynamique hors équilibre dans le protocole à deux températures est analysée. Cela montre deux régimes différents, des états suivables et du vieillissement. Pour les deux, une analyse asymptotique et une intégration numérique sont effectuées et comparées. L’accent est mis sur la possibilité de décrire la dynamique asymptotique avec un potentiel statique. Le troisième chapitre présente tous les nouveaux résultats qui ont émergé au cours de mes recherches. L’étude se concentre sur le protocole à deux températures, commençant à l’équilibre et fixant la deuxième température à zéro, ce qui correspond à une dynamique de descente du gradient. Ce protocole est particulièrement intéressant car il correspond à la recherche de la structure inhérente du paysage énergétique. La dynamique intégrée, en fonction de la température de départ, montre trois régimes différents. Une de ceux-ci corresponde à une nouvelle phase, qui présente le vieillissement avec la mémoire de la condition initiale. Cette nouvelle phase n’est pas présente dans les modèles du p-spin pure, seulement dans les modèles mixtes. Afin de décrire théoriquement cette nouvelle phase, une analyse des points stationnaires du paysage énergétique est effectuée. Une simulation numérique du système est également présentée pour confirmer ce nouveau scénario.

  • Open Access English
    Authors: 
    Benvegnù, Agostino;
    Publisher: HAL CCSD
    Countries: Italy, France

    GaN-based high electron mobility transistors (HEMTs) are promising candidates for future microwave equipment, such as new solid state power amplifiers (SSPAs), thanks to their excellent performance. A first demonstration of GaN-MMIC transmitter has been developed and put on board the PROBA-V mission. But this technology still suffers from the trapping phenomena, principally due to lattice defects. Thus, the aim of this research is to investigate the trapping effects and the reliability aspects of the GH50 power transistors for C-band applications. A new trap investigation protocol to obtain a complete overview of trap behavior from DC to radio-frequency operation modes, based on combined pulsed I/V measurements, DC and RF drain current measurements, and low-frequency dispersion measurements, is proposed. Furthermore, a nonlinear electro-thermal AlGaN/GaN model with a new additive thermal-trap model including the dynamic behavior of these trap states and their associated temperature variations is presented, in order to correctly predict the RF performance during real RF operating conditions. Finally, an advanced time-domain methodology is presented in order to investigate the device’s reliability and to determine its safe operating area. This methodology is based on the continual monitoring of the RF waveforms and DC parameters under overdrive conditions in order to assess the degradation of the transistor characteristics in the RF power amplifier.; Les transistors à haute mobilité d’électrons (HEMTs) en nitrure de gallium (GaN) s’affirment comme les candidats prometteurs pour les futurs équipements à micro-ondes - tels que les amplificateurs de puissance à état solide (SSPA), grâce à leurs excellentes performances. Une première démonstration d'émetteur en technologie GaN-MMIC a été développée et embarquée dans la mission spatiale PROBA-V. Mais cette technologie souffre encore des effets de pièges par des défauts présents au sein de la structure. L’objectif de ce travail est donc l'étude d’effets de pièges et des aspects de fiabilité des transistors de puissance GH50 pour des applications en bande C. Un protocole d’investigation des phénomènes de pièges est présenté, qui permet l’étude des dynamiques des effets de pièges du mode de fonctionnement DC au mode de fonctionnement radiofréquence, basé sur la combinaison des mesures IV impulsionnelles, des mesures de transitoires du courant de drain avec des impulsions DC et RF et des mesures de paramètres [S] en basse fréquence. Un modèle de HEMT AlGaN/GaN non-linéaire électrothermique est présenté, incluant un nouveau modèle thermique de pièges restituant le comportement dynamique de ces pièges et leurs variations en température afin de prédire correctement les performances en conditions réelles de fonctionnement RF. Enfin, une méthodologie temporelle pour l’évaluation de la fiabilité et de limites réelles d'utilisation de transistors dans l'amplificateur de puissance RF en régime d’overdrive (très forte compression), basée sur la mesure monitorée de Formes d'Onde Temporelles (FOT), est proposée.

  • French
    Authors: 
    Certad, Gabriela;
    Publisher: HAL CCSD
    Country: France

    Cryptosporidiosis represents a major public health problem. This infection, caused by protozoa of the genus Cryptosporidium, has been reported worldwide as a frequent cause of diarrhoea, and its prevalence varies according to different regions. In developed countries, massive Cryptosporidium foodborne and waterborne outbreaks have been reported. In developing countries, Cryptosporidium affects mostly children under five. Furthermore, cryptosporidiosis remains a clinically significant opportunistic infection in immunocompromised patients, causing potentially life-threatening diarrhoea, especially in those HIV-infected persons. Additionally, these parasites not only infect humans, but also cause morbidity in farm animals. The parasite begins its life cycle as sporulated oocysts which enter the environment through the feces of the infected host. The infective oocysts reside in food and water. Most transmission occurs through recreational water use. Cryptosporidium has also entered drinking water supplies, causing major outbreaks in cities around the world. Infection occurs when the oocysts are ingested by a suitable host. Without medical prescription, Cryptosporidium detection is not done as a routine, and the observation of the morphology of the parasite is not enough to establish differences between species. For that reason molecular techniques have been developed to differentiate this parasite at the species and genotype levels, and several methods have been used to study and characterize different parasite strains.Because the knowledge about molecular epidemiology is important to the better understanding of the parasite infection, in the first part of this work we characterized the genetic variability of species and subspecies of Cryptosporidium in different regions: Venezuela, Francia, Haiti et Iran.A cross-sectional study was undertaken to determine the prevalence of cryptosporidiosis and its clinical and laboratory pattern in Venezuelan HIV-infected patients. At enrollment, they underwent thorough clinical history and physical examination and provided stool specimens for the identification of Cryptosporidium sp. and other parasites. Cryptosporidium sp. was identified in 15%. This infection was strongly associated with acute and chronic diarrhea, weight loss, CD4+ counts below 100 cells/mm3, older age in patients with leukopenia, and more than 5 stools per day when CD4+ counts were below 100 cells/mm3. We characterized new stool specimens from Venezuelan HIV infected patients using nested PCR�RFLP and sequencing tools, based on the 18S rRNA gene. Three species of Cryptosporidium were identified among these patients on the basis of the 18S rDNA locus: C. hominis, C. parvum, and C. canis. In this study, five C. hominis samples were sub-genotyped with micro- and minisatellite markers. For four of them, the same combination of alleles was found. We studied too the population genetic structure of Cryptosporidium spp. in France and Haiti. In the two areas under study, clonality was predominant, even if some sub-populations exhibited panmixia. Clonal genotypes are considered to be stable in space and time and thus can provide efficient tools for the identification of infection sources or transmission routes. Then, in order to define efficient prevention and control strategies, biology and clinical features of genetically well-defined parasite populations have to be explored. Isolates of Cryptosporidium spp. from human and animal hosts in Iran were also characterized on the basis of both the 18S rRNA gene and the Laxer locus. Three Cryptosporidium species, C. hominis, C. parvum, and C. meleagridis, were recognized, and zoonotically transmitted C. parvum was the predominant species found in humans. To contribute to the comprehension of the dynamics of infection and to investigate biological divergence between different populations of Cryptosporidium, culture tissue and animal models have been used. It has been difficult to find suitable models for cryptosporidiosis, as most mammalians are susceptible to infection only as newborns. However, some Cryptosporidium species can be propagated in either chemically or genetically immunosuppressed mice. Efforts are still needed to develop reproducible animal models allowing both the routine passage of different species and approaching unclear aspects of Cryptosporidium infection, especially in the pathophysiology field. In the second part of this work we developed a model using adult severe combined immunodeficiency (SCID) mice inoculated with Cryptosporidium parvum or Cryptosporidium muris while treated or not with Dexamethasone (Dex) in order to investigate divergences in prepatent period, oocyst shedding or clinical and histopathological manifestations. C. muris-infected mice showed high levels of oocysts excretion, whatever the chemical immunosuppression status. Parasite infection was restricted to the stomach, and had a clear preferential colonization for fundic area in both groups. Among C. parvum-infected mice, Dex-treated SCID mice became chronic shedders. C. parvum-inoculated mice treated with Dex developed glandular cystic polyps with areas of intraepithelial neoplasia. To further characterize this Cryptosporidium induced neoplastic cell transformation, SCID mice treated with Dexamethasone were challenged with different doses of C. parvum oocysts, and euthanatized sequentially after infection for histological examination. Our previous results were confirmed, and it was also found that mice infected with higher inoculums experienced more severe infections. Additionally, neoplastic changes were observed not only in the caecum but also in the stomach and duodenum of some animals. Then, we developed different animal experiments to determine whether other strains of C. parvum or other Cryptosporidium species were able to propagate in our model of SCID mice treated with Dex and to induce the development of premalignant or malignant lesions. All fecal and histological specimens from infected mice treated or not with Dex were negative for either C. molnari, species found in fishes or C. hominis, species considered as anthroponotic.In fact, our results give insights about the genetic diversity of Cryptosporidium in different regions of the world and about the variable expression of the disease severity according to the infecting species. Furthermore, we have standardized a rodent reproducible model of chronic infection and for the first time we showed an association between Cryptosporidium infection and the induction of dysplasia in the gut of SCID mice; Le genre Cryptosporidium (Apicomplexa : Alveolata) comprend des espèces qui infectent l'intestin d'un grand nombre de vertébrés (l'homme compris). Elles sont la cause de la cryptosporidiose, maladie opportuniste émergente avec un impact considérable chez le patient immunodéficient, notamment sidéen. Ces protistes infectent aussi des sujets immunocompétents dans toutes les latitudes, en déterminant des diarrhées en général autorésolutives. Les oocystes hébergeant les sporozoïtes infectants sont éliminés avec les selles des hôtes infectés, contaminent l'environnement, sont fréquemment véhiculés par les eaux où ils gardent leur pouvoir infectieux pendant longtemps, résistant aux désinfectants usuels. Par ailleurs, étant immédiatement infectieux après leur excrétion, ils peuvent être transmis directement par contact inter-humain.Sans prescription spécifique, rare dans les faits, la détection d'oocystes de Cryptosporidium n'est pas pratiquée lors de l'examen coproparasitaire conventionnel. De plus, la morphologie étant insuffisante à la distinction des espèces dans le genre, leur identification, qui fait appel à des méthodes moléculaires, est rarement pratiquée, notamment dans les pays en développement. Cependant, elle constitue le seul moyen de déterminer les sources, les voies et les mécanismes de l'infection, informations essentielles au développement de stratégies rationnelles de prévention.Pour toutes ces raisons, nous avons dans un premier temps cherché à caractériser la variabilité génétique des espèces et de sub-espèces de Cryptosporidium dans différentes régions : Venezuela, Francia, Haïti e Iran. Au Venezuela, chez les 397 patients avec un statut VIH/SIDA confirmé, notre étude a révélé que l'infection par Cryptosporidium est fréquente parmi les patients infectés par le VIH vivant à Caracas, que l'infection, dont la prévalence augmente avec l'âge, s'associe fréquemment à une diarrhée (plus de 5 selles par jour) et à une perte de poids, et qu'un taux de CD4+ La seconde partie de ce travail décrit le développement d'un modèle murin immunodéprimé, représenté par des souris SCID (Severe Combined Immunodeficiency), traitées par la dexaméthasone. Ce modèle, destiné à caractériser les isolats de Cryptosporidium spp sur le plan phénotypique, a révélé des divergences marquées entre C. parvum et C. muris. Les espèces C. hominis, spécifique de l'homme, et C. molnari, de poisson, ne se sont pas développées chez la souris SCID traitée ou pas par la déxaméthasone. L'étude histopathologique a confirmé la localisation gastrique (préférentiellement fundique) de C. muris. Les souris SCID sous dexaméthasone inoculées avec C. parvum ont développé des dysplasies iléo-caecales à partir du 35ème jour post-inoculation. Chez les souris non traitées par la déxamethasone euthanasiées 57 jours après l'infection la parasitose était associée à un néoplasie intestinal de bas grade. Des néoplasies de haut grade ont été observés au niveau de l'estomac (souris sous déxaméthasone), principalement dans la zone antrale. Globalement, nos expériences ont montré que C. parvum induit des néoplasies intra-épithéliales de bas et de haut grade dans l'estomac, le duodénum, le caecum et autres régions du côlon. Un tiers de ces souris présentaient des lésions néoplasiques dans plus d'un type d'organe. Des approches immunohistochimiques et biochimiques complètent la caractérisation de ces lésions.Globalement, ce travail, qui rapporte un modèle expérimental hautement reproductible de cryptosporidiose, fournit des nouvelles informations sur la diversité génétique de Cryptosporidium dans plusieurs régions du monde et sur les différences biologiques entre espèces. En particulier, ce travail démontre pour la première fois la capacité de C. parvum à induire des processus néoplasique chez l'hôte. Cette découverte majeure accroît significativement l'intérêt scientifique des Cryptosporidium spp et suggère que l'impact de ces parasites en santé humaine et animale pourrait être beaucoup plus grand que ce qu'on croî

  • Open Access English
    Authors: 
    Mazzoleni, Antonio;
    Publisher: HAL CCSD
    Countries: France, Italy, France

    The main purpose of this thesis was to develop peptide probes to detect and isolate specific and high affinity antibodies from sera of patients suffering from multiple sclerosis (MS). We selected a di-glucosylated adhesin HMW1 peptide as the shortest sequence up to now able to compete with the highest affinity with anti-N(Glc) IgM binding. 40 kDa dextran was modified with propargyl groups and used as a scaffold to conjugate by CuAAC the di-glucosylated peptide. This novel polymeric structure was proven to dramatically increase binding potency of IgGs and IgMs in MS sera. Abs from a representative MS serum, were successfully purified on a sepharose resin specifically modified with the adhesin peptide-dextran conjugate, as confirmed by ELISA. This result appears promising as a proof-of-concept of the selective removal of circulating autoantibodies (possibly perpetuating nonself recognition) that could likely lead to develop a specific apheresis-based device.; Le but principal de ce travail de thèse a été de développer des sondes peptidiques pour détecter et isoler des auto-anticorps spécifiques à haute affinité à partir du sérum de patients souffrant de sclérose en plaques (SEP). Nous avons sélectionné un peptide di-glucosylé de l’adhésine HMW1 comme séquence minimale capable de détecter les anti-N(Glc) IgM. Ainsi, un dextrane de 40 kDa a été modifié avec des groupes propargyle et a été utilisé comme échafaudage pour conjuguer par CuAAC le peptide N-glucosylée. On a prouvé que ce nouveau polymère augmente considérablement la puissance de la liaison des IgG et IgM caractéristique de la forme de SEP que nous venons de caractériser. Les anticorps d'un sérum représentatif ont été purifiés avec succès, comme confirmé par test ELISA. Ce résultat semble prometteur en tant que preuve de concept de la possible déplétion sélective des auto-anticorps circulants dans la SEP, qui pourrait conduire à développer un dispositif thérapeutique spécifique basé sur aphérèse.

Send a message
How can we help?
We usually respond in a few hours.