La gestion de l'information technique et administrative produite durant le cycle de vie d'un projet de construction est envisageable via une description structurée des données. Cette description destinée à l'utilisateur mais aussi à l'ordinateur peut s'exprimer selon un langage (tel EXPRESS) qui devrait permettre l'inter-opérabilité des systèmes informatiques qui la mettent en oeuvre. Ces derniers manipulent ainsi une structure unique et non ambiguë de données, assurant de la sorte l'intégrité et la cohérence de l'information produite et manipulée. La description de cette structure est communément appelée "Modèle de Données". Le document est le support favori de description d'un projet d'ingénierie. Il constitue la base conceptuelle et réglementaire de tout processus industriel. L'analyse des documents produits durant le cycle de vie d'un projet révèle l'importance de leur cadre descriptif, législatif et juridique, comme en témoigne l'exemple du Cahier des Clauses Techniques Particulières (CCTP). Le CCTP est un des documents essentiels issu des études détaillées d'un projet. Il se distingue notamment par son volume, et par la pertinence de son contenu : il définit les conditions particulières d'exécution des ouvrages et complète leur description faite au travers des plans techniques. La consultation des entrepreneurs impose la répartition des corps d'état en lots de travaux. Les conséquences essentielles d'une telle démarche concernent la coordination de l'exécution des ouvrages et les responsabilités postérieures à leur achèvement. Tous ces détails et notamment tous ceux portant sur les limites de prestations entre lots doivent être judicieusement traités par le lot en question. Ainsi, le souci actuel des professionnels du bâtiment est de pouvoir produire au moment utile et opportun pour un prescripteur donné, un descriptif de qualité, compatible avec ceux précédemment approuvés, et fidèle à la description réelle du projet, fournie par un modèle de données du bâtiment. Cette thèse se propose de démontrer la possibilité de génération de pièces écrites via un modèle de données supportant la description formelle, physique et performancielle d'un projet de construction. Il s'agit de proposer une structure logique de document, à partir de laquelle est dérivée la définition type du CCTP de référence (DTD CCTP) en langage SGML. Les éléments de la DTD sont ensuite instanciés afin de produire la version balisée du CCTP. Une telle mise en oeuvre permet entre autres la génération du sommaire, des listes de références ainsi que des liens hypertexte internes et externes au document. Nous proposons par la suite un modèle d'association permettant l'indexation des concepts du modèle de données du bâtiment par des items documentaires du CCTP balisé. C'est au travers des instances de ce modèle qu'est produit le CCTP projet, moyennant tous les contrôles de cohérences internes et externes au document. Cette approche assure une qualité maximale des pièces descriptives d'un projet et contribue à la diminution des risques d'erreurs liés au processus complexe de conception / réalisation / maintenance d'une opération de construction. En guise de conclusion, nous proposons une généralisation de cette approche à tout type de document "projet".

Deux approches ont été utilisées pour étudier le comportement des sols compressibles lors de l'élargissement d'un remblai : étude sur modèles réduits centrifugés et analyse numérique en éléments finis. Pour l'étude en centrifugeuse, la construction des remblais pendant la rotation du modèle a été effectuée grâce à une trémie développée pour cette recherche. Sept conteneurs d'argile Speswhite reconstituée ont été préparés et équipés de capteurs de tassements de surface, de pressions interstitielles et de déplacements horizontaux. Sept essais ont été réalisés, les premiers pour mettre au point les procédures d'essai et les quatre derniers pour comparer deux variantes d'élargissement d'un remblai. L'analyse des résultats des mesures et des observations faites sur les modèles a montré l'importance des conditions de préparation des massifs d'argile et d'un suivi détaillé de toute l'histoire des sols depuis leur mise en place dans le conteneur jusqu'à la fin de l'essai. Le comportement des argiles pendant la centrifugation dépend d'une combinaison de consolidation et de fluage qui dépend de leur état de surconsolidation initiale et complique l'interprétation des mesures effectuées sur le modèle. La modélisation numérique a été effectuée au moyen de CESAR-LCPC. Elle a porté sur les modèles testés en centrifugeuse et sur le comportement d'un remblai autoroutier élargi vingt-cinq ans après sa construction. Le calcul en éléments finis, de type élastoplastique couplé, nécessitait des données géotechniques qui n'étaient pas toutes disponibles et les comparaisons effectuées avec les mesures sont restées pour cette raison incomplètes, bien que les phénomènes soient reproduits qualitativement de façon acceptable. Ces recherches montrent qu'il est indispensable de mieux définir les propriétés mécaniques des sols pour déboucher sur des résultats d'application pratique.

Cette thèse examine la réponse de différents types de lois de comportement en chargement et en déchargement et modélise numériquement les problèmes du creusement dans un massif du sol. Deux méthodes de modélisation d'excavation par éléments finis, l'une proposée par Ghaboussi et Pecknold (1984) et Brown et Booker (1985) et l'autre par Borja et al. (1989) ont été programmées dans le code CESAR-LCPC. Ces deux méthodes ont été ensuite comparées pour la simulation par étapes de l'excavation de massifs de sol élastique et élastoplastique. Nous avons également développé la notion de chargement-déchargement-rechargement multiaxial basée sur le signe du travail incrémental. L'application de ce principe (qui englobe le cas unidirectionnel) à une excavation pour différents types de lois de comportement, nous permet de connaître l'étendue des zones en chargement et/ou en déchargement autour de l'ouvrage. Un modèle élastique non-linéaire (Wong et Duncan), un modèle élastoplastique parfait à critère de Mohr-Coulomb et un modèle élastoplastique avec écrouissage (Nova) ont été étudiés plus en détail dans cette étude. Ces modèles ont été d'abord appliqués à la simulation d'essais triaxiaux, puis à un problème d'excavation. Ce travail s'achève par la modélisation d'un ouvrage réel : une excavation réalisée devant un rideau de palplanche butonné dans un milieu sableux (Université de Karlsruhe). Dans cette partie, nous avons comparé avec les observations sur site, les résultats des modélisations en éléments finis avec le modèle élastoplastique à critère de Mohr-Coulomb et avec le modèle de Nova.

Cette thèse étudie les écoulements hydrauliques autour des tunnels creusés en terrains aquifères et analyse les déformations induites par la consolidation du massif en présence de sols compressibles. Le mémoire comporte plusieurs synthèses bibliographiques portant sur les problèmes liés aux écoulements hydrauliques vers un ouvrage souterrain, sur les méthodes de calculs existantes pour l'étude de ces écoulements, sur la réponse hydromécanique des massifs de sols au creusement de tunnel (observations de chantiers), sur les techniques proposées pour simuler la construction d'un tunnel par la méthode des éléments finis et sur les approches de calculs développées pour le traitement de la consolidation d'un massif en présence d'une nappe à surface libre. Plusieurs études numériques ont été réalisées à l'aide du progiciel CESAR-LCPC. La méthode des éléments finis a été utilisée pour analyser les écoulements autour de tunnels en conditions bidimensionnelles et tridimensionnelles, en régimes permanent et transitoire. Différentes configurations sont étudiées, considérant un massif indéformable, pour étudier le rôle de l’anisotropie de perméabilité des massifs, leur stratification, et le rôle du revêtement de la paroi du tunnel et de différentes dispositions proposées pour atténuer l'effet des écoulements au front en cours de construction. La réponse d'un massif de sols compressibles au creusement d'un tunnel a été analysée par des calculs hydromécaniques couplés et un modèle de comportement élastoplastique adapté aux sols anisotropes MELANIE. Les résultats de calcul sont comparés à ceux obtenus par des analyses drainée et non drainée. L'approche non drainée a, d'autre part, été adoptée pour étudier la réponse des massifs relativement raides à la méthode de creusement par prédécoupage et pour analyser le comportement de la prévoûte au cours des différentes phases de la construction. La thèse présente, de plus, une contribution au développement du code de calcul CESAR-LCPC. La programmation du modèle MELANIE dans CESAR-LCPC a été adaptée pour traiter la variation de la contrainte de préconsolidation et des modules d'élasticité avec la profondeur, et pour actualiser le coefficient de perméabilité du sol en fonction de la variation de l'indice des vides. Une approche est, par ailleurs, proposée pour le traitement de la consolidation en présence d'un niveau piézométrique variable en utilisant les généralisations de Richards (1931) et de Bishop (I960) pour le traitement de l'écoulement et du couplage au-dessus de la surface libre. Cette approche a été programmée dans un nouveau module s'intégrant dans le code CESAR-LCPC et a été appliquée à l'étude de la consolidation d'un massif sous le chargement d'une fondation et suite à la réalisation d'un tunnel. Ce travail s'achève par la modélisation d'un ouvrage instrumenté : le tunnel de Grimsby, creusé dans un massif argileux compressible. Les calculs ont été réalisés avec différentes lois de comportement (MELANIE, élasticité isotrope et anisotrope et élastoplasticité isotrope), et avec différentes hypothèses pour le traitement du couplage au-dessus du niveau piézométrique ; les résultats ont été comparés aux tassements de surface mesurés sur une période de onze ans après la construction.

Certaines difficultés dans des activités de dénombrement sont imputables à la difficulté de passer d'un ensemble fini d'éléments à la détermination d'un ordre total sur cet ensemble. La capacité à faire ce passage peut être identifiée comme une connaissance que nous nommons énumération. L'apprentissage de l'énumération ne figure pas dans l'enseignement. Son existence culturelle même est faiblement reconnue. La première partie de notre étude montre d'une part que le contrôle du comptage et du dénombrement effectif des éléments d'une collection finie exige principalement de la part des élèves une conception de l'énumération, d'autre part que cette connaissance est nécessaire pour la construction et la compréhension des opérations arithmétiques. La deuxième partie étudie les conséquences dans l'enseignement : l'enseignement a besoin de connaissances qu'il ne prend pas en charge. L'impossibilité, pour l'enseignement, à réaliser une transposition didactique de l'énumération fait que cette connaissance est entièrement sous la responsabilité de l'élève et qu'il ne peut y avoir de négociation didactique à ce sujet. D'où des difficultés du côté des élèves comme du côté des professeurs. Nous étudions en particulier quels moyens l'institution enseignante se donne pour résoudre localement les problèmes posés par l'absence obligée de cette transposition, et les nouvelles difficultés que cela engendre. Pour permettre une transposition didactique de l'énumération, il est alors nécessaire de produire des situations a-didactiques de l'énumération et de réfléchir aux conditions de sa transformation en objet de savoir. Nous développons une ingénierie d'apprentissage de l'énumération d'ensembles. Nous posons ensuite la question du nécessaire choix, par le système enseignant, de la frontière entre les connaissances et les savoirs. Enfin, nous montrons comment notre ingénierie peut être comprise des enseignants en formation.

Résumé Les rejets des Usines à Zinc de Kolwezi contiennent majoritairement du zinc sous forme réfractaire (ferrite) au traitement hydrométallurgique conventionnel. Ils contiennent d’autres métaux « lourds » qui les rendent dangereux vis-à-vis de l’environnement dans lequel ils sont actuellement entreposés. Ces métaux, dont la plupart peuvent être valorisés, font de ces rejets un véritable gisement secondaire. Il est donc impératif de mettre au point un procédé adéquat de valorisation ; d’où le thème de la présente thèse : « Etude de valorisation des rejets des Usines à Zinc de Kolwezi, RDC ». A l’aide des techniques modernes de caractérisation (physico–chimique, minéralogique et morphologique), nous sommes arrivés à cibler, à adapter et à justifier l’utilisation d’une technique de valorisation des matières minérales existantes. Les minéraux utiles contenus dans les rejets UZK ont été sulfatés par digestion et sélectivement mis en solution après un grillage. La sulfatation s’est avérée l’étape déterminante du procédé et un intérêt particulier a été focalisé sur cette étape en réalisant une étude cinétique approfondie. Les données et informations récoltées tout le long de cette recherche nous ont permis de réaliser une simulation du procédé par le logiciel ASPEN PLUS. Ce qui a permis de faire une ébauche d’un schéma de traitement industriel. Ce dernier s’est avéré souple vis-à-vis de l’utilisation d’autres matières comme les calcines des concentrés sulfurés cuivre-zinc. Residues from the Kolwezi Zinc Plant (Usines à Zinc de Kolwezi UZK) essentially contain zinc in a refractory (ferrite) form, which is difficult to recover by conventional hydrometallurgical methods. « Heavy» metals are also present that make them hazardous towards the environment in which they are currently stored. Most of these metals are valuable; thus, the UZK residues are a real secondary deposit. It is therefore imperative to develop an appropriate method of treatment, hence the theme of the present thesis: « Recovery study of values metals from Kolwezi Zinc Plant residues, DRC ». Using modern techniques of characterization (physical and chemical, mineralogical and morphological), we focused, adapted and justified the use of a technique for efficient recovery of the existing valuable minerals. The minerals contained in UZK residues have been sulphated by digestion and thereafter selectively dissolved after roasting. Sulphatation proved to be the decisive step of the process and a particular attention has been given to this step by performing a detailed kinetic study. The data and information collected throughout this research allowed a simulation of the developed method by using the « Aspen Plus » software. This allowed us to propose a draft scheme of industrial processing. The latter proved flexible towards the use of other materials such as calcines of copper-zinc sulphide concentrates.

