Literatura científica selecionada sobre o tema "Localisation des installations de secours"

Cet article propose une méthodologie destinée à transformer une description de position exprimée dans un référentiel indirect en une position absolue dans un référentiel direct. Cette problématique nécessite une formalisation des éléments de localisation relatifs, ici sous la forme d’un modèle en triplets, utilisé ensuite comme base de référencement, et un questionnement sur la prise en compte de l’imperfection du langage naturel dans le processus de modélisation. Nous proposons de faire appel aux objets spatiaux flous et nous comparons leurs implémentations afin d’identifier l’approche la plus adaptée au contexte du secours en montagne.

Les systèmes de gestion des déchets étant en constante évolution, chacune des décisions prises aujourd’hui aura une influence sur les actions futures. Parmi les difficultés rencontrées, la sélection d’un site pour l’implantation de nouvelles installations, quelle que soit leur nature, représente un enjeu majeur en raison des contraintes sociales, économiques et environnementales qui s’y rattachent. En conséquence, les décideurs réclament de nouveaux outils qui leur permettront de comparer les différentes options qui s’offrent à eux et d’en évaluer les impacts sur le système. Actuellement, les approches mathématiques utilisées pour résoudre les problèmes de localisation sur un territoire sont inadéquates pour la gestion des déchets. Notamment, ces approches ne permettent pas de considérer l’ensemble des impacts attribués à la gestion des déchets ainsi que les particularités associées aux trajets (longueur, contraintes de circulation, capacité). Dans le but de corriger ces lacunes, le présent article porte sur l’utilisation de la gestion dynamique des déchets (GDD) comme outil d’aide à la décision pour la gestion territoriale, et plus particulièrement pour les problèmes de localisation. Afin de démontrer les avantages de l’approche proposée, deux études de cas sont également présentées.

The use of coal is suspected to have high environmental impact. Natural gas is treated as more environmentally friendly with high methane content and lower emission factors. In order to calculate the environmental impact in the whole life cycle associated with combustion of coal and natural gas all stages from ?cradle to grave? should be taken into account. In particular, the transportation stage, especially in the case of life cycle analysis of gas, seems to be crucial. The distance of transmission of gas from gas fields, for instance located in Siberia, could be mainly associated with high diffuse emission of methane. The comparison of environmental impact assessment of coal and natural gas utilization for heating purposes is presented in the paper. The additional factor taken into account is localisation of boilers. In the analysis the coal is sombusted in combined heat and power plants equipped with flue gas treatment units is that released emissions are relatively remote from an urban area. In contrast, the natural gas is burned in small domestic installations with no additional FGT systems. The results of the analysis are given in 6 major impact categories. Moreover, the results of the life cycle analysis were brought into comprehensive thermo-ecological cost index, which is a cumulated exergy consumption of non-renewable resources. The results presented in the paper refer to the contemporary problem of the choice of energy sources in the context of its overall environmental efficiency.

[full article is in English]EnglishAt the beginning of the 1980s a new Global Space for the expansion of transnational capital emerged in the US–Mexico Border States. The militarization and securitization of that border were justified by government policies aimed at stopping irregular immigration, drug traffic, and terrorism. In 1991 the US Congress approved the creation of a new Defense Industrial and Technology Base (DITB), which would benefit the Gun Belt linked to the Military-Industrial Complex; and in 1992 the Department of Defense (DoD) proposed to establish a Defense Reserve Industrial Base Program (DRIB), the location for which would be within the existing production-sharing centers along the US–Mexico Border. Both, the DITB and the DRIB, would take advantage of the North American Free Trade Agreement (NAFTA), and transnational arms corporations established or expanded their facilities in the Global Space that has been created along the Mexico–US Border. This article examines this process. SpanishA principios de los años ochenta surgió un nuevo Espacio Global para la expansión del capital transnacional en los estados fronterizos de Estados Unidos y México. La militarización y la securitización de esta frontera ha sido justifi cada por estrategias para detener la inmigración irregular, el narcotráfi co y el terrorismo. En 1991 el Congreso de los Estados Unidos aprobó la creación de una nueva Base de Tecnología y Defensa Industrial (DITB) que benefi ciaría al llamado Cinturón de Armas ligado al Complejo Militar-Industrial; y en 1992 el Departamento de Defensa (DoD) propuso la creación del Programa de Base Industrial de la Reserva de Defensa (DRIB), cuya ubicación estaría dentro de los centros de producción compartida a lo largo de la frontera México–Estados Unidos. Tanto el DITB como el DRIB aprovecharían el Tratado de Libre Comercio de América del Norte (TLCAN), y las corporaciones transnacionales de armamentos establecerían o expanderían sus instalaciones en el Espacio Global creado a lo largo de la frontera México-Estados Unidos. Este artículo examina este proceso.FrenchAu début des annéesquatre-vingt, un nouvel Espace Global pour l’expansion du capital transnational surgit à la frontière entre les États-Unis et le Mexique. Depuis, la militarisation et la sécuritisation de cett e frontière a été justifi ée par des stratégies pour contenir la migration clandestine, le traffi c de drogue et le terrorisme. Cependant, ces processus protègent et supportent également cet espace global, qui est lié au “ceinturon armé” qui a surgit durant l’administration Reagan. Depuis cett e époque, des propositions ont été présentées au Congrès des États- Unis pour établir une nouvelle Base de Technologie et de Défense Industrielle (DITB selon ses sigles en anglais), qui serait bénéfi que pour la ceinturon armé ainsi qu’un Programme de Base Industrielle de la Réserve de Défense (DRIB en anglais) dont la localisation a été proposée tout au long de la frontière entre le Mexique et les États-Unis. Cet article étudie comment le DITB et le DRIB ont évolué dans le contexte de l’Accord de Libre Échange Nord-Américain (ALÉNA) et ont permis à des corporations transnationales d’armes d’établir ou de renforcer des installations dans l’Espace Global qui a été créé tout au long de la frontière entre le Mexique et les États-Unis. Cett e article examine ce processus.

AbstractDans le cadre du choix d’un site de stockage de déchets radioactifs de haute et moyenne activité à vie longue dans les argilites du Callovo-Oxfordien de Meuse/Haute-Marne, l’Andra (Agence nationale pour la gestion des déchets radioactifs) a réalisé 3 forages (EST431, EST432 et EST433) à partir d’une plate-forme implantée sur la commune de Montiers-sur-Saulx (Meuse) en position centrale d’une zone d’environ 250 km2 dite ≪ zone de transposition ≫.Les objectifs principaux des investigations ont été d’apporter des éléments pour la localisation du stockage potentiel et compléter les connaissances sur les formations encaissantes de la couche hôte (Dogger, Oxfordien carbonaté et Kimméridgien) mais également sur les formations profondes du Lias et du Trias. Plus précisément, ces derniers objectifs sont destinés à (i) acquérir une meilleure compréhension du fonctionnement global du système hydrogéologique et des échanges verticaux entre les formations et (ii) d’évaluer les ressources géothermiques potentielles sur la zone.Au-delà des objectifs liés aux problématiques de l’Andra, le forage le plus profond (EST433) a été échantillonné et étudié par plusieurs équipes de recherche associées dans le programme TAPSS (Transferts actuels et passés dans un système sédimentaire aquifère – aquitard) afin de répondre à des problématiques qui leur étaient propre. Cet article présente les données nécessaires à l’interprétation des données acquises par ces équipes et à la publication de leurs travaux.Les trois forages ont majoritairement été forés en destructif à l’exception du Kimméridgien marneux et du toit de l’Oxfordien carottés de 141 à 264 m de profondeur, du Callovo-Oxfordien et du sommet du Dogger carottés de 526 m à 770 m de profondeur. Certains horizons du Lias et du Trias ont également été carottés ponctuellement. De nombreuses diagraphies ont été réalisées entre les phases de forage ainsi que deux diagraphies thermiques 9 mois après le forage. La concaténation des données issues des trois forages a permis d’établir le log stratigraphique de la série du Tithonien au toit de l’Olénékien.Les informations du forage profond EST433 améliorent la connaissance de l’épaississement progressif de la couche du Callovo-Oxfordien vers le nord-est de la zone de transposition ainsi que la constance lithologique de celle-ci tant en vertical qu’en horizontal. Les perméabilités mesurées dans cette formation sont du même ordre de grandeur que celles observées dans les autres forages de la zone de transposition. Dans le Dogger, les variations de la perméabilité de certains niveaux sont liées aux environnements de dépôt. Les formations du Lias et du Trias sont conformes à celles dé-duites des forages antérieurs à l’exception des Marnes irisées inférieures (Keuper inférieur) plus épaisses que prévues. Les profils sismiques et les corrélations entre forages montrent l’existence d’une gouttière à l’aplomb du forage EST433 où les formations du Keuper (Carnien et Norien) sont plus épaisses. Les résultats du forage EST433 montrent également que les faciès du Lias et du Trias supérieur et moyen sont très peu poreux et que seule la base du Trias moyen (toit du Buntsandstein) contient des niveaux aquifères. Mille mètres de série sans porosité notable séparent l’aquifère du Dogger de celui du Trias inférieur.L’aquifère supérieur du Buntsandstein présente en test, entre 1862 et 1887 m de profondeur, une production d’eau à 66°C avec une salinité d’environ 180 g/l. La transmissivité calculée pour cet intervalle est de 1,1 10−3 m2/s. En comparaison avec les installations géothermiques exploitant l’aquifère du Dogger en région parisienne, la température mesurée sur EST433 est de l’ordre des températures exploitées les plus basses, la salinité nettement plus élevée (6,5 à 35 g/l en région parisienne) et la transmissivité du même ordre. Ces caractéristiques ne présentant pas un caractère exceptionnel (en termes de ressource potentielle pour une exploitation géothermique) associées au caractère argilo-gréseux de l’aquifère pouvant influer négativement sur la productivité d’un ouvrage ne font pas du Buntsandstein une ressource géothermique attractive dans les conditions technologiques et économiques actuelles.

