Common Problems Using NWP Models for Prediction of Photovoltaic Power
Resler, Jaroslav; Eben, Kryštof; Krč, Pavel
2012 - English Keywords: renewable energy; photovoltaic; NWP Available in digital repository of the ASCR Common Problems Using NWP Models for Prediction of Photovoltaic Power

Resler, Jaroslav; Eben, Kryštof; Krč, Pavel
Ústav informatiky, 2012

An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
Ratschan, Stefan
2012 - English Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present an modeling formalism and safety verification algorithm for such heterogeneous systems. Keywords: verification; complex systems; safety Available in digital repository of the ASCR An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems

Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical ...

Ratschan, Stefan
Ústav informatiky, 2012

Introduction to Algebra of Belief Functions on Three-element Frame of Discernment - A General Case
Daniel, Milan
2012 - English This contribution presents the second part of the introductive study of algebraic structure of belief functions (BFs) on 3-element frame of discernment. Algebraic method by Hájek & Valdés for BFs on 2-element frames is generalized to larger frame of discernment. Due to complexity of the algebraic structure, the study is divided into 2 parts, the present one is devoted to a case of general BFs. The definition of Dempster's semigroup (an algebraic structure) of BFs on 3-element frame is recalled from the first part of the study. Results related to Bayesian and quasi Bayesian BFs from the first part are also briefly recalled. Further substructures related to another subsets of general BFs are described and analyzed (including idempotents, simple complementary BFs, generalizations of subsemigroups of simple BFs) and subalgebras isomorphic to Dempster's semigroup on 2-element frame of discernment. Ideas and open problems for future research are presented. Keywords: belief function; Dempster-Shafer theory; Dempster's semigroup; homomorphisms; conflict between belief functions; uncertainty Available in digital repository of the ASCR Introduction to Algebra of Belief Functions on Three-element Frame of Discernment - A General Case

This contribution presents the second part of the introductive study of algebraic structure of belief functions (BFs) on 3-element frame of discernment. Algebraic method by Hájek & Valdés for BFs on ...

Daniel, Milan
Ústav informatiky, 2012

Long Term Forecast of Photovoltaic Power Generation
Juruš, Pavel; Eben, Kryštof; Krč, Pavel; Hošek, Jiří; Brabec, Marek
2012 - English Keywords: climatological analysis; satelite data; reanalysis Available in digital repository of the ASCR Long Term Forecast of Photovoltaic Power Generation

Juruš, Pavel; Eben, Kryštof; Krč, Pavel; Hošek, Jiří; Brabec, Marek
Ústav informatiky, 2012

Engineering Distributed Adaptive Systems using Components
Keznikl, Jaroslav
2012 - English Available in a digital repository NRGL Engineering Distributed Adaptive Systems using Components

Keznikl, Jaroslav
Ústav informatiky, 2012

Dámy informatičky a pánové informatici ve světě firem
Chytil, Michal
2012 - Czech Keywords: informatika; výuka; firmy Available in a digital repository NRGL Dámy informatičky a pánové informatici ve světě firem

Chytil, Michal
Ústav informatiky, 2012

Statistical Modelling of Wind Direction Data using Genetic Algorithms
Heckenbergerová, Jana
2012 - English Available in digital repository of the ASCR Statistical Modelling of Wind Direction Data using Genetic Algorithms

Heckenbergerová, Jana
Ústav informatiky, 2012

Statistical Modeling of Uncertainty in Photovoltaic Energy Forecasts
Brabec, Marek; Pelikán, Emil; Krč, Pavel; Eben, Kryštof; Malý, Marek; Resler, Jaroslav; Juruš, Pavel
2012 - English Keywords: uncertainty modeling; semiparametric models; quantile regression Available in digital repository of the ASCR Statistical Modeling of Uncertainty in Photovoltaic Energy Forecasts

Brabec, Marek; Pelikán, Emil; Krč, Pavel; Eben, Kryštof; Malý, Marek; Resler, Jaroslav; Juruš, Pavel
Ústav informatiky, 2012

Modeling and forecasting atmospheric icing on structures
Hošek, Jiří
2012 - English Available in digital repository of the ASCR Modeling and forecasting atmospheric icing on structures

Hošek, Jiří
Ústav informatiky, 2012

Detekce fotovoltaických zdrojů s nestandardním chováním
Kasanický, Ivan
2012 - Czech Keywords: fotovoltaické zdroje energie; meteorologie pro energetiku; funkcionální data Available in a digital repository NRGL Detekce fotovoltaických zdrojů s nestandardním chováním

Kasanický, Ivan
Ústav informatiky, 2012