To see the other types of publications on this topic, follow the link: Conception assistée par ordinateur en génie logiciel.
Dissertations / Theses on the topic 'Conception assistée par ordinateur en génie logiciel'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Conception assistée par ordinateur en génie logiciel.'
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
Tarpin-Bernard, Franck. "Travail coopératif synchrone assisté par ordinateur : Approche AMF-C." Ecully, Ecole centrale de Lyon, 1997. http://www.theses.fr/1997ECDL0014.
Full textAbstract:
Les méthodes et les outils utilisés pour assister le développement des logiciels s'appuient sur des modèles d'architecture plus ou moins formalises. Alors que de nombreux concepts, méthodes et modèles ont atteint une certaine maturité pour la réalisation de logiciels classiques, il est aujourd'hui possible de faire coopérer plusieurs personnes distantes. C’est ce que l'on appelle le travail coopératif assiste par ordinateur (tcao). L’objectif de ce travail est de proposer un modèle d'architecture adapte aux besoins des collecticiels (logiciels coopératifs) temps réel. A travers une étude bibliographique et l'analyse d'un scenario de conception coopérante nous dégageons les concepts clefs du tcao. Ainsi, nous pouvons étendre au contexte coopératif le modèle d'architecture multi-agent multi-facette amf. En fait, selon que les agents partages sont répliqués sur les différents ordinateurs ou s'ils conservent une certaine unité, le modèle coopératif amf-c se décline sous une forme répliquée et sous une forme fragmentée. En comparant leurs avantages et inconvénients, nous montrons que si la forme fragmentée apporte incontestablement un confort de modélisation, elle s'avère plus limitée dans ses capacités de paramétrage des interactions de groupe. Par ailleurs, un modèle d'architecture présente peu d'intérêt s'il n'est pas accompagné d'une méthodologie de conception et d'outils aidant à sa mise en œuvre. Après avoir exposé les formes de contrôle devant être maîtrisées par un environnement de travail coopératif synchrone, nous indiquons comment les trois couches de notre système expérimental (système reparti, plate-forme coopérative ecoop et applications utilisant amf-c) se répartissent ces tâches de contrôle. Des exemples simples d'application, ainsi que la conception d'un éditeur coopératif synchrone de schémas cinématiques cinematek illustrent les possibilités de cette architecture et permettent de dégager un certain nombre de gabarits de conception.
2
Champin, Pierre-Antoine. "Modéliser l'expérience pour en assister la réutilisation : de la conception assistée par ordinateur au Web sémantique." Lyon 1, 2002. http://www.theses.fr/2002LYO10217.
Full textAbstract:
L'activité de conception est par nature une activité complexe, difficile à modéliser. Cela explique que la réutilisation tienne une grande place dans cette activité (réutilisation d'objets ou de processus de conception). Ce mémoire propose une modélisation de l'expérience des concepteurs, en vue d'en assister la réutilisation. Développé dans le cadre du projet ARDECO, en collaboration avec des chercheurs en ergonomie cognitive, ce modèle est fondé sur la notion d'épisode de conception. Des processus de remémoration et d'adaptation des épisodes, fondés sur un appariement approximatif de graphes, sont également présentés. Dans un second temps, une généralisation du modèle d'expérience est proposée. Le modèle MUSETTE étend le précédent à un champ d'application plus large, notamment à celui, en plein développement, du Web sémantique.
3
Orchampt, Patrick. "Apports des techniques d'intelligence artificielle en conception assistée par ordinateur : applications à la schématique." Lyon 1, 1987. http://www.theses.fr/1987LYO19017.
Full textAbstract:
Dans une premiere partie, l'apport de l'intelligence artificielle a la conception assistee par ordinateur est etudie. Trois realisations sont presentees dans une deuxieme partie: cooling, un logiciel expert dans le choix des installations de refroidissement; anais, un logiciel expert en verification de ces memes schemas; oscart, logiciel de placement automatique sous contrainte d'objets dans le plan
4
Masri, Ghaida. "Ecoo : Environnement de Conception Orientée Objets." Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0091.
Full textAbstract:
La production de logiciel est une activité qui necessitate l'application d'un processus discipliné; La Conception Préliminaire est la phase de ce processus dans laquelle s'effectue le découpage du système en modules et s!e dessine sa topologie. L'application des principes de Génie Logiciel au cours de cette phase, tels que la modularité, l'encapsulation, et la réutilisabilité, devient une nécessité pour maîtriser le développement des grands systèmes logiciels, et améliorer leur qualité et leur fiabilité. Dans ce conteste, il nous a paru intéressant de développer un outil de mise en œuvre d'une méthode de conception préliminaire : la Conception Orientée Objet introduite par Grady Booch. Cette méthode est basée sur la notion d'objet et met en œuvre les principes ci-dessus. L'outil ECOO fournit aux concepteurs une aide portant sur les oints suivants : -Suivi tout au long des différentes étapes de la méthode COQ, - Acquisition, archivage, et recherche des documents - Automatisation et contrôle de l’acquisition des objets et des opérations grâce à une analyse morphosyntaxique -Regroupement des objets et des opérations en modules - Production des interfaces formelles des modules - Consultation d'une banque d'objets réutilisables pour la recherche et l'intégration des objetsSoftware Production is an activity which needs the application of disciplined process Preliminar Design is the phase of this process in which systems are decomposed into modules, and their topol~gy is produced. The application of Sof tware Engineering principles during this. Phase such as modularity, encapsulation, and reusability become a necessity to control the development of large software systems and improve their quality and reliability. For this purpose, it was interesti_ng to develop a supporting tool for a preliminary design method : Object Oriented Design introduced by Grady Booch. This method is based upon the concept of Object and support the previous principles. ECOO is a tool which provides assistance in : - guiding designer along steps of OOD - document acquisition, archiving and retrieval abject and operation identification by morphosyntaxic analysis - grouping abjects and operations which act upon them, into modules - editing the formal interfaces of the modules - consulting a bank of reusable abjects for retrieval and integration of objects
5
Vial, Christian. "La place de la coopération dans l'enseignement à distance." Ecully, Ecole centrale de Lyon, 1998. http://www.theses.fr/1998ECDL0019.
Full textAbstract:
Notre travail s'inscrit dans le cadre des recherches sur l'enseignement a distance. Nous proposons une nouvelle direction pour l'enseignement assiste par ordinateur qui s'appuie sur une architecture que nous qualifions d'hybride. Le formateur reste present et agit dans le systeme informatique. Nous commencons nos recherches par une identification de la cooperation dans des situations pedagogiques. De cette etude, nous avancons des estimations de quantification de la cooperation entre les acteurs a partir de criteres de classification. Ce premier travail nous conduit a rapprocher l'enseignement a distance avec le monde du travail collaboratif assiste par ordinateur. Dans une deuxieme partie, nous nous interessons a modeliser la cooperation. A travers les activites de base des utilisateurs, nous degageons un noyau generique d'activites. Nous montrons l'usage de ce noyau en contextualisant l'activite cooperative de l'utilisateur et nous proposons un modele a base d'un trefle a quatre feuilles qui presente les domaines de cooperation necessaires au travail collaboratif assiste par ordinateur. Ensuite nous proposons une modelisation omt de deux situations pedagogiques en etudiant le comportement du formateur et des apprenants et le fonctionnement des domaines de cooperation. Notre troisieme partie presente les specifications d'un environnement informatique pour l'enseignement cooperatif a distance. Nous proposons des modeles d'architecture. Nous terminons notre travail par deux experimentations, l'une avec le developpement d'un systeme informatique de formation cooperative propre, l'autre avec lotus notes.
6
Mahé, Serge-André. "La programmation typologique." Montpellier 2, 1992. http://www.theses.fr/1992MON20024.
Full textAbstract:
La programmation typologique est une methode de conception a objets. Les specifications des classes d'objets sont formelles et executables. Ce sont des types abstraits qui appartiennent a des unites de conception, les bases conceptuelles ou des operations sont predefinies. Chaque type abstrait est une structure dynamique abstraite definie par typologie d'operations. Cette modelisation conceptuelle favorise la reutilisation d'algorithmes generiques dans la phase de conception. La programmation typologique a ete experimentee a l'universite de montpellier ii pour developper et utiliser un outil d'assistance a la programmation destinee a familiariser des etudiants a la reutilisation de specification formelles et de composants logiciels
7
Si-Said, Cherfi Samira. "Proposition pour la modelisation et le guidage des processus d'analyse des systemes d'information." Paris 1, 1999. http://www.theses.fr/1999PA010067.
Full textAbstract:
Le domaine de la thèse est celui de la modélisation et du guidage des mthodes d'analyse des systèmes d'information. L'ingéniérie des processus est utilisée dans la thèse pour décrire plus précisement des demarches methodologiques dans le domaine des systemes d'information et aider a construire des environnements capables de guider efficacement les ingenieurs d'application. Les demarches methodologiques que l'on trouve dans les manuels de reference sont generalement décrites de façon imprécise et informelle. Les ingénieurs d'application, lors du développement de projets, sont confrontés à deux problèmes importants qui sont la compréhension et l'application de la démarche liée à la méthode. Ceci conduit généralement à une mauvaise application des démarches. La solution proposée comporte : (a) un modèle de démarches basé sur une approche qui permet de décrire des démarches modulaires à différents niveaux d'abstraction et de granularité. Les niveaux de granularité simplifient la description des démarches et permettent de faciliter leur compréhension. (b) Une méta-démarche qui décrit, dans les termes du modèle de démarches, la marche à suivre pour décrire des démarches. Cette méta-démarche permet, d'une part, d'illustrer l'utilisation du modèle de démarches et, d'autre part, d'exploiter les mêmes mécanismes et le même environnement de guidage pour les processus d'analyse et pour les méta-processus. (c) Un environnement de guidage centre sur le processus, nomme mentor-ia. Cet environnement est basé sur le contrôle de l'éxécution des démarches. Son objectif est d'offrir un guidage flexible à des processus pour lesquels la créativité des agents humains est préponderante. Le modèle de démarches présenté dans la thèse, associé à l'approche dynamique de construction, offre une solution théorique aux problèmes de guidage et d'assistance dans le domaine des processus d'analyse et de conception. Le prototype mentor-ia est developpé sous l'environnement du SGBD orienté-objet 02.
8
Soekirno, Purnomo. "Contribution à l'étude du développement d'un système C. A. O. -V. R. D. : extension du système V.E.R.D.I., réseaux basse tension et éclairage public : étude de la circulation d'informations dans un processus de conception en V.R.D." Lyon 1, 1985. http://www.theses.fr/1985LYO10008.
Full text
9
Pribadi, Krishna. "Contribution à l'étude du développement d'un système C. A. O. -V. R. D. : extension du système V.E.R.D.I., coût des infrastructures : étude de la portabilité du système vers l'Indonésie." Lyon 1, 1985. http://www.theses.fr/1985LYO19036.
Full text
10
Poulhiès, Marc. "Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM009.
Full textAbstract:
Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception, d'implantation et de validation. Nous nous intéressons aux caractéristiques du langage de conception et aux techniques de compilation qui permettent d'obtenir dans notre approche l'implantation et un modèle du système. L'analyse de ce modèle permet la validation de l'implantation, ce qui suppose que ce modèle représente fidèlement le système implanté. Nous proposons la construction d'un langage de conception basé sur l'utilisation de composants dont le comportement dynamique est supposé connu. Nous illustrons cette démarche avec un prototype complet appelé Buzz, dans lequel les composants sont des composants Think accompagnés de leur modèle comportemental en BIP. Le compilateur associé à Buzz génère une architecture à composants Think pour l'implantation et un modèle à composants BIP pour les analyses. Nous évaluons Buzz à travers deux expériences. La première présente le développement d'un logiciel pour un exemple simple sur lequel nous démontrons la pertinence des choix techniques. Think nous permet un support d'implantation complet et BIP rend possible la vérification d'un ensemble de propriétés dynamiques. La deuxième expérience est un portage de l'implantation d'un protocole radio utilisé dans des réseaux de capteurs et développée de manière classique, vers Buzz. Elle démontre l'effectivité de notre proposition en termes de langage (Buzz structure et simplifie le code original) ainsi qu'en termes d'outils (compilation et vérification)Software development for embedded systems has many challenges. Ln this thesis, we address those related to the interactions between the three following phases of the software development process: the design phase, the implementation phase and the validation phase. We study the design language characteristics and compilation techniques. Ln our approach, they allow the creation of both an implementation of the system and a model for this implementation. Provided that this model faithfully corresponds to the implementation, the analysis of the model can validate the implemented system. We propose a process for building a language based on software components for which the dynamic behavior is supposed to be given. We illustrate this process with a prototype called Buzz. Buzz uses Think components enriched with their operation al behavioral model in BIP. We developed a compiler for Buzz by extending the current Think compiler. Il generates both an architecture of Think components for the implementation and a BIP model for the analysis. We evaluate Buzz through two experiments. The first ex periment details the software development for an academical example on which we show the soundness of our technical choices. Think provides implementation support (compilation, optimization, deployment) and BIP allows us to verify the system's dynamic properties. The second ex periment focuses on porting to Buzz an application convention ail y developed for a sensor network radio protocol. It underlines the efficiency of our proposaI both in terms of programming language (the result is more structured and simpler than the original code) and in terms of compilation tools and verifications
11
Poulhiès, Marc. "Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00514504.
Full textAbstract:
Cette thèse a été co-encadrée par le laboratoire MAPS/AMS de France Telecom R&D (aujourd'hui MAPS/SHINE) et le laboratoire VERIMAG. Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception (les développeurs construisent à partir de spécifications un modèle du système exprimé dans un langage de conception i.e. de programmation), d'implantation (le modèle précédent est compilé en un exécutable du système qui est finalement déployé sur les plateformes réelles) et de validation (un ensemble de techniques sont mises en \oe uvre pour vérifier que le système implanté est correct vis-à-vis des spécifications). Pour cela nous nous intéressons aux caractéristiques du langage de conception et aux techniques de compilation de ce langage. Celles-ci permettent d'obtenir dans notre approche à la fois l'implantation du système et un modèle du système implanté. L'analyse de ce modèle permet la validation de l'implantation, ce qui suppose que ce modèle représente fidèlement le système implanté. Nous proposons la construction d'un langage de conception basé sur l'utilisation de composants logiciels prédéfinis dont le comportement dynamique est supposé connu. Nous illustrons cette démarche par la réalisation d'un prototype complet d'un langage appelé Buzz, inspiré des modèles de programmation à acteurs dans lequel les composants logiciels utilisés sont des composants Think accompagnés de leur modèle comportemental opérationnel constitué d'un composant BIP. Le compilateur associé à Buzz que nous avons développé à partir du compilateur Think existant (Nuptse) génère simultanément une architecture à composants Think pour l'implantation et un modèle à composants BIP à des fins d'analyse. Nous évaluons Buzz à travers deux expériences. La première présente le développement de bout en bout d'un logiciel pour un exemple académique sur lequel nous démontrons la pertinence des choix techniques. Think nous permet un support d'implantation complet (compilation, optimisation, déploiement) et BIP rend possible la vérification d'un ensemble de propriétés dynamiques du système. La deuxième expérience consiste à porter une application réelle de protocole radio utilisée dans des réseaux de capteurs et développée de manière classique, vers Buzz. Cette expérience démontre l'effectivité de notre proposition tant en termes de langage de programmation (l'expressivité de Buzz structure et simplifie le code original) qu'en termes d'outils de compilation et de vérification.
12
Kambale, Bernard. "Modèle de m-learning et conception d'applications mobiles comme outils de support pour l'enseignement à distance en informatique et génie logiciel." Master's thesis, Université Laval, 2018. http://hdl.handle.net/20.500.11794/31325.
Full textAbstract:
De nombreuses études menées dans le domaine de l'éducation ont révélé que l'apprentissage mobile apparaît de plus en plus comme une méthode d'apprentissage efficace avec l'utilisation des téléphones intelligents. Toujours opérationnels et facilement transportables, les téléphones intelligents peuvent être utilisés n'importe où, à n'importe quel moment et dans n'importe quel contexte. Considérant ce potentiel des téléphones intelligents dans notre société actuelle, nous présentons dans ce mémoire un modèle de l'apprentissage mobile conçu comme outil de support d'apprentissage en informatique et génie logiciel. Pour atteindre ce but, nous présentons d'abord les efforts qui tentent d'intégrer le téléphone intelligent parmi les outils de programmation. Dans ce sens, nous montrons des exemples d'utilisation des applications mobiles de programmation. Nous démontrons ensuite que le téléphone intelligent a des limites qui rendent l'exercice de programmation non efficace. Compte tenu de ces limites, nous montrons que, en particulier pour les cours de programmation, l'apprentissage mobile joue pleinement son rôle lorsqu'il permet d'accéder à l'information utile, de manière continue pour soutenir le processus d'apprentissage. Ainsi, nous arrivons à la conception de l'apprentissage mobile comme outil de support d'apprentissage en informatique et génie logiciel. Dans ce sens, l'apprentissage mobile offre un environnement d'accès aux mises à jour sur le travail planifié, aux notifications, aux commentaires, aux échéanciers de tâches, aux nouvelles tâches à réaliser, etc. Ensuite, après avoir étudié différents styles architecturaux et différents types d'applications, nous présentons des possibilités d'implémentation de ce modèle de l'apprentissage mobile. Nous identifions l'architecture hybride de développement d'applications mobiles comme l'architecture idéale pour concevoir et développer des outils de l'apprentissage mobile. Nous montrons le fonctionnement de cette architecture hybride en utilisant l'infrastructure logicielle Apache Cordova pour produire des outils d'apprentissage à la fois personnalisables et portables.Many studies undertaken in the field of education have revealed that m-learning is emerging more and more as an effective learning method with the use of smartphones. Always turned on and easily transported, smartphones can be used anywhere, at any given time and in any context. Considering this potential of smartphones in our current society, in this thesis we present an m-learning model designed as a learning support tool in computer science and software engineering. To achieve this goal, we first show the existing efforts to integrate smartphones into programming tools. Following the same idea, we show examples of using mobile applications for programming. We then demonstrate that smartphones have limitations that make the programming exercise ineffective. Given these limitations, we show that, especially for programming courses, m-learning plays its role fully when it provides access to useful information on an ongoing basis to support the learning process. Thus, we come up with the design of m-learning as a learning support tool in computer science and software engineering. In this sense, m-learning provides an environment to receive updates on the planned work, notifications, comments, task schedules, new tasks to be performed, etc. Then, after having studied different architectural styles and different types of applications, we present possibilities of implementation of this m-learning model. We identify the hybrid architecture as the ideal architecture for designing and developing m-learning tools. We show how this hybrid architecture works by using the Apache Cordova Framework to produce m-learning tools that are both customizable and portable.
13
Talens, Guilaine. "Gestion de versions d'objets simples et composites." Montpellier 2, 1994. http://www.theses.fr/1994MON20028.
Full textAbstract:
La gestion des versions permet de tracer l'évolution d'un objet a travers le temps. Le modèle de gestion de versions que nous proposons permet de prendre en compte aussi bien l'évolution des instances que celle des classes. Chacune des versions est reliée à sa version prédécesseur par des liens de dérivation permettant d'expliciter les modifications apportées par rapport à la version antérieure. Ce procèdé de versioning permet aux différents utilisateurs: 1) de suivre facilement l'évolution de leur version; 2) d'éviter la redondance d'informations; 3) d'accélérer le processus de stockage des versions. Par ailleurs, la plupart des objets ont des structures complexes c'est à dire qu'ils sont composes d'autres objets. Pour ce faire, nous proposons également un gestionnaire de versions d'objets composites. Enfin, une propagation sélective de versions est proposée afin d'éviter une prolifération excessive de versions a chaque création d'une version composite ou composante
14
Cheballah, Kamal. "Aides à la gestion des données techniques des produits industriels." Ecully, Ecole centrale de Lyon, 1992. http://www.theses.fr/1992ECDL0003.
Full textAbstract:
Le travail presente dans cette these se situe dans le contexte de l'approche cim (computer integrated manufacturing) qui a pour but de supporter et d'organiser l'ensemble des taches d'elaboration de produits industriels a l'aide d'outils informatiques. Nous proposons une contribution a la mise en place d'un systeme global pour la realisation concrete de quelques maillons essentiels. Le premier chapitre introduit un modele d'organisation du processus d'elaboration au niveau logique et physique. Le second chapitre introduit un outil audros (systeme d'aide a l'utilisation de documents dans un reseau d'ordinateurs) qui permet aux utilisateurs de conduire l'elaboration a un niveau strictement logique. Tous les problemes du niveau physique (localisation des donnees, organisation, transport, etc. . . ) sont pris en charge automatiquement. Le chapitre 3 presente l'outil logiciel gelabor (gestion d'elaboration de produits) qui permet de gerer la coherence entre les produits d'une base de donnees techniques. En conclusion, apres validation de la demarche proposee, nous presentons un schema plus general prenant mieux en compte l'aspect concurrentiel et cooperatif des taches d'elaboration. Cette approche est illustree par la specification de gelabor 2 organisant la cooperation d'entites independantes par l'intermediaire d'un blackboard.
15
Koudri, Ali. "Processus de conception conjointe logiciel matériel dirigés par les modèles." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10181/document.
Full textAbstract:
L'ingénierie des modèles (IDM) a depuis très largement démontré sa pertinence dans les développements logiciels; restait alors à démontrer son applicabilité dans le développement de tout système d'information. Aujourd'hui, de nombreuses expérimentations montrent avec plus ou moins de succès que l'IDM peut parfaitement supporter d'autres domaines comme le domaine du co-design ou celui de l'ingénierie des processus.Dans le domaine du co-design, les activités de conception consiste essentiellement à concevoir et analyser des systèmes implantées sur des plateformes spécifiques (SoC, MPSoC, NoC, etc.): cela nécessite l'utilisation de langages dédiés permettant de représenter : les constituants du système ou de la plateforme, les contraintes non fonctionnelles, les allocations spatio-temporelles des blocs du système sur la plateforme, les analyses qui découlent des choix d'allocation. Le langage de modélisation généraliste UML (Unified Modeling Language) ne pouvait que très difficilement satisfaire de tels besoins. C'est pourquoi l'OMG (Object Management Group) a standardisé une extension d'UML dédiée à la conception et l'analyse de systèmes embarqués temps réel (MARTE). L'objectif premier de cette thèse est de proposer une méthodologie de conception de SoPC (System-on-Programmable-Chip) basée sur l'utilisation de modèles qui fait la synthèse des approches proposées par les communautés de l'ESL et de l'IDM.Aussi avons-nous poussé la réflexion sur les manières de capitaliser au mieux notre méthodologie et sur sa mise en œuvre dans l'élication des processus de co-design. C'est la raison pour laquelle, après avoir fait une étude sur la formalisation des processus de développement, nous avons trouvé opportun de proposer notre propre extension du langage SPEM (Software and System Process Engineering Modeling), standardisé par l'OMG, afin d'y intégrer des concepts manquants, essentiels à notre sens à la représentation des processus IDM de co-designThe relevancy of the Model Based Approach (MBE) applied in the field of software engineering has been widely demonstrated though several experiments. In the field of co-design, business activities are mainleny design and analysis activities of complex systems implemented into chips (SoC - System-on-Chip) or reprogrammable chip (SoPC) - System-on-Programmable-Chip). Those activities require dedicated languages and tools allowing capture of : system or platform components, non-functional properties, allocation of system blocks onto the platform, either into space or into time, subsequent analysis to allocation choices. The Unified Modeling Language (UML) is a general purpose language that does not fit to such activities. That is why the OMG has standardized a UML profile dedictated to design and analysis of Real-Time Embedded Systems (MARTE). Associated to such language, on of the goal of this thesis is to propose a clear methodology that make benefits of both MBE and Electronic System Level (ESL) techniques. Beneath the simple proposition of an MBE/ESL methodology, another goal of this thesis is to propose a better capitalization of methodology rules allowing a continuous maturity of processes. That is why we found relevant to propose an extension to SPEM in order to introduce missing concepts to acheive our goals
16
Wu, Yao Kuang Marie-Blandine. "Robustesse des systèmes auteurs multimédias : contribution théorique et mise en oeuvre." Paris 8, 2000. http://www.theses.fr/2000PA081746.
Full textAbstract:
Les systemes auteurs multimedias ou sam sont des outils de developpement permettant a tout individu de concevoir un didacticiel ou tout type de logiciel pour partager leurs connaissances avec le minimum d'effort en programmation. Mais le resultat de ces concepts n'est pas proportionnel aux efforts et aux merites des chercheurs et des professionnels qui s'y sont investis. La complexite des fonctions et des problemes rencontres par les personnes initiees ou non a la conception, la distribution physique et fonctionnelle des erreurs et l'heterogeneite des moyens et des medias mis en oeuvre ne facilitent pas l'adaptation des sam a des changements de structures et a des evolutions de contexte. La robustesse incluant les concepts de fiabilite, de perennite et de surete de fonctionnement est alors un des piliers manquant pour la reussite des sam. Dans cette these, nous defendons notre point de vue sur la necessite d'assister l'utilisateur de sam lors de la conception, de l'evaluation et de l'interaction homme-machine. Nous allons proposer une solution theorique basee sur un systeme multi-agents et une architecture en couches, qui conduit a la creation d'un outil appele environnement de creation de logiciels robustes ou eclr. Contrairement aux autres outils, l'eclr possede une architecture simple et performante qui s'adapte a l'evolution du systeme, du contexte et de l'environnement. Apres une synthese sur les sam actuels, nous orientons notre recherche sur les notions d'erreurs et de robustesse dans la conception de logiciel. Nous mettons en oeuvre ensuite un systeme multi-agents ou nous ferons la distinction entre l'organisation et l'interaction des agents afin d'integrer les qualites d'analyse, de decision, d'anticipation, d'apprentissage presentes chez un humain.
17
Gryba, Tadeusz. "Calcul des circuits électroniques VLSI avec optimisation des tolérances." Lille 1, 1985. http://www.theses.fr/1985LIL10081.
Full textAbstract:
Étude d'une modélisation et d'une simulation d'un procédé de fabrication et d'un comportement électrique des circuits intégrés. Le critère fiabilité-économique minimise le coût de production avec une fiabilité supérieure à une valeur de satisfaction. Les valeurs optimales des paramètres des circuits à très haute intégration sont obtenues par une décomposition en sous-problèmes basée sur un partitionnement du circuit en sous-circuits à partir du graphe de corrélation et du graphe électrique. La méthode de programmation stochastique permet de calculer les valeurs nominales et les tolérances optimales des paramètres du sous-circuit. Les paramètres optimaux du circuit VLSI sont calculés à partir de l'optimisation des sous circuits successifs.
18
Mellah, Mouna. "L'objet d'automatisme : un langage de programmation des automates inspiré de la notion d'objet." Montpellier 2, 1994. http://www.theses.fr/1994MON20033.
Full textAbstract:
L'experience de la conception des systemes automatises de production montre qu'une partie importante des materiels est reutilisee d'une application a une autre. A chaque composant physique isole, peuvent etre associees des sequences de commande decrivant son comportement dans diverses situations. Il parait donc interessant de pouvoir archiver au sein d'une bibliotheque, des composants et les sequences de commande associees, pour pouvoir les reutiliser. Pour repondre a ce besoin, le concept d'objet d'automatisme (oa) a ete defini. Il s'inspire a la fois des langages de programmation des automates programmables utilises en controle de procede industriel et des notions recentes utilisees en informatique telles que l'encapsulation et la reutilisabilite. Ensuite, une methode de conception et de developpement d'une application utilisant le concept d'objet d'automatisme est proposee. C'est une approche top-down, s'inspirant des methodes generales connues de conception d'automatismes. On propose aussi un modele d'execution des objets d'automatisme en systemes monoprocesseur monotache, monoprocesseur multitache et en systeme distribue. Les resultats de cette etude permettent a des utilisateurs de langages specialises (graphe de la norme iec 848, schemas a contact, etc. . . ) de disposer d'un moyen plus puissant de structurer l'application et de reutiliser des commandes existantes. Un atelier de genie logiciel base sur ces concepts a ete prototype. Cet atelier diminue les possibilites d'erreur tel que l'oubli de variables par exemple, et facilite la documentation automatique
19
Kosayba, Bassem. "Une démarche dirigée par les modèles pour produire des environnements de modélisation orientés domaine." Lille 1, 2006. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2006/50376_2006_23.pdf.
Full textAbstract:
La nouvelle tendance dans l'ingénierie de logiciels est d'utiliser des modèles afin de mieux structurer les processus de développement de logiciels. Afin de modéliser les systèmes, nous avons besoin d'environnements de modélisation. Ces environnements de modélisation ne doivent plus imposer au processus logiciel leurs propres concepts, mais ils doivent supporter les concepts relatifs au domaine d'applications visé par ce processus. Alors, l'environnement de modélisation doit s'adapter au domaine de l'usager et non l'inverse. Nous proposons dans cette thèse une démarche de conception d'environnements graphiques de modélisation à la fois adaptés au domaine et aux souhaits de l'usager. Pour atteindre cet objectif, nous avons mis en oeuvre la séparation des préoccupations et utilisé une approche d'ingénierie dirigée par les modèles. Le modèle définissant un environnement de modélisation inclut deux préoccupations. La première concerne le domaine applicatif pour lequel on veut définir cet outil, la deuxième concerne la représentation graphique de l'outil. La séparation entre ces définitions permet de les capitaliser et de les réutiliser indépendamment l'une de l'autre Enfin, nous avons définit un cadre de travail pour mettre en œuvre cette démarche et réalisé des outils associés. Ces outils permettent la génération automatique de l'environnement de modélisation sur la base de son modèle.
20
Macrelle-Rosselle, Marilyne. "Conception d'un atelier d'expérimentation de logiciels éducatifs : application en géométrie." Phd thesis, Université Henri Poincaré - Nancy I, 2001. http://tel.archives-ouvertes.fr/edutice-00000263.
Full textAbstract:
Cette recherche se situe dans le contexte des environnements informatiques destinés à favoriser les apprentissages (EIAO, Environnement Interactif d'Apprentissage avec Ordinateur). Les nombreux prototypes développés en recherche implantent une ou plusieurs fonctionnalités requises pour la formation (simulation, explication, etc.) mais jamais l'ensemble de ces fonctionnalités. Au lieu de chercher à développer un nouvel outil qui proposerait cet ensemble, on peut franchir une étape supplémentaire en faisant coopérer divers prototypes offrant des fonctionnalités complémentaires. L'objectif du travail est donc de définir des critères, une architecture et des outils permettant cette coopération. Nous focalisons notre proposition sur la coopération de prototypes existants et nous restreignons l'application au champ de l'enseignement de la géométrie plane au niveau collège et lycée. Nous proposons un atelier logiciel qui permet à un enseignant ou un chercheur d'utiliser des fonctionnalités implantées dans des prototypes différents, à travers une interface unificatrice, à peu près comme s'ils étaient disponibles dans le même logiciel. Pour le définir, nous avons modélisé une activité d'apprentissage du point de vue de l'exécution de logiciels et de l'échanges de données. Notre modèle comprend des scénarios découpés en étapes munies de transitions, des fonctionnalités offertes par un prototype, et la notion d'observable construite à partir de traces d'interaction et d'événements sémantiques. Nous proposons la notion de macro-définition avec les grammaires et interprètes associés pour adapter aussi bien des données du domaine que des observables. Notre atelier est implanté dans une maquette en Java et toutes les propositions sont faites avec un objectif de généralité qui confère aux propositions un caractère générique.
21
Guedria, Soulaimane. "Une plateforme d'apprentissage profond à base de composants qui passe à l'échelle : une application aux réseaux de neurones convolutionnels pour la segmentation en imagerie médicale." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM023.
Full textAbstract:
Les réseaux neuronaux profonds (DNNs), et plus particulièrement les réseaux neuronaux convolutifs (CNN) entraînés sur des grandes quantités de données, rencontrent un vif succès dans une multitude d'applications capitales, et particulièrement en imageries médicales. Cependant, l'entraînement de réseaux de neurones convolutifs (CNN) (1) est une tâche chronophage. De plus, (2) distribuer l'entraînement des CNNs est un défi ardu en pratique car il s'agit d'un processus fastidieux, répétitif et sujet aux erreurs. En outre, (3) il n'y a actuellement aucune étude approfondie sur la généralisation et la reproductibilité des techniques de parallélisation des CNNs particulièrement sur des applications concrètes de segmentation en imagerie médicale.Dans ce contexte, cette thèse vise à relever les défis susmentionnés. Pour cela, nous avons conçu, implémenté et validé une plateforme d'apprentissage profond à base de composants qui passe à l'échelle pour la segmentation en imagerie médicale. Au début, on introduit R2D2, une boîte à outils d'apprentissage profond de bout en bout qui passe à l'échelle. En effet, R2D2 introduit également un ensemble de nouvelles versions distribuées d'architectures d'apprentissage profond populaires afin d'accélérer l'entraînement effectif des modèles CNNs innovants dans des délais raisonnables et réduire l'écart entre les chercheurs et l'apprentissage en profondeur exigeant des compétences accrues. En outre, cette thèse introduit également Auto-CNNp, un nouveau framework basé sur les composants logiciels pour automatiser la parallélisation des CNNs en encapsulant et en cachant les tâches de routine de parallélisation au sein d'une structure de base tout en gardant la solution logicielle suffisamment flexible et extensible pour une personnalisation spécifique à l'utilisateur. Les résultats de l'évaluation de notre approche automatisée basée sur les composants sont prometteurs. Ils montrent qu'une accélération significative de la tâche de parallélisation CNN a été réalisée au détriment d'un temps d'exécution du framework négligeable, par rapport au temps nécessaire à la stratégie de parallélisation manuelle.Le couple de solutions logicielles précédemment introduites (R2D2 et Auto-CNNp) nous ont donné les outils appropriés pour effectuer une analyse expérimentale approfondie afin d'étudier la généralisation des techniques de parallélisation des CNNs vers la tâche de segmentation. Simultanément, nous avons mené une revue de littérature visant à étudier les sources de la reproductibilité dans l'entraînement des modèles d'apprentissage profond pour une configuration d'entraînement particulière de segmentation en imagerie médicale. Nous proposons également quelques recommandations de bonnes pratiques afin d'atténuer ces problèmes précités de reproductibilité d'entraînement des DNNs pour la segmentation en imagerie médicale. Enfin, nous faisons un certain nombre d'observations en nous basant sur une analyse approfondies des résultats de l'étude expérimentale déjà menée sur le parallélisation des CNNs, qui nous ont permis de proposer des directives et des recommandations pour distribuer l'entraînement des CNNs pour une segmentation sans perte de précisionDeep neural networks (DNNs) and particularly convolutional neural networks (CNNs) trained on large datasets are getting great success across a plethora of paramount applications. It has been providing powerful solutions and revolutionizing medicine, particularly, in the medical image analysis field. However, deep learning field comes up with multiple challenges: (1) training Convolutional Neural Networks (CNNs) is a computationally intensive and time-consuming task (2) introducing parallelism to CNNs in practice as it is a tedious, repetitive and error-prone process and (3) there is currently no broad study of the generalizability and the reproducibility of the CNN parallelism techniques on concrete medical imaging segmentation applications.Within this context, the present PhD thesis aims to tackle the aforementioned challenges. To achieve this goal, we conceived, implemented and validated an all-in-one scalable and component-based deep learning parallelism platform for medical imaging segmentation. First, we introduce R2D2, an end-to-end scalable deep learning toolkit for medical imaging segmentation. R2D2 proposes a set of new distributed versions of widely-used deep learning architectures (FCN and U-Net) in order to speed up building new distributive deep learning models and reduce the gap between researchers and talent-intensive deep learning. Next, this thesis also introduces Auto-CNNp, a component-based software framework to automate CNN parallelism throughout encapsulating and hiding typical CNNs parallelization routine tasks within a backbone structure while being extensible for user-specific customization. The evaluation results of our proposed automated component-based approach are promising. It shows that a significant speedup in the CNN parallelization task has been achieved to the detriment of a negligible framework execution time, compared to the manual parallelization strategy. The previously introduced couple of software solutions (R2D2 and Auto-CNNp) at our disposal led us to conduct a thorough and practical analysis of the generalizability of the CNN parallelism techniques to the imaging segmentation applications. Concurrently, we perform an in-depth literature review aiming to identify the sources of variability and study reproducibility issues of deep learning training process for particular CNNs training configurations applied for medical imaging segmentation. We also draw a set of good practices recommendations aiming to alleviate the aforementioned reproducibility issues for medical imaging segmentation DNNs training process. Finally, we make a number of observations based on a broad analysis of the results of the already conducted CNN parallelism experimental study which led us to propose a guideline and recommendations for scaling up CNNs for segmentation applications. We succeeded to eliminate the accuracy loss with scale for the U-Net CNN architecture and alleviate the accuracy degradation for the FCN CNN architecture
22
Decooninck, Anne-Sophie. "Modélisation par objets de systèmes complexes dans le cadre d'applications scientifiques spatiales : introduction de la notion de version dans un modèle objet multivue." Toulouse, INPT, 1994. http://www.theses.fr/1994INPT091H.
Full textAbstract:
La specification et la conception de systemes spatiaux complexes font appel a des outils de modelisation et d'analyse dans le domaine du calcul scientifique. Chacun de ces outils utilise sa propre representation du systeme spatial, ce qui pose des problemes de coherence et de communication. Pour resoudre ces problemes, nous proposons d'utiliser un modele unique du systeme faisant appel a la technologie objet. Pour montrer la faisabilite et l'apport de l'introduction de cette technologie dans le calcul scientifique, nous avons elabore un modele objet des donnees manipulees au cours du processus de modelisation et d'analyse de systemes spatiaux mis en uvre lors de l'utilisation de l'environnement systema. Ce modele a ensuite ete prototype a l'aide d'une base de donnees objet. Ceci nous a permis de mettre en evidence les benefices apportes en matiere, d'une part d'accessibilite, de coherence, de partage et de reutilisation des informations, et d'autre part d'evolutivite des modeles de systemes spatiaux et des outils logiciels. La technologie objet ne permet cependant pas de proposer une representation multiple des modeles, ni de gerer l'historique des modifications des donnees. Afin de resoudre ce probleme de representation multiple de systemes complexes comportant des entites composites et evolutives, nous proposons d'introduire les notions de vue et de version dans le modele objet. La definition d'entites possedant des informations communes, en particulier la structure de decomposition hierarchique, et des informations specifiques, contenues dans des vues, qui sont accedees a travers des points de vue permet de proposer la representation multiple d'objets composites. De plus, le versionnage des entites et des vues definies sur celles-ci permet d'assurer le suivi de l'evolution de ces informations. Le modele abstrait que nous proposons est compose d'un modele statique permettant la definition sous divers formalismes des entites, vues et points de vue, et d'un ensemble d'operations mettant en uvre des mecanismes d'evolution des versions des entites et des vues
23
Laporte, Pierre. "Conception assistée par ordinateur en automatique : un logiciel d'identification." Grenoble INPG, 1985. http://www.theses.fr/1985INPG0135.
Full textAbstract:
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
24
Wahl, François. "Un environnement d'aide aux ingénieurs basé sur une architecture en tâches et sur un module de visualisation de courbes. Application à la conception de procédés de raffinage." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1994. http://tel.archives-ouvertes.fr/tel-00529958.
Full textAbstract:
Dans le domaine du génie chimique, les ingénieurs tracent des courbes pour analyser les données recueillies. Une fois validée, cette connaissance est exploitée, en combinaison avec d'autres savoirs, sous forme de tâches. Cette thèse présente une architecture capable d'enchaîner n'importe quel type de tâches et de visualiser des courbes, appliquée à un problème d'aide à la conception de procédé de raffinage. L'architecture proposée repose sur une analyse objets des raisonnements, où figurent les notions de relations (inversibles ou non) et de flux du point de vue statique, de problèmes et de tâches du point de vue dynamique. Le module de visualisation exploite toutes les sortes de relations entre les variables et s'appuie sur des méthodes élaborées de tracé, dont deux sont nouvelles : la première s'inspire d'exemples a priori comme dans le raisonnement à base de cas, la seconde utilise les notions de monotonie et de concavité pour déduire des lignes dans un ensemble de points. L'application est exposée dans le détail et conduit à une analyse des problèmes de conception, et nous avons développé notamment une nouvelle classification de ces systèmes.
25
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 textAbstract:
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
26
Bertrand, André. "Synthèse assistée par ordinateur : approche stéréochimique dans le logiciel S.O.S. (Synthèse Organique Simulée)." Aix-Marseille 3, 1991. http://www.theses.fr/1991AIX30059.
Full textAbstract:
S. O. S. Est un logiciel fonctionnant sur micro-ordinateur compatible ibm pc. Il est destine a proposer des chemins de synthese suivant un processus retrosynthetique, en tenant compte de la stereochimie de la molecule cible et des reactions envisagees. Le programme est fonde sur l'utilisation d'une base de donnees reactionnelles, que l'utilisateur peut modifier et agrandir a volonte. La communication homme-machine est assuree par une interface basee sur la representation graphique, des molecules et des reactions, habituelle au chimiste. Les molecules sont decrites de facon interne par une table de connectivite. Le programme manipule la table de connectivite de la cible grace aux informations puisees dans la base donnees pour deduire la table d'un precurseur. Une representation graphique du precurseur est calculee a partir de cette table puis transmise a l'utilisateur par l'ecran. Le programme a ete applique a la synthese de la yohimbine et du bulnesol. Les resultats sont encourageants, puisque nous avons pu retrouver des schemas de synthese provenant de la litterature et proposer une voie nouvelle pour ces deux molecules. Les methodes et algorithmes elabores dans le programme pour aboutir a ces resultats sont decrites; en particulier: la perception des centres stereochimiques des molecules, representation et evaluation des transformations reactionnelles, ainsi que le calcul de la representation graphique des molecules a partir de la table de connectivite
27
Azario, Patrick. "Marseil : un logiciel d'aide à la synthèse organique." Aix-Marseille 3, 1992. http://www.theses.fr/1992AIX30062.
Full text
28
Daidié, Alain. "Réalisation d'un logiciel de conception automatique appliqué à la détermination des engrenages cylindriques : interfaçage avec un logiciel industriel de C.A.O." Toulouse, INSA, 1996. http://www.theses.fr/1996ISAT0001.
Full textAbstract:
Les objectifs de ce travail consistent, dans un premier temps, a elaborer un module de dimensionnement dans le domaine de la conception optimale de systemes mecaniques, puis dans un deuxieme temps, a coupler ce module avec un outil de cao et avec un generateur de systemes experts en vue de faire de la conception dynamique. Dans la premiere partie, nous definissons le concept de solution technologique d'une liaison a partir de la decomposition fonctionnelle d'un mecanisme. Apres cette etude, nous elaborons les bases d'un logiciel de conception intelligente integree (cii). Ce logiciel est oriente vers une aide a la conception de systemes mecaniques integrant le dimensionnement optimal des composants fonctionnels, ainsi que leur agencement pour approcher globalement la solution optimale. La seconde partie traite d'un exemple de solution technologique: l'etude du dimensionnement optimal d'un train d'engrenages cylindriques. A partir de criteres d'optimisation, (masse minimale, encombrement minimal, entraxe exact), une premiere etape de conception determine completement la geometrie de l'engrenage. Une deuxieme etape de verification valide la solution retenue par l'application des normes de calcul. Une derniere etude sur le choix de l'epaisseur de jante sous la denture permet de dimensionner completement le module engrenage. La derniere partie est consacree a la representation graphique et a la presentation des resultats. On presente l'organisation du logiciel cii ainsi que l'etude de l'interfacage des differents logiciels qui constituent cet outil d'assistance et on donne la representation tridimensionnelle d'une solution
29
Kalakech, Ali. "Conception d'un logiciel de programmation graphique des robots d'assemblage." Lille 1, 1991. http://www.theses.fr/1991LIL10052.
Full textAbstract:
On présente dans cette thèse une méthode de programmation des robots d'assemblage par l'utilisation de moyens graphiques. Cette méthode consiste à simuler, dans un premier temps, l'espace de travail du robot sur l'écran d'un ordinateur. Chaque élément de l'univers est présentée sur les quatre quadrants de l'écran, par ses trois vues du dessin industriel et par une quatrième vue perspective globale. Ensuite, on procède au montage automatique de l'assemblage sans tenir compte des contraintes physiques dues aux collisions: les graphes représentant les composants sont assemblés sur l'écran et l'assemblage final est totalement défini. Dans une troisième étape, on procède à une phase d'apprentissage graphique par démontage interactif des composants dans l'ordre inverse de leur montage, et cela en tenant compte des contraintes physiques. L'opérateur lance des commandes de déplacements élémentaires. Le calculateur interprète ces commandes en calculant les effets de collisions. Il valide et exécute uniquement les commandes qui sont physiquement réalisables. Ce cycle interactif est répété jusqu'au démontage complet de tous les composants de l'assemblage. Finalement, une simple inversion du cycle et des trajectoires de parcours trouvées lors de la phase d'apprentissage, permet à un générateur de plan de programmer les tâches d'assemblage (trajectoires de parcours, points et modes de préhension des composants, leurs positions finales et initiales. . . ). Une application portant sur une gamme d'assemblage de moteurs électriques est présentée en dernière partie de cette thèse
30
Rougerie, Christine. "Conception et réalisation d'un logiciel de CAO en automatique : identification et commande prédictive." Nice, 1988. http://www.theses.fr/1988NICE4176.
Full textAbstract:
Présentation d'un logiciel de CAO en automatique appelé SIDCO. Description du projet informatique et des cinq fonctions essentielles du logiciel : modélisation, simulation, identification paramétrique, commande prédictive, analyse des performances. Les méthodes de commande prédictive sont mises en œuvre, en simulation, sur deux modèles de système réel
31
Bennes, Lionel. "Vers une méthodologie de développement d'outils de réalité virtuelle pour faciliter la convergence métiers en conception de produits centrée sur l'homme." Phd thesis, Université de Technologie de Belfort-Montbeliard, 2013. http://tel.archives-ouvertes.fr/tel-00931376.
Full textAbstract:
La conception concourante de produits matériels centrée sur l'homme est basée sur une collaboration entre le concepteur mécanicien, l'ergonome et le designer industriel. Cette collaboration souvent difficile peut être facilitée par l'utilisation d'objets intermédiaires de conception, tels que la Réalité Virtuelle (RV). Néanmoins, bien que largement utilisée dans l'industrie, la RV souffre d'un déficit d'acceptation de la part des concepteurs de produits. Dans le cadre de ces travaux, nous proposons d'utiliser la RV sous la forme d'outils immersifs d'assistance à la convergence multidisciplinaire développés selon une démarche anthropocentrée en fonction des besoins spécifiques à chaque projet de conception de produits. Afin d'optimiser les délais de développement, nous proposons une méthodologie de conception d'applications immersive dédiée : la méthodologie ASAP(As Soon As Possible). Une première série expérimentale a été conduite dans le cadre de contrats industriels d'études et de recherche afin de valider la faisabilité de la méthodologie et l'efficacité des outils développés.Une deuxième série expérimentale a été effectuée sur plus de 50 sujets dans le cadre de projets, cette fois, pédagogiques qui ont nécessité le développement de 12 applications. Elle a permis de valider quantitativement l'influence des outils immersifs sur l'efficacité perçue des phases de convergence interdisciplinaires ainsi que l'influence de l'approche proposée sur l'acceptation de la RV par les concepteurs de produits. Ces travaux de thèse présentent une première approche qui, selon nous, permettra à terme, de faire évoluer l'usage de la RV vers une intégration plus forte au sein des processus de conception de produits avec, par exemple, une plus large utilisation des applications immersives de modélisation 3D, réelles sources d'innovation.
32
Mabed, Rachid. "Casi : un modèle et un logiciel pour l'enseignement de la conception des systèmes d’information." Nice, 1988. http://www.theses.fr/1988NICE4227.
Full textAbstract:
Le modèle présenté définit les concepts nécessaires et suffisants, avec les paramètres associés à chacun, pour l'élaboration de l'analyse fonctionnelle d'une application. C'est un didacticiel interactif qui guide le concepteur dans la saisie des valeurs de paramètres pour toutes les réalisations de concepts
33
Bariani, Jean-Paul. "Conception et réalisation d'un logiciel de CAO en automatique : identification structurelle et commande PID." Nice, 1988. http://www.theses.fr/1988NICE4175.
Full text
34
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 textAbstract:
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.
35
Muhandes, Aamer. "Lima : logiciel interactif pour la modélisation et l'analyse des systèmes non-linéaires." Lille 1, 1987. http://www.theses.fr/1987LIL10138.
Full textAbstract:
Présentation du logiciel LIMA rendant accessible les méthodes d'étude de stabilité des systèmes non linéaires. On utilise la modélisation sous forme en flèche permettant de choisir les paramètres diagonaux et de les optimiser
36
Houpert, Sylvain. "Approche inverse pour la résolution de contraintes solaires et visuelles dans le projet architectural et urbain : développement et application du logiciel SVR." Nantes, 2003. http://www.theses.fr/2003NANT2084.
Full textAbstract:
Nous évaluons la pertinence d'une approche de simulation inverse des facteurs physiques d'ambiances dans les processus de conception architecturale. Un outil de simulation inverse est développé (SVR) et interfacé en sur-couche du logiciel AutoCAD. Il agrège des méthodes de simulation inverse de l'ensoleillement et de la visibilité. . .
37
Duarte, Da Costa Fabio Paraguaçu. "Vygotsky : un environnement d'apprentissage social pour la programmation fondé sur la collaboration entre agents d'aide à la conception par cas." Aix-Marseille 3, 1997. http://www.theses.fr/1997AIX30062.
Full textAbstract:
Nos travaux de recherche s'inscrivent dans le cadre de la conception et du developpement d'un environnement d'apprentissage social (eas) pour l'apprentissage de la programmation a des apprenants novices. Pour la conception de cet eas, nous nous sommes fondes sur la theorie du psychologue russe vygotsky qui affirme l'importance de la collaboration pour le developpement cognitif. Cet eas, appele vygotsky, se propose d'aider l'apprenant pendant la phase d'analyse du probleme de programmation et de developpement de la solution ou conception du programme. Pendant ces deux phases, nous modelisons l'interaction entre trois agents : l'agent apprenant (humain), l'agent professeur concepteur (logiciel) et l'agent compagnon concepteur (logiciel). Ces agents sont dotes d'une memoire et ils gerent un ensemble de cas de programmation. Nous avons choisi comme domaine d'application hypertalk, le langage de programmation de l'environnement hypercard. Pour la mise en uvre de ces trois agents nous proposons : - un ensemble d'outils cognitifs des agents. Ces outils ont ete concus en reponse a la question suivante : quels sont les outils que doivent avoir les agents en situation de resolution de problemes en collaboration ? nous proposons trois sortes d'outisl : les outils pour la realisation de la tache, les outils pour la collaboration et les outils de communication. - une structure de representation et d'indexation des cas : l'elaboration de l'architecture du systeme vygotsky est fondee sur le processus de collaboration entre les agents ; pour ce faire nous proposons une structure de representation et d'indexation des cas adaptee a des situations de collaboration. - un ensemble de protocoles de collaboration : en s'inspirant des protocoles reels utilises par des psychologues socio-constructivistes, nous proposons un modele informatique du processus collaboratif.
38
Happy, Henri. "Helena : un logiciel convivial de simulation des composants à effets de Champs." Lille 1, 1992. http://www.theses.fr/1992LIL10062.
Full textAbstract:
Ce travail concerne la modélisation de composants à Effet de Champ en régime linéaire, intégrée à un logiciel convivial nommé HELENA, pour «Hemt ELEctrical properties and Noise Analysis». HELENA est un logiciel facile d'emploi, qui permet d'obtenir : la loi de commande de charges de la structure des couches sous la grille (caractéristique C-V), les caractéristiques statiques du transistor, le schéma équivalent intrinsèque petit signal, les performances de bruit du transistor extrinsèque, les paramètres S et les différents gains. La modélisation est basée sur l'approche quasi-bidimensionnelle, qui est améliorée de façon significative: 1) Nous tenons compte de la loi de commande de charges exacte de la structure pour l'analyse du composant. 2) Les paramètres du schéma équivalent petit signal sont déterminés par la méthode de la ligne active. 3) Les performances de bruit du transistor sont calculées en utilisant le formalisme des matrices de corrélation, couplé à la méthode de la ligne active. 4) Le découplage total entre l'analyse de la loi de commande de charges et l'analyse des performances du transistor permet de traiter divers types de composants HEMT et MESFET. Les différents résultats sont obtenus avec des temps de calcul réduits, et son en bon accord avec l'expérience, dans une large gamme de fréquences. Le logiciel HELENA constitue ainsi un outil très intéressant pour l'optimisation de composants discrets et des circuits micro-ondes. Une commercialisation de ce logiciel est prévue, et des contacts sont pris dans ce sens
39
Khaksari, Haddad Hadi. "Alignement de nuages de points pour la comparaison des infrastructures en génie civil et pour le contrôle de la qualité en métrologie." Master's thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/40349.
Full textAbstract:
Pour la mise en registre de nuages de points 3D, il a été démontré que Go-ICP [Yan+16] obtenait la solution globale optimale pour une paire composée d’un nuage de points modèle et d’un nuage de points de données. Go-ICP a principalement été étudié uniquement sur des ensembles standards de nuages de points. Nous démontrons l’efficacité remarquable de Go-ICP pour l’alignement de nuages de points très complexes à grande échelle sur leurs modèles de CAO déformés correspondants. En particulier, si on considère deux ensembles distincts de nuages de points pris à l’extérieur et à l’intérieur d’un bâtiment, les expériences démontrent que Go-ICP est capable d’aligner avec succès ces deux ensembles sur le nuage de points du modèle de CAO de l’ensemble du bâtiment (informations extérieures et intérieures incluses). Avec l’expérimentation présentée dans cet article, nous démontrons que Go-ICP peut obtenir d’excellents résultats en matière d’alignement et que cette approche peut être déployée dans des applications visant à comparer les modèles CAO d’un bâtiment (modèle "tel que conçu") au nuage de points de la configuration réelle du bâtiment (modèle "tel que construit"). Les expériences démontrent également l’efficacité de Go-ICP pour aligner une copie déformée d’un objet fabriqué par l’homme sur l’objet d’origine dans les applications de contrôle de la qualité. Cet travail a été présenté lors de la conférence internationale en Europe centrale sur l’infographie, la visualisation et la vision par ordinateur 2019 en version orale et a été publié dans le journal du WSCG 2019.
40
Roche, Alain. "Définition et réalisation d'un logiciel d'aide à la conception de systèmes d'information." Montpellier 2, 1990. http://www.theses.fr/1990MON20145.
Full textAbstract:
Dans la pratique, la gestion des informations necessaires a la definition d'une base de donnees s'avere tres difficile. Des outils de normalisation permettent de faciliter cette etape. La normalisation fine offre l'avantage de produire des schemas conceptuels irredondants et sous forme graphique. En prenant en compte les dependances d'inclusion dans le processus de normalisation, on obtient un modele pour definir les schemas de donnees encore plus puissant. Le processus de normalisation fine etendue aux dependances d'inclusion a ete automatise dans un logiciel, lacsi, fonctionnant un micro-ordinateur macintosh. Lacsi, qui offre en outre une ergonomie et une interactivite conviviale, est operationnel et rend bien compte de l'interet d'un tel outil
41
Druais, Serge. "Techniques d'intelligence artificielle et aide à la conception d'ateliers." Toulouse, ENSAE, 1988. http://www.theses.fr/1988ESAE0005.
Full textAbstract:
Automatisation et flexibilisation des ateliers de production au moyen d'une boucle de simulation qui peut être décrite comme suit : choix d'un modèle, simulation de la configuration, interprétation des résultats, analyse des performances.
42
Belattar, Brahim. "Conception et réalisation d'un système d'animation graphique pour modèles de simulation à événements discrets." Lyon 1, 1991. http://www.theses.fr/1991LYO10110.
Full textAbstract:
Les resultats fournis par une simulation sont traditionnellement presentes sous forme de rapports statistiques qui synthetisent l'evolution des variables observees durant l'execution de la simulation. Les resultats statistiques sont tres utiles pour mesurer les performances du systeme simule, mais ne permettent pas de voir les interactions dynamiques qui se produisent entre les composantes du systeme au cours de la simulation. Il devient donc necessaire de disposer d'outils plus conviviaux qui faciliteraient la comprehension de la dynamique d'un systeme. L'animation graphique est a notre avis, l'outil le mieux approprie pour resoudre ce probleme. Notre travail a consiste a concevoir et realiser un systeme d'animation graphique (appele sysamse) permettant de visualiser le comportement dynamique d'un modele de simulation a evenements discrets. La demarche conceptuelle que nous avons suivi est justifiee a la lumiere d'une analyse critique de l'existant. L'architecture du systeme est presentee; ses principales fonctions sont exposees. L'interface de communication entre sysamse et le simulateur slam est presentee. Les etapes de construction d'une animation graphique sont expliquees a travers un exemple. Les differents niveaux qui peuvent etre envisages pour construire une animation avec sysamse sont discutes. Les problemes de l'independance de sysamse avec le simulateur hote et de sa portabilite vers un environnement de type micro-ordinateur sont analyses. Les tendances actuelles des recherches concernant l'application des techniques d'intelligence artificielle et des systemes experts en simulation sont abordees. Une place importante est reservee au probleme de la construction automatique d'un modele de simulation. Pour resoudre ce probleme, nous proposons une nouvelle approche basee sur le couplage d'une composante intelligente a sysamse. Les interets pratiques d'une telle approche sont mis en evidence
43
Descamps, Gilles-Eric. "Méthode de distribution hiérarchique d'outils de vérification de circuits intégrés VLSI sur un réseau de stations de travail : application à un vérificateur de règles de dessin." Paris 6, 1996. http://www.theses.fr/1996PA066808.
Full text
44
Aunay, Sylvain. "Architecture de logiciel de modélisation et traitements distribués." Compiègne, 1990. http://www.theses.fr/1990COMPD244.
Full textAbstract:
Le domaine de la modélisation en ingénierie évolue très rapidement. La modélisation de phénomènes physiques complexes, l'interaction des différents domaines d'application entre eux et l'émergence de techniques informatiques reposant sur des concepts nouveaux constituent des évolutions profondes qui remettent en cause l'architecture traditionnelle des logiciels de modélisation. Nous proposons une nouvelle architecture de logiciel de modélisation qui tient compte de ces évolutions et offre un environnement logiciel adapté à des modélisations complexes qui s'intègrent dans une démarche générale de conception assistée par ordinateur. Constituant la base d'un logiciel général de modélisation, cette architecture permet de tirer efficacement parti des interfaces utilisateurs modernes, des environnements graphiques de haut de gamme, des ordinateurs multiprocesseurs et des techniques d'intelligence artificielle. La répartition de la base de données du logiciel sur un réseau de processeurs (ou d'ordinateurs) permet de sous-traiter dans ceux-ci l'exécution de commandes du logiciel et d'exploiter la puissance et les caractéristiques des matériels informatiques disponibles.
45
Duperrier, Cédric. "Développement d'un logiciel d'assistance à la conception des circuits non linéaires microondes : Application à l'amplification distribuée non uniforme de puissance à très large bande en technologie MMIC." Limoges, 2001. http://www.theses.fr/2001LIMO0053.
Full textAbstract:
Le thème essentiel de cette thèse concerne l'étude des différentes méthodologies et critères de conception d'amplificateur de puissance non linéaires aux fréquences microondes. Les travaux présentés dans ce manuscrit sont divisés en deux parties : -Réalisation d'un amplificateur distribué de puissance en technologie MMIC délivrant 1W sur la bande de fréquence 4-18GHz pour contre mesures avioniques. En collaboration avec Thalès Microwave, une topologie originale d'amplificateur distribué de puissance a été réalisée afin d"évaluer le potentiel de la filière pHEMT de la fonderie Trinquint Semiconductor Texas pour l'amplification de puissance en large bande. La conception de cet amplificateur a permis de concevoir une nouvelle topologie d'amplificateur distribué de puissance, dite non uniforme ( constitué de transistors de développement différent) et de développer les méthodologies d'optimisation propres à ce types de circuit. -Création d'un assistant d' aide à la conception d'amplificateurs de puissance microondes et millimétriques. Dans le cadre d'un programme de recherche en collaboration avec le CNES,un assistant d'aide à la conception des circuits non linéaires microondes a été développé. L'objectif est de mettre à la disposition des concepteurs, un outil informatique à même de les guider efficacement dans leurs démarches de conception et de leur faciliter l'implémentation de méthodes adaptées afin de leur permettre de passer de plus en plus de temps sur les problèmes de conception et le développement de solutiosn innovantesThe main theme of this thesis relates to the study of various methodology and design criteria of non-linear power amplifier at microwave frequencies. The work presented in this manuscript can be divided in main parts : -Realization of a MMIC power distributed amplifier exhibiting 1W on the frequency bandwidth 4-18Ghz -Development of electronic assistant tool for the design of microwave power amplifiers
46
Tomas, Jean. "Caractérisation par simulation de la métastabilité des circuits séquentiels : application à des structures VLSI." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10580.
Full textAbstract:
Le travail presente consiste en la realisation d'un logiciel d'aide a la conception de circuits unifieurs, appele remus (recherche des etats metastables dans les circuits unifieurs par simulation), en vue de leur optimisation vis-a-vis de la metastabilite. Ce programme, ecrit en pascal, implante sur micro-vax est bati autour du simulateur electrique spice. Les algorithmes implantes permettent d'obtenir la courbe d'incertitude de l'unifieur avec en temps de calcul reduit. Les resultats de sept circuits temoins sont presentes comparativement
47
Caffiau, Sybille. "Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches." Phd thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique, 2009. http://tel.archives-ouvertes.fr/tel-00461497.
Full textAbstract:
Actuellement, les applications interactives sont utilisées dans de nombreux domaines (guichets automatiques, tours de contrôle...), par des publics très différents (enfants, experts, handicapés...) et par un nombre important d'utilisateurs (interfaces de téléphones portables...) ou au contraire très spécifiques (logiciels conçus spécifiquement pour une entreprise). Elles sont de ce fait très diverses. De par la multiplicité des paramètres à prendre en compte, la conception et le développement des applications interactives sont devenus très coûteux. Afin de réduire ces coûts, des recherches sont actuellement menées sur le processus de conception. Cette thèse s'inscrit dans ces travaux. L'un des axes étudiés pour réduire le coût de production des applications interactives est la détection des erreurs le plus en amont possible pendant le processus de conception. Nous proposons de faciliter la vérification et la validation de la dynamique des applications (plus spécifiquement dénommée dialogue) tout au long de la conception, en fonction des spécifications recueillies auprès des futurs utilisateurs, exprimés sous forme de modèles de tâches. Les modèles de dialogue et les modèles de tâches représentent deux points de vue différents et complémentaires pour une même application. Nous proposons une approche de vérification de cohérence entre ces deux modèles tout au long du cycle de vie de l'application. Pour cela, nous avons défini des règles de cohérence entre les modèles que nous vérifions formellement en utilisant une méta-modélisation des formalismes que nous avons choisis après évaluation de leur utilisation pour une conception centrée-utilisateur.
48
Ribereau, Dominique. "Génération d'un logiciel de simulation de la combustion d'un bloc de propergol solide." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10594.
Full textAbstract:
Etablissement d'un code d'application industrielle qui simule en 3d la combustion de chargements de propergol solide. La modelisation de la regression de surface, a vitesse constante ou variable, est realisee grace a un systeme hyperbolique qui utilise les normales au front de flamme. Utilisation de la conception assistee par ordinateur pour construire et visualiser un maillage surfacique tridimensionnel, sur lequel s'appuie la resolution numerique. Etude d'un autre modele pour simuler la combustion de blocs a fils
49
Djafi, Faouzi. "L'apport du réalisme visuel à la représentation de l'image de synthèse dans un contexte de conception architecturale assistée par ordinateur (CAAO)." Thesis, Université Laval, 2005. http://www.theses.ulaval.ca/2005/22462/22462.pdf.
Full textAbstract:
Cette recherche porte sur l’image de synthèse et le réalisme visuel considérés à la fois comme outils d’acquisition de connaissances et supports à la conception architecturale assistée par ordinateur (CAAO). L’objectif est de documenter et valider l’apport du réalisme visuel, contenu dans les images de synthèse, au processus d’élaboration du projet architectural. L’hypothèse validée est une « corrélation » des valeurs d’irradiance et de radiance avec le degré de réalisme des images de synthèse.
Le résultat pratique de ce travail est la proposition d’une méthodologie d’évaluation du réalisme visuel basé sur l’estimation des valeurs d’irradiance et de radiance à l’aide du système Radiance. Ce protocole précise pour la génération des images de synthèse les programmes et paramètres, l’ordre et leur séquence d’utilisation pour la génération des images de synthèse. Enfin, ce protocole inclut une procédure appropriée au transfert de fichiers entre le logiciel formZ et le système Radiance.This research is concerned with synthesized images and visual realism as knowledge generation tools for CAAD (Computer Aided Architectural Design). The research goal is to document and validate contained visual realism in synthesized images to the architectural project elaboration process. The validated hypothesis is a « correlation » of irradiance and radiance values with the degree of visuel realism of synthesized images. As a practical outcome, this work proposes an evaluation methodology of visual realism based on irradiance and radiance values estimation with Radiance System. This protocol defines the programs and parameters to be used and their sequence to generate synthetic images. Furthermore, the protocol includes a files transfer procedure from formZ to Radiance System.
50
Manin, Lionel. "Modèles de comportement multiniveaux pour la Conception Mécanique Assistée par Ordinateur : application à la prévision du comportement thermique de transmissions de puissance par engrenages." Lyon, INSA, 1999. http://theses.insa-lyon.fr/publication/1999ISAL0019/these.pdf.
Full textAbstract:
La Conception Mécanique Assistée par Ordinateur (CMAO) a pour objet de concevoir des produits en intégrant un maximum de contraintes. L'objectif principal étant de toujours mieux prévoir le comportement du produit afin d'en optimiser la conception. La prévision du comportement d'un produit passe par l'élaboration de modèles à plusieurs niveaux de comportement. Dans notre travail, nous avons considéré la prévision du comportement thermique d'un système en cours de conception. En effet, actuellement la réduction de la masse des systèmes pour en optimiser le rendement diminue la capacité de dissipation d'énergie et conduit à une élévation des niveaux de température moyen qu'il devient nécessaire d'intégrer au processus de conception mécanique. Nous avons retenu les applications de transmissions de puissance par engrenages. L'originalité du travail provient du fait qu'un assemblage de modélisations variées à différents niveaux d'observation est effectué pour aboutir à un modèle de comportement thermique global. Tout d'abord, une étude bibliographique a permis de fixer les bases du travail; et de recenser les différentes approches et modélisations existantes des phénomènes thermiques dans les transmissions de puissance par engrenages. Ensuite, une méthodologie de modélisation du comportement thermique d'une boîte générique de transmission de puissance par engrenages a été développée. Un modèle thermique nodal du système complet a été réalisé en intégrant des modèles thermiques nodaux définis pour chaque classe d'éléments technologiques. L'approche numérique a été validée expérimentalement sur banc d'essais. Enfin, une exploitation de la méthodologie est présentée à travers des prévisions de comportement utiles pour la conception mécanique d'un système de transmission de puissance par engrenagesThe aim of Computer Aided Design in mechanics is to design products with a maximum constraints integrated in the design process. The main aim is to predict as closest as possible the mechanism behavior in order to optimize its design. Numerical modeling provides results in several fields (static's, dynamics, thermal behavior…), in this work, we have considered the thermal behavior of a system at its preliminary design step. The actual trends of saving weight in order to increase efficiency reduce the heat dissipation capacity and consequently create a rise of the mean operating temperatures which must be integrated in the design process. The application in this work deals with the thermal behavior prediction of power gearing transmissions. The originality of this work comes from the simultaneous application of global and local approaches. First, a bibliographical study has been done in order to set down the bases of the work, and to make a census of the different existing approaches and modeling studies of the thermal problem in power gearing transmissions. Then, a methodology of thermal behavior modeling of a generic power gearing transmission has been developed. A global thermal model has been achieved using the thermal network method; it is composed of local models defined for each technological class of elements. Experiments on industrial test bench were carried out in order to validate the numerical approach. Finally, the established procedures were applied in order to provide thermal behavior prediction in several cases for mechanical design