04214nam 22008415 450 99646629700331620240222170041.03-319-24704-210.1007/978-3-319-24704-5(CKB)4340000000001143(SSID)ssj0001585502(PQKBManifestationID)16265442(PQKBTitleCode)TC0001585502(PQKBWorkID)14864851(PQKB)11376968(DE-He213)978-3-319-24704-5(MiAaPQ)EBC6297173(MiAaPQ)EBC5591348(Au-PeEL)EBL5591348(OCoLC)922540885(PPN)190528664(EXLCZ)99434000000000114320150924d2015 u| 0engurnn#008mamaatxtccrRelational and Algebraic Methods in Computer Science[electronic resource] 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /edited by Wolfram Kahl, Michael Winter, José Oliveira1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (X, 395 p. 51 illus.)Theoretical Computer Science and General Issues,2512-2029 ;9348Bibliographic Level Mode of Issuance: Monograph3-319-24703-4 Theory of relation algebras and Kleene algebras -- Process algebras -- Fixed point calculi -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.-  Cylindric algebras -- Application in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches to logics of programs -- Modal and dynamic logics -- Interval and temporal logics.This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras;  cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.Theoretical Computer Science and General Issues,2512-2029 ;9348Machine theoryComputer science—MathematicsComputer scienceSoftware engineeringArtificial intelligenceDiscrete mathematicsFormal Languages and Automata TheorySymbolic and Algebraic ManipulationComputer Science Logic and Foundations of ProgrammingSoftware EngineeringArtificial IntelligenceDiscrete Mathematics in Computer ScienceMachine theory.Computer science—Mathematics.Computer science.Software engineering.Artificial intelligence.Discrete mathematics.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.Computer Science Logic and Foundations of Programming.Software Engineering.Artificial Intelligence.Discrete Mathematics in Computer Science.004.0151Kahl Wolframedthttp://id.loc.gov/vocabulary/relators/edtWinter Michael(Professor).edthttp://id.loc.gov/vocabulary/relators/edtOliveira Joséedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466297003316Relational and Algebraic Methods in Computer Science2201468UNISA03570nam 2200625 a 450 991082737240332120240313173819.0978111862119611186211909781118622605111862260X9781299315518129931551897811186228411118622847(CKB)3230000000207248(StDuBDS)AH25036478(OCoLC)842854720(MiAaPQ)EBC1143638(MiAaPQ)EBC4036960(Au-PeEL)EBL1143638(CaPaEBR)ebr10671568(OCoLC)830161611(Perlego)1007188(EXLCZ)99323000000020724820110114d2011 uy 0engur|||||||||||rdacontentrdamediardacarrierPower electronic converters PWM strategies and current control techniques /edited by Eric Monmasson1st ed.London ISTE ;Hoboken, N.J. Wiley20111 online resource (xxii, 542 p. ) illFormerly CIP.Uk9781848211957 1848211953 Includes bibliographical references and index.Carrier based pulse width modulation for two-level three-phase voltage inverters -- Space vector modulation strategies -- Overmodulation of three-phase voltage inverters -- Computed and optimized pulse width modulation strategies -- Delta-sigma modulation -- Stochastic modulation strategies -- Electromagnetic compatibility of variable speed drives : impact of PWM control strategies -- Multiphase voltage source inverters -- PWM strategies for multilevel converters -- PI current control of a synchronous motor -- Predictive current control for a synchronous motor -- Sliding mode current control for a synchronous motor -- Hybrid current controller with large bandwidth and fixed switching frequency -- Current control using self-oscillating current controllers -- Current and voltage control strategies using resonant correctors: examples of fixed-frequency applications -- Current control strategies for multi-cell converters.A voltage converter changes the voltage of an electrical power source and is usually combined with other components to create a power supply. This title is devoted to the control of static converters, which deals with pulse-width modulation (PWM) techniques, and also discusses methods for current control.A voltage converter changes the voltage of an electrical power source and is usually combined with other components to create a power supply. This title is devoted to the control of static converters, which deals with pulse-width modulation (PWM) techniques, and also discusses methods for current control. Various application cases are treated. The book is ideal for professionals in power engineering, power electronics, and electric drives industries, as well as practicing engineers, university professors, postdoctoral fellows, and graduate students.Electric current convertersElectric motorsElectronic controlElectric current converters.Electric motorsElectronic control.621.3815/322Monmasson Eric1708096MiAaPQMiAaPQMiAaPQBOOK9910827372403321Power electronic converters4096854UNINA