25655 research outputs found
Sort by
Etude de surfaces de graphite et de nanotubes de carbone, par microscopie à force atomique et par microscopie et spectroscopie à effet tunnel
No full textDans cette thèse, nous avons étudié plusieurs structures carbonées par microscopie et
à effet tunnel et microscopie à force atomique à l'air et à température ambiante.
La première section concerne l'étude du graphite HOPG, utilisé comme substrat au cours de nos mesures.
Nous montrons et expliquons la résolution atomique sur le graphite puis l'étudions par spectroscopie à
effet tunnel. Les courbes sont ensuite comparées avec la densité d'états calculée du graphite.
Une figure de Moiré est aussi analysée en détail. Elle est obtenue par la rotation d'un feuillet graphitique
dans l'empilement ABAB. La résolution atomique est obtenue à la fois sur la superstructure et sur la
couche supérieure du graphite. Une analyse théorique est effectuée et permet d'attribuer les zones de
densité d'états différentes dans l'image STM à des empilement graphitiques variés. Une étude de
l'influence de la variation de la tension de polarisation sur l'image STM est aussi effectuée. Elle révèle
qu'à très faible tension, l'interaction entre la pointe et l'échantillon est prépondérante. Elle donne lieu à
une structure d'ordre six dans les images STM, témoin de la différence de compressibilités entre les
empilements stables et intermédiaires.
Un joint entre deux grains graphitiques a aussi été mesuré en détail. La résolution atomique présente une
superstructure comprenant des cercles de plus haute densité d'états disposés de manière périodique.
Plusieurs modèles théoriques sont élaborés de manière à rendre compte de l'image expérimentale. Les
deux premiers prennent en considération des défauts de Stone-Wales dans le réseau hexagonal non
déformé. Le troisième modélise un joint entre deux grains d'orientations différentes grâce à l'adjonction
de pentagones et heptagones. Pour chaque structure, une image STM théorique est calculée et comparée
aux mesures expérimentales. Ils montrent que la signature STM des pentagones est un cercle de plus
haute densité d'états et indiquent la probable présence de pentagones le long de la ligne formant la
jonction entre les grains graphitiques. Le dernier modèle reproduit assez fidèlement l'image mesurée.
Le chapitre suivant présente les résultats obtenus par microscopie à force atomique et microscopie
électronique (SEM) sur des nanotubes de carbone multifeuillets hélicoïdaux. Nous expliquons d'abord la
méthode de préparation des substrats. Ensuite, nous analysons un nanotube hélicoïdal de très faible pas
par microscopie électronique. Cette technique nous permet de mesurer l'hélice. Ensuite, le même
nanotube est observé par microscopie à force atomique. Une image à trois dimension de l'hélice est
réalisée et comparée avec les mesures SEM. On remarque que la hauteur de l'hélice ne correspond pas à
son diamètre. Plusieurs hypothèses sont envisagées pour expliquer cela. Nous en concluons que c'est la
contamination dans la chambre du microscope électronique qui est à l'origine de cette différence. Des
mesures de modulation de force ainsi qu'une tentative de microscopie à effet tunnel sur un nanotube
hélicoïdal sont aussi présentées.
Enfin, des nanotubes monofeuillets ont été observés par microscopie et spectroscopie à effet tunnel. La
résolution atomique a été obtenue sur plusieurs tubules différents et leur indices (m,n) déterminés. De
plus, la résolution atomique sur la totalité des tubules formant une corde a été réalisée. Elle prouve qu'à
l'intérieur d'une même corde, la chiralité des tubes varie. Nous avons continué cette recherche par l'étude
de l'extrémité d'un nanotube monofeuillet. La résolution atomique a aussi été réalisée. Elle montre une
capsule de type hémisphérique. Deux pentagones formant la capsule ont également été mis à jour. Enfin,
des mesures de spectroscopie à effet tunnel réalisées sur une corde de nanotube résolue atomiquement
sont discutées.(DOCSC01)--FUNDP, 200
Program Understanding Techniques in Database Reverse Engineering
No full textFor many years software engineering has primarily focused on the development of new systems and neglected maintenance and reengineering of legacy applications. Maintenance typically represents 70% of the cost during the life cycle of a system. In order to allow an efficient and safe maintenance of a legacy system, we need to reverse engineer it in order to reconstruct its missing or out-of-date documentation. In data-oriented applications the reverse engineering complexity can be broken down by considering that the database can be reverse engineered independently of the procedural components.
Database reverse engineering can be defined as the process of recovering the database's schema(s) of an application from database declaration text and program source code that use the data in order to understand their exact structure and meaning. A database reverse engineering methodology is broken down into three processes: project preparation, data structure extraction that recovers the database's logical schema and data structure conceptualization that interprets the logical schema in conceptual terms.
In order to validate our methodology and program understanding techniques, we have developed tools to support them. Those tools have proved absolutely necessary to perform database reverse engineering of medium to larger applications in reasonable time and at reasonable cost. To cut down on the cost of large projects, we have stressed the need for automation to reduce the manual work of the analyst. Our experience with real size projects has taught us that the management aspects of a project are essential success factors. The management of a project comprises different aspects such as database reverse engineering explanation, cost evaluation and database reverse engineering result evaluation.(DOCSC06)--FUNDP, 200
Apport de la chimie calculatoire à la modélisation de diagrammes de phases
No full textRésumé : Le comportement thermodynamique d'un système se décrit sur base d'une équation d'état. L'équation d'état de Sanchez-Lacombe est largement utilisée et constitue un bon compromis entre l'investissement calculatoire et la qualité des résultats fournis, surtout au niveau de l'équilibre liquide-vapeur. La paramétrisation de cette équation d'état, proposée par Heidemann, est basée sur la seule connaissance des paramètres critiques du composé. La modélisation des diagrammes de phases implique la description des forces intermoléculaires et les techniques de chimie quantique constituent un outil performant pour paramétrer les équations d'état. Ce travail repose sur l'évaluation prédictive des paramètres critiques de composés purs grâce à une approche de type QSPR (Quantitative Structure-Properties Relationships) associée à une méthode de régression linéaire multiple basée sur le calcul de descripteurs moléculaires (volume, multipoles, polarisabilités, surfaces chargées). Cette technique peut être étendue à la détermination des paramètres critiques de mélanges sur base de règles nécessitant la seule connaissance des paramètres critiques des constituants purs et les fractions molaires correspondant à chacun d'entre-eux.
Abstract : The Sanchez-Lacombe equation of state is largely used due to the compromise it offers between the computing cost and quality of the results, especially for liquid-vapor equilibrium. Heidemann's parametrization of the Sanchez-Lacombe equation only requires the knowledge of critical values of the pressure, volume and temperature in order to solve the equation of state. Besides the development of equations of state, the modelling of phase behaviour implies reliable descriptors of intermolecular forces. Quantum chemistry methods are able to provide valid and consistent parameters for intermolecular forces, which, in turn, allow an efficient description of phase behaviour. In this work, predictive evaluation of pure component critical parameters is performed by using a QSPR approach in association with a multilinear regression method based on the calculation of judicious molecular descriptors (volume, multipoles, polarizabilities, surfaces). Together with the implementation of suitable mixing rules, QSPR allows the determination of critical parameters for mixtures by only taking into account molar fractions and pure component critical parameters(DOCSC02)--FUNDP, 200
Evolution d'applications de bases de données relationnelles : Méthodes et Outils|Evolution of relational databases applications: Methods and Tools
No full textSi les nouvelles technologies en matière de SGBD envisagent le problème de l'évolution du schéma d'une base de données, les systèmes d'information actuels posent des problèmes particulièrement ardus lors des phases d'évolution.
Ce travail étudie ces problèmes dans un contexte pratique tel qu'il est vécu actuellement par les développeurs. Il propose une typologie complète des modifications possibles ainsi qu'une analyse du phénomène de l'évolution et de son impact sur les structures de données, les données et les programmes d'application au travers de stratégies typiques.
Le document décrit ensuite l'environnement de génie logiciel DB-Main avec lequel a été construit un prototype d'outil d'aide à l'évolution. Cet outil permet notamment de générer automatiquement les programmes de conversion de la base de données à partir de la trace des opérations de modification des schémas conceptuel ou logique de la base de données. Il aide aussi le programmeur à modifier les programmes d'application en conséquence.|
If the recent DBMS technologies consider the problem of databases schema evolution, standard Information Systems in use raise hard problems when evolution is concerned.
This work studies these problems in the current developer context. It gives a complete typology of modifications and analyses the evolution of systems and its impact on the data structures, data and programs through typical strategies.
The document introduces the DB-Main CASE environment, with which an evolution tool prototype has been developed. This tool can automatically generate the conversion programs for the database from the operational trace of the conceptual and logical schema modifications. It can also help the programmer to modify the application programs.(DOCSC06)--FUNDP, 200
Perturbation Auxiliary Problem Methods to Solve Generalized Variational Inequalities
No full textThe first chapter provides some basic definitions and results from the theory of convex analysis and nonlinear mappings related to our work. Some sufficient conditions for the existence of a solution of problem (GVIP) are also recalled.
In the second chapter, we first illustrate the scope of the auxiliary problem procedure designed to solve problems like (GVIP) by examining some well-known methods included in that framework. Then, we review the most representative convergence results for that class of methods that can be found in the literature in the case where F is singlevalued as well as in the multivalued case. Finally, we somewhat discuss the particular case of projection methods to solve affine variational inequalities.
The third chapter introduces the variational convergence notion of Mosco and combines it with the auxiliary problem principle. Then, we recall the convergence conditions existing for the resulting perturbed scheme before our own contribution and we comment them. Finally, we introduce and illustrate the rate of convergence condition that we impose on the perturbations to obtain better convergence results.
Chapter 4 presents global and local convergence results for the family of perturbed methods in the case where F is singlevalued. We also discuss how our results extend or improve the previous ones.
Chapter 5 studies the multivalued case. First, we present convergence results generalizing those obtained when there is no perturbations. Then, we relax the scheme by means of a notion of enlargement of an operator and we provide convergence conditions for this inexact scheme.
In Chapter 6, we build a bundle algorithm to solve problem (GVIP) and we study its convergence.(DOCSC00)--FUNDP, 200
L'abstraction de la garantie bancaire automatique. Etude de Droit civil comparé.
No full textx(DOCJURI00) -- UNamur, 198
