Dissertations / Theses: 'Réseau critique'

1

Béru, Laurent. "Une histoire du discours critique nord-américain en communication : réseau(x) généalogique(s) entre radicalisme et modération." Paris 3, 2006. http://www.theses.fr/2006PA030060.

Full text

Abstract:

Le présent article est consacré à la généalogie du discours universitaire critique nord-américain au sein des études en communication – media studies, communication studies ou journalism studies. En prenant appui sur la sociologie de la science, l'étude proposée souligne la filiation entre les générations ascendantes et descendantes de chercheurs critiques. En prenant pour exemple des universitaires phares – de Herbert Schiller à Robert McChesney – et des facultés nord-américaines emblématiques de la cartographie universitaire critique en communication (Urbana-Champaign ou encore Burnaby), réunis par les conférences d’associations scientifiques, nous nous intéressons à retracer la construction et le développement du discours académique dissident nord-américain – (néo)marxien ou simplement progressiste. Notre recherche s'étend de la genèse critique (années 1950-1970), personnalisée par les universitaires critiques pionniers de l'étude en économie politique et des études culturelles, jusqu'à son apogée (années 1980-2000), symbolisée par deux nouvelles générations de chercheurs. Il apparaît évident que, lors de la production du savoir scientifique, la logique intergénérationnelle, l’approche théorique et l’activisme idéologique, se complètent
This article is devoted to the genealogy of North-American academic’s critical thought within communication studies – and media studies or journalism studies. Through the sociology of science, the study suggested underlines relationships between the ascending and downward generations of critical scholars. While taking for example of academic headlights – from Herbert Schiller ou Robert McChesney – and of principal North-American faculties where critical courses are taught in communication studies – in Urbana-Champaign or in Burnaby –, joined together by the conferences of scientific associations, we are interested to recall the construction and development of dissenting thought in university – (neo)marxist or simply progressist. Our research takes into account from critical genesis (1950-1970), personalized by those who made pioneer critical research in political economy and cultural studies, until critical apogee (1980-2000), symbolized by two new generations of scholars. At the time of the production of the scientific knowledge, it appears obvious that intergenerational logic, theoretical approach and ideological activism are supplemented

APA, Harvard, Vancouver, ISO, and other styles

2

Baina, Amine. "Controle d'accès pour les grandes infrastructures critiques. Application au réseau d'énergie électrique." Phd thesis, INSA de Toulouse, 2009. http://tel.archives-ouvertes.fr/tel-00432841.

Full text

Abstract:

En raison de ses vulnérabilités physiques et logiques, une infrastructure critique (IC) peut subir des défaillances, et en raison des interdépendances entre IC, de simples défaillances peuvent avoir des conséquences dramatiques sur lensemble de linfrastructure. Dans notre travail, nous nous concentrons principalement sur les systèmes dinformation et de communication (lIIC : infrastructure dinformation critique) dédiés au réseau d'énergie électrique. Nous proposons une nouvelle approche pour répondre aux problèmes de sécurité que rencontre une IIC, plus particulièrement, ceux liés au contrôle d'accès et à la collaboration. Le but est doffrir à chaque organisation faisant partie de lIIC la possibilité de collaborer avec les autres, tout en maintenant un contrôle sur ses données et sa politique de sécurité internes. Nous avons modélisé, et développé PolyOrBAC, une plateforme de contrôle daccès collaboratif, basée sur le modèle de contrôle daccès OrBAC et sur la technologie des Services Web, cette plateforme est applicable dans le contexte dune infrastructure critique en général, et plus particulièrement dans le cadre dun réseau électrique.

APA, Harvard, Vancouver, ISO, and other styles

3

Baïna, Amine. "Contrôle d'Accès pour les Grandes Infrastructures Critiques : application au réseau d'énergie électrique." Toulouse, INSA, 2009. http://eprint.insa-toulouse.fr/archive/00000296/.

Full text

Abstract:

En raison de ses vulnérabilités physiques et logiques, une infrastructure critique (IC) peut subir des défaillances, et en raison des interdépendances entre IC, de simples défaillances peuvent avoir des conséquences dramatiques sur l’ensemble de l’infrastructure. Dans notre travail, nous nous concentrons principalement sur les systèmes d’information et de communication (l’IIC : infrastructure d’information critique) dédiés au réseau d'énergie électrique. Nous proposons une nouvelle approche pour répondre aux problèmes de sécurité que rencontre une IIC, plus particulièrement, ceux liés au contrôle d'accès et à la collaboration. Le but est d’offrir à chaque organisation faisant partie de l’IIC la possibilité de collaborer avec les autres, tout en maintenant un contrôle sur ses données et sa politique de sécurité internes. Nous avons modélisé, et développé PolyOrBAC, une plateforme de contrôle d’accès collaboratif, basée sur le modèle de contrôle d’accès OrBAC et sur la technologie des Services Web, cette plateforme est applicable dans le contexte d’une infrastructure critique en général, et plus particulièrement dans le cadre d’un réseau électrique
Because of its physical and logical vulnerabilities, critical infrastructure (CI) may suffer failures, and because of the interdependencies between CIs, simple failures can have dramatic consequences on the entire infrastructure. In our work, we mainly focus on information systems and communications (CII: Critical Information Infrastructure) dedicated to the electrical power grid. We proposed a new approach to address security problems faced by an IIC, particularly those related to access control and collaboration. The goal of this study is to provide each organization belonging to the IIC the opportunity to collaborate with others while maintaining control over its data and its internal security policy. We modeled and developed PolyOrBAC, a platform for collaborative access control, based on the access control model OrBAC and on the Web Services technology, this platform is applicable in the context of a critical infrastructure in general, and more particularly to an electrical power grid

APA, Harvard, Vancouver, ISO, and other styles

4

Comets, Francis. "A propos des systèmes de particules en interaction sur un réseau." Paris 11, 1987. http://www.theses.fr/1987PA112312.

Full text

Abstract:

Nous considérons des systèmes de particules disposées sur un réseau, avec différentes formes d'interaction. Pour l'interaction à courte portée sur zd, nous obtenons les propriétés de grandes déviations pour le champ empirique d'une mesure de Gibbs nous considérons également le cas d'une interaction aléatoire. Puis nous étudions la dynamique de Glauber d'un système sur le tore avec interaction de champ moyen local, dans l'asymptotique d'un nombre infini de particules. L'étude des fluctuations autour de la loi des grands nombres montre la nécessité d'une renormalisation en espace et en temps à la température critique. La théorie des grandes déviations permet d'analyser les changements d'attracteurs à basse température, nous mettons en évidence la nucléation. Enfin, nous étudions les points stationnaires du modèle de champ moyen local à l'aide de la théorie des bifurcations
We are interested in particles systems located on a lattice, with different type of interaction For short range interaction on zd, we study the large deviation properties for the empirical field of a Gibbs measure we also cover the case of random interaction and derive some applications Next we study Glauber dynamics of a local mean field model on the torus in the asymptotics of a large number of particles The fluctuation process has to be rescaled in space and time at the critical temperature We analyse the dynamics of a change of attractor using large deviations techniques at low temperature we recover a description for nucleation We then need to study the stationary points in such a local mean field model this is tackled in the frame of bifurcation theory

APA, Harvard, Vancouver, ISO, and other styles

5

Machado, Tristan. "Etude d'aspects universels et non universels par le groupe de renormalisation non perturbatif." Paris 6, 2010. http://www.theses.fr/2010PA066070.

Full text

Abstract:

Le groupe de renormalisation non perturbatif suit le programme, initialement proposé par K. G. Wilson, consistant à établir le flot de renormalisation d'un modèle donné dans l'espace fonctionnel le plus général compatible avec ses symétries. Ce faisant, il permet a priori d'avoir accès aux propriétés universelles aussi bien que non universelles des systèmes étudiés. Le travail présenté dans cette thèse contribue à préciser les possibilités de la méthode dans chacun de ces deux domaines. Nous montrons, d'une part, qu'une adaptation naturelle du formalisme habituel du groupe de renormalisation non perturbatif permet de décrire conjointement les propriétés universelles, comme les exposants critiques, et non universelles, comme une température critique, des modèles définis sur réseau. La méthode repose sur le choix d'une condition initiale locale pour le flot. D'autre part, fort du succès de la méthode perturbative (non fonctionnelle) dans la détermination des propriétés universelles, nous pouvons nous demander s'il est possible, dans ce domaine, de simplifier les équations de flot non perturbatives. Dans cette optique, nous montrons qu'une généralisation du développement en 4-ε de Wilson et Fisher au cas non perturbatif permet de passer outre l'étape usuelle de réglage fin d'un paramètre critique. Ceci constitue un premier pas dans l'élaboration d'un schéma de résolution "minimal" du comportement universel des équations de flot non perturbatives.

APA, Harvard, Vancouver, ISO, and other styles

6

Entrialgo, Frédérique. "Locative media : la mise en oeuvre artistique des technologies de géolocalisation comme médiation esthétique et critique dans la relation corps/réseau/territoire." Nice, 2012. http://www.theses.fr/2012NICE2030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Gaye, Sahite. "Analyse socio-critique de la Société de l’Information : écritures et stratégies d’acteurs du réseau des Technologies de l’Information et de la Communication au Sénégal." Thesis, Rennes 2, 2014. http://www.theses.fr/2014REN20017.

Full text

Abstract:

La Société dite de l’information est fortement galvaudée par les médias et dans les discours de certaines organisations comme les institutions internationales qui évoluent dans le domaine des Technologies de l’Information et de la Communication. Pour autant, si elle existe, sa compréhension change parfois selon les attentes des uns et des autres. Au Sénégal, par exemple, les acteurs qui gravitent autour du réseau des Technologies de l’Information et de la communication n’ont pas la même vision de cette société. Le pouvoir public tente de définir des politiques qui, majoritairement, reprennent les recommandations des sommets mondiaux sur la société de l’information.Dans ce contexte, les populations locales mettent en place des stratégies avec des usages qui restent dictés par la situation économique et sociale et non pas les textes. Les problèmes de ces usages, des recompositions organisationnelles, d’écriture sont analysés ici avec des outils qui prennent en compte les facteurs sociaux
The so-called Information Society is highly tarnished by the media and in the speeches of some organizations such as international institutions which operate in the field of Information Technology and Communication. However, if it exists, its understanding sometimes changes according to the expectations of each other. In Senegal, for instance, actors who revolve around the Information Technology and Communication network do not have the same vision of the company. The public authority’s attempts to define policies mainly reflect the recommendations of the World Summits on the Information Society.In this perspective, the local population set up strategies with practices that are more dictated by the economic and social situation than official texts. The consequences of these uses, of organizational reconfigurations and writings, are analyzed here with tools that will take into account social factors

APA, Harvard, Vancouver, ISO, and other styles

8

Moreau, Yves. "Édition critique de la correspondance de Jacob Spon (1647-1685)." Thesis, Lyon 3, 2013. http://www.theses.fr/2013LYO30033.

Full text

Abstract:

Notre thèse de doctorat porte sur la correspondance du médecin et antiquaire protestant Jacob Spon. Elle a pour objet de rassembler l’ensemble de ses lettres, afin de réaliser une édition critique. La correspondance de Spon s’inscrit dans l’immense réseau européen que forme la République des Lettres, qui, à l’époque classique, échangeait savoirs, idées, découvertes et services par le biais d’un intense échange épistolaire. Le savoir est un enjeu ; des stratégies résiliaires s’élaborent, au moment où L’Europe initie une critique radicale de l’héritage intellectuel hérité de l’Antiquité et de la tradition chrétienne. Les correspondances sont les vecteurs de l’échange des connaissances entre acteurs individuels ou collectifs.Chronologiquement, la correspondance de Jacob Spon s’étend sur environ vingt ans, de son départ de Lyon pour se former à la médecine, dans les années 1665-1667 à son brusque exil pour le Refuge en 1685 après la révocation de l’Édit de Nantes. Les correspondants résident dans la plupart des grands centres intellectuels de l’Europe occidentale, parmi lesquels Paris, Londres, Rotterdam, Leipzig, Francfort, Genève, Florence, Milan… Les plis du savant protestant, à l’exception de quelques-uns, sont tous rédigés à Lyon. À ce jour, nous avons recensé 425 lettres : 290 lettres reçues par Spon, et 135 envoyées à ses correspondants européens.Nous avons dégagé cinq thèmes principaux présents dans la correspondance du médecin Lyonnais.-Les réseaux et les milieux sociaux fréquentés par Jacob Spon. Le réseau familial constitue le premier cercle de sociabilité et permet d’entrer en relation avec d’autres réseaux plus étendus liés aux affinités intellectuelles, et principalement sur l’héritage antique gréco-romaine sous tous ses aspects : philosophie, religion histoire, artefacts, vestiges... Son rôle de médiateur culturel au sein de la République des Lettres apparaît en filigrane-La sensibilité religieuse. Plus qu’une pratique, la foi définit une partie de l’identité de l’érudit huguenot. Elle est aussi un discours qui se fonde sur deux arguments : le premier est celui de la liberté de conscience ; le second, plus original, tente de justifier la supériorité de l’Eglise Réformée par son ancienneté, en se basant sur l’épigraphie et la numismatique et peu par les textes. Il convient de replacer cette originalité dans le contexte de controverse religieuse qui agite la France du XVIIe siècle.D’autre part, l’articulation religion-antiquarisme a contribué semble-t-il à une approche de l’art différente des conceptions calvinistes traditionnelles.-La tolérance religieuse. Contrairement à l’idéalisation d’une République des Lettres faisant peu de cas de l’appartenance confessionnelle, nous souhaitons éprouver la notion de tolérance religieuse, que nous remettons en question, en nous appuyant sur le cas de Spon, qui souffrit de sa foi réformée dans la France précédant la révocation de l’édit de Nantes et affirma avec force son adhésion à la foi de Calvin.-La production et la diffusion de savoirs. L’érudit lyonnais est un des précurseurs de la démarche scientifique moderne. Il innova dans les domaines de sa compétence, servi par un regard aiguisé et une formation d’honnête homme. Il importe ici de saisir les mécanismes de production savante, et leur diffusion à l’ensemble des curieux par la voie des réseaux épistolaires.-La distinction entre sphère publique et sphère privée. Spon différencie dans sa correspondance ce qui relève de son for intérieur et ce qui concerne sa position d’homme public, c’est-à-dire son for extérieur. Paradoxalement, cette séparation est loin d’être claire dans ses papiers. L’étude de ces axes nous permet de clarifier comment les savoirs savants s’élaborent et se diffusent, mais aussi de replacer la place de la religion, au sein de la République des Lettres dans les stratégies de communication savante à partir du cas particulier de la correspondance de Jacob Spon
Our thesis focuses on the correspondence of physician and antiquarian Protestant Jacob Spon. To gather all of his letters, in order to achieve a critical edition of its object. Spon correspondence is in the vast European network that form the Republic of Letters, which, in the classical period, trading knowledge, ideas, discoveries and services through an intense exchange of letters. But speaking of "network" in the singular is abusive. Hundreds of networks communicate, create, unmade, confront, overlap. Knowledge is an issue, the résiliaires strategies are developed at a time when Europe introduces a radical critique of the intellectual legacy inherited from antiquity and the Christian tradition. Matches are the vectors of the exchange of knowledge between individual or collective actors.Chronologically, the correspondence of Jacob Spon covers about twenty years of his departure from Lyon to train in medicine, in the years 1665-1667 to his sudden exile to the Refuge in 1685 after the revocation of the Edict of Nantes. The corresponding live in most of the major intellectual centers of Western Europe, including Paris, London, Rotterdam, Leipzig, Frankfurt, Geneva, Florence, Milan ... The folds of Protestant scholar, with the exception of a few, are all written in Lyon. To date, we have identified 425 letters: 290 letters received by Spon and 135 sent to its European correspondents.Our approach is guided by the joint letter correspondence. A letter makes sense that being inserted in a set or series that recounts the lives, conditions, constraints and policy concerns, religious, financial, commercial, intellectual, and cultural of the letter writer. We are thus led to the interpretation of single text linking to this piece with a meaningful whole. Correspondence, witness and agent information exchange suggests a network, that is to say, a complex communication structure which fits individual-author.We have identified five key themes in the correspondence doctor Lyonnais.- Networks and social circles frequented by Jacob Spon. The home network is the first circle of sociability and allows to interact with other larger related intellectual affinity networks, mainly on the ancient Greco-Roman heritage in all its aspects: philosophy, religion, history, artifacts, remains ... Jacob Spon maintains a role of cultural mediator in the Republic of Letters between scholars living in Italy, Paris and Protestants States. - The religious sensibility. More than practical, faith defines a part of the identity of the Huguenot scholar. It is a discourse that is based on two arguments: the first is freedom of conscience, the second most original attempts to justify the superiority of the Reformed Church by seniority, based on epigraphy and numismatics and little by law. It should replace the original in the context of religious controversy stirring seventeenth-century France.On the other hand, the joint-antiquarianism-religion helped-it seems a different approach to the art of traditional Calvinist designs.- The religious tolerance. Unlike the idealization of a republic of letters with little regard to religious affiliation, we would test the concept of religious tolerance in Republic of Letters, relying on the case of Spon, who suffered for his faith in the Seventeeth century Catholic France before the revocation of the Edict of Nantes.- Production and dissemination of knowledge through epistolary networks.- The distinction between public and private spheres. Paradoxically, this separation is far from clear in Jacob Spon's papers. The thesis tries to clarify how knowledge is exchanged among scholars , but also to replace the Religion confrontation between Catholics and Protestants within Republic of Letters and strategies of communication in this learned community

APA, Harvard, Vancouver, ISO, and other styles

9

Faulkner, Michael. "Phénomènes émergents et topologiques dans les systèmes BKT sur réseau." Thesis, Lyon, École normale supérieure, 2015. http://www.theses.fr/2015ENSL0984/document.

Full text

Abstract:

Cette thèse s'intéresse aux phénomènes électrostatiques émergents dans les modèles magnétiques toroïdaux bi-dimensionnels à symétrie XY, fournissant ainsi un support pour de plus amples recherches dans le domaine de la transition de phase Berezinskii-Kosterlitz-Thouless (BKT).Dans de nombreux systèmes bi-dimensionnels, dont le modèle bi-dimensionnel XY du magnétisme, la transition BKT contrôle la dissociation thermique de paires de défauts topologiques liés. Le modèle XY est analogue au gaz de Coulomb bi-dimensionnel, à ceci près qu'il peut être simulé sans avoir à modéliser les interactions à longue distance du système Coulombien. Cette thèse élucide ce paradoxe en démontrant que l'approximation de Villain appliquée au modèle XY est strictement équivalente au modèle électrostatique de Maggs-Rossetto (MR) appliqué au système Coulombien bi-dimensionnel.Cette équivalence est utilisée pour sonder la transition BKT par l'application de l'algorithme MR au gaz de Coulomb bi-dimensionel. En simulant le système Coulombien, il est prouvé que les fluctuations dans l'organisation des charges autour du tore sont activées à la température de transition BKT. Ces fluctuations du champ électrique indiquent ainsi la phase de haute température de la transition.Il est ensuite montré que l'exposant critique effectif de la théorie de Bramwell-Holdsworth (BH) peut être mesuré dans les films d'hélium 4 superfluide, qui correspondent à des gaz de Coulomb effectifs dans la limite de systèmes de grandes tailles finies
This thesis addresses the emergent electrostatics of two-dimensional, toroidal magnetic models that possess XY symmetry, providing a platform for novel investigations into the Berezinskii-Kosterlitz-Thouless (BKT) phase transition.The BKT transition drives the thermal dissociation of bound pairs of topological defects in many two-dimensional systems, including the two-dimensional XY model of magnetism. The XY model is closely analogous to the two-dimensional Coulomb gas, but can be simulated without computing the long-range interactions of the Coulombic system. This thesis elucidates this paradox by showing that Villain's approximation to the XY model is strictly equivalent to the Maggs-Rossetto (MR) electrostatic model when applied to the two-dimensional Coulomb gas.The mapping is used to probe the BKT transition through the application of the MR algorithm to the two-dimensional Coulomb gas. By simulating the Coulombic system, fluctuations in the winding of charges around the torus are shown to turn on at the BKT transition temperature. These topological-sector fluctuations in the electric field therefore signal the high-temperature phase of the transition.It is then shown that the effective critical exponent of Bramwell-Holdsworth (BH) theory can be measured in superfluid 4He films, which correspond to effective Coulomb gases in the limit of large but finite system size. With the Coulombic system taken as the base BKT system, it is inferred that BH theory is a general property of BKT systems

APA, Harvard, Vancouver, ISO, and other styles

10

Akaaboune, Nor-Eddine. "Diagramme de phase (H, T) du supraconducteur organique (TMTSF)2ClO4 faiblement désordonné." Paris 11, 2002. https://tel.archives-ouvertes.fr/tel-00002215.

Full text

Abstract:

L'étude de la phase supraconductrice du conducteur organique quasi 1D, (TMTSF)2ClO4, à partir de mesures de transport électronique linéaire ( mesure de la résistivité le long de l'axe c, Pc ) en champ magnétique appliqué perpendiculairement et parallèlement aux plans supraconducteurs, nous a permis de déterminer le diagramme de phase de vortex, en établissant toutes les lignes caractéristiques (ligne du champ critique supérieur, ligne de fusion). L'analyse des courants critiques et des fluctuations supraconductrices montrent aussi que la structure est tridimensionnelle et que le transport dans la direction c est très cohérent, malgré le faible couplage dans cette direction. Dans l'état liquide de vortex, l'énergie d'activation montre une dépendance en H^(-1) caractéristique de la déformation plastique des lignes de flux tridimensionnelles à cause vraisemblablement de joints de grains apparaissant lors du refroidissement. L'augmentation du désordre introduit par la vitesse de refroidissement montre une augmentation du champ critique supérieur, une ligne de fusion qui se décale vers les plus basses températures et une diminution de la longueur de corrélation des lignes de flux selon la direction la plus faiblement conductrice
The present thesis work, was focusing in particular, on the superconducting state of quasi one dimensional organic conductor (TMTSF)2ClO4. We have determined a new vortex phase diagram of this compound, by interlayer transport measurement, performed under magnetic field applied perpendicular to the layers. Starting from an analysis of the critical current and the superconducting fluctuations, we have demonstrated that the electronic structure of (TMTSF)2ClO4 is three dimensional in nature and the transport along the weakest conductivity axis (c-axis) is very coherent although the coupling is weak in this direction. In the mixed state, the pinning energy in the liquid phase shows a 1/H dependence which corresponds to the plastic bending of the flux line lattice. Finally, we have also studied the effect of the disorder introduced by different thermal cooling rates. Our results show strong modifications on the superconducting parameters

APA, Harvard, Vancouver, ISO, and other styles

11

Champenois, Florient. "Configuration et analyse temporelle de réseaux avioniques à sauts multiples." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAT036.

Full text

Abstract:

Dans le domaine des réseaux temps réels critiques embarqués, la tendance est à l'augmentation des exigences en termes d'embarquabilité et de bande passante, cela afin de répondre aux nouveaux défis que proposent les véhicules autonomes et les drones. Pour répondre à ces besoins Safran mets en place un nouveau modèle certifiable de réseau distribué à topologie maillée. Cette thèse Cifre prend place au sein de ce projet, afin de proposer un ensemble de méthodes et d'outils permettant de répondre à ces défis et ainsi améliorer les réseaux critiques embarqués. Dans cet objectif, nous présentons un ensemble d'améliorations au nouveau modèle de réseau de Safran en y incorporant la redondance multi-chemins en lieu et place de la redondance multi-plans actuellement d'usage dans l'aéronautique pour satisfaire les contraintes de tolérances aux pannes. Les travaux de la thèse ont également permis l'adoption de plusieurs mesures améliorants les capacités du réseau. D'autre part, les travaux ont également porté sur la mise en place d'une méthode de calcul de borne pessimiste de pire temps de transmission. En effet, la présence de cycles d'interdépendances entre les flux de données au sein de ces réseaux, amène la très grande majorité des méthodes de calcul actuel à ne pas pouvoir converger vers un résultat. Une partie des travaux a donc consisté à produire une adaptation de l'approche trajectoire permettant d'adresser de tel réseau tout en offrant des optimisations afin d'améliorer le passage à l'échelle. La dernière partie des travaux a consisté à mettre en place une méthodologie de production de configuration réseau satisfaisant les contraintes en termes de tolérance aux pannes, de temps de transmission et d'embarquabilité. Cette méthode basée sur un algorithme génétique multicritères permet également d'optimiser la configuration produite en fonction de plusieurs critères afin d'offrir un résultat plus que satisfaisant. Enfin, les travaux présentés dans cette thèse sont validés à l'aide d'un ensemble complet d'expérimentations permettant de conclure à la pertinence des propositions
In the field of embedded real times critical networks, the current trend is to increase requirements in terms of embeddability and bandwidth, in order to meet the new challenges posed by autonomous vehicles and drones. To meet these needs, Safran is establishing a new certifiable model of a distributed network based on a mesh topology. This thesis is taking place within this project, in order to propose a set of methods and tools to meet these needs and thus improve embedded critical networks.With this objective in view, the thesis consisted, firstly, of presenting a range of improvements to Safran's new network model by incorporating multi-path redundancy in place of the multi-plane redundancy currently used in aeronautics to satisfy fault tolerance constraints. The thesis also led to the adoption of several measures to improve others networks capabilities.Secondly, the work also focused on the implementation of a method for calculating a pessimistic worst-case transmission time bound. The presence of cycles of dependencies between data flows within these networks impedes the vast majority of current computation methods to converge on a result. Part of the work has therefore consisted in producing an adaptation of the trajectory approach that can address such networks, while offering optimizations to improve scaling.The final part of the work involved implementing a methodology to produce network configurations that satisfy constraints in terms of fault tolerance, transmission time, and embeddability. This method, which is based on a multi-criteria genetic algorithm, also enables the configuration produced to be optimized as a function of several criteria in order to offer a more than satisfactory result.Finally, the approaches presented in this thesis are tested using a complete set of experiments, allowing us to conclude that it is pertinent

APA, Harvard, Vancouver, ISO, and other styles

12

Faini, Giulia. "Synaptic changes upon removal of extracellular perineuronal nets in adult mouse visual cortex." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066363/document.

Full text

Abstract:

Les réseaux neuronaux sont hautement sensibles aux stimuli sensoriels pendant une fenêtre temporelle dite période critique (PC). Un des acteurs clé de la consolidation de ces réseaux est le Perineuronal Net (PNN), une matrice extracellulaire qui s’accumule au cours de la PC majoritairement autour des interneurones parvalbumin-positifs (PV). La dégradation des PNNs chez l’adulte restaure une plasticité structurale, typique de la PC. Ce projet de recherche vise à déterminer i) les propriétés neurophysiologiques des neurones PV et glutamatergiques dans la couche 4 du cortex visuel primaire de souris au cours du développement ii) de quelle façon ces propriétés sont altérées par l’accumulation des PNN. Nous avons montré, au cours du développement, une augmentation de l’excitabilité des deux types de neurones. La dégradation in vivo des PNN augmente la transmission glutamatergique et GABAergique spécifiquement sur les PV, récapitulant un état juvénile. Dégrader les PNN chez l’adulte n’affecte pas les connections unitaires inhibitrices en couche 4. Afin de comprendre les mécanismes impliqués au niveau du circuit, nous avons exprimé l’opsine sensible à la lumière ChR2 dans les neurones glutamatergiques du thalamus visuel projetant sur la couche 4 du cortex. Ainsi, une absence de PNN augmente le recrutement spécifique des PV par le thalamus, entrainant une augmentation de l’inhibition feedforward. Ces résultats sont en accord avec des expériences réalisées in vivo, au cours desquelles nous avons mesuré les potentiels évoqués en réponse à des stimuli visuels suite à une dégradation des PNN et qui indiquent une augmentation du recrutement de l’inhibition
The maturation of sensory processing undergoes a critical period (CP), during which cortical neural circuits are sculpted and changed by experience. The closure of CP is paralleled by the accumulation of extracellular perineuronal nets (PNN) around parvalbumin (PV)-positive interneurons. The degradation of PNNs in adult animals was shown to re-open the structural plasticity typical of the CP. We aimed at defining i) the neurophysiological properties of PV cells and principal neurons in layer 4 of primary visual cortex (V1) during the establishment of the CP ii) how these properties are altered by PNN accumulation. We found a robust age-dependent increase of input-output firing relationships in both cell types. Importantly, in vivo PNN removal in adult V1 increased both excitatory and inhibitory transmission selectively onto PV, leaving their excitability intact, and recapitulating younger states. In addition, triggering plasticity in vivo by monocular deprivation did not boost the increased activity onto PV cells. Interestingly, paired recordings in layer 4 showed no changes of inhibitory unitary connections, with or without PNNs. In order to understand the circuit mechanisms underlined, we expressed the light-sensitive opsin ChR2 in the visual thalamus. We found that PNN removal increases the recruitment of PV cells by thalamocortical fibers leading to an increase of feedforward inhibition. These results are in agreement with V1 recordings in vivo of visually evoked potentials in response of increasing contrast. Indeed, PNN disruption caused a reduction of the slope of the contrast sensitivity curve, indicating a higher recruitment of inhibition

APA, Harvard, Vancouver, ISO, and other styles

13

Shaidiuk, Viacheslav. "Magnétotransport dans les micro-ponts monocristallins de B12212 : mécanisme de dépiégeage et dynamique des vortex." Thesis, Tours, 2012. http://www.theses.fr/2012TOUR4028/document.

Full text

Abstract:

Dans ce travail, nous aborderons la problématique du dépiégeage et de la dynamique des vortex (élastiques ou plastiques) en présence de centres d’ancrage (0D ou 1D). Les résultats, discutés ici, ont été obtenus par des mesures de magnétotransport . L’effet des interactions vortex-vortex sur la dynamique au voisinage du seuil de dépiégeage a été étudié pour des microponts monocristallins de Bi-2212 bruts de tirage (défauts ponctuels) ou irradiés aux ions lourds de haute énergie parallèlement à l’axe cristallographique (défauts colonnaires ou DC). Les mesures ont été effectuées à basse température (5 K) et au voisinage de en fonction du champ magnétique .A 5 K, nos résultats mettent en évidence un effet de pic à ainsi qu’un phénomène d’hystérésis dans la dépendance en de attribués à un changement de mécanisme de dépiégeage et de dynamique. La dépendance en des courbes a également permis la mise en évidence d’un ou plusieurs pics dans la dépendance en B de la résistance dynamique . De plus, la loi de type a pu être vérifiée. L’exposant critique obtenu varie suivant que est inférieur ou supérieur à ; et ce, que les microponts soient ou non irradiés. Les différentes valeurs de sont expliquées par les différents types de désancrage mis en jeu.Au voisinage de , nos résultats montrent un dépiégeage successif des vortex (vortex interstitiels puis vortex localisés sur les DC). Les courbes obéissent à une loi de type . Les différentes valeurs de obtenues sont discutées en fonction de la dimensionnalité des vortex (2D ou 3D). Finalement, l’effet de l’application d’une composante perpendiculaire sur la délocalisation des vortex a été étudié à basse et à haute température. Nos résultats montrent clairement l’existence de un ou plusieurs angles critiques de délocalisation
In this work, we deal with depinning and dynamics of vortices (plastic or elastic) with or without pinning centers (0D or 1D). Results were obtained using measurements.Effects of votex-vortex interactions in the vicinity of have been studied for single crystal microbridge of Bi-2212 unirradiated and irradiated with heavy ions parallel to the cristallographic axis (columnar defects or CD). measuremants have been made at low temperature (5 K) and in the vicinity of at different magnetic field .At 5 K, our results show a peak effect at and a hystheresis phenomena for the dependence of which have been attributed to a change in the depinning mechanism and dynamics. The dependence of curves also reveals the presence of one ore more peaks in the dependence of the dynamical resistance . More, the typical law has been verified. The obtained critical exponent varies for lower or higher than for both irradiated and unirradiated samples. The different values are explained by the different depinning mechanisms.In the vicinity of , our results show a two steps depinning mechanism (interstitial vortex and, after, ones which are lodalized on CD). curves obey almost the same law as at low temperature : . The different obtained values are discussed in the framework of the vortex dimensionality (2D or 3D).Finally, the effect of the application of a perpendicular magnetic field component on the vortex delocalization has been studied at both low and high temperature. Our results clearly show the existence of one or more critical angle for the delocalization process

APA, Harvard, Vancouver, ISO, and other styles

14

Rufier, Chantal. "Polymères associatifs téléchéliques asymétriques : synthèse, structure et rhéologie." Montpellier 2, 2008. http://www.theses.fr/2008MON20039.

Full text

Abstract:

Dans ce manuscrit nous étudions les polymères associatifs (PA) téléchéliques composés d'une chaîne hydrophile poly(oxyde d'éthylène) (POE) modifiée aux extrémités par des groupements hydrophobes de même nature (PA symétriques) ou de structures différentes (PA asymétriques) avec un groupement hydrocarboné à une extrémité et semi-fluoré à l'autre. L'objectif est de corréler la structure chimique des PA avec les propriétés rhéologiques en solution aqueuse. La synthèse des PA asymétriques est réalisée par polymérisation anionique de l'oxyde d'éthylène amorcée par un alcoolate, suivie de l'estérification par un acide semi-fluoré. Cette synthèse permet d'obtenir des PA modèles totalement modifiés avec un faible indice de polymolécularité. Les polymères sont purifiés grâce à un polymère à empreinte moléculaire MIP. En solution aqueuse, les PA s'associent en agrégats et peuvent induire une séparation de phase. Pour homogénéiser les solutions un tensioactif est additionné : le dodécyl sulfate de sodium (SDS) ou le perfluorooctyl sulfonate de lithium (LFOS). L'étude des solutions diluées en présence de SDS par tensiométrie, RMN 13C et DNPA a permis de déterminer la structure des agrégats en fonction des concentrations des deux composés. En solution semi-diluée, les PA forment un réseau transitoire et augmentent la viscosité. L'étude des solutions en rhéologie linéaire a mis en évidence des corrélations entre la structure du PA (longueur et nature des groupements hydrophobes, PA symétrique ou asymétrique) et les caractéristiques rhéologiques du réseau (temps de relaxation t et module élastique G0). De plus l'influence du SDS est comparée à celle du tensioactif perfluoré (LFOS)
In this manuscript we study telechelic associative polymers (APs) composed of hydrophilic poly(ethylene oxide) chain (PEO, Mn = 20 000 g/mol) end-capped by hydrophobic groups. Symmetric APs have the same hydrophobic group at each end and asymmetric APs contain an alkyl group on one chain end and a perfluoroalkyl group on the other one. The aim of this work was to establish a relationship between the microscopic structure and the rheological properties of APs in aqueous solution. The asymmetric AP synthesis is carried out by anionic polymerization of ethylene oxide initiated by an hydrocarbon alkoxide, followed by esterification with a perfluoroalkylated carboxylic acid. By this way we can obtain completely end-capped APs with a low polydispersity index. Polymers are purified using a molecularly imprinted polymer MIP. In aqueous solution, APs form aggregates and can lead to a phase separation. To investigate homogeneous solutions a surfactant is added: the sodium dodecyl sulfate (SDS) or the lithium perfluorooctyl sulfonate (LFOS). The dilute solution studies in the presence of SDS, by tensiometry, 13C NMR and SANS, enable to determine the aggregate structure as a function of concentrations of the two components. In semi-diluted solution, APs form a transient network with an increase of viscosity. The aqueous solution study by rheology reveals correlations between the AP chemical structure (hydrophobic group length and nature, symmetric or asymmetric AP) and the network rheological characteristics (relaxation time t and elastic modulus G0). The SDS influence is compared with that of the perfluorinated surfactant LFOS

APA, Harvard, Vancouver, ISO, and other styles

15

Wang, Yin-Yu. "Réseaux supraconducteurs : température critique et états mixtes." Grenoble 1, 1987. http://www.theses.fr/1987GRE10060.

Full text

Abstract:

Les effets de quantification du flux magnetique sur des reseaux supraconducteurs bidimensionnels sont etudies dans ce memoire. Du point de vue theorique, la temperature de transition supraconductrice en fonction du champ magnetique applique est determinee en resolvant les equations d'alexander pour divers reseaux : periodiques, quasiperiodiques et fractals. Quelques un de ces reseaux submicroniques ont ete realises par lithographie electronique. Leurs temperatures critiques sont mesurees et l'accord entre la theorie et l'experience est discute. A l'interieur de la phase supraconductrice, les vortex entrent dans le reseau et induisent des supercourants diamagnetiques. L'etat d'equilibre est traite d'une maniere analogue au traitement de l'etat mixte d'un supraconducteur massif d'abrikosov : on determine l'amplitude du parametre d'ordre en tenant compte du terme non-lineaire de l'equation de ginzburg-landau par une methode de perturbation. On en deduit les quantites thermodynamiques, en particulier l'energie libre et l'aimantation du reseau, qui sont des fonctions de la difference entre la temperature et la temperature critique t - t::(c), ainsi que du parametre d'abrikosov beta ::(a). Ce formalisme a ete applique au reseau carre pour lequel les configurations du parametre d'ordre et les distributions du courant diamagnetique ont ete determinees pour quelques valeurs simples du champ magnetique. D'autre part, la derivee de la ligne critique par rapport au champ magnetique, qui s'identifie a la derivee du bord du spectre d'hofstadter a ete calculee a l'aide d'une approximation continue. Cette derivee contient un terme anormal que l'on peut relier a la phase de berry. Elle donne directement la derivee de l'aimantation par rapport a la temperature d rond m/d rond t. Nous donnons egalement quelques resultats preliminaires sur l'etat mixte du reseau supraconducteur en presence d'un courant exterieur. Le courant critique au-dessus duquel cet etat n'existe plus est obtenu pour quelques cas simples (boucles, reseau carre). Quelques mesures preliminaires de ce courant ont ete effectuees sur un reseau carre

APA, Harvard, Vancouver, ISO, and other styles

16

Abou, El Kalam Anas. "Sécurité des réseaux et infrastructures critiques." Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse - INPT, 2009. http://tel.archives-ouvertes.fr/tel-00440784.

Full text

Abstract:

Les infrastructures et réseaux critiques commencent à s'ouvrir vers des architectures, protocoles et applications vulnérables. Ainsi, non seulement il est question de sécuriser ces applications (e.g., contre les attaques potentielles), mais il faut également justifier notre confiance dans les mécanismes de sécurité déployés. Pour cela, nous présentons PolyOrBAC, un cadriciel basé sur le modèle de contrôle d'accès OrBAC, les mécanismes de services Web ainsi que les contrats électroniques. Ensuite, nous préconisons l'utilisation de la Programmation Logique par Contraintes (PLC) pour détecter et résoudre les conflits éventuels dans la politique de sécurité. Au niveau de la mise en œuvre, nous proposons le protocole Q-ESP, notre amélioration d'IPSec qui assure à la fois des besoins de sécurité et de QoS. Enfin, nous présentons nos modèles et résultats de test et d'évaluation d'outils de sécurité notamment les Systèmes de Détection d'Intrusions (IDS).

APA, Harvard, Vancouver, ISO, and other styles

17

Dao, Vu Hung. "Etude théorique de l'état de vortex dans de nouveaux supraconducteurs : MgB2 et PrOs4Sb12." Phd thesis, Grenoble 1, 2006. http://tel.archives-ouvertes.fr/tel-00011607.

Full text

Abstract:

La thèse illustre les influences combinées des anisotropies du gap et du cristal sur les propriétés supraconductrices sous champ magnétique. Afin de décrire la supraconductivité multibande de MgB2, nous dérivons la fonctionnelle de Ginzburg-Landau pour un supraconducteur à deux gaps à partir d'un modèle BCS de couplage faible. L'interaction entre condensats est ainsi décrite par un unique couplage de type Josephson. La théorie à deux gaps permet alors d'expliquer la courbure et l'anisotropie du deuxième champ critique, et la rotation de 30° du réseau de vortex accompagnant l'augmentation du champ magnétique appliqué le long de l'axe c. Par ailleurs, nous étudions la géométrie du réseau de vortex dans le fermion lourd PrOs4Sb12. La prise en compte des corrections non-locales, pour un supraconducteur à cristal Th-tétraédrique avec gap de type s, permet d'expliquer la déformation observée. Les résultats ab initio sur les structures de bandes confirment quantitativement notre analyse.

APA, Harvard, Vancouver, ISO, and other styles

18

Spathis, Panayotis. "Couplage interplan dans Bi2Sr2CaCu2O8+∂ : effet du désordre et du champ magnétique." Phd thesis, Ecole Polytechnique X, 2006. http://tel.archives-ouvertes.fr/tel-00465554.

Full text

Abstract:

La résonance plasma Josephson a permis de détecter précisément l'évolution de la densité suprafluide hors plan dans le Bi2Sr2CaCu2O8+∂ sous-dopé en fonction du désordre cristallin. La comparaison avec plusieurs résultats de la littérature a permis de montrer que le transport des charges est réalisé par effet Josephson incohérent par opposition au cas optimalement dopé. Tandis que l'évolution des propriétés supraconductrices au sein des plans est bien interprétée dans le cadre de la théorie d'Abrikosov Gor'kov, le transport interplan des paires de Cooper est assuré par diffusion anisotrope dans la limite de Born sur les défauts présents entre les couches CuO2. Ce résultat est en accord avec la récente proposition qui relie les modulations spatiales du gap supraconducteur à la présence des défauts d'oxygène entre les plans. Concernant les propriétés de l'état mixte, la résonance plasma a pu montrer que le rajout d'une composante parallèle aux plans CuO2 du champ magnétique à un liquide de pancakes, permet d'induire des corrélations spatiales. Cet effet est dû à la réorganisation des courants supraconducteurs. Là encore, seule la résonance plasma Josephson permet de sonder l'état liquide des vortex en raison de sa grande fréquence par rapport aux mouvement de vortex.

APA, Harvard, Vancouver, ISO, and other styles

19

Ouanani, Saphia. "Étude de réseaux de jonctions Josephson à haute température critique." Thesis, Université Paris-Saclay (ComUE), 2015. http://www.theses.fr/2015SACLS208.

Full text

Abstract:

La jonction Josephson (JJ) est le composé de base de nombreux circuits électroniques supraconducteurs (SQUID, détecteurs d’ondes millimétriques, logique RSFQ). Avec la découverte des supraconducteurs HTc (à haute température critique), d’intenses recherches ont été entreprises pour réaliser des JJ fonctionnant à la température de l’azote liquide (77 K) permettant l’utilisation d’une cryogénie compacte. Toutefois, la complexité de ces matériaux a longtemps rendu difficile le développement d’une technologie viable et simple à mettre en œuvre. Parmi les méthodes de fabrication de jonctions, celle utilisant l’irradiation par faisceau d’ions a atteint un niveau de maturité suffisamment important pour pouvoir envisager la production de circuits comportant plusieurs milliers de JJ à HTc.Le but de ma thèse repose sur la fabrication, la caractérisation et l’étude des propriétés électromagnétiques de réseaux de jonctions Josephson réalisés dans des films minces d’YBa2Cu3O7-d. par la méthode d’irradiation ionique
The Josephson junction (JJ) is the basis of many compound superconducting electronic circuits (SQUID detectors millimeter wave RSFQ logic). With the discovery of HTS superconductors (high critical temperature), intensive research has been undertaken to make JJ operating at the temperature of liquid nitrogen (77 K) allowing the use of a compact cryogenics. However, the complexity of these materials has long hampered the development of a viable technology and simple to implement. Among the junctions manufacturing methods, one using the ion beam irradiation has reached a sufficiently high degree of maturity to be able to envisage the production of circuits having thousands of JJ to HTS.The aim of my thesis is based on the fabrication, characterization and study of the electromagnetic properties of Josephson arrays achieved in thin films of YBa2Cu3O7-d. by the ion irradiation method

APA, Harvard, Vancouver, ISO, and other styles

20

Daher, Alaa. "Optimisation des réseaux cellulaires pour les communications professionnelles critiques." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLT009/document.

Full text

Abstract:

Les communications professionnelles et critiques sont établies soit entre utilisateurs du secteur de la sûreté publique soit entre acteurs opérants des infrastructures critiques. Du fait des fortes exigences en termes de couverture, de priorité d’accès, de fiabilité et de résilience, sans oublier les services supplémentaires pour les utilisateurs professionnels, ces communications utilisent généralement les technologies PMR (Professional Mobile Radio). Vu la croissance des demandes de services, des changements importants sont attendus dans le domaine de la PMR. Les technologies PMR historiques échouent en effet à fournir des services à débits de données élevés, tels que les services vidéos et le transfert de photos. Ainsi, l’adaptation des technologies utilisées par les opérateurs commerciaux à la PMR apparaît comme une solution prometteuse. D’autre part, la prochaine génération de réseaux cellulaires prévoit une nouvelle variété d’applications et de services, dont les exigences de performances sont extrêmement hétérogènes. Ils se classent en trois groupes: enhanced Mobile BroadBand (eMBB), massive Machine-Type Communications (mMTC) et Ultra-Reliable Low Latency Communications (URLLC). Récemment, les communications critiques ont été classées dans dans la famille URLLC des cas d’usage car elles sont prioritaires par rapport aux autres types de communications dans le réseau.Dans ce contexte, nous concentrons à renforcer la couverture des réseaux radio fournissant des communications de groupe, service essentiel fournit par les technologies PMR, afin de satisfaire les besoins. Tout d’abord, on évalue la performance des transmissions unicast et multicast, c’est à dire, les transmissions Multicast/Broadcast Single Frequency Network (MBSFN) et Single-Cell Point-To-Multipoint (SC-PTM), en termes de qualité radio, d’efficacité spectrale du système et de couverture de cellules, tout en considérant des configurations MBSFN statiques. Puis, nous étudions un modèle analytique pour estimer le Signal to Interference plus Noise Ratio (SINR) dans un réseau MBSFN.En outre, nous proposons un algorithme simple de répétitions sans requête, comme alternative à l’algoritgme Hybrid Automatic Repeat re-Quest (HARQ), afin d’améliorer la couverture du réseau en présence de communications de groupe. En considérant les caractéristiques du canal radio, ainsi que les contraintes de délai de service, nous justifions que notre modèle fournit un important gain par rapport aux algorithmes de répétitions traditionnels.Enfin, on évalue le compromis entre la couverture et la capacité d’un réseau utilisant les transmissions multicast, qui évolue en fonction de la taille du cluster de stations serveuses. On formule alors un problème d’optimisation dont l’objectif est de maintenir une probabilité de blocage acceptable du système, tout en maximisant le SINR moyen du groupe d’utilisateurs. Pour chaque groupe, on choisit le cluster de cellules d’une manière dynamique, en se fondant sur la minimisation d’une fonction sous-modulaire, qui prend en compte le trafic de chaque cellule du réseau à travers certains poids, ainsi que le SINR moyen du groupe. Ces poids sont optimisés au moyen de la méthode Nelder-Mead, dans le but de diriger la probabilité de blocage vers un certain seuil. Les résultats obtenus montrent l’importance du regroupement dynamique des cellules dans l’amélioration de la capacité et la couverture du système
Business- and mission-critical communications are communications between professional users either from the public safety sector or operating critical infrastructures. Owing to special coverage, priority access, reliability and resilience requirements, as well as additional services for professional users, these communications are conveyed by Professional Mobile Radio (PMR) networks. Driven by the demand growth, significant changes are taking place in the PMR industry. The existing PMR technologies are indeed not well suited to provide high data rates mobile services like video and photo transfers; hence, the adoption of commercial technologies for mission-critical communications is gaining strong momentum. On the other hand, the next generation cellular networks are envisioned to support a large variety of applications and services with heterogeneous performance requirements, i.e., enhanced Mobile BroadBand (eMBB), massive Machine-Type Communications (mMTC) and Ultra-Reliable Low Latency Communications (URLLC). Recently, mission-critical communications have been classified in a URLLC use case family, characterized by the need to a higher priority over other communications in the networks.In this context, we focus on enhancing the coverage of wireless networks providing group communications, the main service allowed by PMR networks, taking advantage of the current technologies (e.g. Multimedia Broadcast/Multicast Service), to meet the mission-critical communications needs. First, we evaluate the performance of unicast and multicast transmission techniques, i.e., the Multicast/Broadcast Single Frequency Network (MBSFN) and Single-Cell Point-To-Multipoint (SC-PTM), in terms of radio quality, system spectral efficiency and cell coverage, assuming static MBSFN configurations. Then, we introduce an analytical model to derive an approximate closed-form formula of the Signal to Interference plus Noise Ratio (SINR) in a MBSFN network.Furthermore, we propose a simple repetition scheme without request, as an alternative to Hybrid Automatic Repeat re-Quest (HARQ), in the aim of improving the network coverage in presence of group communications. By considering the wireless channel characteristics, as well as the service delay constraints, we show that our proposed scheme provides significant gains over traditional repetition schemes.Finally, we assess the trade-off in the cluster’s size of serving cells which arises between network coverage and capacity in multi-point transmissions. We formulate an optimization problem to maintain an acceptable system blocking probability, while maximizing the average SINR of the multicast group users. For group calls, a dynamic cluster of cells is selected based on the minimization of a submodular function that takes into account the traffic in every cell through some weights and the average SINR achieved by the group users. Traffic weights are then optimized using a Nelder-Mead simplex method with the objective of tracking a blocking probability threshold. Results show the importance of dynamic clustering in improving system capacity and coverage

APA, Harvard, Vancouver, ISO, and other styles

21

Daher, Alaa. "Optimisation des réseaux cellulaires pour les communications professionnelles critiques." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLT009.

Full text

Abstract:

Les communications professionnelles et critiques sont établies soit entre utilisateurs du secteur de la sûreté publique soit entre acteurs opérants des infrastructures critiques. Du fait des fortes exigences en termes de couverture, de priorité d’accès, de fiabilité et de résilience, sans oublier les services supplémentaires pour les utilisateurs professionnels, ces communications utilisent généralement les technologies PMR (Professional Mobile Radio). Vu la croissance des demandes de services, des changements importants sont attendus dans le domaine de la PMR. Les technologies PMR historiques échouent en effet à fournir des services à débits de données élevés, tels que les services vidéos et le transfert de photos. Ainsi, l’adaptation des technologies utilisées par les opérateurs commerciaux à la PMR apparaît comme une solution prometteuse. D’autre part, la prochaine génération de réseaux cellulaires prévoit une nouvelle variété d’applications et de services, dont les exigences de performances sont extrêmement hétérogènes. Ils se classent en trois groupes: enhanced Mobile BroadBand (eMBB), massive Machine-Type Communications (mMTC) et Ultra-Reliable Low Latency Communications (URLLC). Récemment, les communications critiques ont été classées dans dans la famille URLLC des cas d’usage car elles sont prioritaires par rapport aux autres types de communications dans le réseau.Dans ce contexte, nous concentrons à renforcer la couverture des réseaux radio fournissant des communications de groupe, service essentiel fournit par les technologies PMR, afin de satisfaire les besoins. Tout d’abord, on évalue la performance des transmissions unicast et multicast, c’est à dire, les transmissions Multicast/Broadcast Single Frequency Network (MBSFN) et Single-Cell Point-To-Multipoint (SC-PTM), en termes de qualité radio, d’efficacité spectrale du système et de couverture de cellules, tout en considérant des configurations MBSFN statiques. Puis, nous étudions un modèle analytique pour estimer le Signal to Interference plus Noise Ratio (SINR) dans un réseau MBSFN.En outre, nous proposons un algorithme simple de répétitions sans requête, comme alternative à l’algoritgme Hybrid Automatic Repeat re-Quest (HARQ), afin d’améliorer la couverture du réseau en présence de communications de groupe. En considérant les caractéristiques du canal radio, ainsi que les contraintes de délai de service, nous justifions que notre modèle fournit un important gain par rapport aux algorithmes de répétitions traditionnels.Enfin, on évalue le compromis entre la couverture et la capacité d’un réseau utilisant les transmissions multicast, qui évolue en fonction de la taille du cluster de stations serveuses. On formule alors un problème d’optimisation dont l’objectif est de maintenir une probabilité de blocage acceptable du système, tout en maximisant le SINR moyen du groupe d’utilisateurs. Pour chaque groupe, on choisit le cluster de cellules d’une manière dynamique, en se fondant sur la minimisation d’une fonction sous-modulaire, qui prend en compte le trafic de chaque cellule du réseau à travers certains poids, ainsi que le SINR moyen du groupe. Ces poids sont optimisés au moyen de la méthode Nelder-Mead, dans le but de diriger la probabilité de blocage vers un certain seuil. Les résultats obtenus montrent l’importance du regroupement dynamique des cellules dans l’amélioration de la capacité et la couverture du système
Business- and mission-critical communications are communications between professional users either from the public safety sector or operating critical infrastructures. Owing to special coverage, priority access, reliability and resilience requirements, as well as additional services for professional users, these communications are conveyed by Professional Mobile Radio (PMR) networks. Driven by the demand growth, significant changes are taking place in the PMR industry. The existing PMR technologies are indeed not well suited to provide high data rates mobile services like video and photo transfers; hence, the adoption of commercial technologies for mission-critical communications is gaining strong momentum. On the other hand, the next generation cellular networks are envisioned to support a large variety of applications and services with heterogeneous performance requirements, i.e., enhanced Mobile BroadBand (eMBB), massive Machine-Type Communications (mMTC) and Ultra-Reliable Low Latency Communications (URLLC). Recently, mission-critical communications have been classified in a URLLC use case family, characterized by the need to a higher priority over other communications in the networks.In this context, we focus on enhancing the coverage of wireless networks providing group communications, the main service allowed by PMR networks, taking advantage of the current technologies (e.g. Multimedia Broadcast/Multicast Service), to meet the mission-critical communications needs. First, we evaluate the performance of unicast and multicast transmission techniques, i.e., the Multicast/Broadcast Single Frequency Network (MBSFN) and Single-Cell Point-To-Multipoint (SC-PTM), in terms of radio quality, system spectral efficiency and cell coverage, assuming static MBSFN configurations. Then, we introduce an analytical model to derive an approximate closed-form formula of the Signal to Interference plus Noise Ratio (SINR) in a MBSFN network.Furthermore, we propose a simple repetition scheme without request, as an alternative to Hybrid Automatic Repeat re-Quest (HARQ), in the aim of improving the network coverage in presence of group communications. By considering the wireless channel characteristics, as well as the service delay constraints, we show that our proposed scheme provides significant gains over traditional repetition schemes.Finally, we assess the trade-off in the cluster’s size of serving cells which arises between network coverage and capacity in multi-point transmissions. We formulate an optimization problem to maintain an acceptable system blocking probability, while maximizing the average SINR of the multicast group users. For group calls, a dynamic cluster of cells is selected based on the minimization of a submodular function that takes into account the traffic in every cell through some weights and the average SINR achieved by the group users. Traffic weights are then optimized using a Nelder-Mead simplex method with the objective of tracking a blocking probability threshold. Results show the importance of dynamic clustering in improving system capacity and coverage

APA, Harvard, Vancouver, ISO, and other styles

22

Rodière, Pierre. "Supraconductivité et magnétisme dans le composé à électrons fortement corrélés UPt3." Université Joseph Fourier (Grenoble), 2001. http://www.theses.fr/2001GRE10025.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Haubrichs, dos Santos Cleber. "Étienne Bobillier (1798-1840) : parcours mathématique, enseignant et professionnel." Thesis, Université de Lorraine, 2015. http://www.theses.fr/2015LORR0224/document.

Full text

Abstract:

Ce travail est une étude biographique centrée sur Étienne BOBILLIER (1798-1840), un géométre français de la première moitié du dix-neuvième siècle et enseignant à une école d'arts et métiers française provinciale de niveau secondaire. Tout d'abord, nous présentons des considérations sur l'usage de la biographie en histoire des sciences et sur son importance pour la compréhension du caractère collective de la production scientifique. Puis, nous défendons la necessité d'une biographie de Bobillier qu'apporte de nouvelles contributions pour l'historiographie de la géométrie à la 1ere moitié du 19eme siècle (notament la géométrie analytique projective) ; bien aussi pour l'historiographie de l'éducation mathématique dans la même période. À la suite, nous présentons d’une façon panoramique, quelques informations biographiques qui permettent une première approche des œuvres, des contextes et de la personne de Bobillier. En particulier, nous montrons une esquisse du parcours mathématique, enseignant et professionnel du protagoniste de cette étude, encadré par un chronogramme dans un laps de 110 ans d'histoire. Le travail avance avec deux études détaillées autour des recherches géométriques de Bobillier. La première étude est sur la géométrie de situation, où nous jetons un regard sur les conceptions divergentes de Gergonne et Poncelet, aussi bien sur les contributions originales de Bobillier. Nous regardons la fabrication collective de la géométrie de situation dans les Annales de Gergonne, par le biais de la méthode du réseau de textes. La deuxième étude s'agit de l’évolution de la méthode dit de la notation abregée, utilisée comme stratégie de démonstration en géométrie analytique
This work is a biographical study centered on Étienne BOBILLIER (1798-1840), a French geometer of the first half of the nineteenth century and a teacher in a school of arts and crafts, a secondary school in a provincial town in France. First, we present some considerations on the use of biography in history of science and its importance for understanding the collective nature of scientific production. Then, we defend the necessity of a Bobillier's biography that brings new contributions to the historiography of the geometry to the first half of the 19th century (especially projective analytic geometry); and the history of mathematics education in the same period. Following, we present, like a panoramic view, some biographical information that allows a first aproach to Bobillier's works, contexts and person. In particular, we show an outline of the mathematical and teaching career of the protagonist of this study, framed by a period of 110 years of history. This work continues with two detailed studies around the geometrics research of Bobillier. The first study is about the geometry of situation, where we take a look at the divergent conceptions of Gergonne and Poncelet, although also on the original contributions of Bobillier. It includes the collective fabrication of the geometry of situation in the Annales de Gergonne through the method of network of texts. The second study is about the evolution of the method said method of abridge notation, used as a demonstration strategy in analytic geometry

APA, Harvard, Vancouver, ISO, and other styles

24

Rozel, Benoît. "La sécurisation des infrastructures critiques : recherche d'une méthodologie d'identification des vulnérabilités et modélisation des interdépendances." Phd thesis, Grenoble INPG, 2009. http://www.theses.fr/2009INPG0037.

Full text

Abstract:

Les travaux de cette thèse portent sur la sécurisation des infrastructures critiques. Celles-ci sont constituées de l'ensemble des grands réseaux indispensables au bon fonctionnement d'une société. Ce travail s'attache particulièrement aux réseaux électriques et de télécommunications associés. Les interdépendances entre ces derniers amènent à l'apparition de nouvelles vulnérabilités. Pour progresser dans la compréhension de ces vulnérabilités afin de les réduire, deux approches complémentaires ont été explorées. La première est la création d'un outil de simulation comportementale pour systèmes multiinfrastructures. La seconde est la proposition d'une modélisation multi-infrastructures inspirée par la théorie des réseaux complexes. Grâce à cette modélisation, diverses études, en particulier sur l'évaluation de l'influence du réseau de communication sur l'impact des pannes généralisées dans les réseaux électriques ont été réalisées
The research work presented in this PhD thesis deals with Critical Infrastructure Protection. Critical infrastructures are defined as the set of essential networks for the normal functioning of our modern society. This work is particularly focused on the electrical grid and the communication and information networks. Interdependencies between these networks create new vulnerabilities. In order to understand and reduce them, two different approaches were explored. The first one is the building of a multi-infrastructure combined simulator. The second one is the proposal of an original multi-infrastructure model based on the complex networks theory. Thanks to this modelling, dedicated studies were accomplished, principally on the evaluation of the communication network impact on blackouts in power systems

APA, Harvard, Vancouver, ISO, and other styles

25

Rozel, Benoît. "La sécurisation des infrastructures critiques : recherche d'une méthodologie d'identification des vulnérabilités et modélisation des interdépendances." Phd thesis, Grenoble INPG, 2009. http://tel.archives-ouvertes.fr/tel-00407661.

Full text

Abstract:

Les travaux de cette thèse portent sur la sécurisation des infrastructures critiques. Celles-ci sont constituées de l'ensemble des grands réseaux indispensables au bon fonctionnement d'une société. Ce travail s'attache particulièrement aux réseaux électriques et de télécommunications associés. Les interdépendances entre ces derniers amènent à l'apparition de nouvelles vulnérabilités. Pour progresser dans la compréhension de ces vulnérabilités afin de les réduire, deux approches complémentaires ont été explorées. La première est la création d'un outil de simulation comportementale pour systèmes multiinfrastructures. La seconde est la proposition d'une modélisation multi-infrastructures inspirée par la théorie des réseaux complexes. Grâce à cette modélisation, diverses études, en particulier sur l'évaluation de l'influence du réseau de communication sur l'impact des pannes généralisées dans les réseaux électriques ont été réalisées.

APA, Harvard, Vancouver, ISO, and other styles

26

Ameziane, El Hassani Abdeljebar. "Le contrôle d'accès des réseaux et grandes infrastructures critiques distribuées." Phd thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/15962/1/ameziane.pdf.

Full text

Abstract:

La stabilité et le développement des nations dépendent grandement de leurs Infrastructures Critiques (IC). Vu leur importance, de nombreuses menaces guettent leurs systèmes d’information - aussi appelés Infrastructures d’Information Critiques (IIC) -, parmi elles: les atteintes à l’intégrité de leurs données et processus informatisés ainsi que les abus pouvant survenir au cours des collaborations avec d’autres parties. L’intégrité d’une information, qui est sa propriété de ne pas être altérée, est primordiale pour les IIC puisqu’elles manipulent et génèrent des informations devant nécessairement être correctes et fiables. Dans un contexte de mondialisation et d’ouverture, les IC ne peuvent évoluer sans collaborer avec leur environnement. Toutefois, cela n’est pas sans risques puisque les ressources qu’elles engagent peuvent faire l’objet de corruptions et de sabotages. Tentant de réduire les risques de corruptions pouvant émaner de l’intérieur comme de l’extérieur, nous avons œuvré à l’amélioration du mécanisme de contrôle d’accès. Incontournable, il vise à limiter les actions auxquelles peuvent prétendre les utilisateurs légitimes du système, conformément à la politique de sécurité de l’organisation. La pertinence et la finesse de cette dernière impacte grandement l’efficacité du mécanisme. Ainsi, les modèles de contrôle d’accès sont utilisés pour faciliter l’expression et l’administration desdites politiques. OrBAC est un modèle riche et dynamique, satisfaisant plusieurs besoins des IIC, en revanche il reste limité quant à la prise en charge de l’intégrité, aussi bien en contexte localisé que distribué. Ainsi, nous avons proposé une extension d’OrBAC pour les environnements localisés, Integrity-OrBAC (I-OrBAC), qui tient compte de contraintes réelles liées à l’intégrité pour statuer sur les requêtes d’accès. I-OrBAC intègre des paramètres issus de l’application de méthodes d’analyse de risques pour refléter les besoins des ressources passives et apprécier, à leur juste valeur, les habilitations des sujets. Cela nous a orientés vers une modélisation en multi-niveaux d’intégrité qui favorisera la priorisation des biens sensibles, comme la stipule les programmes de protection des IC. Dans I-OrBAC, les niveaux d’intégrité servent aussi bien à contraindre l’attribution des privilèges qu’à la rendre plus flexible : ces niveaux restreignent les accès pour garantir que seuls les utilisateurs chevronnés accèdent aux ressources sensibles, mais permettent aussi aux sujets de différents rôles de réaliser une même tâche, étant bien sûr assujettis à des niveaux seuils différents. Pour rendre I-OrBAC proactif - non limité à statuer uniquement sur les requêtes d’accès - nous avons proposé un algorithme qui vise à déterminer le sujet le plus adéquat, parmi les rôles prioritaires, pour la réalisation d’une tâche sans attendre que les sujets n’en fassent la requête. L’algorithme est décrit par un système d’inférence pour faciliter sa compréhension tout en favorisant la conduite de raisonnements logiques et la dérivation de conclusions. Nous avons proposé une implémentation de notre modèle dans le cadre d’une étude de cas tirée du projet européen FP7 CRUTIAL relatif aux réseaux de transport et de distribution d’électricité. Finalement, pour pallier les problèmes issus des collaborations, nous avons fait appel aux contrats électroniques pour étendre I-OrBAC aux environnements distribués - l’extension Distributed IOrBAC (DI-OrBAC). Ces pactes servent non seulement à définir le contexte, les clauses ainsi que les activités à réaliser mais aussi à prévenir l’occurrence de litiges et à les résoudre. Toutefois, nous avons dû concevoir des mécanismes adaptés à notre modèle I-OrBAC pour leur négociation et leur application.

APA, Harvard, Vancouver, ISO, and other styles

27

Godary, Karen. "Validation temporelle de réseaux embarqués critiques et fiables pour l'automobiles." Lyon, INSA, 2004. http://theses.insa-lyon.fr/publication/2004ISAL0068/these.pdf.

Full text

Abstract:

Dans le domaine de l’automobile, la tendance actuelle pour les constructeurs est de remplacer certains systèmes hydrauliques et mécaniques par des systèmes x-by-wire : composants électroniques communicants grâce à un réseau. Deus aspects particuliers de la fiabilité de ces architectures sont traités dans ces travaux : l’aspect temporel et sa tolérance aux fautes. Afin de garantir la fiabilité de ces systèmes critiques, il est nécessaire de vérifier le respect de leurs contraintes strictes par validation. Les travaux de cette thèse sont consacrés à la validation temporelle en présence de fautes d’une architecture dédiées à ces systèmes : TTA (Time-Triggered Architecture), et en proposent une méthodologie de validation. Pour cela, il a été nécessaire de choisir un formalisme de modélisation adapté aux différentes caractéristiques de l’architecture et à ces contraintes, en particulier sur le plan temporel. Une étude comparative théorique et expérimentale de plusieurs formalismes a permis de choisir les TSA (Times Safety Automata), extension des automates temporisés implémentée dans l’outil UPPAAL. Le modèle obtenu est ensuite analysé par model-checking. Cette méthodologie a permis la validation des bornes temporelles des différents services de TTA, c’est à dire leur pire temps d’exécution, sous certaines hypothèses de fautes. Elle complète les processus de validation de TTA existants, d’une part les approches de tests, de simulations et d’injections de fautes qui ne sont pas exhaustives, et d’autre part des approches formelles (preuve de théorème) qui ne permettaient pas de prendre en compte les bornes temporelles ou l’interaction des algorithmes
In the automotive domain, the current tendency for the manufacturers is to replace hydraulic and mechanical systems by x-by-wire systems : electronic components communicating through a network. Two particular aspects of the reliability of this architectures are studied in this work: the temporal aspect and its fault tolerance. In order to guarantee the reliability of this critical systems, it is necessary to verify the respect of their constraints by validation. Works of this thesis is devoted to the temporal validation in presence of faults of a specific architecture dedicated to these systems: TTA (Time-Triggered Structure), and propose a methodology of validation for this architecture. For that, it was necessary to choose a modelling formalism which fits well to the characteristics of the architecture and its constraints, in particular on the temporal domain. A theoretical and experimental comparative study of several formalisms led us to choose the TSA (Time Safety Automata), extension of the timed automata implemented in the UPPAAL tool. The obtained model is then analysed by model-checking. This methodology allowed the validation of the temporal bounds of the TTA services, i. E. Their worst execution time, under different faults hypotheses. It completes the existent validation processes for TTA, on the one hand the approaches such as test, simulation and fault injection which are not exhaustive, and on the other hand formal approaches (proof of theorems) which did not allow to take into account the temporal bounds or the interaction of the algorithms

APA, Harvard, Vancouver, ISO, and other styles

28

Méasson, Marie-Aude. "La skutterudite PrOs4Sb12 : supraconductivité et corrélations." Phd thesis, Université Joseph Fourier (Grenoble), 2005. http://tel.archives-ouvertes.fr/tel-00012062.

Full text

Abstract:

La skutterudite PrOs4Sb12 est le premier composé à fermion lourd supraconducteur à base de Praséodyme. Cette thèse s'attache à répondre à plusieurs questions le concernant comme la détermination de l'intensité de la renormalisation
de la masse des quasi-particules, la nature et le mécanisme à l'origine de la supraconductivité et la nature intrinsèque ou extrinsèque de la double transition supraconductrice vue en chaleur spécifique.

Nous proposons une interpolation de la chaleur spécifique en phase normale en tenant compte des interactions magnétiques entre ions Pr. Nous extrayons alors un terme électronique de chaleur spécifique compris entre 300 et 750mJ/K2.mol(Pr). L'analyse du saut en chaleur spécifique à la transition supraconductrice confirme que les quasi-particules lourdes sont impliquées dans la supraconductivité et que la supraconductivité est en régime de couplage fort. Des caractérisations systématiques par chaleur spécifique, résistivité et susceptibilité indiquent que la double transition apparaît dans les meilleurs échantillons. Néanmoins nous apportons les premiers doutes sérieux sur sa nature intrinsèque, parce que nous avons trouvé plusieurs échantillons avec une unique transition étroite et parce qu'une forte dispersion dans la valeur du rapport des deux sauts en chaleur spécifique a été mise en évidence. De plus, en établissant les diagrammes de phase supraconducteurs sous champ magnétique et sous pression jusqu'à 4.2 GPa par chaleur spécifique alternative, nous montrons que les deux transitions
supraconductrices Tc1 et Tc2 présentent des comportements similaires. Nous avançons l'hypothèse que le fort changement dans l'évolution des Tc sous pression au dessus de 2 GPa est dû à un changement de nature de la supraconductivité (impliquant des fluctuations puis uniquement phononique à respectivement basse et haute pression) en lien avec l'augmentation du gap de champ cristallin des ions Pr sous pression. L'analyse du second champ critique Hc2(T) montrent la présence d'au moins deux bandes supraconductrices et conclue à la nature singulet du spin des paires de Cooper. Une forte distorsion du réseau de vortex, constante avec le champ et la température, est obtenue par diffraction de neutrons. Des mesures supplémentaires ou un nouveau calcul seraient nécessaires pour trancher entre une explication basée sur la présence de zéros dans le gap supraconducteur et une analyse basée sur la topologie de la surface de Fermi en symétrie Th.

APA, Harvard, Vancouver, ISO, and other styles

29

Vetel, Jérôme. "Dynamique des systèmes magnétiques désordonnés de type Ising Fe0. 35Mg0. 65Br2 et Fe0. 8Mg0. 2Cl2." Toulouse, INSA, 1990. http://www.theses.fr/1990ISAT0005.

Full text

Abstract:

LE MEMOIRE PRESENTE L'ETUDE DU COMPORTEMENT DYNAMIQUE DE DEUX SYSTEMES MAGNETIQUES DESORDONNES DE TYPE ISING. DANS UNE PREMIERE PARTIE, ON ANALYSE LE COMPORTEMENT CRITIQUE DYNAMIQUE DU VERRE DE SPIN 3D-ISINGFe0. 35Mg0. 65Br2. L'ETUDE DE LA DIVERGENCE DU TEMPS DE RELAXATION CARACTERISTIQUE MET EN EVIDENCE UN CROSSOVER DE DIMENSION 2D-3D QUAND LA TEMPERATURE DECROIT. ON MONTRE QUE LE COMPORTEMENT BASSE TEMPERATURE, CONFORMEMENT AUX PREDICTIONS THEORIQUES SUR LES SYSTEMES 3D ISING, EST BIEN ANALYSE PAR UNE LOI DE PUISSANCE DE T=1T#C/T ASSOCIEE A UNE TEMPERATURE DE TRANSITION FINIE T#C=1,950,05 K. L'EXPOSANT CRITIQUE ZV=9,71,3 EST TRES COMPARABLE D'UNE PART A CELUI PREDIT PAR LA THEORIE ET D'AUTRE PART A CELUI MESURE DANS D'AUTRES SYSTEMES VERRE DE SPIN. EN REVANCHE LE COMPORTEMENT HAUTE TEMPERATURE EST DECRIT PAR UNE LOI D'ARRHENIUS CARACTERISTIQUE D'UNE TRANSITION DE PHASE A T#C=0, ASSOCIEE AU COMPORTEMENT 2D-ISING. DANS LA DEUXIEME PARTIE ON ETUDIE, PAR VISUALISATION DE DOMAINES, LA FORMATION ET LA DYNAMIQUE DE DOMAINES MAGNETIQUES DANS LE SYSTEME Fe0. 8Mg0. 2Cl2, QUI SOUMIS A UN CHAMP MAGNETIQUE UNIFORME CONSTITUE UN SYSTEME EN CHAMPS ALEATOIRES. ON CONSTATE LA DISPARITION DE LA TRANSITION METAMAGNETIQUE, ET A SUFFISAMMENT BASSE TEMPERATURE, ON MET EN EVIDENCE UN NOUVEAU PROCESSUS D'AIMENTATION SE TRADUISANT PAR L'APPARITION DE DOMAINES MAGNETIQUES D'ETENDUE BIEN SUPERIEURE A CELLE TRADITIONNELLEMENT OBSERVEE. ON ETUDIE AUSSI, EN FONCTION DU CHAMP APPLIQUE ET DE LA TEMPERATURE, LA DYNAMIQUE DES DOMAINES ET ON MONTRE D'IMPORTANTS PHENOMENES DE METASTABILITE, ASSOCIES A DES TEMPS DE RELAXATION TRES GRANDS

APA, Harvard, Vancouver, ISO, and other styles

30

Knezevic, Milan. "Propriétés critiques de quelques modèles de physique statistique sur réseaux fractals." Paris 6, 1986. http://www.theses.fr/1986PA066294.

Full text

Abstract:

On étudie des phénomènes critiques dans des systèmes de physique statistique des milieux inhomogènes. La propriété essentielle de ces milieux, la perte de la symétrie de translation rend ces problèmes difficiles : on la modélise en étudiant des systèmes sur réseaux fractals déterministes de façon à obtenir des résultats analytiques exacts. Problème des polymères linéaires et des polymères ramifiés en solution très dilué en tenant compte des interactions attractives et de la possibilité d'une transition d'effondrement; problème de la distribution des zéros de la fonction de partition du modèle d'Ising ferromagnétique; problème de la conduction d'un matériau anisotrope, modélisé par un réseau de percolation.

APA, Harvard, Vancouver, ISO, and other styles

31

Hadjidj, Abdelkrim. "Réseaux de capteurs sans fil pour la supervision des systèmes critiques." Compiègne, 2012. http://www.theses.fr/2012COMP2044.

Full text

Abstract:

Recent advances in wireless communications and Micro-Electro-Mechanical systems have enabled the development of wireless sensor networks (WSN) which are expected to be one of the most promising technologies in the near future. These networks introduced an innovative way of monitoring and enabled a plethora of applications in the field of critical systems supervision such as battlefield surveillance, radiation detection, healthcare supervision and critical infrastructure protection. Wireless sensor networks for critical applications have their own characteristics which distinguish them from conventional WSN which create new challenges at different layers. These challenges include reliability, fault tolerance, security, QoS and scalability. This thesis contributes to overcome the challenges of WSN for critical systems monitoring and makes contributions at the MAC layer, the network layer and the application layer. In what follows, we consider the healthcare supervision application and particularly rehabilitation supervision application. We start by studying wireless sensor networks for rehabilitation supervision with a focus on scientific and technical challenges in order to identify the open issues. Then, we propose a reliable communication protocol that meets the clinical requirements of high-fidelity rehabilitation supervision in terms of data quality and data rate. Then, we study the state of the art of multi-path routing protocols through reviewing the different techniques developed for paths construction, data forwarding and paths maintenance. Based on this study, we propose a scalable multi-path routing protocol that constructs a large number of paths compared to existing protocols without inducing extra overhead. Thereafter, we propose a distributed architecture for secure and scalable storage of medical data in wireless sensor networks. Finally, we design and implement a wireless sensor network prototype for high-fidelity rehabilitation supervision and propose mobile and web applications for patients and doctors. Without loss of generality, our proposed solutions for WSN-based rehabilitation supervision are also viable for any other critical application that face the same considered challenges.

APA, Harvard, Vancouver, ISO, and other styles

32

Coulais, Corentin. "Milieux granulaires vibrés proches du Jamming: Des liquides figés aux solides mous." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2012. http://tel.archives-ouvertes.fr/tel-00764093.

Full text

Abstract:

Un ensemble de particules avec interactions répulsives, dans un empilement dense, se bloquent dans un état rigide: sous cisaillement, ces systèmes ont une contrainte seuil avant de céder. Pour des particules sans friction et à température nulle, l'empilement, à la transition de Jamming, est isostatique. Les propriétés mécaniques et géométriques présentent de nombreuses lois d'échelles avec la distance au Jamming qui peut alors être vu comme un point critique. La généralisation de ce concept en présence de température et son lien avec la transition vitreuse ont fait récemment l'objet de nombreux travaux et laissent encore de nombreuses questions ouvertes. Nous tentons d'apporter des éléments de réponse à celles-ci en étudiant expérimentalement la dynamique des particules et du réseau de force d'un empilement désordonné de disques bi-disperses photo-élastiques vibrés horizontalement, dont nous varions la fraction surfacique pour plusieurs amplitudes de vibrations $\gamma$. Au delà d'un lent mouvement convectif d'ensemble, la dynamique des grains présente principalement une dynamique complexe |intermittente et hétérogène| à une échelle bien plus petite que la taille typique d'un grain. Ces hétérogénéités dynamiques sont d'amplitude maximale à une densité intermédiaire $\phi^*(\gamma)$. Au niveau du réseau de contacts, nous observons deux signatures franches et distinctes|statique et dynamique| analogues à la phénoménologie de la transition vitreuse. %La statique et la dynamique du réseau de contact présentent deux signatures distinctes analogues à la phénoménologie de la transition %vitreuse. Á l'instar du maximum d'hétérogénéités dynamiques des déplacements, la signature dynamique du réseau de contacts a lieu à $\phi^*(\gamma)$, si bien que dynamiques des déplacements et des contacts sont liées. En revanche, c'est à une densité plus élevée $\phi_J(\gamma)$ que l'on identifie la signature statique de la transition de Jamming. Lorsque l'on diminue l'amplitude de vibration vers la limite d'excitation mécanique nulle, $\gamma\rightarrow0$, $\phi^*(\gamma)$ et $\phi_J(\gamma)$ se confondent, et l'échelle de longueur des corrélations dynamiques augmente. Nous comparons ces résultats aux propriétés des sphères molles au voisinage du Jamming.

APA, Harvard, Vancouver, ISO, and other styles

33

Tajeuna, Etienne Gaël. "Suivi des communautés dans les réseaux sociaux dynamiques." Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/8559.

Full text

Abstract:

Le suivi des groupes d’utilisateurs ou communautés dans les réseaux sociaux dynamiques a suscité l’intérêt de plusieurs chercheurs. Plusieurs méthodes ont été proposées pour mener à bien ce processus. Dans les méthodes existantes, pour suivre une communauté dans le temps, une approche de comparaison séquentielle des communautés en termes de noeuds est effectuée. Ces comparaisons des communautés sont faites par le biais des mesures de similarités basées soit sur le Coefficient de Jaccard, soit sur un Coefficient de Jaccard modifié. Cependant, suivre une communauté donnée à partir de ces mesures de similarités pourrait au terme de sa durée de vie conduire à une communauté qui n’a aucun noeud en commun avec la communauté initialement observée. De plus, l’usage de ces mesures de similarité pourrait également limiter la détection des changements ou transitions possibles que subirait une communauté dans le temps. Par ailleurs, parmi les méthodes existantes, très peu d’auteurs se sont intéressés à l’étude de l’évolution de la structure des communautés dans le temps. L’objet de ce mémoire est principalement basé sur la question de suivi des communautés et de détection des changements ou des transitions que pourrait subir une communauté dans le temps. Par ailleurs nous présentons une ébauche des perspectives futures au travail élaboré dans ce mémoire à savoir l’analyse de l’évolution de la structure des communautés dans le temps. La contribution majeure présentée dans le chapitre deux de ce mémoire est liée à une nouvelle approche permettant de modéliser et suivre les communautés. Dans notre modèle, nous construisons premièrement une matrice qui dénombre le nombre de noeuds partagés par deux communautés. Chaque ligne de cette matrice est par la suite utilisée pour représenter les noeuds partagés par une communauté et toutes les autres communautés détectées dans le temps. Cette représentation nous permet d’avoir une traçabilité de la communauté à comparer. Par la suite, nous proposons une nouvelle mesure de similarité appelée « transition mutuelle » pour effectuer le suivi et la détection des changements dans les réseaux dynamiques. Dans le dernier chapitre, nous présentons une ébauche de nos futurs travaux. Dans ce chapitre, nous tentons de prédire la structure que pourrait prendre une communauté à un instant inconnu. Pour mener à bien cette opération, nous utilisons un modèle supervisé deux-tiers. Dans le premier tiers, encore vu comme étape d’apprentissage, on extrait des caractéristiques ou variables explicatives liées aux différentes communautés. Comme caractéristiques nous observons entre deux instants le nombre de noeuds qui joint, quitte et reste dans une communauté. Ces caractéristiques extraites sur deux instants distincts sont projetées dans un nouvel espace orthonormé. Cette projection dans un nouvel espace permet de se rassurer que les nouvelles variables sont indépendantes. Une transition étant définie entre deux instants, nous utilisons la variation des nouvelles variables explicatives pour définir chacun des phénomènes comme des classes. Dans le deuxième tiers, nous utilisons le modèle de machine à support de vecteurs (SVM) pour analyser l’évolution de la structure d’une communauté dans le temps. Une série de tests sur des données réelles a été effectuée pour évaluer les approches proposées dans ce mémoire.

APA, Harvard, Vancouver, ISO, and other styles

34

Inyang, Enobong Joseph. "Étude des conceptions théoriques de deux traductologues anglophones, Peter Newmark et Eugène Nida, à la lumière de la théorie interprétative de la traduction." Thesis, Paris 3, 2010. http://www.theses.fr/2010PA030161/document.

Full text

Abstract:

Notre thèse vise à étudier les conceptions théoriques de deux traductologues anglophones [littéraliste chez Peter Newmark et sociolinguistique chez Eugene Nida], à la lumière de la théorie interprétative de la traduction élaborée par deux traductologues françaises, Danica Seleskovitch et Marianne Lederer. Nous nous sommes proposé de voir comment trois théories, de deux univers linguistiques différents se sont développées dans la deuxième moitié du 20e siècle, et s’il y a des rapprochements à faire
The aim of our dissertation is to examine the literalist theoretical view of Peter Newmark and the sociolinguistic theoretical view of Eugene Nida in the light of the interpretative theory of translation of Danica Seleskovitch and Marianne Lederer. Newmark and Nida are Anglophone theorists of translation, while Seleskovitch and Lederer are French theorists. We want to see how three theories from different linguistic worlds developed in the second part of the 20th century and at the same time compare and contrast them

APA, Harvard, Vancouver, ISO, and other styles

35

Han, Fangyuan. "Cadres pour l'analyse multi-perspective des infrastructures critiques." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC011/document.

Full text

Abstract:

Les infrastructures critiques (CIs) sont essentielles au fonctionnement de la société moderne. Leur sécurité et leur fiabilité sont les principales préoccupations. La complexité des CIs exige des approches d'analyse de système capables de voir le problème de plusieurs points de vue. La présente thèse porte sur l'intégration de la perspective de contrôle dans l'analyse de sécurité et de fiabilité des éléments de configuration. L'intégration est d'abord abordée par examiner les propriétés de contrôle d'un microgrid d'alimentation électrique. Un schéma basé sur la simulation est développé pour l'analyse sous différentes perspectives : le service d'approvisionnement, la contrôlabilité et la topologie. Un cadre basé sur la commande prédictive (MPC) est proposé pour analyser le microrgrid dans divers scenarios de défaillance. Ensuite, un cadre multi-perspectif est développé pour analyser les CIs considérant le service d'approvisionnement, la contrôlabilité et la topologie. Ce cadre permet d'identifier le rôle des éléments de CIs et de quantifier les conséquences de scénarios de défaillances, par rapport aux différents perspectives considérées. Afin de présenter le cadre d'analyse, un réseau de transport de gaz réel à travers plusieurs pays de l'Union européenne est considéré comme une étude de cas. En fin, un cadre d'optimisation a trois objectifs est proposé pour la conception de CI : la topologie du réseau et l'allocation des capacités de liaison sont optimisées minimisant la demande non fournie et la complexité structurelle du système, et en même temps maximisant la contrôlabilité du système. Une investigation approfondie sur les multiples objectifs considérés est effectuée pour tirer des informations utiles pour la conception du système. Les résultats de cette thèse démontrent l'importance de développer du cadre d'analyse des CIs considérant de plusieurs perspectives pertinentes pour la conception, l'opération et la protection des CIs
Critical infrastructures (CIs) provide essential goods and service for modern society. Their safety and reliability are primary concerns. The complexity of CIs calls for approaches of system analysis capable of viewing the problem from multiple perspectives. The focus of the present thesis is on the integration of the control perspective into the safety and reliability analysis of CIs. The integration is first approached by investigating the control properties of a small network system, i.e., an electric power microgrid. A simulation-based scheme is developed for the analysis from different perspectives: supply service, controllability and topology. An optimization-based model predictive control framework is proposed to analyze the microgrid under various failure scenarios. Then, a multi-perspective framework is developed to analyze CIs with respect to supply service, controllability and topology. This framework enables identifying the role of the CI elements and quantifying the consequences of scenarios of multiple failures, with respect to the different perspectives considered. To demonstrate the analysis framework, a benchmark network representative of a real gas transmission network across several countries of the European Union (EU) is considered as case study. At last, a multi-objective optimization framework is proposed for complex CIs design: design of network topology and allocation of link capacities are performed in an optimal way to minimize the non-supplied demand and the structural complexity of the system, while at the same time to maximize the system controllability. Investigation on the multiple objectives considered is performed to retrieve useful insights for system design. The findings of this thesis demonstrate the importance of developing frameworks of analysis of CIs that allow considering different perspectives relevant for CIs design, operation and protection

APA, Harvard, Vancouver, ISO, and other styles

36

Recoba, Pawlowski Eliana. "Réseaux de SQUIDs à haute température critique pour applications dans le domaine des récepteurs hyperfréquences." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS121/document.

Full text

Abstract:

Les circuits à base de jonctions Josephson comme les filtres à interférences quantiques, nommés SQIF (Superconducting Quantum Interference Filter), sont des capteurs très sensibles au champ magnétique. Les éléments de base d’un tel circuit sont les SQUID (Superconducting Quantum Interference Device). Aussi performants dans la détection de champ magnétique, ces derniers ne permettent pas de réaliser des mesures absolues. De plus, la nécessité d’un asservissement par une boucle à verrouillage de flux limite la bande de fréquence d’utilisation. Les SQIF n’ont pas cette limitation et permettent les mesures absolues de champ magnétique. Leur capacité à combiner une taille compacte, une très bonne sensibilité et une large bande fréquentielle d’utilisation fait de ces capteurs des sérieux concurrents aux antennes classiques. Des mesures expérimentales avec des SQIF HTS faits par la technologie de jonctions irradiées montrent qu’il est possible de réaliser la détection de signaux radiofréquence jusqu’au moins 5 GHz en configuration de champ proche et en environnement non magnétiquement blindé. Afin de réaliser l’adaptation d’impédance et améliorer les caractéristiques DC de ces capteurs, différentes géométries de réseau sont étudiées. L’étude permet de définir les paramètres d’importance dans la conception de circuits SQIF afin de réaliser des détecteurs radiofréquence performants
Superconducting Quantum Interference Filters (SQIF) are Josephson circuits very sensitive to magnetic field. They are made of arrays of SQUIDs (Superconducting QUantum Interference Devices). The latter, when operated alone, doesn’t allows absolute magnetic field measurements and have to be used with a flux locked loop, which limits the frequency band of operation. SQIFs doesn’t have such limitations and they offer the possibility to combine compactness, sensitivity and wide band of frequency at the same time. Because of this, SQIFs are serious concurrents to classical antennas in microwave applications. Experimental measurements made with HTS SQIFs and irradiated Josephson junctions shows that it is possible to detect microwave signals up to 5 GHz in an unshielded environment, and near field configuration. To perform better detection, it is important to match impedance of circuits. In the goal to do this and to improve DC characteristics, different network geometries are studied. At the end this study allows to define which parameters are important in the design of SQIF circuits for microwave detection

APA, Harvard, Vancouver, ISO, and other styles

37

Lemattre, Thibault. "Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2013. http://tel.archives-ouvertes.fr/tel-00916583.

Full text

Abstract:

La conception d'architectures opérationnelles d'un système de contrôle-commande est une phase très importante lors de la conception de systèmes de production d'énergie. Cette phase consiste à projeter l'architecture fonctionnelle sur l'architecture organique tout en respectant des contraintes de capacité et de sûreté, c'est-à-dire à allouer les fonctions de commande à un ensemble de contrôleurs tout en respectant ces contraintes. Les travaux présentés dans cette thèse proposent : i)une formalisation des données et contraintes du problème d'allocation de fonctions - ii)une méthode d'allocation, par recherche d'atteignabilité, basée sur un mécanisme d'appel/réponse dans un réseau d'automates communicants à variables entières - iii)la comparaison de cette méthode à une méthode de résolution par programmation linéaire en nombres entiers. Les résultats de ces travaux ont été validés sur des exemples de taille réelle et ouvrent la voie à des couplages entre recherche d'atteignabilité et programmation linéaire en nombres entiers pour la résolution de problèmes de satisfaction de systèmes de contraintes non linéaires.

APA, Harvard, Vancouver, ISO, and other styles

38

Ehsan, Muhammad. "Couche MAC adaptative pour les applications critiques de surveillance à base d’un réseau de capteurs d’image." Thesis, Pau, 2015. http://www.theses.fr/2015PAUU3005/document.

Full text

Abstract:

Les réseaux de capteurs sans fil sont conçus dans le but de remplir différentes tâches de surveillance dans des conditions environnementales variées. Ces petits appareils électroniques sont capables de détecter, traiter et transmettre des données environnementales avec des communications multi-sauts et peuvent par conséquent aussi se coordonner. En même temps, ces dispositifs ont des ressources limitées (mémoire, capacités de calcul) et doivent fonctionner le plus souvent sur des batteries. C’est pour ces raisons que les recherches menées dans le domaine des réseaux de capteurs possèdent naturellement une forte partie qui concerne la réduction de la consommation d’énergie et une auto-organisation du réseau.Nos recherches considèrent les applications critiques de surveillance. Ces applications peuvent avoir des exigences très différentes des réseaux de capteurs traditionnels. De plus, nous utilisons des capteurs images, dont l’activité est définie en fonction de la criticité de l’application. Un ordonnancement basé sur la criticité permet de définir des nœuds sentinelles qui possèderont une vitesse de capture plus grande, cela afin d’avoir une probabilité plus élevée de détecter des intrusions et d’alerter leurs nœuds voisins. Au niveau de la couche de contrôle d’accès au medium (couche MAC), les approches alternant activité-sommeil (consistant à allumer et éteindre la radio de manière cyclique) sont utilisées pour préserver l’énergie et prolonger la durée de vie du réseau. Cependant, tout en conservant l’énergie, les applications critiques de surveillance ne doivent pas compromettre la qualité de la surveillance et le réseau doit être toujours en mesure de propager rapidement les messages d’alerte. Notre but est de définir un protocole MAC qui pourrait réduire la latence de propagation d’alerte ainsi que de prolonger la durée de vie du réseau. Nous proposons tout d’abord une approche originale pour déterminer dynamiquement la durée de la période d’activité radio des nœuds pour augmenter la probabilité de propager rapidement les alertes. Les résultats des simulations ont confirmé que notre approche réussit à améliorer la réactivité du système par rapport à une approche statique. En même temps, notre proposition permet de réduire considérablement la consommation d’énergie du réseau. Ensuite, nous avons implémenter notre approche sur des capteurs réels et les résultats obtenus sont très proches des résultats de simulation
Wireless Sensor Networks (WSNs) are designed for the purpose of completing different monitoring tasks under various environmental conditions. The small electronic devices called sensors are capable of sensing, processing and communicating the environmental data through multi-hop communication and coordination. These devices have limited resources (memory, computing capabilities) and usually run on batteries. This is the reason the research on wireless sensor networks have been focused on energy efficiency and self-organization of the network. We consider mission-critical surveillance applications in our research work. These applications can have different requirements than traditional WSNs. In addition, we use image sensor nodes, whose activity is defined based on criticality of the application. The criticality-based scheduling scheme defines sentry nodes with faster capture rates, to have higher probability to detect intrusions and to alert neighbor nodes. At Medium Access Control (MAC) Layer level, duty cycled approaches are used to preserve energy and prolong the network lifetime. However, while conserving energy, mission-critical surveillance applications cannot compromise on quality of surveillance and the network should still be able to quickly propagate the alert messages. In this thesis, we propose a low latency, energy efficient adaptive MAC protocol. We first propose an original approach to dynamically determine the duty-cycle length of sensor nodes to increase the probability of quick propagation of alerts. Simulation results confirmed that our approach succeeds in improving the system responsiveness when compared to a static duty-cycling approach. At the same time, our proposition considerably reduces the energy consumption of the network. Then, we implemented our approach on sensor node hardware and results were found to be very close to our simulation results

APA, Harvard, Vancouver, ISO, and other styles

39

Bianchini, Samuel. "Opérer dans la réalité médiatique : pour une pratique critique des images interactives." Paris 1, 2004. http://www.theses.fr/2004PA010612.

Full text

Abstract:

En quoi l'image interactive, dans ses pratiques individuelles et collectives, implique-t-elle de nouvelles modalités de représentation, de production èt d'usage, et change-t-elle nos relations à une réalité de plus en plus médiatisée par les technologies ? Avec l'interactivité, nous devenons "utilisateurs" des médias et en particulier des images. Activer l'image, s'activer devant l'image: la représentation n'a plus seulement lieu à l'écran, mais se joue également en deçà et au-delà, dans le rapport aux images et dans les relations que celles-ci médiatisent. Couplant opération et représentation, réalité physique et réalité symbolique, à la confluence des dispositifs et usages, qu'elle soit en local ou en réseau, l'image interactive configure un milieu, une mise en scène de rapports de forces, de participations affectives et effectives, un théâtre d'opérations. Situé, localisé, interconnecté, partagé, distribué ou disséminé, ce dernier définit une réalité médiatique à investir.

APA, Harvard, Vancouver, ISO, and other styles

40

Pham, Thi Thu Hà. "Influences de la production décentralisée sur la gestion des infrastructures critiques des réseaux de puissance." Grenoble INPG, 2006. http://www.theses.fr/2006INPG0123.

Full text

Abstract:

L’objectif de ce travail est, partant des analyses des impacts des Générations d'Energie Dispersée (GED) dans les réseaux électriques, de proposer une nouvelle méthodologie de gestion des situations critiques du système à fort taux de pénétration de production décentralisée. Cette nouvelle méthodologie s’appuie sur le concept d’îlotage intentionnel à multiples niveaux de tension à l’aide des GED. L'idée développée a été d'intégrer de nouveaux modes d'exploitation des GED aux plans d'actions du système électrique, ceci en cas de grande perturbation et même de panne d'électricité à grande échelle, en utilisant différentes techniques d'optimisation multi-objectifs sous contraintes à multi-niveaux de tension. Cette méthode a été appelé Deep Build Together pour considérer une reconstruction simultanée du système dans les deux sens descendent et ascendant : du transport vers la distribution et de la distribution vers le transport. Grâce à cela, lors d'un incident généralisé, beaucoup de clients pourront être réalimentés plus tôt (notamment les clients prioritaires) et la durée de la reconstitution du système sera réduite. Plusieurs aspects techniques ont été analysés pour justifier la faisabilité de cette méthodologie. Une comparaison paramétrique, en fonction du taux de pénétration de GED, entre la nouvelle stratégie Deep Build Together et celle qui est actuellement utilisée, a permis une première validation de cette nouvelle stratégie de gestion des situations critiques
The objective of this thesis is, based on the analyses of the dispersed generation (DG) impacts in the electrical networks (transmission and distribution), to propose a new methodology of management of the critical situations in the power system with large scale of decentralized production penetration. This new methodology based on the intentional islanding concept at multiple levels of voltage using the DG. The developed idea was to integrate the new DG's exploitation modes in the action plans of electrical power system in the great disturbance case or total black-out by using different multi-level and multi-objective optimization techniques with constraints. This method is named Deep Build Together for considering the rebuilding simultaneous in upstream and downstream processes by transmission and distribution networks. Thereby, in case of major failure, many customers (in particular the priority customers) would be restored earlier and the system restoration duration would be reduced. Numerous technical aspects had been analyzed to justify the feasibility of this methodology. A parametrical comparison, in function of DG penetration rate, between the proposed strategy Deep Build Together and the one which is actually used, allowed the first validation of this new strategy of management of the critical situations

APA, Harvard, Vancouver, ISO, and other styles

41

De, Albuquerque Silva Iryna. "Implantation certifiable et efficace de réseaux de neurones sur des systèmes embarqués temps-réel critiques." Electronic Thesis or Diss., Toulouse, ISAE, 2024. http://www.theses.fr/2024ESAE0033.

Full text

Abstract:

Contexte. Le monde de l’aéronautique envisage l’utilisation d’algorithmes d’apprentissage automatique, et en particulier de réseaux de neurones, pour faciliter et améliorer des tâches telles que la navigation, la maintenance prédictive et le contrôle du trafic aérien. Toutefois, leur utilisation dans des systèmes critiques soulève de nombreuses questions de sécurité et de conformité aux exigences de certification. Ces dernières visent à garantir la correction de la conception jusqu’à l’implantation de la fonction attendue. Récemment de nouvelles directives, telles que le standard ARP6983 [152], sont en cours d’écriture pour compléter les textes réglementaires existant afin de permettre l’introduction d’algorithmes d’apprentissage automatique dans des systèmes avioniques. Ces directives complètent notamment la DO-178C [67], le standard de référence pour le développement de logiciels. Cette thèse étudie l’implantation en temps réel et en toute sécurité de réseaux de neurones feed-forward sur des systèmes avioniques embarqués. En particulier, nous nous concentrons sur le modèle de réseau neuronal entrainé et vérifié hors ligne, appelé modèle d’inférence. L’objectif est de définir une approche de développement logiciel de modèles d’inférence en conformité avec exigences de l’avionique.Approche. Nous avons défini un certain nombre d’objectifs nécessaires pour garantir l’implantation sûre et correcte d’un modèle d’inférence. Ces objectifs sont un sous-ensemble de ceux listés dans les normes de certification, mais ont été identifiés comme difficiles à atteindre pour le processus traditionnel de développement de logiciels d’apprentissage automatique et sont cohérents avec les directives en cours d’élaboration, à savoir les feuilles de route de l’EASA et la norme ARP6983. Plus précisément, les objectifs sélectionnés dans la thèse sont (i) la description précise et non ambigüe de la fonctionnalité du modèle d’inférence, (ii) la préservation de la sémantique et la traçabilité de la description du modèle d’inférence jusqu’à l’exécutable final, (iii) la prédictibilité temporelle de l’implantation, et (iv) une utilisation efficace des ressources disponibles.Contributions. Pour implanter correctement un modèle d’inférence, il est important de définir formellement sa sémantique. Cela correspond à la première contribution de la thèse et nous avons formalisé chaque couche du modèle d’inférence sous forme de fonctions mathématiques. Ensuite, nous avons développé ACETONE, de l’anglais “Avionics C code generator for Neural Networks”. ACETONE est un framework qui, à partir de la description d’un modèle d’inférence, génère automatiquement un code C sémantiquement équivalent et prédictible. Nous avons évalué le framework sur un ensemble réaliste de cas d’utilisation pour valider l’approche en regard des objectifs de certification choisis. En outre, nous avons comparé l’approche à des outils de l’état de l’art. Une fois le framework défini et disponible sur GitHub, nous avons choisi un axe d’amélioration et d’optimisation de code pour accélérer les temps de calcul. Plus précisément nous nous sommes concentrés sur les convolutions. L’idée est de reprendre les travaux classiques qui transforment une convolution en une multiplication matricielle. Cependant, les routines d’algèbre linéaire disponibles sur étagère ne sont pas compatibles avec les exigences de l’avionique. C’est la raison pour laquelle, nous avons proposé notre propre implantation prédictive, traçable et efficace d’un algorithme de multiplication matrice-matrice (GEMM) par blocs. Nous avons montré comment configurer un tel algorithme pour une cible donnée tout en proposant une méthode formelle de calcul du nombre d’accès à la mémoire et du nombre de cache misses, ce qui ouvre la voie à une analyse statique du WCET
Context. Aeronautics envisions the use of machine learning (ML) algorithms, and in particular neural networks, to help and improve tasks such as navigation, predictive maintenance, and air traffic control. However, their use in safety-critical products raises several questions regarding compliance with normativerequirements, which aim to guarantee correctness from the design to the implementation of the intendedfunction. Thus, in order to allow the use of ML-based systems in aeronautics, guidelines, such as theARP6983 standard, are currently being drafted. They complete the DO-178C, the reference guidance for the implementation process of software items. This thesis studies the safe real-time implementation of feed-forward deep neural networks on embedded avionics systems. In particular, we focus on the offline trained and verified neural network model, named inference model. The purpose of this work is then to provide an approach that enables the implementation of the inference model in compliance with avionics requirements.Approach. We define a number of quantifiable objectives necessary to guarantee the inference model’ssafe and correct implementation. These objectives do not represent all the requirements present in nor-mative standards, but are recognized as complex to obtain for the traditional ML software developmentprocess and are in accordance with the guidelines under construction, i.e. EASA roadmaps and the ARP6983 standard. We notably identify certification objectives regarding (i) a precise description of the inference model’s functionality, (ii) the semantics preservation and traceability between the inference model description and the final executable, (iii) the timing predictability of the implementation, and (iv) an efficient usage of the available resources.Contributions. To correctly implement the inference model an important initial requirement is to have its semantics formally defined. Hence, our first contribution concerns the formalization of the semantics of each layer of the inference model as mathematical functions. Afterwards, we proceed to develop ACETONE, which stands for “Avionics C code generator for Neural Networks”. ACETONE is a framework that, from the inference model description, automatically generates a semantically equivalent and predictable C code. We evaluate the framework on a realistic set of use cases to verify the compliance of our approach with the derived certification objectives. Moreover, we are able to compare the proposed approach against two state-of-the-art inference tools. Lastly, we work on improving the code generated by ACETONE, notably concerning the implementation of resource-expensive functions, in particular of the Convolutional layer. We focus on a Convolutional layer optimization that interprets the convolution operator as a matrix-matrix multiplication. However, state-of-the-art implementations of linear algebra routines rely on libraries that are not compatible with avionics requirements. We thus propose a predictable and traceable yet efficient implementation of a blocked general matrix-matrix multiplication (GEMM) algorithm. We then provide a set of rules for tuning the algorithm’s blocking parameters and predict with precision its number of memory accesses and cache misses, which paves the way for a static WCET analysis

APA, Harvard, Vancouver, ISO, and other styles

42

Luck, Jean-Marc. "Propriétés critiques de systèmes désordonnés." Paris 6, 1986. http://www.theses.fr/1986PA066122.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Youssef, Anis. "Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2005. http://tel.archives-ouvertes.fr/tel-00111808.

Full text

Abstract:

Vu le développement important des micro-systèmes, leur utilisation sous forme de nappes dans les systèmes de commande-contrôle critiques est une vraie opportunité. Cela soulève néanmoins des défis, parmi lesquels, la définition d'un système de communication à haut niveau d'intégrité.
L'étude que nous avons effectuée sur des réseaux standard montre que les protections classiques à base de codes CRC ne permettent pas d'obtenir le niveau d'intégrité visé.
Pour l'atteindre, nous avons proposé une solution originale - fonction de contrôle évolutive - qui tire profit du fait que, pour les systèmes de commande-contrôle envisagés (systèmes à dynamique lente), l'intégrité est à considérer sur un lot de messages et non sur un seul message. La solution proposée a ensuite été validée via des simulations Matlab-Simulink.
Le cas d'étude utilisé est celui de systèmes de commande de vol du futur, en vue de pouvoir commander des nappes de milliers de micro-surfaces tels que des micro-spoilers.

APA, Harvard, Vancouver, ISO, and other styles

44

Le, Van Viet. "Optimisation temporelle des réseaux programmables à base de LUT." Phd thesis, Grenoble INPG, 1996. http://tel.archives-ouvertes.fr/tel-00345358.

Full text

Abstract:

Cette thèse a comme objectif l'optimisation temporelle au cours du processus de synthèse des réseaux programmables à base de LUT, en particulier ceux de la famille Flex8000 d'Altera et de la famille XC4000 de Xilinx. L'optimisation temporelle consiste en deux étapes essentielles: la détection de la zone critique et la décomposition technologique orientée vitesse dans cette zone. Les nouvelles notions de zone sensible et de zone critique sont utilisées pour rechercher la zone dont l'optimisation temporelle devrait satisfaire les demandes de l'utilisateur. Un modèle prédictif réaliste du délai des chemins dans un réseau à base de LUT a été proposé. La fonction de coût proposée, exprimant bien la relation entre les entrées/sorties critiques, non critiques ou sensibles, permet à la décomposition technologique orientée vitesse d'optimiser efficacement la zone nécessaire, en augmentant très peu la surface. De plus, les réinjections contrôlées des sous-fonctions booléennes appliquées dans la zone critique permettent d'obtenir des zones de travail, destinées à une resynthèse, avec une taille convenant à la technologie considérée. L'approche proposée pour la décomposition technologique orientée vitesse en tenant compte des contraintes de l'utilisateur s'est avérée rapide et donne de bons résultats. Le gain en vitesse de l'optimisation temporelle par rapport à l'option surface est en moyenne de 32% avec une augmentation de surface de 30% seulement. Ce travail a fait l'objet d'un transfert technologique vers un système industriel de CAO, appelé ASYL+. La qualité des résultats a été démontrée en comparaison avec des outils commerciaux tels que Exemplar, Maxplus2 de la société Altera et XACT de Xilinx. Les tests sur de nombreux benchmarks donnent un gain moyen en performance temporelle d'ASYL+ sur Exemplar, Maxplus2 et XACT respectivement de l'ordre de 28%, 18% et 17%

APA, Harvard, Vancouver, ISO, and other styles

45

Diop, El hadji Serigne Mamour. "Optimisation de la transmission d'images dans les réseaux de capteurs pour des applications critiques de surveillance." Thesis, Pau, 2014. http://www.theses.fr/2014PAUU3011/document.

Full text

Abstract:

L’émergence de petites caméras CMOS et de microphones MEMS, à coût et puissance réduits, a contribué au développement d’une technologie permettant la transmission de flux multimédia (audio, image, vidéo) : les réseaux de capteurs multimédia. Cette technologie, offrant de nouvelles perspectives d’applications potentielles où la collecte d’informations visuelles et/ou acoustiques apporte une plus- value certaine, suscite un intérêt manifeste. Avec des données multimédia, la qualité de service devient désormais une exigence fondamentale pour la transmission dans un environnement contraint en ressources. Dans le contexte spécifique de cette thèse, nous considérons un déploiement par voie aérienne d’une grande quantité de capteurs image pour des applications critiques de surveillance telles que la détection d’intrusion ou des opérations de recherche et sauvetage. La prise en compte de la criticité des applications constitue un aspect important de cette thèse, novateur par rapport aux contributions déjà effectuées dans le domaine. Nos travaux se fondent sur une méthode d’ordonnancement adaptatif de l’activité des capteurs image qui fournit, pour chacun d’entre eux, son ensemble de cover-sets. La détection d’un événement dans le réseau déclenche la transmission d’une large quantité d’informations visuelles, émanant de plusieurs sources pour résoudre les ambiguïtés. L’objectif de cette thèse est d’optimiser cette transmission simultanée d’images causant des désagréments sur le réseau. Nous avons tout d’abord proposé une stratégie de sélection des cover-sets pertinents à activer pour une transmission efficace des images capturées. Cette stratégie, basée sur des critères d’état et de voisinage, assure un compromis entre autonomie et criticité. Une extension multi-chemin de GPSR assure la remontée des images émises des sources sélectionnées au puits. Une seconde contribution, également une approche de sélection, se fonde sur les informations de chemins à 2 sauts pour la sélection des cover-sets. Contrairement à la précédente, elle accorde une priorité à la criticité par rapport à la préservation de l’énergie, même si cette préservation est faite de manière indirecte. Un protocole de routage multi-chemin T-GPSR essentiellement basé sur les informations à 2 sauts est associé à la seconde approche de sélection. Une étude de performances de la mobilité du puits sur les propositions basées sur les informations à 2 sauts constitue notre troisième contribution
Recent advances of inexpensive and low-power CMOS cameras and MEMS mi- crophones have led to the emergence of Wireless Multimedia Sensor Networks (WMSNs). WMSNs promise a wide spectrum of potential applications which require to ubiquitously capture multimedia content (visual and audio information). To support the transmission of multimedia content in a resource constrained environment, WMSNs may require a certain level of quality of service (QoS) in terms of delay, bandwidth, jitter, reliability, quality level etc. In this thesis, we consider Wireless Image Sensor Networks (WISNs) where sensor nodes equipped with miniaturized visual cameras to provide accurate information in various geographical parts of an area of interest can be thrown in mass for mission-critical applications such as intrusion detection or search & rescue. An innovative and important aspect of this thesis is to take into account the criticality of applications. The network adopts an adaptive scheduling of image sensor node’s activity based on the application criticality level, where each node computes its cover-sets. So, event detection triggers the simulataneous transmission of a large volume of visual data from multiples sources to the Sink. The main objective of this thesis is to optimize this simultaneous transmission of images that can degrade network performance. With this goal in mind, we first proposed a multi-criteria approach to select the suitable cover-sets to be activated for reliable transmission of images in mission-critical applications. The proposed approach takes into account various parameters that affect the image quality at the Sink in a multi-hop transmission network and guarantees a compromise between autonomy and criticality. A modified version of GPSR routing protocol supporting the transmission of multimedia streams ensures the transfer of images from selected sources to the Sink. The second contribution consists in an optimized selection strategy based on 2-hop neighborhood information to determine the most relevant cover-sets to be activated to increase reliability for image transmission. This selection approach prioritizes the application’s criticality. A multipath extension of GPSR, called T-GPSR, wherein routing decisions are based 2-hop neighborhood information is also proposed. A performance study of the sink mobility on proposals based on 2-hop information is our third contribution

APA, Harvard, Vancouver, ISO, and other styles

46

Nouvel, Maguelone. "Les idées sociales de Frédéric Le Play : réseaux de diffusion, réception critique et incidences politiques sous le Second Empire." Montpellier 3, 2006. http://www.theses.fr/2006MON30020.

Full text

Abstract:

Les premières années de la Troisième République ont jeté le discrédit sur le Régime impérial et les penseurs proches du pouvoir. Depuis lors, l’œuvre et le parcours de Frédéric Le Play (1806-1882) gardent encore des pans d’oubli. Pourtant, sous le règne de Napoléon III, celui-ci a connu un parcours public et intellectuel exceptionnel. Polytechnicien, Conseiller d’Etat, puis sénateur, il a acquis la confiance de l’Empereur, et fréquenté les élites les plus influentes de son époque. Observateur méthodique et « théoricien » engagé, il a publié Les Ouvriers Européens (1855) et La Réforme sociale en France (1864), deux ouvrages de science et de réforme qui en leur temps ont fait grand bruit. Pionnier en matière d’études de terrain, Frédéric Le Play a forgé par induction une « théorie » sociale originale destinée à mettre la France sur la voie de la réforme. Englobant toutes les facettes du corps social et politique, ses propositions ont amené les représentants des différents courants de pensée à se positionner. Partisan de la loi morale et de la famille traditionnelle, du patronage et de la liberté testamentaire, de la décentralisation, l’auteur est apparu tout d’abord comme un conservateur aux yeux des hommes de son temps ; mais favorable au libéralisme économique et aux libertés « fondamentales », il a semblé vouloir inscrire sa pensée dans la modernité. De ce fait, les controverses portant sur la pertinence et l’originalité de son projet se sont avérées riches et nombreuses. Quel accueil ses contemporains ont-ils réservé à ses idées sociales ? Quelle portée ces dernières ont-elles eu en leur temps ? De quel réseau de diffusion le penseur a-t-il bénéficié ? Dans quelle mesure les réactions contemporaines ont-elles traduit l’originalité de sa pensée sociale ? Voici les questions fondamentales auxquelles ce travail vise à répondre à la lumière de sources multiples et inédites
The first years of the Third republic threw disrepute onto the Imperial Regime and onto the thinkers who were associated to it. From then on and after so many vicissitudes Frédéric Le Play’s work and career are still partially unknown. Nevertheless, this engineer, original thinker and relentless investigator knew an exceptional public and intellectual vivid life under the reign of Napoleon 3rd. Graduated from Polytechnique High School, State Counsellor then Senator, he gained the Emperor’s confidence and saw a good deal of the élite of his time. As a methodical observer and a committed theorist he published The European Workers in 1855 and The Social Reform in France in 1864, two scientific works that aimed at reforms and made a stir at that time. Frédéric Le Play, a pioneer in terms of empirical studies, made up an original social theory that aimed at launching France onto of a path reforms. Gathering all the facets of the social and political life his stands raised his contemporaries’ attention and urged the leaders of the main streams of thought to take a stand. As an advocate of moral standards, of patronage, of devolution, of the traditional family and of the freedom to make a will, the author was first seen as conservative. Though, he was in favor of an economical liberalism and fundamental liberties and as such seems to have intended to have himself registered as a modern thinker. And so controversies as to the relevance and originality of his work have been far and numerous. How did his contemporaries react to his social ideas ? What was their scope at that time ? Which network did the author benefit from as to his publication ? How far did his contemporaries’ reactions underline the originality of his social thought ? These are the fundamental questions that this work aims at answering to with the help of many and original sources

APA, Harvard, Vancouver, ISO, and other styles

47

Sanchez, Torres José Libardo. "Vulnérabilité, interdépendance et analyse des risques des postes sources et des modes d’exploitation décentralisés des réseaux électriques." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENT104/document.

Full text

Abstract:

Au vu de l’utilisation croissante des technologies de l’information et de la communication dans les réseaux électriques, il est indispensable d’étudier l’étroite liaison entre ces infrastructures et d’avoir une vision intégrée du système couplé. Cette thèse porte ainsi sur la modélisation des systèmes multi-infrastructures. Cela inclut les interdépendances et les trajectoires de défaillances de type modes communs, aggravations et cascades. Il est en effet nécessaire d’identifier les points de faiblesse qui peuvent déclencher une ou de multiples défaillance(s), se succéder en cascade au travers de ces infrastructures liées et ainsi entrainer des défaillances inattendues et de plus en plus graves dans des autres infrastructures. Dans cette optique, différents modèles basés sur la théorie des Réseaux Complexes sont développés afin d’identifier les composants les plus importantes, et pourtant critiques, dans le système interconnecté. Un des principaux verrous scientifiques levé dans cette thèse est relatif au développement d'un modèle mathématique « unifié » afin de représenter les comportements des multiples infrastructures non-homogènes qui ont des interdépendances asymétriques
In view of the increasing use of Information and Communication Technol-ogies in power systems, it is essential to study the interdependencies between these coupled heterogeneous systems. This thesis focuses on the modeling of multi- infrastructure systems. This includes interdependencies and the three major failures families: common mode, escalat-ing and cascading. It is indeed necessary to identify the weaknesses that can trigger one or multiple failure(s) and cascade through these interdependent infrastructures, causing unex-pected and increasingly more serious failures to other infrastructures. In this context, different approaches, based on the theory of Complex Networks, are developed to identify the most critical components in the coupled heterogeneous system. One of the major scientific barriers addressed in this thesis is the development of a unified mathematical model to represent the behavior

APA, Harvard, Vancouver, ISO, and other styles

48

Merzoug, Ibrahim. "Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone." Thesis, Montpellier, 2018. http://www.theses.fr/2018MONTS001/document.

Full text

Abstract:

La méthodologie HILECOP a été élaborée pour la conception formelle de systèmes numériques complexes critiques ; elle couvre donc l'intégralité du processus, allant de la modélisation à la génération de code pour l’implantation sur la cible matérielle (composant électronique de type FPGA), en passant par la validation formelle. Or, si le modèle formel, les réseaux de Petri en l'occurrence, est par essence asynchrone, il est néanmoins exécuté de manière synchrone sur la cible. De fait, les approches d'analyse usuelles ne sont pas adaptées au sens où elles construisent des graphes d'états non conformes à l'évolution d'états réelle au sein de la cible. Dans l'objectif de gagner en confiance quant à la validité des résultats de l’analyse formelle, ces travaux visent à capturer les caractéristiques dites non-fonctionnelles, à les réifier sur le modèle et enfin à considérer leur impact à travers l’analyse. En d’autres termes, l’objectif est d’améliorer l’expressivité du modèle et la pertinence de l'analyse, en considérant des aspects comme la synchronisation d'horloge, le parallélisme effectif, le risque de blocage induit par l'expression conjointe d'un événement (condition) et d'une fenêtre temporelle d'occurrence, sans omettre la gestion des exceptions. Pour traiter tous ces aspects, nous avons proposé une nouvelle méthode d'analyse pour les réseaux de Petri temporels généralisés étendus interprétés exécutés en synchrone, en les transformant vers un formalisme équivalent analysable. Ce formalisme est associé avec une sémantique formelle intégrant toutes les aspects particuliers de l'exécution et un algorithme de construction d'un graphe d'états spécifique : le Graphe de Comportement Synchrone. Nos travaux ont été appliqués à un cas industriel, plus précisément à la validation du comportement de la partie numérique d'un neuro-stimulateur
The HILECOP methodology has been developed for the formal design of critical complex digital systems; it therefore covers the entire design process, ranging from modeling to code generation for implementation on the hardware target (FPGA type electronic component), via formal validation. However, if the formal model, the Petri nets in this case, is inherently asynchronous, it is nevertheless executed synchronously on the target. In fact, the usual analysis approaches are not adapted in the sense that they construct state graphs that do not conform to the real state evolution within the target. In order to gain confidence in the validity of the results of the formal analysis, this work aims to capture the so-called non-functional characteristics, to reify them on the model and finally to consider their impact through the analysis.In other words, the aim is to improve the expressiveness of the model and the relevance of the analysis, considering aspects such as clock synchronization, effective parallelism, the risk of blocking induced by the expression of an event (condition) and a time window of occurrence, without omitting the management of exceptions.To deal with all these aspects, we have proposed a new method of analysis for extended generalized synchronous executed time Petri nets, transforming them into an analysable equivalent formalism. This formalism is associated with a formal semantics integrating all the particular aspects of the execution and dédicated state space construction algorithm: the Synchronous Behavior Graph.Our work has been applied to an industrial case, more precisely to the validation of the behavior of the digital part of a neuro-stimulator

APA, Harvard, Vancouver, ISO, and other styles

49

Condamine, Romain. "Charles Michel-Ange Challe (1716-1778) : peintre d’histoire et dessinateur de la Chambre et du Cabinet du Roi. Mobilité sociale et professionnelle d’un artiste au XVIIIe siècle." Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUL013.

Full text

Abstract:

Issu d’une famille d’artisans parisiens, loin des dynasties d’artistes qui émaillent l’époque moderne, Charles Michel-Ange Challe (1716-1778), peintre d’histoire, professeur de géométrie et de perspective à l’Académie royale, puis dessinateur de la Chambre et du Cabinet du roi, témoigne d’une émancipation professionnelle caractérisée. Parallèlement, la trajectoire personnelle de l’artiste, né de parents fort modestes, atteste une mobilité sociale certaine, marquée par nombre de reconnaissances tels que ses appartenances académiques, ses liens privilégiés avec la famille Nattier et la progression remarquable de sa situation économique, culturelle et sociale. Ponctué d’autant de chaos que de victoires, le parcours de Michel-Ange Challe, tantôt agissant, subordonné, contraint ou émancipé, éclaire à de nombreux égards, la situation des artistes parisiens au milieu du XVIIIe siècle
Charles Michel-Ange Challe (1716-1778) began as an History painter, a professor of geometry and perspective at the Royal Academy in Paris, before being appointed as Dessinateur de la Chambre et du Cabinet du roi. He was born among a family of Parisian craftsmen, with no link with the numerous dynasties of artists flourishing during this era. The way he pursued his life attest to his outstanding professional emancipation. At the same time, the personal life of the artist, whose background was very modest, attest to a certain social mobility, marked by many recognitions such as his academic affiliations, his links with the Nattier family and the exceptional progress of his economic, cultural and social situation. Punctuated by as many chaos as victories, the career of Michel-Ange Challe, alternately acting, subordinate, forced or emancipated, illustrate in many ways the situation of the parisian artists in the mid of the 18th century

APA, Harvard, Vancouver, ISO, and other styles

50

Burdin, Sébastien. "Le réseau Kondo à basse température : du liquide de Fermi au liquide de spin." Université Joseph Fourier (Grenoble), 2001. http://www.theses.fr/2001GRE10101.

Full text

Abstract:

Cette thèse est organisée autour d'une problématique centrale : l'étude théorique de l'effet Kondo dans les fermions lourds, lorsque les ions magnétiques sont en forte concentration. Dans une première partie, l'influence sur le réseau Kondo, d'une variation du nombre d'électrons de conduction est étudiée à basse température (problème de l'épuisement). Cet effet peut s'observer expérimentalement sur des composés de Cérium ou d'Uranium, dont la température de cohérence peut être bien plus petite que la température de Kondo à une impureté. Par des approches analytiques et numériques, le problème est résolu dans la limite "grand-N", où N est le nombre de composantes du spin effectif. Alors que les modèles à une seule impureté sont caractérisés à basse température par une unique échelle d'énergie Tk, cette thèse confirme l'existence, pour le réseau Kondo, d'une deuxième échelle T*, caractéristique de l'apparition du comportement de liquide de Fermi, et définie à partir des propriétés physiques du système (thermodynamiques, magnétiques et de transport). Dans la deuxième partie, les effets du désordre et de la frustration magnétique du réseau Kondo sont étudiés analytiquement, dans le formalisme de la théorie du champ dynamique moyen, en considérant la limite "grand-N". Un point critique quantique (QCP) est obtenu, entre un régime de liquide de Fermi lourd et un régime de liquide de spin. Les propriétés physiques du système sont calculées dans la phase Kondo, qui présente une très forte diminution de T* et de Tk à l'approche du QCP. Ce résultat est à corréler avec la forte masse effective observée expérimentalement pour le composé LiV2O4. Enfin, la troisième partie présente une étude préliminaire et les étapes principales du calcul permettant de déterminer numériquement le diagramme de phase magnétique du modèle d'Anderson périodique, par la méthode du champ dynamique moyen
This thesis revolves around a main subject : the theoretical study of the Kondo effect in heavy fermions when the magnetic impurity concentration is high. In the first part, the influence of the variation of the concentration of conducting electrons on the Kondo lattice is studied at low temperature (exhaustion problem). This effect can be observed experimentaly in some Cerium and Uranium compounds, whose coherence temperature can be considerably small compared to the predictions of single impurity models. The study is made both analyticaly and numericaly in the "large-N" limit, where N is the number of spin components. Whereas the single impurity models are caracterised at low temperature by a single energy scale, Tk, this thesis confirms the existence for the Kondo lattice of a second scale T*, caracterising the appearance of the Fermi liquid behavior. In the second part, the effects of disorder and magnetic frustration are studied analyticaly, within the dynamical mean field theory formalism, in the "large-N" limit. A quantum critical point (QCP) is obtained between a heavy Fermi liquid regime and a spin liquid regime. The physical properties of the system are computed in the Kondo phase. In particular, a strong decrease of T* and Tk is obtained in the vicinity of the QCP. This result is correlated with the large effective mass that has been experimentaly mesured for the compound LiV24. Finaly, the third part presents a preliminary study and the outline of the computation procedure leading to the numerical determination of the magnetic phase diagram of the periodic Anderson Model, using the dynamical mean field theory method

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Réseau critique'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles