Idées nettes sur la logique floue / Jelena Godjevac

Public ISBD Titre : Idées nettes sur la logique floue Type de document : texte imprimé Auteurs : Jelena Godjevac, Auteur Editeur : Lausanne : Presses Polytechniques et Universitaires Romandes Année de publication : 1999 Collection : Collection Informatique Importance : 113 p. Présentation : couv. en coul., ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-88074-378-9 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : La logique floue connaît un intérêt grandissant auprès de la communauté scientifique depuis quelques années. L'un des raisons principales tient à l'énorme succès des équipements domestiques produits par l'industrie japonaise qui utilisent des régulateurs floues. La logique floue constitue en effet une manière simple de gérer les capteurs contenus dans ces nouveaux produits. Ce livre est une introduction concise au domaine de la logique loue et son originalité réside dans le fait qu'il aborde cette discipline mathématique par le biais d'exemples et d'exercices pratiques réalisables avec le logiciel LabVIEW. Le lecteur aura ainsi la possibilité d'apprendre à créer un régulateur basé sur la logique floue, en contrôlant le robot mobile Khepera.Tous les programmes utilisés dans ce livre se trouvent sur un CD-ROM qui est intégré à l'ouvrage. Note de contenu : Table des matiéres Introduction Chapitre 1 Notions mathématiques de base Chapitre 2 Systèmes basés sur la logique floue Chapitre 3 LabVIEW pour la logique floue Chapitre 4 Application de la logique floue pour l’évitement d'obstacles Références bibliographiques. Idées nettes sur la logique floue [texte imprimé] / Jelena Godjevac, Auteur . - Lausanne : Presses Polytechniques et Universitaires Romandes, 1999 . - 113 p. : couv. en coul., ill. ; 24 cm.. - (Collection Informatique) . ISBN : 978-2-88074-378-9 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : La logique floue connaît un intérêt grandissant auprès de la communauté scientifique depuis quelques années. L'un des raisons principales tient à l'énorme succès des équipements domestiques produits par l'industrie japonaise qui utilisent des régulateurs floues. La logique floue constitue en effet une manière simple de gérer les capteurs contenus dans ces nouveaux produits. Ce livre est une introduction concise au domaine de la logique loue et son originalité réside dans le fait qu'il aborde cette discipline mathématique par le biais d'exemples et d'exercices pratiques réalisables avec le logiciel LabVIEW. Le lecteur aura ainsi la possibilité d'apprendre à créer un régulateur basé sur la logique floue, en contrôlant le robot mobile Khepera.Tous les programmes utilisés dans ce livre se trouvent sur un CD-ROM qui est intégré à l'ouvrage. Note de contenu : Table des matiéres Introduction Chapitre 1 Notions mathématiques de base Chapitre 2 Systèmes basés sur la logique floue Chapitre 3 LabVIEW pour la logique floue Chapitre 4 Application de la logique floue pour l’évitement d'obstacles Références bibliographiques.

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
98319/BU	25-01-90	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Disponible

Informatique industrielle / Roger D. Hersch

