الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'systèmes reactifs'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Systèmes temps réel, 1. Systèmes temps réel / bernard berthomieu
Titre de série : Systèmes temps réel, 1 Titre : Systèmes temps réel : technique de description et de vérification Type de document : texte imprimé Auteurs : bernard berthomieu, Auteur ; patricia bouyer, Auteur ; marius bozga, Directeur de publication, rédacteur en chef ; paul caspi ; camille constat ; anne-marie déplanche ; sébastien graf ; susanne graf ; serge haddad ; grégoirehamon ; thierry jéron ; françois laroussinie ; hervé marchand ; radu mateescu ; stephan merz ; patrice moreaux ; laurent mounier Editeur : Paris : Hermès science publications-Lavoisier Année de publication : impr. 2006 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol. (370-VII p.) Présentation : ill. Format : 20x25 cm ISBN/ISSN/EAN : 978-2-7462-1303-6 Prix : 115 EUR Note générale : Éditeur : Hermes Science Publications (11 mai 2006)
Langue : : Français
ISBN-10 : 2746213036
ISBN-13 : 978-2746213036
Poids de l'article : 798 g
Dimensions : 23.4 x 15.6 cmLangues : Français (fre) Mots-clés : pétri temporels systèmes réactifs automates temporisés systèmes asynchrones lustre lucid temps réel Systèmes temps réel Index. décimale : 629. Autres Branches de L’ingénierie 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.
sommaire:
réseaux de petri temporels:méthodes d'analyse et vérification avec TINA
combinaison entre vérification et test pour la validation
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
LUCID SYNCHRONE,UN LANGAGE DE PROGRAMMATION
VÉRIFICATION DE SYSTéMES PROBABILISéS:MéTHODES ET OUTILS
LA BOITE à OUTILS IF POUR LA MODéLISATION ET LA VéRIFICATION DE SYSTéMES TEMPS RéEL
DESCRIPTION D'ARCHITECTURES POUR LE TEMPS RéEL:L'APPROCHE AADL
Note de contenu : Notes bibliogr.
IndexSystèmes temps réel, 1. Systèmes temps réel : technique de description et de vérification [texte imprimé] / bernard berthomieu, Auteur ; patricia bouyer, Auteur ; marius bozga, Directeur de publication, rédacteur en chef ; paul caspi ; camille constat ; anne-marie déplanche ; sébastien graf ; susanne graf ; serge haddad ; grégoirehamon ; thierry jéron ; françois laroussinie ; hervé marchand ; radu mateescu ; stephan merz ; patrice moreaux ; laurent mounier . - Paris : Hermès science publications-Lavoisier, impr. 2006 . - 1 vol. (370-VII p.) : ill. ; 20x25 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) .
ISBN : 978-2-7462-1303-6 : 115 EUR
Éditeur : Hermes Science Publications (11 mai 2006)
Langue : : Français
ISBN-10 : 2746213036
ISBN-13 : 978-2746213036
Poids de l'article : 798 g
Dimensions : 23.4 x 15.6 cm
Langues : Français (fre)
Mots-clés : pétri temporels systèmes réactifs automates temporisés systèmes asynchrones lustre lucid temps réel Systèmes temps réel Index. décimale : 629. Autres Branches de L’ingénierie 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.
sommaire:
réseaux de petri temporels:méthodes d'analyse et vérification avec TINA
combinaison entre vérification et test pour la validation
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
LUCID SYNCHRONE,UN LANGAGE DE PROGRAMMATION
VÉRIFICATION DE SYSTéMES PROBABILISéS:MéTHODES ET OUTILS
LA BOITE à OUTILS IF POUR LA MODéLISATION ET LA VéRIFICATION DE SYSTéMES TEMPS RéEL
DESCRIPTION D'ARCHITECTURES POUR LE TEMPS RéEL:L'APPROCHE AADL
Note de contenu : Notes bibliogr.
IndexExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST8980 629/15.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt Problèmes corrigés d'examens de thermodynamique / Michel Dudeck
Titre : Problèmes corrigés d'examens de thermodynamique : licence, ENSTA, agrégation de mécanique ; 1989-1991 Type de document : texte imprimé Auteurs : Michel Dudeck (1945-....), Auteur ; Françoise Baillot (1960-....), Auteur Editeur : Paris : Ellipses Année de publication : 1992 Importance : 93 p. Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 2-7298-9233-8 Prix : 65 F Note générale : Poids de l'article : 422 g
Broché : 93 pages
Dimensions du produit : 16.5 x 0.7 x 24.5 cm
ISBN-13 : 978-2729892333
Éditeur : ELLIPSES (15 juin 1992)
Langue : : FrançaisLangues : Français (fre) Mots-clés : principe systèmes simples systèmes composites systèmes réactifs stabilité transfert thermique diffusion phénomènes couples Index. décimale : 536 Chaleur - Thermodynamique Résumé : 21 problèmes corrigés posés de 1989 à 1991 aux examens de licence A de Mécanique (Modélisation et Calcul scientifique), de licence B de Mécanique (Sciences pour l'ingénieur) de l'université Pierre et Marie Curie, en 1re année à l'ENSTA et à l'Agrégation de Mécanique.
Sommaire :
les principes
systèmes simples
systèmes composites
systèmes réactifs
stabilité
transfert thermique
diffusion
phénomènes couplesNote de contenu : index Problèmes corrigés d'examens de thermodynamique : licence, ENSTA, agrégation de mécanique ; 1989-1991 [texte imprimé] / Michel Dudeck (1945-....), Auteur ; Françoise Baillot (1960-....), Auteur . - Paris : Ellipses, 1992 . - 93 p. : ill., couv. ill. ; 25 cm.
ISBN : 2-7298-9233-8 : 65 F
Poids de l'article : 422 g
Broché : 93 pages
Dimensions du produit : 16.5 x 0.7 x 24.5 cm
ISBN-13 : 978-2729892333
Éditeur : ELLIPSES (15 juin 1992)
Langue : : Français
Langues : Français (fre)
Mots-clés : principe systèmes simples systèmes composites systèmes réactifs stabilité transfert thermique diffusion phénomènes couples Index. décimale : 536 Chaleur - Thermodynamique Résumé : 21 problèmes corrigés posés de 1989 à 1991 aux examens de licence A de Mécanique (Modélisation et Calcul scientifique), de licence B de Mécanique (Sciences pour l'ingénieur) de l'université Pierre et Marie Curie, en 1re année à l'ENSTA et à l'Agrégation de Mécanique.
Sommaire :
les principes
systèmes simples
systèmes composites
systèmes réactifs
stabilité
transfert thermique
diffusion
phénomènes couplesNote de contenu : index Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité ST6036 536/48.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST6037 536/48.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST6189 536/48.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST6190 536/48.4 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Thermodynamique / Michel Dudeck
Titre : Thermodynamique : les irréversibilités ; cours, classes préparatoires, licences, maîtrises Type de document : texte imprimé Auteurs : Michel Dudeck (1945-....), Auteur Editeur : Paris : Ed. Eska Année de publication : 1993 Importance : 262 p. Présentation : ill., couv. ill. en coul. Format : 24*17 cm ISBN/ISSN/EAN : 978-2-86911-110-3 Note générale : Poids de l'article : 440 g
Broché : 262 pages
ISBN-13 : 978-2869111103
Éditeur : ESKA (1 janvier 2000)
Dimensions du produit : 16.2 x 1.6 x 24.4 cm
Langue : : FrançaisLangues : Français (fre) Mots-clés : équilibre bilan d'énergie système semple systèmes composites systèmes reactifs transfert thermique diffusion viscosité Index. décimale : 536 Chaleur - Thermodynamique Résumé : Sommaire :
équilibre
bilan d'énergie
système semple
systèmes composites
systèmes reactifs
transfert thermique
diffusion
viscositéNote de contenu : index Thermodynamique : les irréversibilités ; cours, classes préparatoires, licences, maîtrises [texte imprimé] / Michel Dudeck (1945-....), Auteur . - Paris : Ed. Eska, 1993 . - 262 p. : ill., couv. ill. en coul. ; 24*17 cm.
ISBN : 978-2-86911-110-3
Poids de l'article : 440 g
Broché : 262 pages
ISBN-13 : 978-2869111103
Éditeur : ESKA (1 janvier 2000)
Dimensions du produit : 16.2 x 1.6 x 24.4 cm
Langue : : Français
Langues : Français (fre)
Mots-clés : équilibre bilan d'énergie système semple systèmes composites systèmes reactifs transfert thermique diffusion viscosité Index. décimale : 536 Chaleur - Thermodynamique Résumé : Sommaire :
équilibre
bilan d'énergie
système semple
systèmes composites
systèmes reactifs
transfert thermique
diffusion
viscositéNote de contenu : index Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST6034 536/47.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST6035 536/47.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible