Recherche opérationnelle / Bonnans, Frédéric

Public ISBD Titre : Recherche opérationnelle : aspects mathématiques et applications Type de document : texte imprimé Auteurs : Bonnans, Frédéric, Auteur ; Stéphane Gaubert, Auteur Editeur : Palaiseau : les Éditions de l'École polytechnique Année de publication : 2015 Importance : 1 vol. (380 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1641-8 Note générale : Bibliogr. p. 371-377. Index Langues : Français (fre) Catégories : Informatique Mathématique Mots-clés : Mathématique Index. décimale : 003 - Systèmes Résumé : Les problèmes d'optimisation présentant des aspects combinatoires, de par la présence de variables de décision entières, interviennent dans tous les secteurs de la vie économique (investissement, gestion de ressources humaines ou d'équipements, planification de production de l'énergie) mais aussi dans la technologie (conception de circuits intégrés, optimisation de réseaux de télécommunication ou de services en ligne). Cet ouvrage, issu d'un cours donné à l'École polytechnique, introduit aux grands principes de résolution de tels problèmes, basés sur la théorie des fonctions convexes, la dualité en optimisation, les polyèdres et la programmation linéaire, les méthodes de flots, de programmation dynamique, de séparation et évaluation, ou de coupes d'intégrité. Ce tour d'horizon inclut deux chapitres plus avancés, portant sur les applications en combinatoire de l'optimisation sous contrainte de positivité matricielle (optimisation SDP), et sur les algorithmes de points intérieurs pour la programmation quadratique convexe. Tout en s'appuyant sur une analyse mathématique rigoureuse, cet ouvrage présente de nombreux exemples. En particulier, un chapitre de corrigés d'une sélection d'exercices, ainsi qu'une trentaine d'énoncés de problèmes avec correction, prolongent le cours et fournissent des illustrations issues de domaines d'application variés. Note de contenu : Sommaire Premiers pas en recherche opérationnelle Convexité, polyédralité et dualité Problèmes de flots Programmation dynamique déterministe Séparation, évaluation, relaxation Algorithme du simplexe Coupes d'intégrité Décomposition Inégalités matricielles Algorithmes de points intérieurs Correction des exercices Problèmes Correction des problèmes A. Algorithme glouton pour le problème de l'arbre couvrant de coût minimum Côte titre : Fs/23651-23652 Recherche opérationnelle : aspects mathématiques et applications [texte imprimé] / Bonnans, Frédéric, Auteur ; Stéphane Gaubert, Auteur . - Palaiseau : les Éditions de l'École polytechnique, 2015 . - 1 vol. (380 p.) : ill. ; 24 cm. ISBN : 978-2-7302-1641-8 Bibliogr. p. 371-377. Index Langues : Français (fre) Catégories : Informatique Mathématique Mots-clés : Mathématique Index. décimale : 003 - Systèmes Résumé : Les problèmes d'optimisation présentant des aspects combinatoires, de par la présence de variables de décision entières, interviennent dans tous les secteurs de la vie économique (investissement, gestion de ressources humaines ou d'équipements, planification de production de l'énergie) mais aussi dans la technologie (conception de circuits intégrés, optimisation de réseaux de télécommunication ou de services en ligne). Cet ouvrage, issu d'un cours donné à l'École polytechnique, introduit aux grands principes de résolution de tels problèmes, basés sur la théorie des fonctions convexes, la dualité en optimisation, les polyèdres et la programmation linéaire, les méthodes de flots, de programmation dynamique, de séparation et évaluation, ou de coupes d'intégrité. Ce tour d'horizon inclut deux chapitres plus avancés, portant sur les applications en combinatoire de l'optimisation sous contrainte de positivité matricielle (optimisation SDP), et sur les algorithmes de points intérieurs pour la programmation quadratique convexe. Tout en s'appuyant sur une analyse mathématique rigoureuse, cet ouvrage présente de nombreux exemples. En particulier, un chapitre de corrigés d'une sélection d'exercices, ainsi qu'une trentaine d'énoncés de problèmes avec correction, prolongent le cours et fournissent des illustrations issues de domaines d'application variés. Note de contenu : Sommaire Premiers pas en recherche opérationnelle Convexité, polyédralité et dualité Problèmes de flots Programmation dynamique déterministe Séparation, évaluation, relaxation Algorithme du simplexe Coupes d'intégrité Décomposition Inégalités matricielles Algorithmes de points intérieurs Correction des exercices Problèmes Correction des problèmes A. Algorithme glouton pour le problème de l'arbre couvrant de coût minimum Côte titre : Fs/23651-23652

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/23651	Fs/23651-23652	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/23652	Fs/23651-23652	livre	Bibliothéque des sciences	Français	Disponible Disponible

Systèmes temps réel V.1 / Nicolas Navet

Public ISBD Titre : Systèmes temps réel V.1 : Techniques de description et de vérification Type de document : texte imprimé Auteurs : Nicolas Navet ; Olivier Salvatori Editeur : Paris : Hermès science publications Année de publication : 2006 Collection : Informatique et systèmes d'information/Pommerol,Jean-Chrles Importance : 1 vol. (370 p .) Format : 24cm ISBN/ISSN/EAN : 978-2-7462-1303-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Temps réel (informatique) Méthodes formelles (informatique) Index. décimale : 003 - Systèmes Résumé : Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté outils de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles Note de contenu : Sommaire Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA Combinaison entre vérification et test pour la validation de systèmes réactifs Model checking : éléments de base Vérification par automates temporisés Modélisation et analyse de systèmes asynchrones avec CADP Vérification de programmes synchrones avec Lustre/Lesar Synchrone, un langage de programmation des systèmes réactifs Vérification de systèmes probabilisés : méthodes et outils La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels Description d'architectures pour le temps réel : l'approche AADL Côte titre : Fs/12556,Fs/11784-11786,Fs/13258-13259 Systèmes temps réel V.1 : Techniques de description et de vérification [texte imprimé] / Nicolas Navet ; Olivier Salvatori . - Paris : Hermès science publications, 2006 . - 1 vol. (370 p .) ; 24cm. - (Informatique et systèmes d'information/Pommerol,Jean-Chrles) . ISBN : 978-2-7462-1303-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Temps réel (informatique) Méthodes formelles (informatique) Index. décimale : 003 - Systèmes Résumé : Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté outils de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles Note de contenu : Sommaire Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA Combinaison entre vérification et test pour la validation de systèmes réactifs Model checking : éléments de base Vérification par automates temporisés Modélisation et analyse de systèmes asynchrones avec CADP Vérification de programmes synchrones avec Lustre/Lesar Synchrone, un langage de programmation des systèmes réactifs Vérification de systèmes probabilisés : méthodes et outils La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels Description d'architectures pour le temps réel : l'approche AADL Côte titre : Fs/12556,Fs/11784-11786,Fs/13258-13259

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/11784	Fs/11784-11786	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11785	Fs/11784-11786	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11786	Fs/11784-11786	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12556	Fs/12556	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13258	Fs/13258-13259	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13259	Fs/13258-13259	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 2 / 2)