Public ISBD Titre : Informatique industrielle : microprocesseurs et interfaces temps-réel Type de document : texte imprimé Auteurs : Roger D. Hersch, Auteur Editeur : Lausanne : Presses Polytechniques et Universitaires Romandes Année de publication : 1997 Collection : Collection Informatique Importance : 366 p. Présentation : couv. ill.,ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-88074-353-6 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-08 Robotique.Application et simulation Résumé : Cet ouvrage présente les principaux éléments matériels et logiciels de l'informatique temps-réel. Les connaissances acquises doivent permettre à l'ingénieur de comprendre le fonctionnement et de programmer les cartes de commande industrielles modernes basées sur micro-ordinateurs et microcontrôleurs. Le livre comprend de nombreux exemples de programmation détaillés et d'exercices qui facilitent l'assimilation des sujets traités. Un système cible simple basé sur processeur 68008, interfacé à un compteur programmable et à un bloc moteur-capteurs, est utilisé pour la présentation des principaux concepts. Ensuite l'auteur montre comment réaliser des fonctions similaires sur microcontrôleur. Les nombreux exemples et exercices offrent au lecteur le moyen d'acquérir une certaine expérience pratique Ce livre vise essentiellement à enseigner les éléments de base de l'informatique industrielle à des étudiants ou à des professionnels ne disposant pas, ou peu, de notions d'informatique préalable. Il vise à faire comprendre le fonctionnement et la mise en uvre des microprocesseurs dans un contexte de commande industrielle temps-réel. Grâce à la concision de la matière enseignée, il permet au lecteur d'acquérir un savoir-faire important au prix d'un effort acceptable. Note de contenu : Table des matières Chapitre 1 Du transistor aux portes logiques Chapitre 2 Logique séquentielle et mémoires Chapitre 3 Introduction au microprocesseur Chapitre 4 Un microprocesseur 16/32 bits: Le processeur Motorola 68000 Chapitre 5 Les modes d'adressage Chapitre 6 Appels de procédures et concept de pile Chapitre 7 Environnements de programmation et représentation de caractères Chapitre 8 Décodage d'adresses Chapitre 9 Structure interne d'un microprocesseur Chapitre 10 Codage de nombres opérations arithmétiques Chapitre 11 Nombres virgule flottante Chapitre 12 Les interruptions Chapitre 13 Interfaces moteur et capteurs optiques incrémentaux Chapitre 14 Gestion temporelle et décompte d'événements Chapitre 15 Commande de moteur par compteur programmable Chapitre 16 Gestion de processus temps-réels Chapitre 17 Commande proportionnelle intégrale et différentielle (PID) Chapitre 18 Communications série entre systèmes informatiques (RS-232C) Chapitre 19 Accès mémoire direct et bus microprocesseurs (BUS PCI) Chapitre 20 Micro-contrôleurs Annexe 1 Modula-2 pour la commande des entrées-sorties Annexe 2 Le dauphin 68008. Index Informatique industrielle : microprocesseurs et interfaces temps-réel [texte imprimé] / Roger D. Hersch, Auteur . - Lausanne : Presses Polytechniques et Universitaires Romandes, 1997 . - 366 p. : couv. ill.,ill. ; 24 cm.. - (Collection Informatique) . ISBN : 978-2-88074-353-6 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-08 Robotique.Application et simulation Résumé : Cet ouvrage présente les principaux éléments matériels et logiciels de l'informatique temps-réel. Les connaissances acquises doivent permettre à l'ingénieur de comprendre le fonctionnement et de programmer les cartes de commande industrielles modernes basées sur micro-ordinateurs et microcontrôleurs. Le livre comprend de nombreux exemples de programmation détaillés et d'exercices qui facilitent l'assimilation des sujets traités. Un système cible simple basé sur processeur 68008, interfacé à un compteur programmable et à un bloc moteur-capteurs, est utilisé pour la présentation des principaux concepts. Ensuite l'auteur montre comment réaliser des fonctions similaires sur microcontrôleur. Les nombreux exemples et exercices offrent au lecteur le moyen d'acquérir une certaine expérience pratique Ce livre vise essentiellement à enseigner les éléments de base de l'informatique industrielle à des étudiants ou à des professionnels ne disposant pas, ou peu, de notions d'informatique préalable. Il vise à faire comprendre le fonctionnement et la mise en uvre des microprocesseurs dans un contexte de commande industrielle temps-réel. Grâce à la concision de la matière enseignée, il permet au lecteur d'acquérir un savoir-faire important au prix d'un effort acceptable. Note de contenu : Table des matières Chapitre 1 Du transistor aux portes logiques Chapitre 2 Logique séquentielle et mémoires Chapitre 3 Introduction au microprocesseur Chapitre 4 Un microprocesseur 16/32 bits: Le processeur Motorola 68000 Chapitre 5 Les modes d'adressage Chapitre 6 Appels de procédures et concept de pile Chapitre 7 Environnements de programmation et représentation de caractères Chapitre 8 Décodage d'adresses Chapitre 9 Structure interne d'un microprocesseur Chapitre 10 Codage de nombres opérations arithmétiques Chapitre 11 Nombres virgule flottante Chapitre 12 Les interruptions Chapitre 13 Interfaces moteur et capteurs optiques incrémentaux Chapitre 14 Gestion temporelle et décompte d'événements Chapitre 15 Commande de moteur par compteur programmable Chapitre 16 Gestion de processus temps-réels Chapitre 17 Commande proportionnelle intégrale et différentielle (PID) Chapitre 18 Communications série entre systèmes informatiques (RS-232C) Chapitre 19 Accès mémoire direct et bus microprocesseurs (BUS PCI) Chapitre 20 Micro-contrôleurs Annexe 1 Modula-2 pour la commande des entrées-sorties Annexe 2 Le dauphin 68008. Index

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
105	25-08-12	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt

Logique élémentaire / Jacques Zahnd

Public ISBD Titre : Logique élémentaire : cours de base pour informaticiens Type de document : texte imprimé Auteurs : Jacques Zahnd, Auteur Editeur : Lausanne : Presses Polytechniques et Universitaires Romandes Année de publication : 1998 Collection : Collection Informatique Importance : 430 p. Présentation : couv. ill. en coul., ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-88074-360-4 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : L’informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d’un outil de base. Essentiellement pédagogique, cet ouvrage se propose donc d’enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c’est-à-dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l’ambiguïté et à l’erreur selon les règles de la logique. Il est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie élémentaire des ensembles. Note de contenu : Table des matiéres 1 Introduction – Buts généraux – La logique – Plan de l’ouvrage 2 Langages formels – Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage 3 Symboles d’un langage du premier ordre – Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre 4 Syntaxe d’un langage du premier ordre – Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices 5 Théories ou systèmes de déduction – Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie 6 Logique propositionnelle – Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles 7 Déductions dérivées de logique propositionnelle – Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices 8 Introduction à la théorie des ensembles – Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles 9 Logique des prédicats – Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels 10 Déductions dérivées de logique des prédicats – Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés 11 Logique des prédicats avec égalité – Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices 12 Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes 13 Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels 14 Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux 15 Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions 16 Annexe – Démonstrations de théorie des ensembles Bibliographie Index Logique élémentaire : cours de base pour informaticiens [texte imprimé] / Jacques Zahnd, Auteur . - Lausanne : Presses Polytechniques et Universitaires Romandes, 1998 . - 430 p. : couv. ill. en coul., ill. ; 24 cm.. - (Collection Informatique) . ISBN : 978-2-88074-360-4 Langues : Français (fre) Catégories : AUTOMATISME Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : L’informaticien doit être capable de raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, et il a besoin pour cela d’un outil de base. Essentiellement pédagogique, cet ouvrage se propose donc d’enseigner les techniques élémentaires pour raisonner non pas de la manière informelle et incertaine usuelle, mais de façon formelle, c’est-à-dire en appliquant des règles précises de manipulation de symboles ne laissant aucune place à l’ambiguïté et à l’erreur selon les règles de la logique. Il est destiné aux étudiants du 1er cycle universitaire et aux enseignants qui y trouveront un exposé soigné des règles du raisonnement formel et de leur application systématique au traitement de la théorie élémentaire des ensembles. Note de contenu : Table des matiéres 1 Introduction – Buts généraux – La logique – Plan de l’ouvrage 2 Langages formels – Expressions d’un langage – Syntaxe et sémantique – Termes et propositions – Langage et métalangage 3 Symboles d’un langage du premier ordre – Exemple mathématique – Exemple informatique – Variables et constantes individuelles – Symboles fonctionnels – Symboles relationnels – Connecteurs logiques – Quantificateurs – Donn´ee d’un langage du premier ordre 4 Syntaxe d’un langage du premier ordre – Diagrammes et règles syntaxiques – Constructions génératrices – Arbres des termes et propositions – Variables libres et variables liées – Substitutions – Termes librement substituables – Exercices 5 Théories ou systèmes de déduction – Déductions – Hypothèses et jugements – Théories – Démonstrations et déductions – Théorèmes – Propositions vraies, propositions fausses – Extensions d’une théorie 6 Logique propositionnelle – Déductions élémentaires – Quelques démonstrations – Démonstrations naturelles – La loi du tiers exclu et la logique intuitionniste – Déductions structurelles 7 Déductions dérivées de logique propositionnelle – Proposition fausse et contradictions – Schémas d’implication – Disjonctions de cas contraires – Propriétés de l’équivalence – Substitutivité de l’équivalence – Schémas de déduction booléens – La règle de dualité – Formes booéennes de l’implication et de l’équivalence – Simplifications conditionnelles – Conditions nécessaires et suffisantes – Exercices 8 Introduction à la théorie des ensembles – Le rôle de la théorie des ensembles – L’univers de la théorie des ensembles 9 Logique des prédicats – Déductions élémentaires – Convention d’un langage universel – Particularisations – Généralisations – Rôle des déductions structurelles – Introduction de quantificateurs existentiels – Elimination de quantificateurs existentiels 10 Déductions dérivées de logique des prédicats – Substitutivité de l’équivalence – Dualité en logique des prédicats – Permutation distribution de quantificateurs – Changements de variables liées – Particularisations simultanées – Exemplifications – Application à la théorie des ensembles – Formes prénexes – Quantificateurs typés 11 Logique des prédicats avec égalité – Déductions élémentaires – Schémas de déduction dérivés – Application à la théorie des ensembles – Quantificateurs d’unicité – Exercices 12 Extensions définitionnelles – Axiomes et schémas définitionnels – Couples et graphes 13 Langages du premier ordre à opérateurs généraux – Opérateurs généraux – Sélecteurs – Termes conditionnels 14 Opérateurs de réunion et de collection de la théorie des ensembles – Opérateurs de réunion – Opérateurs de collection simples – Opérateurs de collection généraux 15 Fonctions – Fonctions et applications – Opérateurs d’abstraction – Propriétés de fonctions 16 Annexe – Démonstrations de théorie des ensembles Bibliographie Index

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
98297/BU	25-01-89	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Disponible

---

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