Les grilles de calcul sont une nouvelle Technologie de l'Information permettant la collecte et le partage de l'information, la mise en réseau d'experts et la mobilisation de ressources en routine ou en urgence. Elles ouvrent de nouvelles perspectives de réduction des coûts et d'accélération de la recherche in silico de médicaments contre les maladies négligées et émergentes. Dans ce contexte, la première partie de la thèse a porté sur la conception de services bio-informatiques sur grille. Ils facilitent le déploiement et la mise à jour sur la grille RUGBI de logiciels et de bases de données. La seconde partie a vu le déploiement d'expériences de criblage virtuel à haut débit sur l'infrastructure de grille EGEE. Les expériences ont démontré que les grilles collaboratives ont la capacité à mobiliser d'importantes ressources de calcul dans des buts bien définis pendant une période de temps significative, et qu'elles produisent des résultats biologiques pertinents.

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect. / One of the main goals of software engineering is to enable the construction of large, complex and reliable software in timely fashion. Object-oriented (OO) technology has provided modeling and programming principles and techniques that allow developing complex software systems both in academic and industrial areas. In return, experience gained in OO system development has allowed discovering some limitations of object technology (e.g., code scattering and poor traceability problems). Aspect Oriented (AO) Technology is a post-object-oriented technology emerged to overcome limitations of Object Oriented (OO) Technology, such as the crosscutting concern problem. Crosscutting concerns are scattered and tangled concerns. Major goals of Aspect Oriented Programming (AOP) include improving modularity, cohesion, and overall software quality. Aspect Oriented Programming results in the evolution of programming activities to fullblown software engineering processes, to preserve modularity and traceability, which are two important properties of high-quality software. Yet, there are also many challenges in AO Technology. Reasoning, specification, and verification of AO programs present unique challenges especially as such programs evolve over time. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed or is added. It is well known in the literature, however, that modular reasoning about AO programs is difficult due to the fact that the aspects applied often alter the behavior of the base components [47]. The same modular reasoning difficulties are also present in the specification and verification phases of software development process. To the best of our knowledge, AO modular specification and verification is a weakly covered subject and constitutes an interesting open research field. Also, aspect interaction is a major concern in the aspect-oriented community. To deal with these problems, we choose to use category theory and algebraic specification techniques. To achieve the above thesis goals, we use the work of Wiels [110] and other contributions such as the one described in [25]. We assume at the beginning that the system under development is already decomposed into aspect and class components. The first contribution of our thesis is the extension of the algebraic specification technique to the notion of aspect. Secondly, we define a logic, LA that is used in specification bodies to describe the behavior of these components. The third contribution concerns the defini tion of the weaving operator corresponding to the weaving interconnection relationship between aspect modules and class modules. The fourth contribution consists of the design of a prevention policy that is used to prevent or avoid undesirable aspect interactions in aspect-oriented systems.

Les langages synchrones tels que SIGNAL, LUSTRE et ESTEREL sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources. En adoptant une approche de validation de la traduction, cette thèse vise à prouver formellement la correction d'un compilateur optimisé et industriel de SIGNAL. La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé.

Simplifier notre interaction avec les entités informatiques interconnectées de notre environnement et faciliter l'exploitation des informations générées par celles-ci est l'objectif des environnements et des applications ubiquitaires. Le comportement des applications ubiquitaires dépend de l'état et de la disponibilité des entités (logiciels ou dispositifs) qui composent l'environnement ubiquitaire dans lequel elles évoluent, ainsi que des préférences et localisations des utilisateurs. Développer et exécuter des applications ubiquitaires est un véritable défi que notre approche essaie de relever au travers de l'environnement d'exécution ApAM. Considérant que l'environnement d'exécution est imprévisible, nous partons du principe qu'une application ubiquitaire doit disposer d'une grande flexibilité dans le choix de ses composants et que cette composition doit être automatique. Nous proposons une description abstraite et implicite de la composition (où les composants et les liens entre eux ne sont pas décrits explicitement), ce qui permet de construire l'application incrémentalement pendant la phase d'exécution. La plate-forme d'exécution ApAM implémente ces mécanismes de composition incrémentale et s'en sert pour conférer aux applications ubiquitaires la capacité de " résister " et de s'adapter aux changements imprévisibles de l'environnement d'exécution. Cette propriété dite de résilience est au coeur de notre approche car elle permet aux programmeurs de développer " simplement " des applications " résilientes " sans avoir à décrire les diverses adaptations à réaliser et même sans connaître toutes les perturbations de l'environnement auxquelles elles seront soumises. Notre proposition offre le moyen de développer et d'exécuter des applications ayant un haut niveau de résilience vis-à-vis des évolutions de leur contexte d'exécution, grâce à des mécanismes automatiques capables de construire et de modifier à l'exécution l'architecture logicielle des applications ubiquitaire. Les mécanismes fournis sont génériques mais peuvent être étendus et spécialisés pour s'adapter plus finement à certaines applications ou à des domaines métiers spécifiques.