• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 532
  • 164
  • 45
  • 10
  • 2
  • 1
  • 1
  • Tagged with
  • 755
  • 293
  • 152
  • 98
  • 78
  • 70
  • 64
  • 63
  • 63
  • 62
  • 58
  • 53
  • 53
  • 52
  • 49
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
301

L'externalisation du développement d'applications

Delmond, Marie-Hélène 01 January 1994 (has links) (PDF)
Quelles sont les activités que l'entreprise doit prendre en charge elle-même et celles pour lesquelles il est plus judicieux de faire appel à l'extérieur ? A l'heure même où se développent les organisations en réseau et la pratique du partenariat, cette question apparaît comme l'un des thèmes majeurs du management. Ce débat est particulièrement sensible dans le domaine informatique, où se sont multipliés ces dernières années les exemples d'entreprises ayant décidé de cesser d'assurer elles-mêmes la gestion directe de leurs activités informatiques. Faut-il voir dans l'externalisation un effet de mode ou au contraire la manifestation d'une tendance durable et un nouveau partage des tâches entre acteurs économiques ? Plus particulièrement, dans quelle mesure l'externalisation peut-elle concerner les fonctions d'études informatiques? Quels sont les facteurs favorables à l'externalisation, quels en sont les risques et les limites? Ce sont ces questions qui sont à l'origine de la thèse. Les travaux s'appuient sur quatre référentiels théoriques, répondant chacun à une approche différente du problème et à un questionnement particulier. Approche stratégique, qui revient à s'interroger au travers de la théorie de la ressource sur les compétences de base de l'organisation. Approche industrielle, dans laquelle est étudié l'impact de l'évolution des processus de production et de la technologie sur les modes d'organisation. Approches de la théorie de l'agence et de la théorie des coûts de transaction, qui posent la question du contrôle de l'activité et de la relation avec le fournisseur, interne ou externe, d'applications informatiques. L'étude empirique a porté sur 12 entreprises françaises et comporte deux volets. Une analyse quantitative, portant sur 60 projets de développement d'applications mis en œuvre dans les deux dernières années par ces entreprises ; une analyse qualitative, dans laquelle sont identifiées les préoccupations stratégiques, industrielles et de contrôle de ces différentes organisations et l'impact sur les choix d'externalisation. L'étude empirique permet de décrire au travers d'une typologie les pratiques actuelles. Elle permet également d'analyser différentes formes contractuelles (organisation interne, régie, forfait) et d'associer à ces formes contractuelles différents facteurs de contingence. Sur un plan stratégique, notre recherche montre que les entreprises étudiées envisagent volontiers l'externalisation des étapes techniques du processus, y trouvant en particulier des avantages en termes de réactivité ; elles tiennent en revanche à maintenir en interne la compétence nécessaire à l'analyse des besoins et à l'identification des opportunités liées aux nouvelles technologies informatiques. Sur un plan industriel, l'irrégularité croissante des flux de production et l'hétérogénéité de la technologie sont identifiés comme des facteurs jouant en faveur d'une spécialisation des acteurs. En revanche, la principale limite à l'externalisation des études informatiques s'avère être le problème du contrôle dans un marché caractérisé par une forte incertitude a priori sur la qualité des productions. Cette dernière constatation nous amène ainsi à nous interroger sur la mise en œuvre de contrôles efficients, tant en interne qu'en externe et sur le rôle des différents acteurs, notamment de la direction informatique, dans ces processus de contrôle. A cet égard, la pratique d'une externalisation partielle, réfléchie et maîtrisée apparaît comme une opportunité pour les organisations et comme un mode d'apprentissage vers une gestion plus efficiente de l'activité
302

Recherche sur le choix et la mise en pratique d'une méthode de développement de système d'information automatisé

Morley, Chantal 07 February 1991 (has links) (PDF)
Le but de la thèse est de mener une réflexion, à partir d'observations en entreprise, sur les causes d'échec ou de succès dans l'utilisation d'une méthode de développement de système d'information automatisé. Les observations sont confrontées à trois théories proposant des facteurs de contingence, caractérisant le projet ou son contexte, qui appellent une réponse méthodologique adaptée. Les résultats de la recherche ont mis en évidence l'existence d'un triple processus: production, décision et changement. Les méthodes se focalisent généralement sur le processus de production, alors que la mise en pratique oblige, pour que la démarche aboutisse, à piloter simultanément les prises de décision, les changements de comportement et les activités de production. C'est ce pilotage qui requiert une adaptation aux caractéristiques du projet
303