Lorsqu’une intervention de secours est nécessaire, localiser précisément et rapidement le site sur lequel envoyer les équipes est primordial. La littérature montre que des outils de géovisualisation constituent des solutions pertinentes pour supporter des processus d’analyse d’informations dans des contextes variés. Nous nous intéressons ici au raisonnement du secouriste réceptionnant un appel à l’aide et visons des solutions conceptuelles et logicielles dédiées à la tâche de détermination de la localisation de la victime, plus particulièrement dans le contexte du secours en montagne. Nous avons formalisé le raisonnement du secouriste et les informations sur lesquelles il ou elle s’appuie à l’aide d’une ontologie. L’Ontologie d’Alerte Choucas structure les concepts exploités par le secouriste qui élabore des hypothèses de localisation probable de la victime à partir d’informations (telles qu’une position relative, un temps de marche, une direction) fournies lors d’un échange verbal. Dans notre approche, l’ontologie est en outre exploitée pour dériver les composants d’interface d’un prototype de géovisualisation facilitant le raisonnement du secouriste. Ces composants sont une aide à la saisie des informations, en fournissant une restitution cartographique adaptée, et contribuent à construire et à affiner la zone de localisation. Notre approche présente une chaine de traitements originale, menant de la représentation des connaissances à la génération automatisée d’une interface fonctionnelle d’aide au raisonnement visant à localiser des victimes en montagne.

Les installations électriques utilisant des énergies renouvelables hybrides vont connaître, à moyen terme un intérêt certain grâce à leur flexibilité vis-à-vis des sources d'énergie primaires. L’objectif de ce travail, est l’étude d’une centrale de production électrique hybride, qui combine entre deux sources d’énergies renouvelables (éolienne, photovoltaïque) avec stockage et un groupe électrogène de secours. La gestion d’énergie des différentes sources est assurée par un gestionnaire qui commande l’ouverture et la fermeture des commutateurs, selon les conditions météorologiques (éclairement, vitesse du vent).

Enhanced virtual communicative technologies extend human perception in extraordinary ways that junction in detaching or augmenting its operator from physical reality. Prospects of the metaverse are progressing towards a possibly fully immersive cyberspace in which users will be entirely disconnected from their analogue physical surroundings. As we advance towards such an alternative reality, the practice-based research project discussed in this paper, titled “Resonance-In-Sight,” foresees and demonstrates the near-future of the metaverse to be a blended hyper-reality in which fiction and reality seamlessly blend into a “Mixed Reality” (MR)-based, co-urban design environment. As digital content in such an environment creatively coexists with our physical cityscape, the research question posed by this project is how such media environment can be used as a proactive cultural educational tool to engage with and inform user audiences of otherwise challenging art-historical content. Through this demonstrator project, the article discusses and reflects on applied methods for user experience (UX) design and the development of MR mobile applications for effective mixed-reality installations. It further reports on employed “Simultaneous Localisation And Mapping” (SLAM) techniques, which are essential for merging co-virtual design content in a hybrid metaverse, and concludes with an assessment of the project’s community impact from an analysis of available user data.

The classical theory of the graphs used to describe the networks considers the nodes in a homogeneous way. However the heterogeneity of space implies a variability of the conditions of circulation and thus of the emissions. The algorithmic transformation of an unspecified graph into cellular graph is possible by the theory of graphs. A fine description of an urban network increases the description of the networks to locate urban structure. The creation of a Multi-Agent System simulating displacements of the vehicles on the graph according to rules makes it possible to evaluate not only the constraints imposed by the network but also those imposed by the traffic. The association of the cellular graphs and the SMA allows to precise the localisation of the emissions on the network and to measure the impacts of installations on these last. La théorie classique des graphes utilisée pour décrire les réseaux considère les carrefours de manière homogène. Or l’hétérogénéité de l’espace implique une forte variabilité des conditions de circulation et donc des émissions. La transformation algorithmique d'un graphe quelconque en graphe cellulaire est rendue possible par l’intermédiaire de la théorie des graphes. Une description fine d’un réseau urbain enrichit la description des réseaux en localisant précisément des aménagements. La création d’un Système Multi-Agents simulant les déplacements des véhicules sur le graphe en fonction de règles permet d’évaluer non seulement les contraintes imposées par le réseau mais aussi celles imposées par le trafic. L’association des graphes cellulaires et des SMA offre l’opportunité de localiser très précisément les émissions sur le réseau et de mesurer les impacts de certains aménagements sur ces dernières.

L’exposition d’art dans des paysages est devenu populaire au Japon, avec la multiplication récente de festivals d’art locaux. Dans ces festivals, qui attirent chacun des centaines de milliers de visiteurs, coexistent des œuvres hétérogènes. Certaines sont des sculptures autonomes, d’autres des installations qui se fondent dans le paysage, et d’autres encore sont des œuvres de type « art relationnel ». Bien que ces œuvres in situ affirment leur lien essentiel avec le site naturel rural et avec le corps du spectateur — constituant un événement, une expérience, une rencontre éphémère —, les relations avec le site comme avec le visiteur sont complexes et ambigües. Il y a des œuvres in situ, mais parfois aussi in aliquo situ : des œuvres qui peuvent être installées n’importe où. Qu’est-ce qui attire les visiteurs dans ces expositions ? Quels sont donc la nature et le mérite de leur localisation ? Si les visiteurs apprécient de voir des œuvres dans ces paysages cela peut être en partie lié au principe japonais traditionnel d’expérience des lieux dit meisho-meguri, ou « pèlerinage vers des sites célèbres ». Cette pratique issue du Moyen Âge est associée historiquement au sacré. Aujourd’hui ce pèlerinage prend la forme du tourisme moderne mais conserve un sens traditionnel invisible car les visiteurs se déplacent à travers une série de lieux géographiques selon un jeu culturellement codé. Selon nous, dans le cas des visites d’œuvres d’art en zones rurales, l’appréciation des œuvres d’art participe à ce même jeu traditionnel de se déplacer physiquement dans une série de lieux. Cette dimension spirituelle implicite modifie à son tour la perception des œuvres. Ainsi on dira que la pratique japonaise de visiter ces expositions d’art in situ témoigne de la survivance d’une tradition, et constitue ainsi un système alternatif d’expérience esthétique.

La modélisation des catastrophes et la localisation des installations sont des aspects essentiels de la gestion des catastrophes qui contribuent à améliorer l’efficacité et l’efficience des chaînes d’approvisionnement des secours. Cependant, les incertitudes inhérentes aux catastrophes et aux chaînes d’approvisionnement des secours peuvent avoir un impact significatif sur l’efficacité de ces modèles. Pour relever ce défi, la thèse propose l'utilisation de modèles basés sur la quantification de l'incertitude et de modèles basés sur Markov caché pour la modélisation des catastrophes dans le contexte de la chaîne d'approvisionnement des secours marocains. La thèse commence par conceptualiser la chaîne d'approvisionnement de secours marocaine, décrivant de manière exhaustive sa conception, ses activités et les différents acteurs impliqués dans le processus humanitaire, puis une analyse détaillée a été menée pour mettre en évidence les forces et les faiblesses de la chaîne d'approvisionnement de secours marocaine. Cela impliquait un examen approfondi des sources d’incertitude au sein du processus humanitaire, afin de bien comprendre les défis rencontrés au sein de la chaîne d’approvisionnement humanitaire marocaine et d’identifier les exigences spécifiques. À la suite de ce travail de base conceptuel, les modèles proposés sont ensuite appliqués à une étude de cas dédiée à la chaîne d’approvisionnement humanitaire marocaine. Cette application pratique vise à valider l'efficacité des modèles basés sur la quantification de l'incertitude et des modèles basés sur Markov caché dans un scénario réel, fournissant des informations précieuses sur leur applicabilité, leur utilité et leur impact potentiel sur la dynamique complexe du domaine humanitaire. Les résultats démontrent que le modèle basé sur la quantification de l'incertitude et le modèle basé sur Markov caché peuvent améliorer considérablement la robustesse et l'efficacité du réseau de la chaîne d'approvisionnement en termes de prévision des catastrophes. Le modèle basé sur la quantification de l'incertitude permet de prédire l'impact humain potentiel des catastrophes et des régions les plus sensibles, ce qui peut aider à évaluer la robustesse du réseau de la chaîne d'approvisionnement dans différents scénarios, en tenant compte de diverses sources d'incertitude, telles que la demande et incertitudes sur les données documentées. D'autre part, le modèle caché basé sur Markov est utilisé pour prédire le comportement d'une catastrophe lors de la prochaine occurrence, sur la base de données et de tendances historiques. Ce modèle fournit des informations importantes sur le potentiel des HMM dans la gestion des catastrophes et la logistique humanitaire et souligne l'importance de ces modèles dans la protection des impacts des catastrophes, des populations vulnérables et dans l'atténuation des effets des catastrophes naturelles à l'avenir. La thèse vise également à identifier les emplacements optimaux des installations et à développer un plan de réponse efficace aux catastrophes pouvant atténuer l'impact des catastrophes. Ces stations auront pour fonction la réception, le contrôle, le soutien et la distribution de l'aide en cas de catastrophes naturelles (tremblements de terre, inondations, sécheresse, glissements de terrain...) ou catastrophes d'origine humaine (accidents technologiques, attentats terroristes, accidents de la route), à travers l'intégration des différents acteurs de la chaîne d'approvisionnement de l'aide marocaine (Ministère de l'Intérieur, Ministère de l'Aménagement des Territoires marocains, protection civile, militaire...) et en considérant diverses sources d'incertitude, telles que la demande, les délais de transport et les ruptures d'approvisionnement. Les emplacements optimaux des installations identifiés par les modèles offrent une meilleure couverture des zones touchées, améliorant ainsi la rapidité et l'efficacité du plan d'intervention en cas de catastrophe<br>Disaster modelling and facility location are critical aspects of disaster management that help to improve the effectiveness and efficiency of relief supply chains. However, the inherent uncertainties associated with disasters and relief supply chains can significantly impact the effectiveness of such models. To address this challenge, the thesis proposes the use of uncertainty quantification-based models and hidden Markov based models for disaster modelling in the context of the Moroccan relief supply chain. The thesis initiates by conceptualizing the Moroccan relief supply chain, comprehensively outlining its design, activities, and the various actors involved in the humanitarian process, then, a detailed analysis was conducted to highlight the strengths and weaknesses of the Moroccan relief supply chain. This involved a deep examination of uncertainty sources within the humanitarian process, to make a good understanding of challenges faced within the Moroccan relief supply chain and identify the specific requirements. Following this conceptual groundwork, the proposed models are then applied to a dedicated case study of the Moroccan relief supply chain. This practical application aims to validate the effectiveness of the uncertainty quantification-based models and hidden Markov-based models in a real-world scenario, providing valuable insights into their applicability, utility, and potential impact on the complex dynamics of the humanitarian field. The results demonstrate that the uncertainty quantification-based model and the hidden Markov based model can significantly improve the robustness and efficiency of the supply chain network in term of disaster prediction. The uncertainty quantification-based model enables to make prediction of the potential human impact of disasters and the most sensitive regions which can help in the evaluation of the robustness of the supply chain network under different scenarios, considering various sources of uncertainty, such as demand and uncertainties on documented data. On the other hand, the hidden Markov based model is used to predict the disaster behaviour in next occurrence, based on historical data and trends. This model provides important insights into the potential of HMMs in disaster management and humanitarian logistics and emphasize the importance of these models in protecting disasters impact, vulnerable populations and mitigating the effects of natural disasters in the future. The thesis aims also to identify the optimal facility locations and develop an efficient disaster response plan that can mitigate the impact of disasters, this stations will have for function the reception, control, support and the distribution of help in case of natural disasters (earthquakes, floods, torrential floods, locust invasions, drought, landslides ...) or man-made disasters (technological accidents, terrorist attacks, road accidents, pollution ...), through the integration of different actors in the Moroccan relief supply chain (Ministry of the Interior, Ministry of Planning of Moroccan Territories, the civil protection, military, NGOs ...) and by considering various sources of uncertainty, such as demand, transportation time, and supply disruptions. The optimal facility locations identified by the models provide a better coverage of the affected areas, thereby improving the speed and effectiveness of the disaster response plan. The thesis highlights the significance of incorporating uncertainty analysis in disaster modelling and provides insights into the relief supply chain management in Morocco. The findings of this thesis can be useful for policymakers and practitioners in disaster management to improve the effectiveness and efficiency of relief supply chains

La thèse porte sur la localisation des biens publics générateurs de nuisances, du type incinérateur, décharge ou encore centrale nucléaire. L'implantation de tels équipements est sujette depuis une trentaine d'années à de vives oppositions de la part des riverains potentiels ; oppositions regroupées sous l'appellation " syndrome NIMBY " (Not In My BackYard). C'est pourquoi l'objet premier de la thèse est de proposer des améliorations dans les procédures de localisation employées en la matière. Dans un premier chapitre, nous proposerons à la fois une analyse détaillé du concept mais également un tour d'horizon des procédures de localisation existantes. Dans les chapitres deux et trois, deux procédures décentralisées sont analysées et améliorées : les processus d'échange volontaire, lorsque le nombre de sites potentiels est relativement restreint, les mécanismes d'enchère dans le cas contraire. Les résultats obtenus sont alors testés à l'aide d'expériences en laboratoire.

Le secours à personne (SAP) correspond aux missions que réalisent les pompiers français pour porter secours en urgence aux victimes. Comme la démographie médicale, le nombre de pompiers volontaires est en baisse, particulièrement dans les espaces périurbains et ruraux. Parallèlement, le nombre d’interventions de type SAP est en augmentation constante, ce qui engendre localement des tensions entre l’offre et la demande en secours. Une des solutions pour remédier à cette situation consiste à optimiser la localisation des moyens existants. Cependant, les méthodes mises en œuvre pour cela, par les professionnels, ne sont pas suffisamment intégrées, et celles développées par les chercheurs, pas suffisamment opérationnelles. L’objectif de cette recherche est donc de proposer une méthode d’optimisation des localisations, à la fois intégrée et opérationnelle. Le choix s’est porté vers les modèles de localisation-allocation, car ils permettent de prendre en compte, de manière globale, l’ensemble des paramètres entrant en jeu dans la localisation des secours, ainsi que les conséquences en chaîne que les choix de localisation peuvent entraîner. La démarche se décompose en trois étapes. La première consiste à réaliser un diagnostic du SAP. La deuxième consiste à choisir et préparer les données d’entrée du modèle et le paramétrer. La troisième consiste à réaliser différents grands scénarios d’optimisation possibles. Cette démarche a permis de mettre en exergue les besoins de méthodes et d’outils d’optimisation opérationnels et de démontrer l’intérêt des modèles de localisation-allocation comme aide à la réflexion pour l’optimisation de la localisation des moyens de SAP<br>In France, emergency rescue for victims is an integral part of the fire brigade missions. This is what we called the secours à personne (SAP). These last years, the number of volunteer firemen is in decline, particularly in the peri-urban and rural areas, which is not without consequence on the coverage of operational resources, especially since these sectors are already experiencing a decline in medical demography. At the same time, the number of SAP type of interventions is increasing. In this context, tensions between supply and demand for SAP tend to increase. One of the solutions envisaged to solve this situation is to optimize the location of existing resources. However, the methods implemented to this, by professionals, don’t prove to be sufficiently integrated, and those developed by researchers, not sufficiently operational. The main objective of this research is to propose an optimization method for localized SAP resources, both integrated and operational.The choice fell on the location-allocation models, because they take into account, overall, the set of parameters that come into play in the location of the emergency, and the consequences chain as location choices can result. The approach consists of three steps. The first is to make a diagnosis of SAP. The second is to select and prepare input data and configure the model. The third is to carry out various great scenarios optimization possible. This approach allowed, on one hand, to highlight the needs and methods of operational optimization tools, and on the other hand, to demonstrate the interest of the location-allocation models as an aid to reflection for optimizing localization of SAP resources

Dans des système concurrent, potentiellement embarqués et distribué, il est souvent crucial d'être capable de déterminer quel(s) composant(s) est(sont) responsable(s) d'une défaillance, que ce soit pour debbuger, établir une responsabilité contractuelle du fournisseur des composant, ou pour isolée, ou redémarrer les composants défaillants. Le diagnostic s'appuie sur l'analyse de la causalité logique pour distinguer les composants ayant contribué à la défaillance du système, de ceux ayant eu peu ou pas d'impact sur cette dernière. Plus précisément, un composant C est une cause nécessaire, si la propriété P du système n'aurait pas été violée si C s'était comporté selon sa spécification S. De même, C est une cause suffisante de la violation de P (défaillance du système) si P aurait été violée, même si tous les composants, sauf C, avait respecté leur spécification. Autrement dit, la violation de S, du composant C, est suffisante pour violer P. L'approche a été formalisée, initialement, pour des modèle d'interaction BIP. Le but de ce projet est de formaliser un raisonnement similaire pour des programmes fonctionnels, où les fonctions sont équipées d'invariant décrivant leur comportement attendu. L'analyse prendrait en entrée une trace d'exécution (défaillante) et les invariant, et déterminerait quelle(s) fonction(s) est(sont) une(des) cause(s) de la défaillance. L'approche devra être implémenté et appliquée à des cas d'études provenant du domaine médical, ou de l'automatique<br>In a concurrent, possibly embedded and distributed system, it is often crucial to be able to determine which component(s) caused an observed failure - be it for debugging, to establish the contractual liability of component providers, or to isolate or reset the failing component. The diagnostic relies on analysis of logical causality to distinguish component failures that actually contributed to the outcome from failures that had little or no impact on the system-level failure . More precisely, necessary causality of a component C characterizes cases when a system-level property P would not have been violated if the specification S of C had been fulfilled. Sufficient causality characterizes cases where P would have been violated even if all the components but C had fulfilled their specifications. In other words, the violation of S by C was sufficient to violate P. The initial approach to causality analysis on execution traces was formalized for the BIP interaction model. The goal of this project is to formalize a similar reasoning for functional programs where functions are equipped with invariants describing the expected behavior. The analysis should take a (faulty) execution trace and the invariants and determine which function(s) caused the failure. The results should be implemented and applied to case studies from the medical and automotive domains

La croissance des terminaux et des services de réseau mobile pose aujourd'hui une question sur la méthode de distribuer efficacement des données aux utilisateurs. Plusieurs applications de réseau ont besoin de télécharger des données afin de fournir des informations aux utilisateurs. En conséquence, l'explosion du trafic de données exercé par les clients qui cherchent des contenus en ligne provoque la saturation du réseau cellulaire des opérateurs mobiles. Similaire aux problèmes du réseau Internet, les utilisateurs mobiles ont désormais fait face à la congestion au niveau des passerelles de réseau. En raison de l'imprévisibilité de la mobilité humaine, les fournisseurs de services mobiles ne peuvent pas installer suffisamment des infrastructures pour leurs clients. La réplication de contenu dans ce contexte a été prouvée comme une bonne solution pour améliorer la performance et l'extensibilité du réseau. Dans cette thèse, nous abordons les problèmes de la réplication du contenu dans des réseaux hétérogènes mobiles. Nous étudions deux questions fondamentales: où et combien de répliques doivent être placées dans le système. Nous modélisons le problème à l'aide de la théorie de "facility location" et nous concevons un mécanisme distribué qui est capable de réduire la latence d'accès au contenu et d'éviter la congestion au niveau des passerelles mobiles. En outre, nous examinons les contraintes de ressources des équipements mobiles et proposons des mécanismes P2P pour transférer les répliques afin de parvenir l'équilibrage de charge parmi les utilisateurs. Nous évaluons nos mécanismes en utilisant des modèles de mobilité humaine. Enfin, pour résoudre le problème causé par les utilisateurs rationnels qui se comportent égoïstement lors de la réplication du contenu dans les réseaux hétérogènes mobiles, nous dérivons un modèle de coût et utilisons la théorie des jeux pour étudier les équilibres du système. Particulièrement, nous étudions le facteur de réplication dans un scénario "flash-crowd" avec de différents débits de réseau sans fil. A partir des résultats théoriques, nos futurs travaux sont d'élaborer des stratégies à mettre en œuvre dans les réseaux en pratique.

Les défauts d’arcs électriques sont souvent la cause du déclenchement d’un incendie dans l’habitat. Les détecter constitue une amélioration de la sécurité électrique domestique. La contribution de cette thèse porte sur la problématique de l’identification et de la détection de défauts d’arcs électriques sur le réseau basse tension domestique (charge simple et combinée). Dans ce travail de thèse, le premier axe de recherche porte sur la mise en œuvre d’un modèle de simulation de réseau. Sur le modèle de réseau l’objectif est d’introduire à volonté et de manière graphique des charges de nature différentes associées à un défaut d’arc électrique série. La modélisation porte sur la source de tension, des charges domestiques, le défaut d’arc et le bloc d’analyse numérique du courant et de la tension pour la commande d’un disjoncteur. Le second axe de recherche porte la mise au point de méthodes de détection robuste d’un défaut d’arc électrique Quatre méthodes originales de détection portant sur la tension et le courant de ligne ont été développées dans le cadre de ce travail de thèse. Elles sont toutes basées sur l’analyse des caractéristiques fréquentielles et temporelles du courant de ligne. Toutes les méthodes produisent une information dont l’amplitude tend à s’accroître en présence d’un arc électrique. Toutefois, le caractère non déterministe et très variable des signaux produits par un arc électrique ainsi que la grande variabilité des charges et des perturbations qu’elles introduisent rendent la détection très difficile. L’ensemble des études s’est donc systématiquement composé d’une comparaison entre la situation avec et sans arcs. Le résultat a abouti à une approche combinée de plusieurs méthodes et d’un modèle simple de décision basé sur un simple seuil. Un prototype implémentant une partie de l’algorithme a montré la faisabilité d’un circuit en temps réel<br>The electrical arc faults are the cause of electrical home fire. Detecting them is an improvement of domestic electrical safety. The thesis contribution focuses on the problem of the electrical arc fault identification and detection in the domestic low voltage network. In this thesis, the first research objective is the modeling of a domestic electrical network. The aim of the modeling is to recreate graphically the loads and the topology of the real domestic electrical network associated with a series electrical arc fault. The modeling is made on the AC voltage source, domestic loads, arc fault model and a block of current and voltage analysis to control a circuit breaker. The second research objective is the development of a robust method for detecting arcing fault. Four detecting methods were developed as part of this thesis; they are based on the current analysis of frequency and time characteristics. All methods generate information whose amplitude tends to increase in the presence of an electric arc. However, the non-deterministic and random feature of the signals produced by the electrical arc fault as well as the large number and variability of loads and the disturbances which they introduce make the arc detection very difficult. All the studies consistently are composed of a comparison between the normal operation and arc fault signals. The result has resulted in a combined approach of some methodologies and a simple decision model based on a threshold. A prototype which contains a part of the algorithm was shown the feasibility of a circuit in real time

Les défauts d’arcs électriques sont souvent la cause du déclenchement d’un incendie dans l’habitat. Les détecter constitue une amélioration de la sécurité électrique domestique. La contribution de cette thèse porte sur la problématique de l’identification et de la détection de défauts d’arcs électriques sur le réseau basse tension domestique (charge simple et combinée). Dans ce travail de thèse, le premier axe de recherche porte sur la mise en œuvre d’un modèle de simulation de réseau. Sur le modèle de réseau l’objectif est d’introduire à volonté et de manière graphique des charges de nature différentes associées à un défaut d’arc électrique série. La modélisation porte sur la source de tension, des charges domestiques, le défaut d’arc et le bloc d’analyse numérique du courant et de la tension pour la commande d’un disjoncteur. Le second axe de recherche porte la mise au point de méthodes de détection robuste d’un défaut d’arc électrique Quatre méthodes originales de détection portant sur la tension et le courant de ligne ont été développées dans le cadre de ce travail de thèse. Elles sont toutes basées sur l’analyse des caractéristiques fréquentielles et temporelles du courant de ligne. Toutes les méthodes produisent une information dont l’amplitude tend à s’accroître en présence d’un arc électrique. Toutefois, le caractère non déterministe et très variable des signaux produits par un arc électrique ainsi que la grande variabilité des charges et des perturbations qu’elles introduisent rendent la détection très difficile. L’ensemble des études s’est donc systématiquement composé d’une comparaison entre la situation avec et sans arcs. Le résultat a abouti à une approche combinée de plusieurs méthodes et d’un modèle simple de décision basé sur un simple seuil. Un prototype implémentant une partie de l’algorithme a montré la faisabilité d’un circuit en temps réel<br>The electrical arc faults are the cause of electrical home fire. Detecting them is an improvement of domestic electrical safety. The thesis contribution focuses on the problem of the electrical arc fault identification and detection in the domestic low voltage network. In this thesis, the first research objective is the modeling of a domestic electrical network. The aim of the modeling is to recreate graphically the loads and the topology of the real domestic electrical network associated with a series electrical arc fault. The modeling is made on the AC voltage source, domestic loads, arc fault model and a block of current and voltage analysis to control a circuit breaker. The second research objective is the development of a robust method for detecting arcing fault. Four detecting methods were developed as part of this thesis; they are based on the current analysis of frequency and time characteristics. All methods generate information whose amplitude tends to increase in the presence of an electric arc. However, the non-deterministic and random feature of the signals produced by the electrical arc fault as well as the large number and variability of loads and the disturbances which they introduce make the arc detection very difficult. All the studies consistently are composed of a comparison between the normal operation and arc fault signals. The result has resulted in a combined approach of some methodologies and a simple decision model based on a threshold. A prototype which contains a part of the algorithm was shown the feasibility of a circuit in real time