L’exposé de ce travail se compose de cinq parties distinctes, dont le contenu est succinctement décrit ci-dessous. La première partie définit précisément le cadre du travail. Les diverses formes de structures abordées y seront décrites et les problèmes d’optimisation posés de manière formelle. Les contraintes technologiques appliquées aux structures à optimiser seront ensuite détaillées. Les théorèmes fondamentaux de l’analyse limite, abondamment utilisés par la suite, seront exposés. Enfin, les concepts de la programmation orientée objet et leurs avantages seront brièvement expliqués. La deuxième partie présente les détails de l’implémentation de l’algorithme d’optimisation développé. Le rappel des notions fondamentales relatives aux méthodes déterministes les plus répandues sera suivi des considérations propres au problème traité dans ce travail. Une description détaillée des étapes de calcul et de la hiérarchie d’objets clôturera cette partie. La troisième partie a pour objet la formulation d’une hiérarchie de structures et composants destinés à l’utilisation de l’algorithme d’optimisation. Cet ensemble d’objets est destiné à contenir toutes les données d’un modèle de structure. La formulation des contraintes physiques et technologiques sera détaillée, ainsi que l’interface entre modèles et algorithme d’optimisation. La quatrième partie traite de l’utilisation de l’algorithme créé afin de déterminer la charge limite d’une structure de géométrie fixée. Des comparaisons avec les résultats disponibles dans la littérature seront présentées. La cinquième et dernière partie présente succinctement quelques structures optimisées grâce aux outils développés. Une analyse critique des résultats et les possibilités de perfectionnement ultérieur concluront l’exposé.

Ce travail a pour objectif la réalisation d'un code de calcul élastostatique et modal des structures métalliques planes et tridimensionnelles formées de poutres en utilisant la méthode des éléments finis. Le module de calcul réalisé, appelé CADBEL, est développé sur la base de la programmation orientée objet qui est connue par les nombreux avantages qu’elle offre en utilisant le langage de programmation Visual C++. En plus du calcul des réponses statiques et modales, CADBEL permet le dimensionnement des structures en construction métallique selon la nouvelle norme européenne Eurocode 3. Il permet, également, grâce à son processeur d’optimisation basé sur les algorithmes génétiques, d’aider le concepteur à choisir à partir d’un catalogue de profilés sidérurgiques les sections qui répondent aux diverses contraintes de conception et qui offrent le poids minimum de la structure étudiée. L’architecture orientée objet de CADBEL permet d’assurer une interaction continue entre les différentes applications et d’intégrer de nouvelles formulations éléments finis, lois de comportement des matériaux et méthodes de résolution. Le programme CADBEL est intégré dans le logiciel AutoCAD de modélisation géométrique et de dessin assistés par ordinateur. Une interface graphique personnalisée a été développée dans l’environnement d’AutoCAD en utilisant sa librairie de développement orientée objet la plus récente et la plus puissante connue sous le nom ObjectARX. Cette interface englobe des commandes lignes, des icônes et des boîtes de dialogue dédiées aux différentes opérations de base nécessaires pour le pré-traitement, l’analyse et le post-traitement.

Cette thèse porte sur la construction d'un environnement pour développer des librairies de calcul formel certifié. Nous présentons d'abord les espèces, structures servant à décrire des spécifications par héritage multiple, raffinement et paramétrisation. Les collections, construites par encapsulation d'espèces constituent la librairie utilisateur. Nous définissons également les analyses statiques garantissant la correction d'une définition d'espèce. Ensuite, nous étudions la compilation des espèces et collections vers le langage d'exécution OCAML, en utilisant les objets et modules OCAML. Puis nous détaillons la traduction dans le langage de preuves COQ, la liaison retardée étant traduite par des lambda-abstractions. Nous montrons ensuite comment utiliser cette technique pour optimiser les exécutables OCAML. Enfin, nous prouvons que les analyses faites par le compilateur ainsi que les techniques de traduction sont conforme à la formalisation des espèces faites auparavant en COQ.

Les modèles de membranes en grandes déformations sont utilisés dans diverses applications mécaniques telles que la biomécanique ou la mise en forme de corps creux plastiques. Le présent travail s'intéresse à la modélisation du gonflement de ces structures. Notre attention s'est tout d'abord portée sur la construction de lois de comportements prenant en compte l'anisotropie induite par la présence de fibres dans un matériaux hyperélastique. Cette approche conduit à une formulation isotrope transverse du comportement en terme d'invariants tensoriels. Une loi de comportement de ce type a été introduite dans un outil de simulation du procédé de thermoformage. D'autre part, nous avons développé un code de calcul élément fini spécifiquement dédié au soufflage des membranes en grandes déformations statiques. Une stratégie orientée objet exploitant pleinement les spécificité du Fortran 90 a été mise en place. Les éléments classiques de membrane y ont tout d'abord été implanté et validés. L'utilisation de ces éléments conduit à des problèmes de discrétisation dans les zones où la courbure de la géométrie déformée devient importante. Pour remédier à ces difficultés, un nouvel élément assurant lla continuité des tangentes à la membrane a été développé. Celui-ci améliore sensiblement les résultats. De plus l'apparition d'instabilités dans certains problèmes de soufflage a motivé la mise en œuvre d'un algorithme de détection des points singuliers et d'exploration des branches d'équilibre secondaires. Pour divers exemples, les branches d'équilibre axisymétriques sont retrouvées et des bifurcations non-axisymétriques sont mises en évidence. Finalement, un montage expérimental de soufflage de membranes cylindriques élastomères a été réalisé pour reproduire les états de déformation biaxiaux. Les premiers résultats sont encourageants. Le couplage de ces expériences et des méthodes numériques développées permettront dans un avenir proche la caractérisation des matériaux en grandes transformations élastiques.

Le développement d'un logiciel de simulation numérique, en particulier lorsqu'il est destiné à la résolution de problèmes multiphysiques, implique une augmentation significative de la complexité des structures de données au fur et à mesure des enrichissements. La maîtrise de cette complexité exige une structure bien organisée et extensible. Ces enrichissements successifs introduisent des fonctionnalités intéressantes pour l'utilisateur final mais ceci, bien souvent, au prix d'une difficulté d'utilisation croissante.<br />Cette thèse aborde la problématique de la gestion de la structuration et de la complexité dans une application de simulation numérique multiphysique, par la combinaison de la programmation orientée objet et de règles métiers à l'aide de Prolog, un langage de programmation logique.<br />Nous commençons par établir un modèle de données contenant des classes abstraites qui facilitent l'héritage et l'expansion de cette structure de données. L'objectif est de permettre aux développeurs d'ajouter un nouveau modèle de données ou de modifier un modèle existant, sans remettre en cause l'existant. Un tel modèle de données nécessite des vérifications qui assurent que toutes les commandes et les constructions d'objets soient valides. Nous proposons de réaliser ces vérifications à l'aide d'un moteur de règles et non pas de manière algorithmique comme cela est fait habituellement. Ce moteur de règles, basé sur le langage de programmation logique, donne la possibilité d'exécuter la vérification, bien sûr, mais aussi la proposition et l'explication.<br />Cette approche permet d'une part de réduire la tâche du développeur et d'autre part de faciliter les opérations de l'utilisateur final.

Le sujet de cette thèse est la conception d'un support d'exécution orienté objet pour applications réparties. Un des principaux objectifs est de permettre de correctement isoler le code lié à la gestion du support d'exécution du code propre à l'application. D'autre part, un tel support se doit d'être portable sur le plus grand nombre de plate-formes ; pour cela son interface de programmation doit être minimale tout en restant extensible. La prise en compte de tels critères permet d'obtenir un support pour une grande variété d'applications réparties. Nous avons donc conçu et implémenté un support d'exécution sous la forme d'une bibliothèque de classes appelée Schooner. Le modèle de programmation de la bibliothèque s'articule autour des notions de machine virtuelle et d'entités réparties communiquant par messages actifs. En plus de ce modèle de base, nous avons également développé une extension multi-active permettant l'utilisation de processus légers. Afin de compléter et valider \schooner, des outils d'aide au développement et de mise au point d'applications réparties sont également fournis. Une des caractéristiques importantes de l'environnement fourni est d'être facilement personnalisable selon les besoins spécifiques d'une application en permettant par exemple une amélioration des performances. Dans ce contexte, nous proposons un mécanisme de bufferisation des messages entre deux entités communicantes, mécanisme entièrement paramétrable par l'utilisateur. Il est également envisageable dans le cadre de la version multi-active de modifier l'ordonnancement des entités actives. Cet environnement a pu être validé par le développement de deux applications de taille conséquente : la version répartie d'un simulateur à événements discrets orienté objet, Prosit et une extension répartie et parallèle du langage C++, C++//.

L'objectif de ce travail est, d'une part, de définir une méthode de résolution pour le problème de la Mobilisation de la Réserve Tertiaire (MR T) en tenant compte des contraintes de transits actifs du réseau de transport Très Haute Tension à Electricité de France et, d'autre part, de . développer une maquette informatique capable de tester cette méthode de résolution. Actuellement, l'action de MRT èst déclenchée lorsque un déséquilibre sérieux (on parle "d'aléa") entre les niveaux de production et de consommation survient et que les réglages automatiques (dits primaire et secondaire) atteignent leurs limites; l'opérateur est alors contraint d'intervenir "manuellement" sur les consignes des groupes de production pour restaurer les marges de sécurité du système électrique. L'approche que nous proposons, fondée sur un algorithme d'exploration de l'espace des solutions techniquement réalisables, permet de toujours obtenir une solution, éventuellement partielle faute de mieux. Complétée progressivement par des heuristiques, l'exploration est guidée par une liste, ordonnée, d'unités thermiques et hydrauliques mobilisables et par une liste, également classée, de critères que la solution recherchée doit s'efforcer de vérifier au maximwn. Ces deux listes sont établies par l'opérateur en fonction de son intuition et de sa connaissance du système électrique. La conception de l'outil proposé repose sur la programmation orientée objet (C++). Entièrement paramétrable par l'opérateur, la plate-forme réalisée utilise les structures de données d'EDF et comporte de nombreuses interfaces avec des logiciels existants. De ce travail, nous retenons que notre outil pourrait être prochainement intégré dans une plate-forme informatique d'EDF et devenir un élément de base réutilisable et extensible pour de futures études.

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite étendu par des enregistrements récursifs, puis par des mixins, permettant ainsi de mêler totalement les paradigmes fonctionnels et objets. Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.<br /><br />Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul. Après avoir prouvé sa correction, nous étudions sa généralisation aux références et à la récursion, nous le comparons aux algorithmes d'inférence déjà existants, notamment à celui de Système I, et nous montrons qu'il devient décidable à rang fini.

Cette thèse présente une étude exhaustive des différentes topologies d'événements à grande énergie transverse observés sur le collisionneur électron-proton HERA. L'ensemble des données accumulées par l'expérience Hl entre 1994 et 2000 ont été utilisées, ce qui représente une luminosité intégrée de 118.3 pb-1.<br> Nous avons tout d'abord participé au développement d'un nouvel environnement d'analyse orientée objet, en nous concentrant particulièrement sur la reconstruction des hadrons et des jets hadroniques. Cet environnement, qui est devenu l'outil d'analyse standard de Hl de la phase II de HERA, est mis à l'épreuve dans le cadre de notre sujet.<br> Les événements étudiés regroupent 24 topologies différentes pour lesquelles les spectres d'énergie transverse sont systématiquement étudiés. Un bon accord général au Modèle Standard est observé, mis à part dans quelques canaux à leptons isolés où plusieurs événements atypiques ont déjà été rapportés. La comparaison au Modèle Standard est quantifiée avec l'aide d'une méthode statistique spécifique développée pour l'occasion.