Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche       Sur le même sujet :     Mécatronique     Thèses et écrits académiques     Parcourir le catalogue     par auteur:      Raka , Sid-Ahmed , 1981-....      Barbot , Jean-Pierre , 19..-.... , auteur en automatique      Lesecq , Suzanne      Jaulin , Luc , 1967-....      Rivière , Alain      Larouci , Chérif , 1975-....      Combastel , Christophe , 1973-....      Université de Cergy-Pontoise , 1991-2019      École doctorale Sciences et ingénierie , Cergy-Pontoise, Val d'Oise         Affichage MARC

Auteur :  Raka , Sid-Ahmed , 1981-.... Barbot , Jean-Pierre , 19..-.... , auteur en automatique Lesecq , Suzanne Jaulin , Luc , 1967-.... Rivière , Alain Larouci , Chérif , 1975-.... Combastel , Christophe , 1973-.... Université de Cergy-Pontoise , 1991-2019 École doctorale Sciences et ingénierie , Cergy-Pontoise, Val d'Oise Titre :  Méthodes et outils ensemblistes pour le pré-dimensionnement de systèmes mécatroniques , Sid-Ahmed Raka ; sous la direction de Jean-Pierre Barbot Editeur :  2011 Notes :  Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) Partenaire(s) de recherche : Equipe Commande de Systèmes (Laboratoire) Autre(s) contribution(s) : Jean-Pierre Barbot, Alain Rivière, Chérif Larouci, Christophe Combastel (Membre(s) du jury) ; Suzanne Lesecq, Luc Jaulin (Rapporteur(s)) Thèse de doctorat Génie électrique et électronique - Cergy Cergy-Pontoise 2011 Le pré-dimensionnement se situe en amont du processus de conception d'un système : à partir d'un ensemble d'exigences, il consiste à déterminer un ensemble de solutions techniques possibles dans un espace de recherche souvent très grand et structuré par une connaissance partielle et incertaine du futur système et de son environnement. Bien avant de penser au choix définitif des composants et au dimensionnement précis du système complet, les concepteurs doivent s'appuyer sur un premier cahier des charges, des modélisations des principaux phénomènes et divers retours d'expériences pour formaliser des contraintes, faire des hypothèses simplificatrices, envisager diverses architectures et faire des choix sur des données imprécises (i.e. caractérisées sous la forme d'intervalles, de listes de valeurs possibles, etc…). Les choix effectués lors du pré-dimensionnement pouvant être très lourds de conséquences sur la suite du développement, il est primordial de détecter au plus tôt d'éventuelles incohérences et de pouvoir vérifier la satisfaction des exigences dans un contexte incertain. Dans ce travail, une méthodologie de vérification des exigences basée sur l'échange de modèles ensemblistes entre donneurs d'ordre et fournisseurs est proposée. Elle s'inscrit dans le cadre d'un paradigme de conception basé sur la réduction d'incertitudes. Après un travail portant sur la modélisation des systèmes mécatroniques, une attention particulière est portée à la prise en compte d'incertitudes déterministes sur des grandeurs continues : des techniques basées sur l'analyse par intervalles telles que la satisfaction de contraintes (CSP), des calculs d'atteignabilité pour des modèles dynamiques de connaissances ou encore l'identification de modèles de comportements ensemblistes sont ainsi mis en œuvre et développés afin d'outiller la méthodologie proposée et contribuer à répondre à l'objectif d'une vérification à couverture garantie. The pre-sizing takes place upstream to the process of designing a system: from a set of requirements, it consists in determining a set of possible technical solutions in an often very large search space which is structured by the uncertain and partial knowledge available about the future system and its environment. Long before making the final choice and the final sizing of the system components, the designers have to use specifications, models of the main phenomena, and experience feedbacks to formalize some constraints, make simplifying assumptions, consider various architectures and make choices based on imprecise data (i.e. intervals, finite sets of possible values, etc…). The choices made during the pre-sizing process often involving strong commitments for the further developments, it is very important to early detect potential inconsistencies and to verify the satisfaction of the requirements in an uncertain context. In this work, a methodology based on the exchange of set-membership models between principals and suppliers is proposed for the verification of requirements. This methodology is fully consistent with a design paradigm based on the reduction of uncertainties. After a work dedicated to the modeling of mechatronic systems, a special attention is paid to dealing with deterministic uncertainties affecting continuous values: some techniques based on interval analysis such as constraint satisfaction (interval CSP), reachability computations for knowledge dynamic models or identification of set-membership behavioral models are used and developed, so providing a set of tools to implement the proposed methodology and contribute to reach the goal of a verification with a full and guaranteed coverage. Configuration requise : un logiciel capable de lire un fichier au format : PDF Sujet :  Mécatronique Thèses et écrits académiques   Exemplaires Pas de données exemplaires

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.