Documents disponibles chez cet éditeur

Systèmes asservis / El Kébir Boukas

Public ISBD Titre : Systèmes asservis Type de document : texte imprimé Auteurs : El Kébir Boukas, Auteur Editeur : Canada : Editions de l'école Polytechnique de Montréal Année de publication : 1995 Importance : 668 p. Présentation : couv. ill. en coul., ill. Format : 23,3 cm. ISBN/ISSN/EAN : 9782553004303 Langues : Anglais (eng) Catégories : AUTOMATISME Index. décimale : 25-04 Théorie des systèmes:systèmes asservis Résumé : Ce livre traite de l'automatique, une discipline qui, de nos jours, couvre un champ d'applications très vaste. L'intérêt qu'y porte la communauté scientifique repose sur le rôle clé que joue cette discipline dans le développement technologique. C'est en partie grâce aux résultats des chercheurs automaticiens que l'on a pu notamment poser le pied sur la lune, améliorer la qualité d'un grand nombre de produits et d'appareils ainsi que construire des des avions sécuritaires et des robots intelligents. Afin de mieux s'adapter à l'évolution rapide de la technologie moderne, l'ingénieur et le scientifique doivent apprendre à maîtriser les concepts de base de cette discipline scientifique. Cet ouvrage présente les fondements théoriques et pratiques des systèmes asservis de même que plusieurs techniques modernes et classiques d'analyse et de synthèse qui permettront au lecteur de relever les nouveaux défis technologiques de sa profession. Note de contenu : Table des matières Chapitre 1 - Notions générales Introduction. Terminologie de l'automatique. Exemples de systèmes asservis. Classification des structures de commande. Techniques d'analyse et de synthèse des systèmes asservis. Résumé. Questions. Exercices Chapitre 2 - Représentation des systèmes dynamiques Introduction. Exemples de modélisation. Représentation par modèle d'état. Représentation par fonction de transfert et schéma fonctionnel. Modélisation des systèmes dynamiques. Systèmes complexes. Simplification des diagrammes fonctionnels. Résumé. Questions. Exercices Chapitre 3 - Analyse de la commande en boucle fermée Introduction. Structure de commande en boucle fermée. Correcteurs classiques. Commande par retour d'état. Caractéristiques de la commande en boucle fermée. Résumé. Questions. Exercices Chapitre 4 - Analyse dans le domaine temporel Introduction. Réponse des systèmes dynamiques linéaires. Caractéristique de la réponse d'un système. Réponse des systèmes simples. Précision. Résumé. Questions. Exercices Chapitre 5 - Stabilité et lieu des racines Introduction. Stabilité des systèmes linéaires. Lieu des racines. Étude de la sensibilité. Résumé. Questions. Exercices Chapitre 6 - Analyse fréquentielle Introduction. Forme de la réponse. Techniques basées sur la fonction de transfert en boucle ouverte. Techniques basées sur la fonction de transfert en boucle fermée. Résumé. Questions. Exercices Chapitre 7 - Design des systèmes asservis Introduction. Formulation du problème de design des systèmes asservis. Types de correcteurs. Design des correcteurs par méthodes empiriques. Design des correcteurs à l'aide du lieu des racines. Design des correcteurs à l'aide du diagramme de Bode. Résumé. Questions. Exercices Chapitre 8 - Représentation interne: analyse et design Introduction. Représentation interne. Forme canonique. Fonction de transfert. Résolution du modèle d'état. Transformation du modèle d'état. Stabilité, commandabilité et observabilité. Commande par retour d'état. Design de l'observateur. Résumé. Questions. Exercices Annexe A - Transformée de Laplace Définition. Conditions d'existence de la transformée de Laplace. Transformée de Laplace des fonctions usuelles. Propriétés de la transformée de Laplace. Transformée de Laplace inverse Annexe B - Calcul matriciel Définitions générales. Matrice carrée. Déterminant d'une matrice. Valeurs propres et vecteurs propres. Théorème de Cayley-Hamilton Annexe C - Règle de Mason Définitions. Opérations sur les graphes. Règle de Mason. Applications Annexe D - Nombres complexes Représentation des nombres complexes. Opérations dans C Références Index Systèmes asservis [texte imprimé] / El Kébir Boukas, Auteur . - Canada : Editions de l'école Polytechnique de Montréal, 1995 . - 668 p. : couv. ill. en coul., ill. ; 23,3 cm. ISSN : 9782553004303 Langues : Anglais (eng) Catégories : AUTOMATISME Index. décimale : 25-04 Théorie des systèmes:systèmes asservis Résumé : Ce livre traite de l'automatique, une discipline qui, de nos jours, couvre un champ d'applications très vaste. L'intérêt qu'y porte la communauté scientifique repose sur le rôle clé que joue cette discipline dans le développement technologique. C'est en partie grâce aux résultats des chercheurs automaticiens que l'on a pu notamment poser le pied sur la lune, améliorer la qualité d'un grand nombre de produits et d'appareils ainsi que construire des des avions sécuritaires et des robots intelligents. Afin de mieux s'adapter à l'évolution rapide de la technologie moderne, l'ingénieur et le scientifique doivent apprendre à maîtriser les concepts de base de cette discipline scientifique. Cet ouvrage présente les fondements théoriques et pratiques des systèmes asservis de même que plusieurs techniques modernes et classiques d'analyse et de synthèse qui permettront au lecteur de relever les nouveaux défis technologiques de sa profession. Note de contenu : Table des matières Chapitre 1 - Notions générales Introduction. Terminologie de l'automatique. Exemples de systèmes asservis. Classification des structures de commande. Techniques d'analyse et de synthèse des systèmes asservis. Résumé. Questions. Exercices Chapitre 2 - Représentation des systèmes dynamiques Introduction. Exemples de modélisation. Représentation par modèle d'état. Représentation par fonction de transfert et schéma fonctionnel. Modélisation des systèmes dynamiques. Systèmes complexes. Simplification des diagrammes fonctionnels. Résumé. Questions. Exercices Chapitre 3 - Analyse de la commande en boucle fermée Introduction. Structure de commande en boucle fermée. Correcteurs classiques. Commande par retour d'état. Caractéristiques de la commande en boucle fermée. Résumé. Questions. Exercices Chapitre 4 - Analyse dans le domaine temporel Introduction. Réponse des systèmes dynamiques linéaires. Caractéristique de la réponse d'un système. Réponse des systèmes simples. Précision. Résumé. Questions. Exercices Chapitre 5 - Stabilité et lieu des racines Introduction. Stabilité des systèmes linéaires. Lieu des racines. Étude de la sensibilité. Résumé. Questions. Exercices Chapitre 6 - Analyse fréquentielle Introduction. Forme de la réponse. Techniques basées sur la fonction de transfert en boucle ouverte. Techniques basées sur la fonction de transfert en boucle fermée. Résumé. Questions. Exercices Chapitre 7 - Design des systèmes asservis Introduction. Formulation du problème de design des systèmes asservis. Types de correcteurs. Design des correcteurs par méthodes empiriques. Design des correcteurs à l'aide du lieu des racines. Design des correcteurs à l'aide du diagramme de Bode. Résumé. Questions. Exercices Chapitre 8 - Représentation interne: analyse et design Introduction. Représentation interne. Forme canonique. Fonction de transfert. Résolution du modèle d'état. Transformation du modèle d'état. Stabilité, commandabilité et observabilité. Commande par retour d'état. Design de l'observateur. Résumé. Questions. Exercices Annexe A - Transformée de Laplace Définition. Conditions d'existence de la transformée de Laplace. Transformée de Laplace des fonctions usuelles. Propriétés de la transformée de Laplace. Transformée de Laplace inverse Annexe B - Calcul matriciel Définitions générales. Matrice carrée. Déterminant d'une matrice. Valeurs propres et vecteurs propres. Théorème de Cayley-Hamilton Annexe C - Règle de Mason Définitions. Opérations sur les graphes. Règle de Mason. Applications Annexe D - Nombres complexes Représentation des nombres complexes. Opérations dans C Références Index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	N.Inventaire
2077	25-04-57	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	2077
2078	25-04-57	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	2078

