Testování a spolehlivost. 6. Laboratoř Ostatní spolehlivostní modely
|
|
- Michal Štěpánek
- před 8 lety
- Počet zobrazení:
Transkript
1 Testování a spolehlivost ZS 2011/ Laboratoř Ostatní spolehlivostní modely Martin Daňhel Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze Příprava studijního programu Informatika je podporována projektem financovaným z Evropského sociálního fondu a rozpočtu hlavního města Prahy. Praha & EU: Investujeme do vaší budoucnosti
2 Stromy poruch Číslicové systémy odolné proti poruchám, J.Hlavička, S.Racek, P.Golan, T.Blažek Trocha teorie Stromy poruch představují klasickou a v praxi často využívanou formu spolehlivostního modelu. Je dána množina základních událostí (zpravidla poruch) a pravděpodobnosti těchto událostí - buď jako funkce času nebo jako konstanty vztažené například k uvažované době života zařízení. Dále je dána množina operátorů (označovaných jako hradla - gates). Operátory jsou charakterizovány jednak svojí logickou funkcí (vytváří z booleovských hodnot událostí i-té úrovně booleovskou hodnotu události i - 1 úrovně) a dále aritmetickou funkcí (z pravděpodobností událostí i-té úrovně se počítá pravděpodobnost události i-1 úrovně). Popis spolehlivostního chování systému uvedenm způsobem pak vede k hierarchické (stromové) struktuře událostí, ve které jsou jednotlivé úrovně událostí vázány různými typy hradel. Nejobvyklejšími typy hradel jsou OR (odpovídá sériovému spolehlivostnímu spojení) a AND (odpovídá paralelnímu spojení). Příklad 1 Zde je jednoduchá ukázka stromu poruch. Na obrázku 6.1 je jednoduchý příklad stromu poruch s hradlem OR. Dále je pak na obrázku 6.2 je jednoduchý příklad stromu poruch tentokráte s hradlem AND. Všimněte si, že obrázky jsou spolu blokově propojeny. Obrázek 6.1: Příklad stromu poruch.
3 Obrázek 6.2: Další úroveň hierarchie stromu poruch. Význam označení bloků může být například takovýto: f porucha počítače f 1 porucha procesoru f 2 ztráta napájecího napětí f 3 porucha paměti f 21 porucha záložní baterie f 22 ztráta napětí síťového zdroje f 221 někdo omylem vypnul síťový vypínač, základní událost, pravděpodobnost události 0,00002 Stromy poruch jsou ve spolehlivostní analýze oblíbeny zejména pro jejich následující výhody: Umožňují přehledné grafické znázornění spolehlivostního chování systému. Umožňují postupné zjednodušování spolehlivostního modelu do libovolné úrovně detailů. Je možné rozdělit strom na podstromy, které se vyhodnocují samostatně, viz obrázek 6.2. Výpočet spolehlivostních ukazatelů typu R, Q z pravděpodobností základních událostí je jednoduchý. U složitých systémů může strom poruch sloužit jako podklad pro rozhodování operátora v průběhu rekonfigurace.
4 Kde se vlastně tyto modely využívají? S modely tohoto typu se setkáme nejčastěji v rozsáhlých systémech, které jsou náročné na bezpečnost (elektrárna, železniční zařízení) a u kterých není dopředu známa intenzita poruch či pravděpodobnost. Tento model se rozrůstá podle toho, jak jsme schopni jej realisticky popsat. Četnosti poruchy či pravděpodobnosti událostí (někdy se také nazývají stromy událostí) se určují několika způsoby, buď empirickým pozorováním nebo můžeme některé hodnoty získat od výrobce, či různými výpočty. Model stromů poruch byl představen v 60. letech, tudíž se nejedná o žádnou novinku, nic méně se tento model stále používá. Metoda řezů Číslicové systémy odolné proti poruchám, J.Hlavička, S.Racek, P.Golan, T.Blažek Řezem se rozumí množina prvků uvažovaného systému, jejichž současná porucha způsobí poruchu celku. Z minimálního řezu nelze vypustit žádný prvek bez ztráty vlastnosti řezu. Vlastnosti této metody jsou ukázány na následujícím příkladě. Příklad 2 Na obrázku 6.3 je vyozbazen model, který není možno přímo převést na nějakou kombinaci sériového a paralelního spojení. Nejprve určíme množinu minimálních řezů. Obrázek 6.3: Minimální řezy Množina minimálních řezů: {AB, CD, AED, BEC} Úvaha, že výskyt kteréhokoliv z možných minimálních řezů znamená poruchu celého systému, vede k následujícímu vztahu pro pravděpodobnost poruchy uvažovaného systému Q = Q Q + Q Q + Q Q Q + Q Q A B C D A E D B E Q C Jenže tento vztah není korkektní protože pravděpodobnost některých stavů (řezů) je v součtu obsažena více než jednou. Například pravděpodobnost Q A Q B Q C Q D Q E ve výskytu řetězu ABCDE je obsažena ve všech prvcích uvedeného součtu a měla by se tedy třikrát odečíst. Tudíž uvedený vzorec poskytuje odhad Q pravděpodobnosti poruchy Q s vlastností Q Q. Pro případy technické praxe jsou hodnoty pravděpodobnosti poruchy prvků (např. Q A ) malé a hodnoty součinů typu Q A Q B Q C Q D Q E jsou zanedbatelné. Numerická přesnost odhadu Q proti vedeného naznačeným postupem je pak velmi dobrá. Získáme tedy konzervativní odhad s
5 dobrou přesností ( Q Q, Q Q). Vyhledání množiny všech mionimálních řezů v zadaném schématu je možné algoritmizovat. V literatuře je tento oznčován model jako můstkové zapojení. Metoda řezů není jedinou metodou, kterou lze tuto úlohu (tento typ systému) řešit. Literatura Číslicové systémy odolné proti poruchám, J.Hlavička, S.Racek, T.Blažek, P.Golan
Testování a spolehlivost. 4. Laboratoř Spolehlivostní modely 1
Testování a spolehlivost ZS 2011/2012 4. Laboratoř Spolehlivostní modely 1 Martin Daňhel Katedra číslicového návrhu Fakulta informačních technologí ČVUT v Praze Příprava studijního programu Informatika
VíceTestování a spolehlivost. 1. Laboratoř Poruchy v číslicových obvodech
Testování a spolehlivost ZS 2011/2012 1. Laboratoř Poruchy v číslicových obvodech Martin Daňhel Katedra číslicového návrhu Fakulta informačních technologií ČVUT v PRaze Příprava studijního programu Informatika
VíceHardwarová realizace konečných automatů
BI-AAG - Automaty a gramatiky Katedra teoretické informatiky ČVUT FIT 11.1.21 Co potřebujeme Úvod Potřebujeme: zakódovat vstupní abecedu, zakódovat stavy automatu, pamatovat si současný stav, realizovat
VíceStřední odborná škola a Střední odborné učiliště, Dubno Ing. Miroslav Krýdl Tematická oblast ELEKTRONIKA
Číslo projektu Číslo materiálu CZ.1.07/1.5.00/34.0581 VY_32_INOVACE_ENI_2.MA_17_Číslicový obvod Název školy Střední odborná škola a Střední odborné učiliště, Dubno Autor Ing. Miroslav Krýdl Tematická oblast
VíceLOGICKÉ OBVODY X36LOB
LOGICKÉ OBVODY X36LOB Doc. Ing. Hana Kubátová, CSc. Katedra počítačů FEL ČVUT v Praze 26.9.2008 Logické obvody - 1 - Úvod 1 Obsah a cíle předmětu Číslicový návrh (digital design) Číslicové obvody logické
VíceProgramovatelná logika
Programovatelná logika Přehled historie vývoje technologie programovatelných obvodů. Obvody PLD, GAL,CPLD, FPGA Příklady systémů a vývojových prostředí. Moderní elektrotechnický průmysl neustále stupňuje
VíceKombinatorický předpis
Gravitace : Kombinatorický předpis Petr Neudek 1 Kombinatorický předpis Kombinatorický předpis je rozšířením Teorie pravděpodobnosti kapitola Kombinatorický strom. Její praktický význam je zřejmý právě
VíceZáklady číslicové techniky. 2 + 1 z, zk
Základy číslicové techniky 2 + 1 z, zk Ing. Vít Fábera, K614 e-mail: fabera@fd.cvut.cz K508, 5. patro, laboratoř, 2 2435 9555 Ing. Tomáš Musil, Ph.D., K620 e-mail: musil@asix.cz K508, 5. patro, laboratoř,
VíceSEMINÁRNÍ PRÁCE ZE ZÁKLADŮ FIREMNÍCH FINANCÍ. Kalkulační propočty, řízení nákladů a kalkulační metody.
SEMINÁRNÍ PRÁCE ZE ZÁKLADŮ FIREMNÍCH FINANCÍ Téma: Kalkulační propočty, řízení nákladů a kalkulační metody. Zpracoval(a): Dvořáková Hana Fojtíková Veronika Maříková Jana Datum prezentace: 21.dubna 2004
VícePROPUSTNOST ŽELEZNIČNÍ DOPRAVY
PROPUSTNOST ŽELEZNIČNÍ DOPRAVY Studijní opora Ing. Josef Bulíček, Ph.D. 2011 Propustnost železniční dopravy OBSAH SEZNAM SYMBOLŮ A ZNAČEK... 4 1 ZÁKLADNÍ DEFINICE A TERMINOLOGIE... 6 1.1 Charakteristika
VíceSYLABUS PŘEDNÁŠKY 6a Z INŽENÝRSKÉ GEODÉZIE (Polohové vytyčovací sítě) 4. ročník bakalářského studia studijní program G studijní obor G
SYLABUS PŘEDNÁŠKY 6a Z INŽENÝRSKÉ GEODÉZIE (Polohové vytyčovací sítě) 4. ročník bakalářského studia studijní program G studijní obor G říjen 2014 1 7. POLOHOVÉ VYTYČOVACÍ SÍTĚ Vytyčení je součástí realizace
VíceSpolehlivost tekutinových systémů The Reliability of Fluid Systems
Fakulta strojní VŠB Technická univerzita Ostrava Katedra hydromechaniky a hydraulických zařízení Spolehlivost tekutinových systémů The Reliability of Fluid Systems prof. Ing. Jaroslav Kopáček, CSc. Proč
VíceDůvěrné. Draft k diskusi. Vladislav Severa Partner. Boris Mišun Senior Manager
Asistence v oblasti ocenění nevydávaného majetku, jímž se zabývá Dočasná komise pro řešení majetkových otázek mezi státem a církvemi a náboženskými společnostmi: NÁVRH OCEŇOVACÍHO ALGORITMU 11. února 2009
VíceVytěžování znalostí z dat
Pavel Kordík, Jan Motl (ČVUT FIT) Vytěžování znalostí z dat BI-VZD, 2012, Přednáška 13 1/14 Vytěžování znalostí z dat Pavel Kordík, Jan Motl Department of Computer Systems Faculty of Information Technology
VíceVYHLÁŠKA o způsobu stanovení pokrytí signálem zemského rozhlasového vysílání šířeného ve vybraných kmitočtových pásmech Vymezení pojmů
Strana 164 Sbírka zákonů č.22 / 2011 22 VYHLÁŠKA ze dne 27. ledna 2011 o způsobu stanovení pokrytí signálem zemského rozhlasového vysílání šířeného ve vybraných kmitočtových pásmech Český telekomunikační
VíceY36SAP Y36SAP-2. Logické obvody kombinační Formy popisu Příklad návrhu Sčítačka Kubátová Y36SAP-Logické obvody 1.
Y36SAP 26.2.27 Y36SAP-2 Logické obvody kombinační Formy popisu Příklad návrhu Sčítačka 27-Kubátová Y36SAP-Logické obvody Logický obvod Vstupy a výstupy nabývají pouze hodnot nebo Kombinační obvod popsán
VíceČíslicové a analogové obvody
Číslicové a analogové obvody doprovodný text k přednáškám předmětu BI-AO Číslicové a analogové obvody 2. svazek z osmisvazkové edice napsal: Doc. Dr. Ing. Jan Kyncl, katedra elektroenergetiky Fakulta elektrotechnická
VíceKatedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) 9. dubna 2009. Filip Železný (ČVUT) Vytěžování dat 9.
Vytěžování dat Filip Železný Katedra kybernetiky skupina Inteligentní Datové Analýzy (IDA) 9. dubna 2009 Filip Železný (ČVUT) Vytěžování dat 9. dubna 2009 1 / 22 Rozhodovací pravidla Strom lze převést
VíceSložitosti základních operací B + stromu
Složitosti základních operací B + stromu Radim Bača VŠB Technická univerzita Ostrava Fakulta elektrotechniky a informatiky Katedra informatiky ŠKOMAM 2010-1- 28/1/2010 Složitosti základních operací B +
VíceOdborný styl. Yvona Řepová. Integrace odborného jazyka do výuky odborných předmětů
Odborný styl Yvona Řepová Název školy Název a číslo projektu Název modulu Obchodní akademie a Střední odborné učiliště, Veselí nad Moravou Motivace žáků ke studiu technických předmětů OP Vzdělávání pro
VícePřednáška 5. Výběrová šetření, Exploratorní analýza
Přednáška 5 Výběrová šetření, Exploratorní analýza Pravděpodobnost vs. statistika Výběrová šetření aneb jak získat výběrový soubor Exploratorní statistika aneb jak popsat výběrový soubor Typy proměnných
Více12. Globální metody MI-PAA
Jan Schmidt 2011 Katedra číslicového návrhu Fakulta informačních technologií České vysoké učení technické v Praze Zimní semestr 2011/12 MI-PAA EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI
VíceStruktura a architektura počítačů (BI-SAP) 11
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Struktura a architektura počítačů (BI-SAP) 11 doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii
VíceRiJ ŘÍZENÍ JAKOSTI L 4 4-1
RiJ ŘÍZENÍ JAKOSTI ML 4-1 CÍL TÉMATICKÉHO CELKU Název tematického celku: Nástroje pro měření, analýzu a zlepšování systému jakosti v podniku Hlavním cílem tematického celku je nastínit význam interních
VíceAnalýza oscilogramů pro silnoproudé aplikace
Středoškolská technika 212 Setkání a prezentace prací středoškolských studentů na ČVUT Analýza oscilogramů pro silnoproudé aplikace Jakub Fojtík, Marek Červinka, Jan Chaloupka Vyšší odborná škola a Střední
Více1. Úvod do studia statistiky. 1.1. Významy pojmu statistika
1. Úvod do studia statistiky Andrew Lang o politikovi: Používá statistiku jako opilý člověk pouliční lampu spíš na podporu než na osvětlení. Benjamin Disraeli o lži: Jsou tri stupně lži - lež, nehanebná
VíceOrganizace předmětu, podmínky pro získání klasifikovaného zápočtu
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Fakulta elektrotechnická Ing. Radek Sedláček, Ph.D., katedra měření K13138 Organizace předmětu, podmínky pro získání klasifikovaného zápočtu Kurz A0B38FPGA Aplikace
VíceHodnocení projektového návrhu. Ing. Václav Fencl, CSc.
Hodnocení projektového návrhu Ing. Václav Fencl, CSc. Postup hodnocení Podání návrhu a jeho formální kontrola - Komise 1. Individuální hodnocení (Remote evaluation pomocí systému RIVET), doma 2. Souhrnné
VícePOROVNÁNÍ V-A CHARAKTERISTIK RŮZNÝCH TYPŮ FOTOVOLTAICKÝCH ČLÁNKŮ
POROVNÁNÍ V-A CHARAKTERISTIK RŮZNÝCH TYPŮ FOTOVOLTAICKÝCH ČLÁNKŮ Zadání: 1. Změřte voltampérové charakteristiky přiložených fotovoltaických článků a určete jejich typ. 2. Pro každý článek určete parametry
VíceVYZTUŽOVÁNÍ STRUKTURY BETONU OCELOVÝMI VLÁKNY. ČVUT Fakulta stavební, katedra betonových konstrukcí a mostů, Thákurova 7, 166 29 Praha 6, ČR
VYZTUŽOVÁNÍ STRUKTURY BETONU OCELOVÝMI VLÁKNY Karel Trtík ČVUT Fakulta stavební, katedra betonových konstrukcí a mostů, Thákurova 7, 166 29 Praha 6, ČR Abstrakt Článek je zaměřen na problematiku vyztužování
VíceSYSTÉM TECHNICKO-EKONOMICKÉ ANALÝZY VÝROBY TEKUTÉHO KOVU - CESTA KE SNIŽOVÁNÍ NÁKLADŮ
SYSTÉM TECHNICKO-EKONOMICKÉ ANALÝZY VÝROBY TEKUTÉHO KOVU - CESTA KE SNIŽOVÁNÍ NÁKLADŮ FIGALA V. a), KAFKA V. b) a) VŠB-TU Ostrava, FMMI, katedra slévárenství, 17. listopadu 15, 708 33 b) RACIO&RACIO, Vnitřní
VíceLOGICKÉ OBVODY 2 kombinační obvody, minimalizace
LOGICKÉ OBVODY 2 kombinační obvody, minimalizace logické obvody kombinační logické funkce a jejich reprezentace formy popisu tabulka, n-rozměrné krychle algebraický zápis mapy 9..28 Logické obvody - 2
Více3. REALIZACE KOMBINAČNÍCH LOGICKÝCH FUNKCÍ
3. REALIZACE KOMBINAČNÍCH LOGICKÝCH FUNKCÍ Realizace kombinační logické funkce = sestavení zapojení obvodu, který ze vstupních proměnných vytvoří výstupní proměnné v souhlasu se zadanou logickou funkcí.
VíceModelování obchodních procesů
Modelování obchodních procesů Ing. Jiří Mlejnek Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Jiří Mlejnek, 2011 jiri.mlejnek@fit.cvut.cz Softwarové
VíceNP-ÚPLNÉ PROBLÉMY. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
NP-ÚPLNÉ PROBLÉMY Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 13 Evropský sociální fond Praha & EU: Investujeme do
VíceZpráva o průběhu přijímacího řízení na vysokých školách dle Vyhlášky MŠMT č. 343/2002 a její změně 276/2004 Sb.
Zpráva o průběhu přijímacího řízení na vysokých školách dle Vyhlášky MŠMT č. 343/2002 a její změně 276/2004 Sb. 1. Informace o přijímacích zkouškách Studijní program: Informatika navazující magisterský
VíceOrganizační pokyny k přednášce. Matematická statistika. Přehled témat. Co je statistika?
Organizační pokyny k přednášce Matematická statistika 2012 2013 Šárka Hudecová Katedra pravděpodobnosti a matematické statistiky Matematicko-fyzikální fakulta UK hudecova@karlin.mff.cuni.cz http://www.karlin.mff.cuni.cz/
VíceDrsná matematika IV 7. přednáška Jak na statistiku?
Drsná matematika IV 7. přednáška Jak na statistiku? Jan Slovák Masarykova univerzita Fakulta informatiky 2. 4. 2012 Obsah přednášky 1 Literatura 2 Co je statistika? 3 Popisná statistika Míry polohy statistických
VíceElektronické záznamové zařízení EZZ 01
Úvod Elektronické záznamové zařízení je určeno jako doplňující zařízení ke stávajícím nebo novým přejezdovým zabezpečovacím zařízením typu PZS v reléové verzi používaných v síti Českých drah. Uvedená PZS
VícePřevodníky f/u, obvod NE555
Převodníky f/u, obvod NE555 Na tomto cvičení byste se měli seznámit s funkcí jednoduchého převodníku kmitočet/napětí sestaveného z dvojice operačních zesilovačů. Dále byste se měli seznámit s obvodem NE555.
VíceKvantová informatika pro komunikace v budoucnosti
Kvantová informatika pro komunikace v budoucnosti Antonín Černoch Regionální centrum pokročilých technologií a materiálů Společná laboratoř optiky University Palackého a Fyzikálního ústavu Akademie věd
VíceKONTROLA PŘESNOSTI VÝROBY S VYUŽITÍM MATLABU
KONTROLA PŘESNOSTI VÝROBY S VYUŽITÍM MATLABU Ing. Vladislav Matějka, Ing. Jiří Tichý, Ing. Radovan Hájovský Katedra měřicí a řídicí techniky, VŠB-TU Ostrava Abstrakt: Příspěvek se zabývá možností využít
VíceUNIVERSITA PALACKÉHO V OLOMOUCI PŘÍRODOVĚDECKÁ FAKULTA. KATEDRA MATEMATICKÉ ANALÝZY A APLIKACÍ MATEMATIKY školní rok 2009/2010 BAKALÁŘSKÁ PRÁCE
UNIVERSITA PALACKÉHO V OLOMOUCI PŘÍRODOVĚDECKÁ FAKULTA KATEDRA MATEMATICKÉ ANALÝZY A APLIKACÍ MATEMATIKY školní rok 2009/2010 BAKALÁŘSKÁ PRÁCE Testy dobré shody Vedoucí diplomové práce: RNDr. PhDr. Ivo
VíceČíselné vyjádření hodnoty. Kolik váží hrouda zlata?
Čísla a logika Číselné vyjádření hodnoty Au Kolik váží hrouda zlata? Dekadické vážení Když přidám osmé závaží g, váha se převáží => závaží zase odeberu a začnu přidávat závaží x menší 7 závaží g 2 závaží
VíceKomputerizace problémových domén
Milan Mišovič (ČVUT FIT) Pokročilé informační systémy MI-PIS, 2011, Přednáška 03 1/19 Komputerizace problémových domén Prof. RNDr. Milan Mišovič, CSc. Katedra softwarového inženýrství Fakulta informačních
Více9. MĚŘENÍ SÍLY TENZOMETRICKÝM MŮSTKEM
9. MĚŘENÍ SÍLY TENZOMETRICKÝM MŮSTKEM Úkoly měření: 1. Změřte převodní charakteristiku deformačního snímače síly v rozsahu 0 10 kg 1. 2. Určete hmotnost neznámého závaží. 3. Ověřte, zda lze měření zpřesnit
VíceDynamické programování
Dynamické programování prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Efektivní algoritmy (BI-EFA)
Více3. Druh zakázky (dodávka zboží, nákup služeb nebo nákup stavebních prací) NÁKUP SLUŢEB
VÝZVA K PODÁNÍ NABÍDEK DO VÝBĚROVÉHO ŘÍZENÍ ZADÁVACÍ PODMÍNKY Název zakázky Tvorba a realizace vzdělávacího programu pro zaměstnance mikropodniků na území hl. m. Parhy 1. Identifikační údaje zadavatele
VíceOtočný stůl nové koncepce pro multifunkční obráběcí centrum
Otočný stůl nové koncepce pro multifunkční obráběcí centrum Ing. Ondřej Kubera Vedoucí práce: Ing. Lukáš Novotný, Ph.D. Abstrakt Příspěvek popisuje novou koncepci otočného stolu s prstencovým motorem,
VíceMatematická statistika
Matematická statistika Daniel Husek Gymnázium Rožnov pod Radhoštěm, 8. A8 Dne 12. 12. 2010 v Rožnově pod Radhoštěm Osnova Strana 1) Úvod 3 2) Historie matematické statistiky 4 3) Základní pojmy matematické
VíceBayesovská klasifikace digitálních obrazů
Výzkumný ústav geodetický, topografický a kartografický Bayesovská klasifikace digitálních obrazů Výzkumná zpráva č. 1168/2010 Lubomír Soukup prosinec 2010 1 Úvod V průběhu nedlouhého historického vývoje
VíceAnalýza střepin dělostřeleckých střel za účelem identifikace jejich ráže a typu
Analýza střepin dělostřeleckých střel za účelem identifikace jejich ráže a typu Václav Bilický 1995 přepracované a doplněné vydání 2008 1 Úvod Nejen při vyšetřování různých havarijních typu výbuchů dělostřeleckých
VíceVÝZVA K PODÁNÍ NABÍDEK DO VÝBĚROVÉHO ŘÍZENÍ ZADÁVACÍ PODMÍNKY
VÝZVA K PODÁNÍ NABÍDEK DO VÝBĚROVÉHO ŘÍZENÍ ZADÁVACÍ PODMÍNKY Název zakázky Prohlubování kvalifikace a profesní vzdělávání zaměstnanců společnosti TECH GASTRO odborné profesní specializované kurzy v gastronomii
VíceInovace a zkvalitnění výuky prostřednictvím ICT Základy programování a algoritmizace úloh. Ing. Hodál Jaroslav, Ph.D. VY_32_INOVACE_25 09
Střední průmyslová škola a Vyšší odborná škola technická Brno, Sokolská 1 Šablona: Název: Téma: Inovace a zkvalitnění výuky prostřednictvím ICT Základy programování a algoritmizace úloh Operátory Autor:
Více5 Přehled operátorů, příkazy, přetypování
5 Přehled operátorů, příkazy, přetypování Studijní cíl Tento studijní blok má za cíl pokračovat v základních prvcích jazyka Java. Konkrétně budou uvedeny detaily týkající se operátorů. Doba nutná k nastudování
VíceAlfanumerické displeje
Alfanumerické displeje Alfanumerické displeje jsou schopné zobrazovat pouze alfanumerické údaje (tj. písmena, číslice) a případně jednoduché grafické symboly definované v základním rastru znaků. Výhoda
VíceÚloha- Systém sběru dat, A4B38NVS, ČVUT - FEL, 2015 1
Úloha Sběr dat (v. 2015) Výklad pojmu systém sběru dat - Systém sběru dat (Data Acquisition System - DAQ) je možno pro účely této úlohy velmi zjednodušeně popsat jako zařízení, které sbírá a vyhodnocuje
VíceStruktura a architektura počítačů (BI-SAP) 4
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Struktura a architektura počítačů (BI-SAP) 4 doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii
VíceÁ Š Á Ž Ě Ý Ě Á Á ť č ň Ť é č ě ě ž č č ě č Ť č č š č ě Ť ě č ě Ť Ť š Á Š Á Ž Ě Ý Ř Á Á ť Ú ě é č Š č ě Ť š ě Ť Š Á Š Á Ž Ě Ý Ě Á Á ť ě Ú Ý ň ě Ť ě ě ň ž č č č Ý ě É ě ě ďú É Ú ď Á Š Á Ž Ě Ý Ě Á Á ť ě
Víceč. 98/2011 Sb. VYHLÁŠKA ze dne 30. března 2011 o způsobu hodnocení stavu útvarů povrchových vod, způsobu hodnocení ekologického potenciálu silně
č. 98/2011 Sb. VYHLÁŠKA ze dne 30. března 2011 o způsobu hodnocení stavu útvarů povrchových vod, způsobu hodnocení ekologického potenciálu silně ovlivněných a umělých útvarů povrchových vod a náležitostech
VíceTeorie měření a regulace
Ústav technologie, mechanizace a řízení staveb Teorie měření a regulace měření tlaku - 2 17.SPEC-t.3. ZS 2015/2016 2015 - Ing. Václav Rada, CSc. MĚŘENÍ TEORIE A PRINCIPY T- MaR Další pokračování podrobněji
VíceBooleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
VíceKOMPRESE OBRAZŮ. Václav Hlaváč, Jan Kybic. Fakulta elektrotechnická ČVUT v Praze katedra kybernetiky, Centrum strojového vnímání.
1/25 KOMPRESE OBRAZŮ Václav Hlaváč, Jan Kybic Fakulta elektrotechnická ČVUT v Praze katedra kybernetiky, Centrum strojového vnímání hlavac@fel.cvut.cz http://cmp.felk.cvut.cz/ hlavac KOMPRESE OBRAZŮ, ÚVOD
VíceNavigační satelitní systémy v železniční zabezpečovací technice?
Václav Chudáček, Libor Lochman, Michal Stolín Navigační satelitní systémy v železniční zabezpečovací technice? Klíčová slova: železniční zabezpečovací technika, GPS, vedlejší tratě. 1 CO JE NAVIGAČNÍ SATELITNÍ
VíceLogika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální
Více4.1.5 Práce v elektrickém poli, napětí
4.1.5 Práce v elektrickém poli, napětí Předpoklady: 4102, 4104, mechanická práce Př. 1: Spočítej ílu, která půobí náboj o velikoti 2 10 5 C, který e nachází v elektrickém poli o intenzitě 2500 N C 1. Nejjednodušší
VíceVestavné systémy BI-VES Přednáška 10
Vestavné systémy BI-VES Přednáška 10 Ing. Miroslav Skrbek, Ph.D. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze Miroslav Skrbek 2010,2011 ZS2010/11 Evropský
Více4EK211 Základy ekonometrie
4EK211 Základy ekonometrie ZS 2015/16 Cvičení 2: Metoda nejmenších čtverců LENKA FIŘTOVÁ KATEDRA EKONOMETRIE, FAKULTA INFORMATIKY A STATISTIKY VYSOKÁ ŠKOLA EKONOMICKÁ V PRAZE 1. Doplnění a opakování z
VíceObsluha motorové pily a křovinořezu
Projekt UNIV 2 KRAJE Proměna škol v centra celoživotního učení PROGRAM DALŠÍHO VZDĚLÁVÁNÍ Obsluha motorové pily a křovinořezu VOŠ a SZeŠ Tábor Copyright: Ministerstvo školství, mládeže a tělovýchovy ČR
VíceCíle projektu. Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Ing. Martin Půlpitel, 2011
Projektové řízení (BI-PRR) Cíle projektu Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Ing. Martin Půlpitel, 2011 Projektové řízení ZS 2011/12,
VíceŘešení rekurentních rovnic 3. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 12
Řešení rekurentních rovnic 3 doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce
VícePROGRAMOVATELNÉ LOGICKÉ OBVODY
PROGRAMOVATELNÉ LOGICKÉ OBVODY (PROGRAMMABLE LOGIC DEVICE PLD) Programovatelné logické obvody jsou číslicové obvody, jejichž logická funkce může být programována uživatelem. Výhody: snížení počtu integrovaných
VícePROTOKOL O AKREDITOVANÉM MĚŘENÍ č. 97/2013
K O M P R A H, s. r. o. zkušební laboratoř Mayerova 784, 664 42 MODŘICE IČO: 277 01 638, tel: 739 470 261, email: komprah@komprah.cz Zkušební laboratoř akreditovaná ČIA pod registračním číslem 1516 PROTOKOL
VícePrezentace do předmětu Architektury a použití programovatelných obvodů 2
Prezentace do předmětu Architektury a použití programovatelných obvodů 2 Složité a méně běžné obvody PAL, sekvencery Obvody typu PAL jsou jedním z typů programovatelných logických obvodů (PLD). Jsou to
VíceZrcadlení v lineární perspektivě
Gymnázium Christiana Dopplera, Zborovská 45, Praha 5 ROČNÍKOVÁ PRÁCE Zrcadlení v lineární perspektivě Vypracoval: Lukáš Rehberger Třída: 8. M Školní rok: 2013/2014 Seminář: Deskriptivní geometrie Prohlašuji,
VíceCvičení 1. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.
1 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v
VíceNPRG030 Programování I 3/2 Z --- NPRG031 Programování II --- 2/2 Z, Zk
NPRG030 Programování I 3/2 Z --- NPRG031 Programování II --- 2/2 Z, Zk Pavel Töpfer Katedra softwaru a výuky informatiky MFF UK MFF Malostranské nám., 4. patro, pracovna 404 pavel.topfer@mff.cuni.cz http://ksvi.mff.cuni.cz/~topfer
VíceVybrané přístupy řešení neurčitosti
Vybrané přístupy řešení neurčitosti Úvod do znalostního inženýrství, ZS 2015/16 8-1 Faktory jistoty Jedná se o přístup založený na ad hoc modelech Hlavním důvodem vzniku tohoto přístupu je omezení slabin
VícePokroky matematiky, fyziky a astronomie
Pokroky matematiky, fyziky a astronomie Zdeněk Češpíro Výbojový vakuoměr bez magnetického pole Pokroky matematiky, fyziky a astronomie, Vol. 3 (1958), No. 3, 299--302 Persistent URL: http://dml.cz/dmlcz/137111
VíceProjektový tým. Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Ing. Martin Půlpitel, 2011
Projektové řízení (BI-PRR) Projektový tým Katedra softwarového inženýrství Fakulta informačních technologií České vysoké učení technické v Praze Ing. Martin Půlpitel, 2011 Projektové řízení ZS 2011/12,
VíceTECHNICKÁ UNIVERZITA V LIBERCI
TECHNICKÁ UNIVERZITA V LIBERCI Fakulta mechatroniky, informatiky a mezioborových studií Základní pojmy diagnostiky a statistických metod vyhodnocení Učební text Ivan Jaksch Liberec 2012 Materiál vznikl
Více2.2. SČÍTÁNÍ A NÁSOBENÍ MATIC
22 SČÍTÁNÍ A NÁSOBENÍ MATIC V této kapitole se dozvíte: jak je definováno sčítání matic a jaké má základní vlastnosti jak je definováno násobení matic číslem a jaké má základní vlastnosti zda a proč se
VíceLogika III. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika III. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální
VícePřehled učiva matematiky 7. ročník ZŠ
Přehled učiva matematiky 7. ročník ZŠ I. ARITMETIKA 1. Zlomky a racionální čísla Jestliže rozdělíme něco (= celek) na několik stejných dílů, nazývá se každá část celku zlomkem. Zlomek tři čtvrtiny = tři
VíceCvičení z logiky II.
Cvičení z logiky II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 https://edux.fit.cvut.cz/courses/bi-mlo/lectures/
VíceAplikační úlohy z geometrie
Aplikační úlohy z geometrie JANA HROMADOVÁ Matematicko fyzikální fakulta UK, Praha Na Katedře didaktiky matematiky MFF UK v Praze vzniká sbírka aplikačníchúloh 1 zmatematiky.cílemtohotočlánkujepředstavitněkolik
VícePrognostické metody. Prognostické metody. Vybrané prognostické metody ANALÝZA DAT V REGIONALISTICE. Doc. Ing. Alois Kutscherauer, CSc.
Prognostické metody ANALÝZA DAT V REGIONALISTICE Prognostické metody Doc. Ing. Alois Kutscherauer, CSc. Prognostická praxe uplatňuje velké množství různých přístupů a metod (formalizovaných, intuitivních
VíceAutomaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů
BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 2/29 Hodnocení předmětu BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 4/29 Automaty a gramatiky(bi-aag) 1. Základní pojmy Jan Holub Katedra teoretické
VíceVÝVOJ KOJENECKÉ ÚMRTNOSTI V ČESKÉ REPUBLICE V LETECH 1950-2011
RELIK 213. Reprodukce lidského kapitálu vzájemné vazby a souvislosti. 9. 1. prosince 213 VÝVOJ KOJENECKÉ ÚMRTNOSTI V ČESKÉ REPUBLICE V LETECH 195-211 Jana Langhamrová Abstrakt Kojenecká úmrtnost se v posledních
VíceRegresní a korelační analýza
Přednáška STATISTIKA II - EKONOMETRIE Katedra ekonometrie FEM UO Brno kancelář 69a, tel. 973 442029 email:jiri.neubauer@unob.cz Regresní analýza Cíl regresní analýzy: stanovení formy (trendu, tvaru, průběhu)
VíceJIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH Ekonomická fakulta DIPLOMOVÁ PRÁCE. 2012 Bc. Lucie Hlináková
JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH Ekonomická fakulta DIPLOMOVÁ PRÁCE 2012 Bc. Lucie Hlináková JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH Ekonomická fakulta Katedra účetnictví a financí Studijní
VíceÚvod do teorie měření. Eva Hejnová
Úvod do teorie měření Eva Hejnová Literatura: Novák, R. Úvod do teorie měření. Ústí nad Labem: UJEP, 2003 Sprušil, B., Zieleniecová, P.: Úvod do teorie fyzikálních měření. Praha: SPN, 1985 Brož, J. a kol.
VíceVestavné systémy BI-VES Přednáška 1
Vestavné systémy BI-VES Přednáška 1 Ing. Miroslav Skrbek, Ph.D. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze Miroslav Skrbek 2010,2011 ZS2010/11 Evropský
VíceVytěžování znalostí z dat
Pavel Kordík, Jan Motl (ČVUT FIT) Vytěžování znalostí z dat BI-VZD, 2012, Přednáška 7 1/27 Vytěžování znalostí z dat Pavel Kordík, Jan Motl Department of Computer Systems Faculty of Information Technology
VíceOptika v počítačovém vidění MPOV
Optika v počítačovém vidění MPOV Rozvrh přednášky: 1. osvětlení 2. objektivy 3. senzory 4. další související zařízení Princip pořízení a zpracování obrazu Shoda mezi výsledkem a realitou? Pořízení obrazu
VícePrincipy operačních systémů. Lekce 7: Souborový systém
Principy operačních systémů Lekce 7: Souborový systém Souborový systém Souborový systém (anglicky file system) je označení pro způsob organizace dat ve formě souborů (a většinou i adresářů) tak, aby k
VíceCvičení 5. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.
5 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v
VícePokročilé haldy. prof. Ing. Pavel Tvrdík CSc. Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010
Pokročilé haldy prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Efektivní algoritmy (I-EFA) ZS 2010/11,
VíceČíselné charakteristiky
. Číselné charakteristiky statistických dat Průměrný statistik se během svého života ožení s 1,75 ženami, které se ho snaží vytáhnout večer do společnosti,5 x týdně, ale pouze s 50% úspěchem. W. F. Miksch
Více