Projekt GAMMA - Přehled činností za období duben - červen 2012
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období duben až červen 2012. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další postup. Je popsáno změněné zadání projektu a uveden návrh metodiky identifikace lokalit pro osazování inteligentním měřením. Dále jsou uvedeny výsledky analýz provedených za účelem identifikace podezřelých odečtů. Keywords: GAMMA model; zemní plyn; odhad ztrát; uzavřené lokality Available at various institutes of the ASCR Projekt GAMMA - Přehled činností za období duben - červen 2012

Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období duben až červen 2012. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Projekt GAMMA - Přehled činností za období říjen-prosinec 2012
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období říjen až prosinec 2012. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další postup. Zpráva obsahuje výsledky analýzy geografického rozmístění problematických obcí identifikovaných metodikou popsanou ve výzkumné zprávě č. 1169. Dále zpráva obsahuje výsledky analýzy vlivu nesprávného přiřazení třídy TDD na přesnost odhadu spotřeby modelem TDD. Keywords: GAMMA model; typové diagramy dodávky; zemní plyn; smart metering; uzavřené lokality; zemní plyn; uzavření Available at various institutes of the ASCR Projekt GAMMA - Přehled činností za období říjen-prosinec 2012

Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období říjen až prosinec 2012. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Popis modelu TDD, verze 3.3
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech Zpráva obsahuje popis tvorby a použití modelu TDD pro odhad spotřeby zemního plynu zákazníkù s měřením typu"C". Součástí zprávy je metodika použití modelu TDD operátorem trhu, dále metodika použití TDD provozovatelem distribuční soustavy (PDS), popis aktualizace modelu TDD a popis předávaných souborů s parametry. Model je otestován na reálných datech ze zákaznického kmene distribuční společnosti RWE GasNet a na datech z mimořádných průběhových měření. Dokument zahrnuje stav ke dni 15.10.2012. Keywords: typové diagramy dodávky; zemní plyn; pravidla trhu s plynem; zemní plyn; modely Available at various institutes of the ASCR Popis modelu TDD, verze 3.3

Zpráva obsahuje popis tvorby a použití modelu TDD pro odhad spotřeby zemního plynu zákazníkù s měřením typu"C". Součástí zprávy je metodika použití modelu TDD operátorem trhu, dále metodika použití ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Formal Verification of Annotated Use-Cases
Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
2012 - English Keywords: specification; use-cases; behavior modeling; verification; temporal logic; formalization Available at various institutes of the ASCR Formal Verification of Annotated Use-Cases

Šimko, V.; Hnětynka, P.; Bureš, Tomáš; Plášil, František
Ústav informatiky, 2012

Projekt GAMMA - Přehled činností za období leden - březen 2012
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech Keywords: GAMMA; zemní plyn; odhad ztrát; uzavřené lokality; zemní plyn Available at various institutes of the ASCR Projekt GAMMA - Přehled činností za období leden - březen 2012

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)
Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
2012 - English Keywords: software architecture; software connectors; constraint solving; middleware-based connectors; connector theory; Alloy Available at various institutes of the ASCR Automated Resolution of Connector Architectures Using Constraint Solving (ARCAS method)

Keznikl, Jaroslav; Bureš, T.; Plášil, F.; Hnětynka, P.
Ústav informatiky, 2012

Projekt GAMMA - Přehled činností za období červenec - srpen 2012
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období červenec až září 2012. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další postup. Zpráva obsahuje výsledky testování různých variant metodiky identifikace lokalit pro osazování inteligentním měřením navržené v předchozím čtvrtletí (a popsané ve zprávě č. 1168) a dále výsledky identifikace na základě testovaných kritérií. Keywords: GAMMA model; zemní plyn; smart metering; uzavřené lokality Available at various institutes of the ASCR Projekt GAMMA - Přehled činností za období červenec - srpen 2012

Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období červenec až září 2012. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Porovnání výstupů dvou posledních verzí modelu TDD za plynárenský rok 2011/2012
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2012 - Czech Ve zprávě je porovnána přesnost dvou posledních verzí modelu TDD, a to verze 3.2 a 3.3 za plynárenský rok 2011/2012, tj. za období 1.10.2011 až 30.9.2012. Porovnání bylo provedeno dle metodiky popsané ve výzkumné zprávě č. 1138 s využitím kmenových dat distribuční společnosti RWE GasNet. Keywords: typové diagramy dodávky; zemní plyn; pravidla trhu s plynem; zemní plyn; plyny Available at various institutes of the ASCR Porovnání výstupů dvou posledních verzí modelu TDD za plynárenský rok 2011/2012

Ve zprávě je porovnána přesnost dvou posledních verzí modelu TDD, a to verze 3.2 a 3.3 za plynárenský rok 2011/2012, tj. za období 1.10.2011 až 30.9.2012. Porovnání bylo provedeno dle metodiky popsané ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2012

Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions
Pelikán, Emil; Juruš, Pavel; Musílek, P.; Brabec, Marek; Krč, Pavel; Paluš, Milan; Vejmelka, Martin
2011 - English Keywords: CO2 modelling; satellite CO2 observation; regional scale Eulerian models; CO2 fluxes Available at various institutes of the ASCR Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions

Pelikán, Emil; Juruš, Pavel; Musílek, P.; Brabec, Marek; Krč, Pavel; Paluš, Milan; Vejmelka, Martin
Ústav informatiky, 2011

Projekt GAMMA - Přehled činností za období červenec - září 2011
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2011 - Czech Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období červenec až září 2011. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další postup. Je popsáno zpracování nově dodaných dat ze severočeských lokalit, vč. uvedení problematických hodnot. Na těchto datech jsou provedeny testy modelu GAMMA. Dále jsou uvedeny testy na vybrané lokalitě, v níž jsou všichni zákazníci osazeni průběhovým měřením. Keywords: GAMMA model; zemní plyn; odhad ztrát; uzavřené lokality Available at various institutes of the ASCR Projekt GAMMA - Přehled činností za období červenec - září 2011

Zpráva obsahuje přehled činností v projektu GAMMA pro RWE GasNet, s.r.o. za období červenec až září 2011. Jeho součástí je popis provedených prací spolu s výsledky analýz a doporučeními pro další ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2011