Ce travail a porté sur l'étude théorique de modèles d'ADN, afin de mieux caractériser le processus de dénaturation thermique. Nous avons proposé trois modèles d'ADN basés sur des énergies d'empilement finies et dépendantes de la séquence, qui reproduisent très bien les résultats expérimentaux. Nous avons ensuite étudié l'amplification des fluctuations de température de l'ADN à la dissociation et mis en évidence une dépendance en 1/f du spectre des fluctuations. Nous avons également effectué une étude complète du comportement critique des modèles d'ADN à la limite thermodynamique : nous avons calculé les exposants critiques, démontré quantitativement la discontinuité de la transition et montré que deux lois d'échelle sur quatre ne sont pas vérifiées. Enfin, nous avons analysé les effets de finitude de taille sur la dénaturation de l'ADN et testé les hypothèses de la théorie de finite size scaling. Les études en cours portent sur l'effet du désordre sur la transition de dénaturation.

Thèse pour le doctorat--Sciences de l'information et de la communication--Paris 3, 1998. / Répertoire des documents p. [417]-444. Bibliogr. p. [402]-415.

Thèse doctorat : Physique statistique : Nancy 1 : 2006. Thèse doctorat : Physique statistique : University of Szeged (Hongrie) : 2006. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre.

No description available.

Dans cette thèse nous étudions les algèbres des polynômes qui sont bornés sur un ensemble semi-algébrique non borné. Tout d'abord nous abordons le problème consistant à déterminer si un polynôme est borné sur un ensemble. Nous résolvons ce problème pour les polynômes à deux variables définis sur des ensembles semi-algébriques quelconques. Dans la section suivante nous donnons une méthode pour déterminer des générateurs de l'algèbre des polynômes bornés et ce pour une large classe de semi-algébriques du plan réel. Dans la section 3 nous établissons une relation entre les valeurs de bifurcation du complexifié d'un polynôme $f$ à deux variables et la stabilité de la famille d'algèbres des polynômes bornés sur les ensembles ${fle c}$. Dans la section 4 nous décrivons la structure de l'algèbre des polynômes bornés sur un certain type de sous-ensembles de $mathbb{R}^n$ avec $n$ arbitraire, que nous appelons tentacules pondérées. Nous donnons aussi une preuve géométrique du fait que l'algèbre d'un sous-ensemble non borné d'un ensemble algébrique propre n'est pas de type fini. Dans la section suivante nous établissons une correspondance entre les cônes convexes et les algèbres des ensembles obtenus par des inégalités sur des monômes appropriés. Enfin, nous démontrons une version du Positivstellensatz de Schmudgen pour les polynômes bornés sur un ensemble non compact.

La conception et le développement des applications critiques en avionique sont soumis à des contraintes strictes visant à assurer un niveau de confiance compatible avec les exigences de sécurité-innocuité (au sens safety) des tâches mises en Suvre. Ces contraintes induisent un accroissement considérable des coûts de production et de maintenance, ce qui rend le prix de revient de tels systèmes prohibitif. D'un autre côté, les composants sur étagère (Commercial Off-The-Shelf, COTS), matériels et logiciels, sont maintenant d'usage courant et offrent des services étendus pour un coût faible. Cependant, les COTS ne répondent pas aux contraintes d'innocuité exigées pour les tâches critiques ; de plus, ils présentent des vulnérabilités facilement exploitables par des attaques, les rendant incompatibles avec des exigences élevées de sécurité-immunité (au sens security). Il serait toutefois intéressant de profiter de tels composants dans un contexte avionique, mais en faisant en sorte qu'ils ne puissent affecter de façon préjudiciable les tâches critiques. Intégrer de tels composants dans les systèmes avioniques conduit donc à prendre en considération l'hétérogénéité des niveaux de confiance entre d'une part les applications critiques classiques, et d'autre part de nouvelles applications utilisant des composants sur étagère. Dans le cadre de cette thèse, nous proposons une architecture autorisant de telles interactions tout en préservant les propriétés de safety et security. La définition de cette architecture s'appuie sur le modèle Totel, et elle utilise la virtualisation afin de faciliter la mise en Suvre des mécanismes de tolérance aux fautes destinés à augmenter la crédibilité d'une application exécutée de façon répliquée sur des plateformes d'exécution COTS de niveau de confiance faible. Afin de valider notre approche, nous avons réalisé un prototype en nous appuyant sur deux cas d'étude identifiés avec Airbus et concernant tous deux des ordinateurs portables : un dédié à la maintenance et un au calcul du profil de décollage d'un avion.

