Approches formelles des systèmes embarqués communicants

Public ISBD Titre : Approches formelles des systèmes embarqués communicants Type de document : texte imprimé Auteurs : Olivier H. Roux, Directeur de publication, rédacteur en chef ; Claude Jard (1959-....), Directeur de publication, rédacteur en chef Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2008 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol. (268 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1942-7 Note générale : Notes bibliogr. Langues : Français (fre) Catégories : Informatique Mots-clés : Méthodes formelles (informatique) Systèmes enfouis (informatique) Temps réel (informatique) Markov, Processus de Index. décimale : 621.3 - Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé : IC2 - Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques. Conçu volontairement dans un esprit d'échange disciplinaire, IC2 représente l'état de l'art dans les domaines suivants retenus par le comité scientifique : Cognition et traitement de l'information Information et sciences du vivant Informatique et systèmes d'information Management et gestion des STIC Réseaux et télécoms Signal et Image Systèmes automatisés Technologies et développement durable Chaque ouvrage décrit aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents articles contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix. Les savoirs, théories et méthodes rassemblés dans chaque ouvrage ont été choisis pour leur pertinence dans l'avancée des connaissances ou pour la qualité des résultats obtenus dans le cas d'expérimentations réelles. Note de contenu : Sommaire Modéliser et vérifier les systèmes embarqués : pourquoi, comment ? Les modèles pour les systèmes temps réel embarqués Model checking temporisé Contrôle des systèmes temporisés Vérification quantitative de chaînes de Markov Outils de Model Checking Outils pour l'analyse des modèles hybrides Côte titre : Fs/9669-9672 Approches formelles des systèmes embarqués communicants [texte imprimé] / Olivier H. Roux, Directeur de publication, rédacteur en chef ; Claude Jard (1959-....), Directeur de publication, rédacteur en chef . - Paris : Hermès science publications-Lavoisier, 2008 . - 1 vol. (268 p.) : ill. ; 24 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) . ISBN : 978-2-7462-1942-7 Notes bibliogr. Langues : Français (fre) Catégories : Informatique Mots-clés : Méthodes formelles (informatique) Systèmes enfouis (informatique) Temps réel (informatique) Markov, Processus de Index. décimale : 621.3 - Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé : IC2 - Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques. Conçu volontairement dans un esprit d'échange disciplinaire, IC2 représente l'état de l'art dans les domaines suivants retenus par le comité scientifique : Cognition et traitement de l'information Information et sciences du vivant Informatique et systèmes d'information Management et gestion des STIC Réseaux et télécoms Signal et Image Systèmes automatisés Technologies et développement durable Chaque ouvrage décrit aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents articles contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix. Les savoirs, théories et méthodes rassemblés dans chaque ouvrage ont été choisis pour leur pertinence dans l'avancée des connaissances ou pour la qualité des résultats obtenus dans le cas d'expérimentations réelles. Note de contenu : Sommaire Modéliser et vérifier les systèmes embarqués : pourquoi, comment ? Les modèles pour les systèmes temps réel embarqués Model checking temporisé Contrôle des systèmes temporisés Vérification quantitative de chaînes de Markov Outils de Model Checking Outils pour l'analyse des modèles hybrides Côte titre : Fs/9669-9672

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/9669	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9670	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9671	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9672	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible

Maîtrise de l'ingénierie des systèmes complexes et des systèmes de systèmes

Public ISBD Titre : Maîtrise de l'ingénierie des systèmes complexes et des systèmes de systèmes : Etude de cas Type de document : texte imprimé Auteurs : Dominique Luzeaux, Directeur de publication, rédacteur en chef ; Jean-René Ruault, Directeur de publication, rédacteur en chef ; Jean-Luc Wippler, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2011 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol. (477 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-7462-2468-1 Note générale : 978-2-7462-2468-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Ingénierie des systèmes : Études de cas Index. décimale : 620 Ingénierie et activités connexes Résumé : L'informatique, omniprésente dans notre vie, est multiforme. A la fois profondément unitaire quant à ses principes d'écriture et ceux qui sont à la base des machines, l'informatique est infiniment variée par ses applications. Informatique et systèmes d'information couvre l'ensemble des domaines suivants : Apprentissage Arithmétique des ordinateurs Bases de données Bioinformatique Représentation des connaissances Informatique parallèle et répartie Logique et programmation Recherche d'information et web Recherche opérationnelle Chaque ouvrage décrit aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents chapitres contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions et ses choix. Sur chaque aspect, le traité s'efforce de marier chapitres de synthèse et connaissances les plus récentes pour donner au lecteur le panorama complet d'un sujet. Note de contenu : Sommaire Première partie. Ingénierie de grands systèmes complexes et gestion de situation d'urgence Chapitre 1. Ingénierie des grands systèmes complexes Chapitre 2. Gestion de situation d'urgence : architecture et ingénierie d'un système de systèmes Deuxième partie. Etude de cas "base vie Antartica" Chapitre 3. Introduction à l'étude de cas "Base vie Antartica" Chapitre 4. Poser le bon problème Chapitre 5. Trouver qui peut résoudre ce problème Chapitre 6. Résoudre le problème Chapitre 7. Résoudre le problème complètement, de manière cohérente et optimale Chapitre 8. Anticiper l'intégration, la vérification et la validation Chapitre 9. Conclusion de l'étude decas "Base vie Antartica" Côte titre : Fs/13213-13217 Maîtrise de l'ingénierie des systèmes complexes et des systèmes de systèmes : Etude de cas [texte imprimé] / Dominique Luzeaux, Directeur de publication, rédacteur en chef ; Jean-René Ruault, Directeur de publication, rédacteur en chef ; Jean-Luc Wippler, Directeur de publication, rédacteur en chef . - Paris : Hermès science publications-Lavoisier, 2011 . - 1 vol. (477 p.) : ill. ; 25 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) . ISBN : 978-2-7462-2468-1 978-2-7462-2468-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Ingénierie des systèmes : Études de cas Index. décimale : 620 Ingénierie et activités connexes Résumé : L'informatique, omniprésente dans notre vie, est multiforme. A la fois profondément unitaire quant à ses principes d'écriture et ceux qui sont à la base des machines, l'informatique est infiniment variée par ses applications. Informatique et systèmes d'information couvre l'ensemble des domaines suivants : Apprentissage Arithmétique des ordinateurs Bases de données Bioinformatique Représentation des connaissances Informatique parallèle et répartie Logique et programmation Recherche d'information et web Recherche opérationnelle Chaque ouvrage décrit aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents chapitres contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions et ses choix. Sur chaque aspect, le traité s'efforce de marier chapitres de synthèse et connaissances les plus récentes pour donner au lecteur le panorama complet d'un sujet. Note de contenu : Sommaire Première partie. Ingénierie de grands systèmes complexes et gestion de situation d'urgence Chapitre 1. Ingénierie des grands systèmes complexes Chapitre 2. Gestion de situation d'urgence : architecture et ingénierie d'un système de systèmes Deuxième partie. Etude de cas "base vie Antartica" Chapitre 3. Introduction à l'étude de cas "Base vie Antartica" Chapitre 4. Poser le bon problème Chapitre 5. Trouver qui peut résoudre ce problème Chapitre 6. Résoudre le problème Chapitre 7. Résoudre le problème complètement, de manière cohérente et optimale Chapitre 8. Anticiper l'intégration, la vérification et la validation Chapitre 9. Conclusion de l'étude decas "Base vie Antartica" Côte titre : Fs/13213-13217

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/13214	Fs/13213-13217	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13217	Fs/13213-13217	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13216	Fs/13213-13217	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13215	Fs/13213-13217	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13213	Fs/13213-13217	livre	Bibliothéque des sciences	Français	Disponible Disponible

Systèmes de systèmes

