Common Problems Using NWP Models for Prediction of Photovoltaic Power
Resler, Jaroslav; Eben, Kryštof; Krč, Pavel
2012 - anglický Klíčová slova: renewable energy; photovoltaic; NWP Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - anglický 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. Klíčová slova: verification; complex systems; safety Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - anglický 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. Klíčová slova: belief function; Dempster-Shafer theory; Dempster's semigroup; homomorphisms; conflict between belief functions; uncertainty Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - anglický Klíčová slova: climatological analysis; satelite data; reanalysis Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - anglický Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - český Klíčová slova: informatika; výuka; firmy Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - anglický Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - anglický Klíčová slova: uncertainty modeling; semiparametric models; quantile regression Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - anglický Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. 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 - český Klíčová slova: fotovoltaické zdroje energie; meteorologie pro energetiku; funkcionální data Plné texty jsou dostupné v digitálním repozitáři NUŠL Detekce fotovoltaických zdrojů s nestandardním chováním

Kasanický, Ivan
Ústav informatiky, 2012