Prépositions, préverbes et postverbes en anglais et en français. Le cas de away, off et out. Approche syntaxique et sémantique. / Preopositions, preverbs and postverbs in english and in french. The case of away, off and out. Syntactic and semantic approach.

Ciraud-Lanoue, Perrine 18 January 2013 (has links)
Dressant le constat que le traitement classique des différentes valeurs des particules et verbes à particule en termes de métaphore spatio-temporelle et de degré d'idiomaticité ne fait qu'entretenir l'impression que le "sens" de ces verbes composés est une donnée fondamentalement imprévisible et aléatoire, ce travail s'efforce de montrer qu'il est, au contraire, possible de rendre compte de la complexité des phénomènes mis en jeu par ceux-ci tout en en soulignant les régularités. A travers l'exemple du triplet de marqueurs away, off, et out, démonstration est faite qu'à l'issue d'un examen systématique des valeurs d'une particule donnée, et en recourant aux outils développés dans le cadre de la Théorie des Opérations Enonciatives, une forme schématique stable, définie à partir d'opérations de repérage abstrait, peut être dégagée, qui permet de placer tous ses emplois sur un même plan, comme produits de la variation en co-texte de ladite forme schématique. On est alors en mesure de s'intéresser à certains des ressorts de l'interaction entre verbe et particule à la faveur d'une étude de cas. / When traditional analyses of particles and phrasal verbs in terms of space and time metaphor and degree of idiomaticity only reinforce the impression that their meanings are of a fundamentally random and unpredictable nature, this work tries to prove that it is in fact possible to account for the complexity and diversity of phenomena involved by phrasal verbs while emphasizing how constant and consistent their behaviour is. Via the example of the three markers away, off and out, it is shown that, following a thorough examination of the values of a given particle, and using the conceptual tools developed within the framework provided by the Theory of Enunciative Operations, a stable schematic form can be isolated, which is defined from operations of abstract location. Thanks to it, all of that particle's uses are put on the same level, as resulting from the variation of its schematic form when it enters into relation with the co-text. The focus can then shift to the understanding of some of the principles that govern the interaction between verb and particle through a sample case study.
304

Étude des mécanismes moléculaires qui contrôlent l’interaction entre EFA6 et ses partenaires / Molecular mechanisms that control the interaction between EFA6 and its partners

Boulakirba, Sonia 13 November 2015 (has links)
La petite protéine G Arf6 et son facteur d'échange EFA6 sont impliquées dans de nombreux processus cellulaires tels que le remodelage du cytosquelette d’actine, le transport vésiculaire et mise en place de la polarité épithéliale. Elles jouent également un rôle dans la voie d'endocytose dépendante de la clathrine. Ce travail de thèse nous a permis d’identifier différents mécanismes régulant l’interaction d’EFA6 avec ses différents partenaires. Nous avons pu mettre en évidence une interaction directe entre le domaine N-BAR de l’endophiline et le domaine Sec7 d’EFA6. Nous avons démontré que la courbure membranaire était un facteur régulant cette interaction. EFA6 est capable d’interagir et de recruter l’endophiline sur une membrane lipidique plane alors qu’en présence de vésicules courbées le complexe protéique ne se forme pas. Nous observons également que l’endophiline stimule l’activité d’échange nucléotidique d’EFA6 sur Arf6. Dans un second temps nous avons démontré, dans une étude menée par le Dr Cherfils, que l’activité catalytique d’EFA6 était régulée par une boucle de rétrocontrôle négatif exercée spécifiquement par la protéine Arf6-GTP. Celle-ci induit une diminution de l’activité d’échange d’EFA6 probablement grâce à sa capacité à interagir avec le domaine PH-C-terminal d’EFA6. Enfin, nous avons mis en évidence un repli intramoléculaire entre le domaine C-terminal et le domaine PH d’EFA6 qui semble contrôler l’interaction de cette extrémité C-terminale avec différents partenaires dont la β-arrestine et de façon surprenante la protéine Arf6 dans sa forme inactive. / The small G protein Arf6 and its exchange factor EFA6 control numerous cellular processes such as actin cytoskeleton remodeling, vesicular transport and apico-basal cell polarity. They are also involved in clathrin-dependent endocytosis. In this work we identify different mechanisms by which EFA6 interaction with its various partners is regulated. We have highlighted a direct interaction between the N-BAR domain of endophilin and the Sec7 domain of EFA6. We demonstrated that this interaction is regulated by the membrane curvature. EFA6 interacts and recruits endophilin on a flat lipid membrane whereas the protein complex does not occur in the presence of curved vesicules. We showed that endophilin stimulates the nucleotidic exchange activity of EFA6 on Arf6. Next we demonstrated that the catalytic activity of EFA6 is regulated by a negative feedback loop specifically mediated by the Arf6-GTP. We observed in the presence of Arf6-GTP a decrease of EFA6 catalytic activity and we showed that this effect was due to an interaction between Arf6-GTP and PH-C-terminal domain of EFA6. Finally we demonstrated an intramolecular folding between the C-terminal domain and the PH domain of EFA6 that controls the interaction of the C-terminus domain with various partners including β-arrestin and surprisingly the inactive GDP form of Arf6.
305

