Literatura académica sobre el tema "États de graphes"

Les trois auteures de cet article sont en charge du programme « Unfolding Disability Futures » à Chicago qui comporte un cycle de performances et une exposition d’art multimédia. Maggie Bridger, chercheuse et danseuse, Sydney Erlikh, chercheuse, et Amanda Lautermilch, curatrice, proposent une réflexion sur la manière dont la professionnalisation artistique se trouve transformée par les pratiques qui intègrent la dimension de handicap. Les auteures reviennent en détail sur l’expérience menée à Chicago en 2022. Examinant les pièges d’une production artistique incluant le handicap (« Disability art »), l’article insiste sur l’importance du mentorat intergénérationnel, inter-handicap et intergenre. En introduisant les notions de durabilité, d’accès (intentionnel et multiforme) et d’éthique du soin, les auteures nous informent sur les conditions réservées aux artistes en situation de handicap aux États-Unis et nous invitent à faire l’expérience d’une performance inédite dans un espace exceptionnel.

<p style="text-align: justify;">Des moûts, obtenus à partir de raisins « Pedro Ximénez » présentant des états de maturité différents, sont fermentés à différentes températures. Les données analytiques et les dénombrements de levures montrent que les températures comprises entre 20°C et 25°C sont les plus adaptées pour l'élaboration, à partir de ce cépage, de vins riches en alcool.</p><p style="text-align: justify;">+++</p><p style="text-align: justify;">Musts, obtained from « Pedro Ximénez » grapes, at different maturity levels, are fermented at various temperatures. Analytical data and yeast counting show that temperatures between 20 and 25°C are the best for the elaboration of wines with a high alcoholic content from this variety of grape.</p>

Face aux graphies non-normées dans les chaines d’accords chez les apprentis scripteurs, (psycho)linguistes et didacticiens s’interrogent normalement sur les raisons de ces écarts morphographiques ou sur la manière dont l’enseignement de l’orthographe grammaticale pourrait être amélioré pour garantir un meilleur résultat. Nous prenons pour notre part le contrepied de cette approche en envisageant ces erreurs récurrentes comme révélatrices de l’intuition des locuteurs sur les véritables fonctionnements de la langue en synchronie. Pour des raisons épistémologiques, il parait dès lors fondamental de différencier les fonctionnements de la langue de ceux du système d’écriture. Pourtant, les grammaires linguistiques continuent de décrire la morphologie de la langue vivante contemporaine à l’aune des principes morphographiques, qui reflètent quant à eux des états de langue disparus. Ainsi en écrivant « les lapin cour vite », le jeune francophone encore épargné par le discours grammatical nous révèle qu’en français contemporain le pluriel des noms a disparu et que le verbe courir, à l’instar de tant d’autres, n’a qu’une seule forme pour les 1re, 2e, 3e et 6e personnes.

Introduction Les responsables de la santé publique offrent un service public important en répondant aux préoccupations du public relativement au cancer et sont souvent appelés à mener des enquêtes sur les tendances des taux d’incidence du cancer et à en communiquer les résultats aux citoyens. Dans le cadre de cette étude, nous avons déterminé les procédures suivies par les responsables de la santé publique au Canada lorsqu’ils enquêtent sur les signalements de grappes de cancer et avons analysé les défis auxquels ils font face pour communiquer les risques aux collectivités. Methods Nous avons mené treize entrevues par téléphone auprès de 15 responsables de différentes administrations canadiennes puis nous en avons effectué une analyse thématique. Nous avons également analysé le contenu de documents procéduraux provenant de cinq provinces. Results Un tiers des provinces et territoires visés par l’étude n’utilisent pas de lignes directrices uniformes pour enquêter sur les signalements de grappes de cancer, un tiers utilisent leurs propres lignes directrices et un tiers les lignes directrices d’autres pays. Chaque administration canadienne a nommé des organismes ou des personnes responsables différents pour enquêter sur les signalements de grappes. Dans la plupart des entrevues, les responsables ont déclaré que l’éducation du public était le principal objectif de la communication des risques pendant une enquête. Dans seulement 4 des 13 entrevues les responsables ont fait état de réactions positives du public après des enquêtes sur des signalements de grappes de cancer. Conclusion Cette étude a mis en lumière des différences dans les pratiques des responsables de la santé publique pour enquêter sur les grappes de cancer présumées. L’établissement de lignes directrices pancanadiennes sur les grappes de cancer pourrait améliorer l’uniformité des procédures entre administrations et offrir de meilleures possibilités de comparaison des réponses aux grappes aux fins d’évaluation. Un système de rapport permettant de suivre les grappes signalées pourrait améliorer le partage de l’information entre les différents chercheurs fédéraux, provinciaux/territoriaux et locaux. Au cours des enquêtes officielles, des approches de communication participative en personne devraient être envisagées pour améliorer la participation des citoyens et gérer les préoccupations des collectivités.

