LEADER 03335nam 2200661z- 450 001 9910557722803321 005 20220111 035 $a(CKB)5400000000046096 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/76411 035 $a(oapen)doab76411 035 $a(EXLCZ)995400000000046096 100 $a20202201d2021 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSmart Energy, Plasma and Nuclear Systems 210 $aBasel, Switzerland$cMDPI - Multidisciplinary Digital Publishing Institute$d2021 215 $a1 online resource (106 p.) 311 08$a3-0365-0752-3 311 08$a3-0365-0753-1 330 $aThe extended papers in this Special Issue cover the topics of smart energy, nuclear systems, and micro energy grids. In "Electrical Loads and Power Systems for the DEMO Nuclear Fusion Project" and "Energy Analysis for the Connection of the Nuclear Reactor DEMO to the European Electrical Grid", the authors introduce a European DEMO project. In "Comparison and Design of Resonant Network Considering the Characteristics of a Plasma Generator" the authors present a theoretical analysis and experimental study on the resonant network of the power conditioning system (PCS). In "Techno-Economic Evaluation of Interconnected Nuclear-Renewable Micro Hybrid Energy Systems with Combined Heat and Power", the authors conducted a sensitivity analysis to identify the impact of the different variables on the investigated systems. In "Fault Current Tracing and Identification via Machine Learning Considering Distributed Energy Resources in Distribution Networks", the authors propose a current tracing method to model the single distribution feeder as several independent parallel connected virtual lines, with the result of tracing the detailed contribution of different current sources to the power line current. From the five extended papers, we observe that the SEGE is actively engaged in smart grid and green energy techniques. We hope that the readers enjoy this Special Issue. 606 $aResearch & information: general$2bicssc 606 $aTechnology: general issues$2bicssc 610 $abalance of plant 610 $acombined heat and power 610 $acurrent tracing 610 $aDEMO 610 $adistributed energy resources 610 $aelectric loads 610 $aelectrical transmission grid 610 $afault current 610 $ageneration power plant 610 $ahybrid energy system 610 $aLCCL network 610 $aLCL network 610 $anetwork model 610 $anuclear fusion 610 $anuclear power plant 610 $aphase compensation 610 $aplasma 610 $aplasma generator 610 $apower flow 610 $apower supply 610 $apower system 610 $apower systems 610 $arenewable energy 610 $atokamak 610 $aZVS control 615 7$aResearch & information: general 615 7$aTechnology: general issues 700 $aGabbar$b Hossam A$4edt$01253180 702 $aGabbar$b Hossam A$4oth 906 $aBOOK 912 $a9910557722803321 996 $aSmart Energy, Plasma and Nuclear Systems$93035955 997 $aUNINA LEADER 05499nam 22007335 450 001 9910767559703321 005 20251117072839.0 010 $a3-540-40016-8 024 7 $a10.1007/10722311 035 $a(CKB)1000000000548785 035 $a(SSID)ssj0000321266 035 $a(PQKBManifestationID)11255496 035 $a(PQKBTitleCode)TC0000321266 035 $a(PQKBWorkID)10264100 035 $a(PQKB)10608367 035 $a(DE-He213)978-3-540-40016-5 035 $a(MiAaPQ)EBC3089103 035 $a(PPN)155174460 035 $a(EXLCZ)991000000000548785 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAnalysis and Visualization Tools for Constraint Programming $eConstraint Debugging /$fedited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XXII, 370 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1870 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-41137-2 320 $aIncludes bibliographical references and index. 327 $aDebugging of Constraint Programs: The DiSCiPl Methodology and Tools -- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions with Constraints for CLP Debugging -- Locating Type Errors in Untyped CLP Programs -- Declarative Diagnosis in the CLP Scheme -- II. Performance Debugging -- Visual Tools to Debug Prolog IV Programs -- Search-Tree Visualisation -- Towards a Language for CLP Choice-Tree Visualisation -- Tools for Search-Tree Visualisation: The APT Tool -- Tools for Constraint Visualisation: The VIFID/TRIFID Tool -- Debugging Constraint Programs by Store Inspection -- Complex Constraint Abstraction: Global Constraint Visualisation -- III. Test Cases -- Using Constraint Visualisation Tools. 330 $aCoordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can ?t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1870 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aLogic, Symbolic and mathematical 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers) 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aLogic, Symbolic and mathematical. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/1 702 $aDeransart$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHermenegildo$b M.V$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaluszynski$b J$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910767559703321 996 $aAnalysis and Visualization Tools for Constraint Programming$92262774 997 $aUNINA