Public ISBD Titre : Systèmes de systèmes : Concepts et illustrations pratiques Type de document : texte imprimé Auteurs : Dominique Luzeaux, Directeur de publication, rédacteur en chef ; Jean-René Ruault, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2008 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol. (376 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1875-8 Note générale : Notes bibliogr. Langues : Français (fre) Catégories : Informatique Mots-clés : Ingénierie des systèmes Intégration des systèmes (ingénierie) Systèmes, Théorie des Index. décimale : 003 Systèmes Résumé : Dans les domaines de la banque, de la santé, des transports, de l'espace, de l'aéronautique, comme dans celui de la défense, ces dernières décennies ont été marquées par l'élaboration de systèmes de plus en plus importants. Par ailleurs la maturité croissante des nouvelles technologies de l'information et de la communication autorise la mise en réseau des systèmes et l'apparition de nouveaux services par couplage des fonctionnalités des systèmes. Ceci induit une complexité accrue, qu'il devient nécessaire de maîtriser pour tirer les bénéfices de ces modes d'intégration. Cet ouvrage est une réflexion multidisciplinaire sur cette notion dont il est aujourd'hui largement question dans de nombreux domaines. En plus d'une comparaison critique des différentes définitions et d'une illustration au sein de différents domaines applicatifs, il donne les clés pour comprendre quand on est en présence d'un tel système de systèmes, et comment maîtriser sa complexit Note de contenu : Sommaire 1- Systèmes de systèmes: du concept à la rélisation effective 2- Emergence et complexité des systèmes de systèmes 3- Aspeets contractuels dans l'acquisition et l'utilisation des systèmes de systèmes 4- La place de l'humain dans le contexte des systèmes de systèmes 5- Le systèmes de systèmes de communications et d'observation spatiales 6- Systèmes de transport intelligent 7- Les systèmes de systèmes dans le domaine de la santé 8- Protection des infructures critiques 9- Mondialisation et impacts systémiques Côte titre : Fs/7247 Systèmes de systèmes : Concepts et illustrations pratiques [texte imprimé] / Dominique Luzeaux, Directeur de publication, rédacteur en chef ; Jean-René Ruault, Directeur de publication, rédacteur en chef . - Paris : Hermès science publications-Lavoisier, 2008 . - 1 vol. (376 p.) : ill. ; 24 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) . ISBN : 978-2-7462-1875-8 Notes bibliogr. Langues : Français (fre) Catégories : Informatique Mots-clés : Ingénierie des systèmes Intégration des systèmes (ingénierie) Systèmes, Théorie des Index. décimale : 003 Systèmes Résumé : Dans les domaines de la banque, de la santé, des transports, de l'espace, de l'aéronautique, comme dans celui de la défense, ces dernières décennies ont été marquées par l'élaboration de systèmes de plus en plus importants. Par ailleurs la maturité croissante des nouvelles technologies de l'information et de la communication autorise la mise en réseau des systèmes et l'apparition de nouveaux services par couplage des fonctionnalités des systèmes. Ceci induit une complexité accrue, qu'il devient nécessaire de maîtriser pour tirer les bénéfices de ces modes d'intégration. Cet ouvrage est une réflexion multidisciplinaire sur cette notion dont il est aujourd'hui largement question dans de nombreux domaines. En plus d'une comparaison critique des différentes définitions et d'une illustration au sein de différents domaines applicatifs, il donne les clés pour comprendre quand on est en présence d'un tel système de systèmes, et comment maîtriser sa complexit Note de contenu : Sommaire 1- Systèmes de systèmes: du concept à la rélisation effective 2- Emergence et complexité des systèmes de systèmes 3- Aspeets contractuels dans l'acquisition et l'utilisation des systèmes de systèmes 4- La place de l'humain dans le contexte des systèmes de systèmes 5- Le systèmes de systèmes de communications et d'observation spatiales 6- Systèmes de transport intelligent 7- Les systèmes de systèmes dans le domaine de la santé 8- Protection des infructures critiques 9- Mondialisation et impacts systémiques Côte titre : Fs/7247

Exemplaires (1)

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

Technologies des systèmes multi-agents et applications industrielles

Public ISBD Titre : Technologies des systèmes multi-agents et applications industrielles Type de document : texte imprimé Auteurs : Amal El Fallah Seghrouchni, Directeur de publication, rédacteur en chef ; Jean-Pierre Briot, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2009 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol. (267 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1785-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Intelligence artificielle répartie : Applications industrielles Systèmes d'information : Applications industrielles Index. décimale : 006.3 - Intelligence artificielle Résumé : Les systèmes multi-agents (SMA) constituent aujourd'hui une technologie de choix pour la conception et la mise en oeuvre d'applications réparties et coopératives. La dualité entre agent comme entité autonome et adaptative et système multi-agent comme organisation décentralisée coopérative offre en effet un cadre tout à fait privilégié pour aborder les enjeux de l'informatique de plus en plus dynamique et distribuée des applications du futur. Suite à leur importance croissante depuis les années 90 dans la communauté de recherche scientifique, les systèmes multi-agents sont depuis lors également sortis des laboratoires et sont de plus en plus convoités en milieu industriel. Ce livre a pour objectif de sensibiliser et faire le point sur les technologies actuelles des systèmes multi-agents, leurs liens avec d'autres technologies récentes, et leur mise en oeuvre à travers plusieurs domaines d'application. Il est destiné aux scientifiques, ingénieurs et responsables industriels souhaitant comprendre la technologie SMA et leurs applications, ainsi que leurs enjeux de recherche. Note de contenu : Sommaire Introduction aux systèmes multi-agents Méthodes orientées agent et multi-agent Interopérabilité des systèmes multi-agents à l'aide des services web Agents situés : une nouvelle voie pour le développement d'applications industrielles Composants logiciels et systèmes multi-agents Des systèmes multitâches aux systèmes multi-agents Systèmes multi-agents pour l'identification de cibles par un système multicapteur Jeux vidéo et systèmes multi-agents Côte titre : Fs/9137-9140 Technologies des systèmes multi-agents et applications industrielles [texte imprimé] / Amal El Fallah Seghrouchni, Directeur de publication, rédacteur en chef ; Jean-Pierre Briot, Directeur de publication, rédacteur en chef . - Paris : Hermès science publications-Lavoisier, 2009 . - 1 vol. (267 p.) : ill. ; 24 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) . ISBN : 978-2-7462-1785-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Intelligence artificielle répartie : Applications industrielles Systèmes d'information : Applications industrielles Index. décimale : 006.3 - Intelligence artificielle Résumé : Les systèmes multi-agents (SMA) constituent aujourd'hui une technologie de choix pour la conception et la mise en oeuvre d'applications réparties et coopératives. La dualité entre agent comme entité autonome et adaptative et système multi-agent comme organisation décentralisée coopérative offre en effet un cadre tout à fait privilégié pour aborder les enjeux de l'informatique de plus en plus dynamique et distribuée des applications du futur. Suite à leur importance croissante depuis les années 90 dans la communauté de recherche scientifique, les systèmes multi-agents sont depuis lors également sortis des laboratoires et sont de plus en plus convoités en milieu industriel. Ce livre a pour objectif de sensibiliser et faire le point sur les technologies actuelles des systèmes multi-agents, leurs liens avec d'autres technologies récentes, et leur mise en oeuvre à travers plusieurs domaines d'application. Il est destiné aux scientifiques, ingénieurs et responsables industriels souhaitant comprendre la technologie SMA et leurs applications, ainsi que leurs enjeux de recherche. Note de contenu : Sommaire Introduction aux systèmes multi-agents Méthodes orientées agent et multi-agent Interopérabilité des systèmes multi-agents à l'aide des services web Agents situés : une nouvelle voie pour le développement d'applications industrielles Composants logiciels et systèmes multi-agents Des systèmes multitâches aux systèmes multi-agents Systèmes multi-agents pour l'identification de cibles par un système multicapteur Jeux vidéo et systèmes multi-agents Côte titre : Fs/9137-9140

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/9137	Fs/9137-9140	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9138	Fs/9137-9140	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9139	Fs/9137-9140	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9140	Fs/9137-9140	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 4 / 4)