N60 NOUVELLES ACQUISITIONS Novembre 2005

Bibliothque - Centre de Documentation de Suplec Campus de Gif sur Yvette Bibliothequegif@supelec.fr Tl : 01 69 85 12 31 1

AUTOMATIQUE.................................................................................................................................................. 5 Ingnierie de la commande des systmes. Techniques de base ..................................................................... 5 Rgulation PID en gnie lectrique. tudes de cas........................................................................................ 5 Modlisation et analyse des systmes linaires ............................................................................................. 5 Commande automatique des systmes linaires continus. Cours avec applications utilisant MATLAB ...... 6 Conception et calcul des machines-outils (Volume 1) - Gnralits. Morphologie. Plan gnral................. 6 Nonlinear Dynamical Control Systems ......................................................................................................... 6 Commande et diagnostic des systmes dynamiques. Modlisation, analyse, commande par PID et par retour d'tat, diagnostic.................................................................................................................................. 6 BIOLOGIE ............................................................................................................................................................ 8 Theoretical Neuroscience. Computational and Mathematical Modeling of Neural Systems ........................ 8 ELECTRONIQUE ................................................................................................................................................ 9 Modulation d'amplitude (lectronique fondamentale) .................................................................................. 9 Logique combinatoire et squentielle. Mthodes, outils et ralisations (Informatique industrielle) ............. 9 ELECTROTECHNIQUE................................................................................................................................... 10 Conception et construction des moteurs alternatifs. De la thorie la comptition (Gnie nergtique).... 10 Le moteur asynchrone . Rgimes statique et dynamique............................................................................. 10 Modlisation et commande des moteurs triphass. Commande vectorielle des moteurs synchrones Commande numrique par contrleurs DSP. .............................................................................................. 10 Grid Integration of Wind Energy Conversion Systems ............................................................................... 10 Digital Power Electronics and Applications................................................................................................ 11 INFORMATIQUE .............................................................................................................................................. 12 Wireless Sensor Networks........................................................................................................................... 12 Exercices corrigs en langage Z. Les spcifications formelles par l'exemple (Gnie logiciel) ................... 12 Exercices corrigs d'UML. Passeport pour une matrise de la notation (Gnie logiciel)............................. 12 Spcification des logiciels. Deux exemples de pratiques rcentes : Z et UML (Gnie logiciel) ................. 13 Aspect-Oriented Analysis and Design. The Theme Approach .................................................................... 13 Aspect-Oriented Software Development With Use Cases........................................................................... 13 C++ Template Metaprogramming. Concepts, Tools, and Techniques from Boost and Beyond ................. 13 Programmation oriente aspect pour Java/J2EE.......................................................................................... 13 Gradualit et imprcision dans les bases de donnes. Ensembles flous, requtes flexibles et interrogation de donnes mal connues................................................................................................................................... 14 Bioinformatics. The Machine Learning Approach (2d Edition).................................................................. 14 Generative Programming. Methods, Tools, and Applications..................................................................... 14 Data Mining et statistique dcisionnelle ...................................................................................................... 15 MATHEMATIQUES.......................................................................................................................................... 16 Du grafcet au rseau de Ptri (2 Ed.) ......................................................................................................... 16 Stochastic Systems, Theory and Applications............................................................................................. 16 Comprendre les lments finis. Principes, formulations et exercices corrigs (Structures) ........................ 16 Modles statistiques pour donnes qualitatives ........................................................................................... 17 Advances in Sensitivity Analysis and Parametric Programming................................................................. 17 PHYSIQUE ET PHYSIQUE APPLIQUEE...................................................................................................... 18 Transmissions mcaniques de puissance. Application aux botes de vitesses automatiques (Gnie mcanique) .................................................................................................................................................. 18 Physique 1. Mcanique................................................................................................................................ 18 L'clairage : notions de base, projets d'installations, exercices corrigs (5me dition)............................. 18 Ractions thermiques en phase gazeuse. Thermodynamique, cintique, mcanismes ractionnels ............ 18 Thermodynamique - Bases et applications (Cours et exercices corrigs).................................................... 19 Physique 3. Ondes, optique et physique moderne ....................................................................................... 19 Optical Radiometry ..................................................................................................................................... 19 THEORIE DE LINFORMATION SIGNAL................................................................................................ 20 Codes correcteurs. Principes et exemples (Mathmatiques pour tlinformatique) .................................... 20 Discrete Signals and Inverse Problems : An Introduction for Engineers and Scientists.............................. 20 Analyse et contrle numrique du signal. Calcul scientifique ..................................................................... 20 THESES ET MEMOIRES ................................................................................................................................. 22 Abstraction pour la vrification de sret des systmes hybrides ............................................................... 22 Modlisation, optimisation et commande des parcs de production multi nergies complexes.................... 22 Nouvelles architectures et mthodes de conception de microsystmes sigma-delta et de microsystmes rsonants...................................................................................................................................................... 22 Valorisation des "services systme" dans un rseau de transport d'lectricit............................................. 23 Analyse et mesure de pertes dans le rotor d'une machine synchrone aimants permanents pour en optimiser la structure ................................................................................................................................... 23 Langage de description d'attaques pour la dtection d'intrusions par corrlation d'vnements ou d'alertes en environnement rseau htrogne........................................................................................................... 23 Implmentation sur FPGA d'un turbo codeur - dcodeur en blocs haut dbit avec une faible complexit24

PHILOSOPHIE................................................................................................................................................... 26 Gomtrie au XXe sicle, 1930-2000 . Histoire et horizons (Colloque) ..................................................... 26 Terre et ciel. Entretiens avec Sylvain Estibal .............................................................................................. 26 R ROMANS...................................................................................................................................................... 28 La terre sous ses pieds ................................................................................................................................. 28

SCIENCES EXACTES

AUTOMATIQUE
629.8 AUTOMATIQUE GENERALITES
Ingnierie de la commande des systmes. Techniques de base Par Andr Crosnier, Gabriel Abba, Bruno Jouvencel, Ren Zapata 251 pages R : 629.8 CRO "Louvrage prsente les techniques modernes de lautomatique en mettant plus particulirement laccent sur les sujets fondamentaux touchant lingnirie de la commande : la modlisation, lanalyse et la synthse de commandes. Il dveloppe les techniques de base et aborde ltude des systmes multivariables linaires, continus ou chantillonns. Les aspects suivants sont traits la fois sur les plans thorique et pratique : notions de base ncessaires pour la comprhension de la commande ; modles mathmatiques des systmes dynamiques ; simplification et identification de modles ; stabilit des systmes ; observabilit et observateurs ; synthse de commandes ; conception de la commande sous forme dtudes de cas. Lensemble est illustr au travers de nombreux exemples et exercices." (4me de couverture)

629.802 AUTOMATIQUE COMMANDE

Rgulation PID en gnie lectrique. tudes de cas Par Dominique Jacob 253 pages R : 629.802 JAC "Pour la prparation de lpreuve de montages des concours de recrutement (Agrgation, CAPES, CAPET) et pour les enseignants en activit, louvrage propose la ralisation de T.P. avec des dispositifs aisment ralisables dans les tablissements denseignement. Il dveloppe une tude concrte de la rgulation PID pour aboutir, partir dessais ralistes la dtermination dun bon correcteur. Sont prsentes les tudes compltes dune rgulation de vitesse, dun asservissement de position, de linclinaison dun pendule et dune commande de suspension magntique, avec dans chaque cas : modlisation du systme par fonction de transfert, tude thorique partir de la rponse indicielle, dtermination de diffrents correcteurs simples (P, PI, PID), valuation des performances et mise en vidence des proprits, essais exprimentaux." (4me de couverture) Modlisation et analyse des systmes linaires Par Jean-Franois Massieu, Philippe Dorlans 223 pages R : 629.8 MAS "Louvrage est un guide mthodologique contenant tous les outils de base ncessaires la modlisation et lanalyse des systmes continus et chantillonns. Deux approches diffrentes sont successivement proposes, lune frquentielle pour les systmes chantillonns, et lautre temporelle, par reprsentation dtat. Puis, sont analyss les concepts dobservabilit, de dtectabilit et de gouvernabilit, et enfin sont prsentes les mthodes dobtention dun estimateur complet ou rduit. Toutes les mthodes prsentes sont illustres par de multiples exemples et des exercices rsolus qui permettent de les mettre effectivement en application." (4me de couverture)

Commande automatique des systmes linaires continus. Cours avec applications utilisant MATLAB Par Viorel Minzu, Bernard Lang 253 pages R : 629.802 MIN "Louvrage prsente les lments de base utiliss dans la modlisation, lanalyse et la commande des systmes dynamiques linaires continus. La premire partie concerne les systmes monovariables et traite des concepts et des mthodes abords dans le cadre de lautomatique classique (approche entre-sortie). La deuxime partie, consacre la reprsentation dtat, est oriente vers lanalyse et la synthse des systmes multivariables. Lexpos est illustr par des exemples de programmes MATLAB qui permettent une meilleure comprhension des concepts et qui peuvent tre utiles dans des applications." (4me de couverture) Conception et calcul des machines-outils (Volume 1) - Gnralits. Morphologie. Plan gnral Par Franois Pruvot 212 pages R : 629.802 PRU Localis en AUTO "Cette srie originale d'ouvrages vise enseigner une mthode scientifique de cration technique, dpassant largement le cadre de la machine-outil et mme de la technique. Ces ouvrages, et c'est l leur force, donnent des bases scientifiques solides pour l'tude des machines-outils et permettent l'analyse de toutes les machines-outils existantes, tout en tant conus pour l'tude et la construction de machines nouvelles." (Rsum PPUR) Nonlinear Dynamical Control Systems Par Hendrik Nijmeijer 467 pages R : 629.802 NIJ "This volume is intended for researchers in engineering and applied mathematics. It can also be used as a textbook for graduate students dealing with non-linear systems and control theory. After a self-contained treatment of the differential-geometric prerequisites, the book deals with controllability and observability properties of nonlinear systems, as well as various ways to obtain input-output representations. Problems of transforming nonlinear systems into simpler forms are discussed, including the feedback linearization problem. The disturbance and input-output decoupling problem are treated in detail, as well as some aspects of feedback stabilization, and interconnection and inversion of nonlinear systems. Emphasis is put on fundamental notions as (controlled) invariant distributions and submanifolds, together with algorithms to compute the required feedbacks. Extensions of these methods to other synthesis problems are indicated in the exercises at the end of each chapter. Special attention is paid to mechanical nonlinear control systems, and finally the theory is extended to general continuous-time and discrete time systems. Numerous examples and exercises illustrate the main results of the book." (Rsum Springer) Commande et diagnostic des systmes dynamiques. Modlisation, analyse, commande par PID et par retour d'tat, diagnostic Par Rosario Toscano 306 pages R : 629.802 TOS "Cet ouvrage prsente de faon particulirement claire et prcise tous les outils ncessaires la rsolution des problmes de commande et de diagnostic des systmes dynamiques. Le livre est structur en trois parties : La premire partie, ddie la modlisation et lanalyse des systmes est ltape pralable incontournable de toute tude moderne dans ce domaine. La deuxime partie traite de la commande en dveloppant les diffrentes mthodes, de la commande par rgulateur PID ou par modle interne, la commande par retour dtat et la commande multimodle. Les aspects du problme lis la robustesse de la loi de commande sont galement traits. La troisime partie est dvolue au diagnostic des systmes. Les mthodes prsentes reposent sur la connaissance dun modle mathmatique du systme ou sur lexploitation dune base de 6

donnes numriques relatives aux modes de fonctionnement, ou encore sur lexploitation de connaissances non directement quantifiables issues de lexpertise humaine. De nombreux exemples et exercices corrigs compltent lexpos et illustrent les diffrents concepts introduits tout au long de louvrage." (4me de couverture)

BIOLOGIE
573.8 NEUROLOGIE- SYSTEME NERVEUX
Theoretical Neuroscience. Computational and Mathematical Modeling of Neural Systems Par Pierre Dayan 460 pages R : 573.8 DAY "Theoretical neuroscience provides a quantitative basis for describing what nervous systems do, determining how they function, and uncovering the general principles by which they operate. This text introduces the basic mathematical and computational methods of theoretical neuroscience and presents applications in a variety of areas including vision, sensory-motor integration, development, learning, and memory. The book is divided into three parts. Part I discusses the relationship between sensory stimuli and neural responses, focusing on the representation of information by the spiking activity of neurons. Part II discusses the modeling of neurons and neural circuits on the basis of cellular and synaptic biophysics. Part III analyzes the role of plasticity in development and learning. An appendix covers the mathematical methods used, and exercises are available on the book's Web site." (Rsum MitPress)

ELECTRONIQUE
621.381 5 COMPOSANTS ELECTRONIQUES
Modulation d'amplitude (lectronique fondamentale) Par Francis Biquard 349 pages R : 621.381 5 BIQ "Louvrage prsente la philosophie du traitement du signal, en sappuyant sur de trs nombreux exemples concrets qui clairent les liens entre ides gnrales et pratique effective. Ltude, mene jusquau terme de la ralisation, porte sur les mthodes de calcul des amplificateurs slectifs, la ralisation des gnrateurs pseudo-alatoires, les mthodes de modulation damplitude, lamplificateur dtection synchrone et les filtres capacits commutes. Une signalisation particulire permet une lecture deux niveaux, en distinguant lessentiel du sujet et les complments ncessaires une meilleure comprhension." (4me de couverture)

621.395 CIRCUITS INTEGRES A TRES GRANDE ECHELLE (VLSI), CIRCUITS LOGIQUES

Logique combinatoire et squentielle. Mthodes, outils et ralisations (Informatique industrielle) Par Claude Brie 314 pages R : 621.395 BRI "L'ouvrage est une reprsentation particulirement claire des systmes logiques et des ralisations technologiques combinatoires et squentielles qui forment les lments de base de toutes les machines numriques et en particulier les ordinateurs." (4me de couverture)

ELECTROTECHNIQUE
621.310 MACHINES ELECTRIQUES RESEAUX
Conception et construction des moteurs alternatifs. De la thorie la comptition (Gnie nergtique) Par Philippe Arques 276 pages R : 621.310 ARQ "Aprs lanalyse des cycles thoriques et rels des moteurs alternatifs (admission, compression, combustion, dtente, chappement, performances), quil a dveloppe dans un premier ouvrage de la mme collection, lauteur tudie et analyse ici tous les problmes thoriques et pratiques lis la conception et la construction de ces moteurs : la suralimentation mcanique et par turbo compresseur, lintroduction du carburant : carburateur ou injection basse et haute pression, les transferts thermiques stationnaires et instationnaires, la conception et la construction en fonction des contraintes (cot, srie), les moteurs non classiques : rotatifs, pistons libres, fonctionnant en atmosphre confine, boule chaude, cryogniques, ou destins la comptition." (4me de couverture) Le moteur asynchrone . Rgimes statique et dynamique Par Luc Mutrel 156 pages R : 621.310 MUT "Pour les tudiants en Sciences et Techniques et pour les ingnieurs et techniciens de maintenance et de bureaux d'tudes, l'ouvrage propose une modlisation du moteur asynchrone en rgimes statique et dynamique. Les vecteurs d'espace dans le plan complexe y sont utiliss pour tablir les quations des tensions et des flux statorique et rotorique exprims dans un repre tournant d-q . La rsolution numrique des quations du moteur l'aide d'un ordinateur donne chaque instant la valeur du courant dans les phases, du couple lectromagntique et de la vitesse." (4me de couverture) Modlisation et commande des moteurs triphass. Commande vectorielle des moteurs synchrones - Commande numrique par contrleurs DSP. Par Guy Sturtzer, Eddie Smigielski 244 pages R : 621.310 STU "La commande des moteurs triphass est traite dans un ouvrage de synthse interdisciplinaire La modlisation des moteurs synchrones et asynchrones est tudie partir des notions physiques et technologiques de base. Les stratgies de commande en sont dduites pour les moteurs synchrones, notamment avec contrles scalaires et vectoriels. Une approche pratique, illustre par des associations convertisseurs-machines, complte ltude thorique. Sont notamment prsentes les structures de puissance et les moteurs aliments par onduleurs de courants, onduleurs de tensions ou cycloconvertisseurs. Sont enfin tudies les structures des contrleurs DSP et dvelopps des exemples concrets dalgorithmes et dimplmentations de commandes numriques. Les structures et les implmentations sont prsentes partir de la gamme des produits Texas Instruments." (4me de couverture)

621.312 PRODUCTION, TRANSFORMATION, ACCUMULATION, TRANSPORT DENERGIE ELECTRIQUE

Grid Integration of Wind Energy Conversion Systems Par Siegfried Heier 385 pages R : 621.312 HEI "Grid Integration of Wind Energy Conversion Systems Siegfried Heier Kassel University, Germany Translated by Rachel Waddington Swadlincote, UK Cost-effective transmission and 10

distribution of wind power generated electricity presents a stimulating engineering challenge. Grid Integration of Wind Energy Conversion Systems addresses the technical, economic and safety issues inherent in the exploitation of wind power in a competitive electricity market. Features include: Conventional and new types of generators, converters and power electronics Comprehensive treatment of grid integration including the effect of power fluctuations on harmonics Focus on improved use of grid capacities and grid support for fixed-and variable-speed controlled wind power plants Demonstration of impedance changes in the grid caused by the coupling of wind power plants Power conditioning and control systems to ensure the safe operation of plants Discussion of energy results and expectations of profitability Coverage includes the electrical and mechanical components of wind power plants making the book an asset to graduate students of both engineering disciplines. Illustrated guidance on the design, construction, planning and installation of wind plants will benefit engineers and consultants involved in wind energy development. " (Rsum Amazon)

621.317 ELECTRONIQUE DE PUISSANCE

Digital Power Electronics and Applications Par Fang Lin Luo, Harunur Muhammad Rashid, Hong Ye 408 pages R : 621.317 "The purpose of this book is to describe the theory of Digital Power Electronics and its applications. The authors apply digital control theory to power electronics in a manner thoroughly different from the traditional, analog control scheme. In order to apply digital control theory to power electronics, the authors define a number of new parameters, including the energy factor, pumping energy, stored energy, time constant, and damping time constant. These parameters differ from traditional parameters such as the power factor, power transfer efficiency, ripple factor, and total harmonic distortion. These new parameters result in the definition of new mathematical modeling: A zero-order-hold (ZOH) is used to simulate all AC/DC rectifiers. A first-order-hold (FOH) is used to simulate all DC/AC inverters. A second-order-hold (SOH) is used to simulate all DC/DC converters. A first-order-hold (FOH) is used to simulate all AC/AC (AC/DC/AC) converters. Features Presents most up-to-date methods of analysis and control algorithms for developing power electronic converters and power switching circuits; Provides an invaluable reference for engineers designing power converters, commercial power supplies, control systems for motor drives, active filters, etc.; Presents methods of analysis not available in other books." (Rsum Elsevier)

11

INFORMATIQUE
004.68 ETHERNET/RESEAUX LOCAUX
Wireless Sensor Networks Par Cauligi Raghavendra, Krishna Sivalingam, Taieb Znati 426 pages R : 004.68 RAG "Wireless Sensor Networks presents a comprehensive and tightly organized compilation of chapters that surveys many of the exciting research developments taking place in this field. Chapters are written by several of the leading researchers exclusively for this book. Authors address many of the key challenges faced in the design, analysis and deployment of wireless sensor networks. Included is coverage of low-cost sensor devices equipped with wireless interfaces, sensor network protocols for large scale sensor networks, data storage and compression techniques, security architectures and mechanisms, and many practical applications that relate to use in environmental, military, medical, industrial and home networks. The book is organized into six parts starting with basic concepts and energy efficient hardware design principles. The second part addresses networking protocols for sensor networks and describes medium access control, routing and transport protocols. In addition to networking, data management is an important challenge given the high volumes of data that are generated by sensor nodes. Part III is on data storage and manipulation in sensor networks, and part IV deals with security protocols and mechanisms for wireless sensor networks. Sensor network localization systems and network management techniques are covered in Part V. The final part focuses on target detection and habitat monitoring applications of sensor networks." (4me de couverture)

005.1 PROGRAMMATION
Exercices corrigs en langage Z. Les spcifications formelles par l'exemple (Gnie logiciel) Par Pascal Andr, Alain Vailly 243 pages R : 005.1 AND "Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et travers lui des spcifications formelles en gnral. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation la pratique dans la conception de systmes d'informations. Il est constitu de plus de 80 exercices corrigs et comments, regroupes en quatre chapitres : le premier chapitre est consacr l'apprentissage du langage et de la notation ; le deuxime illustre la spcification avec Z (qu'il s'agisse d'criture de spcifications, de preuves ou de raffinage) ; le troisime met en vidence l'volutivit des spcifications Z en reprenant certains exercices et en proposant des variations ; le dernier s'inscrit dans l'application concrte de Z pour le dveloppement du logiciel (en montrant par exemple comment intgrer des modles E-A-P de Merise avec des spcifications Z) ; Cet ouvrage fait suite un prcdent livre, des mmes auteurs, dans la mme collection Spcification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les dvelopper. L'ensemble constitue un bon passeport pour la matrise des spcifications formelles" (4me de couverture) Exercices corrigs d'UML. Passeport pour une matrise de la notation (Gnie logiciel) Par Pascal Andr, Alain Vailly 310 pages R : 005.1 AND "Matriser UML - ce standard de la technologie oriente objets - c'est en possder les concepts et savoir les appliquer bon escient. Or, si la littrature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigs et des tudes de cas. Cet ouvrage dveloppe la pratique en mettant l'accent sur la rsolution d'exercices varis. Il est structur en quatre chapitres : le premier passe en revue tous les diagrammes, de faon isole et en groupe ; le deuxime est une mise en pratique au travers de sept tudes de cas ; le troisime explore le 12

ct formel d'UML par l'exprimentation du langage OCL ; et le dernier traite de la vrification de spcifications UML. L'ouvrage prsente les solutions, mais aussi les dmarches suivies, les alternatives et des conseils de modlisation. Par la varit des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML" (4me de couverture) Spcification des logiciels. Deux exemples de pratiques rcentes : Z et UML (Gnie logiciel) Par Pascal Andr, Alain Vailly 317 pages R : 005.1 AND "Cet ouvrage est destin ltudiant et au professionnel qui veulent comprendre limpact des spcifications formelles et de la modlisation objets sur la pratique du dveloppement dun logiciel. Il comprend deux parties consacres respectivement, la premire aux spcifications formelles, et la seconde la modlisation objets. Louvrage fait suite un premier livre des mmes auteurs intitul "Conception des systmes dinformation", consac aux mthodes et aux techniques de base de la conception des systmes." (4me de couverture) Aspect-Oriented Analysis and Design. The Theme Approach Par Siobhan Clarke, Elisa Baniassad 366 pages R : 005.1 CLA Localis en INFO This book describes aspects AOSD (Aspect-oriented software development) with the basic structure of introduction, overview and illustration of the approach guidance on mapping your designs to some AOP languages and examples of its application. Aspect-Oriented Software Development With Use Cases Par Ivar Jacobson, Pan-Wei NG 417 pages R : 005.1 JAC Localis en INFO This book is about aspect-oriented software development, the emphasis is on software development approach from requirements to code, applying some techniques in a balanced and iterative to help you to build your software systems.

005.13 LANGAGES DE PROGRAMMATION

C++ Template Metaprogramming. Concepts, Tools, and Techniques from Boost and Beyond Par David Abrahams, Aleksey Curtovoy 374 pages R : 005.13 ABR Localis en INFO This book explains what metaprogramming is and how it is used. A metaprogram is a program that generates or manipulates programm code, ever generic programming is introduced to C++, programmers have discovered myriad template metaprogramming for manipulating programs and to eliminate the barrier between program and metaprogram. Programmation oriente aspect pour Java/J2EE Par Renaud Pawlak, Jean-Philippe Retaille, Lionel Seinturier 444 pages R : 005.13 PAW Localis en INFO Cet ouvrage est divis en quatre parties. La premire partie introduit la programmation oriente aspect et prsente ses notions de base. La deuxime partie concerne les outils de la programmation oriente aspect; la troisime partie montre comment la programmation oriente aspect peut tre utilise pour orienter la qualit des logiciels. La quatrime partie prsente la mise en oeuvre d'une application oriente aspect dans un environnement J2EE.

13

005.7 ORGANISATION DES DONNEES

Gradualit et imprcision dans les bases de donnes. Ensembles flous, requtes flexibles et interrogation de donnes mal connues Par Patrick Bosc, Ludovic Lietard, Olivier Pivert, Daniel Rocacher 316 pages R : 005.7 BOS "Les bases de donnes classiques stockent un grand nombre dinformations prcises permettant de traiter des requtes de type boolen. Ces systmes trouvent leurs limites lorsquil sagit de prendre en compte des prfrences dans les requtes ou quand certaines donnes stockes sont imparfaitement connues. Pour traiter ces deux problmes et dfinir des systmes autorisant des requtes graduelles ou permettant de manipuler des donnes imprcises, les auteurs de louvrage sappuient sur la thorie des ensembles flous. Le livre dbute par des rappels sur les bases de donnes relationnelles et les bases orientes objets, suivis dune prsentation des ensembles flous. Sur ces bases est alors dveloppe la thmatique de linterrogation flexible dans le cadre des bases relationnelles, puis dans celui des bases objet. Puis est prsente la thorie des possibilits, pour reprsenter divers types de donnes imprcises. Enfin est traite linterrogation de bases de donnes dont certaines valeurs sont mal connues. Des exercices corrigs compltent lexpos et permettent au lecteur de lapprofondir." (4me de couverture)

006.3 INTELLIGENCE ARTIFICIELLE

Bioinformatics. The Machine Learning Approach (2d Edition) Par Pierre Baldi, Soren Brunak 452 pages R : 006.3 BAL "An unprecedented wealth of data is being generated by genome sequencing projects and other experimental efforts to determine the structure and function of biological molecules. The demands and opportunities for interpreting these data are expanding rapidly. Bioinformatics is the development and application of computer methods for management, analysis, interpretation, and prediction, as well as for the design of experiments. Machine learning approaches (e.g., neural networks, hidden Markov models, and belief networks) are ideally suited for areas where there is a lot of data but little theory, which is the situation in molecular biology. The goal in machine learning is to extract useful information from a body of data by building good probabilistic models--and to automate the process as much as possible. In this book Pierre Baldi and Sren Brunak present the key machine learning approaches and apply them to the computational problems encountered in the analysis of biological data. The book is aimed both at biologists and biochemists who need to understand new data-driven algorithms and at those with a primary background in physics, mathematics, statistics, or computer science who need to know more about applications in molecular biology. This new second edition contains expanded coverage of probabilistic graphical models and of the applications of neural networks, as well as a new chapter on microarrays and gene expression. The entire text has been extensively revised." (Rsum MitPress) Generative Programming. Methods, Tools, and Applications Par Krzysztof Czarnecki, Ulrich W. Eisenecker 832 pages R : 006.3 CZA Localis en INFO This book treats methods and tools that can help to design and to implement the right components for a system family and automate component assembly. It provides in-depth treatment of critical technologies and topics including: domain engineering, feature modeling, generic programming, aspect-oriented programming, template metaprogramming in C++, generators and microsoft's intentional programming.

14

Data Mining et statistique dcisionnelle Par Stphane Tuffery 379 pages R : 006.3 TUF "Le data mining et la statistique dcisionnelle sont des disciplines de plus en plus rpandues dans les entreprises et dans les organisations soucieuses d'extraire l'information pertinente cache dans leurs bases de donnes, en vue notamment d'amliorer leurs processus, leur gestion de la relation client (CRM) et leur matrise des risques. Cet ouvrage fait le point sur le data mining, ses mthodes, ses outils et ses applications, qui vont du scoring au web mining et au text mining. Nombre de ces outils appartiennent l'analyse des donnes et la statistique classique (classification automatique, analyse discriminante, rgression logistique, modles linaires gnraliss...) mais certains sont plus spcifiques au data mining, comme les arbres de dcision, les rseaux de neurones, les support vector machines, les algorithmes gntiques, le boosting, etc. Tous sont disponibles dans des logiciels de plus en plus puissants et conviviaux ; un chapitre est notamment destin aider le lecteur se diriger dans une offre fournie et dresse un comparatif trs approfondi des deux leaders : SAS et SPSS. L'utilisation des logiciels et l'interprtation des rsultats sont illustres dans tout le livre par de nombreux exemples conduits avec SAS, SPSS et SPAD. Les aspects mthodologiques vont de la conduite des projets aux facteurs de russite et aux piges viter, en passant par l'valuation et la comparaison des modles, l'intgration dans le marketing de bases de donnes, le calcul du retour sur investissement, les interfaces informatiques, sans oublier les contraintes juridiques ds que l'on traite des donnes caractre personnel. Cet ouvrage de rfrnce intressera les statisticiens, les data miners, les utilisateurs et les gestionnaires de bases de donnes, quel que soit leur secteur d'activit, mais galement les dcideurs, les conomtres, les enseignants et les tudiants en sciences conomiques." (Rsum Technip)

15

MATHEMATIQUES
511.3 LOGIQUE MATHEMATIQUE (SYMBOLIQUE), Y COMPRIS LANGAGES FORMELS, THEORIE DES AUTOMATIQUES
Du grafcet au rseau de Ptri (2 Ed.) Par Ren David 500 pages R : 511.3 DAV "Le Grafcet est un outil de spcification des automatismes logiques. Une prsentation formelle et cohrente y est faite ici. Les rseaux de Petri permettent la description de systmes dynamiques vnements discrets de toute nature. Ils possdent de nombreuses proprits qui sont prsentes ici de faon simple et claire. Les principales extensions et abrviations utiles pour la modlisation et l'analyse des systmes vnements discrets sont prsentes. Outre les rseaux de Petri synchroniss, temporiss, stochastiques, continus et colors, cette deuxime dition dfinit et tudie les rseaux de Petri hybrides qui contiennent une partie discrte et une partie continue et introduit les rseaux de Petri synchroniss tendus. Une centaine d'exercices, dont certains trs lmentaires, sont proposs au fur et mesure de l'avancement de la lecture, et une solution est donne pour chacun d'eux." (Rsum Lavoisier)

519.2 PROBABILITES, FILES DATTENTE, JEUX DE HASARD

Stochastic Systems, Theory and Applications Par V.S. Pugachev, I.N. Sinitsyn 908 pages R : 519.2 PUG "This book presents the general theory and basic methods of linear and nonlinear stochastic systems (StS) i.e. dynamical systems described by stochastic finite- and infinite-dimensional differential, integral, integrodifferential, difference etc equations. The general StS theory is based on the equations for characteristic functions and functionals. The book outlines StS structural theory, including direct numerical methods, methods of normalization, equivalent linearization and parametrization of one- and multi-dimensional distributions, based on moments, quasimoments, semi-invariants and orthogonal expansions. Special attention is paid to methods based on canonical expansions and integral canonical representations. About 500 exercises and problems are provided. The authors also consider applications in mathematics and mechanics, physics and biology, control and information processing, operations research and finance." (4me de couverture)

519.4 ANALYSE NUMERIQUE APPLIQUEE

Comprendre les lments finis. Principes, formulations et exercices corrigs (Structures) Par Alaa Chateauneuf 272 pages R : 519.4 CHA "Comprendre les lments finis est indispensable pour l'analyse et la conception des structures. Avec plus de 50 exercices corrigs, l'ouvrage prsente de faon claire, progressive et complte, les principes et les formulations de cette mthode, en s'appuyant sur des illustrations concrtes. Dans la premire partie, sont d'abord exposs les principes de la mthode en partant de la construction des fonctions de forme, jusqu' la formulation des lments isoparamtriques. L'application aux lments de structures est illustre dans la deuxime partie par de nombreux exercices, rsolus pas pas pour assurer efficacement l'assimilation des connaissances et le dveloppement des aptitudes oprationnelles chez le lecteur. Dans la troisime partie, la formulation est tendue au maillage adaptatif, au problme de champ, la dynamique et la non linarit. " (4me de couverture)

16

519.5 STATISTIQUE (+ ANALYSE DES DONNEES)

Modles statistiques pour donnes qualitatives Par Gilbert Saporta, Jean-Jacques Droesbeke, Michel Lejeune 288 pages R : 519.5 SAP "Cet ouvrage fait le point sur les modles statistiques dvelopps dans l'analyse des donnes qualitatives. Dans ce contexte, il s'agit non seulement de dcrire des liaisons entre variables qualitatives au moyen de mthodes exploratoires ou de modles factoriels, mais galement des modles explicatifs ou prdictifs d'une rponse qualitative l'aide de facteurs qualitatifs ou quantitatifs. Pour cela, on peut recourir des modles linaires gnraliss. Les domaines d'applications de ces modles vont de l'conomtrie la biomtrie et concernent des secteurs trs varis comme l'assurance, la finance, la mdecine, la biopharmacie, etc.

519.7 PROGRAMMATION LINEAIRE

Advances in Sensitivity Analysis and Parametric Programming Par Thomas Gal, Harvey J. Greenberg R : 519.7 GAL Lacalis en AUTO "This book combines the origins of sensitivity analysis with current developments in the field. It covers much of the traditional approaches, and shows recent results using the optimal partition approach, stemming from interior methods, for both linear and quadratic programming. " (Rsum Dawson)

17

PHYSIQUE ET PHYSIQUE APPLIQUEE

531 MECANIQUE GENERALE ET DES MILIEUX CONTINUS
Transmissions mcaniques de puissance. Application aux botes de vitesses automatiques (Gnie mcanique) Par Philippe Arques -278 pages R : 531 ARQ "Louvrage tudie les transmissions mcaniques de puissance en analysant, depuis la thorie jusqu la conception, les trains plantaires simples ou associs, les coupleurs et convertisseurs de couple, les transmissions automatiques et les transferts thermiques. Une mthode simple permet, quelque soit le nombre de trains plantaires, de concevoir la transmission, puis de calculer les vitesses des diffrents arbres, les couples et les puissances transmis, ainsi que le rendement." (4me de couverture) Physique 1. Mcanique Par David Halliday, Robert Resnick, Jearl Walker 368 pages R : 531 HAL "Cet ouvrage est la traduction de la sixime dition du best-seller de Wiley. Cours complet renforc denviron 4000 exercices. Le dcoupage en trois volumes (1.Mcanique. 2.lectricit et magntisme. 3.Ondes, optique et physique moderne) correspond bien lenseignement de la physique dispens en DEUG (licence 1 et 2) en France. Chaque chapitre est constitu dun cours dont le formalisme mathmatique est rduit et les dmonstrations prcises, simples et accessibles. La clart des dessins rend le texte trs lisible. Le cours est illustr dexercices dapplication rsolus accompagns de points mthode, et ponctu dun bref rsum avec les points essentiels retenir. Pour terminer, une centaine dexercices par chapitre sont organiss suivant un niveau de difficult croissant ; leur rponse se trouve en fin douvrage." (Rsum Dunod)

535 OPTIQUE ET PHENOMENES PARAOPTIQUES

L'clairage : notions de base, projets d'installations, exercices corrigs (5me dition) Par Patrick Vandeplanque 270 pages R : 535 VAN "Cette 5e dition complte et actualise les thmes principaux des ditions prcdentes : photomtrie , appareillage , clairages intrieur et extrieur , extensions. Le chapitre des extensions s'enrichit notamment de complments thoriques qui permettent l'ingnieur ou au technicien de dvelopper ses propres outils de calcul , il lui apporte les bases indispensables pour comprendre la littrature technique spcialise et aborder des problmes de recherche. Autre nouveaut, la dernire partie rassemble 47 sujets d'examens, de niveau licence et mastre. Ces exercices sont suivis de corrigs qui dcrivent les tapes essentielles du raisonnement et fournissent l'auteur l'occasion d'introduire de nouvelles notions. Cette 5e dition s'enrichit ainsi d'une dimension pdagogique et s'adresse aux tudiants et aux enseignants, de l'IUT au mastre 2. Il passionnera galement tout autodidacte soucieux d'largir ses connaissances et d'acqurir une meilleure matrise des calculs." (Rsum Lavoisier)

536 CHALEUR, ENERGIE, THERMIE

Ractions thermiques en phase gazeuse. Thermodynamique, cintique, mcanismes ractionnels Par Guy-Marie Cme 283 pages R : 536 COM "L'ouvrage est consacr aux ractions thermiques en phase gazeuse qui ont lieu dans les moteurs, les brleurs et les racteurs industriels pour produire de l'nergie mcanique ou thermique, ou pour fabriquer des produits chimiques. Il tudie galement leurs consquences 18

sur l'environnement : incendies, explosions, pollutions troposphriques et stratosphriques. Il propose une mthodologie de la modlisation de ces ractions dans leurs diffrents aspects : thermodynamique, cintique, transport molculaire, racteurs de laboratoire, gnration, analyse et rduction des mcanismes ractionnels, estimation des grandeurs physicochimiques. Des tables de donnes et un rpertoire de logiciels compltent l'ouvrage. " (4me de couverture)

536.7 THERMODYNAMIQUE
Thermodynamique - Bases et applications (Cours et exercices corrigs) Par Jean-Nol Foussard, Edmond Julien 238 pages R : 536.7 FOU "Pour les tudiants des filires scientifiques et techniques, la thermodynamique est une discipline totalement nouvelle et, ce titre, souvent difficile apprhender. C'est pour faciliter ces premiers contacts que les auteurs de cet ouvrage ont choisi de s'appuyer sur les phnomnes concrets et souvent familiers qu'elle explique, s'loignant ainsi des habituelles prsentations arides et mathmatiques. Grce des dfinitions claires, de trs nombreux exemples et des exercices corrigs en relation troite avec le cours, ce livre permettra ainsi chacun de comprendre et de matriser les concepts fondamentaux de la thermodynamique." (4me de couverture)

539 PHYSIQUE MODERNE ET PHYSIQUE QUANTIQUE

Physique 3. Ondes, optique et physique moderne Par David Halliday, Robert Resnick, Jearl Walker 416 pages R : 539 HAL "Ce manuel est la traduction de la sixime dition du best-seller de Wiley. Le dcoupage en trois volumes (1.Mcanique. 2.Electricit et magntisme. 3.Ondes, optique et physique moderne) correspond bien l'enseignement de la physique dispens pendant les deux premires annes duniversit en France. Chaque chapitre est constitu d'un cours dont le formalisme mathmatique est rduit et les dmonstrations prcises, simples et accessibles. La clart des dessins rend le texte trs lisible. Le cours est illustr d'exercices d'application rsolus accompagns de points mthode, et ponctu d'un bref rsum avec les points essentiels retenir. Pour terminer, une centaine d'exercices par chapitre sont organiss suivant un niveau de difficult croissant ; leur rponse se trouve en fin d'ouvrage." (Rsum Dunod)

539.2 RAYONNEMENT
Optical Radiometry Par Albert Parr, Raju U. Datla, James L. Gardner 586 pages R : 539.2 PAR "This book deals with the practice of Optical Radiation Measurements with introductory material to introduce the topics discussed. It will be most useful for students, scientists and engineers working in any academic, industrial or governmental projects related to optical radiation. The book contains chapters that treat in detail the procedures and techniques for the characterization of both sources and detectors to the highest degree of accuracy and reliability. It has a chapter devoted specifically to optical measurements of laser sources and fiberoptics for communication and a chapter devoted to uncertainty in measurement and its treatment with real examples of optical measurements. The book contains introductory materials that will allow a newcomer to radiometry to develop the expertise to perform exacting and accurate measurement. The authors stress the various causes of uncertainty in each phase of a measurement and thus allow for users to arrive at a correct assessment of their uncertainty of measurement in their particular circumstance." (Rsum Elsevier)

19

THEORIE DE LINFORMATION SIGNAL

621.382 2 THEORIE DE LINFORMATION ET TRAITEMENT DU SIGNAL
Codes correcteurs. Principes et exemples (Mathmatiques pour tlinformatique) Par Josphe Badrikian 181 pages R : 321.382 2 BAD "L'ouvrage dveloppe la thorie des techniques de codage qui permettent de corriger en temps rel les erreurs les plus probables en tlinformatique. Il expose de manire naturelle les problmes du codage et il introduit, sans digression inutile, les outils essentiels pour les rsoudre. Il contient toutes les dfinitions ncessaires une parfaite comprhension des algorithmes de codage et de correction performants et rapides. les dmonstrations sont illustres par de nombreux exemples. Des exercices entirement rsolus permettent de mieux assimiler les concepts en les mettant en uvre et en explicitant les calculs. Le texte est ainsi rendu accessible un public trs vari, des IUT ou STS aux coles dingnieurs. Plus gnralement, il sadresse tous ceux qui sintressent au rle des mathmatiques dans la socit actuelle." (4me de couverture) Discrete Signals and Inverse Problems : An Introduction for Engineers and Scientists Par J. Carlos Santamarina, Dante Fratta 350 pages R : 621.382 22 SAN "Discrete Signals and Inverse Problems examine fundamental concepts necessary to engineers and scientists working with discrete signal processing and inverse problem solving, and places emphasis on the clear understanding of algorithms within the context of application needs. Based on the original Introduction to Discrete Signals and Inverse Problems in Civil Engineering, this expanded and enriched version: combines discrete signal processing and inverse problem solving in one book covers the most versatile tools that are needed to process engineering and scientific data presents step-by-step implementation procedures for the most relevant algorithms provides instructive figures, solved examples and insightful exercises Discrete Signals and Inverse Problems is essential reading for experimental researchers and practicing engineers in civil, mechanical and electrical engineering, non-destructive testing and instrumentation. This book is also an excellent reference for advanced undergraduate students and graduate students in engineering and science." (Rsum Wiley)

621.382 23 ANALYSE ET THEORIE DU SIGNAL

Analyse et contrle numrique du signal. Calcul scientifique Par Philippe Destuynder, Franoise Santi 188 pages R : 621.382 23 DES "Introduction solide et prcise aux outils de traitement numrique du signal, dlibrment oriente vers les applications pratiques, avec exercices corrigs et privilgiant l'utilisation des logiciels courants." (Rsum Ellipses)

20

THESES ET MEMOIRES

THESES ET MEMOIRES
AUTOMATIQUE
Abstraction pour la vrification de sret des systmes hybrides Par Marie-Anne Lefebvre 194 pages R : 378 242 - Thse prpare et soutenue Suplec, Rennes en Dcembre 2004 Thse de doctorat qui a pour objectif de proposer une mthode de construction d'abstraction ddie aux systmes reprsents par une dynamique affine. La thse est articule en quatre chapitres. Le premier chapitre prsente la problmatique de vrification de proprits de sret pour les systmes hybrides, le second chapitre introduit la forme d'abstraction du comportement des systmes dans le concert des systmes simples; le troisime chapitre propose une formalisation des proprits et des principes d'abstraction et le quatrime chapitre s'intresse l'implmentation. Modlisation, optimisation et commande des parcs de production multi nergies complexes Par Guillaume Sandou 244 pages R : 378.424 - Thse prpare et soutenue supelec, Gif, Automatique en Novembre 2005 "L'ouverture des marchs de l'nergie, le dveloppement de nouvelles technologies, et la pression environnementale conduisent les industriels rechercher un pilotage optimal de leurs systmes de production, distribution et stockage de l'nergie. Parmi les parcs de production d'nergie, les rseaux de chauffage urbain sont symptomatiques des difficults techniques inhrentes la gestion de tels systmes complexes. Ces rseaux pluridisciplinaires sont en effet le sige de phnomnes physiques non linaires et non analytiques; la problmatique est celle des rseaux non linaires prsentant des temps de propagation non ngligeables et variables dans le temps. Afin de tester les mthodes dveloppes, un rseau de chauffage urbain, choisi comme champ d'application de cette thse, a t cr par Suplec et EDF. Dans cette thse, un modle de rfrence est tout d'abord dvelopp, permettant de simuler finement le systme global, et de reprsenter, l'chelle considre de l'optimisation court terme, tous les phnomnes physiques agissant sur le rseau. Il s'agit ensuite de grer la complexit du systme, et de dterminer conjointement des modles et des mthodologies afin de simuler, optimiser et commander ces systmes d'nergie. L'optimisation du rseau ncessite la dfinition d'une stratgie d'optimisation hirarchise globale/locale, calculant une solution satisfaisante l'chelle du rseau complet. Plusieurs approches sont utilises pour les optimisations locales, selon la complexit des sites de production: rsolution exacte, dcomposition par connaissance a priori, mtaheuristiques. L'utilisation des principes de la commande prdictive permet enfin d'tendre les rsultats de planification au pilotage en boucle ferme du rseau. Les aspects de robustesse de la loi de commande vis--vis des erreurs de prdiction sur la courbe de charge, ainsi que leurs liens avec les problmes de faisabilit des problmes d'optimisation successifs, sont galement pris en compte." (quatrime de couverture)

ELECTRONIQUE
Nouvelles architectures et mthodes de conception de microsystmes sigma-delta et de microsystmes rsonants Par Eric Colinet 174 pages R : 378 242 - Thse prpare et soutenue Suplec, Gif, SSE en Novembre 2005 Les microsystmes sigma-delta et les microsystmes rsonants sont deux structures dont les modes de fonctionnement et les architectures prsentent beaucoup de similitudes. Cette thse 22

se propose de dvelopper des mthodes de conception et d'architectures de capteurs rsonnants et sigma-delta qui tiennent compte de ces spcificits. le travail se fait en cinq tapes: les gnralits, la modlisation et les techniques de simulation des microsystmes, l'tude des systmes mixtes relais, la mthode d'actionnement la rsonnance d'un microrsonateur au moyen d'impulsions, des mthodes originales d'identification de paramtres partir de donnes binaires, une application des mthodes d'identification la commande de microsystmes sigma-delta.

