Dissertations / Theses on the topic 'Conception de médicaments assistée par ordinateur'

To see the other types of publications on this topic, follow the link: Conception de médicaments assistée par ordinateur.

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Conception de médicaments assistée par ordinateur.'

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

Minoux, Hervé. "Étude et conception assistées par ordinateur d'antagonistes des intégrines de la famille beta 3." Nancy 1, 1998. http://www.theses.fr/1998NAN10260.

Full text
Abstract:
Les intégrines sont des glycoprotéines hétérodimériques responsables de nombreux phénomènes d'adhésion entre cellules et entre cellules et matrice extracellulaire. Leur dysfonctionnement peut engendrer des maladies telles que l'ostéoporose, le développement et la dispersion des tumeurs cancéreuses ou encore les maladies cardio et cérébrovasculaires. En particulier, les intégrines alpha IIb beta 3 et alpha v beta 3 jouent un rôle crucial dans ces différentes maladies. L’inhibition de ces récepteurs apparait donc comme une cible thérapeutique privilégiée pour le développement de nouveaux traitements. La séquence de trois acides aminés Arg-Gly-Asp (RGD) correspond au site de liaison de plusieurs intégrines, et a servi de base à la conception de nombreux inhibiteurs de l'intégrine alpha IIb beta 3. Nous avons utilisé, au cours de nos travaux, les principes de la conception rationnelle de molécules assistée par ordinateur afin de déterminer les paramètres moléculaires nécessaires a l'inhibition sélective de alpha IIb beta 3 d'une part, et de alpha v beta 3 d'autre part. À partir des résultats obtenus, nous avons élaboré, sur une base osidique, des inhibiteurs potentiels de ces deux intégrines. Plusieurs d'entre eux ont été synthétisés, et montrent une certaine activité biologique. Dans le but de mieux appréhender le fonctionnement de ces récepteurs, nous nous sommes également tournés vers l'étude par modélisation moléculaire de deux protéines appartenant à la famille des desintégrines, capables d'inhiber les intégrines alpha IIb beta 3 et alpha v beta 3. La première de ces protéines, l'echistatine, presente la séquence RGD et se lie à la fois à alpha IIb beta 3 et alpha v beta 3. La seconde, la barbourine, possède la double particularité de ne pas contenir la séquence RGD et d'être sélective de l'intégrine alpha IIb beta 3. Les conformations de ces deux protéines, et en particulier de leur site de liaison, ont été étudiées en milieu aqueux.
APA, Harvard, Vancouver, ISO, and other styles
2

Sperandio, Olivier. "Applications et développements informatiques de protocoles de drug design et criblage virtuel." Paris 5, 2007. http://www.theses.fr/2007PA05P612.

Full text
Abstract:
Cette thèse de chemoinformatique et bioinformatique structurale s’inscrit dans l’optimisation du processus d’identification de molécules à visée thérapeutique. Elle cible les trois composantes du criblage virtuel de composés chimiques : la préparation d’une version informatique de la chimiothèque ; l’identification de nouveaux composés par similarité avec des ligands actifs (LBVS) ; et l’identification de nouveaux composés actifs à partir de la structure 3D de la cible (SBVS). Ces travaux ont consisté à : créer un programme (MED-3DMC) de génération d’ensembles de conformères 3D de petites molécules; créer un programme LBVS (MED-SuMoLig) qui permet, à partir d’un ligand actif, de cribler une chimiothèque de plusieurs milliers de composés sur la base de leur profil pharmaco-topologique; et enfin appliquer des protocoles de criblage virtuel SBVS hiérarchique afin d’identifier des inhibiteurs d’interaction protéine-membrane avec le facteur Va de la coagulation comme preuve du concept
This thesis in structural bioinformatics and chemoinformatics concentrates on the optimization of the therapeutics compounds identification process. It relies on the three main components of the chemical compounds virtual screening: preparation of a computational version of the chemical library to be screened; identification of novel active compounds using chemical similarity with respect to known active molecules (LBVS); and identification of novel active compounds using the 3D structure of the target binding site (SBVS). This work implied: to develop a computer program (MED-3DMC) that generates conformation ensembles of small molecules ; then to create a LBVS program (MED-SuMoLig) that can screen thousands of chemical compounds using their pharmaco-topological profile; and finally to use a hierarchical SBVS procedure to identify novel inhibitors for protein-membrane interaction using the coagulation factor Va as a proof of concept
APA, Harvard, Vancouver, ISO, and other styles
3

Muller, Pascal. "Criblage virtuel inverse : validation et applications." Strasbourg 1, 2006. http://www.theses.fr/2006STR13137.

Full text
Abstract:
La conception de molécules bioactives emploie de plus en plus de méthodes informatiques. Le criblage virtuel par docking à haut débit d’une série de molécules est une étape-clé pour la découverte de candidats-médicament. Il est courant d’utiliser des outils de criblage virtuel pour déterminer les molécules susceptibles de présenter une affinité pour une cible donnée. Il est beaucoup moins usuel d’effectuer l’opération inverse, ou criblage virtuel inverse (CVI), c’est-à-dire rechercher in silico des cibles pour une molécule donnée. Cette méthode a rarement été utilisée pour aider à identifier des cibles et/ou à prévoir des effets indésirables. La ciblothèque sc-PDB, une banque de structures tridimensionnelles de sites de liaison, extraites de la Protein Data Bank, a été créée dans notre laboratoire, aux fins de criblage virtuel inverse. J’ai contribué à la validation de la méthode de CVI, qui retrouve bien les cibles connues de ligands. Dans le cadre de la mise à jour de la sc-PDB, j’ai développé un algorithme de détermination des complexes protéine-ligand, permettant d’affiner la ciblothèque. J’ai également utilisé le CVI pour déterminer des cibles pour des molécules présentant un châssis moléculaire original. Les chimistes inventeurs de cette chimiothèque désiraient savoir si l’espace chimique qu’elle couvre peut avoir des applications pharmaceutiques, de manière à prouver sa haute valeur ajoutée. Cinq cibles ont été sélectionnées in silico, et deux cibles ont pu être validées in vitro. La sc-PDB et le CVI sont de puissants outils pour contribuer à la découverte de nouvelles cibles, en complément aux stratégies expérimentales d’identification de cibles
The conception of bioactive molecules uses more and more in silico methods. Discovering which ligands, out of a large library, are likely to bind to a protein of interest is slowly turning into routine computational chemistry. Surprisingly, the opposite question is still an issue. Given a known ligand, is it possible to recover its most likely target(s)? Answering this question using the above mentioned docking approach implies the development of a collection of protein active sites. As a database of choice to develop the inverse virtual screening (IVS) procedure, we have chosen the Protein Data Bank. We extracted from the PDB a target library, the sc-PDB. It is a collection of three-dimensional structures of active sites. I contributed to validate the IVS procedure: it is able to find known targets of ligands. In the process of sc-PDB update, I developed an algorithm able to accurately identify protein-ligand complex. I used IVS procedure to discover targets for new molecules: chemists wanted to know if the chemical space of their combinatorial library matches pharmaceutical targets. Five targets were selected in silico, and two targets were validated in vitro. The sc-PDB library and IVS procedure are powerful tools, and the simplicity of the approach makes it particularly attractive for prioritizing a few targets for experimental validation, and is therefore a good complement to experimental target identification strategies
APA, Harvard, Vancouver, ISO, and other styles
4

Hoffer, Laurent. "Développement et validation du logiciel S4MPLE : application au docking moléculaire et à l'optimisation de fragments assistée par ordinateur dans le cadre du fragment-based drug design." Phd thesis, Université de Strasbourg, 2013. http://tel.archives-ouvertes.fr/tel-00874644.

Full text
Abstract:
Cette thèse a pour but de développer le pendant in silico des étapes clés du Fragment-Based Drug Design (FBDD), et ce dans le cadre plus général du développement de l'outil S4MPLE. Le FBDD génère des ligands drug-like à partir de petites molécules (fragments). Après une étape de validation de S4MPLE et de sa fonction d'énergie, un recentrage autour du FBDD est réalisé, à travers le docking puis l'optimisation virtuelle de fragments par growing ou linking (G/L). Cette stratégie reposesur 1) la création d'une chimiothèque focalisée en connectant un ou deux fragment(s) avec des linkers pré-générés, et 2) l'échantillonnage avec S4MPLE des composés chimères dans le site avec des contraintes. Des simulations de G/L plus ou moins ambitieuses (site flexible, ajout de H2O libres) permettent de valider cette approche avec des études rétrospectives basées sur des données expérimentales. La dernière phase de la thèse a consisté à appliquer ce protocole in silico à un projet de l'entreprise.
APA, Harvard, Vancouver, ISO, and other styles
5

Convard, Thomas. "Conception assistée par ordinateur en environnement immersif." Paris 11, 2005. http://www.theses.fr/2005PA112249.

Full text
Abstract:
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éformables
This 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
APA, Harvard, Vancouver, ISO, and other styles
6

Touir, Maatallah. "Conception des canaux assistée par ordinateur CCAO." Master's thesis, Université Laval, 1996. http://hdl.handle.net/20.500.11794/28418.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Farag, Marc. "Conception assistée par ordinateur d'inhibiteurs de XIAP." Electronic Thesis or Diss., Normandie, 2023. http://www.theses.fr/2023NORMC264.

Full text
Abstract:
Depuis leur découverte, les interactions protéine-protéine (IPPs) sont au centre de nombreux processus biologiques. Ces IPPs peuvent ainsi être la cible de médicaments, soit en mimant une interaction défectueuse ou en inhibant une interaction inadéquate. Parmi les IPPs les plus impliquées dans les pathologies, on trouve les protéines inhibitrices de l’apoptose (IAPs) Ces membres sont considérés comme des régulateurs-clés de la mort cellulaire programmée et au sein des voies de signalisation de la cellule, XIAP, membre de la famille des IAPs est parmi les protéines les plus ciblées actuellement. Son implication dans les cancers et les maladies inflammatoires rares en fait une cible thérapeutique de choix. Les données récentes de la littérature ont soulevé l’importance de la conception de perturbateurs sélectifs de cette protéine pour écarter les effets indésirables graves. De ce fait, il est indispensable de bien connaître les éléments structuraux essentiels associés aux différents domaines de cette protéine, qui la distinguent des autres membres similaires de la famille IAP. Il est également essentiel de connaitre les mécanismes d’interaction dans lesquels XIAP est engagée avec ses partenaires. Les outils de CADD, notamment l’approche Structure Based Drug Design, ainsi que les techniques d’évaluation expérimentale utilisant l’anisotropie de fluorescence (FPA) ou la technologie AlphaScreen® ont été mises en œuvre dans le cadre de ce travail de thèse. Les résultats de ces travaux in silico et in vitro ont conduit à proposer la conception rationnelle de petites molécules sélectives potentiellement perturbateurs des IPPs médiées par XIAP
Since their discovery, protein-protein interactions (PPIs) have been at the heart of many biological processes. These PPIs can be drug targets, either by mimicking a defective interaction or by inhibiting an inadequate interaction. Among the most implicated PPIs in pathologies, we found the Inhibitor Apoptosis Proteins (AAPs). These members are considered as key regulators of programmed cell death and, within the cell signalling pathways, XIAP, a member of the IAP family, is one of the most targeted proteins actually. Its involvement in cancers and rare inflammatory diseases makes it a therapeutic target of choice. Recent data in the literature have highlighted the importance of designing selective disruptors for this protein in order to avoid serious adverse effects. For this reason, it is essential to know the essential structural elements associated with the different domains of this protein, which distinguish it from other similar members of the IAP family. It is also essential to know the interaction mechanisms in which XIAP is involved with its partners. CADD tools, in particular the Structure-based drug design approach, as well as experimental evaluation techniques using fluorescence anisotropy (FPA) or AlphaScreen® technology were used as part of this thesis work. The results of in silico and in vitro work led to rational design proposals of selective small molecules that could potentially disrupt XIAP-mediated PPIs
APA, Harvard, Vancouver, ISO, and other styles
8

Seignole, Jean-François. "Conception assistée par ordinateur de liaisons par fibres optiques." Limoges, 1991. http://www.theses.fr/1991LIMO0115.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Tayyar, Ahmad. "Une méthode de géodésie assistée par ordinateur." Mulhouse, 1991. http://www.theses.fr/1991MULH0199.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
11

Laporte, Pierre. "Conception assistée par ordinateur en automatique : un logiciel d'identification." Grenoble INPG, 1985. http://www.theses.fr/1985INPG0135.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
12

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.

Full text
Abstract:
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èles
CAD/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
APA, Harvard, Vancouver, ISO, and other styles
13

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
14

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.

Full text
Abstract:
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éca
Actually 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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
16

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
17

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
18

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
19

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
20

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
21

Remondini, Laurent. "Un module d'analyse de structures mécaniques pour la conception intégrée." Grenoble INPG, 1995. http://www.theses.fr/1995INPG0187.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
22

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
23

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.

Full text
Abstract:
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ésolution
Expertise 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
APA, Harvard, Vancouver, ISO, and other styles
24

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.

Full text
Abstract:
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 propositions
Modelling 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
APA, Harvard, Vancouver, ISO, and other styles
25

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
26

Gauthier, Patricia. "Conception d'un poste de travail avec base de connaissances pour la CAO en automatique." Nice, 1989. http://www.theses.fr/1989NICE4327.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
27

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
29

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
30

