Identité, évolution et discernabilité des objets dans les systèmes d'information et les bases de données

The principles and procedures for managing technical data changes specifically addressed by Product Lifecycle Management systems are examined in the context of fast changing and serially produced technical objects. Attempts to combine functionalities provided by PLM systems lead to choices that are irreconcilable with fully automated management. The expected outcomes should thus be put into perspective. The theoretical issues relate to the foundations of identity and discernibility, oneness and multiplicity, changes and invariances explored in this paper. Along the lines of E.F. Codd's algebra, a formal approach to object naming is proposed in order to communicate strategies for managing relationships. The interchangeability of objects and relations, compositions and use contexts is relatively and conditionally redefined. The strategies for managing configuration changes are optimized using two generic principles that aim to preserve invariances or design new constructible ones. Those principles come into play depending on how industrial settings combine redesign (innovation) and production (serial production) rates. These investigations drew upon multiannual research conducted in manufacturing (in particular, aeronautics) as well as health care, and led to experimental corporate applications. The major PLM solutions in the market were examined.Les principes et les modalités de gestion des évolutions des données techniques proposées notamment par les Product Lifecycle Management (P.L.M) sont étudiés dans les contextes de forte évolutivité des objets techniques et de reproduction en série. Les tentatives de conjugaison des fonctionnalités offertes par les P.L.M. conduisent à des choix inconciliables avec un traitement entièrement automatisé, et les résultats escomptés doivent donc être relativisés. Les questionnements théoriques renvoient aux fondements de l'identité et de la discernabilité, de l'unique et du multiple, des évolutions et des invariances, qui sont explorés. Une approche formelle de la dénomination des objets est proposée, dans la continuité de l'algèbre d'E.F. Codd, pour relayer les stratégies de gestion des relations. L'interchangeabilité des objets et des relations, des compositions et des contextes d'emplois, est redéfinie de manière relative et conditionnelle. Les stratégies de gestion des évolutions de configurations sont optimisées selon deux principes génériques visant à préserver les invariances ou à en concevoir de nouvelles sur des bases constructibles. Ces principes entrent en action selon la manière dont les situations industrielles conjuguent les régimes de reconception (innovation) et de reproduction (sériation). Les propositions ont été nourries par des travaux pluriannuels conduits en milieu industriel (aéronautique notamment) ainsi que dans la santé, et ont eu des implications pilotes en entreprise. Les principales solutions P.L.M. du marché ont été examinées

Étude de la relation entre la construction des opérateurs de la fraction et la construction opératoire de la notion de rapport auprès d'élèves de la première à la cinquième secondaire

Cette recherche avait pour but premier de vérifier l'existence d'une relation entre la construction de l'opérateur de la fraction, telle que décrite par Kieren, et la construction de la notion de rapports, telle que décrite par Noeltinq. Elle voulait également vérifier l'existence d'une relation entre le niveau de réussite à un test d'opérations sur les fractions et le niveau de construction des opérateurs de Kieren ou le niveau de construction opératoire de la notion de rapport. L'administration de trois tests à 152 élèves, de la première à la cinquième secondaire, âgés de 12 à 19 ans, a permis de recueillir des informations relatives à la construction de l'opérateur, au développement opératoire de la notion de rapport de ces sujets et à leur performance concernant les opérations arithmétiques impliquant la fraction. L'application d'un test du X sur les données a permis de mettre en évidence une relation statistiquement significative entre le développement de l'opérateur, tel que décrit par Kieren et le niveau de développement de la notion de rapport, tel qu'établi par Noelting. Elle a également permis de montrer que la construction de l'opérateur, de même que celle de la notion de rapport sont étroitement liées à la classe fréquentée par l'élève. Toutefois, statistiquement parlant, ces deux variables n'ont montré qu'une faible relation avec les résultats au test d'opérations arithmétiques impliquant la fraction. Cette recherche contribue à enrichir la connaissance de la construction des niveaux d'opérateurs décrits par Kieren et du développement de la notion de rapport chez les élèves du secondaire tout en montrant qu'il ne semble pas exister de lien entre ces constructions et le niveau de réussite aux opérations arithmétiques appliquées à la fraction

