乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T12:16:37Z","timestamp":1726229797688},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031436802"},{"type":"electronic","value":"9783031436819"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-43681-9_7","type":"book-chapter","created":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T06:02:16Z","timestamp":1694844136000},"page":"113-130","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling of\u00a0Hot Water Buffer Tank and\u00a0Mixing Loop for\u00a0an\u00a0Intelligent Heat Pump Control"],"prefix":"10.1007","author":[{"given":"Imran Riaz","family":"Hasrat","sequence":"first","affiliation":[]},{"given":"Peter Gj\u00f8l","family":"Jensen","sequence":"additional","affiliation":[]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,17]]},"reference":[{"key":"7_CR1","unstructured":"Energy consumption in households, April 2023. https:\/\/ec.europa.eu\/eurostat\/statistics-explained\/index.php?title=Energy_consumption_in_households"},{"key":"7_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2020.115751","volume":"279","author":"MK Daryabari","year":"2020","unstructured":"Daryabari, M.K., Keypour, R., Golmohamadi, H.: Stochastic energy management of responsive plug-in electric vehicles characterizing parking lot aggregators. Appl. Energy 279, 115751 (2020)","journal-title":"Appl. Energy"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Agesen, M.K., et al.: Toolchain for user-centered intelligent floor heating control. In: IECON 2016\u201342nd Annual Conference of the IEEE Industrial Electronics Society, pp. 5296\u20135301 (2016)","DOI":"10.1109\/IECON.2016.7794040"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-662-49674-9_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"KG Larsen","year":"2016","unstructured":"Larsen, K.G., Miku\u010dionis, M., Mu\u00f1iz, M., Srba, J., Taankvist, J.H.: Online and compositional learning of controllers with application to floor heating. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 244\u2013259. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_14"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1016\/j.scs.2018.07.027","volume":"42","author":"PJC Vogler-Finck","year":"2018","unstructured":"Vogler-Finck, P.J.C., Wisniewski, R., Popovski, P.: Reducing the carbon footprint of house heating through model predictive control - a simulation study in Danish conditions. Sustain. Cities Soc. 42, 558\u2013573 (2018)","journal-title":"Sustain. Cities Soc."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-031-10363-6_24","volume-title":"Theoretical Aspects of Software Engineering - TASE 2022","author":"IR Hasrat","year":"2022","unstructured":"Hasrat, I.R., Jensen, P.G., Larsen, K.G., Srba, J.: End-to-end heat-pump control using continuous time stochastic modelling and uppaal stratego. In: A\u00eft-Ameur, Y., Cr\u0103ciun, F. (eds.) TASE 2022. LNCS, vol. 13299, pp. 363\u2013380. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-10363-6_24"},{"key":"7_CR7","unstructured":"Juhl, R., M\u00f8ller, J.K., Madsen, H.: CTSMR - Continuous Time Stochastic Modeling in R. arXiv (2016)"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: Uppaal Stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206\u2013211. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"7_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2021.121631","volume":"238","author":"R Hermansen","year":"2022","unstructured":"Hermansen, R., Smith, K., Thorsen, J.E., Wang, J., Zong, Y.: Model predictive control for a heat booster substation in ultra low temperature district heating systems. Energy 238, 121631 (2022)","journal-title":"Energy"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Sepulveda, A., Paull, L., Morsi, W.G., Li, H., Diduch, C.P., Chang, L.: A novel demand side management program using water heaters and particle swarm optimization. In: 2010 IEEE Electrical Power and Energy Conference, pp. 1\u20135. IEEE (2010)","DOI":"10.1109\/EPEC.2010.5697187"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Paull, L., MacKay, D., Li, H., Chang, L.: Awater heater model for increased power system efficiency. In: 2009 Canadian Conference on Electrical and Computer Engineering, pp. 731\u2013734. IEEE (2009)","DOI":"10.1109\/CCECE.2009.5090225"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Lu, S., et al.: Centralized and decentralized control for demand response. In: ISGT 2011, pp. 1\u20138. IEEE (2011)","DOI":"10.1109\/ISGT.2011.5759191"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Nehrir, M.H., Jia, R., Pierre, D.A., Hammerstrom, D.J.: Power management of aggregate electric water heater loads by voltage control. In: 2007 IEEE Power Engineering Society General Meeting, pp. 1\u20136. IEEE (2007)","DOI":"10.1109\/PES.2007.386024"},{"key":"7_CR14","unstructured":"Hock, C., Goh, K., Apt, J.: Consumer strategies for controlling electric water heaters under dynamic pricing. In: Carnegie Mellon Electricity Industry Center Working Paper (2004)"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0378-7796(95)01011-4","volume":"36","author":"PS Dolan","year":"1996","unstructured":"Dolan, P.S., Nehrir, M.H., Gerez, V.: Development of a Monte Carlo based aggregate model for residential electric water heater loads. Electr. Power Syst. Res. 36(1), 29\u201335 (1996)","journal-title":"Electr. Power Syst. Res."},{"issue":"3","key":"7_CR16","doi-asserted-by":"publisher","first-page":"1209","DOI":"10.1109\/59.336078","volume":"9","author":"JC Laurent","year":"1994","unstructured":"Laurent, J.C., Malhame, R.P.: A physically-based computer model of aggregate electric water heating loads. IEEE Trans. Power Syst. 9(3), 1209\u20131217 (1994)","journal-title":"IEEE Trans. Power Syst."},{"issue":"4","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1850","DOI":"10.1109\/59.544653","volume":"11","author":"IE Lane","year":"1996","unstructured":"Lane, I.E., Beute, N.: A model of the domestic hot water load. IEEE Trans. Power Syst. 11(4), 1850\u20131855 (1996)","journal-title":"IEEE Trans. Power Syst."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Jia, R., Nehrir, M.H., Pierre, D.A.: Voltage control of aggregate electric water heater load for distribution system peak load shaving using field data. In: 2007 39th North American Power Symposium, pp. 492\u2013497 (2007)","DOI":"10.1109\/NAPS.2007.4402355"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Elgazzar, K., Li, H., Chang, L.: A centralized fuzzy controller for aggregated control of domestic water heaters. In: 2009 Canadian Conference on Electrical and Computer Engineering, pp. 1141\u20131146. IEEE (2009)","DOI":"10.1109\/CCECE.2009.5090304"},{"issue":"12","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1446","DOI":"10.1016\/j.epsr.2010.06.013","volume":"80","author":"L Paull","year":"2010","unstructured":"Paull, L., Li, H., Chang, L.: A novel domestic electric water heater model for a multi-objective demand side management program. Electr. Power Syst. Res. 80(12), 1446\u20131451 (2010)","journal-title":"Electr. Power Syst. Res."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Kondoh, J., Lu, N., Hammerstrom, D.J.: An evaluation of the water heater load potential for providing regulation service. In: 2011 IEEE Power and Energy Society General Meeting, pp. 1\u20138. IEEE (2011)","DOI":"10.1109\/PES.2011.6039149"},{"key":"7_CR22","unstructured":"Diao, R., Lu, S., Elizondo, M., Mayhorn, E., Zhang, Y., Samaan, N.: Electric water heater modeling and control strategies for demand response. In: 2012 IEEE Power and Energy Society General Meeting, pp. 1\u20138. IEEE (2012)"},{"key":"7_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2020.110273","volume":"224","author":"X Yang","year":"2020","unstructured":"Yang, X., Svendsen, S.: Improving the district heating operation by innovative layout and control strategy of the hot water storage tank. Energy Build. 224, 110273 (2020)","journal-title":"Energy Build."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Farooq, A.A., Afram, A., Schulz, N., Janabi-Sharifi, F.: Grey-box modeling of a low pressure electric boiler for domestic hot water system. Appl. Thermal Eng. 84, 257\u2013267 (2015)","DOI":"10.1016\/j.applthermaleng.2015.03.050"},{"key":"7_CR25","unstructured":"Furbo, S.: Heat storage for solar heating systems. Educational Note, BYG.DTU U-071, ISSN 1396-4046 (2005)"},{"key":"7_CR26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jobe.2021.103286","volume":"46","author":"Hessam Golmohamadi and Kim Guldstrand Larsen","year":"2022","unstructured":"Hessam Golmohamadi and Kim Guldstrand Larsen: Economic heat control of mixing loop for residential buildings supplied by low-temperature district heating. J. Build. Eng. 46, 103286 (2022)","journal-title":"J. Build. Eng."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Overgaard, A., Nielsen, B.K., Kalles\u00f8e, C.S., Bendtsen, J.D.: Reinforcement learning for mixing loop control with flow variable eligibility trace. In: 2019 IEEE Conference on Control Technology and Applications (CCTA), pp. 1043\u20131048 (2019)","DOI":"10.1109\/CCTA.2019.8920398"},{"key":"7_CR28","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2020.117304","volume":"198","author":"A Volkova","year":"2020","unstructured":"Volkova, A., et al.: Energy cascade connection of a low-temperature district heating network to the return line of a high-temperature district heating network. Energy 198, 117304 (2020)","journal-title":"Energy"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Meesenburg, W., Ommen, T., Thorsen, J.E., Elmegaard, B.: Economic feasibility of ultra-low temperature district heating systems in newly built areas supplied by renewable energy. Energy 191, 116496 (2020)","DOI":"10.1016\/j.energy.2019.116496"},{"key":"7_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2020.109830","volume":"212","author":"A Rahmatmand","year":"2020","unstructured":"Rahmatmand, A., Vratonjic, M., Sullivan, P.E.: Energy and thermal comfort performance evaluation of thermostatic and electronic mixing valves used to provide domestic hot water of buildings. Energy Build. 212, 109830 (2020)","journal-title":"Energy Build."},{"key":"7_CR31","unstructured":"Jensen, S.\u00d8.: OPSYS tools for investigating energy flexibility in houses with heat pumps (2018). https:\/\/www.annex67.org\/media\/1838\/report-opsys-flexibilitet.pdf"},{"key":"7_CR32","unstructured":"Dayssault systems. dymola (dynamic modeling laboratory) systems engineering), October 2022. https:\/\/www.3ds.com\/products-services\/catia\/products\/dymola\/"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1-2), 134\u2013152 (1997)","DOI":"10.1007\/s100090050010"},{"key":"7_CR34","unstructured":"Behrmann, G., et al.: Uppaal 4.0. IEEE Computer Society (2006)"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Bulychev, P., Legay, A., Wang, Z.: Uppaal-SMC: statistical model checking for priced timed automata. arXiv preprint arXiv:1207.1272 (2012)","DOI":"10.4204\/EPTCS.85.1"},{"key":"7_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: time for playing games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121\u2013125. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Jensen, P.G., Larsen, K.G., Legay, A., Nyman, U.: Integrating tools: co-simulation in Uppaal using FMI-FMU. In: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 11\u201319. IEEE (2017)","DOI":"10.1109\/ICECCS.2017.33"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Hasrat, I.R., Jensen, P.G., Larsen, K.G., Srba, J.: Complete Uppaal Stratego model for \u201cmodelling of hot water buffer tank and mixing loop for an intelligent heat pump control\", May 2023. https:\/\/github.com\/ImranRiazAAU\/BufferTankModelling.git","DOI":"10.1007\/978-3-031-43681-9_7"},{"key":"7_CR39","unstructured":"Control technology: weather compensated controls (Viessmann: climate of innovation) (2023). https:\/\/viessmanndirect.co.uk\/files\/\/8e57dbc7-8a10-4065-bcc6-a27700ee752a\/weather_comp.pdf"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-43681-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T09:04:56Z","timestamp":1710839096000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43681-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031436802","9783031436819"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43681-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Antwerp","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.uantwerpen.be\/en\/conferences\/confest-2023\/fmics\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}