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érale Caté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/VDX

Exemplaires (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 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

Contribution à la modélisation des écoulements turbulents réactifs partiellement prémélangés / Vincent ROBIN  

Titre : Contribution à la modélisation des écoulements turbulents réactifs partiellement prémélangés Type de document : thèse Auteurs : Vincent ROBIN ; Michel CHAMPION, Directeur de thèse ; Arnaud MURA, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; Pascale DOMINGO, Rapporteur ; Denis VEYNANTE, Rapporteur ; Jacques BORÉE, Examinateur ; Pierre PLION, Examinateur ; Bruno RENOU, Examinateur Importance : 246 p. Note générale : NNT 2007POIT2303 Remerciements Table des matières Nomenclature Table des figures Liste des tableaux Introduction Conclusions et perspectives Annexes Résumé Mots clés Catégories : Combustibles Combustion Mélanges (chimie) Modèles mathématiques Simulation par ordinateur Turbulence Index. décimale : TH-07 Résumé : COMBUSTION TURBULENTE : ANALYSE ET MODELISATION Phénomènes physiques et formulations mathématiques Modélisation de la combustion turbulente Transports turbulents scalaires LE MODELE LW-P Description du modèle LW-P Présentation des modèles de fermeture des équations de transport Dissipations scalaires Modélisation des effets des fluctuations de pression RESULTATS DES SIMULATIONS NUMERIQUES Simulation du premier ordre de la configuration ORACLES Simulation d'une combustion dans un écoulement turbulent stratifié Simulation du second rodre de la configuration ORACLES En ligne : http://tel.archives-ouvertes.fr/tel-00258526/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007653	TH-07 ROB	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Endommagement et cumul de dommage en fatigue dans le domaine de l'endurance limitée d'un acier inoxydable austénitique 304L / Yoann LEHERICY

Titre : Endommagement et cumul de dommage en fatigue dans le domaine de l'endurance limitée d'un acier inoxydable austénitique 304L Type de document : thèse Auteurs : Yoann LEHERICY ; José MENDEZ, Directeur de thèse ; LMPM ENSMA UMR CNRS 6617, Commanditaire ; Gérard DEGALLAIX, Rapporteur ; Henri-Paul LIEURADE, Rapporteur ; Narayanaswami RANGANATHAN, Examinateur ; José MENDEZ, Examinateur ; André LEFRANCOIS, Examinateur ; Jean-Alain LE DUFF, Examinateur Importance : 216 p. Note générale : Table des matières Introduction et le contexte de l'étude Bibliographie Conclusions et perspectives Réferences bibliographiques Catégories : Métaux:Fatigue Rugosité Index. décimale : TH-07 Résumé : BIBLIOGRAPHIE Introduction à la fatigue Comportement en fatigue des aciers inoxydables austenitiques Facteurs influençant la durée de vie en fatigue Transformation martensitique Le cumul de dommage en fatigue Conclusions MATERIAU ET TECHNIQUES EXPERIMENTALES Le matériau Préparation des échantillons Techniques d'observation des échantillons Caractérisation des propriétés de surface Essais mécaniques ETUDES DU COMPORTEMENT ET DE L'ENDOMMAGEMENT DU 304L EN FATIGUE OLIGOCYCLIQUE Comportement mécanique du 304L Microstructures de déformation à coeur Microstructures de déformation en surface Evolution du dommage en surface Influence de l'état de surface en fatigue oligocyclique Synthèse du chapitre CUMUL DE DOMMAGE HAUT NIVEAU - BAS NIVEAU Essais sur le matériau à l'état poli Essais sur le matériau meule

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007326	TH-07 LEH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Etude expérimentale des régimes de combustion d'un feu de compartiment dans des conditions de sous-ventilation / Anthony Edwin PEARSON  

Titre : Etude expérimentale des régimes de combustion d'un feu de compartiment dans des conditions de sous-ventilation Type de document : thèse Auteurs : Anthony Edwin PEARSON ; Jean-Michel MOST, Directeur de thèse ; David Douglas DRYSDALE, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; Alexis COPPALLE, Rapporteur ; B. KARLSSON, Rapporteur ; Patrick ROUSSEAUX, Examinateur Importance : 178 p. Note générale : NNT 2007POIT2259 Remerciements/Acknowledgements Table of contents Résumé Symbols and abbreviations Introduction Conclusion References Annexe Catégories : Combustion Flamme Index. décimale : TH-07 Résumé : Ce travail a pour but d'identifier les régimes de combustion se développant lors d'un feu de compartiment, la source de combustible étant située dans la zone piégée par un linteau. Le comportement de la flamme est étudié en fonction de la géométrie de l'enceinte, du débit et du type de combustible, et du facteur de ventilation. Une enceinte est réalisée, des visualisations de l'émission de la flamme, des mesures de vitesse, de température et de composition des espèces chimiques sont effectuées. Une flamme se stabilise à l'aide d'une flamme triple à l'interface entre les zones ventilées du compartiment et non ventilée au dessus du niveau du linteau. Cette structure réactive ainsi que la mesure d'aire de la flamme permet de dégager des comportements du feu en fonction des conditions expérimentales. La flamme est stable dès que la vitesse de propagation de la flamme prémélangée devient suoérieure ou égale à la vitesse de convection naturelle. Deux régimes de combustion sont observés, l'un est controlé par le combustible disponible (fort débit injecté), l'autre par l'air entrant dans l'enceinte pour les faibles facteurs de ventilation. La transition de ce régime de flamme vers un embrasement de cibles combustibles est également abordée. En ligne : http://tel.archives-ouvertes.fr/tel-00259507/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007228	TH-07 PEA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Explicitation de la sémantique dans les bases de données : Base de données à base ontologique et le modèle OntoDB / Hondjack DEHAINSALA  

Titre : Explicitation de la sémantique dans les bases de données : Base de données à base ontologique et le modèle OntoDB Type de document : thèse Auteurs : Hondjack DEHAINSALA ; Guy PIERRA, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean CHARLET, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Michel SCHNEIDER, Examinateur ; Mokrane BOUZEGHOUB, Examinateur ; Jean-Yves LAFAYE, Examinateur Importance : 267 p. Note générale : NNT 2007POIT2270 Remerciements Table des matières Table des figures Introduction générale Bibliographie Annexes Glossaire Catégories : Bases de données Ontologies (informatique) Parts LIBrary (PLIB) Web sémantique Index. décimale : TH-07 Résumé : ETAT DE L'ART Approche traditionnelle de conception des bases de données Modélisation et gestion de données à base ontologique NOTRE PROPOSITION D'ARCHITECTURE Le modèle d'architecture de base de données à base ontologique OntoDB Implémentation de l'architecture OntoDB EVALUATION DES PERFORMANCES Evaluation des performances du modèle d'architecture OntoDB CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00157595/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007559	TH-07 DEH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Influence des défauts sur la tenue en fatigue des métaux soumis à des sollicitations cyclatiques multiaxiales : Application à des éléments de liaison au sol / Hicham GADOUINI

Titre : Influence des défauts sur la tenue en fatigue des métaux soumis à des sollicitations cyclatiques multiaxiales : Application à des éléments de liaison au sol Type de document : thèse Auteurs : Hicham GADOUINI ; Gérard BEZINE, Directeur de thèse ; Yves NADOT, Directeur de thèse ; LMPM ENSMA UMR CNRS 6617, Commanditaire ; Gérard DEGALLAIX, Rapporteur ; Cetin Morris SONSINO, Rapporteur ; François HILD, Examinateur ; André BIGNONNET, Examinateur ; Abderrahman OUAKKA, Examinateur ; Gérard BEZINE, Examinateur ; Yves NADOT, Examinateur Importance : 217 p. Note générale : Remerciements Table des matières Introduction Références bibliographiques Listes des figures Liste des tableaux Annexes Résumé Catégories : Automobiles Automobiles:Ressorts et suspension Métaux Métaux:Fatigue Index. décimale : TH-07 Résumé : ANALYSE BIBLIOGRAPHIQUE Fatigue endurance d'un matériau contenat des défauts Facteurs influençant la tenue en fatigue Evolution des contraintes sous chargement cyclique Conclusions de l'analyse bibliographique OUTILS EXPERIMENTAUX ET NUMERIQUES Matériau Techniques expérimentales Outils numériques INFLUENCE DE LA CONTRAINTE MOYENNE Influence de la contrainte moyenne de traction Influence de la contrainte moyenne de torsion Critère de fatigue multiaxiale pour les matériaux à défauts Conclusion ANALYSE DE LA FORMULATION DU CRITERE Gradient des contraintes autour d'un défaut Analyse des prédictions du critère Conclusions CALCUL DE LA DUREE DE VIE D'UN COMPOSANT INDUSTRIEL Positionnement du problème Application à un ressort de suspension automobile CONCLUSIONS ET PERSPECTIVES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007242	TH-07 GAD	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Instabilités couplées à haute fréquence dans les moteurs - fusées à ergols liquides : Etudes du couplage chambre de combustion / système d'alimentation / Massimiliano DE BENEDICTIS  

Titre : Instabilités couplées à haute fréquence dans les moteurs - fusées à ergols liquides : Etudes du couplage chambre de combustion / système d'alimentation Type de document : thèse Auteurs : Massimiliano DE BENEDICTIS ; Vladimir SABEL'NIKOV, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; Mikhael GOROKHOVSKI, Rapporteur ; Geoff SEARBY, Rapporteur ; Jean-Michel MOST, Examinateur ; Pascal BRUEL, Examinateur ; Gérard ORDONNEAU, Examinateur ; Marie THERON, Examinateur Importance : 252 p. Note générale : NNT 2007POIT2345 Remerciements Table des matières Notation Références bibliographiques Annexes Résumé Mots clés Catégories : Combustion Fusées (aéronautique) Fusées (aéronautique):Combustibles Fusées (aéronautique):Moteurs Index. décimale : TH-07 Résumé : INTRODUCTION GENERALE Les systèmes propulsifs spatiaux Les propergols liquides Moteurs-fusées à ergols liquides Le système d'alimentation Système d'injection La chambre de combustion Les instabilités de combustion dans la propulsion liquide Objectifs de l'étude TEMPS CARACTERISTIQUES LIES A LA MECANIQUE DES FLUIDES DES INJECTEURS Temps caractéristiques de l'atomisation Temps caractéristiques de mélange TEMPS CARACTERISTIQUES LIES A LA NATURE THERMO-PHYSIQUE DE L'ECOULEMENT Vaporisation et chauffage des gouttes Calcul des temps caractéristiques de la chimie APPROCHE POUR LA MODELISATION DU SYSTEME PROPULSIF Modélisation du système d'alimentation Validation de la méthode MODELE ACOUSTIQUE DE LA CHAMBRE DE COMBUSTION Equations de conservation pour les phases gazeuse et liquide Equations de conservation pour le mélange Equation de la pression pour le mélange Equation des ondes Solution approchée Modèle de combustion et système d'équations modales ETUDE DE SYSTEMES COUPLES Etude simplifiée Etude d'un cas réel : application au moteur Aestus CONCLUSIONS En ligne : http://tel.archives-ouvertes.fr/tel-00283229/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007741	TH-07 DEB	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Intégration du modèle d'ontologies PLIB et des services web dans les échanges inter-entreprises (Application au Business to Business) / Youcef AKLOUF

Titre : Intégration du modèle d'ontologies PLIB et des services web dans les échanges inter-entreprises (Application au Business to Business) Type de document : thèse Auteurs : Youcef AKLOUF ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Habiba DRIAS, Rapporteur ; George LOUIS, Examinateur ; Abdelaziz BOURAS, Examinateur Importance : 205 p. Note générale : Remerciements Résumé Table des matières Table des figures Introduction générale Bibliographie Catégories : Business Web Index. décimale : TH-07 Résumé : ETAT DE L'ART Caractérisation de produits et catalogues de composants Le commerce B2B et le e-procurement LA CONTRIBUTION DE LA THESE Approche fondée sur l'orthogonalité Intégration d'ontologies dans un modèle d'échange B2B VALIDATION DE L'APPROCHE PROPOSEE Validation opérationnelle de l'approche à base de service web

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007356	TH-07 AKL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Interactions fluide-structure sur les mécanismes d'instabilité tourbillonaires en cavité confinée / Renato NUNES

Titre : Interactions fluide-structure sur les mécanismes d'instabilité tourbillonaires en cavité confinée Type de document : thèse Auteurs : Renato NUNES ; Son DOAN KIM, Directeur de thèse ; Frédéric PLOURDE, Directeur de thèse ; LET ENSMA UMR CNRS 6608, Commanditaire ; Françoise BATAILLE, Rapporteur ; Henri BOISSON, Rapporteur ; Jacques BORÉE, Examinateur ; Michel PREVOST, Examinateur ; Eric ROBERT, Examinateur Importance : 142 p. Note générale : Avant-propos Sommaire Nomenclature Bibliographie Résumé Mots clés Catégories : Interactions fluide-structure Mécanique des fluides Tourbillons (mécanique des fluides) Turbulence Index. décimale : TH-07 Résumé : Introduction Dispositif expérimental et techniques de mesure Instabiblités et confinement Interaction fluide-structure Vibrations forcées et couplage Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007704	TH-07 NUN	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Méthode d'intégration temporelle implicite pour la simulation des grandes échelles : Application à la réduction du bruit de cavité / Frédéric DAUDE

Titre : Méthode d'intégration temporelle implicite pour la simulation des grandes échelles : Application à la réduction du bruit de cavité Type de document : thèse Auteurs : Frédéric DAUDE ; Pierre COMTE, Directeur de thèse ; LEA ENSMA UMR CNRS 6609, Commanditaire ; Charles HIRSCH, Rapporteur ; Office National d'Etudes et de Recherches Aérospatiales (ONERA), Commanditaire ; Jean-Paul CALTAGIRONE, Rapporteur ; Jean-Paul BONNET, Examinateur ; Laurent JACQUIN, Examinateur ; Ivan MARY, Examinateur Importance : 188 p. Note générale : Remerciements Table des matières Introduction Annexes Bibliographie Résumé Mots clés Catégories : Bruit aérodynamique Equations différentielles Intégration numérique Newton, Méthode de Turbulence Index. décimale : TH-07 Résumé : LA SIMULATION DES ECOULEMESNT TURBULENTS PAR L'APPROCHE DES GRANDES ECHELLES (SGE) Ecoulements turbulents Equations de Navier-Stokes Notion de filtrage Equations constitutives de la SGE Fermeture des équations Limitations de la SGE ASPECTS NUMERIQUES DE LA SGE Exigences numériques inhérentes à l'utilisation de la SGE Motivation pour l'intégration temporelle implicite Etat de l'art des méthodes implicites en SGE ou en SND METHODES NUMERIQUES Problème continu Discrétisation spatiale Intégration temporelle EVALUATION ET AMELIORATION DE LA MATHODE IMPLICITE Evaluation de la méthode numérique Amélioration de la précision de la méthode numérique Amélioration de l'efficacité de la méthode numérique SIMULATION D'UN DISPOSITIF DE CONTROLE PASSIF D'ECOULEMENTS DE CAVITE Introduction aux écoulements de cavité Contrôle de l'écoulement de cavité par l'intermédiaire d'un cylindre Remarques préliminaires à la simulation Validation des résultats numériques CONCLUSION

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007340	TH-07 DAU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Modélisation de la turbulence en situation instationnaire par approches URANS et hybride RANS-LES. Prise en compte des effets de paroi par pndération elliptique / Atabak FADAI-GHOTBI  

Titre : Modélisation de la turbulence en situation instationnaire par approches URANS et hybride RANS-LES. Prise en compte des effets de paroi par pndération elliptique Type de document : thèse Auteurs : Atabak FADAI-GHOTBI ; Rémi MANCEAU, Directeur de thèse ; Jacques BORÉE, Directeur de thèse ; LEA ENSMA UMR CNRS 6609, Commanditaire ; Roland SCHIELSEN, Rapporteur ; Patrick CHASSAING, Rapporteur ; Thomas, B. GATSKI, Examinateur ; Alexis SCOTTO, Examinateur ; Sylvain LARDEAU, Examinateur ; Jacques BORÉE, Examinateur ; Rémi MANCEAU, Examinateur Importance : 214 p. Note générale : NNT 2007POIT2266 Remerciements Table des matières Conclusions et perspectives Catégories : Décollement des écoulements Ecoulement instationnaire (dynamique des fluides) Jets pariétaux Mécanique statistique hors d'équilibre Turbulence Index. décimale : TH-07 Résumé : INTRODUCTION Principaux axes de modélisation Modélisation RANS Modélisation des effets de paroi Structures cohérentes et calcul instationnaire Objectifs de l'étude PHYSIQUE DE PROCHE PAROI Phénoménologie Lien entre structures instantanées et champs moyens Effets induits par la paroi Effets inviscides Conditions aux limites et étude asymptotique Lois universelles Conclusions du chapitre MODELISATION DES EFFETS DE PAROI PAR PONDERATION ELLIPTIQUE La relaxation elliptique La pondération elliptique Analyse critique du modèle EB-RSM Conclusions du chapitre METHODES NUMERIQUES La méthode des volumes finis Terme de convection Terme de diffusion Calcul des gradients Résolution des équations Discrétisation temporelle Conditions aux limites Validation du modèle EB-RSM en canal SIMULATION URANS Définition de l'URANS Equation du mouvement en URANS Analyse critique de l'URANS La marche descendante Explication du comportement stationnaire/instationnaire Conclusions du chapitre MODELE HYBRIDE RANS-LES Présentation de la LES Modèle hybride non-zonal Développement d'un modèle hybride à pondération elliptique Conclusions du chapitre En ligne : http://tel.archives-ouvertes.fr/tel-00163592/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007341	TH-07 FAD	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

OntoQL, un langage d'exploitation des bases de données à base ontologique / Stéphane JEAN  

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és Caté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

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és Caté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éponse

Exemplaires (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

Propagation d'une flamme de prémélange gazeux d'une enceinte vers un tube : Etude des mécanismes de transmission et de coincement au changement de section / Nicolas HENNETON  

Titre : Propagation d'une flamme de prémélange gazeux d'une enceinte vers un tube : Etude des mécanismes de transmission et de coincement au changement de section Type de document : thèse Auteurs : Nicolas HENNETON ; Bernard VEYSSIERE, Directeur de thèse ; Bogdan PONIZY, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; N. DJEBAILI-CHAUMEIX, Rapporteur ; Juan-Carlos ROLON, Rapporteur ; Daniel DESBORDES, Examinateur ; C. PROUST, Examinateur Importance : 170 p. Note générale : NNT 2007POIT2323 Sommaire Notations Introduction Synthèse des travaux et conclusion Bibliographie Annexe Résumé Mots clés Catégories : Explosions Flamme Gaz Gaz:Propriétés thermiques Ondes de détonation Thermocinétique Index. décimale : TH-07 Résumé : Synthèse des travaux antérieurs Les montages expérimentaux Modélisation Propagation de la flamme en chambre seule Transmission de la flamme depuis une chambre dans un tube Chambre avec tube : influence de l'insert En ligne : http://tel.archives-ouvertes.fr/tel-00259522/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007593	TH-07 HEN	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Sur un modèle de combustion en milieu désordonné / Olivier ESNAULT  

Titre : Sur un modèle de combustion en milieu désordonné Type de document : thèse Auteurs : Olivier ESNAULT ; Guy JOULIN, Directeur de thèse ; Yves D'ANGELO, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; Pascal BRUEL, Rapporteur ; Bruno DENET, Rapporteur ; John DOLD, Examinateur ; Jean-François THOVERT, Examinateur ; Luc VERVISCH, Examinateur Importance : 212 p. Note générale : NNT 2007POIT2276 Remerciements Table des matières Table des figures Nomenclature Introduction Annexes Bibliographie Catégories : Percolation (physique statistique) Perturbation (mathématiques) Index. décimale : TH-07 Résumé : INTRODUCTION Equations générales ETUDE D'UNE FLAMME SOLITAIRE Modèle asymptotique pour la forme du front de flamme Solutions exactes d'un modèle à fonction Stabilité d'un front plan bidimensionnel Etude numérique d'une flamme de canal FLAMMES EN MILIEUX DESORDONNES Désordre, percolation et flammes en milieux inhomogènes Flammes en milieu désordonné : un modèle de percolation En ligne : http://tel.archives-ouvertes.fr/tel-00258217/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007350	TH-07 ESN	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 16 / 16) Par page : 25 50 100 200