La zone pastorale de l'Eghazer (Nord - Ingall - Niger) : condtions pour la mise en place d'une cogestion des ressources végétales dans le cadre d'un développement et d'une conservation durables / Elaboration of a joint management system for vegetable resources in the Northern Ingall area

Afane, Abdoulkader 30 January 2015 (has links)
Face aux changements globaux et sociaux qui perturbent les conditions de vie des éleveurs de la zone pastorale du nord Niger, quelle contribution peut-on apporté pour une gestion durable des ressources végétales ? C'est à cette question que cette thèse tente de répondre dans le contexte de la plaine de l'Eghazer, véritable poumon régulateur de l'élevage pastoral du Niger, située au nord de cette zone pastorale du pays. Chaque année, à partir de juillet de nombreux transhumants venant du sud affluent dans la zone pastorale de l'Eghazer rejoignant ainsi les éleveurs locaux. Cette migration estivale appelée « Cure salée » vise à l'exploitation des pâturages saisonniers riches en sels minéraux très appréciés par les pasteurs. Ces ressources pastorales riches et variées, même si elles sont très variables en fonction des années, font de l'Eghazer, l'une des dernières zones de grande concentration saisonnière des éleveurs. Localement, la pression sur les terres et les ressources se fait de plus en plus forte et la durabilité du système parait compromise. La recherche a été conduite en faisant appel à des méthodes de cartographie, d'étude de la végétation, d'enquêtes quantitatives et qualitatives le plus souvent participatives. Ce travail a montré que les pasteurs ont développé un ensemble de connaissances sur les ressources végétales leur permettant de résister aux conditions difficiles de la pratique du pastoralisme en milieu aride. Ces savoirs locaux se traduisent également dans une description détaillée du milieu s'appuyant sur des critères topographiques, géomorphologiques et fonctionnels, et que l'appréciation en termes de qualité de pâturage dépend de facteurs d'importance variable selon les saisons. Il ressort par ailleurs que ces savoirs traditionnels peuvent être combinés avec les connaissances scientifiques dans l'élaboration de carte de paysages, élément principal de cogestion. Enfin, l'étude des pâturages à travers les deux appréciations (scientifique et vernaculaire) a permis de connaître l'état de la ressource pastorale, notamment de la végétation. Elle a également mis en évidence les zones prioritaires d'interventions dans la zone pastorale de l'Eghazer. Le croisement de ces savoirs vernaculaires des pasteurs avec les connaissances scientifiques peut être un atout favorable à la mise en place d'un dispositif de cogestion des pâturages de l'Eghazer. / Facing the total and social changes which unsettle the living conditions of the stockbreeders of the pastoral zone of the north Niger, what contribution can they brought for a lasting management of plant resources? It is in this question that this thesis tries to answer in the context of the plain of Eghazer, true regulating lung for the pastoral animal husbandry of Niger, located north of this pastoral zone of the country. Every year, from July of many transhumants from the south rush in the pastoral zone of Eghazer joining so the local stockbreeders. This summer called migration " salt Remedy " aims at the working of the seasonal pasture rich in mineral salts very appreciated by the pastors. These rich and various pastoral resources, even if they are very variable according to the years, make of Eghazer, one of the last zones of big seasonal concentration of the stockbreeders. Locally, the pressure on lands and resources becomes more and more strong and the durability of the system parried compromised. Search was conducted by calling methods of cartography, of study of vegetation, quantitative and qualitative inquiries most often participative. This job showed that the pastors developed group of knowledge on the plant resources allowing them to resist the difficult conditions of the practice of the pastoralisme in arid middle. These local knowledges are also translated in a detailed description of the middle leaning on topographical criteria, géomorphologiques and functional, and that the evaluation in quality terms of pasture depends on factors of variable importance according to seasons. It emerges moreover that these traditional knowledges can be combined with scientific knowledge in the development of card of landscapes, main element of joint management. Finally, the study of pasture across both (scientific and vernacular) evaluations allowed to know the state of pastoral resource, notably of vegetation. She also highlighted the priority zones of interventions in the pastoral zone of Eghazer. The crossing of these vernacular knowledges of the pastors with scientific knowledge can be a trump favourable to the installation of a device of joint management of the pasture of Eghazer.
306

Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle / Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof

Fouilhé, Alexis 15 October 2015 (has links)
Cette thèse revisite de deux manières le domaine abstrait des polyèdres utilisé pour l'analyse statique de programmes.D'abord, elle montre comment utiliser l'assistant à la preuve Coq pour apporter des garanties sur la correction des opérations sur les polyèdres sans compromettre l'efficacité de l'outil VP Lissu de ces travaux.L'outil est fondé sur le principe de la vérification de résultats :un oracle, auquel on ne fait pas confiance, fait les calculs,puis les résultats sont vérifiés par un validateur dont la correction est prouvée avec Coq. De plus, l'oracle fournit des témoins de la correction des résultats afin d'accélérer la vérification.L'autre caractéristique de VPL est l' utilsation de la seule représentation par contraintes des polyèdres,par opposition à l'approche habituelle qui consiste à utiliser à la fois des contraintes et des générateurs.Malgré ce choix inhabituel,les performances de VPL s'avèrent compétitives.Comme on pouvait le prévoir,l'opérateur "join",qui calcule l'enveloppe convexe de deux polyèdres,est le plus coûteux.Puisqu'il nécessite un grand nombre de projections,cette thèse explore plusieurs nouvelles approches de l'opérateur de projection,basées sur la programmation linéaire paramétrique.Elle propose une synthèse des variantes et des combinaisons possibles.La thèse se termine sur les éléments clés d'un nouvel algorithme de résolution tirant parti des spécificités de l'encodage afin d'obtenir de bonnes performances. / The work reported in this thesis revisits in two waysthe abstract domain of polyhedraused for static analysis of programs.First, strong guarantees are provided on the soundness of the operationson polyhedra,by using of the Coq proof assistant to check the soundness proofs.The means used to ensure correctnessdon't hinder the performance of the resultingVerimag Polyhedra Library (VPL).It is built on the principle of result verification:computations are performed by an untrusted oracleand their results are verified by a checkerwhose correctness is proved in Coq.In order to make verification cheap,the oracle computes soundness witnesses along with the results.The other distinguishing feature of VPL is thatit relies only on the constraint representation of polyhedra,as opposed to the common practice of using both constraints and generators.Despite this unusual choice,VPL turns out to be a competitive abstract domain of polyhedra,performance-wise.As expected, the join operator of VPL,which performs the convex hull of two polyhedra,is the costliest operator.Since it builds on the projection operator,this thesis also investigates a new approach toperforming projections,based on parametric linear programming.A new understanding of projection encoded asa parametric linear problem is presented.The thesis closes on a progress report in the design of a new solvingalgorithm,tailored to the specifics of the encodingso as to achieve good performance.
307

Etude des parois de domaines dans les nanofils magnétiques / Study of the domain wall in magnetic nanowires

Jamet, Ségolène 30 October 2015 (has links)
Ce travail de thèse porte sur l'étude des parois de domaines dans des nanofils magnétiques. Nous avons étendu le diagramme de phase des parois de domainesdéjà connu pour des géométries allant des nanobandes aux nanofils. Les différents types de parois et des transitions de phases sont présentés.Nous avons introduit de nouveaux estimateurs s'appuyant sur des grandeurs physiques connues, pour mieux caractériser les configurations magnétiques des parois et prédire leur type en fonction de la géométrie.Pour valider notre approche théorique, nous nous sommes ensuite intéressés à les observer par microscopie.Nous avons choisi le Dichroisme Circulaire Magnétique des rayons X associé à la Microscopie par Emission de PhotoElectrons (XMCD-PEEM). Ce type de microscopie permet d'atteindre une résolution spatiale suffisante pour observer les parois de domaine. Les configurations expérimentales (échantillons et dispositif expérimental) permettent d'avoir accès à la fois à l'aimantation de surface maisaussi à l'ombre du fil projetée sur le substrat. Cette ombre contient l'information sur l'aimantation dans le volume, moyennée le long du chemin desrayons X dans le matériau. Cette configuration donne lieu à des contrastes magnétiques complexes. Nous avons donc développé un modèle permettant de simuler le contraste XMCD à partir de configurations micromagnétiques à l'équilibre. La comparaison entre les contrastes expérimentaux et les contrastes simulés donne lieu à un très bon accord quantitatif.De plus, les paramètres expérimentaux ont été étudiés afin d'obtenir le meilleur contraste réflétant au mieux la configuration micromagnétique de l'échantillon.La suite de ce travail consistera, notamment, à étudier la propagation de la paroi point de Bloch dans les nanofils. / The work performed during my thesis was based on magnetic domain walls in magnetic nanowires. We extended the phase diagram of domain walls already known to a geometry ranging from nanostrips to nanowires. The various types of domain wall and transition phase types are presented. We introduced new estimators based on physical known features, in order to better characterize domain walls magnetic configurations of domain walls and then to predict the type of domain wall according to the geometry.To validate our theoretical approach, we were interested in imaging these domain walls. We chose the X-ray Magnetic Circular Dichroism along with the PhotoEmission Electron Microscopy (XMCD PEEM). This microscopy method enables to reach spatial resolution required to observed domain wall configuration. The experimental conditions (sample and set up) enable to have access both the surface magnetization and also the shadow of the wire projected on to the substrate. This enable caries information about volume magnetization, averaged along the path of the X-ray through the wire. This experimental configuration gives rise to complex contrasts. Thus, we developped a model that enables to simulate the XMCD contrast from steady state micromagnetic configurations. Comparison between experimental and simulated contrasts gives rise to a good quantitative agreement. Moreover, experimental parameters were studied in order to get the best magnetic contrast, reflecting the true magnetic configuration of the sample.For the future, the work consists in the study of the domain wall propagation in nanowires, particularly the propagation of the Bloch point wall.
308

Efficient preconditioning method for the CARP-CG iterative solver for the solution of the frequency-domain visco-elastic wave equation / Préconditionnement du solveur itératif CARP-CG pour la solution de l'équation d'onde visco-élastique dans le domaine fréquentiel

Hamitou, Okba 22 December 2016 (has links)
La résolution de l'équation des ondes acoustiques et élastiques en 3D dans le domaine fréquentiel représente un enjeu majeur dans le cadre de l'inversion des formes d'ondes pour l'imagerie haute résolution de cibles crustales (Virieux, 2009). Après discrétisation, ce problème revient à résoudre un système linéaire à valeurs complexes, creux, de grande taille non défini et mal conditionné. Les méthodes d'inversion sismique requièrent la solution de ce problème pour l'évaluation du problème direct pour un grand nombre de sources (plusieurs milliers voir dizaines de milliers). Dans l'approximation acoustique, les méthodes directes sont privilégiées. Cependant, le coût mémoire de ces méthodes les rendent aujourd'hui inutilisables pour résoudre les problèmes élastiques 3D. En raison de leur plus faible coût mémoire, les méthodes itératives pour les équations en fréquence peuvent être considérées pour l'élastodynamique. Cependant, une convergence rapide passe par des préconditionneurs adaptés pour les solveurs itératifs. Par ailleurs, les stratégies pour résoudre des systèmes linéaires avec des seconds membres multiples ne sont pas aussi efficaces que pour les méthodes directes. La modélisation dans le domaine temporelle quant à elle présente une importante complexité en coût de calcul et cette complexité croît linéairement avec le nombre de sources.Dans cette thèse, l'approche utilisant un solveur itératif est considérée. Le solveur itératif CARP-CG introduit par Gordon (2010) est considéré. Cette méthode est basée sur la méthode de Kaczmarz qui transforme un système linéaire mal conditionné en un système hermitien, positif et qui peut être résolu en utilisant les méthodes du type gradient conjugué (CG). Dans des configurations de forts contrastes et hétérogénéités, ce solveur s'est révélé être extrêmement robuste alors que les méthodes itératives standards basées sur les sous-espaces de Krylov telles que GMRES et BiCGSTAB nécessitent l'utilisation d'un préconditionneur pour converger (Li, 2015). Malgré les bonnes propriétés de la méthode CARP-CG, le nombre d'itérations nécessaires pour atteindre une précision suffisante reste néanmoins élevé. Je présente alors une stratégie de préconditionnement adaptée au problème de propagation des ondes et à la méthode CARP-CG. Ce préconditionneur est un inverse creux et approché d'un opérateur de propagation des ondes fortement amorti. Le calcul du préconditionneur est réalisé grâce un algorithme massivement parallèle pour les architectures à mémoire distribuée.La méthode développée est appliquée à des cas d'étude réalistes. Les applications sont faites sur des modèles synthétiques 2D dans l'approximation visco-acoustique pour des fréquences allant jusqu'à 40 Hz puis dans l'approximation élastique pour des fréquences allant jusqu'à 20 Hz. Ces études montrent l'efficacité de la méthode CARP-CG munie de la stratégie de préconditionnement. Le nombre d'itérations est fortement réduit (jusqu'à un facteur 9) permettant d'améliorer considérablement la complexité de la méthode CARP-CG. Des gains en temps de calcul allant jusqu'à un facteur 3.5 sont ainsi obtenus. La méthode est ensuite appliquée à un cas 3D synthétique et réaliste dans l'approximation visco-élastique pour des fréquences allant de 1.25 Hz à 7.5 Hz. Des résultats encourageants sont obtenus. Munie du préconditioneur, la méthode CARP-CG permet de résoudre ces systèmes linéaires deux fois plus rapidement.La stratégie de préconditionnement implique la nécessité de plus grandes ressources en mémoire pour le solveur itératif; cependant, elles ne constituent pas une limitation pour la méthode et restent très négligeables devant celles requises par les solveurs directs. La principale limitation réside dans le temps de calcul qui demeure assez significatif. Cependant, cette méthode constitue un solveur compétitif comparé aux autres solveurs en temps et direct utilisés aujourd'hui dans le cadre de l'inversion des formes d'ondes. / A robust and efficient wave modeling method is the cornerstone of high resolution seismic inversion methods such as the frequency-domain Full Waveform Inversion (Virieux, 2009). After discretization, frequency-domain wave modeling amounts to the solution of large (up to several billion of unknowns for realistic case studies), sparse, indefinite and ill-conditioned linear systems. Furthermore, seismic inversion methods require the solution of this problem for numerous sources (from several thousands up to tens of thousands). In the acoustic approximation, 3D real case studies can be handled efficiently using direct solvers. However because of their tremendous intrinsic memory requirements, they are not yet adapted to the solution of the 3D elastodynamics equations. Iterative solvers provide an alternative to direct solvers. However, they require a preconditioning strategy to ensure convergence for the frequency-domain wave equation. Besides, multiple right-hand sides linear systems are not treated as efficiently as direct solvers do.In this thesis, we are interested in the use of a robust iterative solver adapted to the solution of these systems called CARP-CG (Gordon, 2010). The CARP-CG method has shown robust convergence properties for 2D and 3D elastic problems in highly heterogeneous media compared to standard Krylov methods such as GMRES or Bi-CGSTAB which require the use of a preconditioner to ensure convergence (Li, 2015). Despite the good convergence properties of CARP-CG, the latter still requires a large number of iterations to reach sufficient accuracy. I introduce an efficient preconditioning strategy adapted to the CARP-CG method and the frequency-domain wave problem. This preconditioner is computed as a sparse approximate inverse of a strongly damped wave propagation operator. The computation of the preconditioner is performed in a massively parallel algorithm for distributed memory architectures.The efficiency of the preconditioner is evaluated on several case studies. First, applications are performed on realistic synthetic models in the 2D visco-acoustic approximation (up to $40$ Hz) and the 2D visco-elastic approximation (up to $20$ Hz). These studies show that the CARP-CG method together with the preconditioning strategy is robust and efficient. The number of iterations is significantly reduced (up to a factor $9$) enabling a speedup in the computation time by a factor up to $3.5$. Second, this method is investigated in the 3D elastic approximation on a realistic synthetic case study on the range of frequencies 1.25 to 7.5 Hz. Very encouraging results are obtained with a significant reduction in the number of iterations. A slow increase of the number of iterations with respect to the frequency is noted.This preconditioning strategy adapted to the CARP-CG method implies larger memory requirements. However, this extra memory cost remains one order lower compared to direct solver memory requirement, and should be affordable on standard HPC facilities. The main bottleneck preventing from the possible use of this iterative solver for 3D elastic FWI remains the computation time for the wave equation solves.
309

Structural and functional studies of pentameric ligand-gated ion channels from bacteria / Etudes structurales et fonctionnelles de canaux ioniques pentamériques liés à des ligands provenant de bactéries

Hu, Haidai 15 December 2017 (has links)
Les canaux ioniques pentamériques activables par un ligand (pLGIC) sont l'une des principales familles de canaux transmembranaires. Ils permettent la transduction rapide du signal dans le système nerveux central et périphérique via la liaison de neurotransmetteurs. Les pLGIC sont également présents chez les archées et les bactéries. Seuls deux pLGIC bactériens ont été caractérisés biochimiquement et structurellement jusqu'à présent (GLIC et ELIC). Ils servent de modèle d’étude à de nombreux scientifiques et ont été largement étudiés aussi bien au niveau fonctionnel que structural. Dans la première partie de mon travail de thèse, j'ai purifié, cristallisé et résolu la structure cristalline d'un nouveau pLGIC originaire d'un symbiote de gamma-protéobactérie de Tevnia jerichonana (sTeLIC). Des expériences fonctionnelles montrent que sTeLIC est activé par un pH alcalin, est sélectif pour les ions cationiques monovalents et inhibé par les cations divalents. La structure cristalline résolue à pH 8,0 présente un pore largement ouvert qui est le premier de ce type à être caractérisé dans cette famille pLGIC. De plus, nous avons identifié un modulateur fortement positif qui se lie au "site vestibulaire" dans le domaine extracellulaire, et nous avons résolu la structure cristalline de ce complexe. Des expériences fonctionnelles montrent également que sTeLIC partage de nombreuses fonctionnalités avec ELIC. ELIC et sTeLIC constitutent les archétypes d’une nouvelle classe de pLGICs, dont la forme active se caractérise par un pore largement plus ouvert que les autres pLGICs.Dans la deuxième partie de mon travail de thèse, les résidus senseurs de protons dans GLIC ont été cartographiés, afin de déterminer comment la liaison du proton stabilise l'état ouvert de GLIC. Tous les résidus titrables de GLIC ont été cartographiés par mutagenèse dirigée afin de découvrir des capteurs de protons impliqués dans le processus de déclenchement. Nous avons ainsi démontré que la résidu E35 est un résidu clé, dont la forme chargée stabilise l’état de repos, et la forme protonée l'état actif. Nous avons également démontré que la réponse au proton dépend de deux réseaux distincts à l'interface ECD-TMD qui stabilisent l'état ouvert de GLIC. Dans la troisième partie, j'ai cloné, purifié, cristallisé et déterminé les structures cristallines des formes ouvertes et fermées de DeCLIC, un pLGIC de la protéobactérie Desulfofustis. Chaque sous-unité contient un grand domaine additionnel N-terminal constitué de deux sous-domaines (NTD1 et NTD2). Il s’agit de la première structure d’un pLGIC qui contient un domaine supplémentaire extracellulaire non-canonique. / Ligand-gated pentameric ion channels (pLGIC) are one of the major families of transmembrane receptors. They allow rapid signal transduction in the central and peripheral nervous systems via neurotransmitters binding. PLGICs are also present in archaea and bacteria. Only two bacterial pLGICs have been biochemically and structurally characterized so far (GLIC and ELIC). They serve as working models for many scientists and have been extensively studied both at the functional and structural levels. In the first part of my thesis, I purified, crystallized and solved the crystal structure of a new pLGIC from gamma-proteobacterial symbionts of Tevnia jerichonana (sTeLIC). Functional experiments show that sTeLIC is activated by alkaline pH, and is selective for monovalent cationic ions and inhibited by divalent cations. The crystal structure solved at pH 8.0 displays a widely open pore that is the first of this kind to be characterized in the pLGIC family. In addition, we identified a strongly positive modulator that binds to the "vestibule site" in the extracellular domain, and we solved the crystal structure of this complex. Functional experiments show that sTeLIC shares many features with ELIC. ELIC and sTeLIC are the archetypes of a new class of pLGICs, whose active form is characterized by a much more open pore than other pLGICs. In the second part of my thesis, the proton sensor residues in GLIC have been mapped. All titratable GLIC residues were tested by site-directed mutagenesis to discover proton sensors involved in the triggering process. We have demonstrated that the residue E35 is a key residue, whose charged form stabilizes the resting state, and the protonated form the active state. We have also demonstrated that the proton response is dependent on two distinct networks at the ECD-TMD interface, which stabilize the open state of GLIC.In the third part of my thesis, I cloned, purified, crystallized and determined the crystal structures of the open and closed forms of DeCLIC, a pLGIC of Desulfofustis proteobacterium. Each subunit contains a large N-terminal additional domain consisting of two subdomains (NTD1 and NTD2). This is the first structure of a pLGIC which contains a non-canonical additional extracellular domain.
310

Contribution au développement de tags chipless et des capteurs à codage dans le domaine temporel / Contribution to the developement of time domain chipless tags and sensors

Nair, Raji Sasidharan 27 May 2013 (has links)
La RFID sans puce, en raison du très faible coût des tags, a ouvert une nouvelle voie pour les systèmes d'identification. Les étiquettes RFID sans puce fonctionnant dans le domaine temporel ont l'avantage d'être compatibles avec de grandes distances de lecture, de l'ordre de quelques mètres, et de pouvoir fonctionner dans les bandes de fréquence ISM. Cependant, les tags de ce type développés jusqu'à lors n'offraient qu'une faible capacité de codage. Cette thèse propose une nouvelle méthode pour augmenter la capacité de codage des tags fonctionnant dans le domaine temporel en utilisant des C-sections, c'est-à-dire des lignes de transmission repliées de manière à avoir des zones fortement couplées, ce qui leur donne un caractère dispersif. Une autre approche basée sur une technique multi-couches a également été introduite de façon à augmenter considérablement la capacité de codage. Pour terminer, la preuve de concept d'un tag-capteur d'humidité, basé sur l'utilisation de nano fils de silicium, est également présentée. / Chipless RFID tags, owing to their low cost, have opened a new way to the identification systems. Chipless RFID tags operating in the time domain have the advantage of being compatible with large reading distances of the order of a few meters, and also can operate in the ISM frequency bands. However, time domain tags developed until now offer poor coding capacity. This thesis proposes a new method to increase the coding capacity of tags operating in time domain by using C-sections, i.e. the transmission lines are folded so as to have tightly coupled zones that give them a dispersive nature. Another approach based on a multi-layer technique was also introduced, in order to increase the coding capacity considerably. Finally, the proof of concept of a humidity sensor tag based on silicon nanowires is also presented.

Page generated in 0.0414 seconds