Le problème d’optimisation de la gestion d’un réseau hydrographique en période de crues consiste à résoudre un problème tactique de coordination des lâchers des réservoirs, afin de minimiser les dégâts occasionnés, en prenant en considération les exigences et spécificités spatiales du système. Comme la Programmation Dynamique Neuronal (PDN) permet d’aborder les problèmes stochastiques à évolutions temporelle et séquentielle, mais ne traite pas l’aspect spatial, alors que les Systèmes d’Information Géographique (SIG) permettent une représentation spatiale, mais avec une gestion limitée de l’aspect temporel, un couplage serré entre ces deux techniques s’avère une alternative dans la résolution de ce problème. Nous proposons alors une nouvelle approche pour la détermination des scénarios de lâchers optimaux d’un réseau hydrographique, dans lequel, les lâchers d’un réservoir sont déterminés par Système d’aide à la décision associant ces deux composantes. Une mise en œuvre sur le réseau hydrographique du Nord de la Tunisie nous a permis de valider cette approche en proposant des scénarios de lâchers satisfaisants / A decision support system (DSS) has been developed for integrated, real-time flood control in a multi-reservoir system. The DSS integrates a geographic information system (GIS) with an optimization module, and a graphical dialog interface allowing effective use by system operators. A neuro-dynamic programming technique (NDP), which overcomes numerous limitations of dynamic programming (DP), is introduced for determining the optimal release policy under flood conditions. Results obtained in a real-world case study are finally presented

La contractilité cellulaire, un phénomène orchestrée par le système d'actomyosine, est un régulateur critique d'une large gamme de processus cellulaires, y compris l'établissement de la polarité cellulaire, la migration cellulaire, l'intégrité des tissus au cours de la morphogenèse ou du développement. Une simple perturbation de la génération de la force et des propriétés mécaniques des cellules peut affecter leurs fonctions physiologiques et par conséquent peut conduire à des défauts pathologiques y compris le cancer.Cependant, les mécanismes qui contrôlent la production de la force par le système acto-myosine et leurs modes de régulation dans les cellules ne sont pas pleinement compris. Au cours de ma thèse, j'ai utilisé un système biomimétique fait d'un ensemble minimal de protéines purifiées pour étudier les propriétés contractiles du système actomyosin.L'objectif était de comprendre comment l'architecture des filaments d'actine peut modifier la réponse contractile. A cet effet, j'étais d'abord intéressée par la construction d'une variété d'organisation de l'actine qui servira après comme substrat pour les moteurs moléculaires (la myosine) lors de la contraction.Afin de comprendre les principes généraux qui dictent l'assemblage de l'actine, nous avons développé un modèle numérique qui nous a permis d'identifier les paramètres clés, y compris l'interaction entre les filaments d'actine, les propriétés mécaniques de ces filaments et l'activation par contact entre une région de nucléation et les filaments d'actine qui poussent à partir d'un motif adjacent. Ce modèle a été utilisé en premier lieu pour implémenter les propriétés reliées à l'actine et en second lieu pour évaluer la réponse contractile des structures d'actine induite par la myosine.Durant ma thèse, j'ai pu démontrer que le niveau de connectivité module la déformation du réseau d'actine induite par la myosine, selon leur architecture. J'ai montré aussi que les protéines de pontages des filaments d'actine sont nécessaires pour effectuer une déformation et générer des forces au niveau des réseaux d'actine dynamiques en présence de la myosine. De plus, nous avons développé les simulations numériques dans le but de relier la déformation macroscopique des structures d'actines due à la myosine avec le mécanisme microscopique sous-jacent.Ce travail a révélé comment la variété des réseaux d'actine contracte d'une façon différente même en respectant les mêmes conditions biochimiques et a démontré l'importance de l'effet du réarrangement dynamique des structures d'actine sur la modulation de sa contractilité. / Cellular contractility – the internal generation of force by a cell orchestrated by theactomyosin machinery – is a critical regulator of a wide range of cellular processes includingthe establishment of cell polarity, cell migration, tissue integrity or morphogenesis duringdevelopment. Disruptions of the force generation and of mechanical properties of living cellsaffect their physiological functions and consequently can lead to pathological defectsincluding cancer. However, the parameters or mechanisms that drive force production by theactin-myosin system and their mode of regulation in cells are not fully understood. During myPhD, I used biomimetic system made of a minimum set of proteins to study the properties ofactomyosin contractile systems. The goal was to understand how/if the actin architecture canmediate the contractile response. For this purpose, I was first interested in building a varietyof actin organization that will serve next as substrate for myosin during contraction. Tounderstand the general principles that dictate geometrically-controlled actin assembly, wedeveloped a model that allowed us to identify key parameters including filaments/filamentsinteraction, filament mechanical property and contact activation between actin filamentsgrowing from the adjacent pattern and the nucleation area. These actin templates were usedthen to evaluate the response of oriented actin structures to myosin-induced contractility. Idemonstrated that crosslinking level modulates the myosin-induced deformation of actinnetworks according to their architecture. I showed also that crosslinkers are necessary tosustain myosin-driven deformation and force production of dynamic actin networks. Inaddition, we developed numerical simulation in order to relate the observed myosin-drivenactin deformation with the underlying microscopic mechanism. This work revealed howdiverse cellular actin networks contract differently to a define set of biochemical conditionsand hence how dynamic rearrangements can modulate network contractility

Le 21_eme siècle est le siècle de l'explosion informatique, des milliards de Données sont produites, collectées et stockées dans notre vie quotidienne. Les façons de collecter les ensembles de données sont multiples mais toujours en essayant d'optimiser le critère qui consiste _a avoir le maximum d'information dans le minimum de données numérique. Il est préférable de collecter directement l'information, car les informations étant contraintes sont dans un espace plus faible que celui où évolues les données (signaux ou états). Cette méthode est donc appelée \la collecte de l'information", et conceptuellement peut ^être résumée dans les trois étapes suivantes : (1) la modélisation, ceci consiste _a condenser l'information pertinente pour les signaux _a un sous-espace plus petit; (2) l'acquisition, ceci consiste _a collecter et préserver l'information dans un espace inferieur _a la dimension des données et (3) la restauration, ceci consiste _a reconstituer l'information dans son espace d'origine. En suivant cette pensée, les principales contributions de cette thèse, concernant les observateurs et le \Compressive Sensing" (CS) basé sur des modèles bay_esiens peuvent ^être unies dans le cadre de la collecte de l'information : les principaux problèmes concernés par ces deux applications peuvent ^être de façon analogue, scindés en les trois étapes sus- mentionnées. Dans la première partie de la th_ese, le problème réside dans le domaine des systèmes dynamiques où l'objectif est de retrouver l'état du système _a partir de la mesure de la sortie. Il nous faut donc déterminer si les états du système sont récupérables _a partir des mesures de la sortie et de la connaissance partielle ou totale du modèle dynamique, c'est le problème de l'observabilité. Ensuite de transposer notre problème dans une représentation plus appropriée, c'est l'écriture sous forme normale et en récupérer l'information, c'est la phase de synthèse d'observateur. Plus précisément dans cette partie, nous avons considéré une classe de systèmes à commutation haute fréquence allant jusqu'au phénomène de Zénon. Pour ces deux types de commutation les transitions de l'état discret sont considérées trop élevées pour ^être mesurées. Toutefois, la valeur moyenne obtenue par filtrage des transitions peut ^être acquise ce qui donne une connaissance partielle des états discrets. Ici, avec ces seuls informations partielles, nous avons discuté de l'observabilité et ceci par les approches géométrie différentielle et algébrique. Aussi, des observateurs ont été proposes par la suite. Dans la deuxième partie de cette thèse, nous avons abordé de la même manière le thème du CS qui est une alternative efficace à l'acquisition abondante de données faiblement informatives pour ensuite les compresser. Le CS se propose de collecter l'information directement de façon compressée, ici les points clés sont la modélisation du signal en fonction des connaissances a priori dont on dispose, ainsi que la construction d'une matrice de mesure satisfaisant la \restricted isometry property" et finalement la restauration des signaux originaux clairsemés en utilisant des algorithmes d'éparpillement régularisé et d'inversion linéaire. Plus précisément, dans cette seconde partie, en considérant les propriétés du CS liées _a la modélisation, la capture et la restauration, il est proposé : (1) d'exploiter les séquences chaotiques pour construire la matrice de mesure qui est appelée la matrice chaotique de mesure, (2) considérer des types de modèle de signal clairsemé et reconstruire le modèle du signal à partir de ces structures sous-jacentes des modèles clairsemés, et (3) proposer trois algorithmes non paramétriques pour la méthode bayesienne hiérarchique. Dans cette dernière partie, des résultats expérimentaux prouvent d'une part que la matrice chaotique de mesure a des propriétés semblables aux matrices aléatoires sous-gaussienne et d'autre part que des informations supplémentaires sur les structures sous-jacentes clairsemés améliorent grandement les performances de reconstruction du signal et sa robustesse vis-a-vis du bruit. / This is the era of information-explosion, billions of data are produced, collected and then stored in our daily life. The manners of collecting the data sets are various but always following the criteria { the less data while the more information. Thus the most favorite way is to directly measure the information, which, commonly, resides in a lower dimensional space than its carrier, namely, the data (signals or states). This method is thus called information measuring, and conceptually can be concluded in a framework with the following three steps: (1) modeling, to condense the information relevant to signals to a small subspace; (2) measuring, to preserve the information in lower dimensional measurement space; and (3) restoring, to reconstruct signals from the lower dimensional measurements. From this vein, the main contributions of this thesis, saying observer and model based Bayesian compressive sensing can be well uni_ed in the framework of information measuring: the main concerned problems of both applications can be decomposed into the above three aspects. In the _rst part, the problem is resided in the domain of control systems where the objective of observer design is located in the observability to determine whether the system states are recoverable and observation of the system states from the lower dimensional measurements (commonly but not restrictively). Speci_cally, we considered a class of switched systems with high switching frequency, or even with Zeno phenomenon, where the transitions of the discrete state are too high to be captured. However, the averaged value obtained through filtering the transitions can be easily sensed as the partial knowledge. Consequently, only with this partial knowledge, we discussed the observability respectively from differential geometric approach and algebraic approach and the corresponding observers are designed as well. At the second part, we switched to the topic of compressive sensing which is objected to sampling the sparse signals directly in a compressed manner, where the central fundamentals are resided in signal modeling according to available priors, constructing sensing matrix satisfying the so-called restricted isometry property and restoring the original sparse signals using sparse regularized linear inversion algorithms. Respectively, considering the properties of CS related to modeling, measuring and restoring, we propose to (1) exploit the chaotic sequences to construct the sensing matrix (or measuring operator) which is called chaotic sensing matrix, (2) further consider the sparsity model and then rebuild the signal model to consider structures underlying the sparsity patterns, and (3) propose three non-parametric algorithms through the hierarchical Bayesian method. And the experimental results prove that the chaotic sensing matrix is with the similar property to sub-Gaussian random matrix and the additional consideration on structures underlying sparsity patterns largely improves the performances of reconstruction and robustness.

Ma thèse porte sur l'étude des rôles régulateurs des GTPases Rho et de leurs effecteurs ROCK sur l'expression de ligands du système immunitaire, sur des cellules de mélanomes murins et humains ainsi que les conséquences sur le développement tumoral de modulateurs de la voie RhoA/ROCK. A l'heure actuelle, les traitements du mélanome métastatique ont une efficacité limitée, c'est pourquoi les nouvelles stratégies s'orientent vers l'immunothérapie notamment en recherchant de nouvelles molécules pharmacologiques capables d'amplifier les réponses immunes anti mélanome. Mon travail a porté sur l'étude de trois ligands de l'immunité modulés par la voie RhoA/ROCK : - Nous avons étudié la régulation du ligand MICA qui est exprimé sur des mélanomes humains, mais qui est reconnu par les cellules NK humaines et murines du système immun inné. En utilisant des statines, qui sont des inhibiteurs de l'activité des Rho, nous avons induit une surexpression membranaire de MICA sans toxicité cellulaire. Cette surexpression s'accompagne d'une sensibilisation des mélanomes à la lyse par les cellules NK. Elle induit également un ralentissement de leur croissance tumorale sous-cutanée en souris NMRI nu/nu et une diminution de l'implantation des métastases pulmonaires. Nous avons aussi montré que cette régulation de MICA induite par les statines ne dépendait pas de l'inhibition des GTPases Ras ou Rho mais de la voie de PPAR?. - Nous avons ensuite étudié la régulation de la molécule de costimulation CD70 par les GTPases Rho sur des mélanomes humains et son rôle dans ces tumeurs. Nous avons montré que les mélanomes primitifs expriment CD70, que cette expression diminue au cours de la maladie et que la GTPase RhoA et la voie des MAPK contrôlent positivement l'expression de CD70 sur nos lignées de mélanome humain. De façon surprenante, nous avons aussi montré que CD70 possède une fonction non immunologique dans ces tumeurs. En effet, la trimérisation de CD70 favorise l'invasion tumorale et l'apparition de métastases en activant la voie de signalisation BRAF/MEK/ERK/RhoE et en inhibant les fibres de stress d'actine et des points focaux d'adhésion. - Enfin, nous nous sommes intéressés aux conséquences de la modulation de FasL sur le développement tumoral du mélanome murin B16F10. Des travaux précédents de l'équipe ont montré que la protéine RhoA et ses effecteurs ROCK régulent de façon négative l'expression de FasL à la membrane des cellules B16F10. Nous avons étudié le rôle in vivo de la surexpression de FasL induite par l'inhibition de ROCK par le H1152. Nous avons mis en évidence un ralentissement de la croissance tumorale in vivo chez les souris immunocompétentes. Ce contrôle du développement tumoral est dépendant de la voie Fas/FasL et de l'activité des lymphocytes TCD8+ et de l'IFN-?. De plus, l'inhibition de ROCK réduit le nombre de métastases pulmonaires sans intervention de la réponse immune adaptative. L'ensemble de mes travaux montre que le ciblage de la voie des GTPases Rho et de leurs effecteurs ROCK constitue une approche nouvelle pour amplifier les réponses immunes protectrices innées et adaptatives anti mélanome, suggérant que des inhibiteurs de cette voie pourraient être envisagés dans de nouveaux protocoles d'immunothérapie du mélanome / My thesis focuses on the study of the regulatory roles of Rho GTPases and their effectors ROCK on the expression of immune system ligands in murine and human melanoma cell lines and the impact on tumor development of modulators of the RhoA/ROCK pathway. Current therapies for metastatic melanoma have poor efficiency. It is the reason why new immunotherapeutic strategies are developed for to find new pharmacological molecules that could improve anti-melanoma immune responses. My work is based on the study of three immune ligands: - We studied the regulation by Rho GTPases of MICA ligand expression in human melanoma cell lines and their recognition by NK cells. Using statins, inhibitors of Rho GTPases activity, we have induced MICA over-expression without any cell toxicity. This MICA over-expression enhanced melanoma cells sensitivity to NK cells lysis, then reduced subcutaneous tumor growth in NMRI nu/nu mice and also decreased pulmonary metastases implantation. We also showed that statins-induced MICA over-expression was not linked to Ras or Rho GTPases inhibition but to PPAR? pathway. - Then, we studied the expression and the function of a co-stimulatory molecule, CD70, and its regulation by the Rho pathway in human melanomas. We demonstrated that the RhoA GTPase and MAPK pathway positively regulate CD70 expression in our melanoma cell lines. Surprisingly, we observed a non-immunological function of CD70 in melanoma. Indeed, CD70 trimerization enhanced melanomas invasion and metastatic capacities through an activation of BRAF/MEK/ERK/RhoE pathway, which inhibited stress fibers and focal adhesions. - Finally, we analyzed the consequences of FasL over-expression on B16F10 murine melanoma development in vivo. Our previous studies have showed that RhoA/ROCK pathway negatively regulates membrane FasL expression on B16F10 cells. We studied in vivo the role of this FasL over-expression induced by ROCK inhibitor H1152, on melanoma cells. We showed tumor growth shrinkage in immunocompetent mice, when B16F10 cells were pretreated with H1152. The Fas/FasL pathway and the activity of TCD8+ cells and IFN- ? induced this tumor slowing down. Moreover, ROCK inhibition induced a reduction of pulmonary metastases implantation independently of T lymphocytes response. Altogether, my work showed that targeting Rho GTPases/ROCK pathway could be interesting in order to improve innate and adaptative anti melanoma immune responses, suggesting that inhibitors of this pathway could be envisaged in new melanoma immunotherapy protocols

L'objet principal de cette thèse est de montrer l'existence de solutions globales des équations d'Einstein-Maxwell avec des données initiales petites, lisses et asymptotiquement euclidiennes, pour des dimensions d'espace supérieures ou égales à 3. Dans ce but, on adapte une méthode de Lindblad et Rodnianski basée sur l'utilisation de la jauge harmonique et la jauge de Lorenz. Dans un second temps, on s'intéresse aux mêmes équations mais avec des données initiales bornées, non nécessairement petites et on montre, là aussi, qu'une solution globale peut être trouvée dans un certain domaine. / The main purpose of this thesis is to show the existence of global solutions for the Einstein-Maxwell equations with small, smooth and assymptotically euclidean date for spatial dimensions greater than or equal to 3. To this end, we adapt a method of Lindblad and Rodnianski based on the use of the harmonic gauge, when the space dimension is equal to 3, for Einstein equations coupled with a scalar field. Here, we choose to work with the harmonic gauge and the Lorenz gauge. In a second step, we look at the same equations but with bounded, not necessarily small, initial data and we show that a global solution can be found in a certain area.

La lexicographie contemporaine met à disposition des ressources offrant de multiples possibilités d’exploitation automatique. Ainsi, le Réseau Lexical du Français, en cours d’élaboration, est un graphe monolingue, constitué de sommets, entre lesquels sont encodées des relations syntaxico-sémantiques. Cette thèse s’intéresse à son exploration par raisonnement analogique. Elle débute par une revue de la formalisation et de l’informatisation de l’analogie pour l’étude du lexique, qui définit les principes de l’exploration  : les sommets sont des objets disposant d’Attributs, les arcs représentent des Relations. Une réflexion est menée sur la nature de ces éléments et les rapports qu’ils entretiennent, réalisée en tenant compte leur évolution dans le temps et de la topologie du graphe. Deux séries d’expériences viennent ensuite. La première montre que la formalisation de la ressource permet de détecter des analogies conformes à l’intuition, que différents types d’exploration sont possibles et que l’approche permet de vérifier la cohérence du réseau et de faire émerger des règles lexicales. La seconde série porte sur la notion de configurations de dérivations lexicales. Elle montre que le regroupement de sous-graphes analogues fait émerger des connexions récurrentes. L’état d’avancement du réseau ne permet pas d’obtenir des règles et des modèles aboutis, mais les résultats sont encourageants. L’analogie est alors considérée comme un guide pour s’assurer de la qualité de la représentation du lexique proposée et acquérir des connaissances sur son organisation. Elle permet d’identifier des phénomènes linguistiques et d’instrumenter l’activité lexicologique. / Contemporary lexicography provide ressources offering many opportunities for natural language processing tasks. Thus, the French Lexical Network, presently under development, is a graph of lexical units connected by a rich set of lexical relations. This PhD thesis lays the groundwork for an exploration of this ressource by analogical reasonning. It begins with a selective overview of formalisation and computerisation for study of lexicon, wich defines the principle of exploration : the nodes are similar to objects, which have some attributes and edges represent relations. A reflection is conducted on the nature of this constituents and the relations between them. It takes into account the time axis and the topology of the network. Then two sets of exploratory experiments are conducted. The first one shows that the resource formalisation makes it possible to detect automatically analogies consistent with intuition, that several kind of analogical explorations are possible and that the approach allows to check the consistency of the resource and to bring out lexical rules. The second one is focused around the concept of lexical derivation configurations. It shows how grouping of analogous subgraphs reveals recurrent connections. The progress status of the resource doesn't enable us to obtain successfully completed rules and models, but results are nontheless encouraging. Analogy can already be considered as a guide to ensure the quality of lexical resources. It also allows for the acquisition of knowledge about its organisation. Such knowledge can be used to identify linguitic phenomena and to design instruments to support lexicographic activity.

L’objectif de notre thèse est de comprendre et d’expliquer les modes d’intégration des systèmes comptables des entreprises à partir de quatre cas (deux grandes entreprises et deux entreprises moyennes). Nous nous sommes appuyés sur la théorie de la différenciation-intégration de Lawrence et Lorsch (1967) pour interpréter les situations d’intégration étudiées. Cette théorie montre que les entreprises ayant des structures très différenciées disposent des mécanismes d’intégration sophistiqués tandis que celles dont les structures sont peu différenciées ont des mécanismes de coordination rudimentaires. Nous avons également mobilisé l’approche événementielle et multidimensionnelle de Sorter (1969) qui propose un cadre théorique de l’intégration informatico-comptable. Les progiciels ERP constituent une application très concrète de cette approche. Notre analyse qualitative de quatre cas en termes de similitudes et de différences, appuyée sur la théorie de la différenciation-intégration, a permis d’expliquer les situations d’intégration des sous-systèmes comptables observées mais aussi de montrer la pertinence de l’approche événementielle, comme cadre de conception du système d’information de structures diversifiées et différenciées. Nos résultats montrent, à l’instar de Lawrence et Lorsch, qu’il existe des modes différents d’intégration des systèmes comptables adaptés à des contextes différents. Nous avons ébauché une typologie de quatre configurations types des systèmes comptables (quatre situations d’intégration-différenciation) : (1) Système classique bidimensionnel, (2) Système quasi-intégré centralisé, (3) Système intégré, (4) Système multidimensionnel. La stratégie et la taille paraissent être, au-delà de toutes autres considérations, les principaux déterminants de l’intégration comptable ; viennent ensuite, l’environnement et certains autres éléments du contexte tels que la structure de gestion et le système de contrôle. Cependant, l’impact de la taille diffère d’une entreprise à l’autre. Lorsque la taille est combinée à une stratégie de diversification (et par extension à des environnements variés et dynamiques) son effet différenciateur sur l’organisation (et le système comptable) est très important, ce qui nécessite des mécanismes compensateurs d’intégration développés. Les deux entreprises diversifiées (POULINA et MEDDEB) ont mis en place un système comptable intégré voire multidimensionnel pour maitriser leurs sous-systèmes différenciés. Lorsque la taille est la conséquence d’un simple développement d’une activité unique (monoactivité) son effet différenciateur-intégrateur sur l’organisation et le système comptable est moins important. Les deux entreprises ayant des activités et des structures homogènes (SONEDE et SME) se sont contentées d’un système comptable peu intégré voire bidimensionnel. / The objective of this thesis is to understand and explain the modes of integration of accounting systems of companies from four cases (two big and two medium-sized enterprises). We relied on the theory of differentiation-integration of Lawrence and Lorsch (1967) to interpret the studied integration situations. This theory shows that companies with very different structures have sophisticated mechanisms for integration while those whose structures are poorly differentiated have rudimentary coordination mechanisms. We have also mobilized the event and multidimensional approach of Sorter (1969) who proposes a theoretical framework for the accountant integration. The ERP is a highly practical application of this approach.Our qualitative analysis of four cases study in terms of similarities and differences, supported on the theory of the differentiation-integration, helped to explain the observed situations of integration of accounting subsystems but also to show the relevance of the event-based approach, as part of system design information structures diversified and differentiated. Our results show, like Lawrence and Lorsch, that there are different modes of integration of accounting systems tailored to different contexts. We have developed a typology consisting of four configurations of accounting systems (four situations integration-differentiation): (1) Conventional two-dimensional system, (2) Quasi-integrated centralized system, (3) Integrated system,(4),Multidimensional,system.Strategy and size appear to be, beyond all other considerations, the main determinants of the accounting, followed, environment and other elements of the context of the accounting system such as the management structure and system management control. However, the impact of the size differs from one company to another. When the size is combined with a strategy of diversification (and by extension to various and dynamic environments) its differentiating effect on the organization (and the accounting system) is very important, requiring developed integration compensatory mechanisms. Both diversified firms (POULINA and MEDDEB) have implemented an integrated accounting system to unify their subsystems differentiated. When the size is the result of a simple development of a single activity (monoactivity) its integrator-differentiator effect on the organization and the accounting system is less important. Companies with activities and homogeneous structures (SONEDE and SME) have been content to a poorly integrated accounting system or two-dimensional.

Cette thèse concerne la coordination en univers des multi-agents et en particulier dans des contextes de crise. Nous assistons actuellement à un accroissement du nombre de crises, non seulement des catastrophes naturelles (ouragan Katrina, tremblement de terre d'Haïti, ...) mais aussi humanitaires (crise des réfugiés syriens en Europe, printemps Arabe, émeutes de Baltimore, ...). Dans toutes ces crises, les différents acteurs œuvrant pour leurs résolutions doivent agir rapidement et simultanément, afin de contrôler et réduire les impacts de la crise sur le monde réel. Pour atteindre cet objectif commun aussi rapidement et efficacement que possible, ces acteurs (police, forces militaires, organisations médicales) doivent mettre en commun leurs ressources et compétences respectives, collaborer et agir de manière coordonnée, le plus souvent en suivant un plan qui indique la répartition du travail et les échanges entre eux. Par coordination, nous entendons tout le travail nécessaire pour élaborer ou adapter le plan de résolution de crises et mettre en commun les compétences et les ressources de tous les intervenants afin d'atteindre l'objectif commun (la résolution de crise) de manière efficace. Les plans de résolution de crise sont la plupart du temps disponibles dans un format textuel définissant les acteurs impliqués, leurs rôles et des recommandations pour leurs coordinations dans les différentes étapes du cycle de vie de crise (anticipation, préparation, résolution de la crise, retour d'expérience). Bien que les plans dans un format textuel soient faciles à manipuler par les intervenants pris individuellement, il n'existe pas de moyens directs pour les analyser, simuler, adapter, améliorer et ils peuvent avoir diverses interprétations, ce qui les rend difficile à gérer en temps réel et dans une situation où les acteurs sont géographiquement distribués. Au regard de ces observations, il devient indispensable de faire une modélisation de ces plans textuels afin d'en avoir une représentation précise, éviter toute ambiguïté, faciliter la coordination entre les intervenants et enfin faciliter la gestion ainsi que la résolution de crises. L'objectif de cette thèse est de contribuer à l'ingénierie de la coordination dans les domaines de crise en fournissant une approche globale qui prend en compte sans les confondre et en les articulant deux aspects essentiels de la gestion de crises : l'aspect organisationnel et l'aspect tâche. Dans cette perspective, notre approche combine deux paradigmes: BPM (Business Process Management) et les systèmes multi-agents, et fournit un algorithme de traduction entre leurs concepts. BPM fournit une vue globale de la coordination du point de vue de la tâche à réaliser et facilite la validation, la simulation et l'intelligibilité des plans de résolution de la crise au moment de leur conception tout en permettant le suivi de leur exécution. Le paradigme multi-agent fournit, quant à lui, des abstractions sociales (des interactions de haut niveau et des structures organisationnelles : rôles, relations et interactions entre acteurs) pour modéliser, analyser et simuler une vue organisationnelle de la coordination en représentant la structure et le comportement du système développé au niveau macro, indépendamment de la structure interne des agents à un niveau micro. La contribution de cette thèse est un cadre conceptuel pour l'ingénierie de la coordination. / This thesis is about coordination in multi-agent universes and particularly in crisis contexts. Recently, we have witnessed an increasing number of crises, not only natural disasters (hurricane Katrina, Haiti earthquake, ...) but also man-made ones (Syrian refugees crisis in Europe, Arabic spring, rioting in Baltimore, ...). In such crisis, the different actors involved in the resolution have to act rapidly and simultaneously in order to ease an efficient control and reduce its impacts on the real world. To achieve this common goal as quickly and efficiently as possible, these actors (police, military forces, medical organizations) must join their respective resources and skills to collaborate and act in a coordinated way, most often by following a plan that specifies the expected flow of work between them. By coordination, we mean all the work needed for putting resolution plans and all stakeholders' skills and resources together in order to reach the common goal (crisis resolution) in an efficient way. Crisis resolution plans are most of the time available in a textual format defining the actors, their roles and coordination recommendations in the different steps of crisis life-cycle (mitigation, preparedness, response and recovery). While plans in a printed document format are easy to manipulate by stakeholders when taken individually, they do not provide direct means to be analysed, simulated, adapted or improved and may have various different interpretations. Therefore they are difficult to manage in real time and in a distributed setting. Given these observations, it becomes useful to model these textual plans to have an accurate representation of them, to reduce ambiguity and to support coordination between stakeholders and ease an efficient control and crisis resolution. The goal of this PhD thesis is to contribute to coordination engineering in crisis domains by providing a comprehensive approach that considers both organizational and task aspects in a coherent conceptual framework. In this perspective, our approach combines Business Process and Multi-Agent paradigms and provides a mapping algorithm between their concepts. BPM (Business Process Modelling) provides an aggregate view of the coordination through the task aspect and so doing eases the validation, the simulation, the intelligibility of crisis resolution plans at design time and its monitoring at run time. The Multi-Agent paradigm provides social abstractions (high-level interactions and organization structures) to model, analyse and simulate an organizational view of the coordination by representing the structure and the behaviour of the system being developed at a macro level, independently of the internal structure of agents (micro level). The contribution of this thesis is a coordination framework, which consists of three related components: i) A design and development approach (design/discovery, analysis, simulation) that provides means (recommendations, formalisms, life-cycle, algorithms) to produce (agent and process-based) coordination models from a textual plan and/or event based log files, ii) A mapping algorithm deriving BPMN process schemas onto multi-agent structures, iii) Coordination evaluation metrics. We extend the works of Grossi and define formal metrics that allow the evaluation of the quality (efficiency, robustness and flexibility) of multi-agent system organizations. We have applied this framework to the Ho Chi Minh City Tsunami resolution plan.

La Sûreté de Fonctionnement (SdF) est un domaine étudié de façon de plus en plus rigoureuse par les concepteurs. Si la SdF relative aux organes bénéficie de retours d'expériences sur lesquels le développement de solutions physiques peut s'appuyer, tel n'est pas le cas lorsqu'il s'agit de concevoir les architectures fonctionnelles d'un produit. L'architecte Système conceptualise et conçoit un système qui doit fournir un service selon certaines performances ; son cadre de référence, à savoir l'Ingénierie Système étant lacunaire en matière de SdF. De la sorte, l’ingénieur expert en SdF intervient après l'architecte, réalise ses propres analyses fonctionnelles, perturbant le travail réalisé et obligeant à des boucles qui pourraient être évitées. Il convient de ce fait, pour les industriels, de s'intéresser de près à l'alignement entre la SdF et l'IS. Nous avons obtenu quatre résultats. Le premier est un modèle conceptuel de l’Ingénierie de Systèmes Sûrs de Fonctionnement. Ce modèle conceptuel permet de définir les concepts et les liens entre le domaine de l'IS et celui de la SdF. Le macroprocessus présenté permet de définir l’architecture d’un système sûr. Plusieurs activités spécifiques sont présentes dans le macroprocessus. Ainsi, nous avons développé une méthode qui concerne l’analyse des risques en vue externe. Nous avons proposé une nouvelle méthode qui permet de définir les Safety Goals associé pour les scénarios critiques et une autre permettant l’analyse des architectures fonctionnelles d’un point de vue dysfonctionnel pour définir les Functional Safety Requirements. Cette méthode repose sur des mécanismes de propagation de défaillance / Safety is an area which is increasingly stringent by designers. If Safety on components benefits from experience feedback on which the development of physical solutions can support, this is not the case when it comes to designing functional architecture of a product. The System Architect conceptualizes and designs a system that must provide service according to a defined level of performance; its framework, namely the System Engineering is incomplete for safety. In this way, the safety expert comes after architects, performs his/her own functional analyzes, disrupting the work and forcing loops that could be avoided. It should therefore, for industry to pay close attention to the alignment between the SE and safety. We got four results. The first one is a conceptual model of the Safe Systems Engineering. This conceptual model, divided into three views defines the concepts and relationships between the field of SE and that of safety. The assembly has a strong semantic consistency. The proposed macroprocess permits to define the architecture of a safe system. For this, we have divided into three design phases and four views. Thus, we developed a methodology on risk analysis in external view. Given the limitations of methods like Preliminary Hazard Analysis regarding the deliverables required by the ISO 26262:2011 (Hazard Analysis and Risk Assessment), we proposed a new method for defining the Safety Goals associated for critical scenarios and another method for analyzing the functional architecture with a dysfunctional point of view to define the Functional Safety Requirements

Made available in DSpace on 2014-06-11T19:32:47Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-02-28Bitstream added on 2014-06-13T18:44:13Z : No. of bitstreams: 1 viscardi_ma_dr_arafcl.pdf: 629112 bytes, checksum: b78b9170af096ffe394e50166087f883 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A pesquisa realizada por meio deste estudo tem como objetivo refletir algumas teorias lingüísticas sobre o tema da aquisição do sistema ortográfico da língua portuguesa, por crianças de 3ª. e 4ª. série, aprofundar alguns aspectos que se ocupam desse tema, com a finalidade de contribuir para uma melhor compreensão dos mecanismos utilizados pelas crianças na apropriação do sistema ortográfico, bem como apresentar um estudo longitudinal, a fim de demonstrar o processo evolutivo. Procurou-se, também, verificar e analisar as zonas de fragilidade em que ocorrem as faltas ortográficas, sugerir atividades e processos de aprendizagem que auxiliem educadores e educandos na resolução das dificuldades encontradas durante essa fase de letramento. O exame do material coletado nos anos de 2003 e 2004, 3ª. e 4ª. série, respectivamente e o estudo longitudinal com as produções textuais de três crianças tem como finalidade demonstrar o processo evolutivo na apropriação do sistema ortográfico, pesquisando soluções para minimizar os desvios, garantindo assim a evolução da aprendizagem do educando. O tema « ortografia » permite reflexões nessa fase de letramento e a evolução nesse processo é perceptível quando conjugam-se esforços: educadores e educandos. / La recherche réalisée par cette étude a le but de réfléchir quelques théories linguistiques sur le thème d' acquisition du système orthographique de la langue portugaise chez les enfants qui sont en 3e. (CM1) et 4e. (CM2) année et approfondir quelques aspects qui concernent ce thème. En contribuant ainsi, à une meilleure compréhension des mécanismes utilisés par les enfants dans l'appropriation du système orthographique. Présenter aussi une étude longitudinale, afin de démontrer le processus évolutif des productions textuelles. Enfin, on souhaite aussi, vérifier et analyser les zones de fragilité où surviennent les alterations (fautes orthographiques) et suggérer des activités et processus d'apprentissage qui peuvent aider les enseignants et les apprenants dans la résolution des difficultés pendant cette phase d'alphabétisation. L'analyse du matériel collecté dans les années 2003/2004, CM1 et CM2 respectivement, et l'étude longitudinale avec les productions des textes de trois enfants ont l'intention de démontrer le processus évolutif de l'appropriation du système orthographique, en cherchant des solutions pour minimiser les altérations et en garantissant ainsi l'évolution d'apprentissage de l'apprenant. Le thème « orthographie » permet de réflexions dans la phase d'alphabétisation et l'évolution du processus est claire quand ily a des efforts communs entre les enseignants et les apprenants.