06658nam 22007215 450 991076846810332120251226203629.03-540-33057-710.1007/11691372(CKB)1000000000232883(SSID)ssj0000320416(PQKBManifestationID)11262154(PQKBTitleCode)TC0000320416(PQKBWorkID)10248777(PQKB)11351803(DE-He213)978-3-540-33057-8(MiAaPQ)EBC3068007(PPN)12313269X(EXLCZ)99100000000023288320100301d2006 u| 0engurnn|008mamaatxtccrTools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings /edited by Holger Hermanns, Jens Palsberg1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XVI, 512 p.) Theoretical Computer Science and General Issues,2512-2029 ;3920Bibliographic Level Mode of Issuance: Monograph3-540-33056-9 Includes bibliographical references and index.Invited Contributions -- Weighted Pushdown Systems and Trust-Management Systems -- Parametrization and Slicing -- Automatic Verification of Parameterized Data Structures -- Parameterized Verification of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants -- Efficient Guided Symbolic Reachability Using Reachability Expressions -- Satisfiability -- SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver -- SAT-Based Software Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification -- Abstraction -- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems -- Why Waste a Perfectly Good Abstraction? -- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking -- Approximating Predicate Images for Bit-Vector Logic -- Model Checking Algorithms -- Finitary Winning in ?-Regular Games -- Efficient Model Checking for LTL with Partial Order Snapshots -- A Local Shape Analysis Based on Separation Logic -- Program Verification -- Compositional Model Extraction for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs with Tree Updates -- Runtime Diagnostics -- An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches onSeeded Faults -- Exploiting Traces in Program Analysis -- Quantitative Techniques -- Model-Checking Markov Chains in the Presence of Uncertainties -- Safety Metric Temporal Logic Is Fully Decidable -- Simulation-Based Graph Similarity -- Tool Demonstrations -- PRISM: A Tool for Automatic Verification of Probabilistic Systems -- DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation -- mcmas: A Model Checker for Multi-agent Systems -- MSCan – A Tool for Analyzing MSC Specifications -- Refinement -- A Practical and Complete Approach to Predicate Refinement -- Counterexample Driven Refinement for Abstract Interpretation -- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.Theoretical Computer Science and General Issues,2512-2029 ;3920Software engineeringComputer scienceComputer networksAlgorithmsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingComputer Communication NetworksAlgorithmsSoftware engineering.Computer science.Computer networks.Algorithms.Software Engineering.Computer Science Logic and Foundations of Programming.Computer Communication Networks.Algorithms.005.1Hermanns Holger1967-555144Palsberg Jens1750242ETAPS 2006(2006 :Vienna, Austria)MiAaPQMiAaPQMiAaPQBOOK9910768468103321Tools and algorithms for the construction and analysis of systems4184833UNINA06897nam 2201933z- 450 991067405360332120210501(CKB)5400000000042586(oapen)https://directory.doabooks.org/handle/20.500.12854/68594(oapen)doab68594(oapen)68594(EXLCZ)99540000000004258620202105d2020 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierPower Converters in Power ElectronicsBasel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20201 online resource (354 p.)3-03936-132-5 3-03936-133-3 In recent years, power converters have played an important role in power electronics technology for different applications, such as renewable energy systems, electric vehicles, pulsed power generation, and biomedical sciences. Power converters, in the realm of power electronics, are becoming essential for generating electrical power energy in various ways. This Special Issue focuses on the development of novel power converter topologies in power electronics. The topics of interest include, but are not limited to: Z-source converters; multilevel power converter topologies; switched-capacitor-based power converters; power converters for battery management systems; power converters in wireless power transfer techniques; the reliability of power conversion systems; and modulation techniques for advanced power converters.History of engineering and technologybicsscactive balance circuitadd-on pulse chargerbi-directional converterbidirectional DC/DC converter (BDC)boost convertercarrier-based pulse width modulationcascade H bridge multilevel invertercascaded H-bridge invertercircuit simulationclassical gate drivercommon-mode voltagecommon-mode voltage eliminationcomputational complexityconducted emissionconfluence plateconstant current (CC)constant voltage (CV)counter-basedcurrent sharingcurrent sharing controlcurrent source convertercurrent source inverterCurrent-feddc converterDC motordifferential flatnessdiode clamped multilevel inverterdirect power controldisturbance observerdual mode operationelectromagnetic compatibility (EMC)EMIexperimental validationfast chargingfinite control set model predictive controlfixed frequencyflying capacitor multilevel inverterfractional order elementsfull bridge (FB)full bridge converterfull-bridge Buck inverterfull-power testinggrid-connected invertergrid-tiedH-bridge five-level inverterharmonichigh-frequency switchinghigh-powerimpedance networkindividual phaseinductive power transfer (IPT)input current rippleintelligent controlinterference sourcesLCL filterleakage currentLi-ion batterylithium batterylow-voltage and high-currentLyapunov algorithmmathematical modelmatrix rectifierMedium-Frequencyminimal number of commutationsmodel predictive control (MPC)modular multilevel dc-dc converters (MMDCs)motor drivesmultilevel invertermultiplexed modulationn/aNeutral Point Clamped Converterneutral-point clamped (NPC) inverteroffset functionone-comparatoroperation testparameter perturbationparameter uncertaintyparametric modeling methodpeak-current-mode (PCM) controlPFMPhotovoltaicsPI controllerspower converterspower decouplingpower efficiencypower factor adjustmentpower ripplePower-ImbalancePSCAD/MULTISIM simulationpulse chargingPulse Width ModulationPWFMPWMPWM control techniquesquasi-switched boostquasi-switched boost inverterquasi-switched-boost networkquasi-z-source inverterquick chargeRPWMselective voltage harmonic eliminationSEPIC converterseries-connected batteryshoot through stateshoot-throughsingle phasesingle-phase inverterspace vector modulationspace-vector pulse-width modulationstabilitystability analysisstate feedback linearizationstate machinestatic synchronous compensator (STATCOM)switching loss reductionswitching model power supply (SMPS)target period orbit trackingthree-bridge switchingthree-level T-type inverterthree-phase invertertime-varying duty cycletotal harmonic distortiontransformerlessvector fitting algorithmvoltage multiplierwireless power transmissionZ-SourceZ-source inverterZ-source networkzero voltage operationzero-current switching (ZCS)zero-voltage switching (ZVS)History of engineering and technologyNguyễn Minh Khảiedt1337679Nguyễn Minh KhảiothBOOK9910674053603321Power Converters in Power Electronics3057200UNINA