LEADER 02249oam 2200529Ka 450 001 9910260634503321 005 20190624182803.0 035 $a(CKB)2670000000263546 035 $a(SSID)ssj0000715533 035 $a(PQKBManifestationID)11472385 035 $a(PQKBTitleCode)TC0000715533 035 $a(PQKBWorkID)10700631 035 $a(PQKB)10350540 035 $a(WaSeSS)Ind00065843 035 $a(OCoLC)827303967$z(OCoLC)705969359$z(OCoLC)1058744947 035 $a(OCoLC-P)827303967 035 $a(MaCbMITP)4313 035 $a(EXLCZ)992670000000263546 100 $a20130212d1993 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aLogic programming languages $econstraints, functions, and objects /$fedited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten 210 $aCambridge, Mass. $cMIT Press$d©1993 215 $a1 online resource (xv, 207 p.) 225 1 $aLogic programming 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-262-25564-2 320 $aIncludes bibliographical references. 330 3 $a"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming." 606 $aLogic programming languages 610 0 $aLogic programming 610 $aCOMPUTER SCIENCE/Artificial Intelligence 610 $aCOMPUTER SCIENCE/Programming Languages 615 0$aLogic programming languages. 676 $a005.13/1 701 $aApt$b Krzysztof R.$f1949-$0753382 701 $aBakker$b J. W. de$g(Jacobus Willem),$f1939-$01208027 701 $aRutten$b J. J. M. M$01208028 801 0$bOCoLC-P 801 1$bOCoLC-P 906 $aBOOK 912 $a9910260634503321 996 $aLogic programming languages$92787044 997 $aUNINA LEADER 04190nam 22006495 450 001 9910983488003321 005 20250212115415.0 010 $a9789819616718 010 $a9819616719 024 7 $a10.1007/978-981-96-1671-8 035 $a(MiAaPQ)EBC31907457 035 $a(Au-PeEL)EBL31907457 035 $a(CKB)37523013900041 035 $a(DE-He213)978-981-96-1671-8 035 $a(OCoLC)1499635727 035 $a(EXLCZ)9937523013900041 100 $a20250212d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProceedings of the 9th PURPLE MOUNTAIN FORUM on Smart Grid Protection and Control (PMF2024) /$fedited by Yusheng Xue, Yuping Zheng, Antonio Gómez Expósito 205 $a1st ed. 2025. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025. 215 $a1 online resource (1305 pages) 225 1 $aLecture Notes in Electrical Engineering,$x1876-1119 ;$v1320 311 08$a9789819616701 311 08$a9819616700 327 $aDesign and Implementation of Twin Operation and Maintenance System for Power Grid Dispatching and Control System -- Compressed Sensing Algorithm for Short Data Window in Distribution Network -- A Comparison Study of Mixed-integer Formulations for Hydro-thermal SCUC Problem -- Robust Optimal Dispatching Method for Electric Vehicles-integrated Microgrid under Uncertainties -- Marginal Unit Location Method Based on Dual Simplex Sensitivity Analysis -- The analysis of AC faults in AC/DC hybrid distribution system with SOP. 330 $aThis book includes original, peer-reviewed research papers from the 2024 Engineering Technology Forum of CAE & the 9th Purple Mountain Form on Smart Grid Protection and Control(PMF2024), held in Nanjing, China, on August 16-18, 2024. The accepted papers cover the following topics: 1. Advanced power transmission technology 2. AC/DC hybrid power grid technology 3. Power Internet of Things Technology and Application 4. Operation, control and protection of smart grid 5. Active distribution network technology 6. Power electronic technology and application 7. New technology of substation automation 8. Energy storage technology and application 9. Application of new technologies such as artificial intelligence, blockchain, and big data 10. Application of Information and Communication Technology 11. Low-carbon energy planning and security 12. Low-carbon operation of the power system 13. Low-carbon energy comprehensive utilization technology 14. Carbon trading and power market 15. Carbon emission stream and carbon capture technology 16. Energy saving and smart energy technology 17. Analysis and evaluation of low-carbon efficiency of power system 18. Carbon flow modelling in power system operation The papers included in this proceeding share the latest research results and practical application examples on the methodologies and algorithms in these areas, which makes the book a valuable reference for researchers, engineers, and university students. 410 0$aLecture Notes in Electrical Engineering,$x1876-1119 ;$v1320 606 $aElectric power distribution 606 $aElectric power production 606 $aElectronic circuits 606 $aEnergy Grids and Networks 606 $aElectrical Power Engineering 606 $aElectronic Circuits and Systems 606 $aMechanical Power Engineering 615 0$aElectric power distribution. 615 0$aElectric power production. 615 0$aElectronic circuits. 615 14$aEnergy Grids and Networks. 615 24$aElectrical Power Engineering. 615 24$aElectronic Circuits and Systems. 615 24$aMechanical Power Engineering. 676 $a321.319 700 $aXue$b Yusheng$01785406 701 $aZheng$b Yuping$01785407 701 $aGómez Expósito$b Antonio$01442295 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983488003321 996 $aProceedings of the 9th PURPLE MOUNTAIN FORUM on Smart Grid Protection and Control (PMF2024)$94316939 997 $aUNINA