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és Caté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 CONCLUSION En 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 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 Index Caté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

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 Index Catégories : Aide-mémoire Traitement du signal Index. 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érique

Exemplaires (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 Index Caté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'applications

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

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

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 Index Catégories : LabVIEW (langage de programmation) Traitement du signal:Techniques numériques Index. décimale : 005.13 Langages de programmation Résumé : Concepts et programmation Application au traitement du signal Application à l'acquisition de données

Exemplaires (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:Finances Index. 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'innovation

Exemplaires (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 Annexes Caté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 GrafcetVIEW

Exemplaires (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èse Langues : 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 Annexes Langues : 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'affection

Exemplaires (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 Index Catégories : Algorithmes Algorithmes:Informatique Informatique Index. 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 lot

Exemplaires (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és Caté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és Langues : Français (fre) Catégories : Endommagement, Mécanique de l' (milieux continus) Lasers:Matériaux Ondes de choc Ondes:Propagation Ré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 PERSPECTIVES En 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 Annexes Caté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 simulation

Exemplaires (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 Index Caté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 Index Catégories : Acquisition automatique des données Automatisation LabVIEW (langage de programmation):Applications industrielles Index. 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 industrielles Index. 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ées

Exemplaires (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 Index Catégories : Acquisition automatique des données Applications industrielles Automatisation LabVIEW (langage de programmation) Logiciels Index. 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 industrielles Index. 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ération

Exemplaires (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 Index Caté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 cas

Exemplaires (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 figures Caté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 cas

Exemplaires (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 Index Caté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 Studies

Exemplaires (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 Index Caté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'erreur

Exemplaires (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 informatique Caté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éel

Exemplaires (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 Index Caté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éel

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

---

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