A partir de cette page vous pouvez :
indexint
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'indexation
003 Ouvrages de la bibliothèque en indexation 003.3
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesModélisation et simulation des systèmes complexes / Youcef Monsef (DL 1996, cop. 1996)
Titre : Modélisation et simulation des systèmes complexes : concepts ,méthodes et outils Type de document : texte imprime Auteurs : Youcef Monsef Editeur : Tec & Doc-Lavoisier Année de publication : DL 1996, cop. 1996 Importance : (XXVI-277 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7430-0135-3 Note générale : Bibliogr.Index Langues : Français Mots-clés : Modèles mathématiques Systèmes, Théorie des Systèmes, Conception de Simulation, Méthodes de Systèmes experts (informatique):simulation par ordinateur Index. décimale : 003.3 Résumé : Synthèse de 25 années d'expérience pédagogique et industrielle, cet ouvrage présente un panorama quasi exhaustif des concepts, méthodes et outils permettant d'évaluer, d'analyser et de comprendre le comportement de systèmes complexes en vue d'une prise de décision. Il propose une description comparative de nombreux systèmes complexes et des méthodologies, évalue le rôle de l'environnement logiciel et matériel sur la performance, et prend en compte l'assurance de la qualité. Modélisation et simulation des systèmes complexes s'adresse à un large public d'ingénieurs et de futurs ingénieurs, ainsi qu'aux étudiants de 2e et 3e cycles des facultés (mathématiques appliquées et simulation) et de DEA relatifs aux sciences de l'ingénieur. Ce volume peut être considéré à la fois comme un manuel pour Note de contenu : -Système, modèle et simulation.
-Méthodologies dans la modélisation et la simulation.
-Approche structurée dans un projet de simulation.
-La vue du monde réel : vue à événements discrets.
-La modélisation des systèmes continus.
-Vue orientée-objet : systèmes discrets-continus.
-Simulation à base de connaissances et simulation qualitative.
-Ergonomie cognitive et interaction avec les systèmes complexes.
-Systèmes à structure variable et systèmes autonomes.
-Simulation parallèle et distribuée de systèmes complexes.
-Simulation interactive et formation de l'utilisateur.
-L'assurance de la qualité de la modélisation et de la simulation.
-Index auteur.
-Index sujet.Permalink : ./index.php?lvl=notice_display&id=11959 Modélisation et simulation des systèmes complexes : concepts ,méthodes et outils [texte imprime] / Youcef Monsef . - Paris ; Londres ; New York : Tec & Doc-Lavoisier, DL 1996, cop. 1996 . - (XXVI-277 p.) : ill. ; 24 cm.
ISBN : 978-2-7430-0135-3
Bibliogr.Index
Langues : Français
Mots-clés : Modèles mathématiques Systèmes, Théorie des Systèmes, Conception de Simulation, Méthodes de Systèmes experts (informatique):simulation par ordinateur Index. décimale : 003.3 Résumé : Synthèse de 25 années d'expérience pédagogique et industrielle, cet ouvrage présente un panorama quasi exhaustif des concepts, méthodes et outils permettant d'évaluer, d'analyser et de comprendre le comportement de systèmes complexes en vue d'une prise de décision. Il propose une description comparative de nombreux systèmes complexes et des méthodologies, évalue le rôle de l'environnement logiciel et matériel sur la performance, et prend en compte l'assurance de la qualité. Modélisation et simulation des systèmes complexes s'adresse à un large public d'ingénieurs et de futurs ingénieurs, ainsi qu'aux étudiants de 2e et 3e cycles des facultés (mathématiques appliquées et simulation) et de DEA relatifs aux sciences de l'ingénieur. Ce volume peut être considéré à la fois comme un manuel pour Note de contenu : -Système, modèle et simulation.
-Méthodologies dans la modélisation et la simulation.
-Approche structurée dans un projet de simulation.
-La vue du monde réel : vue à événements discrets.
-La modélisation des systèmes continus.
-Vue orientée-objet : systèmes discrets-continus.
-Simulation à base de connaissances et simulation qualitative.
-Ergonomie cognitive et interaction avec les systèmes complexes.
-Systèmes à structure variable et systèmes autonomes.
-Simulation parallèle et distribuée de systèmes complexes.
-Simulation interactive et formation de l'utilisateur.
-L'assurance de la qualité de la modélisation et de la simulation.
-Index auteur.
-Index sujet.Permalink : ./index.php?lvl=notice_display&id=11959 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA534/1 IA534 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA534/2 IA534 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA534/3 IA534 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Simulation modeling and analysis Type de document : texte imprime Auteurs : Averill M. Law, Auteur ; Kelton W. David, Auteur Mention d'édition : 3rd ed. Editeur : Boston : McGraw-Hill Année de publication : cop. 2000 Collection : Mcgraw-Hill series in industrial engineering and management science Importance : XXI-760 p. Présentation : ill. en noir et en coul. Format : 24 cm ISBN/ISSN/EAN : 978-0-07-059292-6 Note générale : Bibliogr. p. 711-743. Index Langues : Anglais Mots-clés : Digital computer simulation Simulation, Méthodes de Modèles mathématiques Simulation par ordinateur Index. décimale : 003.3 Résumé : This authoritative, comprehensive, and thoroughly up-to-date guide addresses all the important aspects of a simulation study, including modeling, simulation languages, validation, input probability distribution, and analysis of simulation output data. Full scale treatments of manufacturing systems simulation and simulation software and animation are also included along with useful and instructive case studies. En ligne : https://www.amazon.fr/Simulation-Modeling-Analysis-Averill-Law/dp/0070592926/ref [...] Permalink : ./index.php?lvl=notice_display&id=11796 Simulation modeling and analysis [texte imprime] / Averill M. Law, Auteur ; Kelton W. David, Auteur . - 3rd ed. . - Boston : McGraw-Hill, cop. 2000 . - XXI-760 p. : ill. en noir et en coul. ; 24 cm. - (Mcgraw-Hill series in industrial engineering and management science) .
ISBN : 978-0-07-059292-6
Bibliogr. p. 711-743. Index
Langues : Anglais
Mots-clés : Digital computer simulation Simulation, Méthodes de Modèles mathématiques Simulation par ordinateur Index. décimale : 003.3 Résumé : This authoritative, comprehensive, and thoroughly up-to-date guide addresses all the important aspects of a simulation study, including modeling, simulation languages, validation, input probability distribution, and analysis of simulation output data. Full scale treatments of manufacturing systems simulation and simulation software and animation are also included along with useful and instructive case studies. En ligne : https://www.amazon.fr/Simulation-Modeling-Analysis-Averill-Law/dp/0070592926/ref [...] Permalink : ./index.php?lvl=notice_display&id=11796 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA221/1 IA221 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA221/2 IA221 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : La Simulation sur Micro- ordinateur : les modeles des dynamique des systèmes Type de document : texte imprime Auteurs : B. Braunschweig Editeur : Paris : Eyrolles Année de publication : Impr. 1985 Importance : (XIII-169 p.) Présentation : ill. Format : 24 cm Note générale :
Autre tirage : 1984Langues : Français Mots-clés : Micro ordinateur Boucle Microstock Dynamique Index. décimale : 003.3 Résumé :
1. Comment ?
1.A La dynamique des systèmes, principes de base
1.B La simulation
2. Pourquoi ? (quelques exemples)
2.A Exemples théoriques
2.B Exemples opérationnels
3. Faites-le vous mêmes
3.1 MICROSTOCK - Vision globale
3.2 MICROSTOCK - Réalisation - Fonctions assurées par le programme BASIC
3.3 Simulations effectuées avec le modèle MICROSTOCK
3.4 Fonctions pouvant avantageusement être intégrées au programme
3.5 Le programme BASIC : "MICROSTOCK"Permalink : ./index.php?lvl=notice_display&id=11825 La Simulation sur Micro- ordinateur : les modeles des dynamique des systèmes [texte imprime] / B. Braunschweig . - Paris : Eyrolles, Impr. 1985 . - (XIII-169 p.) : ill. ; 24 cm.
Autre tirage : 1984
Langues : Français
Mots-clés : Micro ordinateur Boucle Microstock Dynamique Index. décimale : 003.3 Résumé :
1. Comment ?
1.A La dynamique des systèmes, principes de base
1.B La simulation
2. Pourquoi ? (quelques exemples)
2.A Exemples théoriques
2.B Exemples opérationnels
3. Faites-le vous mêmes
3.1 MICROSTOCK - Vision globale
3.2 MICROSTOCK - Réalisation - Fonctions assurées par le programme BASIC
3.3 Simulations effectuées avec le modèle MICROSTOCK
3.4 Fonctions pouvant avantageusement être intégrées au programme
3.5 Le programme BASIC : "MICROSTOCK"Permalink : ./index.php?lvl=notice_display&id=11825 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA262/1 IA262 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA262/2 IA262 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA262/3 IA262 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA262/4 IA262 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA262/5 IA262 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Switching and finite automata theory Type de document : texte imprime Auteurs : Zvi Kohavi Mention d'édition : 2e èd Editeur : New Delhi : McGraw-Hill Année de publication : 1978 Importance : 658 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-0-07-099387-7 Note générale : Index Langues : Anglais Mots-clés : Switching Finite automate Logical design Machines Index. décimale : 003.3 Permalink : ./index.php?lvl=notice_display&id=11854 Switching and finite automata theory [texte imprime] / Zvi Kohavi . - 2e èd . - New Delhi : McGraw-Hill, 1978 . - 658 p. : ill. ; 23 cm.
ISBN : 978-0-07-099387-7
Index
Langues : Anglais
Mots-clés : Switching Finite automate Logical design Machines Index. décimale : 003.3 Permalink : ./index.php?lvl=notice_display&id=11854 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA321/1 IA321 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA321/2 IA321 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Understanding Petri nets : modeling techniques, analysis methods, case studies Type de document : texte imprime Auteurs : Wolfgang Reisig Editeur : Berlin : Springer Année de publication : 2013 Importance : XXVI-230 p.) Format : 24 cm ISBN/ISSN/EAN : 978-3-642-33277-7 Note générale : DEBSZ
Bibliogr. p. 225-228 et indexLangues : Anglais Mots-clés : Petri, Réseaux de Index. décimale : 003.3 Résumé : With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature that complements the extensive implementation experience.
In this book the author presents a clear, thorough introduction to the essentials of Petri nets. He explains the core modeling techniques and analysis methods and he illustrates their usefulness with examples and case studies. Part I describes how to use Petri nets for modeling; all concepts are explained with the help of examples, starting with a generic, powerful model which is also intuitive and realistic. Part II covers the essential analysis methods that are specific to Petri nets, introducing techniques used to formulate key properties of system nets and algorithms for proving their validity. Part III presents case studies, each introducing new concepts, properties and analysis techniques required for very different modeling tasks. The author offers different paths among the chapters and sections: the elementary strand for readers who wish to study only elementary nets; the modeling strand for those who wish to study the modeling but not the analysis of systems; and finally the elementary models of the modeling strand for those interested in technically simple, but challenging examples and case studies.
The author achieves an excellent balance between consistency, comprehensibility and correctness in a book of distinctive design. Among its characteristics, formal arguments are reduced to a minimum in the main text with many of the theoretical formalisms moved to an appendix, the explanations are supported throughout with fully integrated graphical illustrations, and each chapter ends with exercises and recommendations for further reading.
The book is suitable for students of computer science and related subjects such as engineering, and for a broad range of researchers and practitioners.
"This book chooses the most important, most original, most successful and most basic concepts and presents them comprehensively. ... I wish this book a wide distribution and a long usage." --[Carl Adam Petri, 2010 (German-language edition)]
"This is a wonderful book, on a truly important and central topic, and written by the best person possible. Petri nets constitute one of the very few fundamental formalisms that deal with concurrency, reactivity and communication. They are clean and elegant, useful in practice, and are backed by deep and exciting mathematical underpinnings. The book, which is poised to become the Bible of Petri nets, deals with all aspects of the formalism. It is written eloquently, and with great talent and careful planning. It will appeal to computer scientists researching all manners of programming and research on reactive systems, as well as to the software and systems engineers who actually build those systems. Wolfgang Reisig s close relationship with the late Carl Petri himself, and his obvious love of the subject, not to mention the central role he himself plays in Petri net research, emerge impressively from the pages. Inventors of other languages or methods can only hope for someone like him to produce such an excellent account, both broad and deep." --[David Harel, Weizmann Institute of Science]
This book, authored by one of the most respected experts in Petri Nets, is one of the most comprehensive treatments of the topic I have seen. This excellent book provides an invaluable guide to all interested in Petri Nets and captures the reader with plenty of examples, different reading paths through the book to follow the topic, as well as its elegant writing style. I highly recommend this book." [Schahram Dustdar, Vienna University of Technology]
"Half a century ago Carl Adam Petri's thesis appeared, and a new wonderful theory was born: Petri nets. This book digests 50 years of science and engineering, and research and applications of Petri nets; it marks a current high, pedagogically and didactically. The formal theory underlying Petri nets, as presented in this book, is there: firm, elegant and comprehensive yet is, wisely, put in an appendix. This leaves the author free to present, in carefully thought-out steps, techniques for modeling systems, techniques for analysing such systems and, finally, three impressive, non-trivial case studies. The parts and chapters progress from basic and simple to more complex and comprehensive. They cleverly and beautifully fit into a semester course. Academia must make sure that every computer science and informatics graduate knows about Petri nets, and this is the book to serve that purpose." [Dines Bjørner, Technical University of Denmark]
"Almost 30 years ago the influential book 'Petri Nets: An Introduction' by Wolfgang Reisig appeared. In his new book 'Understanding Petri Nets' the author again demonstrates his ability to explain essential concepts in a beautiful way. The main theoretical concepts of Petri nets are introduced intuitively and without the usual overhead. The book covers modeling principles, analysis techniques, and case studies. A 'must read' for anyone interested in process modeling and analysis." --[Wil van der Aalst, Eindhoven University of Technology]
En ligne : https://www.amazon.fr/Understanding-Petri-Nets-Modeling-Techniques/dp/3642332773 [...] Permalink : ./index.php?lvl=notice_display&id=12107 Understanding Petri nets : modeling techniques, analysis methods, case studies [texte imprime] / Wolfgang Reisig . - Berlin : Springer, 2013 . - XXVI-230 p.) ; 24 cm.
ISBN : 978-3-642-33277-7
DEBSZ
Bibliogr. p. 225-228 et index
Langues : Anglais
Mots-clés : Petri, Réseaux de Index. décimale : 003.3 Résumé : With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature that complements the extensive implementation experience.
In this book the author presents a clear, thorough introduction to the essentials of Petri nets. He explains the core modeling techniques and analysis methods and he illustrates their usefulness with examples and case studies. Part I describes how to use Petri nets for modeling; all concepts are explained with the help of examples, starting with a generic, powerful model which is also intuitive and realistic. Part II covers the essential analysis methods that are specific to Petri nets, introducing techniques used to formulate key properties of system nets and algorithms for proving their validity. Part III presents case studies, each introducing new concepts, properties and analysis techniques required for very different modeling tasks. The author offers different paths among the chapters and sections: the elementary strand for readers who wish to study only elementary nets; the modeling strand for those who wish to study the modeling but not the analysis of systems; and finally the elementary models of the modeling strand for those interested in technically simple, but challenging examples and case studies.
The author achieves an excellent balance between consistency, comprehensibility and correctness in a book of distinctive design. Among its characteristics, formal arguments are reduced to a minimum in the main text with many of the theoretical formalisms moved to an appendix, the explanations are supported throughout with fully integrated graphical illustrations, and each chapter ends with exercises and recommendations for further reading.
The book is suitable for students of computer science and related subjects such as engineering, and for a broad range of researchers and practitioners.
"This book chooses the most important, most original, most successful and most basic concepts and presents them comprehensively. ... I wish this book a wide distribution and a long usage." --[Carl Adam Petri, 2010 (German-language edition)]
"This is a wonderful book, on a truly important and central topic, and written by the best person possible. Petri nets constitute one of the very few fundamental formalisms that deal with concurrency, reactivity and communication. They are clean and elegant, useful in practice, and are backed by deep and exciting mathematical underpinnings. The book, which is poised to become the Bible of Petri nets, deals with all aspects of the formalism. It is written eloquently, and with great talent and careful planning. It will appeal to computer scientists researching all manners of programming and research on reactive systems, as well as to the software and systems engineers who actually build those systems. Wolfgang Reisig s close relationship with the late Carl Petri himself, and his obvious love of the subject, not to mention the central role he himself plays in Petri net research, emerge impressively from the pages. Inventors of other languages or methods can only hope for someone like him to produce such an excellent account, both broad and deep." --[David Harel, Weizmann Institute of Science]
This book, authored by one of the most respected experts in Petri Nets, is one of the most comprehensive treatments of the topic I have seen. This excellent book provides an invaluable guide to all interested in Petri Nets and captures the reader with plenty of examples, different reading paths through the book to follow the topic, as well as its elegant writing style. I highly recommend this book." [Schahram Dustdar, Vienna University of Technology]
"Half a century ago Carl Adam Petri's thesis appeared, and a new wonderful theory was born: Petri nets. This book digests 50 years of science and engineering, and research and applications of Petri nets; it marks a current high, pedagogically and didactically. The formal theory underlying Petri nets, as presented in this book, is there: firm, elegant and comprehensive yet is, wisely, put in an appendix. This leaves the author free to present, in carefully thought-out steps, techniques for modeling systems, techniques for analysing such systems and, finally, three impressive, non-trivial case studies. The parts and chapters progress from basic and simple to more complex and comprehensive. They cleverly and beautifully fit into a semester course. Academia must make sure that every computer science and informatics graduate knows about Petri nets, and this is the book to serve that purpose." [Dines Bjørner, Technical University of Denmark]
"Almost 30 years ago the influential book 'Petri Nets: An Introduction' by Wolfgang Reisig appeared. In his new book 'Understanding Petri Nets' the author again demonstrates his ability to explain essential concepts in a beautiful way. The main theoretical concepts of Petri nets are introduced intuitively and without the usual overhead. The book covers modeling principles, analysis techniques, and case studies. A 'must read' for anyone interested in process modeling and analysis." --[Wil van der Aalst, Eindhoven University of Technology]
En ligne : https://www.amazon.fr/Understanding-Petri-Nets-Modeling-Techniques/dp/3642332773 [...] Permalink : ./index.php?lvl=notice_display&id=12107 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA610/1 IA610 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA610/2 IA610 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA610/3 IA610 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA610/4 IA610 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA610/5 IA610 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