Introduction L’objectif de l’étude était de comparer la santé mentale et les comportements à risque de jeunes Canadiens de familles liées au milieu militaire (« familles de militaires ») et de jeunes Canadiens de familles de civils au sein d’un échantillon récent. Nous avons émis l’hypothèse que les jeunes de familles de militaires auraient une moins bonne santé mentale, une moins grande satisfaction à l’égard de la vie et une plus grande propension à prendre des risques que les jeunes de familles de civils. Méthodologie Dans cette étude transversale, nous avons utilisé les données de l’Enquête sur les comportements de santé des jeunes d’âge scolaire au Canada menée en 2017-2018, dont les participants constituaient un échantillon représentatif des jeunes de la 6e à la 10e années. Les questionnaires utilisés ont permis de recueillir des renseignements sur l’emploi des parents dans l’armée et sur six indicateurs de santé mentale, de satisfaction à l’égard de la vie et de comportements à risque. Nous avons utilisé des modèles multivariés de régression de Poisson avec une variance d’erreur robuste, en pondérant les données de l’enquête et en tenant compte des grappes correspondant aux écoles. Résultats L’échantillon comprenait 16 737 élèves, dont 9,5 % ont indiqué qu’un parent ou un tuteur servait ou avait servi dans l’armée canadienne. Après ajustement pour le niveau scolaire, le sexe et le niveau d’aisance familiale, les jeunes de famille de militaires étaient 28 % plus susceptibles de faire état d’un faible sentiment de bien-être (IC à 95 % : 1,17 à 1,40), 32 % plus susceptibles de faire état de sentiments persistants de désespoir (1,22 à 1,43), 22 % plus susceptibles de faire état de problèmes émotionnels (1,13 à 1,32), 42 % plus susceptibles de faire état d’un faible degré de satisfaction à l’égard de la vie (1,27 à 1,59) et 37 % plus susceptibles de déclarer adopter fréquemment des comportements à risque (1,21 à 1,55). Conclusion Les jeunes de familles de militaires ont déclaré avoir une moins bonne santé mentale et adopter davantage de comportements à risque que les jeunes issus de familles de civils. Les résultats laissent penser qu’il faudrait prévoir un soutien supplémentaire en matière de santé mentale et de bien-être pour les jeunes Canadiens de familles de militaires et qu’il faudrait mener des travaux de recherche longitudinaux pour comprendre les déterminants sous-jacents qui contribuent à ces différences.

International audience ABSTRACT. An effective solution to deal with this dynamic nature of distributed systems is to implement a self-adaptive mechanism to sustain the distributed architecture. Self-adaptive systems can autonomously modify their behavior at run-timein response to changes in their environment. Our paper describes the self-adaptive algorithm that we developed for an existing middleware. Once the middleware is deployed, it can detects a set of events which indicate an unstable deployment state. When an event is detected, some instructions are executed to handle the event. We have proposed a sketch proof of the self-stabilizing property of the algorithm. We have designed a simulator to have a deeper insights of our proposed self-adaptive algorithm. Results of our simulated experiments validate the safe convergence of the algorithm. RÉSUMÉ.Dans cet article, nous nous intéressons aux moyens de rendre le déploiement d’un intergiciel auto-adaptatif. Le type d’intergiciel que nous avons considéré ici est hiérarchique (structure de graphe) et distribué. Les infrastructures de grilles/cloud étant dynamiques (perte et ajout de nœuds),un déploiement statique n’est pas la solution idéale car en cas de panne, il est souvent nécessaire de reprendre tout le processus de déploiement; or cette opération est très coûteuse. Nous avons donc proposé un algorithme auto-stabilisant pour que l’intergiciel puisse retrouver un état stable sans intervention extérieure, au bout d’un temps fini, lorsqu’il est confronté à des pannes transitoires. Pouravoir une idée plus précise des caractéristiques de l’algorithme, nous avons conçu un simulateur. Lesrésultats des simulations montrent qu’un déploiement, sujet à des pannes transitoires, s’auto-adapte.

Les dynamiques causales de graphes sont une double extension des automates cellulaires : la grille sous-jacente est étendue à un graphe arbitraire de degré borné et le graphe lui-même peut évoluer dans le temps.Dans le régime réversible, nous prouvons qu’une dynamique causale de graphes peut être réversible tout en créant/détruisant des sommets, à travers trois différents modèles, que nous prouvons équivalents.En s'appuyant sur ces résultats, nous exhibons des dynamiques causales à la fois réversibles et croissantes en espace, ce qui apporte un nouveau regard sur la compatibilité entre la flèche du temps et la réversibilité. Nous définissons une notion de \subshift de graphes, qui peut être utilisée pour étudier les dynamiques causales de graphes en unifiant les dimensions temporelles et spatiales, de la même manière que les automates cellulaires 1D peuvent être étudiés par des \subshifts de type fini 2D.Dans le régime quantique, notre première contribution est de fournir une définition rigoureuse de l'espace d'état. Une question notable était de savoir si les noms des sommets sont nécessaires; nous prouvons que c'est le cas afin d'empêcher une propagation de l'information plus rapide que la lumière. Nous soulignons également que les renommages sur les graphes sont l'analogue nativement discret des changements de coordonnées
Causal graph dynamics are a twofold extension of cellular automata: the underlying grid is extended to an arbitrary graph of bounded degree and the graph itself can evolve in time.In the reversible regime, we prove that causal graph dynamics can be reversible while creating/destroying vertices, through three different models that we prove to be equivalent.Based on these results, we exhibit causal dynamics that are both reversible and increasing in space, which brings new insights into the compatibility between the time arrow and reversibility. We define a notion of graph subshifts, which can be used to study causal dynamics of graphs by unifying temporal and spatial dimensions, in the same way that 1D cellular automata can be studied with 2D subshifts of finite type.In the quantum regime, our first contribution is to provide a rigorous definition of state space. A notable question was whether vertex names are necessary; we prove they are indeed necessary in order to prevent faster-than-light signaling. We also point out that renaming on graphs is the natively discrete analog of coordinate changes

Les systèmes à entrées booléennes sont très utilisés dans de nombreuses applications industrielles, telles que l'électronique (convertisseur de puissance) ou l'hydraulique (commande de vanne par tout-ou-rien). Ils constituent une classe particulière de systèmes hybrides qui évoluent sous l'effet d'une commande obtenue par commutation on (valeur 1) et off (valeur 0). Dans un premier chapitre nous présentons la classe particulière des systèmes à entrées booléennes, et nous montrons comment l'outil de modélisation bond graph permet d'obtenir directement le modèle d'état sous la forme étudiée. Nous rappelons ensuite différentes approches citées dans la littérature qui fournissent, directement ou après binarisation, des lois de commande sous forme booléenne. Le second chapitre propose une loi de commande originale pour faire de la régulation et du suivi de trajectoire. Le problème des pertes de puissance par commutation est abordé avec la mise en place d'un critère de minimisation d'énergie. Dans le troisième chapitre nous montrons comment le principe de la loi de commande présente au chapitre II peut être étendu aux réseaux de neurones par une méthode de classification. Le quatrième chapitre présente une comparaison en simulation de différents algorithmes de commande booléenne sur une association convertisseur de puissance-machine asynchrone. Notamment nous trouvons les commandes présentées dans les chapitres II et III ainsi que des commandes plus classiques. Des critères de comparaison sont proposés.