Epistémologie de la gravité expérimentale - Rationalité scientifique

L'évolution des tests gravitationnels dans une perspective épistémologique encadré dans le concept de reconstruction rationnelle d'Imre Lakatos, fondée sur sa méthodologie de programmes de recherche. Contrairement à d'autres travaux sur le même sujet, la période évaluée est très longue, allant de la philosophie naturelle de Newton aux théories de la gravité quantique d'aujourd'hui. Afin d'expliquer de manière plus rationnelle l'évolution complexe du concept de gravité du siècle dernier, je propose une extension naturelle de la méthodologie des programmes de recherche que j'utilisais ensuite au cours de la communication. Je pense que cette approche offre une nouvelle perspective sur la manière dont le concept de gravité et les méthodes de test de chaque théorie de la gravité ont évalué dans le temps, par le biais d'observations et d'expériences. Je soutiens, sur la base de la méthodologie des programmes de recherche et des études des scientifiques et des philosophes, que les théories actuelles de la gravité quantique sont dégénératives, en raison du manque de preuves expérimentales sur une longue période et d'auto-immunisation contre la possibilité de la réfutabilité. De plus, un courant méthodologique est en cours de développement, attribuant un rôle secondaire, sans importance, aux vérifications par le biais d'observations et / ou d'expériences. Pour cette raison, il ne sera pas possible d'avoir une théorie complète de la gravité quantique sous sa forme actuelle qui inclura à la limite la relativité générale, car les théories physiques ont toujours été ajustées, au cours de leur évolution, sur la base d'essais d'observation ou expérimentaux, et vérifiées par les prédictions effectuées. En outre, contrairement à une opinion répandue et aux programmes en cours concernant l'unification de toutes les forces fondamentales de la physique dans une théorie finale unique, basée sur la théorie des cordes, je soutiens que cette unification est généralement improbable et, de toute façon, impossible pour que l'unification soit développée sur la base des théories actuelles de la gravité quantique, y compris la théorie des cordes. En outre, je partage l’avis de certains scientifiques et philosophes selon lequel on consacre actuellement trop de ressources à l’idée de développer des théories de la gravité quantique, et en particulier de la théorie des cordes, qui devrait inclure la relativité générale et unifier la gravité avec d’autres forces, en particulier conditions dans lesquelles la science n’impose pas de tels programmes de recherche

Mécanismes Orientés-Objets pour l'Interopérabilité entre Systèmes de Preuve

Dedukti is a Logical Framework resulting from the combination ofdependent typing and rewriting. It can be used to encode many logicalsystems using shallow embeddings preserving their notion of reduction.These translations of logical systems in a common format are anecessary first step for exchanging proofs between systems. Thisobjective of interoperability of proof systems is the main motivationof this thesis.To achieve it, we take inspiration from the world of programminglanguages and more specifically from object-oriented languages becausethey feature advanced mechanisms for encapsulation, modularity, anddefault definitions. For this reason we start by a shallowtranslation of an object calculus to Dedukti. The most interestingpoint in this translation is the treatment of subtyping.Unfortunately, it seems very hard to incorporate logic in this objectcalculus. To proceed, object-oriented mechanisms should be restrictedto static ones which seem enough for interoperability. Such acombination of static object-oriented mechanisms and logic is alreadypresent in the FoCaLiZe environment so we propose a shallow embeddingof FoCaLiZe in Dedukti. The main difficulties arise from theintegration of FoCaLiZe automatic theorem prover Zenon and from thetranslation of FoCaLiZe functional implementation language featuringtwo constructs which have no simple counterparts in Dedukti: localpattern matching and recursion.We then demonstrate how this embedding of FoCaLiZe to Dedukti can beused in practice for achieving interoperability of proof systemsthrough FoCaLiZe, Zenon, and Dedukti. In order to avoid strengtheningto much the theory in which the final proof is expressed, we useDedukti as a meta-language for eliminating unnecessary axioms.Dedukti est un cadre logique résultant de la combinaison du typagedépendant et de la réécriture. Il permet d'encoder de nombreuxsystèmes logiques au moyen de plongements superficiels qui préserventla notion de réduction.Ces traductions de systèmes logiques dans un format commun sont unepremière étape nécessaire à l'échange de preuves entre cessystèmes. Cet objectif d'interopérabilité des systèmes de preuve estla motivation principale de cette thèse.Pour y parvenir, nous nous inspirons du monde des langages deprogrammation et plus particulièrement des langages orientés-objetparce qu'ils mettent en œuvre des mécanismes avancés d'encapsulation,de modularité et de définitions par défaut. Pour cette raison, nouscommençons par une traduction superficielle d'un calcul orienté-objeten Dedukti. L'aspect le plus intéressant de cette traduction est letraitement du sous-typage.Malheureusement, ce calcul orienté-objet ne semble pas adapté àl'incorporation de traits logiques. Afin de continuer, nous devonsrestreindre les mécanismes orientés-objet à des mécanismes statiques,plus faciles à combiner avec la logique et apparemment suffisant pournotre objectif d'interopérabilité. Une telle combinaison de mécanismesorientés-objet et de logique est présente dans l'environnementFoCaLiZe donc nous proposons un encodage superficiel de FoCaLiZe dansDedukti. Les difficultés principales proviennent de l'intégration deZenon, le prouveur automatique de théorèmes sur lequel FoCaLiZerepose, et de la traduction du langage d'implantation fonctionnel deFoCaLiZe qui présente deux constructions qui n'ont pas decorrespondance simple en Dedukti : le filtrage de motif local et larécursivité.Nous démontrons finalement comment notre encodage de FoCaLiZe dansDedukti peut servir en pratique à l'interopérabilité entre dessystèmes de preuve à l'aide de FoCaLiZe, Zenon et Dedukti. Pour éviterde trop renforcer la théorie dans laquelle la preuve finale estobtenue, nous proposons d'utiliser Dedukti en tant que méta-langagepour éliminer des axiomes superflus

Contribution à la définition d'un langage générique de modélisation d'entreprise

Cette thèse traite de la définition d’un langage unifié de modélisation d’entreprise (UEML). Celle-ci aborde, dans un premier temps, l’existant en modélisation d’entreprise. Nous exposons différentes approches et langages qui au cours des années ont eu pour objectif d’unifier des langages et nous montrons, qu’à l’heure actuelle, ils ne permettent pas de répondre à notre problématique. Par la suite, un exemple simple de traduction entre une activité SADT et une activité GRAI des réseaux GRAI est traité par une approche empirique. Il permet de faire ressortir un ensemble de difficultés inhérentes à la définition d’UEML, et, à partir de celui-ci, nous exposons notre point de vue ainsi qu’un ensemble de principes auxquels nous adhérons. Ensuite, nous proposons une approche basée sur la méta-modélisation des langages, en utilisant le langage UML, ainsi que sur la théorie des ensembles. Cette approche permet l’identification des composants élémentaires nécessaires à la définition de notre langage unifié. Enfin, nous présentons un exemple complet d’élaboration d’un UEML, en partant de trois langages de modélisation d’entreprise (GRAI, IEM et EEML) et en procédant par une approche ascendante. Ces travaux ont été réalisés dans le cadre du réseau thématique UEML. Nous exposons, finalement, les différences entre les deux approches et les éléments importants que l’on peut en dégager.This thesis deals with the definition of a unified enterprise modelling language (UEML). In a first step, the existing enterprise modelling languages are studied. We expose various approaches and languages which during years have aimed to unify languages and we show that at the present time, they do not allow to answer our problematic. Therefore, we will present a simple example of model translation between the SADT activity and the GRAI activity of GRAI nets, performed by an empiric approach. It allows to highlight a set of difficulties inherent to UEML definition and, from these ones, we expose our point of view and a set of principles to which we subscribe. Then, we propose an approach based on meta-modelling of the languages, by using UML language, and on the set theory. This approach allows the identification of the elementary constructs needed for the definition of our unified language. Finally, we present a whole example of an UEML elaboration, by starting from three enterprise modelling languages (GRAI, IEM and EEML) and by using a bottom-up approach. These works have been done in the framework of UEML thematic network. At last, we expose the differences between these two approaches and the pertinent elements which can come up from them