Détail de l'auteur
Auteur Jean HLADIK |
Documents disponibles écrits par cet auteur (6)
Faire une suggestion Affiner la recherche
Le calcul tensoriel en physique avec exercices corrigés / Jean HLADIK
Titre : Le calcul tensoriel en physique avec exercices corrigés Type de document : texte imprimé Auteurs : Jean HLADIK ; Claude LATREMOLIERE, Préfacier, etc. Mention d'édition : 2e édition Editeur : Masson Année de publication : 1995 Collection : Enseignement de la physique Importance : 212 p. ISBN/ISSN/EAN : 978-2-225-84653-3 Note générale : Préface
Table des matières
Avant-propos
Index alphabétiqueCatégories : Calcul tensoriel
Calcul tensoriel:Problèmes et exercices
Physique mathématique
Physique mathématique:Problèmes et exercicesIndex. décimale : 530.15 Physique mathématique Résumé : Les vecteurs
Exemples de tenseurs euclidiens
Algèbre des tenseurs
Espaces ponctuels
Analyse tensorielle
Tenseurs et dualité
Espaces de Riemann
Exemples d'applicationsExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00005548 530.15 HLA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible B00014218 530.15 HLA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Le calcul vectoriel en physique : Les outils mathématiques / Jean HLADIK
Titre : Le calcul vectoriel en physique : Les outils mathématiques Type de document : texte imprimé Auteurs : Jean HLADIK Editeur : Ellipses Année de publication : 1993 Importance : 311 p. ISBN/ISSN/EAN : 978-2-7298-4317-5 Note générale : Avant-propos
Table des matières
Index alphabétiqueCatégories : Analyse vectorielle
Physique mathématique
Problèmes et exercicesIndex. décimale : 512.9 Fondements de l'algèbre Résumé : L'espace vectoriel euclidien à trois dimensions
Algèbre des vecteurs
Les vecteurs dans l'espace ponctuel
Calcul vectoriel différentiel
Calcul vectoriel intégral
Coordonnées curvilignes orthogonales
Les espaces vectoriels à n dimensions
Conventions et symboles
Algèbre des vecteurs
Algèbre des tenseurs
Algèbre des formes
Les spineurs de l'espace à trois dimensionsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001021 512.9 HLA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI
Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014
Résumé
Mots clés
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Liste des abréviations
Liste des symboles
Bibliographie
Résumé
Mots clésCatégories : Drones
Durée de vie (ingénierie)
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : INTRODUCTION GÉNÉRALE
Contexte et motivations
Objectifs de la thèse
Organisation de la thèse
Publications scientifiques
SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES
Introduction
Système embarqué temps réel
Cycle de vie de développement des systèmes temps réel
Méthodologies et langages de conception standardisés
Conception des systèmes temps réel
Conclusion
ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL
Introduction
Modèles de tâche
Orodonnancement monoprocesseur
Orodonnancement multiprocesseur
Analyse d'ordonnançabilité et validation
Outils d'analyse basés sur les modèles
État de l'art sur les méthodes de déploiement des systèmes temps réel
Conclusion
RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES
Introduction
Principe général
Étude de cas
Comparaison
Outil
Conclusion
PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE
Introduction
État de l'art sur la visualisation logicielle et la rétro-ingénierie
Conception des autopilotes des UAV
Architecture logicielle abstraite d'un autopilote
Exemple motivationnel
Architecture de Paparazzi
Concepts spécifiques dans l'architecture logicielle des autopilotes
Implémentaiton du framework
État de l'art sur les systèmes à décalage libre (offset-free)
Application
Conclusion
CONCLUSION GÉNÉRALE
En ligne : https://theses.hal.science/tel-04399687 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 KAM KAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Métrologie des propriétés thermophysiques des matériaux / Jean HLADIK
Titre : Métrologie des propriétés thermophysiques des matériaux Type de document : texte imprimé Auteurs : Jean HLADIK Editeur : Masson Année de publication : 1990 Collection : Mesures Physiques Importance : 349 p. ISBN/ISSN/EAN : 978-2-225-82199-8 Note générale : Liste des collaborateurs
Table des matières
Contents
Avant-propos
Index alphabétiqueCatégories : Calorimétrie
Matériaux
Matériaux:Propriétés thermiques
Thermocinétique
Thermocinétique:Mesure
ThermométrieIndex. décimale : 536.6 Calorimétrie Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006144 536.6 HLA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Sorti jusqu'au 15/05/2026 La transformation de Laplace à plusieurs variables. Résolution des équations différentielles intégrales et aux dérivées partielles / Jean HLADIK
Titre : La transformation de Laplace à plusieurs variables. Résolution des équations différentielles intégrales et aux dérivées partielles Type de document : texte imprimé Auteurs : Jean HLADIK ; Max MORAND, Préfacier, etc. Editeur : Masson Année de publication : 1969 Importance : 246 p. Note générale : Préface
Historique
Annexe : Notations employées et définition des fonctions
Formulaire
BibliographieCatégories : Equations différentielles
Equations différentielles:Analyse numérique
Transformation de LaplaceIndex. décimale : 515.7 Analyse fonctionnelle Résumé : La transformation de Laplace à une variable
Résolution des équations différentielles
Résolution des équations aux différences
Résolution des équations intégrales
Résolution des équations aux dérivées partielles (première méthode)
Calcul d'intégrales et étude des fonctions
La transformation de Laplace des fonctions périodiques et des distributions
La transformation de Laplace à deux variables
Résolution des équations aux dérivées partielles (deuxième méthode)
Résolution des équations intégrales et calcul d'intégrales
La transformation de Laplace associée à d'autres transformationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00004556 515.7 HLA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible Unités de Mesure. Etalons et symboles des grandeurs physiques / Jean HLADIK
Titre : Unités de Mesure. Etalons et symboles des grandeurs physiques Type de document : texte imprimé Auteurs : Jean HLADIK Editeur : Masson Année de publication : 1992 Collection : Mesures Physiques Importance : 101 p. ISBN/ISSN/EAN : 978-2-225-82616-0 Note générale : Table des matières
Avant-propos
Index alphabétique
Liste alphabétique des symbolesCatégories : Mesures physiques
Système métrique
Unités de mesureIndex. décimale : 681.7 Instruments utilisés dans les domaines scientifiques et techniques Résumé : LES UNITES DE MESURE
Le système international d'unités
Unités particulières et eur facteur de conversion
LES ETALONS DE MESURE
Le bureau national de métrologie
Temps et fréquence
Mécanique
Electricité et magnétisme
Température
Radiométrie
Quantité de matière
Rayonnements ionisants
LES SYMBOLES DES GRANDEURS PHYSIQUES
La normalisation des symboles
Espace, temps et phénomènes périodiques
Mécanique
Electricité et magnétisme
Thermodynamique et thermique
Rayonnement électromagnétique et optique
Physique atomique et nucléaire
Electronique
DONNEES EXPERIMENTALES
Constantes physiques fondamentales
Symboles et noms des éléments
Mécanique
Thermodynamùique et thermique
Electricité
Physique atomiqueExemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire