04122nam 22009135 450 991095662920332120250728144740.01-281-79523-2978661179523888-470-0784-410.1007/978-88-470-0784-0(CKB)1000000000492810(EBL)364108(OCoLC)288524368(SSID)ssj0000336554(PQKBManifestationID)11234065(PQKBTitleCode)TC0000336554(PQKBWorkID)10279170(PQKB)10436149(DE-He213)978-88-470-0784-0(MiAaPQ)EBC364108(Au-PeEL)EBL364108(CaPaEBR)ebr10252042(CaONFJC)MIL179523(PPN)129064246(EXLCZ)99100000000049281020100301d2008 u| 0engur|n|---|||||txtccrDeduction, Computation, Experiment Exploring the Effectiveness of Proof /edited by Rossella Lupacchini, Giovanna Corsi1st ed. 2008.Milano :Springer Milan :Imprint: Springer,2008.1 online resource (287 p.)Description based upon print version of record.88-470-0783-6 Includes bibliographical references and index.Why Proof? What is a Proof? -- On Formal Proofs -- Toy Models in Physics and the Reasonable Effectiveness of Mathematics -- Experimental Methods in Proofs -- Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis -- The Logic of the Weak Excluded Middle: A Case Study of Proof-Search -- Automated Search for Gödel’s Proofs -- Proofs as Efficient Programs -- Quantum Combing -- Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside -- Proof as a Path of Light -- Computability and Incomputability of Differential Equations -- Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics.What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.LogicPhilosophyMathematicsPhilosophy of natureComputer scienceLogic, Symbolic and mathematicalLogicPhilosophyMathematicsPhilosophy of NatureTheory of ComputationMathematical Logic and FoundationsLogic.Philosophy.Mathematics.Philosophy of nature.Computer science.Logic, Symbolic and mathematical.Logic.Philosophy.Mathematics.Philosophy of Nature.Theory of Computation.Mathematical Logic and Foundations.121.65511.3100sdnb5,1ssgnCC 3200rvkCorsi Giovanna52880Lupacchini Rossella876297MiAaPQMiAaPQMiAaPQBOOK9910956629203321Deduction, Computation, Experiment4412632UNINA08620nam 22005533 450 991100712680332120230606080245.01-83724-494-41-5231-5540-X1-83953-187-8(MiAaPQ)EBC30564941(Au-PeEL)EBL30564941(OCoLC)1381294839(NjHacI)9926821643900041(BIP)086633479(CKB)26821643900041(EXLCZ)992682164390004120230606d2023 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierIntegrated Motor Drives1st ed.Stevenage :Institution of Engineering & Technology,2023.©2023.1 online resource (294 pages)Energy Engineering Series1-83953-186-X Includes bibliographical references and index.Intro -- Title -- Copyright -- Contents -- About the editors -- 1 Introduction -- 1.1 Concept of integrated motor drives -- 1.2 Types of IMDs -- 1.2.1 Standard frame mounting -- 1.2.2 Endplate mounted integration -- 1.2.3 Mounting within the machine casing -- 1.3 Contents of the book -- References -- 2 Electrical machines for an integrated drive -- 2.1 Machine issues for integrated drives -- 2.2 Motor modularisation -- 2.2.1 Rationale for modular motor drives -- 2.2.2 Machine compatibility with modular stator windings -- 2.2.3 Manufacturing issues for modular motors with concentrated windings -- 2.2.4 Motor characteristics for fault-tolerant modular motor drives -- 2.2.5 Concluding remarks -- 2.3 Winding materials and wire types -- 2.4 Insulation -- 2.4.1 Resonant voltage overshoot at the motor terminals -- 2.4.2 Voltage distribution in the motor windings -- 2.4.3 Mitigation methods for waveforms with high dv/dt values -- 2.4.4 Motor coil insulation systems -- 2.5 Magnetic cores -- 2.5.1 Soft magnetic materials -- 2.5.2 Hard magnetic materials - permanent magnets -- References -- 3 Power converter and control techniques -- 3.1 Overview of electric drives -- 3.2 Power converters -- 3.2.1 Power semiconductor switching devices -- 3.2.2 Converter topologies -- 3.2.3 Power converters integration in IMDs -- 3.3 Sensors -- 3.3.1 Current sensing technology -- 3.3.2 Rotational position and speed sensing technology -- 3.4 Control methods -- 3.4.1 Torque and speed control -- 3.4.2 Open loop voltage/frequency control -- 3.4.3 Dynamic torque control -- 3.4.4 Multiphase and modular machines -- 3.5 Control hardware -- 3.5.1 Control platforms -- 3.5.2 Peripherals -- 3.5.3 Prototyping systems -- 3.5.4 Distributed architectures and data networking -- 3.6 Thermal, environmental, and EMI constraints -- 3.7 Summary -- References.4 Wide bandgap semiconductor switching devices in integrated motor drives -- 4.1 Wide bandgap power semiconductor devices -- 4.1.1 WBG (SiC and GaN) material properties and benefits for integrated motor drive applications -- 4.1.2 Overview of WBG switch configurations for IMD applications -- 4.2 Application of WBG devices in integrated motor drives -- 4.2.1 Potential benefits of WBG devices for integrated motor drives -- 4.2.2 Challenges caused by WBG devices in VSI-based IMDs -- 4.2.3 Standard techniques for overcoming WBG switch challenges in VSI-based IMDs -- 4.2.4 Current and future applications of WBG technology in VSI-based IMDs -- 4.3 Unfolding opportunities for WBG devices in future IMDs -- 4.3.1 Introduction to CSIs as alternative to VSIs -- 4.3.2 Impact of WBG switch devices on renewed CSI interest -- 4.3.3 Advantages of CSIs over VSIs using WBG switches -- 4.3.4 Challenges posed by CSIs using WBG switches -- 4.3.5 Case history: 3 kW WBG-based CSI integrated motor drive [19] -- 4.3.6 CSI-IMD technology scalability -- 4.4 Closing comments -- References -- 5 Thermal management of integrated motor drives -- 5.1 Introduction -- 5.2 Thermal management of electrical machines -- 5.2.1 Thermal management of electrical machines - system classification -- 5.2.2 Mechanical and thermal integration of IMDs - system architectures -- 5.2.3 Conventional (non-cryogenic) thermal management of IMDs - examples -- 5.2.4 Cryogenic thermal management of IMDs - examples -- 5.3 Thermal management of power converters for IMD -- 5.3.1 Packaging of power electronics module -- 5.3.2 Electrical interconnects -- 5.3.3 Die attachment -- 5.3.4 Encapsulant -- 5.3.5 Substrates -- 5.3.6 Power electronic cooling methodologies -- 5.3.7 Forced air cooled -- 5.3.8 Cold plate -- 5.3.9 Pin-Fin -- 5.3.10 Jet impingement -- 5.3.11 Turbulator -- 5.3.12 IMD cooling arrangements.5.3.13 Summary -- 5.4 Outlook -- 5.4.1 Liquid metal cooling -- 5.4.2 Phase change materials (PCMs) cooling -- 5.4.3 Cryogenic cooling -- References -- 6 Passive devices -- 6.1 Energy storage needs -- 6.1.1 PWM switching frequency -- 6.1.2 Semiconductor switching transient -- 6.1.3 Peak power demands -- 6.2 Passive component technology -- 6.2.1 Capacitors -- 6.2.2 Inductors -- 6.2.3 Cable -- 6.2.4 Electrical insulation materials -- 6.3 Power systems -- 6.3.1 Battery system -- 6.3.2 DC power grid -- 6.3.3 AC mains supply -- 6.4 Design trends of integrated drive systems -- 6.5 Introduction of EMI and EMC -- 6.5.1 Differential mode and common mode -- 6.5.2 The RF content in a typical motor drive system -- 6.5.3 Noise source -- 6.5.4 Propagation path and coupling -- 6.5.5 Design for EMC and mitigation scheme -- 6.6 Filter simulation -- 6.7 Conclusion -- References -- 7 Gearboxes -- 7.1 Introduction -- 7.1.1 Gear types -- 7.1.2 Gear ratios -- 7.1.3 Gear theory -- 7.1.4 Gear geometry -- 7.2 Gearbox arrangements -- 7.2.1 Multi-stage gearbox layouts -- 7.2.2 Electric vehicle transmission layouts -- 7.3 Gear stress analysis -- 7.3.1 The principles of ISO 6336 -- 7.3.2 ISO 6336 terminology and key factors -- 7.3.3 ISO 6336 load-time analysis -- 7.4 Gear optimization -- 7.4.1 Transmission error and tooth contact analysis -- 7.4.2 Micro and macro gear geometry optimization -- 7.5 Manufacturing methods -- 7.6 Gear quality control and measurement -- 7.7 Steel selection and heat treatment methods -- 7.8 Gear failure modes -- 7.9 Bearings -- 7.10 Lubrication and cooling -- References -- 8 Research prototypes and commercial products -- 8.1 Research prototype 1: development of a high-speed, permanent magnet, SiC-based drive with integrated input filters -- 8.1.1 Background -- 8.1.2 Integrated motor design -- 8.1.3 Prototype manufacture.8.1.4 Comparison with other discrete AC inductors -- 8.1.5 Winding connection considerations -- 8.1.6 Power electronics integration -- 8.1.7 Conclusion -- 8.2 Research prototype 2: wide bandgap-based current source inverter integrated motor drive* -- 8.2.1 Introduction -- 8.2.2 Design of WBG-based CSI for IMD applications -- 8.2.3 Thermal performance analysis of electric machine and IMD -- 8.2.4 Conclusions -- 8.3 Research prototype 3: a novel approach to thermal and electrical integration of high power density drives in automotive applications -- 8.3.1 Introduction -- 8.3.2 Overview of the system -- 8.3.3 Integrated power module design -- 8.3.4 Thermal management -- 8.3.5 Results -- 8.3.6 Conclusions -- 8.4 Commercial product: ProteanDrive by Protean Electric -- 8.4.1 Motivation for integration -- 8.4.2 Description of integrated approach -- 8.4.3 Operational experience -- 8.4.4 Future integration possibilities -- References -- 9 Emerging technologies and needs -- 9.1 Summary IMDs' challenges -- 9.2 Emerging design concepts -- 9.2.1 Holistic design approach -- 9.2.2 Modular and scalable design -- 9.3 Emerging assembly technologies -- 9.3.1 PCB embedding -- 9.3.2 High-temperature packaging techniques -- 9.3.3 Additive manufacturing -- References -- Index.Optimisation of electric drives for machines and EV requires considering the components as a whole. Integrated systems can be smaller, have greater flexibility, lower cost and higher power density. This book presents recent research and trends in integrated electrical motor drive technology.Energy Engineering SeriesElectric motorsElectronic controlElectric motorsElectronic control.621.46Deng Xu1824268Mecrow Barrie1824269MiAaPQMiAaPQMiAaPQBOOK9911007126803321Integrated Motor Drives4391370UNINA