ELECTROTECHNIQUE
Valorisation des "services systme" dans un rseau de transport d'lectricit Par Hugo Humberto MorenoLopez 157 pages R : 378.242 - Thse prpare et soutenue Suplec, Gif, Energie en Novembre 2005 Thse de doctorat qui se propose de faire une tude sur la valorisation du rglage de tension dans un environnement concurrentiel. La thse comprend deux parties : la premire partie est consacre la prsentation et l'analyse des services systme travers la comparaison de ses diffrentes mthodologies de classification et valorisation. La deuxime partie tudie la problmatique de la valorisation de la production de puissance ractive lie au rglage de tension. Analyse et mesure de pertes dans le rotor d'une machine synchrone aimants permanents pour en optimiser la structure Par Zhu-Yun Wang 134 pages R : 378.242 - Thse prpare et soutenue Suplec, Gif, Energie en Novembre 2005 Cette thse a pour l'objectif l'estimation et la rduction des pertes dans les aimants par le choix des dimensions et du nombre daimants dans un ple. Pour dterminer les pertes totales par courants de Foucault dans les aimants, nous avons appliqu une triple approche : par lments finis, par modlisation analytique et par mesures sur un montage de type prouvette. Le modle analytique de pertes dans le rotor permet une valuation simple des pertes en fonction de la frquence. Ce modle porte le nom de modle parallle . La mthode numrique danalyse par lments finis est la plus prcise pour le calcul des pertes par courants de Foucault. Elle permet de calculer lnergie totale stocke dans la machine et les pertes dans le rotor. Nous avons identifi les paramtres du modle parallle par calculs en lments finis. Les pertes peuvent alors tre calcules et compares avec les essais pour diffrentes formes donde. Cette double valuation par lments finis et par modle analytique nous a permis de comparer diffrentes structures du rotor et de proposer une structure optimise, en tenant compte des contraintes industrielles. Un banc dessai pour les mesures des pertes dans un chantillon daimant par un montage en U ferm tait aussi ralis pour paramtrer le modle des pertes en lments finis ainsi que le modle analytique. Un bon accord a t trouv entre la comparaison des pertes calcules et mesures sauf pour certaines premires harmoniques. Une analyse a t faite pour expliquer les carts entre les mesures et le calcul.

INFORMATIQUE
Langage de description d'attaques pour la dtection d'intrusions par corrlation d'vnements ou d'alertes en environnement rseau htrogne Par Cdric Michel 172 pages R : 378 242 - Thse prpare et soutenue Suplec, Rennes en Dcembre 2003 Thse de doctorat qui se propose de faire une tude de langage de description d'attaques pour la dtection d'intrusions. Ce langage (AdeLe), de haut niveau d'abstraction, donne les moyens 23

de dcrire une attaque sous ses diffrents aspects: exploit, dtection et raction. Au niveau de la dtection de la description, le mme langage permet de corrler des vnements et des alertes en dfinissant des signatures qui comportent des contraintes temporelles et logiques.

TELECOMMUNICATIONS
Implmentation sur FPGA d'un turbo codeur - dcodeur en blocs haut dbit avec une faible complexit Par Ta Quang Khoi Thomas R : 378 242 212 pages - Thse prpare et soutenue Suplec, Rennes en Dcembre 2003 Thse de doctorat qui se propose de faire une tude sur l'implmentation sur FPGA d'un turbo codeur-dcodeur en blocs haut dbit avec une faible complexit. A partir des tudes et des optimisations de divers paramtres, l'auteur propose d'utiliser une structure pipeline associe une structure itrative en vue d'augmenter le dbit des donnes tout en diminuant l'encombrement du turbo dcodeur.

24

SCIENCES HUMAINES

25

PHILOSOPHIE
501 PHILOSOPHIE DES SCIENCES
Gomtrie au XXe sicle, 1930-2000 . Histoire et horizons (Colloque) Par Joseph Kouneiher, Dominique Flament, Philippe Narbonnand, Jean-Jacques Szczeciniarz 424 pages R : 501 KOU "Peu de travaux historiques et philosophiques ont t consacrs l'histoire rcente de la gomtrie.Pourtant, au cours de la seconde moiti du vingtime sicle, l'approche gomtrique s'est rvle d'une fcondit extraordinaire dans tous les domaines mathmatiques, ainsi qu'en physique thorique , en retour, la gomtrie en a t profondment bouleverse. Le foisonnement des recherches en gomtrie, la diversit des intrts et des travaux et les multiples domaines d'application de ceux-ci rendent ncessaire, mais extrmement dlicate, toute tentative d'en proposer une approche rflexive et/ou historique. Avec cet ouvrage, notre intention est de contribuer l'mergence de tels travaux historiques et philosophiques en proposant une large prsentation rflexive des gomtries du vingtime sicle et de leurs fondements conceptuels. L'ensemble des textes ainsi livrs par des mathmaticiens, des philosophes ou des historiens ne prtend pas l'exhaustivit, il offre un matriau d'une richesse remarquable pour tous ceux qui sont intresss par une approche historique et philosophique des thories gomtriques contemporaines." (4me de couverture) Terre et ciel. Entretiens avec Sylvain Estibal Par Thodore Monod, Sylvain Estibal 318 pages R : 501 MON "Le dsert en tant que tel est trs mouvant. On ne peut rester insensible la beaut de pareil paysage. Le dsert est beau parce qu'il est propre et ne ment pas. Sa nettet est extraordinaire. On n'est jamais sale au dsert. Le vent vous dcape en permanence. Lorsqu'on le quitte par le nord ou par le sud, lorsque la terre vient remplacer le sable, on dcouvre qu'on commence se salir. Le dsert est presque impudique, le sol ne s'y trouve recouvert d'aucun couvercle vgtal. Il montre son anatomie avec une impudeur prodigieuse, pour la plus grande joie du gologue bien entendu, mme si les dunes masquent trs souvent des contacts dont on aurait besoin pour comprendre la stratigraphie d'une rgion. On voudrait pouvoir souffler dessus et , pour un moment au moins, savoir ce qu'il y a dessous. " (Rsum Alapage) .

26

LITTERATURE

27

R ROMANS
La terre sous ses pieds Par Salman Rushdie 792 pages R : R RUS Vina Aspara, rock star mondiale, meurt au terme d'une gigantesque carrire mene en duo avec son premier et ternel amour, lui aussi Indien de Bombay, Ormus Cama. Le destin chaotique de ces deux tres d'exception, profondment traumatiss par des enfances meurtrires, est racont par Rai Meerchant, reporter photographe, ami de jeunesse d'Ormus et amant malheureux de Vina. Tout en Ormus et Vina est extrme et tragique, leur amour, "leur clbrit totmique", jusqu'au dlire mondial qui suit la mort de Vina. En choisissant pour sa fable des chanteurs aduls, dieux vivants autant qu'tres paums et manipuls, voire psychotiques, Salman Rushdie peut mettre en scne toutes les dmesures, toutes les caricatures du temps. (4me de couverture)

28