this study investigates the accuracy of EN ISO 13370 simplified method to consider the impact of floor edge insulation on ground-coupled heat loss, in comparison to both steady-state (softwaretherm) and dynamic (soft...
详细信息
this study investigates the accuracy of EN ISO 13370 simplified method to consider the impact of floor edge insulation on ground-coupled heat loss, in comparison to both steady-state (softwaretherm) and dynamic (software Delphin and Voltra) simulation models. A comprehensive analysis was conducted on 78 distinct combinations of floor insulation thickness and additional vertical/horizontal edge insulation. the findings reveal that the standard procedure tends to overestimate heat loss for uninsulated or minimally insulated floors, as indicated by both steady-state and dynamic simulations. the simulations also show a decline in accuracy for insulation thicknesses between 100-400 mm when compared to dynamic models. this decline in accuracy is attributed to the EN ISO standard not accounting for floor/wall thermal bridge heat loss, rather than being a result of the standard not being developed for well-insulated floors. this assessment of ground-coupled heat loss compares steady-state and dynamic simulations to the current EN ISO 13370 procedure on various combinations of entire floor and edge insulation thickness in a seasonal frost region. the results imply that with increasing insulation thickness, the relative error of standard procedure increases. Further research on various floor geometries and climates can give input for refining current standard procedures to enhance accuracy.
In recent years, a growing number of investors and researchers have been applying deep learning techniques to stock price prediction in the stock market, yielding promising predictive outcomes. this study employs the ...
详细信息
the inherent variability in the power production of renewable energy sources (RES) limits the effectiveness of energy management systems (EMS) since optimal dispatch on power networks highly depends on the accuracy of...
详细信息
Over the past two decades, the popularity of messaging systems has increased both in enterprise and consumer level. Many of these systems used secure protocols like end-to-end encryption to ensure strong security feat...
详细信息
In the context of the national big data strategy, physical fitness test data has become one of the main influencing factors in guiding and promoting the participation of the population in sports and fitness. Recommend...
详细信息
Total Knee Arthroplasty (TKA) aims to relieve knee dysfunction caused by osteoarthritis or injury, but its success is hindered by implant failure. this study examines the impact of implant porosity on the biomechanica...
详细信息
this paper presents a research project that uses Factory I/O controlled by TIA portal software to simulate automated parcel sorting and handling at the parcel sorting station. the development of the automated system a...
详细信息
the prediction of peptide- HLA binding affinity is a crucial step in cancer immunotherapy based on neoantigens. Currently, machine learning algorithms for predicting pHLA binding affinity primarily rely on neural netw...
详细信息
this paper presents a real-time automatic modulation recognition scheme that can implement deep learning algorithm on Field Programmable Gate Array (FPGA) to meet the performance and power requirements of real-time si...
详细信息
the proceedings contain 29 papers. the special focus in this conference is on Rigorous State-Based Methods. the topics include: TASTD: A Real-Time Extension for ASTD;validation by Abstraction and Refine...
ISBN:
(纸本)9783031331626
the proceedings contain 29 papers. the special focus in this conference is on Rigorous State-Based Methods. the topics include: TASTD: A Real-Time Extension for ASTD;validation by Abstraction and Refinement;verifying Event-B Hybrid models Using Cyclone;Exploration of Reflective ASMs for Security;Standalone Event-B models Analysis Relying on the EB4EB Meta-theory;adding Records to Alloy;Designing Critical Systems Using Hierarchical STPA and Event-B;behavioural theory of Reflective Algorithms;building Specifications in the Event-B Institution: A Summary;using Deep Ontologies in Formal softwareengineering;verifying Temporal Relational models with Pardinus;AMAN Case Study;modeling and Analysis of a Safety-Critical Interactive System through Validation Obligations;task Model Design and Analysis with Alloy;modeling and Verifying an Arrival Manager Using Event-B;formal MVC: A Pattern for the Integration of ASM Specifications in UI Development;exploring a Methodology for Formal Verification of Safety-Critical Systems;extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems;a Framework for Formal Verification and Validation of Railway Systems;Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi;pattern-Based Refinement Generation through Domain Specific Languages;introducing Inductive Construction in B withthe theory Plugin;validation of Formal models by Interactive Simulation;thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems;Encoding (Formula presented) Proof Obligations Safely for SMT;Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines;crucible Tools for Test Generation and Animation of Alloy models.
暂无评论