LEADER 03625oam 2200613 450 001 996465309103316 005 20210715200528.0 010 $a3-540-48778-6 024 7 $a10.1007/3-540-48778-6 035 $a(CKB)1000000000211157 035 $a(SSID)ssj0000323222 035 $a(PQKBManifestationID)11268145 035 $a(PQKBTitleCode)TC0000323222 035 $a(PQKBWorkID)10312543 035 $a(PQKB)11549890 035 $a(DE-He213)978-3-540-48778-4 035 $a(MiAaPQ)EBC3073175 035 $a(MiAaPQ)EBC6485992 035 $a(PPN)155186841 035 $a(EXLCZ)991000000000211157 100 $a20210715d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal methods for real-time and probabilistic systems $e5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /$fJost-Pieter Katoen 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (X, 362 p.) 225 1 $aLecture Notes in Computer Science ;$v1601 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66010-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. 410 0$aLecture notes in computer science ;$v1601. 606 $aFormal methods (Computer science)$vCongresses 606 $aReal-time data processing$vCongresses 606 $aComputer science 615 0$aFormal methods (Computer science) 615 0$aReal-time data processing 615 0$aComputer science. 676 $a004.0151 700 $aKatoen$b Jost-Pieter 701 $aKatoen$b Joost-Pieter$0312040 712 12$aInternational AMAST Workshop, ARTS'99 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465309103316 996 $aFormal methods for real-time and probabilistic systems$92860214 997 $aUNISA LEADER 02650nam 2200421 450 001 9910583008203321 005 20230120002514.0 010 $a0-08-101024-9 010 $a0-08-100925-9 035 $a(CKB)3710000001006863 035 $a(CaSebORM)9780081010242 035 $a(MiAaPQ)EBC4774861 035 $a(EXLCZ)993710000001006863 100 $a20170117h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aPower supplies for led driving /$fSteve Winder 205 $aSecond edition. 210 1$aCambridge, Massachusetts ;$aLondon, England :$cElsevier,$d2017. 210 4$d©2017 215 $a1 online resource (322 pages) 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- Characteristics of LEDs -- Driving LEDs -- Linear power supplies -- Buck-based LED drivers -- Boost converters -- Boost-buck converter -- Nonisolated power factor correction circuits -- Fly-back converters and isolated PFC circuits -- Essentials of switching power supplies -- Selecting components for LED drivers -- Magnetic materials for inductors and transformers -- EMI and EMC issues -- Thermal considerations -- Safety issues -- Control systems -- Applications. 330 $aPower Supplies for LED Driving, Second Edition explores the wide use of light-emitting diodes due to their efficient use of power. The applications for power LEDs include traffic lights, street lamps, automotive lighting, architectural lights, theatre lighting, household light replacements, signage lighting (replacing neon strip lights and fluorescent tubes), LCD display backlighting, and many more. Powering (driving) these LED's is not always simple. Linear driving is inefficient and generates far too much heat. With a switching supply, the main issues are EMI, efficiency, and of course cost. This book covers the design trade-offs involved in LED driving applications, from low-power, to UB-LEDs and beyond. Provides a practical, hands-on approach to power supply design for LED drivers Contains detailed examples of what works throughout the design process Presents commentary on how the calculated component value compares with the actual value used, including a description of why the choice was made 606 $aLED lighting$vCongresses 615 0$aLED lighting 676 $a621.322 700 $aWinder$b Steve$0878245 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910583008203321 996 $aPower supplies for led driving$92031036 997 $aUNINA