Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Reproduction de : Thèse de docteur-ingénieur : informatique : Grenoble, INPG : 1985. / Titre provenant de l'écran-titre. Bibliogr. p. 123-129.

La composition des services web, en tant que moyen de fournir des applications à valeur ajoutée a engendré un grand intérêt aussi bien dans le milieu industriel que dans la communauté des chercheurs. Dans le premier cas, l'accent a été mis sur la définition des standards basés sur le langage XML. Elle est de nature exclusivement syntaxique. Dans le deuxième cas, on aborde la composition sous une approche basée sur le web sémantique et la description de services est basée sur des informations sémantiques. Les deux approches ayant été développées séparément bien que l'objectif que l'on veut atteindre est le même à savoir la fourniture d'outils de composition automatique de services. Dans ce mémoire, nous proposons une approche « mixte » qui essaye de rassembler les avantages des deux méthodes précédentes. L'originalité de la solution consiste à utiliser les standards industriels de la composition tout en utilisant un système à base de connaissances modélisant les contraintes de la composition de services. Les mécanismes utilisés sont les règles exprimées par la logique d'ordre 1 avec les concepts orientés objet. Nous avons réalisé un prototype qui a montré la concrétisation des idées avancées afin de mettre en place un système de composition pouvant être utilisé pour des applications réelles. Le prototype est illustré par un exemple provenant de l’industrie de la distribution et du transport électrique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : services web, composition, système à base de connaissances, Jess, wsdl, bpel4ws

Résume : Les méthodes de structuration de la connaissance en conception, basées sur des visions fonctionnelles sont analysées et comparées. On procède à une analyse sémantique en liaison avec l'analyse fonctionnelle et on conclut qu'il est difficile de réaliser une base de données s'il on ne réduit pas la diversité des verbes utilisés. Nous proposons une vision énergétique à partir de la loi dite d'intégralité des parties qui décompose un système en entités particulières. La réalisation d'une fonction passe par la transformation d'une énergie par un convertisseur, cette énergie est transmise par un transmetteur et utilisée par l'opérateur pour exercer l'action, l'opérateur ne peut être qu'un transmetteur ou un convertisseur. Ainsi nous réduisons le système à 3 entités auxquelles s'ajoute l'entité de contrôle /commande. De surcroît, nous remarquons que nous limitons, au premier niveau, les verbes d'action à 2 verbes, convertir et transmettre. Ce premier niveau sera suivi de niveau auxquels comprenant des verbes synonymes plus précis associés à des compléments directement associés à des composants identifiés. Ainsi on peut définir une taxonomie qui permet de construire une base de connaissances de composants basée sur l'énergie, sa transformation et sa transmission. Cette base est associée à une structuration organique systématique et reproductible à chaque niveau d'analyse. Une méthode de conception préliminaire est élaborée à partir de l'utilisation de cette base. L'analyse énergétique de la réalisation de l'action permet de construire un organigramme technique particulier et de choisir dans la base des composants les convertisseurs et transmetteurs. Ensuite on procède à l'agencement de ces composants et on sélectionne les composants d'interaction standard à partir de logiques proche de la théorie des mécanismes. La phase suivante consiste à récupérer les modèles physiques associés (loi de conservation de l'énergie) dans la base et de sélectionner les effets produits puis induits afin de réaliser un modèle global du système utilisable en conception préliminaire. Les résultats de simulation permettent de calculer les variables liées aux critères d'appréciation de CdCF qui donnent les éléments d'aide à la décision. L'étude d'un système éolien, en particulier la conception du multiplicateur (transmetteur) et de son système de refroidissement (maîtrise des effets induits) sert d'exemple d'utilisation de la base et de la méthode de conception associée.

Th. 3e cycle--Inform.--Grenoble--I.N.P., 1985.

Dans de nombreux domaines scientifiques ou techniques, la quantité et la complexité croissantes des connaissances manipulées rendent inadéquate l'utilisation de supports classiques tels que le papier. L'informatique peut apporter une réponse en proposant un cadre pour modéliser, gérer et exploiter ces connaissances : on parle alors de bases de connaissances. Pour la plupart des domaines, la connaissance n'est pas statique et immédiatement disponible mais est au contraire en constante évolution au fur et à mesure des découvertes. Dés lors, une base de connaissances est construite de manière incrémentale. Incrémentale veut dire que l'on commence par construire une petite base qui est enrichie petit à petit par l'acquisition de nouvelles connaissances. Cette construction est partagée puisque plusieurs personnes doivent pouvoir travailler simultanément sur cette base afin de la bâtir. Cette thèse aborde la problématique de la gestion des versions pour les bases de connaissances. Ses apports sont de deux ordres. Nous avons tout d'abord conçu et réalisé un système de gestion de versions de bases de connaissances. Par définition, une version reflète un état de l'évolution de la base, c'est-à-dire de l'ensemble des structures et des valeurs des connaissances contenues dans celle-ci (à un moment donné). Les versions aident ainsi à contrôler l'historique des changements effectués au cours de la construction de la base. Elles permettent également un éventuel retour en arrière. Finalement, les versions permettent la formulation de différentes hypothèses de recherche et la gestion de leur évolution parallèle au cours du temps. Nous avons également contribué à la conception de l'environnement de construction incrémentale et partagée de bases de connaissances et montré comment notre système de versions s'intègre au sein de cet environnement.

Les humains raisonnent souvent en présence d'informations contradictoires. Dans cette thèse, j'ébauche une axiomatisation du sens commun sous-jacent à ce raisonnement dit paraconsistant. L'implémentation de cette axiomatisation dans les ordinateurs autonomes sera essentielle si nous envisageons de leur déléguer des décisions critiques ; il faudra également vérifier formellement que leurs réactions soient sans risque en toute situation, même incertaine. Une situation incertaine est ici modélisée par une base de connaissances probabilistes éventuellement inconsistante ; c'est un multi-ensemble de contraintes éventuellement insatisfiable sur une distribution de probabilité de phrases d'un langage propositionnel, où un niveau de confiance peut être attribué à chaque contrainte. Le principal problème abordé est l'inférence de la distribution de probabilité qui représente au mieux le monde réel, d'après une base de connaissances donnée. Les réactions de l'ordinateur, préalablement programmées puis vérifiées, seront déterminées par cette distribution, modèle probabiliste du monde réel. J.B. Paris et al. ont énoncé un ensemble de sept principes, dit de sens commun, qui caractérise l'inférence dans les bases de connaissances probabilistes consistantes. Poursuivant leurs travaux de définition du sens commun, je suggère l'adhésion à de nouveaux principes régissant le raisonnement dans les bases inconsistantes. Ainsi, je définis les premiers outils théoriques fondés sur des principes pour raisonner de manière probabiliste en tolérant l'inconsistance. Cet ensemble d'outils comprend non seulement des mesures de dissimilarité, d'inconsistance, d'incohérence et de précision, mais aussi un processus d'inférence coïncidant avec celui de J.B. Paris dans le cas consistant. Ce processus d'inférence résout un problème de la théorie du vote, c'est-à-dire l'obtention d'un consensus parmi des opinions contradictoires à propos d'une distribution de probabilité telle que la répartition d'un investissement financier. Finalement, l'inconsistance n'est qu'une forme d'incertitude qui ne doit pas entraver notre raisonnement, ni celui des ordinateurs : peut-être qu'une plus grande confiance leur sera accordée s'ils fondent leurs décisions sur notre sens commun.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Dans un processus traditionnel de conception de produits mécaniques, l’organisation classique est la conception du produit puis son dimensionnement et enfin son optimisation. Les concepteurs prennent des risques en n’évaluant les performances du produit que dans les dernières phases du processus, et l’étape d’optimisation est bien souvent mise de côté, faute de temps ou à cause du retard pris sur les autres phases. La phase de conception préliminaire est une étape délicate car les décisions doivent y être prises dans un contexte imprécis ou peu de choses sont définies. Il n’existe pas d’outils informatiques adaptés et l’étude de plusieurs concepts multiplie les tâches routinières et les pertes de temps associées. Le concepteur prend donc des risques en réduisant le nombre de concepts développés. Le dimensionnement de produits comporte également un certain nombre de difficultés, comme un positionnement tardif dans le processus, entraînant des étapes de pré et post traitement lourdes ainsi que des simulations longues. L’analyse d’aide à la décision est prometteuse mais elle reste marginale, faute de modèles simplifiés disponibles dans les phases amont du processus de conception.Cette thèse expose la synthèse de nos travaux de recherche portant sur l’optimisation en conception de systèmes mécaniques. L’étude proposée s’intègre dans une démarche d’ingénierie hautement productive de systèmes mécaniques et comporte plusieurs facettes : conception fonctionnelle paramétrique, application d’ingénierie à base de connaissances, outils de simulation numérique et d’optimisation. Nous proposons une méthodologie permettant d’introduire au plus tôt dans le processus de conception, une étape d’optimisation couplée à des simulations d’aide à la décision, en vue d’identifier des architectures optimales inédites, présentant les meilleurs compromis vis-à-vis d’objectifs multiples relatifs au comportement mécanique. L’objectif du travail de recherche est de développer des modèles, des méthodes et des outils dédiés à la génération semi-automatique de modèles géométriques tridimensionnels multiples identifiés comme solutions les plus performantes dans un cadre de conception collaborative de produits mécaniques. Notre méthodologie est ensuite expérimentée sur plusieurs projets de conception de systèmes mécaniques relevant de la mécanique des structures, en analyses statique et dynamique. Il s’agit en particulier de la conception d’organes du véhicule de l’UTBM participant au trophée SIA. / In a traditional process of design of mechanical products, the traditional organization is the product design and the sizing and finally optimization. The designers take risks in failing to assess product performance in the final stages of the process, and the optimization step is often ignored because of time or due to delays on other phases. The preliminary design is a delicate step because decisions must be taken in a little vague or defined. There are no adequate data tools and the study of several concepts multiply routine tasks and wasted time associated. The designer is therefore taking risks by reducing the number of concepts developed. The design of products also includes a number of difficulties, such as positioning late in the process, resulting in steps of pre and post processing of heavy and long simulations. An analysis of decision support is promising but remains marginal due to lack of simplified models available in the early phases of the design process.This thesis describes the synthesis of our research on design optimization of mechanical systems. The proposed study is part of a highly productive process engineering of mechanical systems and multi-faceted: parametric functional design, application engineering knowledge base, simulation tools and optimization. We propose a methodology to introduce at the earliest in the design process, an optimization step coupled with simulations of decision support, to identify optimal architectures novel, the three best compromise vis- -vis multiple objectives related to the mechanical behavior. The objective of the research is to develop models, methods and tools dedicated to the semi-automatic generation of multi-dimensional geometric models identified as most effective solutions in a collaborative design of mechanical products. Our methodology is then tested on several projects of design of mechanical systems within the mechanical structures in static and dynamic analysis. This is especially the design of the vehicle components of the UTBM MLS participant trophy.

Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introduisant un type d'architecture nommée "architecture orientée processus" l'exécution du modèle dans un environnement multiprocesseurs est étudiée. Une expérimentation par simulation en langage parallèle Occam, en vue de valider le modèle et son exécution dans une architecture multiprocesseurs, est décrite. Finalement, un système Prolog avec la capacité de manipuler des clauses extérieures à la mémoire centrale est présenté.