Search

In Product Line Engineering, product configuration describes the process of developing a product according to user requirements, by reuse from a Product Line model. The problem is that there are so many products in a PL that it is impossible to specify all of them explicitly. Then, when a user makes a decision, this can be contradictory with former decisions. Consequently, it’s crucial to guide the user by combining recommendation and configuration.This thesis presents a literature review about product line configuration approaches, recommendation types and recommendation techniques. It shows the importance of the use of recommendation in the configuration process.A recommendation approach, Recodyn, is proposed. It allows an interactive configuration by using recommendation to guide the user to take decisions. Recodyn informs the user in real time about desirable/possible/unattainable features consistently with his former choices, and suggests decision that focus on, and choices to make by reasoning on known configurations. Recodyn combines the knowledge-based with the content-based recommendation. The key idea is to focus on a subset of features to recommend configurations satisfying the user requirements with respect to the product line constraints. The evaluation of Recodyn was fulfilled by developing the DynaElec software that implements Recodyn. An industrial world real case (electric board) was used to carry out the evaluation. Then a proof of concept was achieved, and an evaluation of the Recodyn performance was carried out.; En ingénierie des lignes de produits, la configuration des produits décrit le processus de développement d’un produit selon les besoins des utilisateurs, par réutilisation à partir d’un modèle de ligne de produits. Le problème est qu'il y a un grand nombre de produits dans une LP, au point qu'il est impossible de les spécifier tous explicitement. Ensuite, lorsqu'un utilisateur prend une décision cela peut être contradictoire avec les décisions antérieures. Par conséquent, il est crucial de guider l’utilisateur en combinant la recommandation et la configuration.Cette thèse présente une revue de la littérature sur les approches de configuration des lignes de produits et les types et techniques de recommandation. Elle montre l’importance de l’utilisation de la recommandation dans le processus de configuration.Une approche de recommandation, Recodyn, est proposée. Elle permet la configuration interactive en utilisant la recommandation pour guider l’utilisateur à prendre des décisions. Recodyn informe l’utilisateur en temps réel l’utilisateur sur les caractéristiques souhaitables, possibles et inaccessibles en fonction des choix qu’il a déjà effectués, et suggère des décisions portant sur ces caractéristiques et des choix à faire en raisonnant à partir de configurations connues. Recodyn combine la recommandation basée sur la connaissance et celle basée sur le contenu. L’idée clé est de focaliser la recommandation sur un sous-ensemble de caractéristiques pour générer des recommandations satisfaisant les exigences de l’utilisateur et respectant les contraintes de la ligne de produits.L’évaluation de Recodyn a été effectuée par le développement du logiciel DynaElec implémentant Recodyn. Un cas industriel réel (tableau électrique) a été utilisé pour réaliser cette évaluation. La faisabilité et les performances de Recodyn ont été évalués.

This thesis is dedicated to develop a kernel of a symbolic asymptotic modeling software packageMEMSALab which will be used for automatic generation of asymptotic models for arrays of micro andnanosystems. Unlike traditional software packages aimed at numerical simulations by using pre-builtmodels, the purpose of MEMSALab is to derive asymptotic models for input equations by taking intoaccount their own features. An approach called ”by extension-combination” for the asymptotic modelingwhich allows an incremental model construction is firstly proposed for the homogenization modelderivation. It relies on a combination of the asymptotic method used in the field of partial differentialequations with term rewriting techniques coming from computer science. This approach focuses onthe model derivation for family of PDEs instead of each of them. An homogenization model of theelectrothermoelastic equation defined in a multi-layered thin domain has been derived by applyingthe mathematical method used in this approach. At last, an optimization tool has been developed bycombining a house-made optimization software package SIMBAD and COMSOL-MATLAB simulationand it has been applied for optimization of a SThM probe.; Cette thèse est consacrée au développement d’un noyau du logiciel MEMSALab de modélisation parcalcul symbolique qui sera utilisé pour la génération automatique de modèles asymptotiques pourdes matrices de micro et nano-systèmes. Contrairement à des logiciels traditionnels réalisant des simulationsnumériques utilisant des modèles prédéfinis, le principe de fonctionnement de MEMSALabest de construire des modèles asymptotiques qui transforment des équations aux dérivées partiellesen tenant compte de leurs caractéristiques. Une méthode appelée ”par extension-combinaison” pourla modélisation asymptotique, qui permet la construction de modèle de façon incrémentale de sorteque les caractéristiques désirées soient incluses étape par étape est tout d’abord proposé pour lemodèle d’homogénéisation dérivation. Il repose sur une combinaison de méthodes asymptotiquesissues de la théorie des équations aux dérivés partielles et de techniques de réécriture issues del’informatique. Cette méthode concentre sur la dérivation de modèle pour les familles de PDEs aulieu de chacune d’entre elles. Un modèle d’homogénéisation de l’électro thermoélastique équationdéfinie dans un domaine mince multicouche est dérivé par utiliser la méthode mathématique danscette approche. Pour finir, un outil d’optimisation a été développé en combinant SIMBAD, une boite `aoutils logicielle pour l’optimisation et développée en interne, et COMSOL-MATLAB. Il a ´ et ´e appliquépour étudier la conception optimale d’une classe de sondes de microscopie atomique thermique et apermis d’ établir des règles générale pour leurs conception

Remote sensed satellite images have found a wide application for analysing and managing natural resources and human activities. Satellite images of high resolution, e.g., SPOT5, have large sizes and are very numerous. This gives a large interest to develop new theoretical aspects and practical tools for satellite image mining. The objective of the thesis is unsupervised satellite image mining and includes three main parts. In the first part of the thesiswe demonstrate content of high resolution optical satellite images. We describe image zones by texture and geometrical features. Unsupervised clustering algorithms are presented in the second part of the thesis. A review of validity criteria and information measures is given in order to estimate the quality of clustering solutions. A new criterion based on Minimum Description Length (MDL) is proposed for estimating the optimal number of clusters. In addition, we propose a new kernel hierarchical clustering algorithm based on kernel MDL criterion. A new method of, Les images satellitaires ont trouvées une large application pour l'analyse des ressources naturelles et des activités humaines. Les images à haute résolution, e.g., SPOT5, sont très nombreuses. Ceci donne un grand intérêt afin de développer de nouveaux aspects théoriques et des outils pour la fouille d'images. L'objectif de la thèse est la fouille non-supervisée d'images et inclut trois parties principales. Dans la première partie nous démontrons le contenu d'images à haute résolution. Nous décrivons les zones d'images par les caractéristiques texturelles et géométriques. Les algorithmes de clustering sont présentés dans la deuxième partie. Une étude de critères de validité et de mesures d'information est donnée pour estimer la qualité de clustering. Un nouveau critère basé sur la Longueur de Description Minimale (LDM) est proposé pour estimer le nombre optimal de clusters. Par ailleurs, nous proposons un nouveau algorithme hiérarchique basé sur le critère LDM à noyau. Une nouvelle méthode de ''combinaison de clustering'' est présentée dans la thèse pour profiter de différents algorithmes de clustering. Nous développons un algorithme hiérarchique pour optimiser la fonction objective basée sur une matrice de co-association. Une deuxième méthode est proposée qui converge à une solution globale. Nous prouvons que le minimum global peut être trouvé en utilisant l'algorithme de type ''mean shift''. Les avantages de cette méthode sont une convergence rapide et une complexité linéaire. Dans la troisième partie de la thèse un protocole complet de la fouille d'images est proposé. Différents clusterings sont représentés via les relations sémantiques entre les concepts.

Remote sensed satellite images have found a wide application for analysing and managing natural resources and human activities. Satellite images of high resolution, e.g., SPOT5, have large sizes and are very numerous. This gives a large interest to develop new theoretical aspects and practical tools for satellite image mining. The objective of the thesis is unsupervised satellite image mining and includes three main parts. In the first part of the thesiswe demonstrate content of high resolution optical satellite images. We describe image zones by texture and geometrical features. Unsupervised clustering algorithms are presented in the second part of the thesis. A review of validity criteria and information measures is given in order to estimate the quality of clustering solutions. A new criterion based on Minimum Description Length (MDL) is proposed for estimating the optimal number of clusters. In addition, we propose a new kernel hierarchical clustering algorithm based on kernel MDL criterion. A new method of; Les images satellitaires ont trouvées une large application pour l'analyse des ressources naturelles et des activités humaines. Les images à haute résolution, e.g., SPOT5, sont très nombreuses. Ceci donne un grand intérêt afin de développer de nouveaux aspects théoriques et des outils pour la fouille d'images. L'objectif de la thèse est la fouille non-supervisée d'images et inclut trois parties principales. Dans la première partie nous démontrons le contenu d'images à haute résolution. Nous décrivons les zones d'images par les caractéristiques texturelles et géométriques. Les algorithmes de clustering sont présentés dans la deuxième partie. Une étude de critères de validité et de mesures d'information est donnée pour estimer la qualité de clustering. Un nouveau critère basé sur la Longueur de Description Minimale (LDM) est proposé pour estimer le nombre optimal de clusters. Par ailleurs, nous proposons un nouveau algorithme hiérarchique basé sur le critère LDM à noyau. Une nouvelle méthode de ''combinaison de clustering'' est présentée dans la thèse pour profiter de différents algorithmes de clustering. Nous développons un algorithme hiérarchique pour optimiser la fonction objective basée sur une matrice de co-association. Une deuxième méthode est proposée qui converge à une solution globale. Nous prouvons que le minimum global peut être trouvé en utilisant l'algorithme de type ''mean shift''. Les avantages de cette méthode sont une convergence rapide et une complexité linéaire. Dans la troisième partie de la thèse un protocole complet de la fouille d'images est proposé. Différents clusterings sont représentés via les relations sémantiques entre les concepts.

The problem of building geometric models has been a central application in photogrammetry. Our goal is to partially automate this process by finding the features necessary for computing the exterior orientation. This is done by robustly computing the fundamental matrix, and trilinear tensor for all images pairs and some image triples. The correspondences computed from this process are chained together and sent to a commercial bundle adjustment program to find the exterior camera parameters. To find these correspondences it is not necessary to have camera calibration, nor to compute a full projective reconstruction. Thus our approach can be used with any photogrammetric model building package. We also use the computed projective quantities to autocalibrate the focal length of the camera. Once the exterior orientation is found, the user still needs to manually create the model, but this is now a simpler process., XXth Congress, July 12-23, 2004.