To see the other types of publications on this topic, follow the link: Génération de maillage automatique.
Dissertations / Theses on the topic 'Génération de maillage automatique'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Génération de maillage automatique.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Bidal, Samuel. "Reconstruction tridimensionnelle d'éléments anatomiques et génération automatique de maillage éléments finis optimisés." Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2003. http://tel.archives-ouvertes.fr/tel-00545018.
Full textAbstract:
Ce travail a été motive par la volonté d'obtenir rapidement des modèles fidèles du corps humain. Nous avons créé et implémenté un ensemble de méthodes permettant de générer des maillages éléments finis en se basant sur une imagerie sériée (coupes anatomiques, scanner, irm). La génération de maillages a été décomposée en trois grandes parties : extraction de contours, reconstruction 3d, maillage surfacique ou volumique. Les méthodes de détection de contours ont été choisies afin d'être applicables sur tout type d'imagerie sériée dans le but d'être d'un emploi le plus large possible. Les méthodes de reconstruction 3d et maillage sont originales et basées sur une décomposition octaédrique de l'espace. Elles génèrent directement des éléments quads et hexas. La validation de la chaîne de traitement et des modèles obtenus a été effectuée sur le segment céphalique. Divers autres segments ont aussi été abordés même si leur étude n'est ici aborde qu'en guise d'illustration.
2
Laug, Patrick. "Contribution à la génération automatique de maillages de qualité pour la simulation numérique." Habilitation à diriger des recherches, Université Pierre et Marie Curie - Paris VI, 2006. http://tel.archives-ouvertes.fr/tel-00012000.
Full textAbstract:
La simulation d'un phénomène physique par la méthode des éléments finis ou d'autres méthodes d'analyse numérique nécessite une décomposition spatiale, ou maillage, du domaine étudié. Pour que le processus de simulation converge rapidement et atteigne la précision voulue, la qualité en taille et en forme du maillage joue un rôle primordial.Ce mémoire constitue une synthèse de mes contributions concernant la génération automatique de maillages respectant le mieux possible ces critères de qualité. Ces différents travaux de recherche ont été réalisés au sein du projet Gamma de l'INRIA.
Dans ce document, les thèmes suivants sont abordés successivement :
- la discrétisation de courbes du plan ou de l'espace 3D,
- le maillage de domaines plans de contours fixes ou variables,
- le maillage de surfaces gauches paramétrées ou discrètes.
Au cours de ces opérations de discrétisation et de maillage, la taille et la forme des éléments sont contrôlées par un champ de métriques traduisant des contraintes géométriques et/ou physiques. Les méthodes présentées ont toutes été validées sur de nombreux exemples académiques ou industriels, notamment en mécanique des solides et en mécanique des fluides.
3
Bozek, Sébastien. "Génération de maillage automatique pour la simulation tridimentionnelle de procédés de fabrication de circuits intégrés." Lille 1, 2000. http://www.theses.fr/2000LIL10057.
Full textAbstract:
Ce travail s'inscrit dans le cadre des projets européens esprit/jessi 8150 prompt et esprit 24038 prompt II dont l'objectif est de réaliser une chaîne de simulation de procédés de fabrication de composants semi-conducteurs multi-dimensionnelle capable de rendre compte d'effets 3D engendrés par la forte miniaturisation des transistors dans les circuits intégrés. L'importance des mailleurs dans cette chaîne de simulation tient à la difficulté de générer des maillages adaptés aux exigences des modules de diffusion des impuretés dans un substrat de silicium et d'oxydation de ce substrat. Ce mémoire fait l'inventaire des contraintes que ces modules entraînent sur le maillage d'une structure, et propose un éventail de solutions. Enfin, il décrit les outils que nous avons implantés pour générer et modifier des maillages tétraédriques, conformes, isotropes, à l'aide du critère de la sphère vide de Delaunay. Une attention particulière est portée au respect des frontières qui définissent les volumes à mailler.
4
Rassineux, Alain. "Maillage automatique tridimensionnel par une méthode frontale pour la méthode des éléments finis." Nancy 1, 1995. http://www.theses.fr/1995NAN10024.
Full textAbstract:
Ces travaux s'inscrivent dans le cadre des recherches sur la génération de maillages volumiques en tétraèdres pour la méthode des éléments finis. L’objectif est d'obtenir des maillages tétraédriques respectant une carte de tailles et possédant des caractéristiques de forme correspondant à un critère défini à priori. Une nouvelle technique de maillage est présentée. Les nœuds sont générés à priori par une méthode d'octree. La connexion des nœuds et l'optimisation du maillage se font par une méthode frontale originale. Des solutions (structures de données, stratégies, implémentation) aux points délicats de la méthode frontale tridimensionnelle (garantie de la qualité, résolution des problèmes de non-convergence) sont décrites en détails. Des exemples de maillages de pièces industrielles complexes illustrent la robustesse et la fiabilité de la méthode
5
Saouab, Abdelghani. "Génération de maillages adaptatifs par une méthode variationnelle." Rouen, 1991. http://www.theses.fr/1991ROUES013.
Full textAbstract:
Ce mémoire est composé de deux volets et concerne l'étude de l'adaptation géométrique et physique des maillages structurés. Dans le premier volet, on s'intéresse à la génération des maillages alignés avec les frontières. Une revue des techniques existantes avec comparaisons et exemples d'application est présentée. Le second volet constitue le coeur de cette thèse. Nous y présentons la méthode variationnelle étudiée et développée pour l'optimisation et l'adaptation de maillages, ainsi que la procédure de minimisation du type gradient conjugué adoptée. La méthode introduite par Dulikravitch, Kennon et Carcaillet, et simplement validée sur des cas tests classiques est utilisée. Différentes améliorations de cette méthode sont introduites, telles que: 1) procédé pour éviter le chevauchement des lignes du maillage; 2) technique d'interpolation de la fonction poids, très peu coûteuse en temps C. P. U. Les différents cas tests étudiés nous permettent de confirmer la robustesse et l'efficacité de cette méthode. De plus, des résultats très intéressants sont obtenus par son application dans divers calculs d'écoulements. On observe une nette amélioration dans la résolution numérique et particulièrement dans la capture d'éventuelles singularités
6
Bidal, Samuel. "Reconstruction tridimensionnelle d'éléments anatomiques et génération automatique de maillages éléments finis optimisés." Aix-Marseille 2, 2003. http://www.theses.fr/2003AIX20673.
Full textAbstract:
Ce travail a été motivé par la volonté d'obtenir rapidement des modèles fidèles du corps humain. Nous avons créé et implémenté un ensemble de méthodes permettant de générer des maillages éléments finis en se basant sur une imagerie sériée (coupes anatomiques, scanner, IRM). La génération de maillages a été décomposée en trois grandes parties : extraction de contours, reconstruction 3D et maillage surfacique ou volumique. Les méthodes de détection de contours ont été choisies afin d'être applicables sur tout type d'imagerie sériée dans le but d'être d'un emploi le plus large possible. Les méthodes de reconstruction 3D et de maillage sont originales et basées sur une décomposition octaédrique de l'espace. Elles génèrent directement des éléments quads et hexas. La validation de la chaîne de traitement et des modèles obtenus a été effectuée sur le segment céphalique. Divers autres segments ont aussi été étudiés même si leur étude n'est ici abordée qu'en guise d'illustrationThe aim of this work is to quickly generate good quality models of the human body. We created a method package which generates finite element meshes from pictures of serial slices (taken from anatomic slices, X-ray sanner or MRI). The mesh generation is divided into three main steps : contours detection, 3D reconstruction and meshing. Contour detection methods were chosen to be applicable on a wide range of pictures. 3D reconstruction and meshing methods are new and based on an octahedral lattice. They allow to generate quadrangular or hexahedral elements. The heads organs were chosen to validate the package. We studied other organs too but these work are just given here as examples
7
Conraud, Joël. "Génération de maillages de simplexes pour la modélisation d'objets naturels." Vandoeuvre-les-Nancy, INPL, 1997. http://www.theses.fr/1997INPL058N.
Full textAbstract:
La modélisation géométrique des objets naturels, dans le domaine médical comme dans le domaine géologique, s'appuie sur des structures de données discrètes, les maillages, qui décomposent la région d'intérêt en primitives géométriques de base. Ces maillages sont à la base de modélisations prenant en compte les propriétés physiques des objets étudiés. En trois dimensions, deux primitives sont tout particulièrement utilisées pour décrire des domaines de géométrie compliquée : le triangle (le simplexe du plan), pour les maillages de surfaces, et le tétraèdre (le simplexe de l'espace), pour les maillages de volumes. Nous effectuons un passage en revue de problèmes classiques de génération de maillages de simplexes. Du fait de la nature des problèmes posés par le domaine d'application, sont privilégiées dans les algorithmes présentés la robustesse et la possibilité pour le spécialiste de remettre en cause un choix automatique fourni par l'ordinateur. Des méthodes originales sont proposées pour : _ construire une surface triangulée définissant le bord d'un volume simple à partir d'un ensemble de points ; _ construire une surface triangulée remplissant l'intérieur d'un polygone gauche ; _ optimiser une triangulation ou une tétraédrisation de Delaunay contraintes, par ajout de points, pour améliorer la forme des éléments ; _ construire une surface triangulée entre deux contours ; _ construire une surface triangulée _ partir de contours disposés sur deux plans parallèles ; _ proposer des connexions entre contours appartenant à des coupes sériées ; _ remplir de tétraèdres un volume donne par sa frontière triangulée ; la frontière en question peut prendre la forme d'une union de régions polyédriques. Dans les problèmes de tétraédrisation, la notion de tétraédrisation contrainte paresseuse est introduite. Le respect paresseux des contraintes permet de réduire le nombre de points de Steiner ajoutes dans le maillage dans le seul but de les honorer.
8
Duchaine, Florent. "Optimisation de forme multi-objectif sur machines parallèles avec méta-modèles et coupleurs : application aux chambres de combustion aéronautiques." Phd thesis, Toulouse, INPT, 2007. http://oatao.univ-toulouse.fr/7706/1/duchaine.pdf.
Full textAbstract:
Les normes drastiques sur les émissions d'espèces polluantes et la volonté de réduire les délais de mise sur le marché incitent les motoristes à repenser les concepts de la nouvelle génération de chambre de combustion ainsi que leurs méthodes de conception. Les codes de simulation numérique des écoulements turbulents réactifs, basés sur une approche de moyenne de Reynolds (RANS), sont utilisés depuis quelques années par les ingénieurs dans les phases de conception des foyer aéronautiques. Leur emploi a permis de réduire les temps et les coûts de conception en diminuant notamment le nombre d'essais expérimentaux. La manière d'utiliser ces outils demeure un point clef pour élaborer des environnements d'aide à la décision performants. Le but de ces travaux de thèse est de fournir une méthodologie basée sur des considérations issues de l'optimisation multi- bjectif pour développer un outil de conception automatisé qui intègre des codes de simulation numérique pour évaluer les configurations. En premier lieu, les études rapportées dans ce manuscrit concernent l'automatisation des procédures de simulation en insistant sur les aspects de génération automatique de maillage. Ensuite, le problème des temps de restitution liés à l'utilisation conjointe de techniques d'optimisation et de codes de calcul coûteux en ressources informatiques est adressé en proposant un algorithme basé sur des méta-modèles. L'outil final est construit à partir d'un coupleur de codes parallèles, lui conférant ainsi des caractéristiques intéressantes de performance et de flexibilité. Finalement, après divers tests de validation et d'évaluation, une application sur une chambre de combustion industrielle montre les capacités de la méthode à identifier des configurations prometteuses.
9
Harran-Klotz, Patricia. "Maillages auto-adaptatifs et approximation des systèmes hyperboliques séparables : application aux équations d'Euler tridimentionnelles." Toulouse, ENSAE, 1991. http://www.theses.fr/1991ESAE0020.
Full textAbstract:
Une méthode d'approximation de type Galerkin discontinu est appliquée à des systèmes hyperboliques symétrisables séparables dans le but de tester l'auto-adaptation de maillages spatiaux et spatiotemporels. La méthode d'approximation est formulée directement en espace-temps, elle peut être explicite ou implicite. Elle utilise une décomposition en parties convexe et concave de la forme polaire d'entropie, et permet une résolution convergente des systèmes non linéaires associés à l'approximation et à la déstructuration des maillages spatiaux et temporels (allant jusqu'à la non coïncidence des sommets des éléments). La réalisation de maillages auto-adaptatifs avec un critère d'auto-adaptation approprié (inhérent à la méthode) est conduite en bi et tridimensionnel, en vue d'obtenir des solutions stationnaires ou a variations asymptotiquement lentes, puis en bidimensionnel instationnaires pour des solutions à variations temporelles rapides. Le système hyperbolique sur lequel ont été effectués les tests numériques est celui des équations d'Euler des gaz polytropiques.
10
Duchaine, Florent. "Optimisation de Forme Multi-Objectif sur Machines Parallèles avecMéta-Modèles et Coupleurs. Application aux Chambres de Combustion Aéronautiques." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2007. http://tel.archives-ouvertes.fr/tel-00362811.
Full textAbstract:
Les normes drastiques sur les émissions d'espèces polluantes et la volonté de réduire les délais de mise sur le marché incitent les motoristes à repenser les concepts de la nouvelle génération de chambres de combustion ainsi que leurs méthodes de conception. Les codes de simulation numérique des écoulements turbulents réactifs, basés sur une approche de moyenne de Reynolds (RANS), sont utilisés depuis quelques années par les ingénieurs dans les phases de conception des foyers aéronautiques. Leur emploi a permis de réduire les temps et les coûts de conception en diminuant notamment le nombre d'essais expérimentaux. La manière d'utiliser ces outils demeure un point clé pour élaborer des environnements performants d'aide à la décision.Le but de ces travaux de thèse est de fournir une méthodologie basée sur des considérations issues de l'optimisation multi-objectif pour développer un outil de conception automatisé qui intègre des codes de simulation numérique pour évaluer les configurations. En premier lieu, les études concernent l'automatisation des procédures de simulation en insistant sur les aspects de génération automatique de maillage. Ensuite, le problème des temps de restitution liés à l'utilisation conjointe de techniques d'optimisation et de codes de calcul coûteux en ressources informatiques est adressé en proposant un algorithme basé sur des méta-modèles. L'outil final est construit à partir d'un coupleur de codes parallèles, lui conférant ainsi des caractéristiques intéressantes de performance et de flexibilité. Finalement, après divers tests de validation et d'évaluation, une application sur une chambre de combustion industrielle montre les capacités de la méthode à identifier des configurations prometteuses.
11
Duval, Benoît. "Optimisation de maillages non structurés dans des géométries déformables." Rouen, 1996. http://www.theses.fr/1996ROUES022.
Full textAbstract:
L'objet de cette thèse est l'amélioration de la qualité de maillages de géométries dont les frontières sont mobiles au cours du temps. Nous avons traité différents aspects aussi bien globaux que locaux du maillage. L'optimisation est réalisée en utilisant des critères géométriques intervenant sur la forme des éléments. Une étude sur un cas bidimensionnel montre l'intérêt d'utiliser des techniques locales comme le retournement d'arêtes. Cependant cette amélioration topologique du maillage ne suffit pas à traiter les cas de grandes déformations comme l'écrasement d'éléments entre deux frontières. Un algorithme a donc été élaboré afin de former des zones de triangles que l'on remaille de façon optimale. L'amélioration de maillages tridimensionnels a d'abord été étudiée par l'intermédiaire d'un remaillage global. Un découpage du domaine en grandes zones de déformation nous a ensuite permis de localiser les interventions sur les tétraèdres. Une dernière technique a été mise en œuvre afin d'améliorer directement les éléments les plus déformés en créant des coquilles par voisinage d'éléments et en remaillant ces sous-domaines. Partant du principe que la peau d'un maillage tridimensionnel est primordiale pour l'amélioration du maillage volumique, nous avons construit un algorithme permettant d'améliorer la forme des triangles tout en conservant la courbure discrète de la discrétisation. Les principales applications de cette thèse ont été réalisées sur des géométries de chambre de combustion de moteur automobile. Mais d'autres exemples aussi divers qu'un Falcon ou une vertèbre humaine nous ont permis de valider nos algorithmes et de montrer toute l'étendue de leur champ d'applications.
12
Bourgeois, Christian. "Approximation par préondelettes d'équations intégrales." Valenciennes, 1999. https://ged.uphf.fr/nuxeo/site/esupversions/0d630fd4-aa50-46e0-b3e2-4dbbfd7042cc.
Full textAbstract:
La résolution de problèmes aux limites par la méthode des équations intégrales permet de réduire la dimension du domaine d'étude et donc de diminuer la place mémoire nécessaire à l'implémentation de ces méthodes. Néanmoins, la décomposition de la solution dans une base nodale classique conduit à des matrices de raideur pleines et mal conditionnées. D'où l'idée de changer la base utilisée et de construire une base de préondelettes qui caractérise l'espace de Sobolev introduit dans la formulation variationnelle. Le préconditionnement est alors très simple. De plus, une procédure de compression de la matrice de raideur peut être effectuée, en remplaçant de nombreux coefficients par zéro. La solution du système compressé converge alors vers la solution exacte du problème initial, quand le maillage tend vers zéro. Les inconvénients essentiels de la méthode des équations intégrales sont alors supprimés. On applique cette méthode à deux équations aux dérivées partielles : le problème de la plaque à bords libres dans un domaine polygonal et l'équation de la chaleur dans un domaine régulier du plan. Dans ces deux exemples, de nombreuses précautions et adaptations doivent être prises pour que la stratégie décrite ci-dessus soit appliquée.
13
Stab, Olivier. "Maillage automatique tridimensionnel par operations booleennes." Paris, ENMP, 1992. http://www.theses.fr/1992ENMP0377.
Full textAbstract:
Le domaine d'etude est l'algorithmique geometrique applique aux problemes du maillage automatique de geometries tridimensionnelles complexes. L'utilisation de la methode des elements finis pour simuler numeriquement le comportement de phenomenes physiques reste delicate ou fastidieuse a cause de l'etape du maillage qui pose de nombreux problemes en trois dimensions. Dans cette these on propose une nouvelle approche: le maillage par operations booleennes. Elle consiste a calculer un maillage comme une union, une difference ou une intersection entre deux domaines mailles. Deux methodes sont decrites: la premiere methode s'efforce de respecter les noeuds des maillages initiaux, la seconde d'en respecter les elements. La difficulte reside dans l'elaboration d'algorithmes efficaces et robustes. Cette nouvelle approche offre diverses applications: - l'amelioration de maillages par injection de maillages structures; - le maillage automatique d'un domaine decrit par un arbre c. S. G. ; - le maillage parametre necessaire a l'optimisation de forme
14
Ricard, Ludovic. "Génération de modèles de réservoir sur maillage flexible." Paris 11, 2005. http://www.theses.fr/2005PA112342.
Full textAbstract:
Le changement d'échelle de la perméabilité absolue est une étape essentielle de la modélisation numérique du sous-sol. Il est envisagé pour intégrer les données disponibles à différentes échelles, mais aussi pour réduire les temps de calcul des simulations d'écoulement. La problématique de changement d'échelle est différente selon qu'elle agisse d'une grande échelle vers une petite (downscaling) ou d'une petite vers une grande (upscaling). Les méthodes numériques s'appuient sur des simulations d'écoulement très coûteuses en termes de temps calcul. Pour réduire ces temps de calculs, il est nécessaire de développer de nouveaux algorithmes de simulations d'écoulement. La méthode de downscaling proposée permet d'arriver à une description fine du milieu. Une étude comparative montre que, de façon générale, les méthodes heuristiques ne sont pas adaptées à la résolution du problème de downscaling. L'approche que nous proposons pour répondre à la problématique de l'upscaling est numérique et repose sur une perturbation des conditions aux limites. Celle-ci a été étendue à des maillages flexibles via le calcul direct du tenseur de perméabilité inter-maille. Une étude comparative entre diverses méthodes heuristiques et numériques montre que les méthodes numériques ne sont nécessairement plus précises et que les méthodes heuristiques sont souvent des approximations de bon aloi. Enfin, nous développons une nouvelle technique pour simuler l'écoulement, en régime permanent, d'un fluide unique et incompressible dans un milieu poreux. Cette approche permet de traiter des tenseurs complets de perméabilité et ne passe pas par l'estimation approchée de perméabilités inter-maillesThe high level geostatistic description of the subsurface are often far too detailed for use in routine flow simulators. To make flow simulations tractable, the number of grid blocks has to be reduced: an approximation, still relevant with flow description, is necessary. In this work, we place the emphasis on the scaling procedure from the fine scale model to the multi-scale reservoir model. Two main problems appear: Near wells, faults and channels, the volume of flexible cells may be less than fine ones, so we need to solve a downscaling problem; Far from these regions, the volume of cells are bigger than fine ones so we need to solve an upscaling problem. In this work, research has been done on each of these three areas: downscaling, upscaling and fluid flow simulation. For each of these subjects, a review, some news improvements and comparative study are proposed. The proposed downscaling method is build to be compatible with existing data integration methods. The comparative study shows that empirical methods are not enough accurate to solve the problem. Concerning the upscaling step, the proposed approach is based on an existing method: the perturbed boundary conditions. An extension to unstructured mesh is developed for the inter-cell permeability tensor. The comparative study shows that numerical methods are not always as accurate as expected and the empirical model can be sufficient in lot of cases. A new approach to single-phase fluid flow simulation is developed. This approach can handle with full tensorial permeability fields with source or sink terms
15
ATANLEY, KOAM. "Maillage automatique pour pieces decoupees sur presse." Paris, ENSAM, 1994. http://www.theses.fr/1994ENAM0009.
Full textAbstract:
Dans le cadre de la conception des pieces mecaniques, l'etape prealable a tout calcul et en particulier ceux bases sur la methode des elements finis, est la discretisation du domaine a etudier notre travail concerne l'etude de pieces bidimensionnelles et leur maillage initial (en triangles et en quadrangles) dans une optique purement geometrique. La methode de maillage qui a ete developpee est basee sur la progression frontale couche par couche, des nuds et des elements. Nous avons resolu les problemes qui se presentent lors du maillage des formes irregulieres, en fusionnant les nuds trop proches, en redressant les contours internes entrelaces puis en maillant successivement les poches qui prennent naissance lors du processus de propagation de front. Une etude de la sensibilite de la construction adoptee a la variation de valeur de certains parametres geometriques cles a permis de determiner les valeurs de ces derniers en vue de la satisfaction d'un critere de qualite du maillage. La methode tagushi des plans d'experiences a permis de mettre en evidence la relative independance des parametres, et la preponderance de certains d'entre eux. Le cas des domaines multiplement connexes est traite de la meme maniere avec la mise en uvre d'un processus de raffinement local apres detection des zones d'etranglement du domaine a discretiser. Le maillage en quadrangles a quatre nuds base sur le meme processus de propagation frontale, est traite comme les triangles. Un interface du mailleur a ete realise avec les logiciels de calculs abaqus et cadsap. En conclusion le travail realise permet d'obtenir des maillages initiaux reguliers et optimises au sens geometrique. Cette etape devrait permettre de limiter le nombre de remaillage apres calculs qui est la tendance actuelle
16
Schmitt, Maxime. "Génération automatique de codes adaptatifs." Thesis, Strasbourg, 2019. http://www.theses.fr/2019STRAD029.
Full textAbstract:
Dans cette thèse nous proposons une interface de programmation pour aider les développeurs dans leur tâche d'optimisation de programme par calcul approché. Cette interface prend la forme d'extensions aux langages de programmation pour indiquer au compilateur quelles parties du programme peuvent utiliser ce type de calcul. Le compilateur se charge alors de transformer les parties du programme visées pour rendre l'application adaptative, allouant plus de ressources aux endroits où une précision importante est requise et utilisant des approximations où la précision peut être moindre. Nous avons automatisé la découverte des paramètres d'optimisation que devrait fournir l'utilisateur pour les codes à stencil, qui sont souvent rencontrés dans des applications de traitement du signal, traitement d'image ou simulation numérique. Nous avons exploré des techniques de compression automatique de données pour compléter la génération de code adaptatif. Nous utilisons la transformée en ondelettes pour compresser les données et obtenir d'autres informations qui peuvent être utilisées pour trouver les zones avec des besoins en précision plus importantesIn this thesis we introduce a new application programming interface to help developers to optimize an application with approximate computing techniques. This interface is provided as a language extension to advise the compiler about the parts of the program that may be optimized with approximate computing and what can be done about them. The code transformations of the targeted regions are entirely handled by the compiler to produce an adaptive software. The produced adaptive application allocates more computing power to the locations where more precision is required, and may use approximations where the precision is secondary. We automate the discovery of the optimization parameters for the special class of stencil programs which are common in signal/image processing and numerical simulations. Finally, we explore the possibility of compressing the application data using the wavelet transform and we use information found in this basis to locate the areas where more precision may be needed
17
Thiéblin, Elodie. "Génération automatique d'alignements complexes d'ontologies." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30135.
Full textAbstract:
Le web de données liées (LOD) est composé de nombreux entrepôts de données. Ces données sont décrites par différents vocabulaires (ou ontologies). Chaque ontologie a une terminologie et une modélisation propre ce qui les rend hétérogènes. Pour lier et rendre les données du web de données liées interopérables, les alignements d'ontologies établissent des correspondances entre les entités desdites ontologies. Il existe de nombreux systèmes d'alignement qui génèrent des correspondances simples, i.e., ils lient une entité à une autre entité. Toutefois, pour surmonter l'hétérogénéité des ontologies, des correspondances plus expressives sont parfois nécessaires. Trouver ce genre de correspondances est un travail fastidieux qu'il convient d'automatiser. Dans le cadre de cette thèse, une approche d'alignement complexe basée sur des besoins utilisateurs et des instances communes est proposée. Le domaine des alignements complexes est relativement récent et peu de travaux adressent la problématique de leur évaluation. Pour pallier ce manque, un système d'évaluation automatique basé sur de la comparaison d'instances est proposé. Ce système est complété par un jeu de données artificiel sur le domaine des conférencesThe Linked Open Data (LOD) cloud is composed of data repositories. The data in the repositories are described by vocabularies also called ontologies. Each ontology has its own terminology and model. This leads to heterogeneity between them. To make the ontologies and the data they describe interoperable, ontology alignments establish correspondences, or links between their entities. There are many ontology matching systems which generate simple alignments, i.e., they link an entity to another. However, to overcome the ontology heterogeneity, more expressive correspondences are sometimes needed. Finding this kind of correspondence is a fastidious task that can be automated. In this thesis, an automatic complex matching approach based on a user's knowledge needs and common instances is proposed. The complex alignment field is still growing and little work address the evaluation of such alignments. To palliate this lack, we propose an automatic complex alignment evaluation system. This system is based on instances. A famous alignment evaluation dataset has been extended for this evaluation
18
Flandrin, Nicolas. "Génération de maillage hybride pour les simulateurs de réservoir pétrolier de nouvelle génération : extension 3D." Troyes, 2005. http://www.theses.fr/2005TROY0009.
Full textAbstract:
Au cours de l’exploitation d’un gisement pétrolier, il est important de prévoir la récupération des hydrocarbures et d’en optimiser la production. Aussi, pour en simuler la physique des écoulements, il est primordial de fournir aux schémas numériques un domaine d’étude correctement discrétisé. Dans cette thèse, nous nous intéressons à cette discrétisation spatiale et nous proposons d’étendre en 3D les maillages hybrides 2D proposés par l’IFP en 1998 qui permettent de prendre en compte, directement au niveau de la géométrie, le caractère radial des écoulements aux abords des puits. Dans ces maillages hybrides, les puits et leur aire de drainage sont modélisés au moyen de maillages structurés de type radial circulaire et les réservoirs par des maillages structurés de type cartésien non uniforme ou Corner Point Geometry. La liaison entre le maillage des puits et celui des réservoirs est établie au moyen des maillages de transition non structurés, basés sur l’utilisation de diagrammes de puissance 3D, admissibles au sens des volumes finis, de telle sorte que le maillage hybride global soit conforme. Deux méthodes ont été développées pour générer ces maillages de transition : une méthode basée sur l’utilisation d’une triangulation de Delaunay et une autre basée sur une approche frontale. Des critères géométriques ont par ailleurs été introduits pour mesurer la qualité de ces maillages hybrides et des procédures d’optimisation ont été proposées pour améliorer certains de ces critères sous contrôle d’admissibilité au sens des volumes finisDuring the exploitation of an oil reservoir, it is important to predict the recovery of hydrocarbons and to optimize its production. A better comprehension of the physical phenomena requires to simulate 3D multiphase flows in increasingly complex geological structures. In this thesis, we are interested in this spatial discretization and we propose to extend in 3D the 2D hybrid model proposed by IFP in 1998 where the radial characteristics of the flows in the vicinity of wells are directly taken into account in the geometry. In these hybrid meshes, the wells and their drainage area are described by structured radial circular meshes and the reservoirs are represented by structured meshes that can be non uniform Cartesian or Corner Point Geometry grids. In order to generate a global conforming mesh, unstructured transition meshes based on power diagrams and satisfying finite volume properties are used to connect together the structured meshes. Two methods have been implemented to generate these transition meshes: a method using a Delaunay triangulation and another one using a frontal approach. In addition, some criteria are introduced to measure the quality or the transition meshes and optimization procedures are proposed to increase some of these criteria under finite volume properties constraints
19
Duchaine, François. "Génération de maillage structuré par krigeage avec raffinement elliptique local." Mémoire, École de technologie supérieure, 2004. http://espace.etsmtl.ca/700/1/DUCHAINE_Fran%C3%A7ois.pdf.
Full textAbstract:
Pour concevoir des systèmes mécaniques, les ingénieurs utilisent de plus en plus souvent des méthodes numériques comme les éléments finis pour obtenir un prototype virtuel. L'inconvénient de cette méthode est que les éléments doivent être de petite taille pour obtenir des résultats précis, il faut donc un grand nombre d'éléments pour représenter les pièces mécaniques. Le krigeage, une méthode d'interpolation matricielle, permet de modéliser une pièce existante en passant par tous les points inspectés. Cet aspect est très intéressant en réingénierie. De plus, comme les équations du krigeage sont continues et dérivables, un modèle volumique peut être généré par l'extrusion d'une surface. La possibilité d'ajuster les paramètres de krigeage et de spécifier de nouvelles orientations est offerte afin de représenter adéquatement la pièce à modéliser. Un nouveau schéma de raffinement elliptique local offre une meilleure précision en fonction du nombre d'éléments que les autres modèles de raffinement existants.
20
El, Amrani Younès. "Génération automatique d'interfaces pour langages fonctionnels." Orléans, 1996. http://www.theses.fr/1996ORLE2074.
Full textAbstract:
Cette thèse est une étude sur l'extensibilité des langages fonctionnels dans les environnements multi-applicatifs. Elle présente un panorama de toutes les approches permettant cette extensibilité tant au niveau structurel des langages fonctionnels qu'au niveau des choix d'implantations de ces derniers. Les différentes techniques d'implantations y sont aussi passées en revue. Nous proposons dans cette thèse des techniques d'interfaçage efficaces, puissantes et produites automatiquement à l'aide d'un générateur. Ce générateur se distingue par sa portabilité maximale et par son aspect multicible. Un exemple complet d'une bibliothèque graphique munie d'un protocole pour des applications distribuées est pris pour illustrer les différents aspects de l'extensibilité. Une modélisation des différentes approches et une systématisation des méthodes proposées sont explicitées puis expérimentées.
21
Tachon, Thibaut. "Génération automatique de code parallèle isochrone." Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE3098.
Full textAbstract:
Depuis la stagnation de la fréquence d’horloge des processeurs, l’accroissement de la puissance de calcul a dépendu entièrement de l’accroissement du nombre d’unités de calcul. Plus que la difficulté algorithmique impliquée par l’écriture de tout programme séquentiel, la programmation parallèle demande au programmeur de gérer de nombreuses unités de calcul, incluant leurs tâches et leurs interactions. Pour alléger le fardeau du programmeur, cette thèse propose deux approches différentes de génération automatique de code parallèle. Le modèle parallèle isochrone BSP possède des propriétés intéressantes telles que son modèle de coût qui en font la cible de notre génération de code parallèle. Les automates et expressions régulières sont souvent choisis pour modéliser les calculs séquentiels et leurs parallélisation devrait, à long terme, aboutir à de solides fondations pour la génération de code parallèle. Pour notre approche principale, nous développons la théorie des automates BSP avec leur génération et détermination. Cette théorie est utilisée dans une nouvelle méthode pour la recherche de motif à l’aide d’expressions régulières. Notre autre approche propose un langage spécifique au domaine des réseaux de neurones où la composition fonctionnelle d’un petit nombre de primitives facilite le développement, la maintenance et la définition formelle du langage par rapport aux approches existantesSince we are in an era of processor clock stagnation, computing power growth has been relying on parallel computing. More than the algorithmic difficulty involved in any program writing, parallel computing additionally requires the programmer to manage numerous processing units including their tasks and interactions. In order to alleviate the parallel programmer’s burden, this thesis proposes two different approaches for automatic parallel code generation. The bulk-synchronous parallel (BSP) model provides good properties such as its cost model and is therefore chosen as the target of our parallel code generation.Automata and regular expressions are often chosen to model sequential computation and their parallelization will lead to a strong foundation for general parallel code generation. For our main approach, we develop the theory of BSP automata with their generation and determinization. This theory is used in a novel method for parallel regular expression matching.As another approach, we propose a domain specific language for programming neural nets where the functional composition of only a few primitives eases development, maintenance and formal definition of the language compared to existing approaches
22
Colin, Émilie. "Traitement automatique des langues et génération automatique d'exercices de grammaire." Electronic Thesis or Diss., Université de Lorraine, 2020. http://www.theses.fr/2020LORR0059.
Full textAbstract:
Le thème support de cette thèse la génération de paraphrases sur support neuronal. Nos perspectives sont éducatives : créer des exercices de grammaire pour le français. La paraphrase est une opération de reformulation. Nos travaux tendent à attester que les modèles séquence vers séquence ne sont pas de simples répétiteurs mais peuvent apprendre la syntaxe. Nous avons montré, en combinant divers modèles, que la représentation de l'information sous de multiples formes (en utilisant de la donnée formelle (RDF), couplée à du texte pour l'étendre ou le réduire, ou encore seulement du texte) permet d'exploiter un corpus sous différents angles, augmentant la diversité des sorties, exploitant les leviers syntaxiques mis en place. Nous nous sommes penchée sur un problème récurrent, celui de la qualité des données, et avons obtenu des paraphrases avec une haute adéquation syntaxique (jusqu'à 98% de couverture de la demande) et un très bon niveau linguistique. Nous obtenons jusqu'à 83.97 points de BLEU*, 78.41 de plus que la moyenne de nos lignes de base, sans levier syntaxique. Ce taux indique un meilleur contrôle des sorties, pourtant variées et de bonne qualité en l'absence de levier. Nous avons ensuite travaillé depuis du texte brut en passant, pour la génération de phrases, par la production d'une représentation du sens de ce texte qui puisse servir d'entrée à la génération de paraphrases. Le passage à du texte en français était aussi pour nous un impératif. Travailler depuis du texte brut, en automatisant les procédures, nous a permis de créer un corpus de plus de 450 000 couples représentations/phrases, grâce auquel nous avons appris à générer des textes massivement corrects (92% sur la validation qualitative). Anonymiser ce qui n'est pas fonctionnel a participé notablement à la qualité des résultats (68.31 de BLEU, soit +3.96 par rapport à la ligne de base, qui était la génération depuis des données non anonymisées). La représentation formelle de l'information dans un cadre linguistique particulier à une langue est une tâche ardue. Cette thèse offre des pistes de méthodes pour automatiser cette opération. Par ailleurs, nous n'avons pu traiter que des phrases relativement courtes. L'utilisation de modèles neuronaux plus récents permettrait sans doute d'améliorer les résultats. Enfin, l'usage de traits adéquats en sortie permettrait des vérifications poussées. *BLEU (Papineni et al., 2002) : qualité d'un texte sur une échelle de 0 (pire) à 100 (meilleur)Our perspectives are educational, to create grammar exercises for French. Paraphrasing is an operation of reformulation. Our work tends to attest that sequence-to-sequence models are not simple repeaters but can learn syntax. First, by combining various models, we have shown that the representation of information in multiple forms (using formal data (RDF), coupled with text to extend or reduce it, or only text) allows us to exploit a corpus from different angles, increasing the diversity of outputs, exploiting the syntactic levers put in place. We also addressed a recurrent problem, that of data quality, and obtained paraphrases with a high syntactic adequacy (up to 98% coverage of the demand) and a very good linguistic level. We obtain up to 83.97 points of BLEU-4*, 78.41 more than our baseline average, without syntax leverage. This rate indicates a better control of the outputs, which are varied and of good quality in the absence of syntax leverage. Our idea was to be able to work from raw text : to produce a representation of its meaning. The transition to French text was also an imperative for us. Working from plain text, by automating the procedures, allowed us to create a corpus of more than 450,000 sentence/representation pairs, thanks to which we learned to generate massively correct texts (92% on qualitative validation). Anonymizing everything that is not functional contributed significantly to the quality of the results (68.31 of BLEU, i.e. +3.96 compared to the baseline, which was the generation of text from non-anonymized data). This second work can be applied the integration of a syntax lever guiding the outputs. What was our baseline at time 1 (generate without constraint) would then be combined with a constrained model. By applying an error search, this would allow the constitution of a silver base associating representations to texts. This base could then be multiplied by a reapplication of a generation under constraint, and thus achieve the applied objective of the thesis. The formal representation of information in a language-specific framework is a challenging task. This thesis offers some ideas on how to automate this operation. Moreover, we were only able to process relatively short sentences. The use of more recent neural modelswould likely improve the results. The use of appropriate output strokes would allow for extensive checks. *BLEU : quality of a text (scale from 0 (worst) to 100 (best), Papineni et al. (2002))
23
Zhao, Jiaxin. "Génération de maillage à partir d'images 3D en utilisant l'adaptation de maillage anisotrope et une équation de réinitialisation." Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLEM004/document.
Full textAbstract:
Ces dernières années, les techniques d'imagerie ont fait l'objet de beaucoup d'améliorations. Elles permettent de fournir des images numériques 2D ou 3D précises de zones parfois invisibles à l’œil nu. Ces techniques s'appliquent dans de nombreux domaines comme l'industrie cinématographique, la photographie ou l'imagerie médicale... Dans cette thèse, l'imagerie sera utilisée pour effectuer des simulations numériques en la couplant avec un solveur éléments finis. Nous présenterons, en premier lieu, la morphologie mathématique et la méthode d'immersion d'image. Elles permettront l'extraction d'informations permettant la transformation d'une image dans un maillage exploitable. Puis, une méthode itérative d'adaptation de maillage basée sur un estimateur d'erreur sera utilisée afin de construire un maillage optimal. Ainsi, un maillage sera construit uniquement avec les données d'une image. Nous proposerons également une nouvelle méthodologie pour construire une fonction régulière a l'aide d'une méthode de réinitialisation de la distance signée. Deux avantages sont à noter : l'utilisation de la fonction régularisée permet une bonne adaptation de maillage. De plus, elle est directement utilisable par le solveur éléments finis. Les simulations numériques sont donc réalisées en couplant éléments finis stabilisés, adaptation de maillage anisotrope et réinitialisation. L'objectif de cette thèse est donc de simplifier le calcul numérique à partir d'image, d'améliorer la précision numérique, la construction d'un maillage automatique et de réaliser des calculs numériques parallèles efficaces. Les applications envisagées peuvent être dans le domaine médical, de la physique des matériaux ou du design industrielImaging techniques have well improved in the last decades. They may accurately provide numerical descriptions from 2D or 3D images, opening perspectives towards inner information, not seen otherwise, with applications in different fields, like medicine studies, material science or urban environments. In this work, a technique to build a numerical description under the mesh format has been implemented and used in numerical simulations when coupled to finite element solvers. Firstly, mathematical morphology techniques have been introduced to handle image information, providing the specific features of interest for the simulation. The immersed image method was then proposed to interpolate the image information on a mesh. Then, an iterative anisotropic mesh adaptation operator was developed to construct the optimal mesh, based on the estimated error concerning the image interpolation. The mesh is thus directly constructed from the image information. We have also proposed a new methodology to build a regularized phase function, corresponding to the objects we wish to distinguish from the image, using a redistancing method. Two main advantages of having such function are: the gradient of the regularized function performs better for mesh adaptation; the regularized function may be directly used for the finite element solver. Stabilized finite element flow and advection solvers were coupled to the constructed anisotropic mesh and the redistancing function, allowing its application to multiphase flow numerical simulations. All these developments have been extended in a massively parallel context. An important objective of this work is the simplification of the image based computations, through a modified way to segment the image and by coupling all to an automatic way to construct the mesh used in the finite element simulations
24
Saggion, Horacio. "Génération automatique de résumés par analyse sélective." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0017/NQ55476.pdf.
Full text
25
Terrillon, Guillaume. "Spécification et génération automatique de sites Internet." Mémoire, Université de Sherbrooke, 2005. http://savoirs.usherbrooke.ca/handle/11143/4702.
Full textAbstract:
La démocratisation d'Internet a entraîné l'émergence de sites Web de plus en plus complexes. Ainsi, les coûts de maintenance et de développement ont subi une constante augmentation. L'objectif du projet DCI-Web (Description Comportementale d'Interfaces Web) est de définir un langage de spécification capable de modéliser les différents aspects d'un site Web puis de le générer. Cette génération doit donc permettre de diminuer les coûts de développement tout en fournissant un système plus fiable et donc plus facile à maintenir. L'apport majeur de notre méthode est la possibilité de modéliser facilement et de manière exhaustive les parties dynamiques et le comportement des sites Web générés. La navigation, vue sous forme de menu, est alors simplifiée par l'utilisation des dites parties dynamiques. Contrairement aux autres approches existantes, notre spécification se base sur des systèmes d'informations déjà existants. L'impact de ce choix sur la spécification et le développement des interfaces générées est étudié dans la suite de ce mémoire.
26
Bagayogo, Aboubacar Sidiki Sambou. "Génération de maillage de peau pour géométries complexes par décomposition spatiale hiérarchique." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ60930.pdf.
Full text
27
Martin, Kevin. "Génération automatique d'extensions de jeux d'instructions de processeurs." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00526133.
Full textAbstract:
Les processeurs à jeux d'instructions spécifiques (ASIP) sont des processeurs spécialisés qui combinent la flexibilité d'un processeur programmable avec la performance d'un processeur dédié. L'une des approches de conception de tels processeurs consiste à spécialiser un cœur de processeur existant en y ajoutant des instructions spécialisées, mises en œuvre dans un module matériel fortement couplé au chemin de données du processeur. C'est l'extension de jeu d'instructions. La conception d'un ASIP nécessite des méthodologies et des outils logiciels appropriés garantissant une maîtrise des contraintes de conception et de la complexité grandissante des applications. Dans ce contexte, cette thèse vise à proposer une méthodologie de génération automatique d'extensions de jeux d'instructions. Celle-ci consiste à tout d'abord identifier l'ensemble des instructions candidates qui satisfont les contraintes architecturales et technologiques, afin de garantir leurs mises en œuvre. Ensuite, les instructions candidates qui minimisent le temps d'exécution séquentielle de l'application sont sélectionnées. Les ressources matérielles de l'extension, telles que les registres et les multiplexeurs, sont optimisées. Enfin, la dernière étape génère la description matérielle et le modèle de simulation de l'extension. Le code applicatif est adapté pour tenir compte des nouvelles instructions. Cette thèse propose des techniques basées sur la programmation par contraintes pour résoudre les problèmes difficiles (voir intraitables) que sont l'identification d'instructions, la sélection d'instructions et l'allocation de registres.
28
Perez, Laura Haide. "Génération automatique de phrases pour l'apprentissage des langues." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0062/document.
Full textAbstract:
Dans ces travaux, nous explorons comment les techniques de Générations Automatiques de Langue Naturelle (GLN) peuvent être utilisées pour aborder la tâche de génération (semi-)automatique de matériel et d'activités dans le contexte de l'apprentissage de langues assisté par ordinateur. En particulier, nous montrons comment un Réalisateur de Surface (RS) basé sur une grammaire peut être exploité pour la création automatique d'exercices de grammaire. Notre réalisateur de surface utilise une grammaire réversible étendue, à savoir SemTAG, qui est une Grammaire d'Arbre Adjoints à Structure de Traits (FB-TAG) couplée avec une sémantique compositionnelle basée sur l'unification. Plus précisément, la grammaire FB-TAG intègre une représentation plate et sous-spécifiée des formules de Logique de Premier Ordre (FOL). Dans la première partie de la thèse, nous étudions la tâche de réalisation de surface à partir de formules sémantiques plates et nous proposons un algorithme de réalisation de surface basé sur la grammaire FB-TAG optimisé, qui supporte la génération de phrases longues étant donné une grammaire et un lexique à large couverture. L'approche suivie pour l'optimisation de la réalisation de surface basée sur FB-TAG à partir de sémantiques plates repose sur le fait qu'une grammaire FB-TAG peut être traduite en une Grammaire d'Arbres Réguliers à Structure de Traits (FB-RTG) décrivant ses arbres de dérivation. Le langage d'arbres de dérivation de la grammaire TAG constitue un langage plus simple que le langage d'arbres dérivés, c'est pourquoi des approches de génération basées sur les arbres de dérivation ont déjà été proposées. Notre approche se distingue des précédentes par le fait que notre encodage FB-RTG prend en compte les structures de traits présentes dans la grammaire FB-TAG originelle, ayant de ce fait des conséquences importantes par rapport à la sur-génération et la préservation de l'interface syntaxe-sémantique. L'algorithme de génération d'arbres de dérivation que nous proposons est un algorithme de type Earley intégrant un ensemble de techniques d'optimisation bien connues: tabulation, partage-compression (sharing-packing) et indexation basée sur la sémantique. Dans la seconde partie de la thèse, nous explorons comment notre réalisateur de surface basé sur SemTAG peut être utilisé pour la génération (semi-)automatique d'exercices de grammaire. Habituellement, les enseignants éditent manuellement les exercices et leurs solutions et les classent au regard de leur degré de difficulté ou du niveau attendu de l'apprenant. Un courant de recherche dans le Traitement Automatique des Langues (TAL) pour l'apprentissage des langues assisté par ordinateur traite de la génération (semi-)automatique d'exercices. Principalement, ces travaux s'appuient sur des textes extraits du Web, utilisent des techniques d'apprentissage automatique et des techniques d'analyse de textes (par exemple, analyse de phrases, POS tagging, etc.). Ces approches confrontent l'apprenant à des phrases qui ont des syntaxes potentiellement complexes et du vocabulaire varié. En revanche, l'approche que nous proposons dans cette thèse aborde la génération (semi-)automatique d'exercices du type rencontré dans les manuels pour l'apprentissage des langues. Il s'agit, en d'autres termes, d'exercices dont la syntaxe et le vocabulaire sont faits sur mesure pour des objectifs pédagogiques et des sujets donnés. Les approches de génération basées sur des grammaires associent les phrases du langage naturel avec une représentation linguistique fine de leur propriété morpho-syntaxiques et de leur sémantique grâce à quoi il est possible de définir un langage de contraintes syntaxiques et morpho-syntaxiques permettant la sélection de phrases souches en accord avec un objectif pédagogique donné. Cette représentation permet en outre d'opérer un post-traitement des phrases sélectionées pour construire des exercices de grammaireIn this work, we explore how Natural Language Generation (NLG) techniques can be used to address the task of (semi-)automatically generating language learning material and activities in Camputer-Assisted Language Learning (CALL). In particular, we show how a grammar-based Surface Realiser (SR) can be usefully exploited for the automatic creation of grammar exercises. Our surface realiser uses a wide-coverage reversible grammar namely SemTAG, which is a Feature-Based Tree Adjoining Grammar (FB-TAG) equipped with a unification-based compositional semantics. More precisely, the FB-TAG grammar integrates a flat and underspecified representation of First Order Logic (FOL) formulae. In the first part of the thesis, we study the task of surface realisation from flat semantic formulae and we propose an optimised FB-TAG-based realisation algorithm that supports the generation of longer sentences given a large scale grammar and lexicon. The approach followed to optimise TAG-based surface realisation from flat semantics draws on the fact that an FB-TAG can be translated into a Feature-Based Regular Tree Grammar (FB-RTG) describing its derivation trees. The derivation tree language of TAG constitutes a simpler language than the derived tree language, and thus, generation approaches based on derivation trees have been already proposed. Our approach departs from previous ones in that our FB-RTG encoding accounts for feature structures present in the original FB-TAG having thus important consequences regarding over-generation and preservation of the syntax-semantics interface. The concrete derivation tree generation algorithm that we propose is an Earley-style algorithm integrating a set of well-known optimisation techniques: tabulation, sharing-packing, and semantic-based indexing. In the second part of the thesis, we explore how our SemTAG-based surface realiser can be put to work for the (semi-)automatic generation of grammar exercises. Usually, teachers manually edit exercises and their solutions, and classify them according to the degree of dificulty or expected learner level. A strand of research in (Natural Language Processing (NLP) for CALL addresses the (semi-)automatic generation of exercises. Mostly, this work draws on texts extracted from the Web, use machine learning and text analysis techniques (e.g. parsing, POS tagging, etc.). These approaches expose the learner to sentences that have a potentially complex syntax and diverse vocabulary. In contrast, the approach we propose in this thesis addresses the (semi-)automatic generation of grammar exercises of the type found in grammar textbooks. In other words, it deals with the generation of exercises whose syntax and vocabulary are tailored to specific pedagogical goals and topics. Because the grammar-based generation approach associates natural language sentences with a rich linguistic description, it permits defining a syntactic and morpho-syntactic constraints specification language for the selection of stem sentences in compliance with a given pedagogical goal. Further, it allows for the post processing of the generated stem sentences to build grammar exercise items. We show how Fill-in-the-blank, Shuffle and Reformulation grammar exercises can be automatically produced. The approach has been integrated in the Interactive French Learning Game (I-FLEG) serious game for learning French and has been evaluated both based in the interactions with online players and in collaboration with a language teacher
29
Hankach, Pierre. "Génération automatique de textes par satisfaction de contraintes." Paris 7, 2009. http://www.theses.fr/2009PA070027.
Full textAbstract:
Nous nous intéressons dans cette thèse à la construction d'un système de génération automatique - un logiciel informatique capable de transformer une représentation formelle de l'information en un texte en langage naturel. Dans notre approche, nous définissons la génération comme un problème de satisfaction de contraintes (CSP). Le système résultant garantit un traitement intégré des opérations de la génération car les différentes dépendances sont prises en compte et aucune priorité n'est donnée à un type d'opération par rapport aux autres. Pour définir le problème de satisfaction de contraintes, nous représentons les opérations de construction du texte par des variables de décision. Les opérations individuelles qui réalisent un même type d'expressions minimales dans le texte sont groupées ensemble et constituent une tâche de la génération. Nous classons les variables de décision selon les types d'opérations qu'elles représentent (e. G. Variables de sélection du contenu, variables de structuration du document. . . ). Les règles linguistiques régissant les opérations sont représentées par des contraintes sur les variables. Une contrainte peut être définie sur des variables d'un ou plusieurs type(s), marquant la dépendance entre les opérations correspondantes. La production d'un texte consiste en la résolution du système global des contraintes, c'est-à-dire trouver une affectation complète des variables qui ne viole pas les contraintes. Dans le cadre de la définition de la grammaire de contraintes, nous formulons notamment la partie qui régit les opérations de structuration du document. Nous modélispns par des contraintes la structure rhétorique développée par la SORT afin d'aboutir à des textes cohérents à la sortie du générateur. Auparavant, afin d'augmenter les capacités de génération de notre système, nous étendons cette structure rhétorique pour couvrir les textes non canoniques. En plus de la définition de ces contraintes pour la cohérence, nous formulons un ensemble de contraintes qui permettent de façonner la macrostructure en fonction des buts communicatifs afin de favoriser leur réalisation. Enfin, nous proposons une solution au problème de la complexité de calcul de la génération de textes de grande taille. Cette solution repose sur la génération de ces textes par paquet de propositions. Le problème de génération du texte global est ainsi défini comme plusieurs problèmes de génération de parties du texte. Ces parties sont de taille limitée et la complexité associée à leur génération reste raisonnable. Le partitionnement proposé est motivé par des considérations linguistiquesWe address in this thesis the construction of a natural language generation System - computer software that transforms a formal representation of information into a text in natural language. In our approach, we define the generation problem as a constraint satisfaction problem (CSP). The implemented System ensures an integrated processing of generation operations as their different dependencies are taken into account and no priority is given to any type of operation over the others. In order to define the constraint satisfaction problem, we represent the construction operations of a text by decision variables. Individual operations that implement the same type of minimal expressions in the text form a generation task. We classify decision variables according to the type of operations they represent (e. G. Content selection variables, document structuring variables. . . ). The linguistic rules that govern the operations are represented as constraints on the variables. A constraint can be defined over variables of the same type or different types, capturing the dependency between the corresponding operations. The production of a text consists of resolving the global System of constraints, that is finding an evaluation of the variables that satisfies all the constraints. As part of the grammar of constraints for generation, we particularly formulate the constraints that govern document structuring operations. We model by constraints the rhetorical structure of SORT in order to yield coherent texts as the generator's output. Beforehand, in order to increase the generation capacities of our System, we extend the rhetorical structure to cover texts in the non-canonical order. Furthermore, in addition to defining these coherence constraints, we formulate a set of constraints that enables controlling the form of the macrostructure by communicative goals. Finally, we propose a solution to the problem of computational complexity of generating large texts. This solution is based on the generation of a text by groups of clauses. The problem of generating a text is therefore divided into many problems of reduced complexity, where each of them is concerned with generating a part of the text. These parts are of limited size so the associated complexity to their generation remains reasonable. The proposed partitioning of generation is motivated by linguistic considerations
30
Osselin, Jean-François. "Génération automatique d'armures de grand rapport. Algorithme génétique." Mulhouse, 2001. http://www.theses.fr/2001MULH0668.
Full textAbstract:
Cette thèse a un double objectif. Tout d'abord, il s'agit de formaliser mathématiquement le processus de tissage ainsi que les méthodes de construction des armures, jusqu'alors traitées uniquement empiriquement. Dans un second temps, on envisage de générer automatiquement des armures de grandes dimensions présentant l'aspect très particulier- du crêpe, en développant un algorithme génétique, dédié à codage non binaire. Le premier chapitre de cet ouvrage propose une formalisation des différents processus de transformation fréquemment appliqués à une ou plusieurs armures. Après avoir présenté quelques opérateurs, nous explicitons formellement ce que sont l'intercalation, le rayonnement on encore la transposition. Certaines des notions introduites concernant le tissage, les armures et leur lien avec les algèbres de Boole sont regroupées en annexe. Le chapitre deux présente quelques notions relatives aux problèmes de satisfaction de contraintes, pins traduit le problème de génération d'armures dans ce contexte. Le chapitre trois expose brièvement fondant sur un ce qu'est un algorithme génétique, dans sa version la plus classique en se fondant sur un exemple. Le chapitre quatre est entièrement consacré à l'analyse d'images, et plus particulièrement à l'analyse de l'aspect crêpé d'une armure. Dans le cinquième et dernier- chapitre sont exposés les processus et opérateurs génétiques propres à la résolution notre problème. On y trouve également une optimisation de l'algorithme. Suivie d'une très brève, analyse de son comportement en fonction de différents paramètres. Enfin, nous concluons sur ce travail et envisageons quelques extensions de nos travaux.
31
Martin, Kévin. "Génération automatique d'extensions de jeux d'instructions de processeurs." Rennes 1, 2010. https://tel.archives-ouvertes.fr/tel-00526133.
Full textAbstract:
Les processeurs à jeux d'instructions spécifiques (ASIP) sont des processeurs spécialisés qui combinent la flexibilité d'un processeur programmable avec la performance d'un processeur dédié. L'une des approches de conception de tels processeurs consiste à spécialiser un cœur de processeur existant en y ajoutant des instructions spécialisées, mises en œuvre dans un module matériel fortement couplé au chemin de données du processeur. C'est l'extension de jeu d'instructions. La conception d'un ASIP nécessite des méthodologies et des outils logiciels appropriés garantissant une maîtrise des contraintes de conception et de la complexité grandissante des applications. Dans ce contexte, cette thèse vise à proposer une méthodologie de génération automatique d'extensions de jeux d'instructions. Celle-ci consiste à tout d'abord identifier l'ensemble des instructions candidates qui satisfont les contraintes architecturales et technologiques, afin de garantir leurs mises en œuvre. Ensuite, les instructions candidates qui minimisent le temps d'exécution séquentielle de l'application sont sélectionnées. Les ressources matérielles de l'extension, telles que les registres et les multiplexeurs, sont optimisées. Enfin, la dernière étape génère la description matérielle et le modèle de simulation de l'extension. Le code applicatif est adapté pour tenir compte des nouvelles instructions. Cette thèse propose des techniques basées sur la programmation par contraintes pour résoudre les problèmes difficiles (voir intraitables) que sont l'identification d'instructions, la sélection d'instructions et l'allocation de registresASIPs (/Application Specific Instruction set Processors/) are custom processors that offer a good trade-off between performance and flexibility. A common processor customization approach is to augment its standard instruction set with application-specific instructions that are implemented on specifically designed hardware extensions (reconfigurable cells). These extensions are often directly connected to the processor's data-path. The design of the ASIP processor must rely on dedicated methodologies and software tools that manage both the design constraints and the growing complexity of applications. In this context, the aims of this thesis were to propose a new methodology for the automatic generation of instruction-set extensions. In the first step of our proposed design flow, we generate the instruction candidates that satisfy some architectural and technological constraints. In the second step, we identify the set of standard and customized instructions that minimizes the sequential application's execution time. In the next step, optimized hardware extensions and the corresponding application program including new instructions are generated. During the hardware generation, the optimizations of the hardware resources such as registers and multiplexers are simultaneously carried out. In our proposed design flow we used the constraint-based approach to solve the computationally complex problems of instruction identification, instruction selection and register allocation
32
Garcia, Michel. "Generation automatique de maillage appliquee aux domaines complexe du sous-sol." Paris, ENMP, 1991. http://www.theses.fr/1991ENMP0407.
Full textAbstract:
L'emploi de methodes de calcul numerique est largement repandu dans les sciences de la terre pour traiter des problemes aussi varies que ceux de mecanique des roches ou d'ecoulement en milieu poreux. Dans tout calcul, une discretisation spatiale prealable du domaine etudie est necessaire. Les domaines du sous-sol ont la particularite d'etre des milieux heterogenes complexes qui peuvent etre constitues de differentes roches, avec des proprietes petrophysiques variables, et contenir des discontinuites. La prise en compte des heterogeneites dans la construction des maillages est primordiale car elle conduit par exemple, a produire des mailles homogenes dont les proprietes physiques moyennes peuvent facilement etre deduites. Ceci s'applique, en particulier, aux problemes d'ecoulement en milieu poreux pour lesquels la permeabilite moyenne de chaque maille depend a la fois du contraste des valeurs de permeabilite a l'interieur de la maille et de leur repartition spatiale. Deux approches de maillage sont proposees. La premiere s'attache a generer des triangulations 2d et 3d de dalaunay a partir d'un semi de points et de la geometrie du domaine (frontieres exterieures et interieures). L'autre approche, mieux adaptee aux milieux heterogenes du sous-sol, est adaptative et peut integrer l'ensemble des caracteristiques geometriques et geologiques du domaine pour en construire un maillage de n'importe quel type. L'approche permet egalement d'adapter (dynamiquement) le maillage a des champs de gradient des parametres simules. Son principe consiste a ajuster un maillage initial aux caracteristiques du domaine par deformations successives du maillage. Ceci suppose d'attribuer au maillage une loi de comportement qui en regit les deformations et de definir des contraintes dont l'action depend de l'heterogeneite des mailles
33
Mognol, Pascal. "Contribution à la génération automatique de gammes en tournage : génération dirigée par évaluation progressive." Cachan, Ecole normale supérieure, 1994. http://www.theses.fr/1994DENS0019.
Full textAbstract:
Ce travail de recherche porte sur la génération automatique de gammes d'usinage en tournage. La complexité de ces recherches porte principalement sur deux points: il faut, d'une part, formaliser la connaissance de l'expert en gammes d'usinage (connaissance basée sur des calculs scientifiques mais aussi principalement sur l'expérience) et d'autre part, utiliser cette connaissance au mieux pour obtenir un système de génération automatique de gammes d'usinage (expertise cogniticienne). Il faut mettre en œuvre une méthode qui évite l'explosion combinatoire du nombre de solutions possibles, tout en ne réduisant pas l'espace des solutions envisagées. Pour répondre a ces exigences, nous avons mis en place un nouveau concept base sur la construction d'un graphe de résolution. Ce principe est du type ascendant. L'étude de la pièce finie permet, par habillages successifs, d'obtenir la forme brute. Des critères technologiques, qui traduisent l'expertise du gammiste, évaluent et éliminent progressivement les solutions peu fiables, tout en ne réduisant pas l'espace des solutions valides. De plus, l'analyse des critères défaillants permet de diriger l'élaboration du graphe vers des solutions répondant aux problèmes décelés. Le principe même d'élaboration du graphe garantit la non explosion combinatoire du nombre de solutions. Le graphe finalement obtenu, ne contient qu'un nombre restreint de gammes technologiquement faisables, sur lesquelles une étude finale et complète (étude de cout, par exemple) est menée. L'utilisateur peut ainsi choisir, en toutes connaissances de cause, la gamme qu'il va mettre en œuvre. Une maquette informatique a été réalisée. Les résultats obtenus ont permis de valider ces concepts dans le cadre du tournage
34
Mouton, Thibaud. "Génération et optimisation de maillage hybride tridimensionnel pour la simulation des réservoirs pétroliers." Troyes, 2009. http://www.theses.fr/2009TROY0034.
Full textAbstract:
Dans le cadre des simulations d'écoulements en milieux poreux, dont l'exploitation des gisements pétroliers est considérablement dépendante, le maillage adéquat des structures géologiques est une opération primordiale. La complexité du sous-sol mais également la nécessité du suivi des directions préférentielles des flux au voisinage des puits induisent des contraintes géométriques complexes qui doivent être prises en compte. A cette fin, une approche hybride originale combinant plusieurs types de maillages a été développée, d'abord en 2D, puis en 3D dans des cas simples. Ces maillages sont constitués d'un maillage structuré modélisant le réservoir pétrolier, d'un maillage structuré radial autour du puits et d'un maillage non structuré polyhédrique assurant la liaison entre les deux maillages structurés. Le travail effectué durant cette thèse propose de généraliser la méthodologie développée en 3D afin de permettre la génération de maillages hybrides dans des réservoirs à géométries complexes. En effet, la génération d'un tel maillage nécessite le respect impératif de contraintes géométriques, pouvant ne pas être rencontrées lorsque la géologie du sous-sol est complexe ou que la grille de réservoir a été générée en fonction de propriétés pétrophysiques. Ainsi, une méthode permettant d'assurer le respect de ces contraintes a été mise au point. Des techniques destinées à optimiser le maillage ont également vu le jour afin de corriger les défauts induits par la première méthode et rendre ce maillage valide pour les simulations de type volumes finisAs part of flow simulations in porous medias, whose the exploitation of an oil reservoir especially depends on, using a suitable mesh to model the geological structures is essential. The underground complexity and the need to follow the preferential directions of the flow in the vicinity of the wells induce several geometrical constraints that need to be taken into account by an efficient mesh generation soft-ware of geological structures. In this perspective, an original hybrid approach has been pro-posed which combines different kinds of mesh, has been developped, first in 2D and then in 3D for simple cases. This mesh is composed of an hexahedral structured mesh which models the oil reservoir, a radial mesh around the well and an unstructured polyhedral mesh which provides the transition between both structured meshes. The work done during this PhD consists in a generalization of the methodology developed in 3D in order to be able to generate hybrid meshes inside oil reservoir grids with more complicated structures. Indeed, the mesh generation providing the transition needs geometrical constraints to be fulfilled, that are not found when the underground structure is too complicated, or if the oil reservoir grid has been generated following physical properties. Thus, a new methodology allowing the geo-metrical constraints to be fulfilled has been proposed. Techniques intended to optimize the mesh have been also developed in order to correct the defaults of the mesh caused by the first methodology so that it finally satisfies the finite volume simulation requirements
35
Chipot, Yveline. "Génération et modification de surfaces triangulées." Vandoeuvre-les-Nancy, INPL, 1991. http://www.theses.fr/1991INPL063N.
Full textAbstract:
Dans les applications de modélisation géométrique, on a affaire à des surfaces plus ou moins régulières. Dans le domaine particulier de la géologie, elles sont en général très irrégulières, et ne sont pas représentables par des fonctions du type z=f(x,y). Ce travail a été réalisé dans le but précis de fournir des surfaces initiales pour les applications géologiques, et de fabriquer certains outils nécessaires à leur manipulation. La 1ère partie concerne la génération de surfaces triangulées. J'expose tout d'abord une technique permettant de construire une surface triangulée en 3D connaissant un ensemble de points de données repartis de façon quelconque sur la surface, ainsi qu'un ensemble de failles qui le déchirent. Ensuite je présente quelques utilitaires de génération de surfaces triangulées. La 2ème partie est consacrée à la modification des maillages, en particulier on y trouve un outil de raffinement de maillage quelques fonctions destinées à améliorer la régularité des maillages, et enfin un algorithme de calcul de chemin entre 2 nœuds du maillage. En 3ème partie, a été inséré un article paru dans la revue internationale de CFAO et d'infographie (vol 4. No 2/1989-Hermès). Cet article présente une description de la méthode d'interpolation de J. L. Mallet, appelée Discrete Smooth Interpolation, avec en plus une technique de type successive over relaxation pour accélérer la convergence de l'algorithme. Ce travail a été réalisé dans le cadre du projet Gocad développé à l'École Nationale Supérieure de Géologie de Nancy par l'Équipe d'infographie du CRIN
36
Lagüe, Jean-François. "Optimisation de maillage basée sur une erreur locale d'interpolation." Paris 6, 2006. http://www.theses.fr/2006PA066373.
Full textAbstract:
Cette thèse porte sur l'optimisation de maillages anisotropes bidimensionnels plans ou surfaciques. La première partie est consacrée à l'optimisation de maillage de carreaux CAO vis-à-vis de la semi-norme H1 de l'erreur d'interpolation qui permet de contrôler le comportement local de la surface au voisinage des sommets du maillage. Un algorithme de modification de maillage à l'aide d'opérateurs locaux est développé afin de minimiser l'erreur d'approximation de la géométrie. Des tests numériques sont effectués afin de comparer cette approche aux méthodes classiques de génération de maillages anisotropes. La deuxième partie porte sur le remaillage d'une surface en suivant les lignes de courbure de la surface pour générer un maillage adapté aux propriétés intrinsèques de la surface. Il s'agit de placer les sommets du nouveau maillage directement sur les lignes de courbure de la surface, la densité des points étant contrôlée en reliant la longueur d'une arête à l'erreur d'interpolation.
37
Chaisemartin, Philippe. "Contribution à la génération automatique de plans de masse." Phd thesis, Grenoble 1, 1986. http://tel.archives-ouvertes.fr/tel-00322531.
Full textAbstract:
Cette thèse présente l'introduction de méthodes nouvelles dans le domaine de la conception assistée par ordinateur de circuits à haute intégration. A partir de la description d'un ensemble d'individus par la liste de leurs corrélations (ou distances) deux à deux, l'analyse factorielle de données se propose d'en fournir une représentation planaire. Le but de cette thèse est de décrire le cheminement parcouru pour pouvoir utiliser ces méthodes connues depuis longtemps des statisticiens, dans le domaine de la génération de plans de masse. Ainsi, plusieurs idées originales permettant l'utilisation d'algorithmes classiques d'analyse factorielle de données dans le cadre de la CAO de circuits sont présentées. Ces idées sont concrétisées par la réalisation et la présentation d'un logiciel de génération de plans de masse
38
Rebaa, El-Hadi. "Génération automatique et optimisation de systèmes à inférence floue." Paris 12, 2003. https://athena.u-pec.fr/primo-explore/search?query=any,exact,990002111060204611&vid=upec.
Full textAbstract:
La synthèse d’un système à inférence flou (SIF) pour l’identification et la commande d’un système MIMO, constitue une problématique de recherche non trivial qui nécessite l’emploi une méthodologie pour la génération de la base de connaissances. L’objectif de cette thèse est de proposer une algorithmique pour l’induction automatique de contrôleurs flous MIMO. Pour ce faire, un modèle hybride neuro-flou est utilisé pour représenter le SIF, compte tenu de l’avantage qu’il présente au niveau de l’unicité de la structure. L’approche proposée comprend deux étapes essentielles. La première concerne l’identification des paramètres du modèle, partir de la méthode de la rétropropagation du gradient. La seconde consiste en une optimisation structurelle du SIF basée sur une nouvelle algorithmique de classification. Une nouvelle formulation de la méthode de classification FCM (Fuzzy C-Means), introduisant une nouvelle contrainte basée sur un indice d’inclusion des sous-ensembles flous, au sens de la similarité, est proposée. Cette approche a été validée sur deux applications. La première concerne la commande dynamique d’un robot série 2 ddl et la seconde, l’identification des efforts non linéaires dans l’espace libre d’un robot parallèle à liaisons C5. Les performances obtenues montrent une bonne précision d’approximation d’un système MIMO non linéaire. De plus, cette approche a permis de réduire d’un facteur 10 le nombre de règles floues générées par rapport à l’approche FCM, basée sur l’utilisation d’une partition à grillesFuzzy inference system (FIS) synthesis for identification and control of MIMO systems represents a non trivial research problematic which requires a knowledge base generation methodology. The aim of this thesis is to propose a new algorithmic for automatic induction of MIMO fuzzy controllers. For this purpose, a neuro-fuzzy hybrid model is used to model the FIS, due to its structure unicity. The proposed approach includes two main steps. The first one concerns the model parameters identification using a back-propagation method. The second one consists of an optimization of the FIS structure based on a new classification algorithmic. A new formulation of the FCM (Fuzzy C-Means) clustering method, tacking into account a new constraint based on a fuzzy sets inclusion index from similarity point of view, is proposed. This approach has been validated on two applications. The first one concerns the dynamic control of a 2-DOF serial robot and the second one, the free space non-linear efforts identification of a C5 parallel robot. The obtained performances show a good approximation accuracy of a non-linear MIMO system. Moreover, this approach has allowed the reduction of the generated fuzzy rules number with a factor of 10, compared to the FCM approach using a grids partition
39
Ciguene, Richardson. "Génération automatique de sujets d'évaluation individuels en contexte universitaire." Electronic Thesis or Diss., Amiens, 2019. http://www.theses.fr/2019AMIE0046.
Full textAbstract:
Ce travail de thèse s'intéresse à l'évaluation des apprentissages et notamment à la génération automatique de sujets d'évaluations dans les universités. Nous nous appuyons sur une base de questions sources pour créer les questions des sujets grâce à des algorithmes qui sont en mesure de construire des tests d'évaluation différenciés. Ces recherches ont permis d'élaborer une métrique qui mesure cette différenciation et de proposer des algorithmes visant à maximiser la différenciation totale sur des collections de tests, tout en minimisant le nombre de patterns nécessaires. Les performances en moyenne de ces derniers dépendent du nombre de patterns disponibles dans la base source (en regard du nombre d'items souhaités dans les tests), et de la taille des collections générées. On s'est focalisé sur la différenciation possible dans de très petites collections de sujets, et propose des pistes méthodologiques pour optimiser la distribution de ces sujets différenciés à des cohortes d'étudiants en respectant les contraintes de l'enseignant. La suite de ce travail sera éventuellement de prendre en compte le niveau de difficulté d'un Test comme nouvelle contrainte, en s'appuyant en partie sur les données statistiques et sémantiques récoltées après chaque Épreuve. Le but est de pouvoir maximiser la différenciation en gardant l'équité entre les Tests d'une Collection, pour une distribution optimisée lors des ÉpreuvesThis PhD work focuses on the evaluation of learning and especially the automatic generation of evaluation topics in universities. We rely on a base of source questions to create topic questions through algorithms that are able to construct differentiated assessment tests. This research has made it possible to develop a metric that measures this differentiation and to propose algorithms aimed at maximizing total differentiation on test collections, while minimizing the number of necessary patterns. The average performance of the latter depends on the number of patterns available in the source database (compared to the number of items desired in the tests), and the size of the generated collections. We focused on the possible differentiation in very small collections of subjects, and proposes methodological tracks to optimize the distribution of these differentiated subjects to cohorts of students respecting the constraints of the teacher. The rest of this work will eventually take into account the level of difficulty of a test as a new constraint, relying in part on the statistical and semantic data collected after each test. The goal is to be able to maximize the differentiation by keeping the equity between the Tests of a Collection, for an optimized distribution during the Events
40
Assia, Soukane. "Génération automatique des requêtes de médiation dans un environnement hétérogène." Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 2005. http://tel.archives-ouvertes.fr/tel-00324482.
Full textAbstract:
Les systèmes de médiation sont aujourd'hui largement développés et connus. Cependant, leur mise en œuvre pose un certain nombre de problèmes, en particulier la définition de requêtes de médiation en présence d'un grand nombre de sources de données, et d'un volume important de méta-données les décrivant. Ce problème est d'autant plus complexe que les sources sont hétérogènes.Face a cette problématique, nous proposons dans cette thèse pour le contexte relationnel, une approche de génération automatique de requêtes de médiation. A partir de la description d'un ensemble de sources de données distribuées et hétérogènes et de méta-données, notre algorithme produit un ensemble de requêtes de médiation possibles. Nous avons développé un outil qui permet de générer automatiquement des requêtes de médiation dans un environnement hétérogène. Notre objectif principal étant de fournir à l'utilisateur un outil adapté aux petits et grands systèmes, nous avons réalisé une série de tests d'évaluation des performances pour mesurer son passage à l'échelle. Ces tests montrent la faisabilité de notre approche.
41
Mendoza, Chavez Gustavo. "Approche semi-automatique de génération de modèles bielles-et-tirants." Thesis, Paris Est, 2018. http://www.theses.fr/2018PESC1030/document.
Full textAbstract:
Dans le domaine des structures en Béton Armé (BA) et plus spécifiquement, lors de la conception d'éléments non-flexibles tels que les corbeaux, les poutres bayonets et les poutres profondes, la Méthode Bielle-Tirant (MBT) présente des avantages par rapport aux algorithmes classiques de calcul de ferraillage basé sur l'analyse FE (par exemple Wood-Armor ou Capra-Maury).La Methode Bielle-Tirant reste une alternative adaptée pour la conception de structures en béton présentant un comportement élastique ou plastique dont le cadre d'application est bien défini dans les codes de conception des structures en béton comme les EuroCodes et les spécifications de conception des ponts AASHTO-LRFD.Néanmoins, cette méthode présente l'inconvénient majeur de nécessiter un investissement important en ressources humaines ou en capacité de calcul pour, respectivement, son application manuelle ou une approche automatique par optimisation de topologie.Le document propose une alternative légère, en termes d'itérations requises, à l'automatisation de la MBT, qui part de l'affirmation que les entretoises résultantes et les attaches d'un modèle ST approprié peuvent être distribuées selon la direction des contraintes principales, $sigma_{III}$ et $sigma_{I}$, obtenus à partir d'un planaire modèle aux EFWithin the field of Reinforced Concrete (RC) structures and more specifically, at the design of non-flexural elements such as corbels, nibs, and deep beams, the rational procedure of conception and justification referred as Strut-and-Tie Method (STM) has shown some advantages over classical algorithms of reinforcement computation based on FE analysis (eg. Wood-Armer or Capra-Maury).The STM remains a suitable alternative for the design of concrete structures presenting either elastic or plastic behaviour whose application framework is well defined in concrete structures’ design codes like the EuroCodes and the AASHTO-LRFD Bridge Design Specifications.Nevertheless, this method has the main inconvenient of requiring a high amount of resources investment in terms of highly experienced personal or in terms of computational capacity for, respectively, its manual application or an automatic approach through topology optimisation.The document proposes a light alternative, in terms of required iterations, to the automation of the STM, which starts from the statement that the resultant struts and ties of a suitable ST model can be distributed according to the direction of the principal stresses, $sigma_{III}$ and $sigma_{I}$ , obtained from a planar or a three-dimensional FE model
42
Tka, Mouna. "Génération automatique de test pour les contrôleurs logiques programmables synchrones." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM020/document.
Full textAbstract:
Ce travail de thèse, effectué dans la cadre du projet FUI Minalogic Bluesky, porte sur le test fonctionnel automatisé d'une classe particulière de contrôleurs logiques programmables (em4) produite par InnoVista Sensors. Ce sont des systèmes synchrones qui sont programmés au moyen d'un environnement de développement intégré (IDE). Les personnes qui utilisent et programment ces contrôleurs ne sont pas nécessairement des programmeurs experts. Le développement des applications logicielles doit être par conséquent simple et intuitif. Cela devrait également être le cas pour les tests. Même si les applications définies par ces utilisateurs ne sont pas nécessairement très critiques, il est important de les tester d'une manière adéquate et efficace. Un simulateur inclu dans l'IDE permet aux programmeurs de tester leurs programmes d'une façon qui reste à ce jour informelle et interactive en entrant manuellement des données de test. En se basant sur des recherches précédentes dans le domaine du test des programmes synchrones, nous proposons un nouveau langage de spécification de test, appelé SPTL (Synchronous Programs Testing Language) qui rend possible d'exprimer simplement des scénarios de test qui peuvent être exécutées à la volée pour générer automatiquement des séquences d'entrée de test. Il permet aussi de décrire l'environnement où évolue le système pour mettre des conditions sur les entrées afin d'arriver à des données de test réalistes et de limiter celles qui sont inutiles. SPTL facilite cette tâche de test en introduisant des notions comme les profils d'utilisation, les groupes et les catégories. Nous avons conçu et développé un prototype, nommé "Testium", qui traduit un programme SPTL en un ensemble de contraintes exploitées par un solveur Prolog qui choisit aléatoirement les entrées de test. La génération de données de test s'appuie ainsi sur des techniques de programmation logique par contraintes. Pour l'évaluer, nous avons expérimenté cette méthode sur des exemples d'applications EM4 typiques et réels. Bien que SPTL ait été évalué sur em4, son utilisation peut être envisagée pour la validation d'autres types de contrôleurs ou systèmes synchronesThis thesis work done in the context of the FUI project Minalogic Bluesky, concerns the automated functional testing of a particular class of programmable logic controllers (em4) produced by InnoVista Sensors. These are synchronous systems that are programmed by means of an integrated development environment (IDE). People who use and program these controllers are not necessarily expert programmers. The development of software applications should be as result simple and intuitive. This should also be the case for testing. Although applications defined by these users need not be very critical, it is important to test them adequately and effectively. A simulator included in the IDE allows programmers to test their programs in a way that remains informal and interactive by manually entering test data.Based on previous research in the area of synchronous test programs, we propose a new test specification language, called SPTL (Synchronous Testing Programs Language) which makes possible to simply express test scenarios that can be executed on the fly to automatically generate test input sequences. It also allows describing the environment in which the system evolves to put conditions on inputs to arrive to realistic test data and limit unnecessary ones. SPTL facilitates this testing task by introducing concepts such as user profiles, groups and categories. We have designed and developed a prototype named "Testium", which translates a SPTL program to a set of constraints used by a Prolog solver that randomly selects the test inputs. So, generating test data is based on constraint logic programming techniques.To assess this, we experimented this method on realistic and typical examples of em4 applications. Although SPTL was evaluated on EM4, its use can be envisaged for the validation of other types of synchronous controllers or systems
43
Soukane, Assia. "Génération automatique des requêtes de médiation dans un environnement hétérogène." Versailles-St Quentin en Yvelines, 2005. http://www.theses.fr/2005VERS0038.
Full textAbstract:
Les systèmes de médiation sont aujourd'hui largement développes et connus. Cependant, leur mise en œuvre pose un certain nombre de problèmes, en particulier la définition de requêtes de médiation en présence d'un grand nombre de sources de données, et d'un volume important de méta-données les décrivant. Ce problème est d'autant plus crucial lorsque les sources sont hétérogènes. Face a cette problématique, nous proposons dans cette thèse pour le contexte relationnel, une approche de génération automatique de requêtes de médiation. A partir de sources de données distribuées et hétérogènes, notre algorithme produit un ensemble potentiel de requêtes de médiation. Nous avons développé un outil qui permet de générer automatiquement des requêtes de médiation dans un environnement hétérogène. Notre objectif principal étant de fournir à l'utilisateur un outil adapte aux petits et grands systèmes, nous avons réalise une série de tests d'évaluation des performances pour mesurer son passage a l'échelle. Ces tests montrent la faisabilité de notre approcheNowadays, mediation systems are widely used. However, their implementation raises several problems, especially, the definition of queries when there is a high number of sources, and a great amount of meta data. Furthermore, the problem is particularly important when sources are heterogeneous. We propose in this thesis an approach to automatically generate the mediation queries, in a relational context. Our algorithm produce candidate set of queries since heterogeneous and distributed sources. We develop a tool to automatically generate mediation queries in the heterogeneous context. Our principal goal is to provide an appropriate tool for different sizes of systems; we achieve tests series to perform scalability
44
Soguet, David. "Génération automatique d'algorithmes linéairesDécomposition de graphes, logique, stratégies de capture." Paris 11, 2008. http://www.theses.fr/2008PA112067.
Full textAbstract:
Dans les deux parties qui composent cette thèse, nous utilisons des automates pour résoudre de manière décentralisée certains problèmes de graphes, i. E. Les automates n'ont pas une vision globale du graphe qu'ils parcourent, et chaque automate prend des décisions locales en utilisant l'information présente sur le nœud qu'il occupe. Nous étudions l'impact de cette information sur le nombre d'automates ou la mémoire (états, tableau blanc) nécessaires pour la résolution du problème. Dans la première partie, nous considérons des méthodes de génération d'algorithmes linéaires qui ont été proposées dans la littérature pour résoudre les problèmes exprimés en logique du second ordre monadique sur les graphes de largeur arborescente ou de largeur de clique bornée. Bien que linéaire, les constantes multiplicatives de ces algorithmes générés peuvent cependant être très grandes, rendant ainsi difficile leur utilisation. Nous avons néanmoins implémenté une méthode de génération basée sur les automates, et montré que les algorithmes obtenus pour un certain nombre de propriétés sont utilisables en pratique. Dans la deuxième partie, nous considérons le problème de la capture répartie. Dans un graphe donné, le but est qu'une équipe, utilisant un nombre minimum de chercheurs qui calculent eux-mêmes leur stratégie, capture un fugitif arbitrairement rapide et invisible. Nous étudions notamment le compromis entre le nombre de chercheurs et la quantité d'informations à leur fournir sur l'environnement pour capturer le fugitifIn both parts of this thesis, we use automata to solve in a decentralised manner some graphs problems, i. E. The automata do not have a global vision of the graph in which they move, and each automaton makes local decisions using the information available on the node on which it stands. We study the impact of this information on the number of automata or the memory (state, whiteboard) that are necessary for the resolution of the problem. In the first part, we consider some methods of generation of linear algorithms that have been proposed in the literature to solve the problems expressed in monadic second order logic on graphs of bounded treewidth or of bounded cliquewidth. Although the generated algorithms are linear, the multiplicative constant of these algorithms can be very large, making them difficult to use. We have nevertheless implemented a method of generation based on the automata, and we have proved that, for a certain number of properties, the algorithms obtained are usable in practice. In the second part, we consider the problem of distributed graph searching. In a given graph, the goal is that a team, using a minimum number of searchers who calculate their own strategy, capture a fugitive arbitrarily fast and invisible. We study the compromise between the number of searchers and the quantity of information to provide on the environment to capture the fugitive
45
Lazzari, Cristiano. "Génération Automatique de circuits durcis aux rayonnements au niveau transistor." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0170.
Full textAbstract:
Les technologies submicroniques ont inséré des nouveaux défis dans le projet de circuits intégrés à cause de la réduction des géométries, la réduction de la tension d'alimentation, l'augmentation de la fréquence et la densité élevée de la logique. Cette thèse est divisée dans deux contributions principales. La première contribution est liée à l'élaboration d'une nouvelle méthodologie capable de produire des circuits optimisés en ce qui concerne le retard et la puissance. On propose un nouvel flou de conception dans lequel le circuit est optimisé au niveau transistor. La deuxième contribution de cette thèse est reliée avec le développement des techniques pour les circuits durcis aux rayonnements. La technique Code Word State Preserving (CWSP) est utilisé pour appliquer la redondance dans les bascules. On propose aussi une nouvelle méthodologie dans lequel la taille de transistor est dimmensioné pour l'atténuation de faute type Single Event Transient. La méthode de sizing est basée sur un modèle analytiqueDeep submicron technologies have increased the challenges in circuit designs due to geometry shrinking, power supply reduction, frequency increasing and high logic density. One of the goals of this thesis is to develop EDA tools able to cope with these DSM challenges. This thesis is divided in two major contributions. The first contribution is related to the development of a new methodology able to generate optimized circuits in respect to timing and power consumption. A new design flow is proposed in which the circuit is optimized at transistor level. The second contribution of this thesis is related with the development of techniques for radiation-hardened circuits. The Code Word State Preserving technique is used to apply timing redundancy into latches and flipflops. Further, a new transistor sizing methodology for Single Event Transient attenuation is proposed. The sizing method is based on an analytic model. The model considers independently pull-up and pull-down blocks
46
Spadoni, Michel. "Etude d'un système de génération automatique de gammes de fabrication." Metz, 1987. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1987/Spadoni.Michel.SMZ8701.pdf.
Full textAbstract:
Notre étude a porté principalement sur la définition d'une structure de connaissances et le développement d'un système expert SAGGA. L'ensemble des gammes de fabrication apprtenant à chaque famille est représenté par un graphe orienté où les sommets sont les opérations et les branches les conditions géométriques et techniques de réalisation de ces opérations. Cegraphe définit le modèle de fabrication de produits d'une famille. D'un point de vue mathématique, ce modèle est formalisé comme un réseau de Pétri particulier monovalué, où les opérations sont les étapes et les conditions de fabrication des transistions. Les propriétés de ce réseau appelé Grafcet M sont déduites de celles du Grafcet qui est utilisé pour la commande de systèmes séquentiels. Le graphe représentant le modèle de fabrication est défini par une suite de règles de production. Celle-ci est alors exploitée par un mécanisme d'inférence spécifique. Le système expert génère alors la ou les gammes de fabrication correspondant au nouveau produit, à partir de la base de faits composés du code du produit et des renseignements complémentaires donnés par le préparateur. Si la gamme proposée n'est pas satisfaisante, le préparateur modifie celle-ci à l'aide de règles en langage externe qui permettront la mise à jour de la base de connaissances. La gamme est alors complétée à l'aide d'un éditeur de texte spécialisé interactif, qui tient compte de contraintes technologiques de productionOur study mainly concerns the definition of structure of process-planning knowledge and their use by an expert system SAGGA. The different process-planning belonging to such family are you represented by an oriented graph where the nodes are the operations and the branches the geometrical conditions and technical conditions to perform these operations. This graph defines manufacturing process model for the product family. On mathematical point of view, this model is described according to a particular Petri network are the stages and the manufacturing conditions some transitions. The properties of this network called Grafcet which is used in sequential systems control. The graph representing the manufacturing model is defined by productions rules written in an internal language. The expert system then produces the process-planning corresponding to the new product, from part code number and additional information given by user. If the proposed process-planning is not satisfactory, the user may modify then using rules written in an internal language. These rules are then translated in internal language and upted the family knoledge base. Post processor completed the operations defined by the process-planning. It uses an iterative display with technological table and takes into account manufacturing constraints
47
He, Bing. "Génération automatique de logiciels d'aide à la communication pour handicapés." Lille 1, 1987. http://www.theses.fr/1987LIL10212.
Full textAbstract:
Le domaine de l'aide à la communication pour handicapés. Conception du logiciel général. Architecture et principe de fonctionnement du système de génération automatique. Les implémentations du système
48
Kedja, Boualem. "Contribution à la génération automatique des gammes d'usinage en tournage." Lyon, INSA, 1995. http://www.theses.fr/1995ISAL0089.
Full textAbstract:
Le travail présenté a pour objectif de proposer une nouvelle méthodologie d'élaboration automatique de gammes d'usinage basée sur un ensemble de concepts cohérents. Ce problème qui concerne l'intégration de savoir faire est très complexe et fortement couplé compte tenu des contraintes relatives aux procédures possibles et de la diversité des ressources. Ceci implique l'élaboration d'un système ouvert afin de permettre l'introduction aisée de règles spécifiques à un environnement donné. Nous n'avons pas cherché à modéliser le raisonnement du gammiste car à chaque agent correspond une démarche spécifique. En se situant à l'aval d'un modeleur volumique orienté objet (features), la cohérence recherchée a été obtenue dans le cadre d'une approche systémique considérant simultanément produit et spécifications, processus et méthodologies, machines et outillages. La généralisation de la notion d'entité aux différentes applications, le paramétrage des ressources, l'introduction de critères de pondération permettent l'élaboration d'un produit adaptable à la diversité des contextes industriels. Le système de génération automatique est réalisé autour d'un moteur d'inférence spécifique afin de limiter l'explosion combinatoire en associant plusieurs règles sous une seule contrainte d'antérioritéPurpose of the presented work is to find a new automatic elaboration methodology of manufacturing ranges based on a totality of coherent concepts. This problem that concerns the integration to know-how be very complex and strongly coupled held account relative constraints to possible procedures and the diversity of resources. This implies the elaboration of an open system' so as to allow the well-off introduction of specific rules to a given environment. We have not sought to modelize the reasoning of the planner because for each agent corresponds a specific step. By situating at the endorsement of a volumetric modeler oriented object (feature), the researched coherence has been obtained in the framework of a systemic approach considering simultaneously product and specifications, process and methodologies , machines and kits. The generalization of the notion of entity to the different applications) the meter of resources, the introduction of balancing criteria allow the elaboration of an adaptable product to the industrial context diversity. The automatic generation system is realized around a specific inference engine so as to limit the combined explosion by associating several rules under an alone constraint of precedence
49
Bishani, Bassam. "Contribution à la génération automatique des gammes d'usinage en perçage." Lyon, INSA, 1998. http://www.theses.fr/1998ISAL0083.
Full textAbstract:
Notre travail est une contribution aux études sur la génération automatique des gammes de perçage des pièces en mécanique. L'exécution de différents types de trous est envisagée par l'emploi d'outils procédant par coupe (à l'exclusion de procédés tels que poinçonnage, électroérosion laser, etc. ). L'objectif principal de notre travail a été de développer une méthodologie spécifique aux opérations de réalisation de trous dotés d'attributs divers (lisses, étagés, filetés…), à l'aval d'un modeleur volumique par entités. Après une étude bibliographique sur la conception et la fabrication intégrées en mécanique et sur l'état de l'art du domaine des gammes d’usinage, nous avons retenu une approche de type générative. Chaque pièce étudiée déclenche un processus d1analyse général. Les règles de production sont manipulées jusqu’ à ce qu’une gamme fiable et optimale soit obtenue. Nous avons établi une représentation des connaissances sous forme de règles de production afin de pouvoir définir le séquencement des opérations et l'utilisation de divers outils de coupe en fonction des formes, des localisations, des dimensions et des états de surface à obtenir. Notre contribution aborde aussi les aspects liés à l'optimisation, d'une part par réduction des déplacements assurant te positionnement, et d'autre part par réduction des temps de changement d outil. La succession des opérations est établie en fonction de la morphologie de la pièce du nombre et de la diversité des trous et de la mise en position dans le système de référence (plan de posage) retenuOur work is a contribution on the automatic generation of process planning studies, for prismatic machined parts. Realising of different types of holes is considered by using cutting tools (punching, laser, etc. . . ). The main objective has been to develop a specific methodology of operation for machining a different type of holes (smooth, multi-diameter,. . . ) by using a volumic solid modeler. After a bibliographic study on Computer-Aided Design (CAD), Computer-Aided Manufacturing (CAM) and Computer Aided Process Planning (CAPP) which is the vital link between design and manufacturing. As a variant CAPP approach cannot cope with the desire for complete manufacturing automatic, the generative approach has been considered, this approach is the logical creation of a process planning from the information available in a manufacturing data base without intervention by the planner. An expert system that encodes machining practice is used to generate drilling sequence. We have established a knowledge-based representation in the form of production rules to define operations sequences and using machine and cutting tools correspond to surface type, dimension tolerance, and roughness. The optimisation of drilling process is studied in detail, where the optimisation signifies minimising the sum of machining travel and set-up times required to perform ail of drilling operations used for producing a different type of holes
50
Almeida, Barbosa Plínio. "Caractérisation et génération automatique de la structuration rythmique du français." Grenoble INPG, 1994. http://www.theses.fr/1994INPG0119.
Full textAbstract:
Une approche ascendante a permis de reveler la structuration macrorythmique de la phrase lue en francais par l'analyse de corpora de parole naturelle enregistres par un locuteur. L'emergence de cette structure a ete possible grace a un double concours. D'abord, celui du perceptual-center, point d'ancrage acoustique singulier, au voisinage de l'onset de la voyelle: ce paradigme theorique a permis de definir le groupe inter-perceptual-center (gipc), dans lequel les realisations phonemiques s'allongent ou se retrecissent de facon relativement homogene. Ensuite, celui du z-score, duree normalisee qui est calculee pour chaque gipc de la phrase. Ces deux notions ont permis de degager un groupe accentuel qui ralentit des son debut jusqu'a la realisation de l'accent. La force de celui-ci tend a etre proportionnelle a la force du lien syntagmatique qui unit ce groupe accentuel au suivant. Cette structure est generee dynamiquement par un reseau connexionniste, permettant ainsi de conserver la structure rythmique comme mouvement dirige vers un but. Ce mouvement est cadence par une horloge interne, hypothese de travail qui assure le maintien de la tendance a l'isochronisme. Ensuite, un modele de repartition permet de distribuer la duree du gipc entre ses elements phonemiques. Ces deux etapes constituent un modele de generation de la duree segmentale qui peut etre integre dans un systeme de synthese de la parole. Le choix du z-score pour caracteriser la duree du gipc a permis d'integrer au modele de generation l'emergence de la pause au niveau de la substance de l'expression. Cette generation est structuree et tend a conserver la composante macrorythmique de la parole