No description available.

Ces dernières années, les technologies à courant continu haute tension (en anglais, HVDC) basées sur les convertisseurs modulaires multiniveaux (MMC) sont adoptées comme solution pour l'intégration efficace des énergies renouvelables dans les réseaux électriques. Cependant, ces technologies présentent de nouveaux défis dans la façon dont les systèmes de transmission de puissance sont contrôlés et exploités, car des stratégies de contrôle plus rapides et plus complexes seront nécessaires dans un domaine qui repose aujourd'hui fortement sur la décision humaine. Dans ce contexte, la modélisation des systèmes à événements discrets (SED) et la théorie du contrôle par supervision (TCS) sont des outils puissants pour la synthèse de superviseurs qui assurent que le système à contrôler respecte un ensemble de spécifications comportementales, imposées par le concepteur, dans ses limites physiques. Ce travail propose une méthode pour le développement complet, de la conception à la mise en œuvre, du contrôle par supervision d'un système Multi-Terminal DC (MTDC). Une analyse du système considéré a été effectuée afin d'identifier les principaux composants et modes de fonctionnement du réseau. La solution proposée repose sur la modélisation par événements discrets du comportement en temps continu des composants du système. A partir de là, les concepts de la TCS sont appliqués de manière à obtenir une architecture de contrôle hiérarchique prenant en compte la priorité de certaines actions de contrôle à traiter au niveau local. De plus, les contrôleurs discrets obtenus présentent une structure de commutation de mode afin de réaliser une gestion de mode pendant le fonctionnement du réseau MTDC. Enfin, une méthode pour la mise en œuvre des contrôleurs obtenus dans un logiciel de simulation de système électrique répandu est proposée. L'ensemble dutravail a été validé par la simulation d'une étude de cas impliquant la gestion des modes d'un système MTDC bipolaire à trois terminaux. / The growth of renewable energy production is changing the future of power transmission systems. In recent years, High-Voltage Direct Current (HVDC) technologies based on Modular Multilevel Converters (MMC) are embraced by industry and academia as a solution for the efficient integration of renewable energies into electrical grids. However, this type of technology introduces new challenges in the way power transmission systems are controlled and operated, as faster and more complex control strategies will be needed in a domain which nowadays relies heavily on human decision. In this context, Discrete Event Systems (DES) modeling and Supervisory Control Theory (SCT) are powerful tools for the synthesis of supervisors ensuring that the system to be controlled respects a set of behavioral specifications, imposed by the designer, within its physical limitations. This work proposes a method for the full development, from conception to implementation, of the supervisory control of a multi-terminal DC (MTDC) system. A functional analysis on the considered system has been done so as to identify the main components and operational modes of the grid. Then, the proposed solution is based on the discrete-event modeling of the continuous-time behavior of the components in the system. From there, SCT concepts are applied so as to obtain a hierarchical control architecture taking into account the priority of some control actions that should be treated at the local level. Furthermore, the obtained discrete controllers present a mode-switching structure in order to realize mode management during the operation of the MTDC grid. Finally, a method for the implementation of the obtained controllers in widespread power system simulation software is proposed. The whole work has been validated through the simulation of a case study, involving the mode management of a 3-terminal bipolar MTDC system.

La radiothérapie occupe une place majeure dans l’arsenal thérapeutique des cancers.Malgré des progrès technologiques importants depuis près de vingt ans, des tissus sains au voisinage ou à distance de la tumeur cible continuent à être inévitablement irradiés à des niveaux de doses très différents. Ces doses sont à l’origine d’effets secondaires précoces (Œdème, radionécrose, Dysphagie, Cystite) ou tardifs (rectorragies, télangiectasie, effets carcinogènes, les pathologie cérébrovasculaires).Il est donc primordial de quantifier et de prévenir ces effets secondaires afin d'améliorer la qualité de vie des patients pendant et après leur traitement.La modélisation du risque d'événements iatrogènes radio-induits repose sur la connaissance précise de la distribution de doses au tissu sain d'intérêt ainsi que sur un modèle de risque capable d'intégrer un maximum d'informations sur le profil d'irradiation et des autres facteurs de risques non dosimétriques. L'objectif de ce travail de thèse a été de développer des méthodes de modélisation capables de répondre à des questions spécifiques aux deux aspects, dosimétriques et statistiques, intervenant dans la modélisation du risque de survenue d'événements iatrogènes radio-induits.Nous nous sommes intéressé dans un premier temps au développement d'un modèle de calcul permettant de déterminer avec précision la dose à distance due au rayonnements de diffusion et de fuite lors d'un traitement par radiothérapie externe et ce, pour différentes tailles des champs et à différentes distances de l'axe du faisceau. Ensuite, nous avons utilisé des méthodes d'analyse de données fonctionnelles pour développer un modèle de risque de toxicité rectales après irradiation de la loge prostatique. Le modèle proposé a montré des performances supérieures aux modèles de risque existants particulièrement pour décrire le risque de toxicités rectales de grade 3. Dans le contexte d'une régression de Cox flexible sur données réelles, nous avons proposé une application originale des méthodes de statistique fonctionnelle permettant d'améliorer les performances d'une modélisation via fonctions B-splines de la relation dose-effet entre la dose de radiation à la thyroïde.Nous avons également proposé dans le domaine de la radiobiologie une méthodes basée sur l’analyse en composantes principales multiniveau pour quantifier la part de la variabilité expérimentale dans la variabilité des courbes de fluorescence mesurées. / Radiotherapy plays a major role in the therapeutic arsenal against cancer. Despite significant advances in technology for nearly twenty years, healthy tissues near or away from the target tumor remain inevitably irradiated at very different levels of doses. These doses are at the origin of early side effects (edema, radiation necrosis, dysphagia, cystitis) or late (rectal bleeding, telangiectasia, carcinogenic, cerebrovascular diseases). It is therefore essential to quantify and prevent these side effects to improve the patient quality of life after their cancer treatment.The objective of this thesis was to propose modelling methods able to answer specific questions asked in both aspects, dosimetry and statistics, involved in the modeling risk of developing radiation-induced iatrogenic pathologies.Our purpose was firstly to assess the out-of-field dose component related to head scatter radiation in high-energy photon therapy beams and then derive a multisource model for this dose component. For measured doses under out-of-field conditions, the average local difference between the calculated and measured photon dose is 10%, including doses as low as 0.01% of the maximum dose on the beam axis. We secondly described a novel method to explore radiation dose-volume effects. Functional data analysis is used to investigate the information contained in differential dose-volume histograms. The method is applied to the normal tissue complication probability modeling of rectal bleeding for In the flexible Cox model context, we proposed a new dimension reduction technique based on a functional principal component analysis to estimate a dose-response relationship. A two-stage knots selection scheme was performed: a potential set of knots is chosen based on information from the rotated functional principal components and the final knots selection is then based on statistical model selection. Finally, a multilevel functional principal component analysis was applied to radiobiological data in order to quantify the experimental Variability for replicate measurements of fluorescence signals of telomere length.

No description available.

Le travail présenté dans cette thèse constitue une contribution originale à lamodélisation et à l'analyse de performances des systèmes de vélos en libre-service. De nombreuses villes en Europe ont suscité un intérêt considérable et un engouement à l'égard de ce nouveau mode de transport écologique (Vélib' à Paris, Vélov'v à Lyon, Bicing à Barcelone, ...) et dont les progrès technologiques ne cessent de les faire émerger dans les quatre coins dumonde. Contrairement aux systèmes de transport traditionnels, très peu d'étudesfondamentales ont été menées et pourtant, de nombreuses questions émergent, la principale étant celle d'un rééquilibrage (régulation) de la distribution de vélos dans les différentes stations afin de satisfaire au mieux les demandes des usagers. C'est dans ce cadre que s'inscrit cette thèse de doctorat portant sur la modélisation, l'analyse et l'évaluation de performances de ce mode de transport en libre service. Ce travail, basé sur les réseaux de Petri, est d'une aide précieuse pour la mise en oeuvre, l'exploitation et la régulation de ce type de systèmes.La complexité dynamique de tels systèmes, perçus comme des systèmes à événements discrets, nous a conduit au développement d'une approche à base d'une classe particulière de réseaux de Petri stochastiques ayant des arcs à poids variables pertinents aussi bien pour l'analyse que pour la simulation. Un ensemble de modèles et de méthodes d'analyse associées sont développés en vue de leur régulation, en prenant en compte différents paramètres de décision qui les caractérisent notamment le nombre de stations, la capacité de chaque station, les seuils de régulation, la capacité des véhicules de régulation, le type et/ou la fréquence de régulation choisi (périodique ou continue), …. En plus d'être paramétrables, les modèles proposés permettent d'étudier plusieurs configurations en fonction de différents modes de fonctionnement possibles (mode sans régulation, mode avec régulation, mode dynamique, mode statique, etc). La présentation de cette thèse comporte plusieurs illustrations et applicationspermettant d'aider le lecteur à la compréhension du travail développé.A notre connaissance, il s'agit d'un premier travail du genre dans la littérature sur les réseaux de Petri et plus généralement, l'un des premiers sur les systèmes de vélos en libre-service. / Public Bicycle-Sharing Systems (PBSS) have been appearing in more and more cities around the world in the last few years. Although their apparent success as an alternative form of public transportation mode, there are major challenges confronting the operators while few scientific works are available to support such complex dynamical systems to influence their economic viability and operational efficiency. One of the most crucial factors for the success of a PBS system is its ability to ensure that bicycles are available for pick up and vacant berths available for bicycle drop off at every station. In this thesis, we develop an original discrete event approach for modelling and performance evaluation of public bicycle-sharing systems by using Petri nets with time, inhibitor arcs and variable arc weights.

Cette thèse porte sur le diagnostic des systèmes à événements discrets modélisés par des Réseaux de Petri labellisés (RdP-L). Les problèmes de diagnostic monolithique et de diagnostic modulaire sont abordés. Des contributions sont proposées pour résoudre les problèmes d'explosion combinatoire et de complexité de calcul. Dans le cadre de l'analyse de la diagnosticabilité monolithique, certaines règles de réduction sont proposées comme un complément pour la plupart des techniques existantes de l'analyse de la diagnosticabilité, qui simplifient le modèle RdP-L tout en préservant sa propriété de diagnosticabilité. Pour un RdP-L sauf et vivant, une nouvelle condition suffisante pour la diagnosticabilité est proposée. Pour un RdR-L borné et non bloquant après l'occurrence d'une faute, l'analyse à-la-volée est améliorée en utilisant la notion d'explications minimales qui permettent de compacter l'espace d'état ; et en utilisant des T-semiflots pour trouver rapidement un cycle indéterminé. Une analyse à-la-volée utilisant Verifier Nets (VN) est proposée pour analyser à la fois les RdP-L bornés et non-bornés, ce qui permet d'obtenir un compromis entre efficacité du calcul et limitation des explosions combinatoires. Dans le cadre de l'analyse de la diagnosticabilité modulaire, une nouvelle approche est proposée pour les RdP-Ls décomposés. Les règles de réduction, qui préservent la propriété de la diagnosticabilité modulaire, sont appliquées pour simplifier le modèle initial. La diagnosticabilité locale est analysée en construisant le VN et le Graphe d'Accessibilité Modifié (MAG) du modèle local. La diagnosticabilité modulaire est vérifiée en construisant la composition parallèle du MAG et des graphes d'accessibilités d'autres modules du système. La complexité de calcul est inférieure à celles des autre approches dans la littérature. D'autre part, l'explosion combinatoire est également réduite en utilisant la technique de ε-réduction / This thesis deals with fault diagnosis of discrete event systems modeled by labeled Petri nets (LPN). The monolithic diagnosability and modular diagnosability issues are addressed. The contributions are proposed to reduce the combinatorial explosion and the computational complexity problems. Regarding monolithic diagnosability analysis, some reduction rules are proposed as a complement for most diagnosability techniques, which simplify the LPN model and preserve the diagnosability property. For a safe and live LPN, a new sufficient condition for diagnosability is proposed. For a bounded LPN that does not deadlock after a fault, the on-the-fly diagnosability analysis is improved by using minimal explanations to compact the state space; and by using T-invariants, to find quickly an indeterminate cycle. An on-the-fly diagnosability analysis using Verifier Nets (VN) is proposed to analyze both bounded and unbounded LPN, which achieves a compromise between computation efficiency and combinatorial explosion limitation. Regarding modular diagnosability analysis, a new approach is proposed for decomposed LPNs model. Reduction rules, that preserve the modular diagnosability property, are applied to simplify the model. The local diagnosability is analyzed by building the VN and the Modified Reachability Graph (MRG) of the local model. The modular diagnosability is verified by building the parallel composition of the MRG and the reachability graphs of other modules of the system. We prove in this study that the computational complexity of our approach is lower than existing approaches of literature. The combinatorial explosion is also reduced by using the ε -reduction technique.

Le détecteur proportionnel sphérique gazeux, SPC (Spherical Proportional Counter), est un nouveau concept de détecteur de particules. Ses principales caractéristiques sont : un seuil très bas en énergie indépendant du volume (faible capacité électronique), une bonne résolution en énergie, une grande robustesse et une seule voie de lecture. SEDINE, un détecteur bas bruit de fond, destiné à la recherche de matière noire légère, a été fabriqué et installé au Laboratoire Souterrain de Modane. Il est actuellement opérationnel et vise à mesurer les évènements rares à bas seuil en énergie. La sensibilité dans la détection d’événements rares étant à basse énergie directement corrélée au niveau du bruit de fond du détecteur, la diminution du seuil en énergie ainsi que celle du bruit de fond ont été la problématique principale de cette thèse. Un effort important a été consacré à la mise en opération du dispositif expérimental. Plusieurs paramètres de détection ont été optimisés : homogénéité du champ électrique dans le volume de l’enceinte, tenue aux étincelles, niveau du bruit de fond électronique et l’étanchéité du détecteur. Le détecteur a été optimisé pour assurer un fonctionnement avec un gain stable à haute pression. La modification du blindage, les nettoyages de l’enceinte du détecteur et l’ajout d’une tente anti-Radon ont permis de réduire significativement le bruit de fond de SEDINE. Les progrès accomplis ont permis d’augmenter la sensibilité du détecteur à basse énergie à une valeur comparable, pour des WIMPs à basse masse, aux autres expériences de recherche souterraines. Nous présentons donc des résultats avec un bruit de fond mesuré, dans la région du keV, qui nous permet de donner une figure d’exclusion compétitive pour la production de la matière noire légère. / The Spherical gaseous detector (or Spherical Proportional Counter, SPC) is a novel type of a particle detector, with a broad range of applications. Its main features in- clude a very low energy threshold which is independent of the volume (due to its very low capacitance), a good energy resolution, robustness and a single detection readout channel. SEDINE, a low background detector installed at the underground site of Laboratoire Souterrain de Modane is currently being operated and aims at measuring events at a very low energy threshold, around 40 eV. The sensitivity for the rare events detection at low energy is correlated to the detector background and to the decreasing the level of energy threshold, which was the main point of this thesis. A major effort has been devoted to the operating of the experimental detector. Several detection parameters were optimized: the electric field homogeneity in the sphere, keeping clear of sparks, the electronic noise level and the leak rate of the detector. The detector is optimized for operation with a high pressure stable gain. The modification of the shield, cleanings of the detector and the addition of an anti-Radon tent have significantly reduced the background of SEDINE. Progress has increased the sensitivity of the detector at low energy up to a value comparable to the results other underground research experiences for the low mass WIMPs. We will present the results with a measured background in the region of keV, which has allowed us to show a competitive figure of exclusion for the production of light dark matter.

Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications. La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode. Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L'étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d'étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L'étape suivante est l'exécution d'une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d'aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d'états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l'applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l'utilisons sur un exemple de taille importante utilisée dans la littérature.

Le traitement visuel répété d’un visage inconnu entraîne une suppression de l’activité neuronale dans les régions préférentielles aux visages du cortex occipito-temporal. Cette «suppression neuronale» (SN) est un mécanisme primitif hautement impliqué dans l’apprentissage de visages, pouvant être détecté par une réduction de l’amplitude de la composante N170, un potentiel relié à l’événement (PRE), au-dessus du cortex occipito-temporal. Le cortex préfrontal dorsolatéral (CPDL) influence le traitement et l’encodage visuel, mais sa contribution à la SN de la N170 demeure inconnue. Nous avons utilisé la stimulation électrique transcrânienne à courant direct (SETCD) pour moduler l’excitabilité corticale du CPDL de 14 adultes sains lors de l’apprentissage de visages inconnus. Trois conditions de stimulation étaient utilisées: inhibition à droite, excitation à droite et placebo. Pendant l’apprentissage, l’EEG était enregistré afin d’évaluer la SN de la P100, la N170 et la P300. Trois jours suivant l’apprentissage, une tâche de reconnaissance était administrée où les performances en pourcentage de bonnes réponses et temps de réaction (TR) étaient enregistrées. Les résultats indiquent que la condition d’excitation à droite a facilité la SN de la N170 et a augmentée l’amplitude de la P300, entraînant une reconnaissance des visages plus rapide à long-terme. À l’inverse, la condition d’inhibition à droite a causé une augmentation de l’amplitude de la N170 et des TR plus lents, sans affecter la P300. Ces résultats sont les premiers à démontrer que la modulation d’excitabilité du CPDL puisse influencer l’encodage visuel de visages inconnus, soulignant l’importance du CPDL dans les mécanismes d’apprentissage de base. / Repeated visual processing of an unfamiliar face suppresses neural activity in face-specific areas of the occipito-temporal cortex. This "repetition suppression" (RS) is a primitive mechanism involved in learning of unfamiliar faces, which can be detected through amplitude reduction of the N170 event-related potential (ERP). The dorsolateral prefrontal cortex (DLPFC) exerts top-down influence on early visual processing. However, its contribution to N170 RS and learning of unfamiliar faces remains unclear. Transcranial direct current stimulation (tDCS) transiently increases or decreases cortical excitability, as a function of polarity. We hypothesized that DLPFC excitability modulation by tDCS would cause polarity-dependent modulations of N170 RS during encoding of unfamiliar faces. tDCS-induced N170 RS enhancement would improve long-term recognition reaction time (RT) and/or accuracy rates, whereas N170 RS impairment would compromise recognition ability. Participants underwent three tDCS conditions in random order at ~72 hour intervals: right anodal/left cathodal, right cathodal/left anodal and sham. Immediately following tDCS conditions, an EEG was recorded during encoding of unfamiliar faces for assessment of P100 and N170 visual ERPs. P300 was analyzed to detect prefrontal function modulation. Recognition tasks were administered ~72 hours following encoding. Results indicate the right anodal/left cathodal condition facilitated N170 RS and induced larger P300 amplitudes, leading to faster recognition RT. Conversely, the right cathodal/left anodal condition caused increases in N170 amplitudes and RT, but did not affect P300. These data are the first to demonstrate that DLPFC excitability modulation can influence early visual encoding of unfamiliar faces, highlighting the importance of DLPFC in basic learning mechanisms.

Les polar lows (PLs) sont d'intenses dépressions maritimes propres aux hautes latitudes. De faible extension spatiale et temporelle, ils n'en sont pas moins dangereux, s'accompagnant de vents violents et de fortes précipitations, provoquant une très faible visibilité et des vagues importantes. Le but de cette thèse est d'étudier l'impact de la variabilité atmosphérique sur leur formation, et notamment d'évaluer leur évolution dans le cadre du changement climatique. Dans un premier temps, l'environnement de grande échelle conduisant au développement de PLs est déterminé. Dans ce but, l'ensemble des observations homogènes de PLs disponibles et des réanalyses atmosphériques (ERA-I pour la période la plus récente, NCEP/NCAR sinon) sont utilisés. On montre que le géopotentiel à 500 hPa, l'écart de température entre la surface de l'océan et 500 hPa, le vent et la température en basses couches, ainsi que le tourbillon potentiel (PV) à 300 hPa présentent des anomalies significatives sur de grandes étendues, centrées sur les zones de formation des Pls. L'accent est mis sur les mers Nordiques pour lesquelles on dispose d'une climatologie de Pls large et homogène, bien que d'autres régions de l'hémisphère Nord soient aussi étudiées (mer du Labrador, golfe d'Alaska...). Les PLs se développent après une phase de mise en place progressive des conditions synoptiques favorable, leur déclenchement étant marqué par une intensification des anomalies de vent et de PV. Des différences existent entre les différentes régions de formation, notamment au niveau du flux de basse couche, indiquant une hétérogénéité dans l'influence relative des différents forçages. Une seconde partie est consacrée à étudier l'influence de la variabilité atmosphérique sur les PLs. Deux approches de cette variabilité sont alors considérées: les structures de téleconnection sur le Pacifique Nord et les régimes de temps sur l'Atlantique Nord et l'Europe. Les structures de téléconnection reposent sur l'idée que la variabilité atmosphérique peut être décrite par des variations dans l'intensité de structures particulières à grande échelle, persistantes et récurrentes. L'étude des liens entre ces structures et les variables clefs pour la formation de PLs permet de mettre en évidence pour chaque région du Pacifique Nord les influences respectives de chacune des structures sur les Pls. L'idée sous-tendant le concept de régimes de temps est que la variabilité atmosphérique pourrait être décrite comme une alternance entre différents états préférentiels quasi-stationnaires. Les quatre régimes déterminés sur l'Atlantique Nord et l'Europe ont une durée typique de 8-10 jours, similaire à l'existence d'un environnement typique associé au développement de PLs. Ils apparaissent particulièrement discriminants pour la formation de PLs: en mers de Norvège et de Barents, 75% des PLs observés se forment en Altantic Ridge ou dans la phase négative de l'Oscillation Nord Atlantique (NAO), alors qu'en mer du Labrador, une grande majorité des PLs observés se développent durant la phase positive de la NAO. La dernière partie est une étude exploratoire de l'évolution du comportement des PLs dans le cadre du changement climatique. Celui-ci est susceptible d'influer sur la répartition et les fréquences d'apparition des PLs en modifiant les conditions de grande échelle contrôlant leur genèse. L'étude porte d'abord sur le rôle de la glace de mer et de son évolution sur les PLs. Finalement, l'évolution de variables clefs dans le développement de PLs est étudié à partir de sorties de la simulation climatique ECHAM5/MPI-OM. Les résultats de cette étude suggèrent une diminution de l'activité des PLs, avec de fortes disparités régionales, ainsi que des changements dans la distribution saisonnière. Les résultats de cette thèse renforcent les connaissances sur les PLs et fournissent de nouveaux éléments pour améliorer leur prévision à court et plus long terme.