Author: JEAN YVES.. LUCAS
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
LE DEVELOPPEMENT ET L'UTILISATION D'UN SYSTEME EXPERT EN TRAITEMENT DU SIGNAL REQUIERENT DES OUTILS D'UNE GRANDE EFFICACITE. UN MOYEN D'AUGMENTER CELLE-CI EST LA COMPILATION DE LA BASE DE REGLES, C'EST-A-DIRE SA TRADUCTION EN LANGAGE BINAIRE. LA COMPILATION SE FAIT REGLE A REGLE, CHACUNE ETANT TRADUITE SOUS LA FORME D'UNE PROCEDURE. L'EVALUATION DE LA PARTIE PREMISSE D'UNE REGLE AVEC VARIABLES EST UN PROBLEME COMBINATOIRE. IL EST DONC NECESSAIRE DE DISPOSER D'UN SYSTEME QUI GENERE DES PROGRAMMES QUI RESOLVENT DES PROBLEMES COMBINATOIRES. DES METHODES DE PROPAGATION DE CONTRAINTES (CONSISTANCE DE NUDS ET CONSISTANCE D'ARCS) SONT MISES EN UVRE AFIN D'AMELIORER L'EFFICACITE DE L'ALGORITHME DE SEMI-UNIFICATION
GENERATION AUTOMATIQUE DE PROGRAMMES PAR REGLES ET COMPILATION DE BASE DE REGLES
Author: JEAN YVES.. LUCAS
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
LE DEVELOPPEMENT ET L'UTILISATION D'UN SYSTEME EXPERT EN TRAITEMENT DU SIGNAL REQUIERENT DES OUTILS D'UNE GRANDE EFFICACITE. UN MOYEN D'AUGMENTER CELLE-CI EST LA COMPILATION DE LA BASE DE REGLES, C'EST-A-DIRE SA TRADUCTION EN LANGAGE BINAIRE. LA COMPILATION SE FAIT REGLE A REGLE, CHACUNE ETANT TRADUITE SOUS LA FORME D'UNE PROCEDURE. L'EVALUATION DE LA PARTIE PREMISSE D'UNE REGLE AVEC VARIABLES EST UN PROBLEME COMBINATOIRE. IL EST DONC NECESSAIRE DE DISPOSER D'UN SYSTEME QUI GENERE DES PROGRAMMES QUI RESOLVENT DES PROBLEMES COMBINATOIRES. DES METHODES DE PROPAGATION DE CONTRAINTES (CONSISTANCE DE NUDS ET CONSISTANCE D'ARCS) SONT MISES EN UVRE AFIN D'AMELIORER L'EFFICACITE DE L'ALGORITHME DE SEMI-UNIFICATION
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
LE DEVELOPPEMENT ET L'UTILISATION D'UN SYSTEME EXPERT EN TRAITEMENT DU SIGNAL REQUIERENT DES OUTILS D'UNE GRANDE EFFICACITE. UN MOYEN D'AUGMENTER CELLE-CI EST LA COMPILATION DE LA BASE DE REGLES, C'EST-A-DIRE SA TRADUCTION EN LANGAGE BINAIRE. LA COMPILATION SE FAIT REGLE A REGLE, CHACUNE ETANT TRADUITE SOUS LA FORME D'UNE PROCEDURE. L'EVALUATION DE LA PARTIE PREMISSE D'UNE REGLE AVEC VARIABLES EST UN PROBLEME COMBINATOIRE. IL EST DONC NECESSAIRE DE DISPOSER D'UN SYSTEME QUI GENERE DES PROGRAMMES QUI RESOLVENT DES PROBLEMES COMBINATOIRES. DES METHODES DE PROPAGATION DE CONTRAINTES (CONSISTANCE DE NUDS ET CONSISTANCE D'ARCS) SONT MISES EN UVRE AFIN D'AMELIORER L'EFFICACITE DE L'ALGORITHME DE SEMI-UNIFICATION
Expert systems theory & applications
Author: M. H. Hamza
Publisher: Anaheim ; Calgary : Acta Press
ISBN:
Category : Computers
Languages : en
Pages : 356
Book Description
Publisher: Anaheim ; Calgary : Acta Press
ISBN:
Category : Computers
Languages : en
Pages : 356
Book Description
International Workshop Expert Systems & Their Applications
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages : 742
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages : 742
Book Description
8th International Workshop, Expert Systems & Their Applications: General conference
Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages : 740
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages : 740
Book Description
Précis of the Lectures on Architecture
Author: Jean-Nicolas-Louis Durand
Publisher: Getty Publications
ISBN: 0892365803
Category : Architecture
Languages : en
Pages : 363
Book Description
Jean-Nicolas-Louis Durand (1760–1834) regarded the Précis of the Lectures on Architecture (1802–5) and its companion volume, the Graphic Portion (1821), as both a basic course for future civil engineers and a treatise. Focusing the practice of architecture on utilitarian and economic values, he assailed the rationale behind classical architectural training: beauty, proportionality, and symbolism. His formal systematization of plans, elevations, and sections transformed architectural design into a selective modular typology in which symmetry and simple geometrical forms prevailed. His emphasis on pragmatic values, to the exclusion of metaphysical concerns, represented architecture as a closed system that subjected its own formal language to logical processes. Now published in English for the first time, the Précis and the Graphic Portion are classics of architectural education.
Publisher: Getty Publications
ISBN: 0892365803
Category : Architecture
Languages : en
Pages : 363
Book Description
Jean-Nicolas-Louis Durand (1760–1834) regarded the Précis of the Lectures on Architecture (1802–5) and its companion volume, the Graphic Portion (1821), as both a basic course for future civil engineers and a treatise. Focusing the practice of architecture on utilitarian and economic values, he assailed the rationale behind classical architectural training: beauty, proportionality, and symbolism. His formal systematization of plans, elevations, and sections transformed architectural design into a selective modular typology in which symmetry and simple geometrical forms prevailed. His emphasis on pragmatic values, to the exclusion of metaphysical concerns, represented architecture as a closed system that subjected its own formal language to logical processes. Now published in English for the first time, the Précis and the Graphic Portion are classics of architectural education.
Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Fisheries Management
Author: Food and Agriculture Organization of the United Nations
Publisher: Fao Technical Guidelines for R
ISBN:
Category : Business & Economics
Languages : en
Pages : 96
Book Description
"These guidelines have been produced to supplement as an addition to the FAO Technical Guidelines for Responsible Fisheries no. 4, Suppl. 2 entitled Fisheries management".
Publisher: Fao Technical Guidelines for R
ISBN:
Category : Business & Economics
Languages : en
Pages : 96
Book Description
"These guidelines have been produced to supplement as an addition to the FAO Technical Guidelines for Responsible Fisheries no. 4, Suppl. 2 entitled Fisheries management".
Global Guidance Principles for Life Cycle Assessment Databases
Author: Guido Sonnemann
Publisher: United Nations Publications
ISBN: 9789280731743
Category : Political Science
Languages : en
Pages : 0
Book Description
The publication provides guidance principles for Life Cycle Assessment (LCA) databases; this includes how to collect raw data, how to develop datasets and how to manage databases. It also addresses questions concerning data documentation and review, coordination among databases, capacity building and future scenarios. LCA databases provide fundamental energy, materials, land, water consumption data and emissions data into water, air and soil for a wide range of processes, products and materials. In this way the publication provides the bridge between the data users and the data providers, making basic information easily accessible for computing the environmental footprints of materials and products that are key to make and judge green claims and to allow institutional and individual consumers to make informed consumption choices.
Publisher: United Nations Publications
ISBN: 9789280731743
Category : Political Science
Languages : en
Pages : 0
Book Description
The publication provides guidance principles for Life Cycle Assessment (LCA) databases; this includes how to collect raw data, how to develop datasets and how to manage databases. It also addresses questions concerning data documentation and review, coordination among databases, capacity building and future scenarios. LCA databases provide fundamental energy, materials, land, water consumption data and emissions data into water, air and soil for a wide range of processes, products and materials. In this way the publication provides the bridge between the data users and the data providers, making basic information easily accessible for computing the environmental footprints of materials and products that are key to make and judge green claims and to allow institutional and individual consumers to make informed consumption choices.
Bourdieu and Literature
Author: John R. W. Speller
Publisher: Open Book Publishers
ISBN: 1906924422
Category : Social Science
Languages : en
Pages : 208
Book Description
Bourdieu and Literature is a wide-ranging, rigorous and accessible introduction to the relationship between Pierre Bourdieu's work and literary studies. It provides a comprehensive overview and critical assessment of his contributions to literary theory and his thinking about authors and literary works. One of the foremost French intellectuals of the post-war era, Bourdieu has become a standard point of reference in the fields of anthropology, linguistics, art history, cultural studies, politics, and sociology, but his longstanding interest in literature has often been overlooked. This study explores the impact of literature on Bourdieu's intellectual itinerary, and how his literary understanding intersected with his sociological theory and thinking about cultural policy. This is the first full-length study of Bourdieu's work on literature in English, and it provides an invaluable resource for students and scholars of literary studies, cultural theory and sociology.
Publisher: Open Book Publishers
ISBN: 1906924422
Category : Social Science
Languages : en
Pages : 208
Book Description
Bourdieu and Literature is a wide-ranging, rigorous and accessible introduction to the relationship between Pierre Bourdieu's work and literary studies. It provides a comprehensive overview and critical assessment of his contributions to literary theory and his thinking about authors and literary works. One of the foremost French intellectuals of the post-war era, Bourdieu has become a standard point of reference in the fields of anthropology, linguistics, art history, cultural studies, politics, and sociology, but his longstanding interest in literature has often been overlooked. This study explores the impact of literature on Bourdieu's intellectual itinerary, and how his literary understanding intersected with his sociological theory and thinking about cultural policy. This is the first full-length study of Bourdieu's work on literature in English, and it provides an invaluable resource for students and scholars of literary studies, cultural theory and sociology.
Life Cycle Impact Assessment
Author: Michael Z. Hauschild
Publisher: Springer
ISBN: 9401797447
Category : Technology & Engineering
Languages : en
Pages : 345
Book Description
This book offers a detailed presentation of the principles and practice of life cycle impact assessment. As a volume of the LCA compendium, the book is structured according to the LCIA framework developed by the International Organisation for Standardisation (ISO)passing through the phases of definition or selection of impact categories, category indicators and characterisation models (Classification): calculation of category indicator results (Characterisation); calculating the magnitude of category indicator results relative to reference information (Normalisation); and converting indicator results of different impact categories by using numerical factors based on value-choices (Weighting). Chapter one offers a historical overview of the development of life cycle impact assessment and presents the boundary conditions and the general principles and constraints of characterisation modelling in LCA. The second chapter outlines the considerations underlying the selection of impact categories and the classification or assignment of inventory flows into these categories. Chapters three through thirteen exploreall the impact categories that are commonly included in LCIA, discussing the characteristics of each followed by a review of midpoint and endpoint characterisation methods, metrics, uncertainties and new developments, and a discussion of research needs. Chapter-length treatment is accorded to Climate Change; Stratospheric Ozone Depletion; Human Toxicity; Particulate Matter Formation; Photochemical Ozone Formation; Ecotoxicity; Acidification; Eutrophication; Land Use; Water Use; and Abiotic Resource Use. The final two chapters map out the optional LCIA steps of Normalisation and Weighting.
Publisher: Springer
ISBN: 9401797447
Category : Technology & Engineering
Languages : en
Pages : 345
Book Description
This book offers a detailed presentation of the principles and practice of life cycle impact assessment. As a volume of the LCA compendium, the book is structured according to the LCIA framework developed by the International Organisation for Standardisation (ISO)passing through the phases of definition or selection of impact categories, category indicators and characterisation models (Classification): calculation of category indicator results (Characterisation); calculating the magnitude of category indicator results relative to reference information (Normalisation); and converting indicator results of different impact categories by using numerical factors based on value-choices (Weighting). Chapter one offers a historical overview of the development of life cycle impact assessment and presents the boundary conditions and the general principles and constraints of characterisation modelling in LCA. The second chapter outlines the considerations underlying the selection of impact categories and the classification or assignment of inventory flows into these categories. Chapters three through thirteen exploreall the impact categories that are commonly included in LCIA, discussing the characteristics of each followed by a review of midpoint and endpoint characterisation methods, metrics, uncertainties and new developments, and a discussion of research needs. Chapter-length treatment is accorded to Climate Change; Stratospheric Ozone Depletion; Human Toxicity; Particulate Matter Formation; Photochemical Ozone Formation; Ecotoxicity; Acidification; Eutrophication; Land Use; Water Use; and Abiotic Resource Use. The final two chapters map out the optional LCIA steps of Normalisation and Weighting.