Modelování a analýza energeticky úsporných budov

Abstract

Práca sa zaoberá analýzou prostredia, návrhom modelu energeticky úspornej budovy, jeho implementáciou a testovaním. Analyzuje jednotlivé faktory, ktoré majú vplyv na energetickú náročnosť budov. Predstavuje návrh modelu, ktorý umožňuje sledovanie spotreby energie v budove a simuláciu tepelných javov. Návrh modelu je implementovaný v nástroji UPPAAL SMC, za pomoci siete stochastických časovaných automatov. V poslednej časti práca obsahuje vyhodnotenie jednotlivých testov a ich porovnanie s predpokladmi.

This thesis is focused on environment analysis, design, implementation and testing the energy-aware building model. It breaks down individual factors affecting energetic perspective of building. It introduces design of model that allows monitoring of energy consumption and simulation of heat transfers. Implementation uses stochastic timed automata in UPPAAL SMC environment. The last part of thesis contains tests showing model functionality.