BIBLIOTHÈQUE - ACCÈS RÉSERVÉ
Thèses > Auteurs commençant par L
Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques / Stéphane PAILLER
Titre : Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques Type de document : thèse Auteurs : Stéphane PAILLER ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marc BOURCERIE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; Michel MERIAUX, Examinateur ; Michel AUGERAUX, Examinateur Importance : 204 p. Note générale : Remerciements
Table des matières
Liste des figures
Références bibliographiques
Résumé
Mots clésCatégories : Ordonnancement (informatique)
Petri, Réseaux de
Temps réel (informatique)Index. décimale : TH-06 Résumé : ETAT DE L'ART
Systèmes temps réel
Ordonnancement et validation
Modélisation d'un système temps réel par réseaux de Pétri
CONTRIBUTION
Modèle de tâche conditionnelle
Applictions munies de tâches conditionnellesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007192 TH-06 PAI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature / Karim TRAORE
Titre : Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature Type de document : thèse Auteurs : Karim TRAORE ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Yvon TRINQUET, Rapporteur ; Francis COTTET, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Nicolas NAVET, Examinateur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 273 p. Note générale : NNT 2007POIT2261
Remerciements
Table des matières
Introduction généraleCatégories : Informatique
Temps réel (informatique)Index. décimale : TH-07 Résumé : ETAT DE L'ART
SYSTEMES TEMPS REEL
Présentation succinte de l'application drone miniature
Généralités sur le temps réel
Approche synchrone et approche asynchrone
La notion de tâche
Exécutif temps réel
Normalisation des exécutifs temps réel
Ordonnancement en-ligne de systèmes temps réel
Validation de systèmes temps réel par analyse de la période d'activité
LES MODELES DE TACHES PRENANT EN COMPTE LES DECALAGES D'ACTIVATIONS
Le modèles de tâches multiframes
Le modèle de tâches à offsets
CONTRIBUTION
CONTRIBUTION A L'ORDONNANCEMENT DE TZCHS PRENANT EN COMPTE LE DECALAGE
Transactions séries
Les transactions monotoniques
Multiframes et tâches à offsets
Récapitulatifs
PARTIE PRATIQUE : APPLICATION DRONE MINIATURE
Présentation du projet
Description expérimentale
Fonctionnement général de l'application
Définition de l'architecture logicielle de l'application
Développement sur OSEK/VDXExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007230 TH-07 TRA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches / Sybille CAFFIAU
Titre : Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches Type de document : thèse Auteurs : Sybille CAFFIAU ; Patrick GIRARD, Directeur de thèse ; Dominique SCAPIN, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Gaëlle CALVARY, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Rémi BASTIDE, Examinateur ; Laurent GUITTET, Examinateur Année de publication : 2009 Importance : 309 p Note générale : NNT 2009ESMA0028
Remerciements
Résumé
Abstract
Table des matières
Références
AnnexesLangues : Français (fre) Catégories : Interaction homme-ordinateur
Interfaces utilisateur (informatique)
Méthodes formelles (informatique)Résumé : INTRODUCTION
Introduction générale
Organisation de la thèse
LA PLACE DES MODELES DANS LA CONCEPTION DES SYSTEMES INTERACTIFS
Conception orientée-système
La conception centrée utilisateur
IDM et IHM
ETUDE PRELIMINAIRE ET POSITIONNEMENT DU PROBLEME
Choix du modèle de tâches
Choix du modèle de dialogue
Etude préliminaire : dérivation du modèle de dialogue à partir du modèle de tâches
META-MODELISATION DE K-MAD (V2)
Etudes de cas
Propositions et extensions
Passage de K-MAD (v1)à K-MAD (v2)
META-MODELISATION DES INTERACTEURS HIERARCHISES
Les études de cas
Modifications et expression du méta-modèle
UTILISATION DES META-MODELES
Liens d'association entre modèles de tâches et de dialogue
Notion d'équivalence de modèles K-MAD (v2)
Les règles de cohérence
Exemple de mise en pratique des liens entre les méta-modèles définis
CONCLUSIONS ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00461497/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008161 TH-09 CAF Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-09 CAF CAF Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs / Thi Huyen Chau NGUYEN
Titre : Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs Type de document : thèse Auteurs : Thi Huyen Chau NGUYEN, Auteur ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Maryline CHETTO, Rapporteur ; Laurent GEORGE, Rapporteur ; Joël GOOSSENS, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Isabelle PUAUT, Examinateur Année de publication : 2010 Importance : 108 p. Note générale : NNT 2010ESMA0014
Remerciements
Table des matières
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Temps réel (informatique)Résumé : INTRODUCTION
Définition générale
Notations liées aux tâches et à l'ordonnancement
Objectifs de l'étude
Organisation du mémoire et contributions
ORDONNACEMENT A PRIORITE FIXE
Tests d'ordonnançabilité
Principaux tests d'ordonnançabilité
Principales bornes de temps de réponse
CONTINUITE ET ORDONNANCABILITE
Borne de Sjödin et Hansson
Borne de Bini et Baruah
Analyse
Expérimentations
TACHES A ECHEANCES CONTRAINTES AVEC GIGUES D'ACTIVATION
Définitions
Bornes des pires temps de réponse
Analyse pire cas des bornes d'erreur
Expérimentations numériques
TACHES A ECHEANCES ARBITRAIRES
Modèle de tâches et résultats connus
Analyse du schéma d'approximation de Fischer et Baruah
Version révisée de l'algorithme de Fischer et Baruah
Correction du schéma d'approximation
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00554265/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008572 TH-10 NGU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 NGU NGU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Un cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée / Nadjet KAMEL
Titre : Un cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée Type de document : thèse Auteurs : Nadjet KAMEL ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Christophe KOLSKI, Rapporteur ; Habiba DRIAS, Examinateur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Zoheir ZEMERLI, Examinateur Importance : 170 p. Note générale : Table des matières
Résumé
Table des figures
Liste des tableaux
Introduction générale
BibliographieIndex. décimale : TH-06 Résumé : LES INTERFACES HOMME-MACHINE MULTIMODALES
Concepts de base
Classes de systèmes multimodaux
Modèles de développement des systèmes intéractifs
Modèles d'architectures pour les systèmes intéractifs
Modèles de taches pour le systèmes intéractifs
Propriétés des HIM
Le système multimodal Matis : étude de cas
DEVELOPPEMENTS FORMELS DE SYSTEMES INTERACTIFS
Modélisation formelle
Vérification formelle
Modèles formels
Démarche de conception
Utilisation des méthodes formelles pour les IHM
Méthodologie et hétérogéniété
Conclusion
Notre proposition
UN MODELE CONCEPTUEL FORMEL GENERIQUE POUR LES SYSTEMES INTERACTIFS MULTIMODAUX. CAS DE LA MODALITE EN ENTREE
Modélisation de l'intéraction en entrée dans IHM multimodales
Application à l'étude de cas
Modèle formel pour les propriétés CARE
MISE NE OEUVRE DU MODELE GENERIQUE DANS LA TECHNIQUE DE MODEL-CHECKING
Mise en oeuvre avec SMV
Mise en oeuvre avec Promela/Spin
Utilisation de vérificateurs sur modèle pour les IHM3
MISE NE OEUVRE DU MODELE GENERIQUE DANS UNE TECHNIQUE DE PREUVE AVEC B
Méthode de spécification B
Principes de représentation du modèle générique formel en B événementielExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007210 TH-06 KAM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données / Emmanuel GEVEAUX
Titre : Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données Type de document : thèse Auteurs : Emmanuel GEVEAUX ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; C. ANDRE, Rapporteur ; J.-L. FERRIER, Rapporteur ; J.-M. CHALONS, Examinateur ; L.-P. DOCO, Examinateur ; Guy PIERRA, Examinateur ; T. SORIANO, Examinateur Importance : 166 p. Note générale : Remericements
Table des matières
Introduction
Conclusion
Références bibliographiques
AnnexesCatégories : Commande de processus
GRAFCET
Langages de programmation
Programmation parallèle (informatique)Index. décimale : TH-98 Résumé : LA PROGRAMMATION GRAPHIQUE FLOT DE DONNEES
Avant-propos : Programmation Textuelle et Programmation Graphique
Les diagrammes Flots de Données
Le langage G : le Flot de Données Structuré
LabVIEW : Une Implémentation du Langage G
Recommandations de développement en Langage G
PROGRAMMATION CONCURRENTE POUR LE LANGAGE G
Avant-propos : Programmation déquentielle et programmation concurrente
Les concepts de la programmation concurrente
Programmation concurrente et langage G
UNE IMPLEMENTATION DU GRAFCET EN LANGAGE G
Avant-propos : Domaine d'application du GRAFCET
Définition du GRAFCET
Les principes d'implementation du GRAFCET
GrafcetVIEWExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006965 TH-98 GEV Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt De la conception physique aux outils d'administration et de tuning des entrepôts de données / Kamel BOUKHALFA
Titre : De la conception physique aux outils d'administration et de tuning des entrepôts de données Type de document : thèse Auteurs : Kamel BOUKHALFA ; Ladjel BELLATRÈCHE, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Jérôme DARMONT, Rapporteur ; Zohra BELLAHSENE, Examinateur ; Zaia ALIMAZIGHI, Examinateur ; Pascal RICHARD, Examinateur Importance : 238 p. Note générale : NNT 2009ESMA0006
Remerciements
Table des matières
Table des figures
Glossaire
Bibliographie
Résumé
Mots clésCatégories : Informatique Index. décimale : TH-09 Résumé : Introduction générale
Etat de l'art
Sélection isolée : La FH primaire et dérivée
La FH : Algorithmes de selection et validation
Sélection isolée : Les index de jointure binaires
Sélection multiple de schémas de fragmentation et d'IJB
Par admin : outil d'aide à l'administration et le tuning
Conclusions et perspectivesEn ligne : http://tel.archives-ouvertes.fr/tel-00410411/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00007108 TH-09 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-09 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne / Laurent DAVID
Titre : Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne Type de document : thèse Auteurs : Laurent DAVID ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Isabelle PUAUT, Rapporteur ; G. JUANOLE, Examinateur ; Nimal NISSANKE, Examinateur ; Patrick MARTINEAU, Examinateur Année de publication : 2002 Importance : 222 p. Note générale : Remerciements
Table des matières
Notations et abréviations
Conclusion générale
Références bibliographiques
Publications liées à ce mémoire de thèseLangues : Français (fre) Catégories : Logiciels
Parallélisme (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)Index. décimale : TH-02 Résumé : LE CONTEXTE DE L'ETUDE
Définitions - vocabulaire
Les contraintes temporelles
Modèle de tâche périodique & Odonnancement
Définition de la gigue
Les définitions connues de la gigue
La gigue : critère d'apparition et conséquences
Conclusion
ETAT-DE-L'ART
Approche en ligne
Approche hors ligne
Modèles de tâches spécifiques
Conclusion
TECHNIQUE DE TRAITEMENT DE LA GIGUE DANS LES SYSTEMES TEMPS REEL
Méthodologie de traitement de la gigue
Annulation de la gigue de régularité
Encadrement de la gigue de régularité
Prise en compte de ressources partagées
Application au contrôle d'autres paramètres
Conclusion
EXPERIMENTATIONS NUMERIQUES
Présentation de l'outil de simulations
Tests d'efficacité de la méthode
Conclusion
APPLICATION A L'EXPERIENCE DU PENDULE INVERSE
Introduction
Modélisation du banc
l'application du temps réel de contrôle du pendule
L'ordonnancement des tâches
Conclusion
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008128 TH-02 DAV Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB / Mourad EL HADJ MIMOUNE
Titre : Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB Type de document : thèse Auteurs : Mourad EL HADJ MIMOUNE ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yves BERTRAND, Examinateur ; Danielle BOULANGER, Examinateur ; Yamine AIT AMEUR, Examinateur ; Guy PIERRA, Examinateur Importance : 194 p. Note générale : Remerciements
Table des matières
Glossaire
Introduction générale
Conclusion générale
Bibliographie
Liste des figures
Liste des tableaux
Annexe : Le langage EXPRESS
Résumé
Mots clésCatégories : Bases de données
Parts LIBrary (PLIB)
PostgreSQL (système informatique)
Systèmes de gestion de données techniquesIndex. décimale : TH-04 Résumé : MODELISATION ET GESTION DE DONNEES DE PRODUITS ET DE COMPOSANTS
Introduction
Modélisation de produits basée sur des représentations
Modélisation des données de produit basée sur les propriétés
Le modèle de données de composants PLIB
Intégration des données de produit et de données de composant
Conclusion
REPRESENTATION IMPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION
Introduction
Première approche de modélisation du contenu des bibliothèques de composants : modèle implicite de PLIB
Implémentation du modèle implicite de PLIB dans un SGBD
IMPLEMENTATION DU MODELE IMPLICITE EN SUIVANT L'APPROCHE HYBRIDE : CONVERSION DES INSTANCES DE CE MODELE EN N-UPLETS
Introduction
Schéma global de la base de données
Approche détaillée de l'implémentation du modèle implicite
Conversion du modèle implicite de PLIB en modèle explicite
Gestionnaire de bibliothèques de composants PLIB sur un SGBD
Conclusion
REPRESENTATION EXPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION
Introduction
Nouvelle approche de représentation des données de composants : la représentation explicite
Implémentation du modèle explicite de PLIB dans une base de données cible
Détails de l'implémentation : application de la programmation événementielle au modèle PLIB
Gestionnaire de données de composants basé sur le modèle explicite de PLIB
Conclusion
UN EXEMPLE DE MISE EN OEUVRE : IMPLEMENTATION DE PLIB DANS LE SGBDRO POSTGRESQL
Introduction
Choix du SGBD
Représentation de concepts EXPRESS dans le SGBD POSTGRESQL
Représentation des instance du niveau contenu dans POSTGRESQL
Connexion avec un SGDT
ConclusionExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002282 TH-04 ELH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement / Mickaël RICHARD
Titre : Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement Type de document : thèse Auteurs : Mickaël RICHARD, Auteur ; Francis COTTET, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean-Charles BILLAUT, Rapporteur ; Mammeri ZOUBIR, Rapporteur ; Yvon TRINQUET, Rapporteur ; Joël GOOSSENS, Examinateur Année de publication : 2002 Importance : 265 p. Note générale : Remerciements
Table des matières
Introduction générale
Conclusion
Glossaire
AnnexesLangues : Français (fre) Catégories : Informatique
Logiciels
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)Index. décimale : TH-02 Résumé : BASES DE L'ORDONNANCEMENT EN-LIGNE DE SYSTEMES TEMPS REELS
Introduction
Architecture des systèmes temps réels
Ordonnancement de systèmes monoprocesseurs
Les systèmes distribués
Placement
ANALYSE HOLISTIQUE
Détermination et analyse du pire cas
Analyse holistique
Calcul des pires temps de réponse des tâches et des messages
AFFECTION DES PRIORITES
Problématique
Structure de l'arbre de recherche
Principes généraux de la procédure de recherche
Arbre de recherche : Principe d'évaluation
Arbre de recherche : Test et coupe
Extension du protocole d'accès aux ressources critiques
Exemple : cas d'étude
Expérimentation
PLACEMENT ET AFFECTION
Architecture du systèmes temps réel
Placement et affection
Exemple
Expérimentation
CONTRAINTES DE PRECEDENCE ET ORDONNANCEMENT MONOPROCESSEUR
Modèles de tâches
Anomalies d'ordonnancement
Cas particuliers
Test général d'ordonnançabilité
Application sur l'exemple [HKL94]
APPLICATION SUR UNE ARCHITECTURE DISTRIBUEE
Architecture des systèmes distribués dans l'automobile
Méthode d'affectation des priorités
Méthode de placement et d'affectionExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008127 TH-02 RIC Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques Type de document : thèse Auteurs : François DORIN, Auteur ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Yvon TRINQUET, Examinateur Année de publication : 2010 Importance : 154 p. Note générale : NNT 2010ESMA0012
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Annexes
Index
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction
Validation des systèmes temps réel
CONTRIBUTIONS
Algorithme d'optimisation du nombre de processeurs dans une architecture distribuée
Modèle à criticité multiple
Ordonnancement semi-partitionné avec migrations restreintes
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00554806/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008589 TH-10 DOR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 DOR DOR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot / Frédéric RIDOUARD
Titre : Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot Type de document : thèse Auteurs : Frédéric RIDOUARD ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marie-Claude PORTMANN, Rapporteur ; Yvon TRINQUET, Rapporteur ; Patrick MARTINEAU, Examinateur ; Joël GOOSSENS, Examinateur ; Francis COTTET, Examinateur ; Pascal RICHARD, Examinateur Importance : 240 p. Note générale : Remerciements
Table des matières
Introduction
Annexes
Bibliographie
IndexCatégories : Algorithmes
Algorithmes:Informatique
InformatiqueIndex. décimale : TH-06 Résumé : PROBLEMATIQUE
Théorie de l'ordonnancement
Ordonnancement classique et ordonnancement temps réel
Problèmes d'ordonnancement
Algorithmes hors-ligne/en ligne
Ordonnancement en-ligne : simulation/analyse de compétitivité
Bibliographie
ORDONNANCEMENT DES TACHES A SUSPENSION
Introduction sur les tâches à suspension
Les systèmes temps réel
Architecture logicielle des systèmes temps réel
Ordonnancement temps réel
Le problème étudié : ordonnancement de tâches à suspension
Plan de la partie
ORDONNANCEMENT TEMPS REEL MONOPROCESSEUR
Définitions générales
Principaux algorithmes d'ordonnancement préemptif en-ligne
Extension de l'ordonnancement
Introduction aux tests d'ordonnançabilité
Analyse du facteur d'utilisation
Analyse du temps de réponse
Analyse de la demande processeur
Complexité des problèmes d'ordonnançabilité
Conclusion
ORDONNANCEMENT DES TACHES A SUSPENSION : ETAT DE L'ART
Introduction
Test d'ordonnançabilité
DIFFICULTES DE L'ORDONNANCEMENT DE TACHES A SUSPENSION
Complexité
Anomalies d'ordonnancement
Optimalité des algorithmes en-ligne
COMPETITIVITE DES ALGORITHMES CLASSIQUES D'ORDONNANCEMENT
Minimisation du nombre de tâches en retard
Minimisation du temps de réponse maximum
ANALYSE DES TESTS D'ORDONNANCABILITE POUR LES SYSTEMES A PRIORITE FIXE
Calcul exact du pire temps de réponse sousRM
Caractéristiques des configurations générées
Bornes inférieures du ratio de compétitivité
Incomparabilité des tests de faisabilité
Etude par la simulation
CONCLUSION SUR LES TACHES A SUSPENSION
ORDONNANCEMENT PAR UNE MACHINE A TRAITEMENT PAR LOT
Introduction sur les machines à traitement par lot
Ordonnancement de machines à traitement par lot : Etat de l'art
Algotithmes d'ordonnancement pour les machines à traitement par lot
Conclusion sur les machines à traitement par lotExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007220 TH-06 RID Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF / Ahmed RAHNI
Titre : Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF Type de document : thèse Auteurs : Ahmed RAHNI ; Pascal RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Maryline CHETTO, Rapporteur ; Yvon TRINQUET, Examinateur ; Francis COTTET, Examinateur ; Joël GOOSSENS, Examinateur Importance : 196 p. Note générale : NNT 2008POIT2307
Table des matières
Table des figures
Liste des tableaux
Annexes
Bibliographie
Résumé
Mots clésCatégories : Ordonnancement (informatique)
Temps réel (informatique)Index. décimale : TH-08 Résumé : ETAT DE L'ART
Systèmes temps réel et ordonnancement
Analyse d'ordonnançabilité des tâches avec décalage d'activation (à offsets)
CONTRIBUTIONS
Analyse mixte du pire temps de réponse des tâches à offsets en priorités fixes
Identification des instants critiques pire cas, en priorités fixes
Analyse d'ordonnançabilité des transactions avec priorités dynamiques EDF153
En ligne : http://tel.archives-ouvertes.fr/tel-00368101/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007950 TH-08 RAH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Définition et réalisation d'une boîte à outils générique dédiée à la programmation sur exemple / Loé SANOU
Titre : Définition et réalisation d'une boîte à outils générique dédiée à la programmation sur exemple Type de document : thèse Auteurs : Loé SANOU ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Christophe KOLSKI, Rapporteur ; Franck POIRIER, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Mesmin DANDJINOU, Examinateur Importance : 174 p. Note générale : 2008POIT2309
Remerciements
Merci à
Résumé
Table des matières
Liste des figures
Liste des tableaux
Liste des exemples de code
Liste des abréviations et des sigles
Bibliographie
Mots clésCatégories : Systèmes homme-machine Index. décimale : TH-08 Résumé : INTRODUCTION GENERALE
Définitions de la PSE
Historique de la programmation sur exemple
Contexte et motivation de la thèse
Organisation du mémoire
PROGRAMMATION SUR EXEMPLE : PRINCIPES ET CLASSIFICATION
Etude des principes de la PSE
Classification des systèmes de la PSE
INTEGRATION DE LA PROGRAMMATION SUR EXEMPLE DANS UNE APPLICATION INTERACTIVE
Adaptabilité des applications
Outils pour la PSE
Cahier des charges pour un outil
UNE BOITE A OUTILS POUR LA PROGRAMMATION SUR EXEMPLE : PRINCIPES ET MISE EN OEUVRE
Vers une solution "boîte à outils"
Implémentation fr PBDTOOLKIT
Exemple d'illustration ; un convertisseur de devises
EXTENSION DE PBDTOOLKIT POUR L'AUTOMATISATION DE TESTS D'INTERFACES GRAPHIQUES
Les tests
Tests d'IHM
Vers une automatisation des tests d'IHM à l'aide de la PSE
CONCLUSION GENERALE
Bilan
Perspectives
En ligne : http://tel.archives-ouvertes.fr/tel-00369484/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007932 TH-08 SAN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité / Samia SAAD-BOUZEFRANE
Titre : Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité Type de document : thèse Auteurs : Samia SAAD-BOUZEFRANE ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Zoubir MAMMERI, Rapporteur ; Guy PIERRA, Examinateur ; F. SIMONOT-LION, Examinateur ; Yvon TRINQUET, Examinateur Importance : 180 p. Note générale : Remerciements
Table des matières
Introduction générale
Conclusion générale
Bibliographie
AnnexesCatégories : Informatique
Ordonnancement (informatique)
Réseaux locaux (informatique)
Réseaux locaux industriels (informatique)
Temps réel (informatique)Index. décimale : TH-98 Résumé : INTRODUCTION AUX SYSTEMES INFORMATIQUES TEMPS REEL
Les systèmes temps réel
Les réseaux de communication temps réel
Cadre du travail
ORDONNANCEMENT DES TACHES
Modélisation des tâches
Représentation d'une séquence
Classification des tâches
Les tâches indépendantes
Les tâches dépendantes
LES PRINCIPAUX PROTOCOLES MAC ADAPTES AUC COMMUNICATIONS TEMPS REEL
Classification des protocoles MAC
Les techniques d'accés
Protocoles à accés aléatoire
Protocoles d'accés à contrôle centralisé : exemple de FIP
Protocoles d'accés à contrôle distribué
ENVIRONNEMENTS TEMPS REEL REPARTIS
Quelques exécutifs temps réel répartis
Outils et méthode de validation
UNE METHODOLOGIE DE VALIDATION BASEE SUR UNE ANALYSE D'ORDONNANCABILITE
Le modèle général
Principe de la méthodologie
Exemples d'applications temps réel réparties
ANALYSE DES PERFORMANCES
MOSARTS: un outil de validation d'applications temps réel réparties
Les critères de performance mesurés
Résultats de simulationExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006952 TH-98 SAA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : A Generic Model for Handling Preferences in Ontology Based Databases Type de document : thèse Auteurs : Dilek TAPUCU, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Murat Osman UNALIR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Ismail Sitki AYTAC, Rapporteur ; Oguz DIKENELLI, Examinateur ; Chihab HANACHI, Examinateur Année de publication : 2010 Importance : 139 p. Note générale : NNT 2010ESMA0009
Thanks
Table of contents
Résumé
Bibliography
Appendices
List of figures
List of tables
Abstract
KeywordsLangues : Anglais (eng) Catégories : Bases de données
Diffusion sélective (réseaux d'ordinateurs)
Ontologies (informatique)
Web sémantiqueRésumé : INTRODUCTION
Research context
Our proposal
Thesis structure
CONTEXT OF THE STUDY
Preference driven personalization approaches
The EXPRESS modeling language
Ontology based databases : OBDB
OUR PROPOSAL : HANDLING PREFERENCES AT THE ONTOLOGY LEVEL
Proposed model of preferences
Extending ontology based databases with preferences
Case studies
CONCLUSION AND FUTURE WORKS
En ligne : http://tel.archives-ouvertes.fr/tel-00518476/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008513 TH-10 TAP Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 TAP TAP Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels / Eric SARDET
Titre : Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels Type de document : thèse Auteurs : Eric SARDET ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Jean-Claude POTIER, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; H. HABRIAS, Rapporteur ; M. NANARD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; X. CASTELLANI, Examinateur ; Guy PIERRA, Examinateur ; Jean-Claude POTIER, Examinateur ; P. TCHOUNIKINE, Examinateur Importance : 189 p. Note générale : Merci à
Table des matières
Introduction
Conclusion
Bibliographie
Liste des figures
Liste des tableauxCatégories : Logiciels
Logiciels:Modèles de conception
ProgrammationIndex. décimale : TH-99 Résumé : MODELISATION, STRUCTURATION ET PRESENTATION DE L'INFORMATION
Modélisation de l'information
Structuration de l'information
Présentation de l'information
MODELISATION ET META-MODELISATION DES CATALOGUES DE COMPOSANTS INDUSTRIELS
Modélisation des bibliothèques de composants
Méta-Modélisation des bibliothèques de composants
Une première approche pour la saisie de bibliothèques PLib
INTEGRATION DES APPROCHES DOCUMENTAIRE ET MODELE DE DONNEES
Approches existantes
Donner une représentation structurée à un modèle de données
Séparer la structure de représentation de la structure de présentation
Application à PLib
INTEGRATION DES OUTILS DOCUMENTAIRES ET DES OUTILS DE MODELISATION
Coopération d'outils documentaires et d'outils de modélisation
Un éditeur de documents sémantiques
Extension de l'outil
Exploitation du document résultatExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006927 TH-99 SAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Nomination persistante dans un modèle paramétrique. identification non-ambiguë et appariement générique d'entités topologiques / Dago AGBODAN
Titre : Nomination persistante dans un modèle paramétrique. identification non-ambiguë et appariement générique d'entités topologiques Type de document : thèse Auteurs : Dago AGBODAN, Auteur ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Abdelaziz BOURAS, Rapporteur ; Yvon GARDAN, Rapporteur ; Yves BERTRAND, Examinateur Année de publication : 2002 Importance : 199 p. Note générale : Avant-propos
Remerciements
Table des matières
Introduction
Conclusion générale
Bibliographie
Renvois
Annexes
IndexLangues : Français (fre) Catégories : Conception assistée par ordinateur
Modèles géométriques
Modélisation tridimensionnelleIndex. décimale : TH-02 Résumé : INTRODUCTION GENERALE
Motivations
Trame du mémoire
FONDEMENTS DE LA MODELISATION PARAMETRIQUE
Introduction
Modélisation géométrique
Modélisation par caractéristiques
Modélisation paramétrique
Conclusion
PS2 : UN MODELE A TROIS NIVEAUX
Introduction
Cinq points-clés pour une nomination persistante
Vue d'ensemble du modèle paramétrique PS2
Architecture du modèle paramétrique - construction
Réévaluation et appariement
Conclusion
INTEGRATION DU MODELE PS2 A UN MODELEUR GEOMETRIQUE
Introduction
Architecture paramétrique du modeleur
Description de l'interface du modeleur
Conclusion
CONCLUSION GENERALE
Travail réalisé
Perspectives
Synthèse
RENVOIS
Références Internet
IllustrationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008125 TH-02 AGB Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques / Chimène FANKAM
Titre : OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques Type de document : thèse Auteurs : Chimène FANKAM, Auteur ; Guy PIERRA, Directeur de thèse ; Ladjel BELLATRÈCHE ; LISI ENSMA EA 1232, Commanditaire ; Nadine CULLOT, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Danielle BOULANGER, Examinateur ; Jean CHARLET, Examinateur Année de publication : 2009 Importance : 223 p Note générale : NNT 2009ESMA0024
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexe : le méta-schéma EXPRESS
Liste des tableaux
Table des figures
Glossaire
Résumé
Mots clésLangues : Français (fre) Catégories : Bases de données:Gestion
Bases de données:Interrogation
Ontologies (informatique)
Web sémantiqueRésumé : ETAT DE L'ART
Ontologie et formalismes d'ontologies
Bases de données à base ontologique
NOTRE PROPOSITION D'ARCHITECTURE
Description du modèle OntoDB2
Implémentation de l'architecture de BDBO OntoDB2
VALIDATION
Application : raisonnements numériques sur les ensembles partiellement ordonnées
Validation d'OntoDB2
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00452533/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008175 TH-09 FAN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur / Emmanuel GROLLEAU
Titre : Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur Type de document : thèse Auteurs : Emmanuel GROLLEAU ; Francis COTTET, Directeur de thèse ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; G. JUANOLE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; P. ESTRAILLIER, Examinateur ; Annie CHOQUET-GENIET, Examinateur ; Francis COTTET, Examinateur ; A.-M. DEPLANCHE, Examinateur Importance : 233 p. Note générale : Remerciements
Sommaire
Bibliographie
Bibliographie liée à l'étude
Annexes
Index des figuresCatégories : Informatique
Petri, Réseaux de
Temps réel (informatique)Index. décimale : TH-99 Résumé : SYSTEMES TEMPS REEL ET ORDONNANCEMENT
Introduction au temps réel
L'ordonnancement des systèmes de tâches temps réel
EXTENSIONS DES RESEAUX DE PETRI
Réseau de Pétri autonomes
ETUDE DE LA CYCLICITE DES ORDONNANCEMENTS DE TÂCHES PERIODIQUES
Etude des temps creux acycliques
Cas des systèmes de tâches indépendantes
Cas des systèmes de tâches quelconques
ETUDE DE SYTEMES TEMPS REEL A L'AIDE DE RESEAUX DE PETRI : CAS MONOPROCESSEUR
Modélisation
Etude
Complexité et taille du graphe d'accessibilité
Obtention des séquences d'ordonnancement valides
ETUDE DE SYSTEMES TEMPS REEL A L'AIDE DE RESEAUX PETRI : CAS MULTIPROCESSEUR
Hypothèses matérielles
Modélisation
Etude
APPLICATION DE L'ETUDE
Présentation de PeNSMARTS
Etude de casExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006981 TH-99 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités / Bernard CHAUVIERE
Titre : Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités Type de document : thèse Auteurs : Bernard CHAUVIERE ; Dominique GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; René SCHOTT, Examinateur ; Joël GOOSSENS, Examinateur ; Annie CHOQUET-GENIET, Examinateur Importance : 190 p. Note générale : Remerciements
Table des matières
Introduction générale
Conclusion générale
Publications
Notations
Bibliogrpahie
Résumé
Mots clésCatégories : Markov, Processus de
Multiprocesseurs
Ordonnancement (informatique)
Qualité de service (télécommunications)
Temps réel (informatique)Index. décimale : TH-07 Résumé : CONTEXTE DE L'ETUDE ET ETAT DE L'ART
Systèmes temps-réel
Politiques d'ordonnancement
CONTRIBUTIONS AU PROBLEME DE LA CYCLICITE
Préambule
Cyclicité des ordonnancements de tâches périodiques
Durée de montée en charge en priorités fixes
Intervalle d'étude pour les méthodes hors-ligne
CONTRIBUTIONS A LA PRODUCTION DE SOLUTIONS D'ORDONNANCEMENT
Production des configurations de priorités fixes valides
Configurations de priorités fixes par instances
Systèmes de tâches avec relations de précédence
CONTRIBUTIONS AU DIAGNOSTIC DES SYTEMES TEMPS-REEL
Modélisation par les chaînes de Markov
Algorithme de calcul
Etude des temps de réponseExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007638 TH-07 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Vers une approche sûre du développement des Interfaces Homme-Machine / Mickaël BARON
Titre : Vers une approche sûre du développement des Interfaces Homme-Machine Type de document : thèse Auteurs : Mickaël BARON ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Dominique CANSELL, Rapporteur ; Bruno d' AUGSBOURG, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Guy PIERRA, Examinateur ; Jean-Daniel FEKETE, Examinateur ; Francis JAMBON, Examinateur Importance : 253 p. Note générale : Résumé/Abstract
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Conclusion et perspectives
Bibliographie
Publications liées à ce mémoire de thèse
Mots clésCatégories : Méthode B (informatique)
Méthodes formelles (informatique)
Systèmes homme-machineIndex. décimale : TH-03 Résumé : ETAT DE L'ART
Le domaine de l'interaction homme-machine
Les techniques formelles pour la conception des systèmes interactifs
Les outils de conception
Synthèse : justification du travail de thèse
MODELISATION ET VALIDATION FORMELLES DE DESCRIPTIONS DE L'INTERACTION DANS LES IHM
Rappels
Méthode B
Approche à base de modules
Approche à base d'événements
SUIDT : UNE APPROCHE EXPERIMENTALE POUR LA CONSTRUCTION D'INTERFACES UTILISATEURS SURES
Généralités sur l'approche expériementale
Intégration d'un noyau fonctionnel développé formellement dans une apprche de système basés sur modèles
Validation sur le noyau fonctionnel
Validation sur la présentation
Conclusion générale sur l'approche SUIDTExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002251 TH-03 BAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : OntoQL, un langage d'exploitation des bases de données à base ontologique Type de document : thèse Auteurs : Stéphane JEAN ; Yamine AIT AMEUR, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Witold LITWIN, Rapporteur ; OUKSEL, Aris, M., Rapporteur ; Michel SCHNEIDER, Rapporteur ; Olivier CORBY, Examinateur Importance : 289 p. Note générale : NNT 2007POIT2324
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données
Ontologies (informatique)
Parts LIBrary (PLIB)Index. décimale : TH-07 Résumé : DE LA NECESSITE D'UN NOUVEAU LANGAGE D'EXPLOITATION DES BASES DE DONNEES A BASE ONTOLOGIQUE
Ontologies et bases de données à base ontologique
Exigences pour un langage d'exploitation de BDBO
NOTRE PROPOSITION : LE LANGAGE ONTOQL
Traitements des données à base ontologique d'une BDBO
Traitements des ontologies et simultanément des ontologies et des données d'une BDBO
VALIDATION THEORIQUE ET OPERATIONNELLE DU LANGAGE ONTOQL
Sémantique formelle du langage OntoQL
Implantation du langage OntoQL sur le prototype OntoDB
CONCLUSION ET PERSPECTIVES
En ligne : http://tel.archives-ouvertes.fr/tel-00201777/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007617 TH-07 JEA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Approche multi-échelles morphologique et directe pour une classe de composites particulaires fortement chargés hyperélastiques et viscohyperélastiques / Marion TOUBOUL
Titre : Approche multi-échelles morphologique et directe pour une classe de composites particulaires fortement chargés hyperélastiques et viscohyperélastiques Type de document : thèse Auteurs : Marion TOUBOUL ; André DRAGON, Directeur de thèse ; Carole NADOT-MARTIN, Directeur de thèse ; LMPM ENSMA UMR CNRS 6617, Commanditaire ; Frédéric FEYEL, Rapporteur ; Jean-Claude MICHEL, Rapporteur ; André ZAOUI, Examinateur ; Michel BORNERT, Examinateur ; Alain FANGET, Examinateur Importance : 198 p. Note générale : NNT 2007POIT2300
Remerciements
Table des matières
Introduction générale
Conclusion générale
Annexes
Bibliographie
Mots clés
RésuméCatégories : Calculs numériques
Déformations (mécanique)
Porpergols solides
ViscoélasticitéIndex. décimale : TH-07 Résumé : Position du sujet de thèse
L'approche morphologique : rappels théoriques et analyse. Application à la viscohyperélasticité
Evaluation de l'approche morphologique sur un composite "modèle" à géométrie simple
Transition vers une microstructure plus diversifiée
Vers une application de l'approche morphologique à la butalite 400
En ligne : http://tel.archives-ouvertes.fr/tel-00451829/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007660 TH-07 TOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Calcul des facteurs d'intensité de contraintes par la méthode de superposition des maillages / Koku Wolali KPEGBA
Titre : Calcul des facteurs d'intensité de contraintes par la méthode de superposition des maillages Type de document : thèse Auteurs : Koku Wolali KPEGBA ; Noël OTTAVY, Directeur de thèse ; René SOUCHET, Directeur de thèse ; LMPM ENSMA UMR CNRS 6617, Commanditaire ; Jacques BARANGER, Rapporteur ; Jean ROYER, Rapporteur ; Gérard BEZINE, Examinateur ; Alain CIMETIERE, Examinateur ; Noël OTTAVY, Examinateur ; Guy PIERRA, Examinateur ; René SOUCHET, Examinateur Importance : 147 p. Note générale : Remerciements
Principales notations
Introduction générale
BibliographieCatégories : Elasticité
Éléments finis, Méthode des
Méthode numérique
Rupture, Mécanique de laIndex. décimale : TH-96 Résumé : METHODE DES ELEMENTS FINIS EN ELASTICITE LINEAIRE
Les opérateurs de Laplace et de Navier
La méthode des éléments finis
METHODE DE SUPERPOSITION DES MAILLAGES
FACTEURS D'INTENSITE DE CONTRAINTES
RESULTATS NUMERIQUESExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006963 TH-96 KPE Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt