Documents disponibles dans la collection

Conception systémique pour la conversion d'énergie électrique, 2. Approche intégrée par optimisation / Xavier Roboam

Public ISBD Titre de série : Conception systémique pour la conversion d'énergie électrique, 2 Titre : Approche intégrée par optimisation Type de document : texte imprimé Auteurs : Xavier Roboam, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Année de publication : 2012 Autre Editeur : Paris : Lavoisier Collection : Recherche, technologie, applications Sous-collection : Génie électrique Importance : 292 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3193-1 Note générale : Notes bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Réseaux  électriques  (énergie)  --  Modèles  mathématiques Réseaux  électriques  d'interconnexion  --  Modèles  mathématiques Optimisation  mathématique Énergie  --  Conversion  directe  --  Modèles  mathématiques Index. décimale : 621.311 Production et approvisionnement en énergie électrique. Usines génératrices. Système, équipement et disposition d'approvisionnement en énergie électrique. Schémas d'électrification Résumé : Le contexte économique impose des systèmes toujours plus performants, minimisant coûts d’investissement et de possession. Si les méthodes d’analyse, de synthèse et de gestion présentées dans le premier volume Conception systémique pour la conversion d’énergie électrique 1 participent à l’optimisation des systèmes énergétiques, les techniques traitées dans cet ouvrage proposent d’aller encore plus loin dans la performance. La complexité de systèmes multidisciplinaires à fort degré de couplage augmentant, le processus de conception par optimisation consistant à coupler un modèle à un algorithme d’optimisation au sein d’un environnement logiciel devient dès lors indispensable. Ce volume rassemble les points-clés permettant de représenter efficacement et de façon compacte l’environnement système et les profils de mission, mais également les méthodes, modèles et outils dédiés à l’optimisation. Les approches multiniveaux de conception et l’optimisation technico-économique des réseaux électriques sont particulièrement détaillées. Note de contenu : Au sommaire : 1. Traitement de la mission et des données environnementales 2. Modèles analytiques pour le dimensionnement par optimisation des systèmes d’énergie électrique 3. Méthodologies de conception simultanée par optimisation évolutionnaire 4. Approches multiniveaux pour la conception par optimisation des systèmes électromécaniques 5. Outils pour la conception et l’optimisation multicritère 6. Optimisation technico-économique des réseaux d’énergie Conception systémique pour la conversion d'énergie électrique, 2. Approche intégrée par optimisation [texte imprimé] / Xavier Roboam, Directeur de publication, rédacteur en chef . - Hermès Science : Paris : Lavoisier, 2012 . - 292 p. : ill. ; 24 cm. - (Recherche, technologie, applications. Génie électrique) . ISBN : 978-2-7462-3193-1 Notes bibliogr. en fin de chapitres. - Index Langues : Français (fre) Mots-clés : Réseaux  électriques  (énergie)  --  Modèles  mathématiques Réseaux  électriques  d'interconnexion  --  Modèles  mathématiques Optimisation  mathématique Énergie  --  Conversion  directe  --  Modèles  mathématiques Index. décimale : 621.311 Production et approvisionnement en énergie électrique. Usines génératrices. Système, équipement et disposition d'approvisionnement en énergie électrique. Schémas d'électrification Résumé : Le contexte économique impose des systèmes toujours plus performants, minimisant coûts d’investissement et de possession. Si les méthodes d’analyse, de synthèse et de gestion présentées dans le premier volume Conception systémique pour la conversion d’énergie électrique 1 participent à l’optimisation des systèmes énergétiques, les techniques traitées dans cet ouvrage proposent d’aller encore plus loin dans la performance. La complexité de systèmes multidisciplinaires à fort degré de couplage augmentant, le processus de conception par optimisation consistant à coupler un modèle à un algorithme d’optimisation au sein d’un environnement logiciel devient dès lors indispensable. Ce volume rassemble les points-clés permettant de représenter efficacement et de façon compacte l’environnement système et les profils de mission, mais également les méthodes, modèles et outils dédiés à l’optimisation. Les approches multiniveaux de conception et l’optimisation technico-économique des réseaux électriques sont particulièrement détaillées. Note de contenu : Au sommaire : 1. Traitement de la mission et des données environnementales 2. Modèles analytiques pour le dimensionnement par optimisation des systèmes d’énergie électrique 3. Méthodologies de conception simultanée par optimisation évolutionnaire 4. Approches multiniveaux pour la conception par optimisation des systèmes électromécaniques 5. Outils pour la conception et l’optimisation multicritère 6. Optimisation technico-économique des réseaux d’énergie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
054805	621.311 CON	Papier	Bibliothèque Centrale	Electrotechnique	Disponible	En bon état
054806	621.311 CON	Papier	Bibliothèque Centrale	Electrotechnique	Disponible	En bon état
055642	621.311 CON	Papier	Bibliothèque Centrale	Electrotechnique	Disponible	En bon état
055643	621.311 CON	Papier	Bibliothèque Centrale	Electrotechnique	Disponible	Consultation sur place

Métaheuristiques pour l'ordonnancement multicritère et les problèmes de transport

Public ISBD Titre : Métaheuristiques pour l'ordonnancement multicritère et les problèmes de transport Type de document : texte imprimé Auteurs : Bassem Jarboui, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Année de publication : 2013 Collection : Recherche, technologie, applications Sous-collection : Productique Importance : VII, 323 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-4523-5 Note générale : Bibliogr. - Index Disponible Pour la même édition 2013, ISBN : 978-2-7462-3926-5 Langues : Français (fre) Mots-clés : Ordonnancement  (gestion)  --  Productique Métaheuristiques Problèmes  de  transport  (programmation) Transport Index. décimale : 519.863 Modèles d'optimisation Résumé : Pour assurer une production de biens de qualité, de manière fiable et dans des délais maîtrisés, les organisations ont besoin d’outils d'exécution optimale de tâches tels que l’ordonnancement. Le succès des méthodologies de résolution des problèmes d’ordonnancement de production basées sur les métaheuristiques s’explique par leur capacité à fournir des solutions proches de l’optimum, dans des temps raisonnables. Cet ouvrage se consacre, dans un premier temps, aux métaheuristiques appliquées aux problèmes d’ordonnancement multicritère, qui sont des cas particuliers des problèmes d’optimisation combinatoire multicritère, généralement NP-difficiles. Puis, il s’intéresse aux préoccupations d’ordonnancement dans le secteur du transport qui suscitent également de multiples problèmes d’optimisation. Deux grands domaines d’application se distinguent, celui des systèmes de transport et celui des ressources de transport intervenant dans un atelier Note de contenu : I. Ordonnancement multicritère de la production 1. Métaheuristiques pour l’ordonnancement bi-objectif de type flowshop 2. Stratégies de résolution Pareto pour le problème industriel d’ordonnancement de voitures 3. Métaheuristiques multi-objectif pour l’ordonnancement conjoint de la production et de la maintenance 4. Optimisation via algorithme génétique du paramétrage de la méthode AHP pour l’ordonnancement multicritère d’atelier 5. Un algorithme génétique multicritère pour la résolution du problème d’ordonnancement de tâches avec contraintes de ressources II. Ordonnancement pour les problèmes de transport 1. Métaheuristique pour la résolution des problèmes de tournées de véhicules dans un contexte dynamique 2. Couplage métaheuristique et modèle de simulation pour l’ordonnancement d’activités de transport avec contraintes de ressources 3. Problèmes d’élaboration de tournées avec contraintes d’ordonnancement 4. Métaheuristiques pour l’ordonnancement des ateliers avec transport Métaheuristiques pour l'ordonnancement multicritère et les problèmes de transport [texte imprimé] / Bassem Jarboui, Directeur de publication, rédacteur en chef . - Hermès Science, 2013 . - VII, 323 p. : ill. ; 24 cm. - (Recherche, technologie, applications. Productique) . ISBN : 978-2-7462-4523-5 Bibliogr. - Index Disponible Pour la même édition 2013, ISBN : 978-2-7462-3926-5 Langues : Français (fre) Mots-clés : Ordonnancement  (gestion)  --  Productique Métaheuristiques Problèmes  de  transport  (programmation) Transport Index. décimale : 519.863 Modèles d'optimisation Résumé : Pour assurer une production de biens de qualité, de manière fiable et dans des délais maîtrisés, les organisations ont besoin d’outils d'exécution optimale de tâches tels que l’ordonnancement. Le succès des méthodologies de résolution des problèmes d’ordonnancement de production basées sur les métaheuristiques s’explique par leur capacité à fournir des solutions proches de l’optimum, dans des temps raisonnables. Cet ouvrage se consacre, dans un premier temps, aux métaheuristiques appliquées aux problèmes d’ordonnancement multicritère, qui sont des cas particuliers des problèmes d’optimisation combinatoire multicritère, généralement NP-difficiles. Puis, il s’intéresse aux préoccupations d’ordonnancement dans le secteur du transport qui suscitent également de multiples problèmes d’optimisation. Deux grands domaines d’application se distinguent, celui des systèmes de transport et celui des ressources de transport intervenant dans un atelier Note de contenu : I. Ordonnancement multicritère de la production 1. Métaheuristiques pour l’ordonnancement bi-objectif de type flowshop 2. Stratégies de résolution Pareto pour le problème industriel d’ordonnancement de voitures 3. Métaheuristiques multi-objectif pour l’ordonnancement conjoint de la production et de la maintenance 4. Optimisation via algorithme génétique du paramétrage de la méthode AHP pour l’ordonnancement multicritère d’atelier 5. Un algorithme génétique multicritère pour la résolution du problème d’ordonnancement de tâches avec contraintes de ressources II. Ordonnancement pour les problèmes de transport 1. Métaheuristique pour la résolution des problèmes de tournées de véhicules dans un contexte dynamique 2. Couplage métaheuristique et modèle de simulation pour l’ordonnancement d’activités de transport avec contraintes de ressources 3. Problèmes d’élaboration de tournées avec contraintes d’ordonnancement 4. Métaheuristiques pour l’ordonnancement des ateliers avec transport

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055004	519.863 MET	Papier	Bibliothèque Centrale	Management - Gestion	Disponible	Consultation sur place
055373	519.863 MET	Papier	Bibliothèque Centrale	Management - Gestion	Disponible	En bon état
055372	519.863 MET	Papier	Bibliothèque Centrale	Management - Gestion	Disponible	En bon état

Optimisation en logistique / Alice Yalaoui

Public ISBD Titre : Optimisation en logistique : méthodes et techniques Type de document : texte imprimé Auteurs : Alice Yalaoui, Auteur ; Hicham Chehade, Auteur ; Farouk Yalaoui, Auteur ; Lionel Amodeo, Auteur Editeur : Paris : Hermès Science Année de publication : 2012 Autre Editeur : Paris : Lavoisier Collection : Recherche, technologie, applications Sous-collection : Productique Importance : 347 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3896-1 Note générale : Bibliogr. p. [333]-344. - Index Langues : Français (fre) Mots-clés : Logistique  (organisation) Optimisation  mathématique Processus  stochastiques Ordonnancement  (gestion) Production  --  Gestion Planification  stratégique Index. décimale : 658.5 Organisation de la production. Plan de production. Construction. Contrôle de la production Résumé : Dans le contexte économique actuel, les entreprises doivent concevoir, produire et distribuer leurs produits ou services dans des délais et avec des exigences de qualité de plus en plus contraignants. Elles doivent sans cesse améliorer leurs outils de gestion pour rester compétitives. L'étude des systèmes logistiques passe par l'identification des paramètres influant sur le système, l'élaboration d'un modèle les intégrant et l'évaluation et l'analyse des performances. Les décisions à prendre pour optimiser le fonctionnement des systèmes logistiques sont regroupées en trois niveaux : stratégique sur le long terme, tactique sur le moyen terme et opérationnel sur le court terme. Illustré par de nombreux exemples, cet ouvrage présente, de manière pédagogique, les techniques de modélisation et d'évaluation des performances des systèmes logistiques et les outils d'optimisation, mono et multi critères à appliquer pour les problèmes de décision allant de leur conception à leur gestion. Note de contenu : Au sommaire : 1. Modélisation et évaluation de performances 2. Optimisation 3. Conception et agencement 4. Optimisation tactique 5. Ordonnancement Optimisation en logistique : méthodes et techniques [texte imprimé] / Alice Yalaoui, Auteur ; Hicham Chehade, Auteur ; Farouk Yalaoui, Auteur ; Lionel Amodeo, Auteur . - Hermès Science : Paris : Lavoisier, 2012 . - 347 p. : ill. ; 24 cm. - (Recherche, technologie, applications. Productique) . ISBN : 978-2-7462-3896-1 Bibliogr. p. [333]-344. - Index Langues : Français (fre) Mots-clés : Logistique  (organisation) Optimisation  mathématique Processus  stochastiques Ordonnancement  (gestion) Production  --  Gestion Planification  stratégique Index. décimale : 658.5 Organisation de la production. Plan de production. Construction. Contrôle de la production Résumé : Dans le contexte économique actuel, les entreprises doivent concevoir, produire et distribuer leurs produits ou services dans des délais et avec des exigences de qualité de plus en plus contraignants. Elles doivent sans cesse améliorer leurs outils de gestion pour rester compétitives. L'étude des systèmes logistiques passe par l'identification des paramètres influant sur le système, l'élaboration d'un modèle les intégrant et l'évaluation et l'analyse des performances. Les décisions à prendre pour optimiser le fonctionnement des systèmes logistiques sont regroupées en trois niveaux : stratégique sur le long terme, tactique sur le moyen terme et opérationnel sur le court terme. Illustré par de nombreux exemples, cet ouvrage présente, de manière pédagogique, les techniques de modélisation et d'évaluation des performances des systèmes logistiques et les outils d'optimisation, mono et multi critères à appliquer pour les problèmes de décision allant de leur conception à leur gestion. Note de contenu : Au sommaire : 1. Modélisation et évaluation de performances 2. Optimisation 3. Conception et agencement 4. Optimisation tactique 5. Ordonnancement

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055092	658.5 OPT	Papier	Bibliothèque Centrale	Management - Gestion	Disponible	En bon état
055091	658.5 OPT	Papier	Bibliothèque Centrale	Management - Gestion	Disponible	Consultation sur place

Techniques industrielles de modélisation formelle pour le transport / Boulanger, Jean-Louis

Public ISBD Titre : Techniques industrielles de modélisation formelle pour le transport Type de document : texte imprimé Auteurs : Boulanger, Jean-Louis, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Année de publication : 2011 Autre Editeur : Paris : Lavoisier Collection : Recherche, technologie, applications Sous-collection : Informatique et systèmes d'information Importance : 351 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3230-3 Note générale : Bibliogr. en fin de chapitres. - Notes bibliogr. - Glossaire. - Index Langues : Français (fre) Mots-clés : B  (méthode  formelle) Méthodes  formelles(informatique)  --  Applications  industrielles Transports  ferroviaires  --  Automatisation Chemins  de  fer  --  Dispositifs  de  sécurité Systèmes  de  transport  intelligent Index. décimale : 004.4 Logiciel. Programme Résumé : Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. Dès la première mise en œuvre des logiciels au sein d'un équipement, la RATP a mis en œuvre les techniques formelles afin de démontrer que des impératifs de sécurité sont respectées par le logiciel. Cet ouvrage présente des exemples concrets de mise en œuvre des techniques formelles (simulation, "model-checking", preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande-ligne (ligne classique, TGV, ERTMS, fret) Note de contenu : Au sommaire : 1. Une approche innovante et une aventure humaine au service de la sécurité ferroviaire. 2. SAET-METEOR. 3. Preuve de propriétés globales à l'aide de l'outil de preuve SIMULINK DESIGN VERIFIER. 4. Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés. 5. Utilisation de la preuve formelle dans le CBTC (OCTYS). 6. Validation d'automatismes ferroviaires de sécurité à base de réseaux de Petri. 7. ERTMS Formal Specs : un langage dédié pour la formalisation des spécifications pour le développement d'unité bord ERTMS. 8. Synthèse et conclusions. Techniques industrielles de modélisation formelle pour le transport [texte imprimé] / Boulanger, Jean-Louis, Directeur de publication, rédacteur en chef . - Hermès Science : Paris : Lavoisier, 2011 . - 351 p. : ill. ; 24 cm. - (Recherche, technologie, applications. Informatique et systèmes d'information) . ISBN : 978-2-7462-3230-3 Bibliogr. en fin de chapitres. - Notes bibliogr. - Glossaire. - Index Langues : Français (fre) Mots-clés : B  (méthode  formelle) Méthodes  formelles(informatique)  --  Applications  industrielles Transports  ferroviaires  --  Automatisation Chemins  de  fer  --  Dispositifs  de  sécurité Systèmes  de  transport  intelligent Index. décimale : 004.4 Logiciel. Programme Résumé : Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. Dès la première mise en œuvre des logiciels au sein d'un équipement, la RATP a mis en œuvre les techniques formelles afin de démontrer que des impératifs de sécurité sont respectées par le logiciel. Cet ouvrage présente des exemples concrets de mise en œuvre des techniques formelles (simulation, "model-checking", preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande-ligne (ligne classique, TGV, ERTMS, fret) Note de contenu : Au sommaire : 1. Une approche innovante et une aventure humaine au service de la sécurité ferroviaire. 2. SAET-METEOR. 3. Preuve de propriétés globales à l'aide de l'outil de preuve SIMULINK DESIGN VERIFIER. 4. Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés. 5. Utilisation de la preuve formelle dans le CBTC (OCTYS). 6. Validation d'automatismes ferroviaires de sécurité à base de réseaux de Petri. 7. ERTMS Formal Specs : un langage dédié pour la formalisation des spécifications pour le développement d'unité bord ERTMS. 8. Synthèse et conclusions.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055383	004.4 TEC	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place

Modélisation de piles à combustible à membrane échangeuse de protons / Fei Gao

Public ISBD Titre : Modélisation de piles à combustible à membrane échangeuse de protons : physique, méthodes et exemples Type de document : texte imprimé Auteurs : Fei Gao, Auteur ; Benjamin Blunier, Auteur ; Abdellatif Miraoui, Auteur Editeur : Paris : Hermès Science Année de publication : 2011 Autre Editeur : Paris : Lavoisier Collection : Recherche, technologie, applications Sous-collection : Génie électrique Importance : 235 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3136-8 Note générale : Bibliogr. p. [231]-235 Langues : Français (fre) Mots-clés : Piles  à  combustible  à  membrane  échangeuse  de  protons Index. décimale : 621.352 Production d'énergies électrique par des méthodes électrochimiques. Piles et batteries voltaïques (galvaniques) primaires Résumé : Cet ouvrage fournit une description théorique des modèles de piles à combustible et propose un guide de la modélisation mathématique des piles à combustible à membrane échangeuse de protons (PEMFC). Il en détaille les principes physiques qui régissent leur fonctionnement dans les domaines électrochimique, fluidique et thermique. Il expose également les différentes méthodes de modélisation et propose une synthèse ainsi qu'une classification des cinquante modèles de piles les plus pertinents. Modélisation de piles à combustible à membrane échangeuse de protons s'adresse aux ingénieurs et chercheurs souhaitant développer rapidement un modèle de pile à combustible pour la simulation numérique. Note de contenu : Au sommaire : 1. Etat de l'art de la modélisation de la pile à combustible 2. Modélisation de la pile à combustible 3. Modèle 1-D dynamique d'une pile nexa Modélisation de piles à combustible à membrane échangeuse de protons : physique, méthodes et exemples [texte imprimé] / Fei Gao, Auteur ; Benjamin Blunier, Auteur ; Abdellatif Miraoui, Auteur . - Hermès Science : Paris : Lavoisier, 2011 . - 235 p. : ill. ; 24 cm. - (Recherche, technologie, applications. Génie électrique) . ISBN : 978-2-7462-3136-8 Bibliogr. p. [231]-235 Langues : Français (fre) Mots-clés : Piles  à  combustible  à  membrane  échangeuse  de  protons Index. décimale : 621.352 Production d'énergies électrique par des méthodes électrochimiques. Piles et batteries voltaïques (galvaniques) primaires Résumé : Cet ouvrage fournit une description théorique des modèles de piles à combustible et propose un guide de la modélisation mathématique des piles à combustible à membrane échangeuse de protons (PEMFC). Il en détaille les principes physiques qui régissent leur fonctionnement dans les domaines électrochimique, fluidique et thermique. Il expose également les différentes méthodes de modélisation et propose une synthèse ainsi qu'une classification des cinquante modèles de piles les plus pertinents. Modélisation de piles à combustible à membrane échangeuse de protons s'adresse aux ingénieurs et chercheurs souhaitant développer rapidement un modèle de pile à combustible pour la simulation numérique. Note de contenu : Au sommaire : 1. Etat de l'art de la modélisation de la pile à combustible 2. Modélisation de la pile à combustible 3. Modèle 1-D dynamique d'une pile nexa

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055137	621.352 GAO	Papier	Bibliothèque Centrale	Electrotechnique	Disponible	Consultation sur place
055375	621.352 GAO	Papier	Bibliothèque Centrale	Electrotechnique	Disponible	En bon état
055374	621.352 GAO	Papier	Bibliothèque Centrale	Electrotechnique	Disponible	En bon état

Ingénierie du transport et des services de mobilité avancés

Permalink

Paliers hydrodynamiques, Vol. 2. Modèles thermodynamiques, calcul des paliers de moteur et de compresseur / Dominique Bonneau

Permalink

Évolutions du réseau de transport d'électricité

Permalink

Chimie en microélectronique

Permalink

Gestion et optimisation des systèmes de transport multimodaux

Permalink

Interaction homme-machine dans les transports / Christophe Kolski

Permalink

Optimisation en sciences de l'ingénieur / Dan Stefanoiu ; Pierre Borne ; Dumitru Popescu ; Florin Gheorghe Filip

Permalink

La qualité et la gouvernance des données

Permalink