Des services pour PMB
Détail de l'éditeur
Lavoisier |
Documents disponibles chez cet éditeur (67)
Affiner la recherche Interroger des sources externes
Titre : Outils de Mise en Oeuvre Industrielle des Techniques Formelles Type de document : texte imprimé Auteurs : BOULANGER, Jean-Louis, Auteur Editeur : Lavoisier Année de publication : 2012 Importance : 389p. Présentation : couv. illus. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-3801-5 Langues : Français (fre) Catégories : 04 Génie Electrique Mots-clés : SCAD SPARK ControlBuild Polyspace. Index. décimale : 04-04- Automatique Résumé : Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.
Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en oeuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants.
Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.Note de contenu :
Introduction
Chapitre 1: Des Langages Classique aux Méthodes Formelles
Chapitre 2: SCADE: mise en Oeuvre et Applications
Chapitre 3: SPARK, un Langage et une Boite à Outils pour le Développement de Logiciel Critique
Chapitre 4: ControlBuild
Chapitre 5: Model Based Testing.Génération Automatique de cas de Test à L'aide d'une Modélisation par Chaines de Markov
Chapitre 6: Analyse de Sécurité ds Systèmes Embarqués avec AltaRica
Chapitre 7: Méthode B et Outils B
Chapitre 8: Polyspace
Chapitre 9: Synthèse et Conclusions
Glossaire
IndexOutils de Mise en Oeuvre Industrielle des Techniques Formelles [texte imprimé] / BOULANGER, Jean-Louis, Auteur . - Lavoisier, 2012 . - 389p. : couv. illus. en coul. ; 24 cm.
ISBN : 978-2-7462-3801-5
Langues : Français (fre)
Catégories : 04 Génie Electrique Mots-clés : SCAD SPARK ControlBuild Polyspace. Index. décimale : 04-04- Automatique Résumé : Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.
Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en oeuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants.
Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.Note de contenu :
Introduction
Chapitre 1: Des Langages Classique aux Méthodes Formelles
Chapitre 2: SCADE: mise en Oeuvre et Applications
Chapitre 3: SPARK, un Langage et une Boite à Outils pour le Développement de Logiciel Critique
Chapitre 4: ControlBuild
Chapitre 5: Model Based Testing.Génération Automatique de cas de Test à L'aide d'une Modélisation par Chaines de Markov
Chapitre 6: Analyse de Sécurité ds Systèmes Embarqués avec AltaRica
Chapitre 7: Méthode B et Outils B
Chapitre 8: Polyspace
Chapitre 9: Synthèse et Conclusions
Glossaire
IndexRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 16078 04-04-55/01 Livre Bibliotheque ESG2E Document Exclu du prêt 16079 04-04-55/02 Livre Bibliotheque ESG2E Document Disponible
Titre : Les Alliages à Mémoire de Forme Type de document : texte imprimé Auteurs : LEXCELLENT, Christian, Auteur Editeur : Lavoisier Année de publication : 2013 Importance : 399 p. Présentation : couv. illus. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-4505-1 Langues : Français (fre) Catégories : 03 Génie énergétique Mots-clés : La Transformation Martensitique Comportement des AMF Magnétiques Mécanique de la Rupture des AMF Index. décimale : 03-00 Généralité Résumé : Les alliages à mémoire de forme sont des matériaux uniques qui ont la propriété de se souvenir des traitements thermomécaniques subis (traction, torsion, flexion, etc.). Ils sont très utilisés dans l'industrie biomédicale, l'aéronautique ou le nucléaire. Cet ouvrage traite de leur compréhension physique et mécanique, et de leur utilisation, en se concentrant principalement sur la nature de la transformation martensitique, expliquée à travers les théorèmes de Ball et James. Les modèles macroscopiques à variables internes donnent les clés pour le calcul des structures en alliage à mémoire de forme, particulièrement utile pour l'utilisation industrielle de ces matériaux. Professeur à l'Ecole nationale supérieure de mécanique et des microtechniques de Besançon, Christian Lexcellent mène des recherches depuis plus de 20 ans sur les alliages à mémoire de forme. Ses enseignements portent sur le comportement linéaire et non-linéaire des matériaux. Note de contenu : Avant-Propos
Chapitre 1: Quelques Généralités sur Les AMF
Chapitre 2: Le Monde des Alliages à Mémoire de Forme
Chapitre 3: La Transformation Martensitique
Chapitre 4: Cadre Thermodynamique pour la Modélisation des Matériaux Solides
Chapitre 5: Utilisation de la "CTM" pour la Modélisation des AMF
Chapitre 6: Approches Phénoménologiques et Statistiques des AMF
Chapitre 7: Modèles Macroscopiques à Variables Internes
Chapitre 8: Dimensionnement d'éléments en AMF: étude de cas
Chapitre 9: Comportement des AMF Magnétiques
Chapitre 10: Mécanique de la Rupture des AMF
Chapitre 11: Conclusion Générale
Annexes
Bibliographie
IndexLes Alliages à Mémoire de Forme [texte imprimé] / LEXCELLENT, Christian, Auteur . - Lavoisier, 2013 . - 399 p. : couv. illus. en coul. ; 24 cm.
ISBN : 978-2-7462-4505-1
Langues : Français (fre)
Catégories : 03 Génie énergétique Mots-clés : La Transformation Martensitique Comportement des AMF Magnétiques Mécanique de la Rupture des AMF Index. décimale : 03-00 Généralité Résumé : Les alliages à mémoire de forme sont des matériaux uniques qui ont la propriété de se souvenir des traitements thermomécaniques subis (traction, torsion, flexion, etc.). Ils sont très utilisés dans l'industrie biomédicale, l'aéronautique ou le nucléaire. Cet ouvrage traite de leur compréhension physique et mécanique, et de leur utilisation, en se concentrant principalement sur la nature de la transformation martensitique, expliquée à travers les théorèmes de Ball et James. Les modèles macroscopiques à variables internes donnent les clés pour le calcul des structures en alliage à mémoire de forme, particulièrement utile pour l'utilisation industrielle de ces matériaux. Professeur à l'Ecole nationale supérieure de mécanique et des microtechniques de Besançon, Christian Lexcellent mène des recherches depuis plus de 20 ans sur les alliages à mémoire de forme. Ses enseignements portent sur le comportement linéaire et non-linéaire des matériaux. Note de contenu : Avant-Propos
Chapitre 1: Quelques Généralités sur Les AMF
Chapitre 2: Le Monde des Alliages à Mémoire de Forme
Chapitre 3: La Transformation Martensitique
Chapitre 4: Cadre Thermodynamique pour la Modélisation des Matériaux Solides
Chapitre 5: Utilisation de la "CTM" pour la Modélisation des AMF
Chapitre 6: Approches Phénoménologiques et Statistiques des AMF
Chapitre 7: Modèles Macroscopiques à Variables Internes
Chapitre 8: Dimensionnement d'éléments en AMF: étude de cas
Chapitre 9: Comportement des AMF Magnétiques
Chapitre 10: Mécanique de la Rupture des AMF
Chapitre 11: Conclusion Générale
Annexes
Bibliographie
IndexExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 16724 03-00-27/01 Livre Bibliotheque ESG2E Document Exclu du prêt
Titre : Les accidents de réacteurs nucléaires Type de document : texte imprimé Auteurs : Serge MARGUET, Auteur Editeur : Lavoisier Année de publication : 2012 Importance : 136P. Présentation : couv. ill. en coul. Format : 25cm. ISBN/ISSN/EAN : 978-2-7430-1429-2 Langues : Français (fre) Catégories : 03 Génie énergétique Mots-clés : physique des accidents nucléaires les accidents des débuts du nucléaires l'accident de three mile island l'accidentde theernobyl l'accidentde fukushima conclusions et perspéctives Index. décimale : 03-01 Energétique Les accidents de réacteurs nucléaires [texte imprimé] / Serge MARGUET, Auteur . - Lavoisier, 2012 . - 136P. : couv. ill. en coul. ; 25cm.
ISBN : 978-2-7430-1429-2
Langues : Français (fre)
Catégories : 03 Génie énergétique Mots-clés : physique des accidents nucléaires les accidents des débuts du nucléaires l'accident de three mile island l'accidentde theernobyl l'accidentde fukushima conclusions et perspéctives Index. décimale : 03-01 Energétique Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 14255 03-01-07/01 Livre Bibliotheque ESG2E Document Exclu du prêt 14256 03-01-07/02 Livre Bibliotheque ESG2E Document Disponible 14257 03-01-07/03 Livre Bibliotheque ESG2E Document Disponible
Titre : Analyse numérique en électromagnétisme : La méthode TLM Type de document : texte imprimé Auteurs : Pierre SAGUET, Auteur Editeur : Lavoisier Année de publication : 2012 Importance : 168 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-3121-4 Langues : Français (fre) Catégories : 04 Génie Electrique Index. décimale : 04-05 Électromagnétisme Analyse numérique en électromagnétisme : La méthode TLM [texte imprimé] / Pierre SAGUET, Auteur . - Lavoisier, 2012 . - 168 p. ; 24 cm.
ISBN : 978-2-7462-3121-4
Langues : Français (fre)
Catégories : 04 Génie Electrique Index. décimale : 04-05 Électromagnétisme Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 13290 04-05-21/01 Livre Bibliotheque ESG2E Document Exclu du prêt 13291 04-05-21/02 Livre Bibliotheque ESG2E Document Disponible 13292 04-05-21/03 Livre Bibliotheque ESG2E Document Disponible
Titre : Automatique avancée 1 : Techniques d'identification et d'estimation Type de document : texte imprimé Auteurs : Raymond HANUS, Auteur Editeur : Lavoisier Année de publication : 2007 Importance : 295 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-1701-0 Langues : Français (fre) Catégories : 07 Physique Index. décimale : 07-00-Généralité Automatique avancée 1 : Techniques d'identification et d'estimation [texte imprimé] / Raymond HANUS, Auteur . - Lavoisier, 2007 . - 295 p. ; 24 cm.
ISBN : 978-2-7462-1701-0
Langues : Français (fre)
Catégories : 07 Physique Index. décimale : 07-00-Généralité Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité 8183 07-00-152/01 Livre Bibliotheque ESG2E Document Exclu du prêt 8184 07-00-152/02 Livre Bibliotheque ESG2E Document Exclu du prêt 8185 07-00-152/03 Livre Bibliotheque ESG2E Document Disponible 8186 07-00-152/04 Livre Bibliotheque ESG2E Document Disponible 8187 07-00-152/05 Livre Bibliotheque ESG2E Document Disponible PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
