L'Imageur Interférométrique de Fresnel est un concept de télescope spatial dont l'objectif est d'améliorer significativement les capacités d'imagerie à haute résolution angulaire et haute dynamique, et ce dans les domaines spectraux ultraviolet, visible et infrarouge.<br /><br />Dans un télescope classique, la focalisation s'obtient par l'utilisation d'un miroir; dans le cas de l'Imageur Interférométrique de Fresnel, elle s'obtient par l'utilisation d'un masque diffractant comportant des dizaines ou des centaines de milliers d'ouvertures individuelles, réparties sur un support plan selon une loi se rapprochant de la disposition des anneaux d'une lentille zonée de Soret. Les contraintes de masse et de précision de fabrication de l'optique focalisatrice sont ainsi considérablement relâchées, ouvrant une voie pour concevoir un observatoire possédant une pupille d'entrée de très grande dimension. En revanche, de par la nature dispersive de cette optique, un module focal placé à grande distance est nécessaire pour achromatiser et mettre en forme l'image.<br /><br />La première partie de cette thèse est consacrée à la détermination des caractéristiques des éléments constitutifs de ce type d'imageur, et à l'étude des performances et limitations associées. La deuxième partie est elle dévolue à la description et à la présentation des performances d'un prototype sol montrant expérimentalement la validité du concept. Enfin, la troisième partie étudie les objectifs astrophysiques possibles d'un Imageur de Fresnel opérationnel.

L'action du Conseil de sécurité dans le cadre de la lutte contre le terrorisme a témoigné un énorme progrès. Ce progrès est matérialisé sur le double aspect normatif et institutionnel, engendrant une diversification des mécanismes de la lutte. La nécessité de le définir semble être dépassée au gré de son éradication et sa suppression vue sa mutation graduelle à travers le temps et la montée en puissance de ses acteurs. Le Conseil de sécurité des Nations Unies concentre son action sur les mécanismes de la lutte en accroissant son pouvoir normatif vers un pouvoir législatif le conférant des prérogatives considérables. Ensuite, dans le cadre institutionnel de l'ONU, il monopolise la mission du maintenir la paix et la sécurité internationales, en rendant l'activité de l'Assemblée générale résiduelle et facultative. Ce regain de ses prérogatives s'est reflété au sein des organes subsidiaires qu'il a mis en place, surtout après le 11 septembre 2001. L'amplification des mécanismes de la lutte contre le terrorisme s'est représentée, également, dans le cadre de la résurgence des concepts fondamentaux en droit international comme la légitime défense qui mettra en cause le concept de sécurité collective prévu vers la Charte par des ripostes militaires unilatérales dans l'objectif de lutte contre le terrorisme international / In his fight against terrorism, the action of Security Council has witnessed an enormous progress. This progress was seen on both normative and institutional aspects leading towards a diversification of the counter terrorism mechanisms. The necessity of its definition seems be bypassed on the benefit of its eradication and suppression especially because of its gradual mutation and the highly powers given to its perpetrators. The United Nations Security Council concentrates its effort, in the mechanisms of counter terrorism, by increasing its normative powers towards a legislative one by gaining considerable prerogatives. On the institutional aspect, the Security Council has monopolized the maintain of international peace and security task, by giving the General Assembly a residual and facultative role. This power regaining is reflected on his ability to create subsidiary organs, especially after the 11th of September 2001. The amplification of the counter terrorism mechanisms was materialized by the submergence of old and fundamental aspects in international public law such as the concept of self-defense. A concept that will jeopardize the collective security system when States will unilaterally will use military force in their counter terrorism quest.

La sclérose en plaques (SEP) est une maladie auto-immmune notamment marquée par une défaillance de la mise en place des mécanismes de réparation tissulaire, ne permettant pas de rétablir l'homéostasie. L'utilisation de la résolution de l'inflammation, médiée par les. macrophages phagocytant des cellules apoptotiques. a récemment été évoquée afin de proposer une nouvelle famille de médicaments basée 1 sur cette résolution de l'inflammation. Dans ce cadre, nous proposons de résoudre l'inflammation dans un modèle murin de SEP, à l'aide du surnageant de co-culture de macrophages ayant phagocyté des cellules apoptotiques. induisant la production de facteurs pro-résolutifs (SuperMApo). Nous démontrons ici que l'injection de SuperMApo dans un modéle de SEP permet de contrôler la maladie via une reprogrammation des macrophages et des pDC, mais pas des cDC. dans la rate. Ces cellules démontrent en effet une capacité accrue à générer des T régulateurs (Treg) et moins de Th1, et leur présence est nécessaire pour l'effet du SuperMApo. Cette reprogrammation se fait à deux niveaux moléculaires. Premièrement. un contrôle épigénétique de l'expression des gènes induit notamment une modification de la méthylation globale de I' ADN et des promoteurs de miRNA impliqués dans la régulation des réponses immunes. Deuxièmement, une diminution de l'activation des acteurs de la voie de transcription pro-inflammatoire NFκB (nuclear factor kappa 8) a lieu. résultant d'une baisse de l'activation de ces cellules. Ces travaux démontrent donc que cibler la résolution de l'inflammation est une stratégie intéressante afin de contrôler la SEP. / Multiple sclerosis (MS) is an autoimmune disease notably delined bv a default of mechanisms of tissue reparation which are insufficient to establish homeostasis. The active resolution of innammation mediated by macrophage effcrocytosis of apoptotic cells has emerged to propose a new branch of pharmacology named "resolution pharmacology". ln this study. we propose to resolve innammation in a murine model of MS. using the supermatanl issued from the culture between apoptotic cells and macrophages. inducing efferocytosis and the production of pro-resolutive factors (SuperMApo). Here. we demonstrate that injection of SupcrMApo in a model of MS allow the control of the disease correlated with a reduction of the inflammatory inliltrate in the central nervous system. The control of the disease is associated with a reprograrnming of macrophages and pDC, but not cDC, in the spleen, demonstrated by a higher capacity to generate Treg and a lower ability to generate Th 1, and their presence is necessary to the anti-innammatory effect of SupcrMApo. Reprogramming of macrophages and pDC occurs at two main levels. First. an epigenetic control of gene expression induces a modulation of global DNA methylation and a modulation of DNA methylation at the promoter of miRNA implicated in the regulation of immune responses. Secondly, a decreased activation of NFκB activation pathway is observed resulting to a decreased activation of these cells. Thus, this work demonstrates that targeting the resolution of inflammation is an interesting strategy to treat MS.

L’objectif principal de cette thèse est de développer et d’optimiser les outils d’acquisition de la technique de Sismique réflexion haute résolution (SHR) afin d’améliorer ses performances pour la détection des cavités souterraines. Il est communément admis que l’imagerie SHR est d’autant plus complexe que la profondeur de la cible est petite. Les travaux menés dans le cadre de cette thèse devraient remédier à certains problèmes les plus critiques identifiés lors des applications de la SHR.L’utilisation des sources vibratoires présente des avantages indéniables (non destructivité, contrôle du signal émis...) par rapport aux sources « classiques » (i.e. impulsionnelles, destructives) mais leur application optimale nécessite un choix correct du signal émis.Ainsi, les travaux de recherche réalisés ont permis de (1) développer un système complet de pilotage par ordinateur d’une mini-source vibratoire destinée à l’imagerie SHR, (2) développer une méthode de génération de signaux émis. En établissant un lien entre le signal d’entrée et l’image sismique obtenue, cette procédure offre la possibilité à l’utilisateur de choisir le signal émis en fonction des conditions de terrain, et des objectifs des mesures, (3) tester le fonctionnement du système développé avec plusieurs mini-vibrateurs.Le système développé ainsi est testé et validé dans les tests à petite échelle. Ensuite, il a été utilisé dans les conditions réelles avec l’objectif « détection des cavités » dans le contexte salin (anciennes mines de sel en Lorraine, profondeur : 160 m - 180 m) et les marnières de Haute Normandie (anciennes carrières de craie, profondeur : 15 m - 45 m) / The main objective of this thesis is to develop and optimize the acquisition tools for High Resolution Reflection Seismic (HRS) technique in order to improve its performances in the detection of underground cavities. It is commonly admitted that HRS imaging becomes more complicated with when the depth of interest is decreased. The work carried out in the frame of this thesis aims to bring solutions to some of the most critical problems identified in application of the HRS.The vibratory sources show undeniable advantages (non destructivity, controllable output signal) over “classic” (impulsive, destructive) sources. However, the optimal use of these sources depends on the proper choice of emitted signal.Thus, the research work carried out resulted in (1) development of a complete, computer-based vibrator control system allowing piloting small vibratory source intended to use for HRS surveys, (2) development of a method for generating the source signal. The proposed procedure links the entry signal with seismic image and thus allows the choice of the signal in terrain conditions and with regard to the measurement goals, (3) extensive testing of the developed system with several portable vibratory sources.The developed system was tested and validated in small-scale tests. Afterwards it was used in real conditions with the goal of “cavity detection” in salt-mining context (old salt mines in Lorraine region at depths between 160 m and 180 m) as well as in chalk-mining area (ancient marl-pit quarries in the Normandy region at depths 15 m - 45 m)

Les terminaux à conteneurs constituent des interfaces inter-modales essentielles pour le réseau de transport mondial. Une manutention efficace des conteneurs dans des terminaux est d'une importance cruciale pour la réduction des coûts de transport et la détermination des plans d'embarquement. Dans ce rapport de thèse, nous proposons principalement une approche de résolution distribuée à travers la description d'un modèle d'optimisation heuristique distribuée baptisé COSAH COntainer Stacking via multi-Agent approach and Heuristic methodqui permet de simuler, résoudre et optimiser l'espace de stockage disponible pour manier les départs et les arrivées des conteneurs dans un port fluvial ou maritime. Autrement dit, COSAH permet de minimiser le nombre total de mouvements parasites tout en respectant des contraintes dynamiques d'espace et de temps. Les performances de COSAH sont ensuite évaluées sur des instances générées aléatoirement, ainsi que des instances extraites de la réalité d'un port maritime tunisien : le port de Radès. En effet, nous avons procédé à une étude expérimentale implémentant et comparant COSAH à la version centralisée associée, toutes deux basées sur un algorithme de recherche non informée et un algorithme de recherche informée. Les résultats obtenus, présentés et illustrés, montrent l'efficacité de COSAH en particulier, et d'une méthode d'optimisation heuristique distribuée alliant les deux concepts : Agent et Heuristique, en général.

Le Web Sémantique d'Entreprise (WSE) est une approche particulière de la Gestion des Connaissances d'une entreprise pour la prochaine génération du Web Sémantique. Dans la réalité, les organisations vivent dans un environnement hétérogène, dynamique et en cours d'évolution qui mène souvent à des changements externes et internes requérant l'évolution de leur système de gestion des connaissances. Peu de recherches actuelles font face aux changements du système de gestion des connaissances. L'objectif de cette thèse est de contribuer à lever cette limitation. Dans ce manuscrit, nous présentons une nouvelle approche de la gestion de l'évolution du WSE. Nous nous focalisons en particulier sur l'évolution de l'ontologie et de l'annotation sémantique qui sont deux composants importants du WSE. Nous nous intéressons à deux scénarios d'évolution de l'ontologie : (i) avec trace et (ii) sans trace de changements ontologiques effectués. Ces deux scénarios sont fréquents dans les situations réelles et ils peuvent entraîner des inconsistances au niveau des annotations sémantiques reposant sur cette ontologie modifiée. Pour chacun des contextes d'évolution, nous développons des approches équivalentes : une approche procédurale et une approche basée sur des règles en vue de gérer l'évolution des annotations sémantiques et de détecter et de corriger les annotations sémantiques inconsistantes. Ces propositions ont été implémentées et validées dans le système CoSWEM qui facilite la gestion de l'évolution du WSE. Ce système a été expérimenté dans le cadre des projets PALETTE et E-WOK_HUB sur un ensemble de données réelles et évolutives provenant de ces projets.

voir intérieur du fichier pdf

voir résumé a l'intérieur du pdf

Cette thèse porte sur la résolution du problème d'optimisation Maximum Satisfiability (Max-SAT). Nous y étudions en particulier les mécanismes liés à la détection et à la transformation des sous-ensembles inconsistants par la règle de la max-résolution. Dans le contexte des solveurs de type séparation et évaluation, nous présentons plusieurs contributions liées au calcul de la borne inférieure. Cela va du schéma d'application de la propagation unitaire utilisé pour détecter les sous-ensembles inconsistants à l'extension des critères d'apprentissage et à l'évaluation de l'impact des transformations par max-résolution sur l'efficacité des solveurs. Nos contributions ont permis l'élaboration d'un nouvel outil de résolution compétitif avec les meilleurs solveurs de l'état de l'art. Elles permettent également de mieux comprendre le fonctionnement des méthodes de type séparation et évaluation et apportent des éléments théoriques pouvant expliquer l'efficacité et les limites des solveurs existants. Cela ouvre de nouvelles perspectives d'amélioration, en particulier sur l'augmentation de l'apprentissage et la prise en compte de la structure interne des instances. Nous présentons également un exemple d'utilisation de la règle de la max-résolution dans un algorithme de recherche local. / This PhD thesis is about solving the Maximum Satisfiability (Max-SAT) problem. We study the mechanisms related to the detection and transformations of the inconsistent subsets by the max-resolution rule. In the context of the branch and bound (BnB) algorithms, we present several contributions related to the lower bound computation. They range from the study of the unit propagation scheme used to detect inconsistent subsets to the extension of the learning criteria and to the evaluation of the impact of the max-resolution transformations on the BnB solvers efficiency. Thanks to our contributions, we have implemented a new solver which is competitive with the state of art ones. We give insights allowing a better understanding of the behavior of BnB solvers as well as theoretical elements which contribute to explain the efficiency of these solvers and their limits. It opens new development perspectives on the learning mechanisms used by BnB solvers which may lead to a better consideration of the instances structural properties. We also present an example of integration of the max-resolution inference rule in a local search algorithm.

La spectroscopie de transit est un outil puissant pour la caractérisation de l'atmosphère d'exoplanètes. Plusieurs phénomènes peuvent contaminer un spectre de transmission, dont l'hétérogénéité de la surface de l'étoile hôte due à l'activité stellaire. À basse résolution spectrale, la différence entre le cordon de transit et le reste de la surface y laisse des signatures qui pourraient être attribuées à tort à la planète. Les risques associés incluent des biais sur la mesure du rayon et des abondances atmosphériques de planètes. Afin de trouver une solution à ce problème, cette étude consiste à modéliser en détail des surfaces stellaires et des spectres de transit à basse et à très haute résolution. On cherche d'une part à qualifier l'ampleur du problème à basse résolution et, d'autre part, à déterminer si la haute résolution permet d'isoler la contamination stellaire et ainsi résoudre le problème. La modélisation se concentre sur trois types d'étoiles, entre K hâtive et M tardive. Les modèles confirment l'importance du problème et l'absence de solution évidente à basse résolution, principalement pour les étoiles M. À haute résolution, on parvient à séparer les signaux de la planète et de l'activité stellaire. Cela permet de briser l'ambiguïté à basse résolution, pourvu que la planète ait une variation de vitesse radiale suffisante durant le transit. Ces résultats soulignent la valeur d'un suivi à haute résolution lorsque possible. Même avec le télescope James-Webb, il sera difficile d'avoir totalement confiance en les résultats de caractérisation d'atmosphères utilisant des données à basse résolution. / Transit spectroscopy is a powerful tool for the characterisation of exoplanet atmospheres. There exist multiple sources of contamination for transmission spectra, including stellar activity induced surface heterogeneities on the host star. At low spectral resolution, differences between the transit chord and the rest of the surface leave signatures in the spectra, which could then be wrongly associated with the planet. This can introduce biases in radius and atmospheric abundance measurements of exoplanets. To solve this issue, this study consists in carefully modeling stellar surfaces and transit spectra at low and very high spectral resolution. We seek to, on one hand, understand the importance of the problem at low resolution, and, on the other hand, determine if high resolution allows us to isolate stellar contamination and thus solve this problem. Modeling is focused on three types of stars, from early K to late M. Models confirm the importance of the issue and the absence of an obvious solution at low resolution, especially for M stars. At high resolution, we manage to effectively split the planet and stellar activity signals. This allows us to break the ambiguity from low resolution, provided the planet experiences a sufficient radial velocity variation during transit. These results highlight the strong value of high resolution follow-ups when feasible. Even with the James-Webb space telescope, it will be difficult to fully trust the results of atmospheric abundance retrievals using low resolution data.