La métrologie quantique est une discipline prometteuse de l'information quantique qui connaît actuellement une vague de percées expérimentales et de développements théoriques. L'objectif principal de la métrologie quantique est d'estimer des paramètres inconnus aussi précisément que possible. En utilisant des ressources quantiques comme sondes, il est possible d'atteindre une précision de mesure qui serait autrement impossible en utilisant les meilleures stratégies classiques. Par exemple, en ce qui concerne la tâche d'estimation de la phase, la précision maximale (la limite d'Heisenberg) est un gain de précision quadratique par rapport aux meilleures stratégies classiques. Bien entendu, la métrologie quantique n'est pas la seule technologie quantique qui connaît actuellement des avancées. Le thème de cette thèse est l'exploration de la manière dont la métrologie quantique peut être améliorée par d'autres techniques quantiques lorsque cela est approprié, à savoir : les états graphiques, la correction d'erreurs et la cryptographie. Les états de graphes sont une ressource incroyablement utile et polyvalente dans l'information quantique. Nous aidons à déterminer l'étendue de l'applicabilité des états de graphes en quantifiant leur utilité pour la tâche de métrologie quantique de l'estimation de phase. En particulier, l'utilité d'un état de graphe peut être caractérisée en fonction de la forme du graphe correspondant. À partir de là, nous concevons une méthode pour transformer tout état de graphe en un état de graphe plus grand (appelé "bundled graph states") qui sature approximativement la limite de Heisenberg. En outre, nous montrons que les états de graphe constituent une ressource robuste contre les effets du bruit (le déphasage et un petit nombre d'effacements) et que la limite quantique de Cramér-Rao peut être saturée par une simple stratégie de mesure. Le bruit issu de l’environnement est l'un des principaux obstacles à la métrologie quantique, qui limite la précision et la sensibilité qu'elle peut atteindre. Il a été démontré que si le bruit environnemental peut être distingué de la dynamique de la tâche de métrologie quantique, des applications fréquentes de correction d'erreurs peuvent être utilisées pour combattre les effets du bruit. En pratique, cependant, la fréquence de correction d'erreurs requise pour maintenir une précision de type Heisenberg est impossible à atteindre pour les technologies quantiques actuelles. Nous explorons les limites de la métrologie quantique améliorée par la correction d'erreurs en prenant en compte les contraintes et les obstacles technologiques, à partir desquels nous établissons le régime dans lequel la limite d'Heisenberg peut être maintenue en présence de bruit. La mise en œuvre complète d'un problème de métrologie quantique est technologiquement exigeante : des états quantiques intriqués doivent être générés et mesurés avec une grande fidélité. Une solution, dans le cas où l'on ne dispose pas de tout le matériel quantique nécessaire, consiste à déléguer une tâche à un tiers. Ce faisant, plusieurs problèmes de sécurité se posent naturellement en raison de la possibilité d'interférence d'un adversaire malveillant. Nous abordons ces questions en développant la notion de cadre cryptographique pour la métrologie quantique. Nous montrons que la précision du problème de la métrologie quantique peut être directement liée à la solidité d'un protocole cryptographique employé. En outre, nous développons des protocoles cryptographiques pour une variété de paramètres motivés par la cryptographie, à savoir : la métrologie quantique sur un canal quantique non sécurisé et la métrologie quantique avec une tâche déléguée à une partie non fiable. Les réseaux de détection quantique ont suscité un intérêt croissant dans la communauté de la métrologie quantique au cours des dernières années. Ils constituent un choix naturel pour les problèmes distribués dans l'espace et les problèmes multiparamètres.[...]
Quantum metrology is an auspicious discipline of quantum information which is currently witnessing a surge of experimental breakthroughs and theoretical developments. The main goal of quantum metrology is to estimate unknown parameters as accurately as possible. By using quantum resources as probes, it is possible to attain a measurement precision that would be otherwise impossible using the best classical strategies. For example, with respect to the task of phase estimation, the maximum precision (the Heisenberg limit) is a quadratic gain in precision with respect to the best classical strategies. Of course, quantum metrology is not the sole quantum technology currently undergoing advances. The theme of this thesis is exploring how quantum metrology can be enhanced with other quantum techniques when appropriate, namely: graph states, error correction and cryptography. Graph states are an incredibly useful and versatile resource in quantum information. We aid in determining the full extent of the applicability of graph states by quantifying their practicality for the quantum metrology task of phase estimation. In particular, the utility of a graph state can be characterised in terms of the shape of the corresponding graph. From this, we devise a method to transform any graph state into a larger graph state (named a bundled graph state) which approximately saturates the Heisenberg limit. Additionally, we show that graph states are a robust resource against the effects of noise, namely dephasing and a small number of erasures, and that the quantum Cramér-Rao bound can be saturated with a simple measurement strategy. Noise is one of the biggest obstacles for quantum metrology that limits its achievable precision and sensitivity. It has been showed that if the environmental noise is distinguishable from the dynamics of the quantum metrology task, then frequent applications of error correction can be used to combat the effects of noise. In practise however, the required frequency of error correction to maintain Heisenberg-like precision is unobtainable for current quantum technologies. We explore the limitations of error correction enhanced quantum metrology by taking into consideration technological constraints and impediments, from which, we establish the regime in which the Heisenberg limit can be maintained in the presence of noise. Fully implementing a quantum metrology problem is technologically demanding: entangled quantum states must be generated and measured with high fidelity. One solution, in the instance where one lacks all of the necessary quantum hardware, is to delegate a task to a third party. In doing so, several security issues naturally arise because of the possibility of interference of a malicious adversary. We address these issues by developing the notion of a cryptographic framework for quantum metrology. We show that the precision of the quantum metrology problem can be directly related to the soundness of an employed cryptographic protocol. Additionally, we develop cryptographic protocols for a variety of cryptographically motivated settings, namely: quantum metrology over an unsecured quantum channel and quantum metrology with a task delegated to an untrusted party. Quantum sensing networks have been gaining interest in the quantum metrology community over the past few years. They are a natural choice for spatially distributed problems and multiparameter problems. The three proposed techniques, graph states, error correction and cryptography, are a natural fit to be immersed in quantum sensing network. Graph states are an well-known candidate for the description of a quantum network, error correction can be used to mitigate the effects of a noisy quantum channel, and the cryptographic framework of quantum metrology can be used to add a sense of security. Combining these works formally is a future perspective

Le comportement collectif des atomes de Rydberg est au cœur de nombreux protocoles d'information quantique, notamment de répéteurs quantiques. Cette thèse traite de deux sujets distincts: la dynamique collective de nuages d'atomes de Rydberg et l'utilisation de répéteurs quantiques dans des réseaux complexes. Dans la première partie, nous étudions un système simple composé d'une chaîne 1D d'atomes de Rydberg couplée à un laser résonnant sur la transition vers un niveau de Rydberg dans le régime contenant quelques excitations. Les atomes de Rydberg sont soumis à une forte interaction dipolaire qui tend à empêcher l'excitation simultanée de deux atomes proches l'un de l'autre. C'est ce phénomène de blocage de Rydberg qui fait des atomes de Rydberg d'éminents candidats pour des protocoles d'information quantique. Ce blocage induit une distribution spatiale particulière des excitations le long de la chaîne d'atomes. Le calcul exact de cette distribution est souvent impossible en pratique même numériquement, et des approximations sont a priori nécessaires:- l'approximation des sphères de Rydberg dures: l'interaction dipolaire est modélisée par une sphère centrée autour de chaque excitation, à l'intérieur de laquelle toute autre excitation est impossible;- l'hypothèse de thermalisation: le système est supposé thermaliser, c'est-à-dire qu'après suffisamment de temps, même sans effets dissipatifs, le système tendra vers un état quasi-thermique qui peut être décrit par la physique statistique et plus précisément l'ensemble microcanonique. Cette thèse présente une étude de la thermalisation d'un ensemble 1D d'atomes de Rydberg et, plus particulièrement, de l'acuité des prédictions de l'ensemble microcanonique en supposant l'hypothèse des sphères dures. Nous avons simulé numériquement la dynamique d'un tel système composé de 100 atomes, dans le régime contenant au plus deux excitations dans l'ensemble. De plus, un modèle analytique à 6 dimensions est présenté. Comparant les trois approches, nous montrons que le modèle analytique corrobore la simulation numérique, tandis que simulation et modèle mis ensemble contredisent les prédictions microcanoniques. Dans ce régime, l'utilisation de cet ensemble est donc inadaptée. La seconde partie de cette thèse porte sur la distribution d'intrication dans un réseau de répéteurs quantiques. Ces derniers devraient permettre la communication quantique de deux parties distantes. Ces répéteurs quantiques sont presque toujours connectés en un réseau linéaire. Dans cette thèse, nous explorons les possibilités offertes par des réseaux arbitraires constitués de ces répéteurs connectant une multitude de clients. Nous avons représenté ces réseaux à l'aide de graphes non orientés. Nous avons étudié deux scénarios de routage:- le routage classique d'intrication qui corresponds au cas où des clients, très limités par leurs dispositifs quantiques, souhaitent partager des paires intriqués. Sur ces réseaux, les problèmes de communication sont équivalents à des problèmes de chemins disjoints. Lorsque les clients souhaitant communiquer ensemble (les terminaux) sont choisis par un adversaire, nous avons obtenu deux bornes: l'une proportionnelle au genre topologique, et l'autre au degré minimal du graphe. Nous proposons deux architectures de réseau saturant la plus contraignante, celle due au degré minimal. D'autre part, lorsque les clients sont répartis dans un espace à 2-3 dimensions, nous avons montré une limitation géométrique sur la fraction de clients pouvant communiquer simultanément.- le routage quantique utilisant le codage de réseau, qui correspond au cas où le réseau quantique est composé de petits processeurs quantiques capable d'effectuer des opérations locales. Nous avons étudié un problème de communication, le réseau papillon, où le routage classique de l'intrication entre deux paires de clients est impossible. Grâce au codage de réseau, nous avons résolu ce problème de communication
The collective behavior of Rydberg gases is at the heart of many proposals for quantum information. This thesis treats two distinct topics: the collective dynamic of a Rydberg ensemble and the use of quantum repeaters across quantum networks.In the first part of this thesis, we choose to focus on a simple system involving Rydberg atoms: a 1-dimensional Rydberg gas coupled to a laser resonant with the Rydberg transition. Rydberg atoms interact together through the dipole-dipole interaction. This particular feature is used for quantum information purposes, like applying multi-qubits gates for example. This interaction is strong enough so that the dynamic of such system in the regime of few excitations in the gas ensemble is already intractable without any assumptions. One of them is the hardcore Rydberg sphere assumption: we approximate this interaction by a sphere around each excitation inhibiting any second excitation within it. Another one is to suppose that the system thermalizes in such regime; a statistical treatment could then be applied. We have investigated the thermalization of a 1D-Rydberg gas and evaluated the accuracy of the microcanonical ensemble predictions under the first assumption. To do so, we have numerically simulated the dynamic of such system constituted by 100 atoms, in the regime of at most two excitations in the chain, in the initial excitation-less state. Furthermore, we constructed a 6-dimensional analytical model. Comparing the three approaches together, we have concluded that the numerical simulation and the analytical model both agree together but contradicts the microcanonical treatment. In this regime, the microcanonical ensemble is unadapted.In the second part of this thesis, we have studied the distribution of entanglement across a generic quantum network. We have mapped these quantum networks to undirected graphs and studied two different routing scenarios:- the classical routing of quantum entanglement corresponding to the scenario where clients of the network can perform only a single Bell measurement or keep a single qubit. This is the usual model of quantum repeaters. On these networks, peer-to-peer communication problems are equivalent to the vertex disjoint path problem. When the peers are chosen by an adversary, we have found two limitations due to the topological genus and the minimum degree of the graph. We have found two network architectures (almost) saturating the most constraining one, the minimum degree inequality. For the case where the peers are chosen at random, we have studied a specific graph lying in a 2- or 3-dimensional manifold and investigated the trade-off between the quantum links and the number of peers that can communicate simultaneously through the network.- true quantum routing problem (using network coding) corresponding to the situation where the quantum network is composed by small quantum processors that could apply local gates. We focus on a particular communication problem, namely the butterfly network, where classical routing is impossible. Using network coding, this communication is solved

Nous proposons tout d'abord une étude de plusieurs problèmes de l'algorithmique distribuée. Nous fournissons un modèle formel appliqué aux réseaux de diffusion anonymes. Dans ce modèle, nous caractérisons les graphes dans lesquels il est possible de résoudre l'énumération et l'élection. Cette caractérisation se base sur la notion d'homomorphisme de graphes. Nous proposons deux algorithmes dont la complexité est polynomiale et qui améliorent les complexités exponentielles connues jusqu'à présent. Dans un second temps, nous étudions le problème du calcul de l'état global et nous introduisons la notion de weak snapshot. Nous montrons qu'il existe des solutions pour ce problème dans les réseaux anonymes. Nous présentons plusieurs résultats concernant le calcul de l'état global en liaison avec des applications telles que le calcul de points de reprise, la détection de la terminaison ou encore le calcul d'une cartographie du réseau. Dans un cadre plus pratique, nous présentons la conception, le développement et l'implémentation des algorithmes proposés pour le calcul de l'état global au sein du logiciel de simulation et de visualisation ViSiDiA
In this thesis, we first present a study of several problems in the field of distributed algorithms. We provide a formal model that relies on anonymous networks. In this model, we characterize graphs in which it is possible to solve enumeration and leader election problems. This characterization is based on graph homomorphism. We introduce two algorithms with polynomial complexities that improve existing works with exponential complexities. On the other hand, we study the snapshot problem and we introduce the notion of weak snapshot. We show that there exist solutions for this problem in the context of anonymous networks. We present several results about distributed snapshots that deal with checkpoint and rollback recovery, termination detection or the cartography computation of a network. In a practical aspect, we present the conception, the development process and the implementation of these distributed snapshot algorithms within the simulation and visualization software ViSiDiA

L'étude des circuits asynchrones est un secteur dans lequel de nombreuses recherches ont été effectuées ces dernières années. Les circuits asynchrones ont démontré plusieurs caractéristiques intéressantes comme la robustesse, l'extensibilité, la faible consommation ou le faible rayonnement électromagnétique. Parmi les différentes classes de circuits asynchrones, les circuits quasi-insensibles aux délais (QDI) ont montré des caractéristiques extrêmement intéressantes en termes de faible consommation et de robustesse aux variations PVT (Process, Voltage, Temperature). L'usage de ces circuits est notamment bien adapté aux applications fonctionnant dans un environnement sévère et pour lesquelles la consommation est un critère primordial. Les travaux de cette thèse s'inscrivent dans ce cadre et visent la conception et la synthèse de machines à états asynchrones (QDI) faiblement consommatrices. Une méthode de synthèse dédiée à des contrôleurs asynchrones à faible consommation a donc été développée. Cette technique s'est montrée particulièrement efficace pour synthétiser les contrôleurs de grande taille. La méthode s'appuie sur une modélisation appropriée des contrôleurs et une technique de synthèse dirigée par la syntaxe utilisant des composants spécifiques appelés séquenceurs. Les circuits obtenus ont été vérifiés formellement afin de s'assurer de leurs propriétés en termes de robustesse et de correction fonctionnelle. A cette occasion, une méthode de vérification formelle a été mise en place pour valider les contrôleurs d'une part, et plus généralement, n'importe quel circuit asynchrone d'autre part. Cette technique fait appel à une modélisation hiérarchique des circuits asynchrones en PSL et à un outil de vérification formelle (RAT)
The study of asynchronous circuits is an area where much research has been conducted in recent years. Asynchronous circuits have shown several interesting features like robustness, scalability, low consumption or low electromagnetic radiation. Among the different classes of asynchronous circuits, Quasi Delay Insensitive circuits (QDI) showed very interesting characteristics in terms of low power consumption and robustness to variations of PVT (Process, Voltage, and Temperature). The use of these circuits is particularly well suited for applications operating in a critical environment and for which consumption is paramount. In this framework, the work of this thesis aims the low power consumption design and synthesis of asynchronous state machines (QDI). A method for synthesizing low-consumption asynchronous sequential controllers has been developed. The method relies on an adequate modeling of controllers and a direct mapping synthesis technique using specific components called sequencers. This technique is suitable for synthesizing large controllers. The circuits obtained are formally verified to ensure their properties in terms of robustness and are proved functionally correct. Thereby, a formal verification method has been implemented to validate the sequential controllers on the one hand, and more generally, any other asynchronous circuit. This technique uses a hierarchical model of asynchronous circuits in PSL and a formal verification tool called RAT

Les relations entre les états de développement végétatif ou reproductif de la vigne et la sensibilité aux attaques de l’oïdium et du botrytis sont complexes et pauvrement documentées dans la littérature. L’état de croissance de la plante peut agir de façon directe ou indirecte sur les maladies et ce travail a cherché à étudier et à décrire ces relations. Pour cela, un dispositif expérimental a été installé sur une parcelle près de Montpellier avec différentes modalités de gestion du sol (enherbement permanent ou semi-permanent, désherbage total, irrigation) qui ont permit de créer des conditions de croissance contrastées. L’hypothèse selon laquelle le développement épidémique de l’oïdium et du botrytis est positivement corrélé aux états de croissance de la vigne a été vérifiée. Pour le botrytis, les deux facteurs principaux qui expliquent cette relation positive sont les conditions climatiques et micro climatiques en interaction avec les états de croissance de la vigne. Pour l’oïdium, le facteur explicatif majeur a été la population d’organes sensibles à partir de la floraison. Un schéma théorique général qui prend en compte cette relation croissance-maladie, ainsi que les mécanismes explicatifs est proposé. Les conditions qui défavorisent la croissance et le rendement de la vigne défavorisent aussi le développement des maladies. Paradoxalement ces conditions ne permettent pas forcement de satisfaire les objectifs de rendement et de qualité. En effet, l’état de croissance qui produit le rendement le plus élevé est celui de la modalité irriguée et fertilisée (optimum de production). Le niveau de croissance qui prévient le plus les dégâts sur grappes est celui de la modalité avec un enherbement permanent (optimum sanitaire). Entre ces deux extrêmes, on trouve la modalité avec un enherbement semi-permanent, qui produit des rendements et des dégâts de maladies intermédiaires ainsi que le raisin qui a été jugé le meilleur pour la production de vin

Durant la guerre de Sécession (1861-1865), des milliers de soldats, de chaque côté du front, prirent leur plume afin de s'enquérir de leur famille et de donner des nouvelles du front. Généralement peu lettrés, la plupart de ces soldats ne maîtrisaient que très partiellement les codes de l'écrit. Le corpus sur lequel se base la présente recherche doctorale se compose de 366 lettres (soit environ 170 000 mots) rédigées par 80 soldats de première et deuxième classes originaires de Virginie. L'orthographe idiosyncratique et approximative de leurs écrits ainsi que les nombreuses variations morphosyntaxiques non standard permettent de mieux saisir ce que pouvait être le vernaculaire des locuteurs blancs issus des couches les plus basses de la société virginienne durant la première moitié du XIXe siècle.Selon Guy Bailey (1997), certaines caractéristiques du vernaculaire du Sud des Etats-Unis (Southern American English) seraient apparues après la guerre de Sécession et seraient le fruit d'une réaction identitaire face à la domination du Nord et à l'humiliation causée par la défaite. Les variations non standard répertoriées dans le Virginia Civil War Corpus nous invitent à nuancer cette assertion. Malgré une orthographe phonétique et l'emploi de nombreuses variations morphosyntaxiques et lexicales non standard, leurs écrits révèlent la tension constante entre le registre paritaire et disparitaire. Cette perpétuelle oscillation est-elle le fruit d'un conflit interne entre différents modèles linguistiques ou est-elle, au contraire, le signe d'opérations énonciatives spécifiques ?
Throughout the Civil War (1861-1865), thousands of low ranking soldiers on both sides of the conflict took up their pens to inquire after their families and give news from the front. Usually semiliterate, most of these soldiers were far from mastering written conventions. The 170,000-word corpus, on which this thesis is based, is composed of 366 letters written by 80 privates, corporals and sergeants from Virginia. Their idiosyncratic and ingenuous spellings as well as their use of non-standard morphosyntactic variations offer a great opportunity to gain further insight into the vernacular spoken by white lower-class people in Virginia around the middle of the 19th century.According to Guy Bailey (1997), certain specificities of the Southern American Vernacular English (SAVE) appeared after the Civil War, as a reaction against Northern domination and the humiliation caused by the defeat. The non standard variations found in the Virginia Civil War Corpus tend to question this hypothesis and reveal that most of the features, that are today associated with SAVE, were already present in low ranking soldiers' writings.Despite the phonetic spelling and the use of non-standard grammatical and lexical forms, the letters reveal that the soldiers were fully aware that their vernacular speech was not in line with academic conventions. We thus observe a constant tension between the academic prescriptive norm and non-standard variations. We may wonder if this constant oscillation is only triggered by an internal conflict between different linguistic models or if, on the contrary, the presence of these dialectal variations must be understood as signs of specific enunciative operations

Cette thèse se compose de deux parties. La première partie présente l'étude de la réalisation d'une lentille à atomes utilisant l'interaction dipolaire. Une étude théorique propose plusieurs séquences expérimentales possibles permettant la réalisation d'une lentille achromatique avec un grandissement contrôlable. Des tentatives de réalisation ont mis en évidence des pertes d'atomes induites par le laser utilisé. Le processus de photoassociation, fortement probable dans les conditions de l'expérience, est le responsable de ces pertes. La deuxième partie de cette thèse relate donc de l'enregistrement des spectres de photoassociation. L'analyse des spectres obtenus a été effectuée par la méthode des graphes de Lu-Fano, méthode souvent utilisée pour l'étude des séries de Rydberg. Appliqué aux trois séries vibrationnelles observées, la méthode a montré que la formule de LeRoy-Bernstein, établie pour décrire des niveaux vibrationnels situés dans la zone asymptotique du puits de potentiel moléculaire, doit être améliorée. Les deux améliorations proposées consistent à prendre en compte la région courte portée du puits de potentiel ainsi que le deuxième terme du développement multipolaire. Pour une troisième série, le graphe de Lu-Fano a mis en évidence un couplage dû à l'interaction spin-orbite et l'interaction spin-spin entre deux séries vibrationnelles. Le graphe a permis la caractérisation quantitative de ce couplage.

Nous proposons tout d'abord une étude de plusieurs problèmes de l'algorithmique distribuée. Nous fournissons un modèle formel appliqué aux réseaux de diffusion anonymes. Dans ce modèle, nous caractérisons les graphes dans lesquels il est possible de résoudre l'énumération et l'élection. Cette caractérisation se base sur la notion d'homomorphisme de graphes. Nous proposons deux algorithmes dont la complexité est polynomiale et qui améliorent les complexités exponentielles connues jusqu'à présent. Dans un second temps, nous étudions le problème du calcul de l'état global et nous introduisons la notion de weak snapshot. Nous montrons qu'il existe des solutions pour ce problème dans les réseaux anonymes. Nous présentons plusieurs résultats concernant le calcul de l'état global en liaison avec des applications telles que le calcul de points de reprise, la détection de la terminaison ou encore le calcul d'une cartographie du réseau. Dans un cadre plus pratique, nous présentons la conception, le développement et l'implémentation des algorithmes proposés pour le calcul de l'état global au sein du logiciel de simulation et de visualisation ViSiDiA.