Ces travaux abordent la problématique du contrôle endogène dans les Systèmes Multi-Agents (SMA) pour la résolution de problèmes complexes, que nous explorons grâce au problème de partage de ressources critiques. Les problèmes dits complexes que nous abordons se caractérisent par une explosion combinatoire du nombre de solutions avec la taille des problèmes, une forte dynamique des données du problème induite par un environnement ouvert dans lequel de nombreux événements peuvent avoir lieu, une grande complexité systémique issue des interdépendances entre les nombreuses variables du problèmes et enfin une décentralisation du processus de résolution imposée par une distribution physique et fonctionnelle des variables incompatible avec une vision centralisée du problème. Un parcours complet des espaces de recherche associés à de tels problèmes est irréaliste en un temps acceptable, il est alors nécessaire d'employer des méthodes de résolution dite incomplètes. Quelque soit l'approche incomplète considérée, le parcours incomplet de l'espace de recherche requiert un contrôle afin de maximiser la probabilité de converger vers une solution satisfaisante. Nous identifions trois niveaux de contrôle du parcours de l'espace de recherche indépendamment de l'approche utilisée : un contrôle statique (définition a priori du comportement du système), un contrôle dynamique (évoluant en cours de résolution selon des mécanismes préétablis) et un contrôle adaptatif (évoluant dynamiquement en cours de résolution). Nous montrons qu'un contrôle endogène de l'activité du système, c.-à-d. un contrôle adaptatif issu de l'activité même des agents, est nécessaire au guidage du parcours de l'espace de recherche dans le contexte de résolution de problèmes complexes. Ces travaux ayant été réalisés dans un contexte de collaboration industrielle, ils s'appuient sur une approche développée au cours de précédents travaux : CESNA (Complex Exchanges between Stigmergic Negotiating Agents). CESNA est une approche multi-agents auto-organisationnelle exploitant des agents situés dans un environnement matérialisant le problème et exploité par un processus de résolution basé sur une négociation stigmergique entre les agents. Le cas applicatif utilisé par l'approche CESNA et permettant d'illustrer ces travaux est le problème de partage de ressources critiques, caractérisé par un ensemble restreint de ressources exploitées par un grand nombre de consommateurs. Nos contributions sont de deux types : nous avons dans un premier temps proposé des évolutions de la représentation du problème exploitée par l'approche initiale (CESNA) afin d'en supprimer les limitations interdisant un passage à l'échelle, et dans un second temps, nous avons défini un nouveau modèle (MANA : Multi-level bAlancing Negotiating Agents) exploitant cette nouvelle représentation à l'aide d'un nouveau processus de résolution basé sur des mécanismes endogènes de contrôle de l'activité du système. Ces mécanismes reposent sur la matérialisation des effets microscopiques du phénomène macroscopique à orienter (le parcours de l'espace de recherche) afin de le rendre perceptible localement par les agents. Nos mesures montrent que ce nouveau modèle permet le passage à l'échelle (la résolution de problèmes industriels de grande taille) et une amélioration significative des performances de résolution par rapport à l'approche initiale montrant ainsi l'efficacité du guidage permis par les mécanismes utilisés.

Sans cesse croissante complexité et l'interdépendance des infrastructures critiques modernes, avec des environs de risque plus en plus complexes, posent des défis uniques pour leur exploitation sûre, fiable et efficace. L'objectif de la présente thèse est sur la modélisation, la simulation et l'optimisation des infrastructures critiques (par exemple, les réseaux de transmission de puissance) à l'égard de leur vulnérabilité et la résilience aux défaillances en cascade. Cette étude aborde le problème en modélisant infrastructures critiques à un niveau fondamental, en se concentrant sur la topologie du réseau et des modèles de flux physiques dans les infrastructures critiques. Un cadre de modélisation hiérarchique est introduit pour la gestion de la complexité du système. Au sein de ces cadres de modélisation, les techniques d'optimisation avancées (par exemple, non-dominée de tri binaire évolution différentielle (NSBDE) algorithme) sont utilisés pour maximiser à la fois la robustesse et la résilience (capacité de récupération) des infrastructures critiques contre les défaillances en cascade. Plus précisément, le premier problème est pris à partir d'un point de vue de la conception du système holistique, c'est-à-dire certaines propriétés du système, tels que ses capacités de topologie et de liaison, sont redessiné de manière optimale afin d'améliorer la capacité de résister à des défaillances systémiques de système. Les deux modèles de défaillance en cascade topologiques et physiques sont appliquées et leurs résultats correspondants sont comparés. En ce qui concerne le deuxième problème, un nouveau cadre est proposé pour la sélection optimale des mesures appropriées de récupération afin de maximiser la capacité du réseau d’infrastructure critique de récupération à partir d'un événement perturbateur. Un algorithme d'optimisation de calcul pas cher heuristique est proposé pour la solution du problème, en intégrant des concepts fondamentaux de flux de réseau et le calendrier du projet. Exemples d'analyse sont effectués en se référant à plusieurs systèmes de CI réalistes. / Continuously increasing complexity and interconnectedness of modern critical infrastructures, together with increasingly complex risk environments, pose unique challenges for their secure, reliable, and efficient operation. The focus of the present dissertation is on the modelling, simulation and optimization of critical infrastructures (CIs) (e.g., power transmission networks) with respect to their vulnerability and resilience to cascading failures. This study approaches the problem by firstly modelling CIs at a fundamental level, by focusing on network topology and physical flow patterns within the CIs. A hierarchical network modelling technique is introduced for the management of system complexity. Within these modelling frameworks, advanced optimization techniques (e.g., non-dominated sorting binary differential evolution (NSBDE) algorithm) are utilized to maximize both the robustness and resilience (recovery capacity) of CIs against cascading failures. Specifically, the first problem is taken from a holistic system design perspective, i.e. some system properties, such as its topology and link capacities, are redesigned in an optimal way in order to enhance system’s capacity of resisting to systemic failures. Both topological and physical cascading failure models are applied and their corresponding results are compared. With respect to the second problem, a novel framework is proposed for optimally selecting proper recovery actions in order to maximize the capacity of the CI network of recovery from a disruptive event. A heuristic, computationally cheap optimization algorithm is proposed for the solution of the problem, by integrating foundemental concepts from network flows and project scheduling. Examples of analysis are carried out by referring to several realistic CI systems.

Depuis des décennies, les dépôts atmosphériques azotés sont connus pour agir de manière sévère sur le fonctionnement des écosystèmes forestiers. Ils influent en effet la biogéochimie du sol, l’équilibre des éléments nutritifs et, en conséquence, la croissance des espèces végétales, la biodiversité végétale de sous-étage et plus globalement la santé des forêts. Dans le cadre de la convention internationale de Genève visant à limiter la pollution atmosphérique transfrontalière à longue distance, le concept de « Charges Critiques », défini à la fin des années 1980, a été retenu comme outil permettant d’évaluer la sensibilité d’un écosystème aux contaminants. Il permet d’estimer la quantité maximale de polluants atmosphériques acceptable par l’écosystème avant apparition de conséquences néfastes à son fonctionnement. De plus, en raison de l’impact des changements globaux sur les processus biogéochimiques régissant le fonctionnement des écosystèmes, l’influence des dépôts atmosphériques et du changement climatique doit être considéré de manière simultanée pour évaluer l’évolution de l’état des écosystèmes au cours du temps. Dès lors l’enjeu majeur est de pouvoir prédire l’effet combiné de ces facteurs sur les écosystèmes forestiers français. C’est l’objectif de ce travail de thèse. Des modèles dynamiques couplés biogéochimiques – écologiques, tels que les modèles ForSAFE-VEG ou PROPS, ou écologiques (basés sur la base de données EcoPlant) ont été développés ou adaptés à ces fins, et appliqués à différentes échelles locale, régionale et nationale, selon différents scénarios de dépôts et climatiques. L’application et la calibration du modèle couplé ForSAFE-VEG sur des placettes forestières permanentes du réseau RENECOFOR ont permis de prédire l’évolution de la composition biogéochimique de la solution du sol et en cascade de la composition floristique de trois sites, sous différents scénarios de dépôts atmosphériques et de changement climatique. Les principales évolutions des sites sont liées à leurs caractéristiques stationnelles. Si le changement climatique joue un rôle prédominant sur la réponse des espèces, les écosystèmes oligotrophes restent sensibles aux dépôts de N. A court terme, l’effet combiné des dépôts et du changement climatique sur le long terme est modulé par les effets de la gestion forestière. L’extrapolation du modèle couplé à plus large échelle nécessite une continuité dans la disponibilité des données d’entrée et de calibration de la réponse des espèces. Les données et scénarios de changement climatiques ont été complétés et actualisés à l’aide du modèle SAFRAN et des nouveaux scénarios RCP régionalisés. La calibration de la réponse des espèces végétales à l’échelle de la France a été réalisée à partir des mesures de la base de données phytoécologiques EcoPlant, par le développement de modèles de distribution d’espèces (SDM), en intégrant simultanément des variables climatiques, édaphiques, d’énergie et de nutrition. Le couplage entre le modèle ForSAFE et les SDM assure une modélisation robuste à l’échelle du territoire de la réponse des écosystèmes forestiers dans le temps, calibrée pour les conditions pédoclimatiques françaises. La modélisation des charges critiques d’acidité, d’eutrophisation et de biodiversité sur l’ensemble des sites RENECOFOR et la totalité des écosystèmes forestiers français montre des sensibilités variées aux dépôts de soufre et d’azote en fonction des écosystèmes, avec parmi les plus sensibles les Landes, la Sologne et le Massif Central. Des indices de qualité des habitats (HSi) ont été calculés à l’échelle de tous les écosystèmes par le modèle PROPS et les SDM. La sélection des espèces représentatives reste primordiale car elle conditionne la valeur finale de HSi. Ce paramètre est l’un des plus sensibles à prendre en compte dans la modélisation. Il est à mettre en relation avec les objectifs de protection des écosystèmes voulus par les gestionnaires.

Les systèmes critiques de vol tels que les actionneurs électromécaniques ainsi que les calculateurs de commande moteur (ECU) et de vol (FCU),sont conçus en tenant compte des contraintes aéronautiques sévères de sureté defonctionnement. Dans le cadre de cette étude, une architecture calculateur pourla commande et la surveillance d’actionneurs moteur et de surfaces de vol est proposée et à fait l’objet d’un brevet [13]. Pour garantir ces mesure de sureté, les ECU et FCU présentent des redondances matérielles multiples, mais engendrent une augmentation de l’encombrement, du poids et de l’énergie consommée. Pour ces raisons, les redondances à base de modèles dynamiques, présentent un atout majeur pour les calculateurs car elles permettent dans certains cas de maintenir les exigences d’intégrité et de disponibilité tout en réduisant le nombre de capteurs ou d’actionneurs. Un rappel sur les méthodes de diagnostic par générateurs de résidus et estimateurs d’états [58, 26, 47] est effectué dans cette étude. Les propriétés de platitude différentielle et la linéarisation par difféomorphisme et bouclage endogène [80, 41, 73] permettent d’utiliser des modèles linéaires équivalents avec les générateurs de résidus. Un banc d’essai a été conçu afin de valider les performances des algorithmes de diagnostic. / Flight-Critical Systems such as Electromechanical Actuators driven by Engine Control Units (ECU) or Flight Control Units (FCU) are designed and developed regarding drastic safety requirements. In this study, an actuator control and monitoring ECU architecture based on analytic redundancy is proposed. In case of fault occurrences, material redundancies in avionic equipment allow certaincritical systems to reconfigure or to switch into a safe mode. However, material redundancies increase aircraft equipment size, weight and power (SWaP). Monitoring based on dynamical models is an interesting way to further enhance safetyand availability without increasing the number of redundant items. Model-base dfault detection and isolation (FDI) methods [58, 26, 47] such as observers and parity space are recalled in this study. The properties of differential flatness for nonlinear systems [80, 41, 73] and endogenous feedback linearisation are used with nonlinear diagnosis models. Linear and nonlinear observers are then compared with an application on hybrid stepper motor (HSM). A testing bench was specially designed to observe in real-time the behaviour of the diagnosis models when faults occur on the stator windings of a HSM.