Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Rouissage – Conception assistée par ordinateur.
Dissertationen zum Thema „Rouissage – Conception assistée par ordinateur“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Rouissage – Conception assistée par ordinateur" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
1
Convard, Thomas. „Conception assistée par ordinateur en environnement immersif“. Paris 11, 2005. http://www.theses.fr/2005PA112249.
Der volle Inhalt der QuelleAnnotation:
Cette thèse traite de l'utilisation des environnements immersifs de Réalité Virtuelle (RV) pour la Conception Assistée par Ordinateur (CAO). Nous étudions comment ces nouvelles interfaces entre l'homme et les systèmes informatiques peuvent améliorer les différentes tâches de conception de formes géométriques qui sont actuellement réalisées sur station de travail avec écran, clavier, souris et ne proposant qu'une interface graphique. Or ce type d'interaction ne tire pas profit des possibilités de la RV en terme d'interaction directe et 3d. De plus, les objets de CAO n'offrent pas de moyens pour modifier leur forme à partir de ce type d'interaction. Nous présentons une approche d'objets réactifs, permettant de changer la valeur des paramètres d'opérations dans le graphe d'historique de construction d'un solide, à partir d'interaction directe de l'utilisateur sur des éléments (sommet, arête, face) du B-Rep de ce solide. Nous utilisons à ce propos un système d'inférence qui décide quels vont être les paramètres modifiés à partir de l'élément sélectionné, et comment vont être interprétées les manipulations de l'utilisateur en tant que variations numériques des paramètres. Ces inférences se fondent sur des jeux de règles basées sur des informations de constructions rattachées aux éléments du B-Rep. Ce modèle d'objet réactif a été implémenté dans un prototype permettant la création et la modification des objets CAO de manière intuitive dans un environnement immersif et multimodal. Nous proposons aussi dans cette thèse une méthode de détection de collision dédiée à l'interaction immersive, ainsi qu'un système de rendu graphique sur grappe de PC adapté aux objets déformablesThis thesis discuss of the use of immersive environments of Virtual Reality (VR) for Computer Aided Design (CAD). We study how these new interfaces between man and information systems can improve the different tasks of geometric shape design that are actually done on workstation with screen. These workstations essentially use keyboard, mouse and graphical interface. However this kind of interaction does not take advantage of VR possibilities in term of direct 3d interaction. In addition, CAD objects does not allow ways to modify there shape with a direct and 3d interaction. We present an approach of reactive objects that allows changing the value of operations parameters in the construction history graph of the solid, from direct interaction of the user on the elements (vertex, edge, face) of the B-Rep of the solid. To this purpose, we use an inference system that decides what parameters to modify knowing the selected element, and how to map the manipulations of the user to numerical changes of the parameters. These inferences are based on sets of rules dealing with construction information attached to the elements of B-Rep. This model of reactive objects has been implemented in a software prototype allowing creation and modification of CAD objects in an intuitive way. The interface proposed is a multimodal and immersive environment. We also propose in this thesis a method for collision detection dedicated to immersive interaction and a graphic rendering system on PC cluster adapted to deformable objects
2
Touir, Maatallah. „Conception des canaux assistée par ordinateur CCAO“. Master's thesis, Université Laval, 1996. http://hdl.handle.net/20.500.11794/28418.
Der volle Inhalt der Quelle
3
Seignole, Jean-François. „Conception assistée par ordinateur de liaisons par fibres optiques“. Limoges, 1991. http://www.theses.fr/1991LIMO0115.
Der volle Inhalt der QuelleAnnotation:
L'objet de l'etude est la prevision du budget des liaisons numeriques par fibres optiques. Il s'agit d'un probleme complexe et la realisation d'un outil informatique s'est averee necessaire. Les aspects importants du calcul sont: la reponse temporelle des fibres, la dispersion chromatique et l'interference intersymbole, le calcul du taux d'erreur. L'accent est porte sur la prise en compte des effets modaux des liaisons multimodes. Le logiciel tient compte des sources de couplage modal distribuees (micro-courbures) et discretes (connectique). Le logiciel, qui est adapte aux differents types de liaisons monomodes ou multimodes sur fibres de silice ou fibres plastiques, gere une base de donnees ouverte sur les composants actifs et passifs et sur le sous-systemes des liaisons optiques
4
Delchambre, Alain. „Conception assistée par ordinateur de gammes opératoires d'assemblage“. Doctoral thesis, Universite Libre de Bruxelles, 1990. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/213146.
Der volle Inhalt der Quelle
5
Tayyar, Ahmad. „Une méthode de géodésie assistée par ordinateur“. Mulhouse, 1991. http://www.theses.fr/1991MULH0199.
Der volle Inhalt der QuelleAnnotation:
L'objet de ce travail est de présenter une approche numérique pour tracer le plus court chemin entre deux points fixes sur une surface plongée dans l'espace euclidien. Classiquement, le problème est ramené à la résolution numérique d'un système différentiel du second ordre avec conditions aux limites. Cette méthode n'est valable que si la surface est régulière et la métrique correspondante est à variation lente. De plus, on ne connaît guère de méthode crédible si la surface présente des singularités ou des obstacles. La méthode numérique présentée ici, est basée sur des variations aléatoires. On considère une courbe discrète initiale située sur la surface et passant par les deux points fixes, on modifie les positions de ces points en choisissant des directions au hasard, tout en minimisant l'énergie. La répétition de cette procédure nous permet d'obtenir une bonne approximation de la courbe réalisant le plus court chemin. L'étude est principalement expérimentale, un algorithme est mis au point. Il est testé dans de nombreux cas ou les géodésiques sont connues en comparant les résultats à ceux donnés par l'intégration du système différentiel d'Euler-Lagrange. L'usage de cet algorithme est étendu aux cas des métriques sensibles aux variations de la vitesse initiale et à des surfaces présentant des obstacles
6
Laporte, Pierre. „Conception assistée par ordinateur en automatique : un logiciel d'identification“. Grenoble INPG, 1985. http://www.theses.fr/1985INPG0135.
Der volle Inhalt der QuelleAnnotation:
On decrit les logiciels qui permettent de realiser de maniere interactive toutes les phases de conception d'une commande: simulation, modelisation, identification, synthese du regulateur. Les differents logiciels diffuses dans le monde sont ensuite compares. On propose ensuite la realisation d'un logiciel d'identification rassemblant dans une approche c. A. O. Les methodes les plus performantes d'identification des modeles decrits sous forme de transfert, et son insertion dans le systeme cao sirena. On conclue sur les developpements attendus de ces logiciels de cao avec l'introduction des techniques de l'intelligence artificielle
7
Béziat, Pascal. „Modélisation des solutions technologiques en conception assistée par ordinateur“. Metz, 1995. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1995/Beziat.Pascal.SMZ9503.pdf.
Der volle Inhalt der QuelleAnnotation:
Les systèmes de conception et fabrication assistées par ordinateur constituent des outils incontournables dans le domaine de la mécanique. Toutefois, ces systèmes restent limités et ne couvrent que partiellement le processus de conception. L'étude réalisée dans ce mémoire propose le principe de modélisation des solutions technologiques par un modèle de spécification des surfaces fonctionnelles. Ce principe représente la clé de voute d'une modélisation du processus de la conception qui passe par l'expression des contraintes d'ingénierie, l'intégration du caractère itératif de la conception et une modélisation multi-modèlesCAD/CAM systems represent important tools in mechanical domain. However, these systems remain limited and partially cover design process. This study proposes the principle of technological solution modelization thru a model for functional surfaces specification. This principle permits to express engineering constraints ; it integrates the iterative nature of design and allows a multi models modelization
8
Patry, Guillaume. „Contribution à la conception du dialogue homme-machine dans les applications graphiques interactives de conception technique : le système GIPSE“. Poitiers, 1999. http://www.theses.fr/1999POIT2277.
Der volle Inhalt der QuelleAnnotation:
Les interfaces homme-machine des applications a vocation professionnelle sont en general beaucoup plus difficiles a maitriser que celles des applications destinees au grand public. Les premieres privilegient la puissance quant les secondes se restreignent aux comportements stereotypes et aux fonctions dont on peut rendre l'usage intuitif. Le but de cette these est de montrer la possibilite d'integrer dans l'interface des applications professionnelles les avancees ergonomiques recentes des applications grand public. Nous nous sommes interesse au cas particulier des applications graphiques interactives de conception technique. A partir d'un systeme de gestion de dialogue adapte a l'expression des contraintes structurees et des fonctions multi-objets qui apparaissent necessaires dans notre domaine d'etude, nous avons successivement etudie l'integration de trois elements ergonomiques essentiels. L'adjonction d'un mecanisme d'echo a plusieurs niveaux permet d'offrir a l'utilisateur une representation complete de l'etat du systeme, quel que soit le nombre de taches et sous-taches entrant en jeu. L'utilisation de la manipulation directe en complement des formes pre-existantes de dialogue structure autorise l'utilisateur a employer la strategie de dialogue qui lui semble la plus efficace pour realiser une tache donnee. Enfin, la possibilite pour l'utilisateur de creer de nouvelles fonctions de facon simple permet une adaptation du systeme a ses besoins et habitudes.
9
Bishani, Leila. „Méthodologie de conception et intégration de contraintes géométriques en conception mécanique assistée par ordinateur“. Lyon, INSA, 1998. http://www.theses.fr/1998ISAL0111.
Der volle Inhalt der QuelleAnnotation:
La conception en mécanique utilise de nos jours l'assistance de l'ordinateur pour optimiser le temps, le coût et les performances du produit à fabriquer. Cette étude traite du problème de conception mécanique en général, mais à partir de cas concrets étudiés. La bibliographie montre qu'en effet un espace assez grand sépare les idées générales souvent théoriques, des aspects concrets de la conception mécanique. Plus particulièrement, quatre projets de conception de transmission de puissance, soit par engrenage, soit par courroie, ont été considérés. Les projets ont été développés dans l'environnement CATIA. Les conditions et contraintes relatives à une bonne évaluation du comportement ont ainsi été extraites. La troisième partie de cette thèse a consisté à extrapoler les résulats et méthodes acquises, à un cas industriel de conception de boîtier de perçage à têtes multiples. Toujours dans l'environnement CATIA, des solutions ont été proposées en respectant un grand nombre de conditions géométriques. En résumé, l'observation et la réalisation de cas mécaniques significatifs ont permis de réduire la distance entre l'application et théorie, les cas traités ont été présentés afin qu'ils puissent servir aussi dans le cadre du réseau PrimécaActually Mechanical design use a computer Aided to optimise the time, the cost and performance of product for manufacturing. This study treats the problem of Mechanical design in general, but based on a concrete case already studied. The bibliography shows that indeed a space enough separates the general ideas of theoretical of the concrete aspects of the mechanical design. More particularly, four design projects of power transmission by Gear or bet has been considered. Projects have been developed in the environment CATIA, the conditions and the behaviour has been also extracted. The third part of this thesis is consisted to extrapolate the result and the method acquired to an industrial case of drilling moult-head gear box/design. Always in CATIA environrnent, many solutions have been proposed by repressing a large number of geometrical conditions. In summary, the observation and the realisation of significant mechanical cases have allowed to reduce the distance a between the application and the theory. The treated cases have been presented in order to that could serve also in the framework of the Primeca
10
Kuo-Peng, Patrick. „Conception assistée par ordinateur des convertisseurs à résonance série non réversibles“. Toulouse, INPT, 1993. http://www.theses.fr/1993INPT086H.
Der volle Inhalt der QuelleAnnotation:
Cette these traite de la modelisation en regime permanent et du dimensionnement du convertisseur a resonance serie non reversible fonctionnant en mode thyristor et en mode thyristor-dual. Ce convertisseur peut etre muni de ses circuits d'aide a la commutation sur l'onduleur et sur le redresseur. L'auteur definit d'abord les differentes notations et la methode d'etude utilisees dans le memoire. Cette methode d'etude, basee sur la representation dans le plan de phase du fonctionnement du convertisseur, permet une caracterisation complete de ce dernier: caracteristiques statiques de sortie a frequence constante, courant crete dans les interrupteurs, etc. . . La connaissance de ces caracteristiques est indispensable pour aborder le dimensionnement du convertisseur. L'ensemble de ces travaux est rassemble dans un logiciel permettant de tracer les caracteristiques statiques et de dimensionner a partir d'un cahier des charges le convertisseur etudie. Ce logiciel est egalement capable de calculer a partir de l'etude dans le plan de phase, les valeurs initiales des variables d'etats lors d'une simulation numerique. Ceci permet d'acceder directement aux formes d'ondes du convertisseur en regime permanent
11
Puspita, Gina. „Conception assistée par ordinateur de poutres composites : application aux pales d'hélicoptères“. Toulouse, ENSAE, 1993. http://www.theses.fr/1993ESAE0018.
Der volle Inhalt der QuelleAnnotation:
L’étude réalisée est relative aux poutres composites composées de matériaux orthotropes dont un axe d'orthotropie est perpendiculaire à la section droite. Dans une première partie une méthode analytique est proposée pour l'étude des sections droites simples ou minces. Dans une deuxième partie une méthode d'analyse pour des sections complexes est développée. À partir de cette méthode, un logiciel de CPAO (Conception de Poutres Composites Assistée par Ordinateur) est proposé. Ce logiciel comporte un mailleur automatique, un programme de résolution utilisant la méthode des éléments finis et un post-processeur. Dans une troisième partie une étude d'optimisation de la forme de sections droite est réalisée. Une méthode de calcul des dérivées sans changement de la forme du maillage permet une convergence rapide.
12
DJebbar, F. Zohra Widad. „Étude d'un interpréteur-compilateur Forth pour la conception assistée par ordinateur“. Paris 11, 1986. http://www.theses.fr/1986PA112296.
Der volle Inhalt der QuelleAnnotation:
Nous avons étudié l'intérêt des mécanismes du langage forth ainsi que la possibilité de réaliser un interpréteur perforant à l'exécution. Celui-ci a été implémenté sur un machine à base de microprocesseur mc68000, doté d'un système d'exploitation de type unix, asterix (système temps réel, développé au cea). Cette réalisation a conduit au développement de deux versions: la premiere version est écrite totalement en langage c, ce qui la rend portable sur une grande variété de microprocesseurs. Mais des mesures de performances ont mis en évidence des temps d'exécution très lents, ce qui a conduit au développement d'une deuxième version optimisée. La deuxième version consiste en la compilation des mots de base du langage forth les plus couramment utilisés dans les fonctions de l'utilisateur. Cela a permis d'avoir un interpréteur assez performant avec une vitesse d'exécution proche de celle de notre compilateur c
13
Rigal, Jean-François. „Analyse et modélisation des systèmes mécaniques en conception assistée par ordinateur“. Lyon, INSA, 1989. http://www.theses.fr/1989ISAL0095.
Der volle Inhalt der QuelleAnnotation:
Une boîte de transmission par engrenages constitue un système mécanique avec un grand nombre de pièces. On sait que la méthode des Éléments Finis (E. F. ) ne peut analyser que des sous- ensembles réduits de pièces. Ainsi. Les distributions de charges obtenues sur ces sous - ensembles, peuvent être éloignées de la réalité car les systèmes mécaniques sont de plus en plus légers et déformables, et les interactions des pièces sont grandes. D'un autre côté, la réalisation de prototypes et d'essais suppose des investissements et des temps qui ne peuvent plus être justifiés en conception de produit. Alors des outils de calculs nouveaux spécifiques à la C. A. O. En mécanique doivent être développés. Une approche de modélisation est proposée pour les systèmes mécaniques. Des éléments simples de structure sont utilisés avec des matrices de rigidités explicites. Les déplacements cinématiques et les conditions de transmission de charges sont aussi considérés. La qualification du logiciel a été faite en comparant des résultats de calculs avec des résultats d'expérimentation pour une Boite de Transmission de Puissance complète (BTP). Par la suite, une présentation synthétique de l'analyse d'une BTP hélicoptère permet d'introduire la notion de coefficients d'influence d'un système mécanique. Elle permet de quantifier l'influence d'éléments mécaniques éloignés d'une zone d'étude et de montrer que les interactions de comportement sont primordiales dans les résultats. Enfin, une étude 3D des distributions de charge dans un roulement à rotule de satellite de réducteur épicycloïdal, montre l'influence des déformations de volume du satellite et l'interaction avec les conditions cinématiques imposées par les surfaces de dentures. Les résultats théoriques ont ainsi permis d'apporter des réponses sur l'apparition de dégradation de paliers à roulement.
14
Enjalbert, Gérard. „Développement d'un outil de conception assistée par ordinateur : le logiciel circuit“. Grenoble INPG, 1989. http://www.theses.fr/1989INPG0095.
Der volle Inhalt der QuelleAnnotation:
Le but de ce travail est le développement d'un logiciel de CAO orienté vers l'étude de structures de convertisseurs statiques associés à leur environnement. Après une description complète du logiciel, tant sous l'aspect convivial que théorique, nous présentons un ensemble de modifications apportés au post-processeur afin de permettre à l'utilisateur d'étudier les grandeurs électriques qui l'intéresse (courants, tensions simples et composées, analyse harmonique, puissance, valeurs moyennes et efficaces. ,. ) L'implantation de la commande en Modulation de Largeur d'Impulsions met en évidence l'influence des limitations pratiques introduites dans la commande des interrupteurs. L'intégration de boucles de régulation ainsi que sa validation par la comparaison entre la simulation et un montage expérimental complète l'éventail des fonctions disponibles en permettant au logiciel de simuler le comportement d'un convertisseur dans un environnement
15
Ghazal, Ayman. „Programme d'aide à la conception et au dimensionnement de plaques stratifiées et sandwiches“. Lyon 1, 1990. http://www.theses.fr/1990LYO10215.
Der volle Inhalt der QuelleAnnotation:
Nous presentons un programme specialise qui permet le dimensionnement d'une structure composite par des reanalyses rapides en modifiant les parametres importants de la conception (materiaux, appuis, chargements). Le programme fead-lasp (finite element aided design for laminated and sandwich plates) a les caracteristiques suivantes: facilite d'utilisation (menus deroulants); rapidite de traitement (tout s'effectue en memoire centrale); portabilite sur les systemes (ibm/pc, macintosh, station de travail apollo) et enfin representation graphique de tous traitements et resultats. Il est limite a une geometrie rectangulaire et un maillage predefini, mais il prend en consideration le cas general de chargements et de conditions d'appuis; les proprietes materielles sont egalement tres generales; elles prennent en compte les rigidites en membrane, en flexion, en couplage et en cisaillement. On a utilise des elements finis de plaque epaisse avec cisaillement transverse (brique a 16 nuds modifiee, avec un materiau equivalent reproduisant les proprietes du stratifie ou du sandwich). La formation et l'assemblage des matrices de rigidite se font par une methode beaucoup plus rapide par rapport a la methode classique grace a l'utilisation d'une matrice de rigidite prestockee, non-dimensionnee et precalculee. Plusieurs micro-ordinateurs et stations de travail ont ete utilises pour terter la partie numerique de ce programme: on a trouve que les micro-ordinateurs personnels les plus repandus, tels que macintosh ii et ibm pc/at avec coprocesseur arithmetique, ainsi que des stations de travail d'entree de gamme, comme apollo dn/300-4000, sont convenables et donnent seulement quelques minutes pour la premiere analyse et quelques secondes pour les reanalyses. De plus, une mise en donnees interactive a ete developpee; elle permet l'utilisation facile du programme sans connaissance prealable des methodes employees
16
Remondini, Laurent. „Un module d'analyse de structures mécaniques pour la conception intégrée“. Grenoble INPG, 1995. http://www.theses.fr/1995INPG0187.
Der volle Inhalt der QuelleAnnotation:
Au cours du processus de conception, diverses méthodes d'analyse de structures sont employées pour modéliser le comportement mécanique d'une pièce ou d'un assemblage. Les modèles mécaniques utilisés s'appuient alors sur des représentations géométriques qui varient au cours des différentes phases de la conception. En outre, les acteurs participant au dimensionnement du produit ne disposent pas, à l'heure actuelle, d'outil permettant l'intégration de l'analyse dans le processus de conception. Les travaux présentés ici consistent à définir un tel outil. En premier lieu, la spécification d'un modèle de données pour l'analyse, basée sur une approche par entités, a abouti à la définition d'un ensemble d'entités génériques et d'opérateurs participant à la construction d'un modèle d'analyse mécanique. Un module d'analyse des structures a été développé selon une approche orientée objets en respectant, pour chaque entité et chaque opérateur, un découpage des informations géométriques et mécaniques. L'architecture distribuée ainsi obtenue permet alors la mise en œuvre de l'analyse des structures mécaniques à n'importe quelle étape du processus de conception et de façon indépendante de toute méthode de résolution employée. Le module d'analyse mis en place s'inscrit dans la définition d'un système intégré d'aide à la conception
17
Harchani, Noursaïd. „Etude d'une méthodologie de conception descendante des microsystèmes : conception d'un microsystème pour la surveillance des contraintes mécaniques en aéronautique“. Toulouse, INPT, 2000. http://www.theses.fr/2000INPT054H.
Der volle Inhalt der QuelleAnnotation:
Le concept des microsystèmes est né il y a une dizaine d'années. Fondé sur les technologies de la microélectronique, il a donné lieu à d'importants travaux pour élargir la capacité technologique d'intégration des systèmes et a été illustré par de nombreuses propositions de prototypes. Cet effort s'ouvre sur des développements industriels et impose une réflexion sur l'Ingénierie de Conception. L'objectif de notre travail est de contribuer à la mise en place d'une méthodologie globale et à l'identification d'outils pour l'ingénierie de conception des microsystèmes. La cohérence d'ensemble de la proposition est proritaire dans une démarche qui associe des outils du commerce et quelques contributions plus personnelles. Cette démarche est, au niveau technique, descendante, des spécifications générales au prototypage virtuel. Elle s'insère dans une démarche applicative de conduite de Projet. Elle s'efforce d'interfacer les disciplines techniques concernées avec un souci constant d'y associer les évaluations technico-économiques indispensables. Cette originalité se retrouve dans la structuration proposée du travail de conception reliée à une base de données unique pour toutes les étapes de spécification, conception architecturale, conception matérielle, prototypage virtuel,. . . Cette méthodologie sera mise en oeuvre pour la conception d'un microsystème réel : le D. E. C. (Dispositif d'Enregistrement des Contraintes). Il comporte des capteurs (accélération, température, environnement, électromagnétique), un ensemble électronique de traitement du signal et une interface de communnication RF. La spécification lui confère des performances intéressantes sur la sûreté de fonctionnement et l'auto-test par la présence d'une fonction spécifique de supervision. La finalité est la surveillance et l'enregistrement des contraintes thermiques et vibrations dans les grandes structures aéronautiques. Nous en validons la conception par simulations VHDL-AMS et en réalisons une première maquette en technologie d'assemblage CMS.
18
Travert, Aurélien. „Application des représentations volumétriques aux offsets complexes de surfaces“. Rouen, INSA, 2006. http://www.theses.fr/2006ISAM0011.
Der volle Inhalt der Quelle
19
Leinen, Sandrine. „Une nouvelle approche pour la modélisation et la gestion des contraintes en CAO“. Metz, 1997. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1997/Leinen.Sandrine.SMZ9741.pdf.
Der volle Inhalt der QuelleAnnotation:
Le savoir-faire des logiciels de CAO (conception assistée par ordinateur) ainsi que les techniques d'IA (intelligence artificielle) sont souvent associés à la résolution de problèmes dans des domaines nombreux et variés. De nos jours, il est demandé à tout logiciel de CAO de fournir à l'utilisateur une réelle assistance et d'être capable de réaliser des raisonnements. Nous présentons les principales fonctionnalités requises par les systèmes de CAO actuels ainsi que les méthodes de mise en œuvre possibles. La présentation de problèmes contraints dans des domaines variés montre que leur résolution peut se faire par des logiciels de CAO. On évoquera en particulier les problèmes de conception de pièces mécaniques, d'ordonnancement de taches ou encore d'aménagement spatial. Tout d'abord, nous nous intéressons à la gestion des contraintes géométriques et topologiques lors de la conception de pièces mécaniques et plus particulièrement à l'étude de la comparaison de modèles de CAO par normalisation de graphes. Cette comparaison permet lors de la conception, la réutilisation en totalité ou en partie de pièces existantes et issues de bibliothèques. Deux méthodes (l'une algorithmique, l'autre utilisant le formalisme csp) sont présentées et permettent la comparaison de modèles de CAO par normalisation de graphes. Nous nous intéressons ensuite à un type plus particulier de contraintes : les contraintes fonctionnelles. Un problème particulier d'aménagement spatial est considéré : la conception de cuisines intégrées. Les méthodes de modélisation mises en œuvre sont ensuite présentées ainsi que deux méthodes de résolutionExpertise of CAD (computer aided design) software and AI (artificial intelligence) techniques are often associated for problems resolution in many domains. Nowadays, CAD software must give the user real assistance and be able to reason. Here, we present the most important CAD system functionalities and possible used methods. Constraint problems presentation in various domains shows that their resolution can be achieved by CAD software. We will particularly discuss problems of mechanical component design, task scheduling or space planning. First we are interested in geometric and topologic constraints management during mechanical part design and more particularly in comparison of CAD models with graph normalization. This comparison allows during design, the re-use in full or in part of existing parts or extracted parts from libraries. Two methods (one algorithmic, the other using CSP formalism) are presented and allow comparison of CAD models by graph normalization. After, we are interrested in a more particular constraint type : functional constraints. A special space planning problem is considered : integreted kitchen design. Modelling and resolution methods are presented
20
Poinsignon, Catherine. „Contribution à l'analyse et à la réalisation d'un système de CAO à base de caractéristiques de forme“. Metz, 1997. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1997/Poinsignon.Catherine.SMZ9747.pdf.
Der volle Inhalt der QuelleAnnotation:
La modélisation représente une partie très importante des systèmes de conception et fabrication assistées par ordinateur. Les travaux présentés dans ce mémoire s'inscrivent dans la cadre de la modélisation produit et consistent plus précisément à proposer un système de conception basé sur les caractéristiques de forme. Le système propose remplit deux fonctions principales : - l'insertion de caractéristiques dans la pièce en cours de conception et leur maintenance pendant toute l'évolution du produit (modification, suppression) ; - la création par l'opérateur de nouvelles caractéristiques génériques et leur insertion dans la bibliothèque de caractéristiques de forme. Une structure de données permettant de modéliser les caractéristiques de forme est tout d'abord présentée. Puis une méthode de gestion des modifications dans le modèle de conception, qui évite de réévaluer tout l'historique de construction de la scène, est proposée. Enfin, des outils interactifs et conviviaux permettent à l'utilisateur d'intégrer de nouvelles caractéristiques au logiciel. Une dernière partie est consacrée à la mise en œuvre informatique des propositionsModelling represents a large part of CAD/CAM systems. The work presented in this thesis is concerned with product modelling and consists in proposing a form feature-based design system. This system has main functions : features insertion in the designed part and their management all along the product evolution (modification, removal. . . ) ; creation of user-defined generic features and their insertion in the form feature library. A data structure able to model form features is presented first. Then a modification management method in the design model is proposed ; it avoids re-evaluating the whole design history. Finally, interactive and convivial tools allow the user to integrate new features into the software. The last part is concerned with the computer implementation of these proposals
21
Pallez, Denis. „Une nouvelle approche fonctionnelle pour une assistance géometrique pendant les premières phases de conception de produits“. Metz, 2000. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/2000/Pallez.Denis.SMZ0003.pdf.
Der volle Inhalt der QuelleAnnotation:
Ce mémoire est relatif à la conception assistée par ordinateur et plus particulièrement à la conception fonctionnelle de produits manufacturiers. Notre objectif est de proposer une méthode informatique permettant de construire le plus automatiquement possible la forme d'un produit à partir de ses spécifications (ses fonctions). Le premier chapitre s'intéresse aux outils et aux méthodes, informatiques ou manuelles, d'assistance à la conception fonctionnelle (SADT, FAST). Il montre que les spécifications d'un produit s'expriment principalement dans le langage naturel, ce qui rend difficile une quelconque automatisation de la conception a ce niveau. On ressent la nécessité de définir un modèle intermédiaire facilitant un passage moins brusque entre les fonctions et la forme du produit. Le second chapitre traite de la modélisation géométrique du produit, puisque l'objectif principal est de construire sa forme. Il montre que les systèmes informatiques actuels de CAO ne fournissent pas d'assistance à la synthèse de formes. Nous identifions ensuite différentes approches de synthèse de la forme, des approches qui gèrent des informations d'un plus haut niveau sémantique que les habituelles méthodes associées aux modèles géometriques courants (B-Rep, CSG). Le troisième chapitre propose une méthode permettant de construire automatiquement un ensemble de formes satisfaisant les spécifications du produit à la condition que ces dernières aient été traduites en un modèle dit intermédiaire. La méthode proposant plusieurs solutions, il est nécessaire de définir la notion d'estimation permettant de comparer les solutions entre elles. La comparaison des solutions permet d'appliquer des méthodes d'optimisation pour choisir les meilleures formes. Le quatrième chapitre étaye l'approche en proposant d'une part une maquette informatique et d'autre part une application dans un cadre industriel : la conception assistée de moules de fonderie à partir d'une définition fonctionnelle du moule
22
Gauthier, Patricia. „Conception d'un poste de travail avec base de connaissances pour la CAO en automatique“. Nice, 1989. http://www.theses.fr/1989NICE4327.
Der volle Inhalt der QuelleAnnotation:
Ce mémoire est consacré à une application des techniques d'intelligence artificielle pour la conception et la réalisation d'un poste de travail de CAO intelligent pour l'automatique. Dans un premier temps, nous nous sommes intéressés à l'état de l'art dans ce domaine afin de déterminer nos objectifs. Ceux-ci se résument en trois points essentiels : une interface conviviale, un logiciel de CAO pour l'automatique intégrant des méthodes performantes et pouvant traiter des systèmes très variés, et en dernier lieu une couche intelligente permettant l'aide au choix des méthodes et la supervision des systèmes de commande adaptative. Puis, nous décrivons les fonctionnalités et l'interface homme/machine du logiciel de CAO réalisé. La dernière partie est consacrée essentiellement à l'aspect système de base de connaissance pour l'automatique. Nous présentons tout d'abord le formalisme de représentation des connaissances retenu, puis l'architecture informatique du système à base de connaissances mis en place
23
Potier, Jean-Claude. „Contribution à la notion de programmation par démonstration : conception sur exemple, mise au point et génération de programmes portables de géométrie paramétrée dans le système EBP“. Poitiers, 1995. http://www.theses.fr/1995POIT2299.
Der volle Inhalt der Quelle
24
Perrien, Hervé. „Modèle de structure de données dite application pour un poste de travail de conception de réalisation et d'exploitation d'équipements de production automatisée“. Lille 1, 1989. http://www.theses.fr/1989LIL10050.
Der volle Inhalt der QuelleAnnotation:
Présentation d'un modèle de niveau conceptuel de la structure de données "application enrichie" d'une CAO d'automatismes. Exprimé à l'aide d'un formalisme enrichi à partir de l'outil de modélisation entité-association, ce modèle est illustré et appliqué à un exemple d'équipement de production industriel
25
Al-Hajjar, Jihad. „C. A. O. Et évaluation multicritère : élèments pour l'aide à la conception des fondations de bâtiment“. Lille 1, 1989. http://www.theses.fr/1989LIL10134.
Der volle Inhalt der QuelleAnnotation:
Les systèmes de conception assistée par ordinateur (C. A. O) orientés bâtiment ont pour objectif d'aider le concepteur à maitriser globalement le projet ; pour cela ils doivent être pluri-techniques et intégrer les différents aspects de ce projet autour d'une modélisation commune. Notre objectif est de permettre l'intégration de la conception des fondations dans ces systèmes au même titre que les autres composantes du projet. Nous proposons, dans cette étude, une analyse de la conception du système de fondation en avant-projet depuis la définition de la campagne de sol jusqu'au choix d'une solution compatible avec l'objectif du concepteur. Cette analyse porte essentiellement sur les points suivants : description des différents éléments du projet (sol-superstructure-fondation) par des modèles appropriés, compatibles avec l'état des connaissances à ce niveau, évaluation technique (portance et tassement) et économique des éléments de fondation par des méthodes adaptées au niveau de l'avant-projet, prise en compte de la nature imprécise des paramètres du sol, par l'utilisation d'une méthode de sélection multicritère basée sur la théorie des sous-ensembles flous pour aider au choix du système de fondation. Ces travaux ont été concrétisés par la réalisation d'une maquette informatique.
26
Vidal, Bruno. „Vers un lancer de rayons discret“. Lille 1, 1992. http://www.theses.fr/1992LIL10014.
Der volle Inhalt der QuelleAnnotation:
Le lancer de rayons est une technique fort utilisée en synthèse d'images puisqu'elle permet de générer des images ayant un rendu réaliste. Nous proposons une architecture massivement parallèle basée sur un réseau de processeurs, adaptée à l'algorithme de lancer de rayons. Nous utilisons une approche en «tout discret» dans laquelle à la fois les objets et les rayons sont discrétisés. Nous étudions tout d'abord les techniques d'accélération du lancer de rayons puis nous traitons des problèmes de topologie en 3D puis nous abordons la discrétisation des objets et proposons une méthode pour découper une facette polygonale plane convexe en voxels. Nous traitons ensuite du rendu de la scène et proposons une méthode de diffusion des rayons à partir d'une source lumineuse par subdivisions successives de faisceaux lumineux. Enfin nous faisons une étude des problèmes nouveaux liés à l'intersection entre rayons et surfaces discrets
27
Nickovic, Dejan. „Vérification de propriétés temporisées : théorie et applications“. Grenoble 1, 2008. http://www.theses.fr/2008GRE10185.
Der volle Inhalt der QuelleAnnotation:
Le développement croissant de systèmes embarqués de consommation, où les composants numériques, analogiques et logiciels sont combinés sur une même puce, résulte en une augmentation de la complexité des processus de conception et de vérification. La validation de tels systèmes analogiques et à signaux-mixtes reste largement basée sur des techniques de simulation, qui sont souvent combinées avec des méthodes d'analyse de nature ad-hoc. Cette thèse est motivée par l'exportation de méthodes formelles basées sur des propriétés, vers leur application à la validation de systèmes analogiques et à signaux mixtes, considérés à leur niveaux d'abstraction continu et temporisé. Etant-donné que la vérification formelle de systèmes continus non-triviaux reste très difficile, nous nous tournons vers une méthode de validation plus légère appelée le monitoring basé sur des propriétés. Nous définissons signal temporallogic STL comme langage de spécification de haut niveau qui permet d'exprimer des propriétés temporelles de signaux continus et temporisés. STL est une extension de la logique de temps-réel metric interval temporallogic MITL, où les signaux continus sont transformés en signaux Booléens avec des prédicats numériques, et les relations temporelles entre ces signaux son exprimées avec les opérateurs temporels habituels dont les propositions atomiques correspondent à ces prédicats. Nous développons deux procédures demonitoring, une offline et une incrémantale, qui permettent de vérifier si les traces de simulations sont correctes par rapport aux propriétés STL. Les deux procédures sont implantées en outil de monitoring analogique AMI. Notre approche de monitoring basé sur des propriétés est appliquée, en utilisant AMT, à deux études de cas réalistes, où nous étudions des propriétés d'une mémoire de type FLASH et d'une interface de mémoire DDR2. Nous considérons aussi le problème de vérification formelle de systèmes temporisés, et développons une traduction modulaire des formules MITL avec les opérateurs futurs et passés, vers des automates temporisés. La construction que nous proposons est basée sur les testeurs temporels, une classe spécifique d'automates avec les entrées et les sorties qui réalisent la fonction séquentielle définie par la sémantique des opérateurs MITL. Nous montrons d'abord comment chaque formule MITL peut être exprimée avec six opérateurs basiques (trois opérateurs passés et trois futurs) et nous proposons une construction de testeurs temporels à partir de ces opérateurs. Les testeurs temporels pour des formules MITL arbitraires sont obtenus en composant ces testeurs élémentaires. Finalement, nous développons une procédure pour la synthèse automatique de contrôleurs à partir des spécifications de haut niveau exprimées avec le fragment borné de metric temporallogic (MTL). Nous proposons une traduction des propriétés spécifiées dans cette logique temporisée vers des automates temporisés déterministes, en supposant la variabilité bornée. Ensuite, nous pouvons appliquer à ces automates les algorithmes habituels de synthèse de sûreté pour construire un contrôleur qui satisfait la spécification par constructionThe growth of consumer embedded devices, where digital, analog and software components are often combined together on a single chip, results in an increase of complexity of the design and verification processes. The validation of such analog and mixed-signal systems largely relies on simulation-based techniques combined with often ad-hoc analysis methods. This thesis is motivated by exportation of property-based formai techniques to the validation of analog and mixed-signal systems, at their continuous and timed levels of abstraction. Since the formai verification of non-trivial continuous systems remains very difficult, we resort to a lighter validation technique, that is, property-based monitoring. We define signal temporallogic STL as a high-Ievel specification language that allows expressing temporal properties of continuous and timed signais. STL is as an extension of the realtime metric interval temporallogic MITL, where continuous signais are transformed into Boolean ones using numerical predicates, and the temporal relations between them are expressed using standard real-time temporal operators whose atomic propositions correspond to those predicates. We develop two monitoring procedures, offline and incremental, for checking the correctness of simulation traces with respect to STL properties and implement them into a stand alone analog monitoring tool (AMT). The property¬ based monitoring framework is applied, using the AMT tool, to two real-world case studies, considering properties of a FLASH memory cell and a DDR2 memory interface. We also consider the problem of property-based formai verification of timed systems, and develop a modular translation from MITL formulae with past and future operators to timed automata. The construction that we propose is based on temporal testers, a special class of input/output timed automata that realize the sequential functions defined by the semantics of MITL operators. We first show how every MITL formula can be expressed using six basic temporal operators (three for past and three for future) and show how to build a temporal tester for each of these operators. Temporal testers for arbitrary MITL formulae are obtained by composing these elementary testers. Finally, we develop a procedure for automatic synthesis of controllers from high-Ievel specifications expressed in the bounded fragment of metric temporallogic (MTL). We propose a translation from properties specified in this real-time logic and under bounded variability assumption, into deterministic timed automata to which we apply safety synthesis algorithms to build a controller that satisfies the specification by construction
28
Darlet, Ludovic. „Système de visualisation scientifique assistée par ordinateur“. Université Joseph Fourier (Grenoble), 1995. http://www.theses.fr/1995GRE10044.
Der volle Inhalt der QuelleAnnotation:
L'objectif de ce travail est le développement d'un système fonctionnel d'aide à la réalisation de films d'animation de résultats de simulations physiques. Le système VISIMAR permet l'encapsulation de résultats de simulations numériques en un agent capable de calculer la représentation graphique correspondant à chaque instant de son temps local. Un contrôleur est chargé de coordonner les temps locaux des objets dans le temps global de la visualisation en accord avec le script formel écrit par l'utilisateur. L'image finale est calculée par composition pour chaque pas de temps à partir des représentations graphiques des différents objets. Le système VISIMAR permet la description de l'animation par un système de transitions dont les états sont les scènes du film et les transitions les événements qui surviennent en cours de simulation
29
Kuate, Gilbert. „Analyse d'activités de conception : contribution à la tracabilité des intentions de conception dans les modèles CAO“. Besançon, 2006. http://www.theses.fr/2006BESA2032.
Der volle Inhalt der QuelleAnnotation:
La capitalisation de la conception devient un enjeu pour le travail collaboratif dès lors que celui-ci comporte des épisodes individuels. Elle passe par la conservation des traces des raisonnements et intentions de conception. A cet effet, le concepteur individuel a besoin d’être assisté par un système que nous avons appelé système d’intentions de conception. L’idéal d’un tel système a été subdivisé en modules et décrit. Nous nous sommes intéressés particulièrement aux systèmes CAO, que nous voulions comparer à ce système idéal. Pour y arriver, nous avons entrepris d’analyser une séquence de conception à l’aide d’outils CAO. Nous avons adopté la méthode du protocol analysis dans laquelle le concepteur verbalise ses pensées au cours, ou après son travail (Concurrent Think Aloud ou CTA, Retrospective Think Aloud ou RTA). Quatre expériences de conception ont été ainsi réalisées avec la participation de quatre concepteurs différents. L’analyse du CTA nous a permis de mieux comprendre la conception à l’aide d’outil CAO et de proposer un modèle d’activités. Ce modèle comporte six éléments : observation, formalisation des intentions de conception, raisonnement de conception, formalisation des intentions de représentation, raisonnement pour la représentation et action. Les liens entre les éléments sont présents dans le modèle. Une comparaison entre le CTA et le RTA a été ensuite effectuée. Cette comparaison a permis de détecter quelques insuffisances de l’outil CAO, utilisé pour la représentation des intentions de conception. Pour contribuer à pallier à ces insuffisances, nous avons proposé un cadre, qui permet d’attacher les intentions de conception au modèle CAO du produitThe design capitalization becomes a important element for collaborative work since this one comprises individual episodes. It passes by the conservation of the design reasoning and intentions traces. To this end, the individual designer needs to be assisted by a system which we called design intent system. The ideal of such a system was subdivided in modules and described. We were interested particularly to the CAD systems, which we want to compare with this ideal system. To arrive there, we undertook to analyze a design sequence using CAD tools. We adopted the protocol analysis method, where the designer verbalizes his thoughts in the course, or after his work (Concurrent Think Aloud or CTA, Retrospective Think Aloud or RTA). Four design experiments were thus carried out with the participation of four different designers. The CTA analysis enabled us to better understand the design using CAD tools and to propose a activities model. This model have six elements: observation, design intents formalization, design reasoning, representation intents formalization, reasoning for the representation and action. The links between the elements are represented in the model. A comparison between the CTA and the RTA was then carried out. This comparison allowed to detect some insufficiencies of CAD tool, used for the design intents representation. To contribute to mitigate these insufficiencies, we proposed a framework, which allowed to attach the design intents to the product CAD model
30
Destoop, Thierry. „Contribution à la conception assistée par ordinateur de compresseurs à pistons alternatifs“. Lille 1, 1988. http://www.theses.fr/1988LIL10012.
Der volle Inhalt der Quelle
31
Silhadi, Kamal. „Intégration des systèmes experts en conception assistée par ordinateur des bâtiments d'habitation“. Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0083.
Der volle Inhalt der QuelleAnnotation:
L'objectif de cette thèses est de montrer l'intérêt et l'apport des systèmes experts en CAO Bâtiment. La conception est un exercice de nature complexe. Aussi, pour y répondre, il a fallu organiser le processus de conception, compte tenu du fait que l'on ne peut élaborer de solution optimale mais seulement un satisfectum. Dans le cadre de cette problématique, les sysrèmes informatiques d'aide à la conception se révèlent très intéressant. Mais les systèmes accueils de CAO restent limités à des fonctions de représentation et de validation du projet. Ceci permettrait d'améliorer la qualité finale des projets. L'introduction de SE permettrai d'apporter un certain degré d'intelligence aux systèmes de CAO. En particulier, on pourrait améliorer l'interface homme-machine en lui apportant ainsi un caractère déductif. Cette idée fût à l'origine de la création du système X2A SE objet de notre étude. Celui-ci intègre des systèmes experts de deux types : - interface « intelligentes » ou « déductives », - des outils d'évaluation dits intelligents pouvant réaliser des calculs suivant des méthodes empiriques. Ils s'intègrent à un environnement de CAO classique. Mais peuvent aussi être utilisés de manière autonome. Nous nous sommes surtout attachés à développer l'aspect thermique de ces outils[The aim of that thesis is to show the benefits of integrated expert systems in Computer Aided Dwellin Design (CADD) systems. Design is an intricate ill-strcutrure problem. So, because of that complexity, rhe designers organise tehmselves and th design process in oreder to fnd what HA SIMON told the « Satisfectum » : a ssatisficing solution to design problem but not an optimum. But actually the CADD systems are lilited to the representation (calculation, lay outs, …) of the project under design. By integrating expert systems, CADD system will get a king of « intelligence » and will have a better understanding of the users needs. In order to verify that idea, a new CADD system has been built : X2A-SE. It incudes two kinds of expert systems : - deductive on « intelligent » interfaces between designers and classical CADD tools, - heuristic evaluation tools for aproximated calculations. These expert systems have been intregated to a classical CADD system. But they can also work alone out of that system. In our work we have developped the thermal design components of those tolls. ]
32
Guilbert, Laurent. „Contribution à des outils de conception de circuits intégrés“. Lille 1, 1990. http://www.theses.fr/1990LIL10041.
Der volle Inhalt der QuelleAnnotation:
Le travail présenté dans ce document porte sur la réalisation de trois logiciels dans le domaine de la conception assistée par ordinateur de circuits intégrés. L'éditeur graphique généralisé permettant la conception de circuits imprimés, de circuits integrés numériques et de circuits intégrés analogiques. Un vérificateur de garde autorisant la vérification de schémas constitués de segments à angle quelconque. Un extracteur de schémas permettant une extraction fine en vue d'une simulation précise des chemins critiques. Cet ensemble de logiciels, construit autour d'une base de données unique, et une optimisation des algorithmes et structures de données permet de porter nos produits sur des équipements de type micro-ordinateurs
33
Imberdis, Claude. „Conception assistée de structures en bois : détermination des assemblages“. Besançon, 2001. http://www.theses.fr/2001BESA2011.
Der volle Inhalt der QuelleAnnotation:
L'activité de conception d'un produit mécanique fait appel à un grand savoir de la part du concepteur, surtout lorsque son métier est avant tout traditionnel et fondé sur la formation par l'apprentissage, comme c'est le cas pour le charpentier. Or, le matériau bois grâce aux nouvelles techniques de transformation permet d'obtenir des produits de hautes performances mécaniques (lamellé-collé, Kerto). Pouvoir fabriquer des éléments de grandes dimensions donne la possibilité aux architectes d'envisager la construction de bâtiments de plus en plus audacieux. Cependant, si les techniques de calcul des éléments entrant dans la constitution du squelette du bâtiment sont aujourd'hui bien maîtrisées, il n'en est pas de même pour la conception des organes de liaison de ces éléments, les assemblages. Constatant un manque manifeste d'outils informatiques pour aider le charpentier dans sa démarche, nous avons développé un logiciel adapté pour y remédier. . .
34
Dubois, Jean-Luc. „L'abstraction fonctionnelle des parties contrôles des circuits pour l'accélération de simulateurs générés : une contribution au développement d'outils de C.A.O. de l'architecture matérielle“. Lille 1, 1991. http://www.theses.fr/1991LIL10037.
Der volle Inhalt der QuelleAnnotation:
L'accroissement incessant de complexité des circuits nécessite la définition de méthodes et d'outils, en particulier de simulation, toujours plus puissants. La génération de simulateurs, c'est-à-dire la traduction de la description d'un circuit en un programme écrit dans un langage de haut niveau, permet d'ajouter la portabilité à l'avantage majeur des méthodes de compilation qui est l'efficacité. L'inconvénient de cette technique réside dans l'importance de la taille des simulateurs produits et est dû à l'emploi du schéma trop classique de traduction d'un algorithme en un autre. Ce problème est évité grâce à la transformation des parties contrôles de circuits avant la génération. Le modèle résultant est alors constitué d'une partie contrôle essentiellement sous forme de données et d'une partie opérative sous forme algorithme. L'emploi de cette méthode, qui ne dépend pas du langage de description utilisé, permet a la fois la réduction de la taille des simulateurs et l'accélération de leur exécution
35
Tychon, Philippe. „Conception du dessin des circuits intégrés par une approche topologique“. Lille 1, 1985. http://www.theses.fr/1985LIL10012.
Der volle Inhalt der QuelleAnnotation:
Une nouvelle approche du dessin des circuits intégrés est appliquée principalement au problème de l'interconnexion d'un canal séparant des blocs. Tout d'abord, la topologie des connexions est définie à l'aide d'un graphe des régions, le passage des connexions divisant le domaine initial en régions ; l'objectif de la recherche topologique est la minimisation du nombre de contacts et de la surface du canal. L'étape suivante crée à partir de ce graphe un dessin symbolique des connexions en dimensionnant les régions du graphe. Le cas objectif, chaque connexion reliant deux terminaux, et le cas général sont traités. Extension de la méthode ou dessin de cellules MOS.
36
Clemente, Roland. „Modèle d'analyse dédié à la conception intégrée“. Lyon 1, 1999. http://www.theses.fr/1999LYO10348.
Der volle Inhalt der QuelleAnnotation:
Les travaux developpes dans ce memoire ont pour objectifs de montrer les differents avantages de l'integration de plusieurs outils metiers de conception, en l'occurrence l'un de cao et l'autre de calcul, dans un environnement de modelisation commun. Un modele d'analyse qui federe les donnees numeriques d'un produit est propose dans ce contexte. Il se positionne en aval de la cao et en amont du calcul dans le processus de conception. Il prend en compte les aspects technologiques et geometriques d'un modele de cao et les complete par des informations metiers, geometriques ou non, necessaires au calcul. Le modele d'analyse propose une geometrie idealisee et offre a des outils de calcul (mailleur et solveur) les informations utiles pour valider une solution en conception. Il exploite 2 protocoles, le premier est un protocole d'acces aux donnees, l'interoperabilite, expose l'ensemble des informations d'un meme produit, a differents niveaux semantiques, pour chaque logiciel applicatif metier. Le second est un protocole de communication transverse aux modeles de chaque application pour permettre l'associativite des donnees metiers. L'association entre le modele de cao et le modele d'analyse s'effectue au travers d'operateurs d'idealisations. Ils proposent la simplification des formes caracteristiques et la reduction dimensionnelle (fibre moyenne, surface moyenne) d'un modele geometrique d'une piece volumique. Il integre a cet effet une structure de donnees topologique etendue pour stocker et mettre en uvre des entites topologiques a varietes non uniformes. Le modele propose s'insere dans l'architecture logicielle d'un document technique de l'ingenieur dans un environnement multi-representations et multi-metiers.
37
El-Kechaï, Hassina. „Conception collective de scénarios pédagogiques dans un contexte de réingénierie : une approche par la métamodélisation située“. Le Mans, 2008. http://cyberdoc.univ-lemans.fr/theses/2008/2008LEMA1019.pdf.
Der volle Inhalt der QuelleAnnotation:
Mon sujet de thèse s'inscrit dans le contexte de l'ingénierie des Environnements Informatiques pour l'Apprentissage Humain (EIAH) et porte sur la mise en oeuvre d'un processus dédié à la conception collective de scénarios pédagogiques dans un contexte de réingénierie. Ce processus doit pouvoir aider des équipes de conception dont le but est de décrire des situations d'apprentissage qui peuvent être opérationnalisées dans un Environnement Informatique pour l'Apprentissage Humain (EIAH). Nous considérons le processus de conception des scénarios pédagogiques qui décrivent ces situations d'apprentissage comme une construction impliquant des résolutions de problèmes. Ces résolutions de problèmes sont plus ou moins bien définies et donnent lieu à des processus plus ou moins planifiés ou opportunistes. Une des conséquences de ce constat nous a amené à considérer les scénarios et les métamodèles utilisés pour les décrire comme des objets qui parcourent l'activité de conception. C'est sur cette base que le processus que nous avons défini et instrumenté permet de caractériser un ensemble d'artefacts, qui contribuent à l'élaboration de métamodèles et de scénarios en inscrivant leur conception dans une démarche centrée utilisateurs. Cette démarche se caractérise par le fait qu'elle implique les utilisateurs de ces métamodèles et de ces scénarios dans le processus de conceptionThis document presents our work research in the Technology Enhanced Learning (TEL) context. We focused on a specifie model of a TEL system : the pedagogical scenario. The main aim of the work done is to propose and to implement a pedagogical scenarios collective design process in a reengineering context. This process integrates better teachers end trainers in the design process of a TEL systems. We consider the pedagogical design as a problem-solving process with a more or less planified and opportunist situations
38
Prieto, Flavio. „Métrologie assistée par ordinateur : apport des capteurs 3D sans contact“. Lyon, INSA, 1999. http://theses.insa-lyon.fr/publication/1999ISAL0117/these.pdf.
Der volle Inhalt der QuelleAnnotation:
Ce travail de recherche concerne l'inspection automatique de pièces industrielles à partir du modèle CAO de la pièce et de son image 3D obtenue à l'aide d'un capteur laser de haute précision. Tout d'abord nous déterminons et modélisons les différents paramètres qui influencent la précision du capteur laser lors du processus de numérisation d'une pièce. Ce modèle est utilisé pour générer automatiquement une stratégie d'acquisition pour la numérisation complète et précise d'une surface ou d'une pièce complète. La stratégie d'acquisition consiste en la détermination d'un ensemble de points de vue qui définissent la position spatiale et l'orientation exacte du capteur par rapport à la pièce, ainsi que d'autres paramètres du capteur. Le but de la stratégie de numérisation est d'améliorer l'exactitude des mesures de profondeur afin de pouvoir utiliser ce nuage de points 3D dans des tâches de métrologie. Les contraintes imposées au système sont : la connaissance de la position et de l'orientation initiale de la pièce et de son modèle CAO en format IGES. Il n'y a pas de limitations quant à la géométrie de l'objet à inspecter, par conséquent il est possible de contrôler des pièces avec des surfaces simples ou complexes. Le nuage de points issu de la numérisation d'une pièce est recalé avec son modèle CAO et postérieurement segmenté. La segmentation est réalisée par le calcul de la distance minimale du point 3D aux surfaces du modèle CAO et par la comparaison de propriétés géométriques du point 3D avec son homologue appartenant à la surface. Les résultats de la segmentation sont utilisés pour contrôler les tolérances dimensionnelles et géométriques de la pièce. En utilisant le modèle du bruit, nous avons introduit une valeur de dispersion sur chacun des points 3D acquis par le capteur. Cette valeur de dispersion est présentée comme un facteur de pondération dans les résultats de l'inspectionThis work is related with the automatic inspection of manufactured parts by using the CAD model of the part and the cloud of 3D points obtained by the digitization of the part with a range sensor. Initially we determine and model the parameters which influence the accuracy of the range sensor in the digitalization of a part. This model is used to produce automatically a sensing plan in order to acquire completely and precisely the geometry of a surface or of a complete part. A sensing plan consists of a set of viewpoints which defined the exact position and orientation of the camera relative to the part and other digitizatioin parameters. The goal of the sensing plan is to improve the accuracy of the depth measurement in order to be able to use the cloud of 3D points in inspection tasks. The requirements of the system are the exact position and orientation of the part and its CAD model in IGES format. There is no limitation in the geometry of the part to be digitized, hence simple / complex parts can be scanned. After registration between the 3D data and the CAD model, the cloud is segmented. The segmentation is fulfiled by computing the minimal distance from the 3D point to the surfaces (of the CAD model) and comparing some local geometric properties of the 3D point with the closest one on the surfaces. Segementation results are used to check dimensional and geometric tolerances of the part. By using the model of the noise we have introduced a dispersion value on each 3D point acquired by the range sensor. This value of dispersion is presented as a weight factor in the results of the dispersion
39
Aheto, Kouassivi. „Conception et analyse non linéaire des oscillateurs à quartz ultrastables“. Besançon, 1990. http://www.theses.fr/1990BESA2048.
Der volle Inhalt der QuelleAnnotation:
La connaissance de quelques paramètres de l'élément actif (amplificateur), du résonateur à quartz et du circuit, permet aujourd'hui de concevoir à l'aide de programmes, des oscillateurs ultrastables. A l'aide du logiciel CODA (Computer-Aided Design and Analysis) nous avons pu concevoir quelques oscillateurs (Pierce, Colpitts, Colpitts à inversion d'impédance, Butler, oscillateur différentiel, oscillateur à portes). Les mesures de stabilité effectuées sur ces oscillateurs ont permis de montrer que les performances obtenues sont conformes aux prévisions du programme. Nous présentons également quelques méthodes d'analyse non linéaire (méthode des paramètres Y, méthode structurée) que nous avons essentiellement appliquées à un pilote de type Colpitts
40
Jacquemin, Thierry. „Conception d'un système expert pour la création d'un Grafcet : réalisation d'une maquette“. Grenoble INPG, 1988. http://www.theses.fr/1988INPG0021.
Der volle Inhalt der QuelleAnnotation:
Analyse et description de diverses methodes de comprehension de la langue naturelle. Developpement et mise au point d'une methodologie pour la construction automatique d'un grafcet a partir de la comprehension d'un cahier des charges. Un interet particulier est porte sur la representation du parallelisme en grafcet ainsi que sur la facon d'obtenir les etapes initiales
41
Ag, Rhissa Anasser. „La conception assistée par ordinateur appliquée au routage dans les circuits intégrés VLSI“. Paris 11, 1985. http://www.theses.fr/1985PA112299.
Der volle Inhalt der QuelleAnnotation:
Après avoir rappelé le processus de conception d'un circuit intégré VLSI et parlé des outils C. A. O (Conception Assistée par Ordinateur) qui lui sont nécessaires et de leur complexité, nous présentons dans cette thèse deux algorithmes d'interconnexions dans un canal à deux niveaux de technologie. Ces algorithmes utilisent des concepts de Recherche Opérationnelle. En effet, le premier est basé sur l'optimisation par graphes et le deuxième sur l'optimisation stochastique par recuit simulé ("simulated annealing''). Des exemples d'applications (partition, placement et routage global) du "simulated annealing" à la conception physique des systèmes sont aussi décrits. En général, ces méthodes nous ont permis de réduire le nombre de pistes {nécessaires aux interconnexions), par rapport aux algorithmes classiquesAfter recalling the process of the VLSI integrated circuits design and talking about the C. A. D (Computer Aided-Design) tools which are necessary for it and their complexity, we present in this thesis two algorithms of channel routing with two levels of technology. These algorithms use some concepts of operational Research. In fact, the first one is based on graphs optimization and the second on stochastic optimization by simulated annealing. Some applications (partition, placement and global routing) of simulated annealing to the physical design of systems are also described. Generally, these methods have allowed us to reduce the number of tracks (which are necessary for the interconnections) in comparison with the classical ones
42
Buchser, Alain. „Le dialogue homme-machine en conception assistée par ordinateur de circuits intégrés prédiffusés“. Paris 6, 1986. http://www.theses.fr/1986PA066603.
Der volle Inhalt der QuelleAnnotation:
La généralisation de la technique de prédiffusion des circuits intégrés a créé le besoin d'une CAO moins onéreuse, tant pour les constructeurs que pour les laboratoires universitaires ou l'usage des micro-ordinateurs familiaux comme stations de travail s'est trouvé justifié. Ces outils ont été développés en 1980 par l'équipe CAO et VLSI de l'Université Pierre et Marie Curie (UPMC) avec le projet Émilie 2. Une reformulation complète des méthodes de conception a été nécessaire. Le travail présenté est effectué dans le cadre du projet Emilie 2 sur les techniques de stockage et d'exploitation des structures complexes sur microordinateur et la conduite du dialogue homme-machine en conception de circuits. Analyse des fondements du dialogue homme-machine; support du dialogue, représentation des objets, symbolisations, décors ; conduite du dialogue: menus, tabulation. Aspect "sémantique" des comptes rendus du système à la suite d'une action du concepteur. Méthodes de validation: animation de l'image et vérifications sémantiques. Documents précisant des aspects matériels et logiciels du travail.
43
Gal, Stéphan. „Conception assistée de blocs analogiques pour capteurs intelligants“. Montpellier 2, 1998. http://www.theses.fr/1998MON20230.
Der volle Inhalt der QuelleAnnotation:
L'evolution des methodes de fabrication des circuits integres permet aujourd'hui de realiser, de maniere de plus en plus fiable, des micro-capteurs, c'est a dire l'integration sur un ou plusieurs substrats d'un element capteur et d'une electronique de traitement. Cependant, le developpement des outils de cao pour ces micro-capteurs reste en retard sur cette evolution. Ce memoire presente une methode avec son implementation dans un outil informatique : sycom, pour la synthese de l'element interface entre le capteur et l'electronique de traitement d'un micro-capteur. L'outil utilise une description originale d'un montage comme une interconnexion de modules et consiste en deux unites : generateur de schema et generateur de layout. Le premier permettant de determiner un schema electrique et ses dimensions a partir de specifications, le second permettant d'obtenir le layout de ce schema. La mise en oeuvre de l'outil sycom est presentee par la realisation de deux systemes de mesure de variations de resistances.
44
Lasserre, Stéphane. „Un système d'information pour le bâtiment : approche métier“. Aix-Marseille 3, 2003. http://www.theses.fr/2003AIX30045.
Der volle Inhalt der QuelleAnnotation:
Notre travail se situe dans la continuité de nombreux travaux de recherches qui portent sur la gestion des informations relatives à un édifice durant son cycle de vie, c'est-à-dire depuis la conception jusqu'à la réalisation et la maintenance de ce "produit" particulier. L'ambition est de favoriser un développement en ingénierie concourante et d'améliorer le travail collaboratif entre acteurs du projet du construction. Dans ce contexte de production de bâtiment, nous nous intéressons plus particulièrement à la phase d'ingénierie ou de conception avancée qui supporte un grand nombre d'échanges de données. Notre travail se focalise sur la mise en place d'un système de gestion coopérative d'informations accessible depuis le réseau Internet, capable de prendre en compte les spécificités métiers et le rôle des différents acteurs qui prennent part au projet de construction. Nous nous intéressons dans un premier temps aux problèmes de l'accès aux informations du système puis, à l'intégration des contributions de chacun d'entre eux grâce à des outils d'aide à la prescription métiers. Cette thèse a été effectuée dans le cadre d'un financement CIFRE avec l'entreprise Nemetschek FranceOur research project focuses on information management continuity along a building's life cycle. Our proposed solution is to enable partners of a construction project to share all the technical data produced and handled, during the building production process by building an information system through the use of internet technology. The system links distributed databases and allows building partners to access remotely and manage specific information. It provides an updated building representation that is being enriched and refined all along the design process stages. We focus more widely on data access through the help of adaptable interfaces. These interfaces are built dynamically based on a user profile and the current stage of the building's life cycle. Our work has been focused on the building product model. It aims to : ensure data exchange between distant partners, be able to share a common description diagram in a DBMS environment, Manipulate heterogeneous documents (texts, drawings, multimedia files, etc. ) , ensure professional approaches on a specific industrial product, help the users by developing decision support systems
45
Marguet, Benoît. „Contribution à l'analyse des variations géométriques dans les ensembles structuraux en aéronautique : démarche et outils“. Cachan, Ecole normale supérieure, 2001. http://www.theses.fr/2001DENS0022.
Der volle Inhalt der QuelleAnnotation:
"Cette thèse a pour thème la gestion des variations géométriques dans les ensembles aéronautiques. Plus particulièrement l'objectif de ce document est de montrer la faisabilité d'une démarche globale d'analyse permettant de sélectionner les solutions minimisant l'impact des variations géométriques sur les réalisations des fonctions attendues du produit. Cette démarche globale d'amélioration de la montabilité d'un produit est basée sur une sélection des caractéristiques majeures du produit et une analyse de la gamme d'assemblage. Elle s'appuie sur un ensemble structuré d'outils d'analyse faisant appel à une modélisation du produit à plusieurs niveaux. Parmi ces outils, l'analyse fonctionnelle permet à l'utilisateur de définir les exigences fonctionnelles attendues et de les hiérarchiser afin d'identifier et de décomposer à l'intérieur du produit les caractéristiques majeures. Une étude comportemental du produit est ensuite proposée permettant d'étudier l'impact des variations géométriques sur les exigences géométriques en fonction de la gamme d'assemblage choisie. Cette dernière est réalisée en deux temps distincts. Tout d'abord une étude qualitative de l'impact des variations géométriques sur les exigences géométriques du produit a pour objectif d'éliminer rapidement les solutions les moins intéressantes. Une seconde étude quantitative permet ensuite d'identifier et de valider parmi les solutions restantes, la ou les solutions optimales pour le critère étudié. La démarche et les outils d'analyse proposés sont illustrés par un cas d'application provenant de l'industrie aéronautique. Cette illustration permet de montrer en quoi la démarche proposée permet d'étudier de façon globale un problème complexe et ce au plus tôt des phases de conception du produit. ""The subject of this thesis is the management of the geometrical variations for aircraft assemblies. More particularly the goal of this document is to show the feasibility of an integrated method to select the optimal solutions minimizing the impact of the geometrical variations on the product. This global method of assembly improvement is based on a selection of product's Key Characteristics and an analysis of assembly sequences. This method is based on a set of analysis tools. Among these tools, functional analysis allows to the designer to define the expected functional product requirements and to decompose them inside the product tree. A qualitative tolerance analysis is alos proposed. The goal of this analysis is to eliminate quickly all the bad solutions. At least a quantitative tolerance analysis allows to identify and to validate among the remaining solutions, one or several solutions for the studied criterion. This method and the proposed analysis are illustrated by a case study resulting from the aircraft industry. This illustration allows to show in what the proposed method allows to study and evaluate a complex problem based on geometrical variations criteria"
46
Reimeringer, Michael. „Une méthodologie et des outils pour concevoir en tenant compte de la simulation“. Reims, 2009. http://www.theses.fr/2009REIMS001.
Der volle Inhalt der QuelleAnnotation:
Les progrès effectués dans les modèles et les logiciels et la puissance des matériels font de la simulation un outil incontournable de la conception. Il est en effet indéniable que l'utilisation des logiciels de simulation, sous toutes leurs formes, apportent des avantages importants: études de solutions alternatives, optimisation des produits, réduction voire disparition des prototypes physiques, évaluation de modes de fabrication, diminution des coûts et des délais. Si l'on ne peut plus imaginer de conception sans appels fréquents à la simulation, l'intégration des calculs dans le processus de conception ne peut se faire sans définir les étapes et les liaisons entre les différents logiciels. Aujourd'hui cette étape de liaison entre ces différents outils n'est pas ou n'est encore que très partielle et l'aspect méthodologique est très souvent occultéSimulation becomes incontrovertible due to the many advancement made in model, software and material. The use of simulation tools supply many advantages: study of alternative solutions, optimization of product, decrease or disparition of physical prototypes, assessment of manufacturing process, and reduction of cost and delay. Nowadays design is often done without considering subsequent step like simulation. However this step is indispensable
47
Amara, Hocine. „Contribution à la génération de gammes d'usinage : intégration de l'homme et approche multi-agents“. Nantes, 2002. http://www.theses.fr/2002NANT2087.
Der volle Inhalt der QuelleAnnotation:
Notre travail porte sur le développement d'un système de génération de gammes d'usinage assistée par ordinateur. Il s'appuie sur l'analyse et la formalisation du processus de génération de gammes d'usinage. A partir de l'étude des processus intervenant dans la génération des gammes d'usinage, nous avons proposé une architecture basée sur trois modèles : le modèle logique s'appuie sur une description de l'ensemble des éléments de la gamme ainsi que sur les liens (contraintes, règles expertes,. . . ) qui les unissent. Le modèle fonctionnel met en évidence les actions et interactions de l'ensembles des fonctions indispensables à la génération de gammes d'usinage. Finalement le modèle physique présente la mise en oeuvre des modèles foctionnel et logique. Nous avons opté pour une structure distribué, ce choix nous permet d'intégrer l'opérateur humain au sein de la boucle de décision. . .
48
Del, Fabbro Bruno. „Contribution à la gestion des données dans les grilles de calcul à la demande : de la conception à la normalisation“. Besançon, 2005. http://www.theses.fr/2005BESA2065.
Der volle Inhalt der Quelle
49
Poungou, Alix Lubain. „Nanotechnologies et architectures reconfigurables“. Brest, 2007. http://www.theses.fr/2007BRES2016.
Der volle Inhalt der QuelleAnnotation:
L’émergence des nanotechnologies souvent discrètes requière des méthodes particulières pour la conception des circuits intégrés. Une approche de conception dominante des architectures repose sur une structure matricielle à l’échelle nanoscopique. Celle-ci intègre des propriétés de simplicité, de régularité et de tolérance aux fautes pour un support technologique performant. Cette évolution technologique implique la disponibilité d’outils de prospection pour explorer rapidement les topologies architecturales et évaluer leurs performances. Nous avons incorporé des règles de dessin basées sur la conception NASIC dans un outil existant pour synthétiser les nanofabriques. Une automatisation de la production des architectures de traitement s’appuie sur ces règles. Elle montre une rupture de méthodes par rapport à une conception artisanale un petit processeur est illustré avec une considération de calcul d’impacts. Par ailleurs, nous avons défini une architecture reconfigurable s’appuyant sur un composant existant. Celle-ci est outillée d’une capacité de prospection pour caractériser son coût spatialThe evolution of nanotechnologies requires specific methodology for the design of the integrated circuits. A main stream design approach of the architectures is based on the nanoscale matrix structure of the nanowires. This structure must be simple, regular and must have defect tolerance for making the technological supports competitive. The technological evolution requires available prospecting tools to explore architectural topologies quickly and to assess their performances. Layout generation regulations based on the NASIC design have been integrated in an existing tool to synthesize the nanofabrics. Automation of such physical structure generation for nanofabrics is based on the aforementioned rules. It shows a methodological divergence as compared to a manual design a small processor has been presented with a calculation of physical impacts. Moreover, we have also defined a (nano)-reconfigurable architecture based on an existing component. This component is equipped with prospecting capacity to calculate its performance metrics
50
Cartonnet, Yves. „Recherche expérimentale sur les relations entre la vision stéréoscopique et les activités cognitives de conception en bureau d'études mécaniques : préalable à la CAO en relief“. Aix-Marseille 1, 1992. http://www.theses.fr/1992AIX10044.
Der volle Inhalt der QuelleAnnotation:
Ce travail etudie l'influence de deux facteurs croises sur les performances obtenues dans une tache de comprehension du fonctionnement d'un objet technique complexe: un bras de robot d'assemblage. Le premier facteur est le degre de codage du relief qui caracterise la representation de l'objet. Ses modalites sont une photographie en relief, un dessin en perspective axonometrique et un dessin en projection orthogonale. Le second facteur est l'experience professionnelle. Les sujets etaient eleves de seconde, option technologie des systemes automatises, ou dessinateurs professionnels chez renault. Il ressort que le relief permet des scores doubles par rapport a la perspective ou au plan. Et par contre, l'experience ne modifie pas les performances.