Vidal, Bruno. "Vers un lancer de rayons discret." Lille 1, 1992. http://www.theses.fr/1992LIL10014.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
31

Travert, Aurélien. "Application des représentations volumétriques aux offsets complexes de surfaces." Rouen, INSA, 2006. http://www.theses.fr/2006ISAM0011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Nickovic, Dejan. "Vérification de propriétés temporisées : théorie et applications." Grenoble 1, 2008. http://www.theses.fr/2008GRE10185.

Full text
Abstract:
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 construction
The 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
APA, Harvard, Vancouver, ISO, and other styles
33

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.

Full text
Abstract:
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 produit
The 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
APA, Harvard, Vancouver, ISO, and other styles
34

Darlet, Ludovic. "Système de visualisation scientifique assistée par ordinateur." Université Joseph Fourier (Grenoble), 1995. http://www.theses.fr/1995GRE10044.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
35

Destoop, Thierry. "Contribution à la conception assistée par ordinateur de compresseurs à pistons alternatifs." Lille 1, 1988. http://www.theses.fr/1988LIL10012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

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.

Full text
Abstract:
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. ]
APA, Harvard, Vancouver, ISO, and other styles
37

Muller, Thomas. "Synthèse d’image iso-photographique pour la conception de l’apparence assistée par ordinateur." Electronic Thesis or Diss., Paris, CNAM, 2021. http://www.theses.fr/2021CNAM1289.

Full text
Abstract:
La notion de « Conception de l’Apparence Assistée par Ordinateur » (CA²O), apparue `a la fin des années 90, est une branche de la CAO traitant plus spécifiquement de l’aspect des matériaux. La CA²O pourrait être un outil déterminant pour la prise de décision lors des phases de conception des produits manufacturés. Pourtant, alors que de nos jours la maquette numérique a presque totalement supplanté la maquette physique en ce qui concerne le choix de la forme, la détermination des couleurs et des matières passe encore essentiellement par la réalisation d’un ou plusieurs prototypes réels. Ce travail de recherche pose la problématique de la prise décision liée `a l’apparence sur la base d’une simulation en images de synthèse. Cette approche pragmatique permettant le lien entre réel et virtuel constitue dans ce domaine un nouveau paradigme qu’on appellera le rendu iso-photographique
The so-called “Computer Aided Appearance Design” (CA²D), which emerged in the late 1990s, is a branch of CAD dealing specifically with the appearance of materials.CA²D could be a key tool for decision-making in the design phases of manufactured products. However, while nowadays the digital model has almost completely superseded the physical model as far as the choice of shape is concerned, the determination of colours and materials still essentially requires the production of one or more real prototypes. This research workraises the issues of decision-making related to appearance on the basis of a computer-generated image simulation. This pragmatic approach allowing a link between real and virtual provides in this field a new concept that we shall call iso-photographic rendering
APA, Harvard, Vancouver, ISO, and other styles
38

Guilbert, Laurent. "Contribution à des outils de conception de circuits intégrés." Lille 1, 1990. http://www.theses.fr/1990LIL10041.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
39

Imberdis, Claude. "Conception assistée de structures en bois : détermination des assemblages." Besançon, 2001. http://www.theses.fr/2001BESA2011.

Full text
Abstract:
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. . .
APA, Harvard, Vancouver, ISO, and other styles
40

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
41

Clemente, Roland. "Modèle d'analyse dédié à la conception intégrée." Lyon 1, 1999. http://www.theses.fr/1999LYO10348.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
42

Tychon, Philippe. "Conception du dessin des circuits intégrés par une approche topologique." Lille 1, 1985. http://www.theses.fr/1985LIL10012.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
43

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.

Full text
Abstract:
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 conception
This 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
APA, Harvard, Vancouver, ISO, and other styles
44

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.

Full text
Abstract:
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'inspection
This 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
APA, Harvard, Vancouver, ISO, and other styles
45

Aheto, Kouassivi. "Conception et analyse non linéaire des oscillateurs à quartz ultrastables." Besançon, 1990. http://www.theses.fr/1990BESA2048.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
46

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
47

Gal, Stéphan. "Conception assistée de blocs analogiques pour capteurs intelligants." Montpellier 2, 1998. http://www.theses.fr/1998MON20230.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
48

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.

Full text
Abstract:
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 classiques
After 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
APA, Harvard, Vancouver, ISO, and other styles
49

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
50

Lasserre, Stéphane. "Un système d'information pour le bâtiment : approche métier." Aix-Marseille 3, 2003. http://www.theses.fr/2003AIX30045.

Full text
Abstract:
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 France
Our 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
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography