Catégories
Documents disponibles dans cette catégorie (21)
Faire une suggestion Affiner la rechercheEtendre la recherche sur niveau(x) vers le bas
Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles / Thanh Dat NGUYEN
Titre : Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles Type de document : thèse Auteurs : Thanh Dat NGUYEN, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Olivier H. ROUX, Rapporteur ; Chokri MRHAIDA, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Nicolas NAVET, Examinateur ; Laurent RIOUX, Examinateur Année de publication : 2020 Importance : 142 p. Note générale : NNT 2020ESMA0007
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clés
Catégories : AADL (informatique)
Analyse temporelle
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Analyse de
Systèmes, Conception de
Temps réel (informatique)Résumé : SYSTÈMES EMBARQUÉS TEMPS RÉEL
Introduction
Structure des systèmes temps réel
Caractéristiques des test d'ordonnançabilité
Ingénierie dirigée par les modèles
Langages dédiés aux systèmes temps réel
Conclusion
FOCUS SUR L'ANALYSE D'ORDONNANÇABILITÉ
Introduction
Ordonnancement monoprocesseur
Ordonnancement multi-processeur
Ordonnancement distribué (réparti)
Outils d'analyse
Discussion
Conclusion
CONTRAINTES DE PRÉCÉDENCE À BASE DE SÉMAPHORE POUR UNE COMMUNICATION MULTI-PÉRIODIQUE DÉTERMINISTE
Introduction
Modèles de représentation de contraintes de précédence
Renforcement de la sémantique des SPC
Politique d'ordonnancement et analyse d'ordonnançabilité
Implémentation de SPC en AADL
Étude de cas
Outillage
Conclusion
TEST EXACT D'ORDONNANÇABILITÉ DE TÂCHES DÉPENDANTES SOUS G-FP
Introduction
Exemple motivationnel
Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme monoprocesseur
Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme multi-processeur identique
Vérification temporelle
Conclusion
VERS UN RÉFÉRENTIEL D'ANALYSE GÉNÉRIQUE
Introduction
Travaux connexes : méthodes d'aide à la conception
Positionnement
Identification Rule Language (IRL)
Le référentiel d'analyse générique
Transformation et adaptation
Conclusion
CONCLUSION ET PERSPECTIVES
Conclusion
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-03079085 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-20 NGUt NGU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Analyse non standard et représentation du réel - Actes de l'École d'été, Oran, les Andalouses, 8-12 septembre 1984 / M. DIENER
Titre : Analyse non standard et représentation du réel - Actes de l'École d'été, Oran, les Andalouses, 8-12 septembre 1984 Type de document : symposium Auteurs : M. DIENER, Éditeur scientifique ; C. LOBRY, Éditeur scientifique Editeur : Alger : OPU Année de publication : 1985 Importance : 362 p. ISBN/ISSN/EAN : 978-2-222-03698-2 Note générale : Sommaire
Avant-propos
Liste des participants de l'Ecole
Bibliographie
IndexCatégories : Analyse mathématique non standard
Modèles mathématiques
Systèmes, Analyse deIndex. décimale : 515.8 Fonctions de variables réelles Résumé : Une initiation aux outils non-standards fondamentaux
Applications diverses
Points de vueExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008821 515.8 / 1984 Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Symposia [Congrès PMM et Fluides] Exclu du prêt
Titre : Analyse orientée objets Autre titre : Objects-Oriented Analysis Type de document : texte imprimé Auteurs : P. COAD ; E. YOURDON ; Abdelkader BOUGHLAM, Traducteur ; Michel GALINIER, Préfacier, etc. Mention d'édition : 2e tirage Editeur : Masson Année de publication : 1993 Collection : MIPS (Méthodes Informatiques et Pratique des Systèmes) Importance : 194 p. ISBN/ISSN/EAN : 978-2-225-82562-0 Note générale : Préface
Table des matières
Avant-propos à la deuxième édition
Remerciements
Avant-propos du traducteurs
Annexe A : Résumé des représentations graphiques et des démarches
Annexe B : Insertion de l'AOO dans la DOD-STD-2167A
Bibliographie
Bibliographie complémentaire de la version française
IndexCatégories : Analyse informatique
Conception orientée objet
Programmation orientée objets (informatique)
Systèmes, Analyse de
Systèmes, Conception deIndex. décimale : 005.13 Langages de programmation Résumé : Introduction
Amélioration de l'analyse
Expérimentation d'une perspective objet
Trouver les classe&objets
Identification des structures
Identification des sujets
Définition des attributs
Définition des services
Choix d'outils pour l'AOO
Passage à la conception orientée objets
Mise en oeuvre de l'AOOExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002016 005.13 COA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible
Titre : Automatique : Commande des systèmes linéaires Type de document : texte imprimé Auteurs : Philippe de LARMINAT Mention d'édition : 2e éd. rev. et augmentée Editeur : Hermès Science Publications Année de publication : 1996 Collection : Automatique Importance : 351 p. ISBN/ISSN/EAN : 978-2-86601-515-2 Note générale : Table des matières
Avant-propos
Bibliographie
IndexCatégories : Commande automatique
Systèmes, Analyse deIndex. décimale : 629.8 Technique de la commande automatique Résumé : L'AUTOMATIQUE FREQUENTIELLE CLASSIQUE - APPLICATION A LA REGULATION INDUSTRIELLE
Systèmes : boucle ouverte et boucle fermée
Les modèles transferts
Les modèles de base
Configuration des boucles de régulation. Sensibilité et sensibilité complémentaire. Performances
Stabilité, critère de Nyquist, marges de stabilité
Synthèse des régulateurs dans le domaine fréquentiel
La régulation industrielle
LES BASES DE L'APPROCHE D'ETAT - APPLICATION A LA COMMANDE MONOVARIABLE PAR PLACEMENT DE POLES
Modèles d'état
Systèmes à temps discret
Commandabilité et observabilité
Commande par retour d'état
Reconstruction d'état
La commande modale monovariable
La commande par placement de pôles robuste
La commande numérique
L'OPTIMISATION H2 - APPLICATION A LA SYNTHESE DE COMMANDE MULTIVARIABLE
La commande LQ (Linéaire Quadratique)
Signaux aléatoires et processus générateurs
Filtrage statistique optimal
Commande LQG et synthèse H2
Méthodologie et CAO pour l'optimisation H2Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006047 629.8 LAR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Sorti jusqu'au 15/05/2026
Titre : Automatique des systèmes linéaires : 2., Identification Type de document : texte imprimé Auteurs : Philippe de LARMINAT ; Yves THOMAS Editeur : Flammarion Sciences Année de publication : 1977 Importance : 230 p. ISBN/ISSN/EAN : 978-2-257-15012-7 Note générale : Table des matières
Principaux symboles
Introduction
Annexe
Bibliographie
Index alphabétiqueCatégories : Commande automatique
Identification automatique
Systèmes, Analyse deIndex. décimale : 629.8 Technique de la commande automatique Résumé : Introduction
Méthodes de base
Méthode du modèle
Eléments de la théorie de l'estimation
Reconstruction d'état, filtrage, application à l'identification
Méthodes statistiques, conclusion sur l'identificationExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006042 629.8 DEL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Computer Simulation Using Particles Type de document : texte imprimé Auteurs : HOCKNEY, R., W. ; EASTWOOD, J., W. Mention d'édition : reprinted ed Editeur : Institute of Physics Publishing (IOP), Ltd Année de publication : 1994 Importance : 540 p. ISBN/ISSN/EAN : 978-0-85274-392-8 Note générale : Contents
Foreword
Prefaces
Bibliography
IndexCatégories : Informatique
Particules (matière)
Particules (matière):Simulation par ordinateur
Problème des N corps
Simulation par ordinateur
Systèmes, Analyse deIndex. décimale : 530 Physique Résumé : Computer Experiments Using Particle Models
A One-Dimensional Plasma Model
The Simulation Program
Time Integration Schemes
The Particle-Mesh Force Calculation
The Solution of the Field Equations
Collisionless Particle Models
Particle-Particle - Particle-Mesch (P(3)M) Algorithms
Plasma Simulation
Semiconductor Device Simulation
Astrophysics
Solids, Liquids and Phase ChangesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005552 530 HOC Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie Type de document : thèse Auteurs : Linda MOHAND-OUSSAÏD, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Idir AIT SADOUNE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christophe KOLSKI, Rapporteur ; Hassan MOUNTASSIR, Rapporteur ; Patrick GIRARD, Examinateur ; Christian ATTIOGBE, Examinateur Importance : 184 p. Note générale : NNT 2014ESMA0022
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clésCatégories : Interaction homme-ordinateur
Interfaces utilisateur (informatique)
Méthode B (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : LES INTERFACES HOMME-MACHINE MULTIMODALES
Introduction
Interaction homme-machine
Systèmes interactifs
Concepts de base
Interfaces homme-machine multimodales
Développement des interfaces homme-machine
Les modèles de description du dialogue
Propriétés des interfaces homme-machine
Conception des IHM multimodales
Les systèmes multimodaux
Conclusion
DEVELOPPEMENTS FORMELS DES SYSTEMES INTERACTIFS
Introduction
Les modèles formels
La conception formelle
Les méthodes de spécification formelles
Vérification formelle
Utilisation des méthodes formelles pour le développement des IHM
Synthèse et proposition
UN MODELE FORMEL GENERIQUE POUR LES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE
Introduction
Démarche générale de modélisation
Modèle formel de conception des interfaces homme-machine multimodales en sortie
Conclusion
MODELISATION DES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE DANS B EVENEMENTIEL
Introduction
La méthode B événementiel
Démarche de modélisation avec B événementiel
Les modèles génériques de développement B événementiel
Conclusion
MODELISATION DE LA FISSION SEMANTIQUE AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de fission sémantique
Bilan des obligations de preuve
Intanciation du modèle B événementiel de fission sémantique
Application à l'étude de cas
Conclusion
MODELISATION DE L'ALLOCATION AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de combinaison des présentations
Le modèle de décomposition des présentations
Le modèle d'affectation
Bilan des obligations de preuve
Instanciation du modèle B événementiel d'allocation
Application à l'étude de cas
Vérification des propriétés
Conclusion
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127547 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010927 TH-14 MOH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 MOH MOH Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle Type de document : thèse Auteurs : Anh Toan BUI LONG, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yamine AIT AMEUR, Examinateur ; Christian ATTIOGBE, Rapporteur ; Jérôme HUGUES, Rapporteur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 146 p. Note générale : NNT 2018ESMA0020
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Liste des acronymes
Liste des symboles
Résumé
Mots clésCatégories : Analyse temporelle
Ingénierie dirigée par les modèles
Modélisation des données (informatique)
Ordonnancement dynamique
Systèmes à paramètres répartis
Systèmes, Analyse de
Systèmes, Conception de
Temps réel (informatique)
Tolérance aux fautes (informatique)Résumé : ÉTAT DE L'ART
Ordonnancement temps-réel
Conception dirigée par les modèles des systèmes temps réel
CONTRIBUTIONS
Adaptation conservative des cas pratiques à l'analyse
Les réseaux dans les analyses temps réel
Extraction conservative et patrons de modèles d'analyses
CONCLUSIONS
Conclusions et perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-02080119 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-18 BUI BUI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Cours d'automatique : 1., Traitement du signal. Systèmes Type de document : texte imprimé Auteurs : Maurice RIVOIRE ; Jean-Louis FERRIER Mention d'édition : 3ème édition Editeur : Eyrolles Année de publication : 1999 Importance : 248 p. ISBN/ISSN/EAN : 978-2-212-09547-0 Note générale : Avant-propos.
Note au lecteur.
Sommaire.
Annexe.
Bibliographie.
Index alphabétique.Catégories : Commande automatique
Commande, Théorie de la
Industrie
Industrie:Informatique
Systèmes, Analyse de
Systèmes, Théorie des
Traitement du signalIndex. décimale : 629.8 Technique de la commande automatique Résumé : Description des signaux.
Représentation temporelle des signaux et des systèmes à temps continu et à temps discret.
Représentation fréquentielle des signaux. Fonction de transfert des systèmes.
Réponse des systèmes.
Technologie des systèmes pilotés par calculateur.Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00001471 629.8 RIV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00001465 629.8 RIV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Sorti jusqu'au 15/05/2026
Titre : Cours d'automatique : 3., Commande par calculateur. Identification. Type de document : texte imprimé Auteurs : Maurice RIVOIRE ; Jean-Louis FERRIER Editeur : Eyrolles Année de publication : 1997 Importance : 223 p. ISBN/ISSN/EAN : 978-2-212-09580-7 Note générale : Avant-propos.
Note au lecteur.
Sommaire.
Annexes.
Bibliographie.
Index alphabétique.Catégories : Commande automatique
Systèmes, Analyse deIndex. décimale : 629.8 Technique de la commande automatique Résumé : La commande numérique.
Commande dans l'espace d'état.
Identification
Logique floue.Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00001489 629.8 RIV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00001483 629.8 RIV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Sorti jusqu'au 15/05/2026
Titre : Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données Type de document : thèse Auteurs : Lahcène BRAHIMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Yudith CARDINALE, Rapporteur ; Abdelkader HAMEURLAIN, Examinateur ; Khalil DRIRA, Examinateur Importance : 192 p. Note générale : NNT 2017ESMA0009
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots-clésCatégories : Apprentissage automatique
Bases de données:Gestion
Entrepôts de données
OLAP (informatique)
Ontologies (informatique)
Prise de décision
Systèmes de recommandation (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : ETAT DE L'ART
Evolution du cycle de conception de bases de données
Etudes des approches de sélection des SGBD et plateformes
CONTRIBUTIONS
Vers une explicitation des composantes de l'environnement de tests
Approche multidimensionnelle des données des environnements de tests
Système de recommandation pour le déploiement des bases de données
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01585828 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014315 TH-17 BRA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 BRA BRA Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Dynamique de la commande linéaire Type de document : texte imprimé Auteurs : Jean-Charles GILLE ; Paul DECAULNE ; Marc PELEGRIN Mention d'édition : 7e édition Editeur : Bordas Année de publication : 1985 Importance : 595 p. ISBN/ISSN/EAN : 978-2-04-016432-4 Note générale : Avant-propos de la septième édition.
Table des matières
Table des figures et tableaux importants
Principales notations utilisées
Abréviations
Translittération des mots russes
Introduction
Annexes
Réf bibliographiques
Index alphabétique des termes techniques cités en quatre langues
Index alphabétique des matièresCatégories : Commande automatique
Commande linéaire
Information, Théorie de l'
Systèmes linéaires
Systèmes, Analyse de
Systèmes, Théorie desIndex. décimale : 629.8 Technique de la commande automatique Résumé : NOTIONS FONDAMENTALES
La mise en équations
Régimes transitoires, réponses aux entrées typiques
La transformation de Laplace et le calcul des régimes transitoires
ETUDE DE SYSTEMES SIMPLES
Systèmes du premier ordre
Retards
Systèmes du second ordre : théorie
Systèmes du second ordre : perfoermances
THEORIE DES SYSTEMES LINEAIRES
Fonctions et lieux de transfert : théorie générale
Détermination pratique des fonction et lieux de transfert
Réponses en fréquences
Stabiblité des systèmes linéaires ; pôles et zéros
Représentation d'état
Entrées aléatoires, notions sur les spectres de fréquence et la théorie de l'informationExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000554 629.8 GIL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Echanges énergétiques entre le nourrisson et son environnement : étude des facteurs pouvant conduire à l'hyperthermie Type de document : thèse Auteurs : Valéry VUILLERME ; J.-P. FOHR, Directeur de thèse ; LET ENSMA UMR CNRS 6608, Commanditaire ; F. MONCHOUX, Rapporteur ; R. MARTIN, Rapporteur ; Dominique BLAY, Examinateur ; V. CANDAS, Examinateur ; A. DITTMAR, Examinateur ; J.-P. LIBERT, Examinateur ; E. MALLET, Examinateur ; D. ORIOT, Examinateur ; Jean-Bernard SAULNIER, Examinateur Importance : 180 p. Note générale : Remerciements
Table des matières
Introduction générale
Références bibliographiques
Annexes
Résumé
Mots clésCatégories : Chaleur
Chaleur:Effets physiologiques
Homme
Homme:Effets du climat
Mort subite du nourrisson
Systèmes, Analyse de
ThermorégulationIndex. décimale : TH-99 Résumé : LA THERMIQUE DU NOURRISSON ET DE SON ENVIRONNEMENT
La thermogenèse
Transferts de chaleur interne
Transferts de chaleur vers l'ambiance
Influence des vêtements et sur-épaisseurs
Echanges avec le matelas
De l'instationnarité en guise de conclusion
ETUDE EXPERIMENTALE AU CHU DE POITIERS
Méthode d'investigation
Résultat de la première campagne
ETUDE EXPERIMENTALE SUR MAQUETTE-VISUALISATIONS-CFD
Etude expérimentale sur une maquette du nourrisson couché
Visualisation des phénomènes thermoconvectifs par tranches laser
Calculs numériques des phénomènes par code éléments/volume finis
ECHANGES CONVECTIFS AUTOUR DE LA TETE DU NOURRISSON
Système d'équations
Méthode intégrale
Calcul des coefficients d'échanges thermique et massique
MODELE NODAL DU NOURRISSON COUCHE
Caractérisitques géométriques et psychologiques du modèle
Transferts de chaleur interne
Echanges avec l'ambiance
Influence des vêtements et sur-épaisseurs
Echanges avec le matelas
L'instationnarité
Comportement du modèle sous diverses contraintes thermiquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006990 TH-99 VUI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Eléments d'automatique Type de document : texte imprimé Auteurs : Pierre FAURRE ; Maurice ROBIN Editeur : Dunod Année de publication : 1986 Importance : 443 p. ISBN/ISSN/EAN : 978-2-04-015702-9 Note générale : Préface
Avant-propos
Table des matières
Bibliographie
IndexCatégories : Commande automatique
Commande, Théorie de la
Robotique
Systèmes, Analyse deIndex. décimale : 629.8 Technique de la commande automatique Résumé : Introduction à l'automatique
Regulation élementaire PID et conduite de processus
Systèmes dynamiques linéaires - description externe - description interne
Systèmes linéaires aux dérives partielles
Stabilité et compensation
Commande optimale
Traitement des signauxExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000099 629.8 FAU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Méthodologie et gestion de la fiabilité des systèmes Type de document : texte imprimé Auteurs : J. de CORLIEU Editeur : Ecole Nationale Supérieure de l'Aéronautique et de l'Espace - Sup'Aéro (ENSAE) Année de publication : 1974 Collection : Ecole Nationale Supérieure de l'Aéronautique et de l'Espace Sup'Aéro Note générale : Sommaire Catégories : Fiabilité
Fiabilité:Méthodes statistiques
Ingénierie des systèmes
Systèmes, Analyse deIndex. décimale : 519.2 Probabilités Résumé : Définitions
Modèles mathématiques
Redondance et optimisation de la redondance
Notions sur la fiabilité des composants
Fiabilité des équipements
Efficacité des ensembles matériels des systèmes
Compromis
Le maître d'oeuvre
Evaluation de la fiabilité des équipements
Commentaire de la norme CCT-190Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001678 519.2 COR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : MPSI-PCSI : Sciences industrielles pour l'ingénieur Type de document : texte imprimé Auteurs : Patrick BEYNET, Éditeur scientifique ; Christian COLLIGNON, Auteur ; Christophe DURANT ; Maxime GIROT ; Éric LAUMONIER ; Olivier TOURVIELLE Editeur : Ellipses Année de publication : 2011 Collection : Prépas sciences, ISSN 2111-4641 Importance : 732 p. ISBN/ISSN/EAN : 978-2-7298-6443-9 Note générale : Avant-propos
Sommaire
Table de notations
UnitésCatégories : Commande automatique:Manuels d'enseignement supérieur
Commande automatique:Problèmes et exercices
Ingénierie:Manuels d'enseignement supérieur
Mécanique:Manuels d'enseignement supérieur
Mécanique:Problèmes et exercices
Systèmes, Analyse deIndex. décimale : 620.1 Mécanique de l'ingénieur (mécanique appliquée) et matériaux Résumé : Introduction à l'étude des systèmes
Les modèles de description fonctionnelle
Lecture de documents techniques
Introduction aux systèmes asservis
Modélisation des systèmes linéaires continus et invariants
Modélisation des S.L.C.I. asservis et schémas blocs
Réponse temporelle des S.L.C.I.
Étude fréquentielle des S.L.C.I.
Identification des S.L.C.I.
Position et orientation relative de deux solides indéformables
Composition de mouvements, vitesses et accélérations
Torseur distributeur des vitesses
Applications de cinématique graphique
Modélisation cinématique des liaisons
Mécanismes
Quelques transmetteurs de puissances simples
Modélisation des actions mécaniques
Résolution d'un problème de statique
Cas de forces coplanaires : résolution graphique
Systèmes combinatoires, algèbre de Boole, numération, codage
Les fonctions logiques combinatoires
Les fonctions logiques séquentielles
Le graphe fonctionnel à étapes et transition : le GRAFCETExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00011387 620.1 BEY Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Nonlinear Oscillations Type de document : texte imprimé Auteurs : NAYFEH, Ali, Hasan, Auteur ; Dean T. MOOK, Auteur Editeur : Wiley-Vch Verlag Année de publication : 2004 Importance : 704 p. ISBN/ISSN/EAN : 978-0-471-12142-8 Note générale : Preface
Contents
Introduction
References
IndexLangues : Anglais (eng) Catégories : Oscillations
Systèmes, Analyse deIndex. décimale : 530 Physique Résumé : Conservative Single-Degree-of-Freedom Systems
Nonconservative Single-Degree-of-Freedom Systems
Forced Oscillations of Systems Having a Single Degree of Freedom
Parametrically Excited Systems
Systems Having Finite Degrees of Freedom.
Continuous Systems
Traveling WavesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00009321 530 NAY Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Sorti jusqu'au 15/05/2026 Optimalisation statistique des systèmes dynamiques : Compensation analogique ou arithmétique des systèmes quasi-linéaires / P. LEFEVRE
Titre : Optimalisation statistique des systèmes dynamiques : Compensation analogique ou arithmétique des systèmes quasi-linéaires Type de document : texte imprimé Auteurs : P. LEFEVRE ; P. NASLIN, Préfacier, etc. Editeur : Dunod Année de publication : 1965 Collection : Bibliothèque de l'ingénieur automaticien Importance : 207 p. Note générale : Préface
Avant-propos
Table des matières
Liste des principales notations
Réf bibliographiques
Index alphabétiqueCatégories : Commande automatique
Systèmes, Analyse de
Systèmes, Théorie desIndex. décimale : 629.8 Technique de la commande automatique Résumé : Propriétés statistiques des signaux continus
Optimalisation du système analogique
Optimalisation d'un dispositif analogique de commande en accélération
Eléménts de la théorie de l'échantillonnage
Propriétés statistiques des signaux échantillonnés
Théorie de l'antilfiltre
Optimalisation du système échantillonné à période unique
Optimalisation d'un dispositif de commande en accélération muni d'un calculateur arithmétique à période unique
Optimalisation du système échantillonné à périodes multiples
Exemples d'applications.
Application des méthodes mathématiques précédentes à l'optimalisation déterministe des systèmes dynamiquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000393 629.8 LEF Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Problèmes incorrectement posés. Théorie et applications en identification, filtrage optimal, contrôle optimal, analyse et synthèse de systèmes, reconnaissance d'images Type de document : texte imprimé Auteurs : V. BADEVA ; V. MOROZOV Editeur : Masson Année de publication : 1991 Importance : 298 p. ISBN/ISSN/EAN : 978-2-225-82055-7 Note générale : Avant-propos
Table des matières
Introduction
Références
IndexCatégories : Analyse numérique
Analyse numérique:Problèmes mal posés
Filtres numériques (mathématiques)
Systèmes, Analyse de
Théorie des modèlesIndex. décimale : 519.4 Analyse numérique appliquée Résumé : Problèmes mathématiques incorrectement posés
Résolution de problèmes linéaires et non linéaires
Application des méthodes régulières
Problèmes incorrectement posés et filtrage optimal
Problèmes incorrectement posés en optimisationExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006049 519.4 BAD Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : Systèmes asservis non linéaires Type de document : texte imprimé Auteurs : Jean-Charles GILLE ; Paul DECAULNE ; Marc PELEGRIN Mention d'édition : 5e édition Editeur : Bordas Année de publication : 1988 Importance : 219 p. ISBN/ISSN/EAN : 978-2-04-016955-8 Note générale : Avertissement de l'éditeur
Avant-propos
Table des matières
Annexe
Principaux termes techniques en cinq langues
Réf bibliographiques
Table alphabétique des matièresCatégories : Commande automatique
Commande linéaire
Systèmes non linéaires
Systèmes, Analyse de
Systèmes, Théorie desIndex. décimale : 629.8 Technique de la commande automatique Résumé : Généralités. Méthodes usuelles
Problèmes particuliers. Méthodes analytiques
Méthodes topologiques. StabilitéExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000996 629.8 GIL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Techniques coopératives pour l’exploitation des bases de connaissances et passage à l’échelle Type de document : thèse Auteurs : Louise PARKIN, Auteur ; Brice CHARDIN, Directeur de thèse ; Allel HADJALI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Guy DE TRÉ, Rapporteur ; Frédérique LAFOREST, Rapporteur ; Hala SKAF-MOLLI, Examinateur ; Anne LAURENT, Examinateur Importance : 163 p. Note générale : NNT 2022ESMA0020
Remerciements
Table des matières
Introduction
Bibliographie
Annexe
Table des figures
Liste des tableaux
Résumé
Mots clésCatégories : Bases de données:Interrogation
Optimisation mathématique
Questions et réponses, Systèmes de
Resource Description Framework (informatique)
SPARQL (langage de programmation)
Systèmes experts (informatique)
Systèmes, Analyse deRésumé : CONCEPTS FONDAMENTAUX DES BASES DE CONNAISSANCES
Introduction
Notion de base de connaissances
Modélisation des bases de connaissances
Requête SPARQL
Raisonnement
Systèmes de gestion des bases de connaissances
Conclusion
ÉTAT DE L'ART SUR LE TRAITEMENT DES RÉPONSES INSATISFAISANTES
Introduction
Typologie des réponses non satisfaisantes
Méthodes coopératives
Approches orientées données
Approches orientées requêtes
Conclusion
TRAITEMENT DES RÉPONSES PLÉTHORIQUES
Introduction
Causes d'échec pour les réponses pléthoriques
Énumération des causes d'échec
Choix d'implémentation
Évaluation des algorithmes
Conclusion
EXTENSION AUX SPÉCIFICITÉS DE SPARQL
Introduction
Utilisation des cardinalités des prédicats
Effets des opérateurs SPARQL
Expérimentation
Conclusion
MÉTHODE UNIFIÉE POUR LES RÉPONSES INSATISFAISANTES
Introduction
Liens entre les problèmes de réponses insatisfaisantes
Combinaison de conditions d'échec
Implémentation et évaluation expérimentale
Conclusion
CONCLUSIONEn ligne : https://theses.hal.science/tel-03934427 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 PAR PAR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
