Vous pouvez lancer une recherche portant sur un ou plusieurs mots (titre, auteur, éditeur, ...).

Vous n'avez pas d'idée pour chercher ? Entrez dans la bibliothèque...

ARCHIVES

BIBLIOTHÈQUE - ACCÈS LIBRE

BIBLIOTHÈQUE - ACCÈS RÉSERVÉ

En ligne

Etagères virtuelles

DERNIÈRES ACQUISITIONS (vulgarisation scientifique, enseignement et recherche)

Le Havre aéronautique. Des pionniers à Safran / Sébastien BOCÉ

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014652	629.13 BOC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Sciences appliquées - Technologie	Disponible

Préparer et réussir le test en vol du PPL et du LAPL / Thibault PALFROY

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014658	629.13 PAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Sciences appliquées - Technologie	Disponible

Aviation and Climate Change : Economic Perspectives on Greenhouse Gas Reduction Policies / Franck FICHERT

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014663	387.7 FIC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Encyclopédies - Société	Disponible

A Battery Powered Transport Aircraft: A Concept Study of a Real All Electric Aircraft / Patrick, Christoph VRATNY

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014664	629.13 VRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Sciences appliquées - Technologie	Sorti jusqu'au 03/05/2021

Handbook of Model Checking / Edmund M. CLARKE

Titre :	Handbook of Model Checking
Type de document :	texte imprimé
Auteurs :	Edmund M. CLARKE, Directeur de publication, rédacteur en chef ; Thomas A. HENZINGER, Directeur de publication, rédacteur en chef ; Helmut VEITH, Directeur de publication, rédacteur en chef ; Roderick BLOEM, Directeur de publication, rédacteur en chef
Editeur :	Springer Nature Switzerland
Année de publication :	2018
Importance :	1210 p.
ISBN/ISSN/EAN :	978-3-319-10574-1
Note générale :	Foreword Preface Acknowledgements Contributors Contents Index
Catégories :	:Logiciels:Vérification Vérification de modèles (informatique)
Index. décimale :	004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes
Résumé :	Introduction to Model Checking Temporal Logic and Fair Discrete Systems Modeling for Verification Automata Theory and Model Checking Explicit-State Model Checking Partial-Order Reduction Binary Decision Diagrams BDD-Based Symbolic Model Checking Propositional SAT Solving SAT-Based Model Checking Satisfiability Modulo Theories Compositional Reasonning Abstraction and Abstraction Refinement Interpolation and Model Checking Predicate Abstraction for Program Verification Combining Model Checking and Data-Flow Analysis Model Checking Procedural Programs Model Checking Concurrent Programs Combining Model Checking and Testing Combining Model Checking and Deduction Model Checking Parameterized Systems Model Checking Security Protocols Transfer of Model Checking to Industrial Practice Functionnal Specification of Hardware via Temporal Logic Symbolic Trajectory Evaluation The mu-Calculus and Model Checking Graph Games and Reactive Synthesis Model Checking Probabilistic Systems Model Checking Real-Time Systems Verification of Hybrid Systems Symbolic Model Checking in Non-Boolean Domains Process Algebra and Model Checking

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014650	004.2 CLA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	Informatique - Bibliothéconomie	Disponible

Voir la suite...

DERNIÈRES THÈSES ISAE-ENSMA

Modeling Study of Pyrolysis of Composite Materials: Application to Wood and Carbon/Epoxy Composite / Xiaowen QIN

Titre :	Modeling Study of Pyrolysis of Composite Materials: Application to Wood and Carbon/Epoxy Composite
Titre original :	Modélisation de la pyrolyse des matériaux composites : Application au bois et composite carbone/époxy
Type de document :	thèse
Auteurs :	Xiaowen QIN, Auteur ; Thomas ROGAUME, Directeur de thèse ; Franck RICHARD, Directeur de thèse ; Benjamin BATIOT, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Alexis COPPALLE, Rapporteur ; Bernard PORTERIE, Rapporteur ; Pascal BOULET, Examinateur ; Jean LACHAUD, Examinateur ; Virginie DRÉAN, Examinateur
Importance :	288 p.
Note générale :	NNT 2021ESMA0006 Acknowledgements Abstract Table of Content List of Figures List of Tables Nomenclature References Appendicex: Summary in French for each Chpater
Catégories :	:Bois:Combustion :Incendies:Prévention Calorimètres Composites Pyrolyse Simulation, Méthodes de Transfert de chaleur Transfert de masse
Résumé :	INTRODUCTION Background and Motivation Research Aim Research Methodology Thesis Outline LITERATURE REVIEW Composite Materials: General Background Pyrolysis Phenomenon in the Fire Scenario Multi-Scale Experiment and parameters Estimation Conclusion DESCRIPTION OF THE PATO SOLVER The Theory of Volume Averaging Pyrolysis KineticsConservation EquationsBoundary Conditions Modeling Work Protocol Modeling Assumption and Simulation Options Conclusion PARTICLE SCALE MODELING OF THE WOOD PYROLYSIS TGA Experitmental Procedure TGA Experitmental Results TGA Pyrolysis Modeling Study Conclusion CONE CALORIMETER EXPERIMENTS AND MODEL VALIDATION FOR WOOD PYROLYSIS CACC Experiment Description and Temperature Measurement Inverse Analysis to Obtain Heat Convection Coefficient Inverse Analysis to Obtain Wood Thermophysical Parameters Inverse Analysis to Obtain Char Thermophysical Parameters Model Validation for Moisture Evaporation Model Validation for Wood Pyrolysis under Different Scenarios Conclusion MULTI-SCALE APPLICATION OF THE MODEL TO CARBON/EPOXY COMPOSITE PYROLYSIS TGA Experiments and Model Validation Cone Calorimeter Experiments and Model Validation COnclusion SENSITIVITY ANALYSIS Kinetic and Thermodynamic Parameters Influence Thermal and Physical Parameters Influence Boundary Parameters Influence Water Content Influence Concusion CONCLUSION AND PERSPECTIVE Conclusion Perspective
En ligne :	https://tel.archives-ouvertes.fr/tel-03167564

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-21 QIN	QIN	Numérique	En ligne	Thèses	Exclu du prêt

Revisiting Data Partitioning for Scalable RDF Graph Processing / Jorge Armando GALICIA AUYÓN

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-21 GAL	GAL	Numérique	En ligne	Thèses	Exclu du prêt

Fragmentation aérodynamique d’une goutte liquide induite par une onde de choc plane / Luc BIASIORI-POULANGES

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-21 BIA	BIA	Numérique	En ligne	Thèses	Exclu du prêt

Caractérisation et modélisation des interfaces dans les composites organiques stratifiés à haute température : application à la tenue au feu des structures aéronautiques / Juan Pablo MÁRQUEZ-COSTA

Titre :	Caractérisation et modélisation des interfaces dans les composites organiques stratifiés à haute température : application à la tenue au feu des structures aéronautiques
Type de document :	thèse
Auteurs :	Juan Pablo MÁRQUEZ-COSTA, Auteur ; Damien HALM, Directeur de thèse ; Cédric HUCHETTE, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Rafael ESTEVEZ, Rapporteur ; Benoît VIEILLE, Rapporteur ; Christophe BOUVET, Examinateur ; Anita CATAPANO, Examinateur ; Vincent LEGRAND, Examinateur ; Gillian LEPLAT, Examinateur
Importance :	207 p.
Note générale :	NNT 2021ESMA0004 Remerciements Table des matières Liste des figures Liste des tableaux Nomenclature Introduction Bibliographie Résumé Mots clés
Catégories :	:Composites:Délaminage :Composites:Traitement thermomécanique Cisaillement (mécanique) Essais de comportement au feu Interfaces (sciences physiques) Rupture, Mécanique de la Simulation, Méthodes de
Résumé :	ÉTAT DE L'ART SUR LA TENUE AU FEU DES COMPOSITES STRATIFIÉS Matériaux composites exposés au feu : Certification actuelle dans le secteur aéronautique Caractérisation des phénomènes thermomécaniques dans les composites stratifiés Modélisation de la tenue au feu des composites Caractérisation expérimentale du délaminage Modélisation numérique du délaminage Conclusions et limitations MISE EN ÉVIDENCE DU COMPORTEMENT DU MATÉRIAU PAR L'ANALYSE EXPÉRIMENTALE ET NUMÉRIQUE DE L'ESSAI INJECT Présentation et exploitation de l’essai de propagation du délaminage en mode II en température : INJECT Validation de l’essai ENF en température Mise en évidence des effets de la température sur la réponse à l’interface Conclusions CARACTÉRISATION DU COMPORTEMENT VISQUEUX DES INTERFACES CMO PAR DIALOGUE ESSAI-CALCUL Développement d’une stratégie de dialogue essai-calcul de type FEMU pour la caractérisation du comportement d’interface en température Application de la FEMU pour la caractérisation du comportement d’interface apparent en absence d’endommagement Conclusions IDENTIFICATION D'UNE LOI D'INTERFACE DÉPENDANTE DE LA TEMPÉRATURE Justification du besoin d’un modèle cohésif pour la modélisation de l’endommagement à l’interface Développement d’une stratégie de dialogue essai-calcul de type FEMU pour la caractérisation de la réponse endommageable d’interface en température Application de la FEMU pour l’identification d’une dépendance à la température des paramètres du modèle Conclusions CONFRONTATION DU MODÈLE D'INTERFACE À L'ANALYSE DE L'AMORÇAGE DU DÉLAMINAGE SOUS CHARGEMENT THERMIQUE LASER Présentation de l’essai BLADE pour l’étude de la propagation du délaminage en température Analyse de la réponse thermo-mécanique et comparaison avec la simulation numérique Développement d’une approche numérique pour la formulation d’un critère d’amorçage du délaminage Vers la prévision des performances mécaniques résiduelles des composites soumis au feu Conclusions sur la prévision du délaminage en température CONCLUSIONS ET PERSPECTIVES
En ligne :	https://tel.archives-ouvertes.fr/tel-03184780