Conception et vérification des circuits VLSI / Yvon Savaria

Public ISBD Titre : Conception et vérification des circuits VLSI Type de document : texte imprimé Auteurs : Yvon Savaria, Auteur Editeur : Canada : Editions de l'école Polytechnique de Montréal Année de publication : 1988 Importance : 398 p. Présentation : couv. ill. en coul., ill. Format : 23,5 cm. ISBN/ISSN/EAN : 978-2-553-00207-6 Langues : Français (fre) Catégories : SEMI CONDUCTEURS Index. décimale : 27-05 Microélectronique Résumé : Pratiquement toutes les puces conçues et fabriquées de nos jours utilisent la technologie des circuits intégrés à très grande échelle, ou circuits VLSI. De surcroît, la rapidité avec laquelle les technologies émergent engendre l'évolution rapide de nombreux domaines, notamment de la conception et de la vérification des circuits VLSI. S'il existe un nombre impressionnant de publications spécialisées qui témoignent de la vigueur de la recherche dans ces deux domaines, peu d'ouvrages, par contre, en font la synthèse. Conception et vérification des circuits VLSI vient combler cette lacune. En effet, le lecteur y verra traités des sujets aussi divers que les procédés de fabrication, les formes de logique CMOS, la conception de systèmes, les méthodes de conception et la vérification des circuits. Cet ouvrage s'adresse tant à l'étudiant qui suit un premier cours en conception de circuits intégrés numériques qu'au professionnel de l'informatique ou de l'électronique qui désire mettre à jour ses connaissances et s'y retrouver dans l'abondante documentation spécialisée publiée sur le sujet. Note de contenu : Chapitre 1 - Introduction Généralités. Plan de l'ouvrage. Niveaux d'abstraction. Modèle logique de transistor MOS Chapitre 2 - Les structures logiques CMOS Portes statiques. Portes de transmission. Délais. Éléments de mémoire statique et effet de mémoire dynamique. Logique pseudo-nMOS. Portes logiques dynamiques. Chaîne de retenue, demi-portes de transmission et précharge Chapitre 3 - Technologies et procédés de fabrication CMOS Réalisation d'un circuit intégré. Raffinage et préparation des tranches. Étape type de masquage. Procédé CMOS à double puits. Variantes des technologies CMOS. Règles de dessin. Rendement. Délais imputables aux interconnexions. Réduction de l'échelle des procédés basés sur le silicium. Limites sur le plan pratique et impact de l'environnement sur les procédés CMOS Chapitre 4 - La conception de circuits intégrés Architecture à transferts de registres, synchronisation et génération des horloges. Réseaux logiques programmables et machines à états. Commande de grosses charges capacitives. Structures de mémoire. Dessin des masques. Exemples pratiques Chapitre 5 - Les méthodes de conception Choix d'une méthode. Modèle de calcul des coûts. Circuits standard et circuits programmables. Matrices de portes, ou prédiffusés. Cellules normalisées. Circuits dédiés. Compilateurs de silicium. Choix d'une technologie. Conclusion Chapitre 6 - La conception axée sur la vérification systématique Nécessité de la conception axée sur la vérification systématique. Modèles de défauts et objectifs. Production de vecteurs de vérification. Mesures heuristiques de la testabilité. Conception axée sur la vérification systématique: approches ad hoc. Conception axée sur la vérification. Circuits autovérifiables Appendice A - Couches et règles de dessin relatives au procédé CMOS 3 Appendice B - Paramètres SPICE relatifs au procédé CMOS 3 Bibliographie Index Conception et vérification des circuits VLSI [texte imprimé] / Yvon Savaria, Auteur . - Canada : Editions de l'école Polytechnique de Montréal, 1988 . - 398 p. : couv. ill. en coul., ill. ; 23,5 cm. ISBN : 978-2-553-00207-6 Langues : Français (fre) Catégories : SEMI CONDUCTEURS Index. décimale : 27-05 Microélectronique Résumé : Pratiquement toutes les puces conçues et fabriquées de nos jours utilisent la technologie des circuits intégrés à très grande échelle, ou circuits VLSI. De surcroît, la rapidité avec laquelle les technologies émergent engendre l'évolution rapide de nombreux domaines, notamment de la conception et de la vérification des circuits VLSI. S'il existe un nombre impressionnant de publications spécialisées qui témoignent de la vigueur de la recherche dans ces deux domaines, peu d'ouvrages, par contre, en font la synthèse. Conception et vérification des circuits VLSI vient combler cette lacune. En effet, le lecteur y verra traités des sujets aussi divers que les procédés de fabrication, les formes de logique CMOS, la conception de systèmes, les méthodes de conception et la vérification des circuits. Cet ouvrage s'adresse tant à l'étudiant qui suit un premier cours en conception de circuits intégrés numériques qu'au professionnel de l'informatique ou de l'électronique qui désire mettre à jour ses connaissances et s'y retrouver dans l'abondante documentation spécialisée publiée sur le sujet. Note de contenu : Chapitre 1 - Introduction Généralités. Plan de l'ouvrage. Niveaux d'abstraction. Modèle logique de transistor MOS Chapitre 2 - Les structures logiques CMOS Portes statiques. Portes de transmission. Délais. Éléments de mémoire statique et effet de mémoire dynamique. Logique pseudo-nMOS. Portes logiques dynamiques. Chaîne de retenue, demi-portes de transmission et précharge Chapitre 3 - Technologies et procédés de fabrication CMOS Réalisation d'un circuit intégré. Raffinage et préparation des tranches. Étape type de masquage. Procédé CMOS à double puits. Variantes des technologies CMOS. Règles de dessin. Rendement. Délais imputables aux interconnexions. Réduction de l'échelle des procédés basés sur le silicium. Limites sur le plan pratique et impact de l'environnement sur les procédés CMOS Chapitre 4 - La conception de circuits intégrés Architecture à transferts de registres, synchronisation et génération des horloges. Réseaux logiques programmables et machines à états. Commande de grosses charges capacitives. Structures de mémoire. Dessin des masques. Exemples pratiques Chapitre 5 - Les méthodes de conception Choix d'une méthode. Modèle de calcul des coûts. Circuits standard et circuits programmables. Matrices de portes, ou prédiffusés. Cellules normalisées. Circuits dédiés. Compilateurs de silicium. Choix d'une technologie. Conclusion Chapitre 6 - La conception axée sur la vérification systématique Nécessité de la conception axée sur la vérification systématique. Modèles de défauts et objectifs. Production de vecteurs de vérification. Mesures heuristiques de la testabilité. Conception axée sur la vérification systématique: approches ad hoc. Conception axée sur la vérification. Circuits autovérifiables Appendice A - Couches et règles de dessin relatives au procédé CMOS 3 Appendice B - Paramètres SPICE relatifs au procédé CMOS 3 Bibliographie Index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	N.Inventaire
1160	27-05-04	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	1160
1161	27-05-04	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	1161