Détail de l'auteur
Auteur Francis COTTET |
Documents disponibles écrits par cet auteur (28)
Faire une suggestion Affiner la recherche
Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données / NGO Khanh Hieu
Titre : Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données Type de document : thèse Auteurs : NGO Khanh Hieu ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Frédéric BONIOL, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 221 p. Note générale : Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Résumé
Mots clésCatégories : LabVIEW (langage de programmation)
Systèmes embarqués (informatique)
Temps réel (informatique)
XML (langage de balisage)Index. décimale : TH-08 Résumé : INTRODUCTION
Contexte de l'étude
Cycle de développement d'un logiciel
Le cycle de vie Logiciel/Matériel
Support d'exécution pour le temps réel
Méthodes de développement d'un logiciel
Validation temporelle des systèmes temps réel
DARTS : DU CONCEPT AU CODE
Utilisation de la méthode DARTS
Implémentation DARTS sur LabVIEW
Implémentation DARTS sur les langages de programmation impératifs
ARCHITECTURE DARTSVIEW
Présentation de la palette DARTSVIEW
Palette DARTSVIEW et le premier V du cycle de vie en W
Palette DARTSVIEW et le second V du cycle de vie en W
CAS D'ETUDE
Diagramme DARTSVIEW du système de chauffage
Génération de code du système de chauffage d'une maison
DARSTVIEW vs les modifications de modèle DARTS du système de chauffage
CONCLUSIONEn ligne : http://theses.edel.univ-poitiers.fr/theses/2008/Ngo-Khanh/2008-Ngo-Khanh-These.p [...] Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007982 TH-08 NGO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Aide-mémoire du traitement du signal / Francis COTTET
Titre : Aide-mémoire du traitement du signal Type de document : texte imprimé Auteurs : Francis COTTET Editeur : Dunod Année de publication : 2000 Importance : 237 p. ISBN/ISSN/EAN : 978-2-10-005168-7 Note générale : Table des matières
Avant-propos
Notations et abréviations
Annexes
Bibliographie
Lexique anglais-français
IndexCatégories : Aide-mémoire
Traitement du signalIndex. décimale : 621.391 Types spécifiques Résumé : Le traitement des signaux analogiques :
Définitions et représentation des signaux
Transformation de Fourier
Systèmes de transmission. Filtrage
Modulation des signaux
Signaux aléatoires. Bruit
Le traitement des signaux numériques :
Numérisation des signaux
Analyse spectrale des signaux discrets
Filtrage numériqueExemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité B00014639 621.391 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014638 621.391 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00001414 621.391 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible Aide-mémoire du traitement du signal / Francis COTTET
Titre : Aide-mémoire du traitement du signal Type de document : texte imprimé Auteurs : Francis COTTET Mention d'édition : 2e éd. Editeur : Dunod Année de publication : 2011 Importance : 269 p. Note générale : Table des matières
Avant-propos
Notations et abréviations
Annexes
Bibliographie
Lexique anglais-français
IndexCatégories : Traitement du signal:Aide mémoire Index. décimale : 621.382 Techniques des communications Résumé : LE TRAITEMENT DES SIGNAUX ANALOGIQUES
Définitions et représentation des signaux
Transformation de Fourier
Systèmes de transmission. Filtrage
Modulation des signaux
Signaux aléatoires. Bruit
LE TRAITEMENT DES SIGNAUX NUMERIQUES
Numérisation des signaux
Analyse spectrale des signaux discrets
Filtrage numérique
Mise en oeuvre du traitement du signal
Exemples d'applicationsExemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité B00009841 621.382 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00009835 621.382 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00009811 621.382 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00009805 621.382 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00009823 621.382 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible Aide-mémoire du traitement du signal / Francis COTTET
Titre : Aide-mémoire du traitement du signal Type de document : texte imprimé Auteurs : Francis COTTET Mention d'édition : 3e éd. Editeur : Dunod Année de publication : 2017 Importance : 304 p. ISBN/ISSN/EAN : 978-2-10-076948-3 Note générale : Table des matières
Avant-propos
Notations et abréviations
Annexes
Bibliographie
Lexique anglais-français
IndexCatégories : Traitement du signal:Aide mémoire Index. décimale : 621.382 Techniques des communications Résumé : LE TRAITEMENT DES SIGNAUX ANALOGIQUES
Définitions et représentation des signaux
Transformation de Fourier
Systèmes de transmission. Filtrage
Modulation des signaux
Signaux aléatoires. Bruit
LE TRAITEMENT DES SIGNAUX NUMERIQUES
Numérisation des signaux
Analyse spectrale des signaux discrets
Filtrage numérique
Les chaînes d'acquisition de données
Les bases du traitement des images
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014300 621.382 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00014294 621.382 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible 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 Les bases de la programmation avec LabVIEW : langage graphique / Francis COTTET
Titre : Les bases de la programmation avec LabVIEW : langage graphique Type de document : texte imprimé Auteurs : Francis COTTET Editeur : P. Renard - N. I. F. Année de publication : 1993 Importance : 194 p. Note générale : Sommaire
Introduction
Annexes
Glossaire anglais-français
Lexique anglais-français
IndexCatégories : LabVIEW (langage de programmation)
Traitement du signal:Techniques numériquesIndex. décimale : 005.13 Langages de programmation Résumé : Concepts et programmation
Application au traitement du signal
Application à l'acquisition de donnéesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007838 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Comment financer l'innovation dans les PME-PMI / Francis COTTET
Titre : Comment financer l'innovation dans les PME-PMI Type de document : texte imprimé Auteurs : Francis COTTET, Auteur Editeur : Toulouse : Cépaduès-Éditions Année de publication : 2013 Importance : 148 p. ISBN/ISSN/EAN : 978-2-36493-058-2 Note générale : Table des matières
Avant-propos
Annexes
Sigles ou acronymes
Bibliographie
Catégories : Crédit d'impôt à la recherche et au développement:France
Ingénierie financière
Innovations:France:Finances
Planification stratégique
Recherche industrielle:FinancesIndex. décimale : 658.15 Gestion financière, capital, investissements, budget Résumé : L'INNOVATION
La définition de l'innovation
Les étapes essentielles
La mise en oeuvre d'un projet d'innovation
LES PARTENAIRES DE L'INNOVATION
L'environnement de la recherche française
Les laboratoires de recherche
Les structures de transfert
Le réseau de développement technologique
Les délégations régionales à la recherche et à la technologie (DRRT)
Les collectivités locales
Les organismes métiers
LES FINANCEMENTS DE L'INNOVATION
L'implication des partenaires de l'innovation
Le crédit d'impôt recherche
OSEO
Réseau de développement technologique
Financements locaux : région, département
DIRECCTE : Action collective
Les chambres consulaires
Agence Nationale de la recherche (ANR)
Financements européens : fonds structurels et programmes-cadres
CONCLUSION
Les phases d'élaboration et de préparation du projet
La recherche d'un partenaire
Le financement du projet d'innovationExemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité B00010070 658.15 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00010433 658.15 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00010439 658.15 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible 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 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 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 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 Etude du comportement dynamique des matériaux sous choc laser sub-picoseconde / Jean-Paul CUQ-LELANDAIS
Titre : Etude du comportement dynamique des matériaux sous choc laser sub-picoseconde Type de document : thèse Auteurs : Jean-Paul CUQ-LELANDAIS, Auteur ; Michel BOUSTIE, Directeur de thèse ; Laurent BERTHE, Directeur de thèse ; Laurent SOULARD, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Tatiana ITINA, Rapporteur ; Sophie BATON, Rapporteur ; Francis COTTET, Examinateur ; André DRAGON, Examinateur Année de publication : 2010 Importance : 267 p. Note générale : NNT 2010ESMA0017
Remerciements
Sommaire
Introduction
Annexes
Résumé
Mots clésLangues : Français (fre) Catégories : Endommagement, Mécanique de l' (milieux continus)
Lasers:Matériaux
Ondes de choc
Ondes:PropagationRésumé : ENDOMMAGEMENT PAR CHOC LASER ET TECHNOLOGIE DES LASERS FEMTOSECONDE
Ondes de choc et durée de sollicitation
Endommagement des matériaux par choc
Les lasers femtoseconde
Le laser femtoseconde en tant que générateur de chocs
MOYENS EXPERIMENTAUX
Configuration générale des expériences laser
Les diagnostics utilisés
Bilan sur l'utilisation des diagnostics
INTERACTION LASER-MATIERE EN REGIME SUB-PICOSECONDE
Particularités de l'ILM en régime ultra-bref
Modélisation numérique de l'ILM
Caractérisation numérique de la sollicitation mécanique équivalente
Bilan - Etablissement d'un profil de pression normalisé
PROPAGATION D'UNE ONDE DE CHOC ULTRA-BREVE ET ENDOMMAGEMENT PAR ECAILLAGE
Propagation et atténuation d'une onde de choc
Etude macroscopique de l'écaillage en régime ultra-bref
Bilan - Vers des écailles sub-micrométriques
APPROCHE MICROSCOPIQUE DE L'ENDOMMAGEMENT DUCTILE PAR DYNAMIQUE MOLECULAIRE
DMC et écaillage par choc laser ultra-bref
propagation de l'onde de choc générée en DM
Etude microscopique de l'endommagement ductile
La DMC comme outil de dimensionnement de modèles d'endommagement
Bilan de l'approche microscopique
PRISE EN COMPTE DE L'ASPECT BIDIMENSIONNEL DE L'ETUDE
Génération et propagation des effets 2D
Amortissement d'un choc laser par effets de bord
Effets 2D et endommagement par choc laser
Bilan sur la prose en compte de l'aspect 2D
APPLICATION DES CHOCS ULTRA-BREFS ET 2D A LA MESURE D'ADHERENCE DE REVETEMENTS
Principe de base du test d'adhérence par choc laser (LASAT-1D)
LASAT-2Dl ou l'exploitation du diamètre de décohésion
LASAT-2Da : décohésion en face avant par effets 2D
LASAT-FS : adhérence des couches micrométriques
Synthèse des extension du test LASAT
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00564182/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008798 TH-10 CUQ Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 CUQ CUQ Numérique Thèses ISAE-ENSMA en ligne 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 Initiation à LabVIEW : les bases de la programmation / Francis COTTET
Titre : Initiation à LabVIEW : les bases de la programmation Type de document : texte imprimé Auteurs : Francis COTTET, Auteur Editeur : Dunod Année de publication : 2018 Collection : Sciences sup Sous-collection : Sciences de l'ingénieur Importance : 278 p. ISBN/ISSN/EAN : 978-2-10-077077-9 Note générale : Table des matières
Avant-propos
Les bonnes pratiques de la programmation LabVIEW
Solutions
IndexCatégories : LabVIEW (langage de programmation) Index. décimale : 005.13 Langages de programmation Résumé : LES BASES DE LA PROGRAMMATION AVEC LABVIEW
Les grands paradigmes de la programmation graphique
L'environnement spécifique de la programmation LabVIEW
L'édition d'un programme LabVIEW
L'exécution et la création d'un instrument virtuel
UTILISATION DES FONCTIONS DE BASES DE LABVIEW
Les données
Les structures de programmation Les traitements alphanumériques et booléens
Le traitement des tableaux et des clusters
Les affichages graphiques : menus et graphes
L'aspect "acquisition et restitution de données"Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité B00014436 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014448 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014442 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible LabVIEW : programmation et applications / Francis COTTET
Titre : LabVIEW : programmation et applications Type de document : texte imprimé Auteurs : Francis COTTET, Auteur ; Michel PINARD, Auteur Mention d'édition : 2e édition Editeur : Dunod Année de publication : 2009 Autre Editeur : L'Usine nouvelle Importance : 442 p. ISBN/ISSN/EAN : 978-2-10-049580-1 Note générale : Préface de Jeff Kodosky, créateur de LabVIEW™, 2e édition
Remerciements
Table des matières
Introduction
Planches couleur
Annexes
Références
Glossaire et sigles
Lexique anglais-français dans le contexte de LabVIEW
Lexique français-anglais dans le contexte de LabVIEW
IndexCatégories : Acquisition automatique des données
Automatisation
LabVIEW (langage de programmation):Applications industriellesIndex. décimale : 005.13 Langages de programmation Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010938 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010943 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible LabVIEW : programmation et applications / Francis COTTET
Titre : LabVIEW : programmation et applications Type de document : texte imprimé Auteurs : Francis COTTET, Auteur ; Michel PINARD, Auteur ; Luc DESRUELLE, Auteur Mention d'édition : 3e édition Editeur : Dunod Année de publication : 2015 Autre Editeur : L'Usine nouvelle Importance : 464 p. ISBN/ISSN/EAN : 978-2100-724433-8 Note générale : Préface de Jeff Kodosky, créateur de LabVIEW™, 2e édition
Traduction de la préface de Jeff Kodosky par Fabrice Lemainque
Introduction
Remerciements
Table des matières
Index
Catégories : Acquisition automatique des données
LabVIEW (langage de programmation):Applications industriellesIndex. décimale : 005.13 Langages de programmation Résumé : Les concepts et l'environnement de programmation LabVIEW
Les bases de la programmation LabVIEW
Programmation avancée en LabVIEW
Applications : Construire et piloter un système de mesure
Traitement des données
Applications : Sauvegarde, présentation et échange de donnéesExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014288 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014264 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible LabVIEW : Programmation et applications / Francis COTTET
Titre : LabVIEW : Programmation et applications Type de document : texte imprimé Auteurs : Francis COTTET Editeur : Dunod Année de publication : 2001 Collection : Automatismes / Informatique industrielle Importance : 415 p. ISBN/ISSN/EAN : 978-2-10-005667-5 Note générale : Préface
Remerciements
Table des matières
Introduction
Annexe 1 : les menus
Annexe 2 : les différentes cartes d'entrées/sorties
Références : bibliogrpahie, sites web utiles
Glossaire et sigles
Lexique anglais-français dans le contexte de LabVIEW
Lexique français-anglais dans le contexte de LabVIEW
IndexCatégories : Acquisition automatique des données
Applications industrielles
Automatisation
LabVIEW (langage de programmation)
LogicielsIndex. décimale : 005.13 Langages de programmation Résumé : Les concepts et l'environnement de programmation LabVIEW.
Les bases de programmation LabVIEW.
Applications : Traitement des données.
Applications : Acquisition de données et automatisation.
Applications : échange de données et communication.
Programmatin avancée en LabVIEW.Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité B00014634 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000112 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Exclu du prêt B00001997 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Exclu du prêt B00006062 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Exclu du prêt B00001991 005.133 COT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Exclu du prêt B00001985 005.133 COT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ BD/Romans archivés Exclu du prêt LabVIEW : programmation et applications. Introduction à LabVIEW NXG / Francis COTTET
Titre : LabVIEW : programmation et applications. Introduction à LabVIEW NXG Type de document : texte imprimé Auteurs : Francis COTTET, Auteur ; Michel PINARD, Auteur ; Luc DESRUELLE, Auteur Mention d'édition : 4e édition Editeur : Dunod Année de publication : 2018 Autre Editeur : L'Usine nouvelle Importance : 464 p. ISBN/ISSN/EAN : 978-2-10-078283-3 Note générale : LabVIEW : raccourcis clavier
Préface de Jeff Kodosky, créateur de LabVIEW, 4e édition
Traduction de la préface de Jeff Kodosky par Fabrice Lemainque
Introduction
Remerciements
Table des matières
Index
Le code des exemples est téléchargeables sur dunod.com
Catégories : Acquisition automatique des données
Appareils et instruments scientifiques:Simulation par ordinateur
LabVIEW (langage de programmation):Applications industriellesIndex. décimale : 005.13 Langages de programmation Résumé : Les concepts et l'environnement de programmation LabVIEW
Les bases de la programmation LabVIEW
Programmation avancée en LabVIEW
Applications : Construire et piloter un système de mesure
Traitement de données
Applications : Sauvegarde, présentation et échange de données
De LabVIEW à NXG, la nouvelle générationExemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité B00014369 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014363 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Exclu du prêt B00014375 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Ordonnancement temps réel : cours et exercices corrigés / Francis COTTET
Titre : Ordonnancement temps réel : cours et exercices corrigés Type de document : texte imprimé Auteurs : Francis COTTET ; Joëlle DELACROIX ; Claude KAISER ; Zoubir MAMMERI Editeur : Hermès Science Publications Année de publication : 2000 Importance : 207 p. ISBN/ISSN/EAN : 978-2-7462-0099-9 Note générale : Table des matières
Avant-propos
Annexes
Bibliographie
Compléments de lecture
IndexCatégories : Informatique
Temps réel (informatique)Index. décimale : 004.33 Temps réel Résumé : Contexte, concepts et terminologie
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement en situations de surcharge
Ordonnancement multiprocesseur
Ordonnancement conjoint de tâches et messages
Etudes de casExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00001826 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/09/2025 B00001827 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible 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 Scheduling in Real-Time Systems / Francis COTTET
Titre : Scheduling in Real-Time Systems Type de document : texte imprimé Auteurs : Francis COTTET ; Joëlle DELACROIX ; Claude KAISER ; Zoubir MAMMERI Editeur : John Wiley & Sons, Inc. Année de publication : 2002 Importance : 266 p. ISBN/ISSN/EAN : 978-0-470-84766-4 Note générale : Contents
Notations and symbols
Introduction
Glossary
Bibliography
IndexCatégories : Ordonnancement (informatique)
Temps réel (informatique)Index. décimale : 005.4 Programmation et programme système Résumé : Basic concepts
Scheduling of independent tasks
Scheduling of dependent tasks
Scheduling schemes for handling overload
Multiprocessor Scheduling
Joint Scheduling of tasks and messages in distributed systems
Packet Scheduling in networks
Software environment
Case StudiesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002011 005.4 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Signaux et communications / Hwei P. HSU
Titre : Signaux et communications Type de document : texte imprimé Auteurs : Hwei P. HSU, Auteur ; Francis COTTET Mention d'édition : 2e édition Editeur : Dunod Année de publication : 2004 Importance : 400 p. ISBN/ISSN/EAN : 2-10-007268-4 Note générale : Sommaire
Avant-propos
Annexes
IndexCatégories : Information, Théorie de l'
Signal, Théorie du (télécommunications)Index. décimale : 621.382 Techniques des communications Note de contenu : Signaux et spectres
Systèmes de transmission et filtrage
Modulation d'amplitude
Modulation angulaire
Transmission numérique des signaux analogiques
Probabilités et variables aléatoires
Bruit dans les systèmes de communication analogique
Détection optimale
Théorie de l'information et codage de la source
Codage pour le contrôle d'erreurExemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité B00014411 621.382 HSU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00014417 621.382 HSU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00014423 621.382 HSU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible Systèmes temps réel de contrôle-commande : Conception et implémentation / Francis COTTET
Titre : Systèmes temps réel de contrôle-commande : Conception et implémentation Type de document : texte imprimé Auteurs : Francis COTTET ; Emmanuel GROLLEAU Editeur : Dunod Année de publication : 2005 Collection : Technique et ingénierie. Série EEA Importance : 559 p. ISBN/ISSN/EAN : 978-2-10-007893-6 Note générale : Table des matières
Avant-propos
Introduction
Bibliographie
Lexique anglais-français
Sigles
Index
Langage informatiqueCatégories : Commande automatique
Industrie
Industrie:Informatique
Informatique
Procédés de fabrication
Programmation
Temps réel (informatique)Index. décimale : 004.33 Temps réel Résumé : Développement des sytèmes de contrôle-commande
Spécification selon la méthode SA-RT
Conception selon la méthode DARTS
Architectures systèmes
Exécutifs temps réel
Programmation des systèmes multitâches
Traitement complet d'une application industrielle
Etude avancée des systèmes temps réelExemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité B00005452 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00005458 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00005464 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00005470 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00005405 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle / Francis COTTET
Titre : Systèmes temps réel embarqués : Spécification, conception, implémentation et validation temporelle Type de document : texte imprimé Auteurs : Francis COTTET, Auteur ; Emmanuel GROLLEAU, Auteur ; Sébastien GERARD, Auteur ; Jérôme HUGUES ; Yassine OUHAMMOU ; Sara TUCCI-PIERGIOVANNI Mention d'édition : 2e édition Editeur : Dunod Année de publication : 2014 Importance : 626 p. ISBN/ISSN/EAN : 978-2-10-071331-8 Note générale : Table des matières
Avant-propos
Annexes
IndexCatégories : Commande automatique
Commande en temps réel
Systèmes embarqués (informatique)
Temps réel (informatique)Index. décimale : 004.33 Temps réel Résumé : Le développement des systèmes embarqués
La spécification fonctionnelle
La conception à l'aide d'AADL
Architectures matérielles et système d'exploitation
Les exécutifs temps réel
Programmation des systèmes multitâches
Traitement complet d'une application industrielle
Etude avancée des systèmes informatiques multitâches et temps réelExemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité B00010926 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010937 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010931 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010932 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010925 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010936 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010942 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00010930 004.33 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/09/2025