Matematický model činnosti sekvenčného obvodu 7 MATEMATICKÝ MODEL ČINNOSTI SEKVENČNÉHO OBVODU Konečný automat predstavuje matematický model sekvenčnéh
|
|
- Soňa Šrámková
- pred 4 rokmi
- Prehliadani:
Prepis
1 7 MTEMTICKÝ MODEL ČINNOSTI SEKVENČNÉHO OBVODU Konečný automat predstavuje matematický model sekvenčného obvodu. Konečný automat je usporiadaná pätica = (X, S, Y, δ, λ,) (7.) kde X je konečná neprázdna množina symbolov X, X,..., XN, ktorej prvky sa nazývajú vstupné stavy S - konečná neprázdna množina symbolov S, S,..., SR, ktorej prvky sa nazývajú vnútorné stavy automatu; Y - konečná neprázdna množina symbolov Y, Y,..., YM, ktorej prvky sa nazývajú výstupné stavy automatu δ - prechodová (vnútorná) funkcia automatu δ: S x X S pre Si S, Xj X ) λ - výstupná funkcia automatu, zobrazenie : S x X Y (Mealy) prípadne λ': S Y (Moore) Pri zavedenom diskrétnom čase t bude sa teda činnosť obvodu chápať takto: S(t + ) = δ[s(t), X(t)] (7.) Y(t) = λ[s(t), X(t)], (7.3) prípadne pre automat typu Moore Y(t) = λ [S(t)] (7.3a) kde S(t + ) S, S(t) S, X(t) X, Y(t) Y, pričom S(t), X(t), Y(t) predstavujú vnútorný, vstupný resp. výstupný stav obvodu v čase (takte) t a S(t + ) je nasledujúci vnútorný stav. 84
2 Tab. 7.a Tabuľka prechodov Tab. 7.b. Tabuľka výstupov S(t) X(t) X(t) S(t). Obr. 7. Odozva automatu na vstupné slovo 85
3 . Obr. 7. Graf prechodu automatu typu Mealy Tab. 7. Tabuľka prechodov a výstupov automatu typu Moore S(t) B X(t) Y(t) B B B 86
4 Obr. 7.3 Odozva automatu ' typu Moore na vstupné slovo Obr. 7.4 Graf prechodov automatu typu Moore 87
5 Tab. 7.3 Inverzná prechodová tabuľka automatu typu Mealy S(t) S(t+) X(t)/Y(t) /, /, / / /, / / / /, / /, / Zovšeobecnená prechodová δ * a výstupná λ * funkcia δ * : S x X * S λ * : S x X * Y kde X * je množina všetkých vstupných slov konečnej dĺžky včítane prázdneho slova Λ. Prázdne slovo Λ predstavuje slovo s dĺžkou. matematická abstrakcia, ktorá má podobný význam ako pri číslach. 88 Normálnym tvar zadania konečného automatu - korešpondencia medzi vstupnými a im zodpovedajúcimi výstupnými slovami rovnakej dĺžky. - XX3X3X - YYYY - automat vytvára transformáciu slov resp. - automat indukuje sekvenčné zobrazenie. Sekvenčné zobrazenie - zachováva dĺžku slov a zobrazenie počiatočných úsekov slov.
6 Pre každé sekvenčné zobrazenie existuje konečný automat = (X, S, Y, δ, λ), ktorý pri niektorom počiatočnom stave S toto zobrazenie indukuje. Iterované slovo - množina slov tvorená p-násobným opakovaním určitého slova, kde p je ľubovoľné prirodzené číslo. Opakované slovo budeme uzatvárať do iteračných zátvoriek: {}. Napr. pre iterované slová {XXX} platí {XXX} = Λ + XXX + XXXXXX XXXXXX... XXX +... kde Λ znamená prázdne slovo. p - krát Pri vytváraní slov sa môžu spájať ich jednoduché a iteratívne časti a tak môžu vznikať slová: - úplne cyklické: {XXX} - s cyklickým koncom: XXX3 {X3X} - s cyklickým začiatkom: {X3X} XX3X a pod. Zadanie automatu vo forme regulárnych výrazov, tvorených vstupnými slovami, ktoré vedú na ten istý výstup. Napr. pre vstupno-výstupnú korešpondenciu XXXX3XX3X YYYYYYY regulárny výraz R = X + XXXX3 + XXXX3XX3X označuje udalosť, resp. množinu udalostí, pri ktorých sa na výstupe automatu objaví výstupný stav Y. Hovoríme, že automat výstupom Y rozpoznáva udalosť R. k sa v normálnom tvare zadania vyskytujú iterované slová, určí sa regulárny výraz rovnakým spôsobom. Napr. pre korešpondenciu X3X {X3X} YY {YY} platí, že R = X3X + X3X {X3X} R = X3 + X3X {X3X} X3 89
7 Regulárnym výrazom je prázdna množina, prázdne slovo Λ a ľubovoľný prvok Xi z množiny vstupov X. k P a Q sú regulárne výrazy, potom sú nimi aj zjednotenie P + Q, zreťazenie P. Q a iterácia {P}. Udalosť R nad X je regulárna práve vtedy, ak existuje konečný automat (X, S, Y, δ, λ), ktorý z niektorého začiatočného stavu S S rozpoznáva udalosť R niektorým výstupom Yj Y. Pre zjednotenie, zreťazenie a iteráciu regulárnych udalostí platia nasledujúce pravidlá Λ. P = P. Λ = P { } = Λ P. =. P = P + = P P + P = P P + Q = Q + P P + (Q + R) = (P + Q) + R P. (Q. R) = (P. Q). R {Λ} = Λ {{P}} = {P} {P} = Λ + P{P} P.{P} = {P}.P {P}.{P} = {P} {P} + P = {P} P. (Q + R) = P. Q + Q. R (P + Q). R = P. R + Q. R Univerzálnou udalosťou X * nazývame množinu všetkých vstupných slov konečnej dĺžky. Pre vstupnú abecedu X = {X, X,..., Xn} univerzálnu udalosť možno vyjadriť ako iteráciu zjednotenia všetkých symbolov vstupnej abecedy X * = {X + X Xn} = Λ + X + X Xn + (X + X Xn) (X + X Xn) i +... = = Λ + X + X Xn + XX + XX XnXn XX...Xi
8 Konečný automat sa môže zadávať ako program. Formálne sa môže program definovať ako postupnosť P: I, I,..., IR pričom Ii; i R sú inštrukcie tvaru: a) i: Yk, j; i j b) i: Xi / Yk, j, Xi / Yk, j,..., Xiq / Ykq, jq c) i: STOP kde Xi sú logické podmienky charakterizujúce stav riadenej sústavy Yi - výstupy pre generovanie operácií v riadenej sústave i, j - sú celé čísla z intervalu <, R> označované ako návestia STOP - špeciálny symbol Predpokladá sa, že logické podmienky v čase vykonávania inštrukcií typu b spĺňajú podmienky: Xiu. Xiv = pre u v; x i = u k u= Program môže byť zapísaný vo forme vývojového diagramu, z ktorého je jednoduchý prechod na graf konečného automatu. 9
9 Rozšírený automat: δ: S x X S', kde S' = S {-} λ: S x X Y', resp. λ: S Y', kde Y' = Y {-} Diskrétne systémy, v ktorých je čas definovaný pomocou zmien vstupných, prípadne vnútorných, premenných sa obvykle nazývajú asynchrónne systémy. Diskrétny čas sa definuje ako postupnosť bodov na časovej osi, v ktorých sa mení hociktorá vstupná alebo vnútorná premenná. Obr. 7.7 Štruktúrna schéma asynchrónneho obvodu (a) a jemu zodpovedajúce časové priebehy premenných (b) 9
10 Pre jednoznačnú činnosť systému priebehy vstupných premenných musia spĺňať podmienku, aby zmena na vstupe nastávala iba vtedy, keď je systém v stave pokoja - asynchrónny systém pracuje vo fundamentálnom režime. utomat = (X, S, Y, δ, λ) sa nazýva fundamentálny práve vtedy, ak pre každý stav Sa S a vstup Xp X existuje celé číslo k > také, že platí δ * (Sa, Xp k ) = δ * (Sa, Xp k+ ) (7.5) kde Xp k xnačí vstupné slovo tvorené k symbolmi Xp za sebou. Stav Sb S automatu = (X, S, Y, δ, λ), pre ktorý platí δ(sb, Xp) = Sb (7.6) sa nazýva stabilný pri vstupe Xp X. Rád fundamentálneho automatu - najväčší počet prechodov medzi dvoma stabilnými stavmi. Impulzný režim, činnosti v ktorom diskrétny čas sa mení iba pri zmenách vstupných premenných z hodnoty na. V impulznom režime sa nepripúšťa súčasná zmena z na viac než jednej vstupnej premennej. Okrem toho sa obvykle predpokladá iba postupnosť vstupov typu XXi XXi XXi3..., kde X predstavuje nulovú n-ticu hodnôt vstupných premenných x, x,..., xn a Xij predstavuje n-ticu, ktorá obsahuje iba jednu hodnotu. V prípade impulzného režimu predpokladáme automat typu Moore. Hlavné úlohy - analýza a syntéza obvodu. bstraktná syntéza- na základe zadaného chovania systému sa určí množina stavov a určí prechodová a výstupná funkcia automatu zvoleného typu (Moore, Mealy). Štruktúrna syntéza - prechod od zostaveného abstraktného automatu k jeho technickej realizácii sekvenčným obvodom s popísanými funkčnými prvkami. 93
1
1. CHARAKTERISTIKA DIGITÁLNEHO SYSTÉMU A. Charakteristika digitálneho systému Digitálny systém je dynamický systém (vo všeobecnosti) so vstupnými, v čase premennými veličinami, výstupnými premennými veličinami
PodrobnejšieMicrosoft Word - Algoritmy a informatika-priesvitky02.doc
3. prednáška Teória množín I množina operácie nad množinami množinová algebra mohutnosť a enumerácia karteziánsky súčin Priesvtika: 1 Definícia množiny Koncepcia množiny patrí medzi základné formálne prostriedky
Podrobnejšie2.5. Dotyčnica krivky, dotykový kužeľ. Nech f je krivka a nech P V (f) (t.j. m P (f) 1). Ak m P (f) = r a l je taká priamka, že I P (f, l) > r, potom
2.5. Dotyčnica krivky, dotykový kužeľ. Nech f je krivka a nech P V (f) (t.j. m P (f) 1). Ak m P (f) = r a l je taká priamka, že I P (f, l) > r, potom l nazývame dotyčnicou krivky f v bode P. Pre daný bod
PodrobnejšiePoznámky k cvičeniu č. 2
Formálne jazyky a automaty (1) Zimný semester 2017/18 Zobrazenia, obrazy a inverzné obrazy Poznámky k cvičeniu č. 2 Peter Kostolányi 4. októbra 2017 Nech f : X Y je zobrazenie. Obraz prvku x X pri zobrazení
PodrobnejšieMicrosoft Word - Argumentation_presentation.doc
ARGUMENTÁCIA V. Kvasnička Ústav aplikovanej informatiky FIIT STU Seminár UI, dňa 21.11.2008 Priesvitka 1 Úvodné poznámky Argumentácia patrí medzi dôležité aspekty ľudskej inteligencie. Integrálnou súčasťou
PodrobnejšieVzorové riešenia úlohy 4.1 Bodovanie Úvod do TI 2010 Dôvod prečo veľa z Vás malo málo bodov bolo to, že ste sa nepokúsili svoje tvrdenia dokázať, prič
Vzorové riešenia úlohy 4.1 Bodovanie Úvod do TI 2010 Dôvod prečo veľa z Vás malo málo bodov bolo to, že ste sa nepokúsili svoje tvrdenia dokázať, pričom to je veľmi dôležitá súčasť úlohy. Body sa udeľovali
Podrobnejšie2
B. Agent formálne opíšeme agenty (správania) tak, ako ich budeme používať pri špecifikácií zložitého systému. Na ich špecifikáciu použijeme formálny opis komunikačnej množiny KM agenta pomocou špeciálnych
PodrobnejšieMicrosoft Word - Transparencies03.doc
3. prednáška Teória množín II relácie o operácie nad reláciami o rovnosť o usporiadanosť funkcie o zložená funkcia o inverzná funkcia. Verzia: 20. 3. 2006 Priesvitka: 1 Relácie Definícia. Nech X a Y sú
PodrobnejšieOperačná analýza 2
Súradnicové sústavy a zobrazenia Súradnicové sústavy v rovine (E 2 ) 1. Karteziánska súradnicová sústava najpoužívanejšia súradnicová sústava; určená začiatkom O, kolmými osami x, y a rovnakými jednotkami
PodrobnejšieInformačné technológie
Informačné technológie Piatok 15.11. 2013 Matúš Péči Barbora Zahradníková Soňa Duchovičová Matúš Gramlička Začiatok/Koniec Z K Vstup/Výstup A, B Načítanie vstupných premenných A, B resp. výstup výstupných
PodrobnejšieInformačná a modelová podpora pre kvantifikáciu prvkov daňovej sústavy SR
Nelineárne optimalizačné modely a metódy Téma prednášky č. 5 Prof. Ing. Michal Fendek, CSc. Katedra operačného výskumu a ekonometrie Ekonomická univerzita Dolnozemská 1 852 35 Bratislava Označme ako množinu
PodrobnejšieKlasická metóda CPM
Operačná analýza 2-02a Klasická metóda CPM Úvod Je daná úloha časového plánovania U s množinou elementárnych činností E a reálnou funkciou c: E R ktorá každej činnosti A E priradí jej dobu trvania c(a).
PodrobnejšieFunkcie viac premenných
Funkcie viac premenných January 21, 215 Regulárne zobrazenia Nech je zobrazenie X = Φ(T) dané rovnicami: x 1 = ϕ 1 (t 1, t 2,, t n), x 2 = ϕ 2 (t 1, t 2,, t n), x n = ϕ n(t 1, t 2,, t n), a ak majú funkcie
PodrobnejšieMicrosoft Word - skripta3b.doc
6. Vlastnosti binárnych relácií V tejto časti sa budeme venovať šiestim vlastnostiam binárnych relácií. Najprv si uvedieme ich definíciu. Reláciu R definovanú v množine M nazývame: a ) reflexívnou, ak
PodrobnejšiePrenosový kanál a jeho kapacita
Prenosový kanál a jeho kapacita Stanislav Palúch Fakulta riadenia a informatiky, Žilinská univerzita 5. mája 2011 Stanislav Palúch, Fakulta riadenia a informatiky, Žilinská univerzita Prenosový kanál a
PodrobnejšieMetrické konštrukcie elipsy Soňa Kudličková, Alžbeta Mackovová Elipsu, ako regulárnu kužeľosečku, môžeme študovať synteticky (konštrukcie bodov elipsy
Metrické konštrukcie elipsy Soňa Kudličková, Alžbeta Mackovová Elipsu, ako regulárnu kužeľosečku, môžeme študovať synteticky (konštrukcie bodov elipsy) alebo analyticky (výpočet súradníc bodov elipsy).
Podrobnejšie1 Portál pre odborné publikovanie ISSN Heuristický adaptívny PSD regulátor založený na miere kmitavosti Šlezárová Alexandra Elektrotechnika
1 Portál pre odborné publikovanie ISSN 1338-0087 Heuristický adaptívny PSD regulátor založený na miere kmitavosti Šlezárová Alexandra Elektrotechnika 28.04.2010 Článok spočíva v predstavení a opísaní algoritmu
PodrobnejšieTeória pravdepodobnosti Zákony velkých císel
10. Zákony veľkých čísel Katedra Matematických metód Fakulta Riadenia a Informatiky Žilinská Univerzita v Žiline 6. apríla 2014 1 Zákony veľkých čísel 2 Centrálna limitná veta Zákony veľkých čísel Motivácia
PodrobnejšieSnímka 1
Generovanie LOGICKÝCH KONJUNKCIÍ doc. Ing. Kristína Machová, PhD. kristina.machova@tuke.sk http://people.tuke.sk/kristina.machova/ OSNOVA: 1. Prehľadávanie priestoru pojmov 2. Reprezentácia a použitie
PodrobnejšieSRPkapitola06_v1.docx
Štatistické riadenie procesov Regulačné diagramy na reguláciu porovnávaním 6-1 6 Regulačné diagramy na reguláciu porovnávaním Cieľ kapitoly Po preštudovaní tejto kapitoly budete vedieť: čo sú regulačné
PodrobnejšieMicrosoft Word - 16.kapitola.doc
6. kapitola Logická teória diagnózy zložitých systémov 6. Úvodné poznámky tanovenie diagnózy zložitých systémov v medicíne u človeka, veľkých výrobných zariadení, elektronických obvodov, a pod.) patrí
PodrobnejšieMatematika 2 - cast: Funkcia viac premenných
Matematika 2 časť: Funkcia viac premenných RNDr. Jana Pócsová, PhD. Ústav riadenia a informatizácie výrobných procesov Fakulta BERG Technická univerzita v Košiciach e-mail: jana.pocsova@tuke.sk Spojitosť
Podrobnejšie8 Cvičenie 1.1 Dokážte, že pre ľubovoľné body X, Y, Z platí X + Y Z = Z + Y X. 1.2 Dokážte, že pre ľubovoľné body A, B, D, E, F, G afinného priestoru
8 Cvičenie 1.1 Dokážte, že pre ľubovoľné body X, Y, Z platí X + Y Z = Z + Y X. 1. Dokážte, že pre ľubovoľné body A, B, D, E, F, G afinného priestoru P platí F B = F A, BD = AE, DG = EG F = G. 1.3 Dokážte
PodrobnejšieMO_pred1
Modelovanie a optimalizácia Ľudmila Jánošíková Katedra dopravných sietí Fakulta riadenia a informatiky Žilinská univerzita, Žilina Ludmila.Janosikova@fri.uniza.sk 041/5134 220 Modelovanie a optimalizácia
PodrobnejšiePokrocilé programovanie XI - Diagonalizácia matíc
Pokročilé programovanie XI Diagonalizácia matíc Peter Markoš Katedra experimentálnej fyziky F2-523 Letný semester 2015/2016 Obsah Fyzikálne príklady: zviazané oscilátory, anizotrópne systémy, kvantová
PodrobnejšieMicrosoft Word - 8.cvicenie.doc
Cvičenie Cvičenie 8.. ko je šecifikovaný argument? Riešenie. rgument je usoriadaná dvojica = ( Φ, ), kde {,,, } Φ = ϕ ϕ ϕ n je teória tvorená množinou formúl, ktorá vyhovuje odmienkam: () Φ (odmienka konzistentnosti),
PodrobnejšieECDL Syllabus V50 SK-V01
SYLLABUS ECDL Modul Computing, M16 (Základy informatického myslenia a programovania) Sylabus, verzia 1.0 ECDL Module Computing Syllabus Version 1.0 Účel Tento dokument uvádza v plnom znení sylabus pre
PodrobnejšieOperačná analýza 2
Krivky (čiary) Krivku môžeme definovať: trajektória (dráha) pohybujúceho sa bodu, jednoparametrická sústava bodov charakterizovaná určitou vlastnosťou,... Krivky môžeme deliť z viacerých hľadísk, napr.:
PodrobnejšieO možnosti riešenia deformácie zemského povrchu z pohladu metódy konecných prvkov konference pro studenty matematiky
O možnosti riešenia deformácie zemského povrchu z pohľadu metódy konečných prvkov 19. konference pro studenty matematiky Michal Eliaš ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Katedra matematiky 7. 9. 6. 2011
PodrobnejšieTesty z CSS_2015_16
Previerkové otázky na skúšku z ČSS 1. Vyjadrite slovne a matematicky princíp superpozície pre lineárnu diskrétnu sústavu. 2. Čo fyzikálne predstavuje riešenie homogénnej a nehomogénnej lineárnej diferenčne
PodrobnejšieSnímka 1
Fyzika - prednáška 12 Ciele 5. Fyzikálne polia 5.4 Stacionárne magnetické pole 5.5 Elektromagnetické pole Zopakujte si Fyzikálne pole je definované ako... oblasť v určitom priestore, pričom v každom bode
PodrobnejšieZeszyty Naukowe PWSZ, Nowy Sącz 2013 Konštrukcie magických obdĺžnikov Marián Trenkler Faculty of Education, Catholic University in Ružomberok Hrabovsk
Zeszyty Naukowe PWSZ, Nowy Sącz 2013 Konštrukcie magických obdĺžnikov Marián Trenkler Faculty of Education, Catholic University in Ružomberok Hrabovská cesta 1, 034 01 Ružomberok, Slovakia e-mail: marian.trenkler@ku.sk
PodrobnejšieOperačná analýza 2
Niektoré náhodné procesy majú v praxi veľký význam, pretože sa často vyskytujú, napr.: Poissonov proces proces vzniku a zániku Wienerov proces stacionárne procesy,... Poissonov proces je homogénny Markovov
Podrobnejšie9.1 MOMENTY ZOTRVACNOSTI \(KVADRATICKÉ MOMENTY\) A DEVIACNÝ MOMENT PRIEREZU
Učebný cieľ kapitoly Po preštudovaní tejto kapitoly by ste mali ovládať: Charakteristiku kvadratických momentov prierezových plôch. Ako je definovaný kvadraticky moment plochy k osi a k pólu. Ako je definovaný
PodrobnejšieJozef Kiseľák Sada úloh na precvičenie VIII. 15. máj 2014 A. (a) (b) 1
Jozef Kiseľák Sada úloh na precvičenie VIII. 15. máj 2014 A. (a) (b) 1 A Pomocou Charpitovej metódy vyriešte rovnicu. x u x + y u y = u u x y u 2 = xy u u x y 3. u 2 y = u y u 4. u 2 x = u x u u x = B.
Podrobnejšie9. kapitola Maticová algebra II systém lineárnych rovníc, Frobeniova veta, Gaussova eliminačná metóda, determinanty 1. Systém lineárnych rovníc Systém
9. kapitola Maticová algebra II systém lineárnych rovníc, Frobeniova veta, Gaussova eliminačná metóda, determinanty. Systém lineárnych rovníc Systém lineárnych rovníc, ktorý obsahuje m rovníc o n neznámych
PodrobnejšieZmluva nepomenovaná
Príloha 2.3.3 Zmluva č. XX/20XX o pridelení kapacity infraštruktúry (ďalej len Zmluva ) uzavretá v zmysle 269 ods. 2 Obchodného zákonníka č. 513/1991 Zb. v znení neskorších predpisov a v súlade s 40 zákona
PodrobnejšieNÁVRH UČEBNÝCH OSNOV PRE 1
PROGRAMOVANIE UČEBNÉ OSNOVY do ŠkVP Charakteristika voliteľného učebného predmetu Programovanie Programovanie rozširuje a prehlbuje žiacke vedomosti z predchádzajúcich povinného predmetu Informatika. Kompetencie
PodrobnejšiePodpora metód operačného výskumu pri navrhovaní systému liniek doc. RNDr. Štefan PEŠKO, CSc. Katedra matematických metód, Fa
Podpora metód operačného výskumu pri navrhovaní systému liniek doc. RNDr. Štefan PEŠKO, CSc. stefan.pesko@fri.uniza.sk Katedra matematických metód, Fakulta riadenia a informatiky, Žilinská univerzita v
PodrobnejšieNeineárne programovanie zimný semester 2018/19 M. Trnovská, KAMŠ, FMFI UK 1
Neineárne programovanie zimný semester 2018/19 M. Trnovská, KAMŠ, FMFI UK 1 Metódy riešenia úloh nelineárneho programovania využívajúce Lagrangeovu funkciu 2 Veta: Bod ˆx je optimálne riešenie úlohy (U3)
PodrobnejšieÚvod do lineárnej algebry Monika Molnárová Prednášky 2006
Úvod do lineárnej algebry Monika Molnárová Prednášky 2006 Prednášky: 1. 3. marca 2006 2. 10. marca 2006 c RNDr. Monika Molnárová, PhD. Obsah 1 Aritmetické vektory a matice 4 1.1 Aritmetické vektory........................
PodrobnejšieB5.indd
Úvod do limitných prechodov Vladimír Janiš ÚVOD DO LIMITNÝCH PRECHODOV Autor: doc. RNDr. Vladimír Janiš, CSc. Recenzenti: doc. RNDr. Martin Kalina, CSc. RNDr. Pavol Krá, PhD. Vydavate : Belianum. Vydavate
PodrobnejšiePríklad 9 - Lisovanie+ Vylúhovanie+ Sušenie 3. Bilančná schéma 1. Zadanie príkladu Bilančná schéma: m6 =? w6a = m4 =? kg 0.1 Zvolený základ výpočtu: w
Príklad 9 - Lisovanie+ Vylúhovanie+ Sušenie 3. Bilančná schéma 1. Zadanie príkladu Bilančná schéma: m6 =? w6a = m4 =? kg 0.1 Zvolený základ výpočtu: w4d = 1 w6d = 0.9 m 1 = 100 kg 4 6 EXTRAKTOR 1 3 LIS
Podrobnejšie1
ADM a logika 5. prednáška Sémantické tablá priesvitka 1 Úvodné poznámky Cieľom dnešnej prednášky je moderná sémantická metóda verifikácie skutočnosti, či formula je tautológia alebo kontradikcia: Metóda
PodrobnejšiePrezentace aplikace PowerPoint
Ako vytvárať spätnú väzbu v interaktívnom matematickom učebnom prostredí Stanislav Lukáč, Jozef Sekerák Implementácia spätnej väzby Vysvetlenie riešenia problému, podnety pre konkrétne akcie vedúce k riešeniu
PodrobnejšieJednotkový koreň (unit root), diferencovanie časového radu, unit root testy Beáta Stehlíková Časové rady, FMFI UK, 2011/2012 Jednotkový koreň(unit roo
Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy Beáta Stehlíková Časové rady, FMFI UK, 2011/2012 Jednotkový koreň(unit root),diferencovanie časového radu, unit root testy p.1/18
PodrobnejšieMicrosoft Word - Priloha_1.docx
Obsah 1 Úvod... 1 2 Hlavné menu verejnej časti ITMS2014+... 1 3 Zoznam ŽoNFP na verejnej časti ITMS2014+... 2 3.1 Vyhľadávanie ŽoNFP... 2 3.2 Horná lišta zoznamu ŽoNFP... 2 3.3 Stĺpce zoznamu ŽoNFP...
PodrobnejšieParalelné algoritmy, cast c. 3
Paralelné algoritmy, čast č. 3 František Mráz Kabinet software a výuky informatiky, MFF UK, Praha Paralelné algoritmy, 2009/2010 František Mráz (KSVI MFF UK) Paralelné algoritmy, čast č. 3 Paralelné algoritmy,
PodrobnejšieMetódy dokazovanie v matematike 1 Základné pojmy Matematika exaktná veda vybudovaná DEDUKTÍVNE ZÁKLADNÉ POJMY základy každej matematickej teórie sú in
Metódy dokazovanie v matematike 1 Základné pojmy Matematika exaktná veda vybudovaná DEDUKTÍVNE ZÁKLADNÉ POJMY základy každej matematickej teórie sú intuitívne jasné a názorné napr. prirodzené čísla, zlomok,
PodrobnejšieRegulované napájacie zdroje DC AX-3005DBL jednokanálový AX-3005DBL 3-trojkanálový
Regulované napájacie zdroje DC AX-3005DBL jednokanálový AX-3005DBL 3-trojkanálový Návod na obsluhu Kapitola 1. Inštalácia a odporúčania týkajúce sa používania Počas inštalácie napájacieho zdroja bezpodmienečne
Podrobnejšie4. Pravidlo ret azenia. Často sa stretávame so skupinami premenných, ktoré zložitým spôsobom závisia od iných skupín premenných. Pravidlo ret azenia p
4. Pravidlo ret azenia. Často sa stretávame so skupinami premenných, ktoré zložitým spôsobom závisia od iných skupín premenných. Pravidlo ret azenia pre funkcie viacerých premenných je univerzálna metóda,
PodrobnejšieSK MATEMATICKÁOLYMPIÁDA skmo.sk 2009/ ročník MO Riešenia úloh česko-poľsko-slovenského stretnutia 1. Určte všetky trojice (a, b, c) kladných r
SK MATEMATICKÁOLYMPIÁDA skmo.sk 009/010 59. ročník MO Riešenia úloh česko-poľsko-slovenského stretnutia 1. Určte všetky trojice (a, b, c) kladných reálnych čísel, ktoré sú riešením sústavy rovníc a b c
PodrobnejšieSTRUČNÝ NÁVOD KU IP-COACHU
STRUČNÝ NÁVOD KU COACHU 6 Otvorenie programu a voľba úlohy na meranie Otvorenie programu Program COACH na meranie otvoríme kliknutím na ikonu Autor na obrazovke, potom zvolíme Užívateľskú úroveň Pokročilý
PodrobnejšieData sheet
Ilustračné foto Všeobecne Modulárny systém Možnosť zabudovania systému: - 1U rošt s 19 /21 montážnou sadou do racku - montážna sada pre DIN lištu - sada pre montáž na stenu DC/DC-TPU 120/48 - Centrálna
PodrobnejšieMicrosoft Word - 06b976f06a0Matice - Uzivatelska Dokumentacia
Matice Užívateľská dokumentácia k programu Autor: Miroslav Jakubík 2009 Obsah 1 Úvod... 2 1.1 Stručný popis programu... 2 1.2 Spustenie programu... 2 1.3 Otvorenie dokumentu... 3 1.4 Ovládanie programu...
Podrobnejšie1 Rekurencie este raz riesenia niektorych rekurencii z cvik. mame danu rekurenciu napr T (n) = at ( n b ) + k. idea postupu je postupne rozpisovat cle
1 Rekurencie este raz riesenia niektorych rekurencii z cvik. mame danu rekurenciu napr at b + k. idea postupu je postupne rozpisovat cleny T b... teda T b = at + 1... dokym v tom neuvidime nejaky tvar
PodrobnejšieMicrosoft Word - FRI”U M 2005 forma B k¾úè.doc
Fakulta riadenia a informatik Žilinskej univerzit ( ) ( 6 ) 6 = 3 () 8 (D) 8 m Závislosť hmotnosti m častice od jej rýchlosti v je vjadrená vzťahom m =, kde m je v c pokojová hmotnosť častice, c je rýchlosť
Podrobnejšie12Prednaska
propozičná logika vs. logika prvého rádu globálna vs. kompozičná vetviaci sa čas vs. lineárny čas časové body vs. časové intervaly diskrétny čas vs. spojitý čas minulosť vs. budúcnosť distribovanosť vs.
PodrobnejšiePokrocilé programovanie II - Nelineárne iteracné schémy, chaos, fraktály
Pokročilé programovanie II Nelineárne iteračné schémy, chaos, fraktály Peter Markoš Katedra experimentálnej fyziky F2-253 Letný semester 27/28 Obsah Logistická mapa - May Period doubling, podivný atraktor,
PodrobnejšiePowerPoint Presentation
Vymenujte základné body fyzikálneho programu ktoré určujú metodológiu fyziky pri štúdiu nejakého fyzikálneho systému Ako vyzerá pohybová rovnica pre predpovedanie budúcnosti častice v mechanike popíšte,
PodrobnejšieSlide 1
Diferenciálne rovnice Základný jazyk fyziky Motivácia Typická úloha fyziky hľadanie časových priebehov veličín, ktoré spĺňajú daný fyzikálny zákon. Určte trajektóriu telesa rt ( )???? padajúceho v gravitačnom
PodrobnejšieA 1
Matematika A :: Test na skúške (ukážka) :: 05 Daná je funkcia g : y 5 arccos a) Zistite oblasť definície funkcie b) vyjadrite inverznú funkciu g Zistite rovnice asymptot (so smernicou bez smernice) grafu
PodrobnejšieAxióma výberu
Axióma výberu 29. septembra 2012 Axióma výberu Axióma VIII (Axióma výberu) ( S)[( A S)(A ) ( A S)( B S)(A B A B = ) ( V )( A S)( x)(v A = {x})] Pre každý systém neprázdnych po dvoch disjunktných množín
PodrobnejšieRelačné a logické bázy dát
Unifikácia riešenie rovníc v algebre termov Ján Šturc Zima, 2010 Termy a substitúcie Definícia (term): 1. Nech t 0,..., t n -1 sú termy a f je n-árny funkčný symbol, potom aj f(t 0,..., t n -1 ) je term.
PodrobnejšieAlgoritmizácia a programovanie - Príkazy
Algoritmizácia a programovanie Príkazy prof. Ing. Ján Terpák, CSc. Technická univerzita v Košiciach Fakulta baníctva, ekológie, riadenia a geotechnológíı Ústav riadenia a informatizácie výrobných procesov
PodrobnejšieCentrum vedecko-technických informácií, Odbor pre hodnotenie vedy, Oddelenie pre hodnotenie publikačnej činnosti Vyhľadávanie a práca so záznamami - C
Centrum vedecko-technických informácií, Odbor pre hodnotenie vedy, Oddelenie pre hodnotenie publikačnej činnosti Vyhľadávanie a práca so záznamami - CREPČ 2 Manuál pre autorov (aktualizované dňa 18.3.2019)
PodrobnejšieSTRUČNÝ NÁVOD KU IP-COACHU
STRUČNÝ NÁVOD KU COACHU 5 Otvorenie programu a voľba úlohy na meranie Otvorenie programu Program IP- COACH na meranie otvoríme kliknutím na ikonu na obrazovke: Obr.1 Voľba úlohy na meranie Po kliknutí
PodrobnejšiePríklad 5 - Benzén 3. Bilančná schéma 1. Zadanie príkladu n 1 = kmol/h Definovaný základ výpočtu. Na základe informácií zo zadania si ho bude v
Príklad 5 - enzén 3. ilančná schéma 1. Zadanie príkladu n 1 = 12.862 kmol/h efinovaný základ výpočtu. Na základe informácií zo zadania si ho bude vhodné prepočítať na hmotnostný tok. m 1 = n 1*M 1 enzén
PodrobnejšieRozvojom spoločnosti najmä v druhej polovici minulého storočia dochádza čím ďalej tým viac k zásahu človeka do životného prostredia
3 Prenos hmoty a energie 3.1 Stacionárny prípad 1. Prúd vody v rieke s prietokom Qs 10m 3 /s má koncentráciu chloridov cs 20mg/l. Prítok rieky s prietokom Qw 5m 3 /s má koncentráciu chloridov cw 40mg/l.
PodrobnejšieIII. Diferenciálny počet funkcie viac premenných (Prezentácia k prednáškam, čast B) Matematická analýza IV (ÚMV/MAN2d/10) RNDr. Lenka Halčinová, PhD.
III. Diferenciálny počet funkcie viac premenných (Prezentácia k prednáškam, čast B) (ÚMV/MAN2d/10) lenka.halcinova@upjs.sk 11. apríla 2019 3.3 Derivácia v smere, vzt ah diferenciálu, gradientu a smerovej
Podrobnejšie1)
Prijímacia skúška z matematiky do prímy gymnázia s osemročným štúdiom Milá žiačka/milý žiak, sme veľmi radi, že ste sa rozhodli podať prihlášku na našu školu. Dúfame, že nasledujúce úlohy hravo vyriešite
PodrobnejšieÚvodná prednáška z RaL
Rozvrhovanie a logistika Základné informácie o predmete Logistika a jej ciele Štruktúra činností výrobnej logistiky Základné skupiny úloh výrobnej logistiky Metódy používané na riešenie úloh výrobnej logistiky
PodrobnejšiePríspevok k modelovaniu a riadeniu robotických systémov s využitím metód umelej inteligencie
PRÍSPEVOK K HYBRIDNÝM MODELOM KYBER-FYZIKÁLNYCH SYSTÉMOV A ICH IMPLEMENTÁCIA DO DISTRIBUOVANÉHO SYSTÉMU RIADENIA TUKE FEI KKUI školiteľ: Ing. Dominik Vošček doc. Ing. Anna Jadlovská, PhD. 14.3.2017 ČLENENIE
PodrobnejšieÚlohy: Inteligentné modelovanie a riadenie model MR mobilný robot s diferenciálnym kolesovým podvozkom 1. Vytvorte simulačnú schému pre snímanie tréno
Úlohy: Inteligentné modelovanie a riadenie model MR mobilný robot s diferenciálnym kolesovým podvozkom 1. Vytvorte simulačnú schému pre snímanie trénovacích a testovacích dát dopredného neurónového modelu
PodrobnejšieViacnásobne použitelné oblasti spolahlivosti pre viacrozmernú kalibráciu
Viacnásobne použitel né oblasti spol ahlivosti pre viacrozmernú kalibráciu Martina Chvosteková Ústav merania Slovenská akadémia vied 22. január, Rekreačné zariadenie Rybník, 2018 Obsah 1 Predpoklady, model
PodrobnejšieMicrosoft Word - 6 Výrazy a vzorce.doc
6 téma: Výrazy a vzorce I Úlohy na úvod 1 1 Zistite definičný obor výrazu V = 4 Riešte sústavu 15 = 6a + b, = 4a c, 1 = 4a + b 16c Rozložte na súčin výrazy a) b 4 a 18, b) c 5cd 10c d +, c) 6 1 s + z 4
PodrobnejšieTue Oct 3 22:05:51 CEST Začiatky s jazykom C 2.1 Štruktúra programu Štruktúra programu by sa dala jednoducho popísať nasledovnými časťami, kto
Tue Oct 3 22:05:51 CEST 2006 2. Začiatky s jazykom C 2.1 Štruktúra programu Štruktúra programu by sa dala jednoducho popísať nasledovnými časťami, ktoré si postupne rozoberieme: dátové typy príkazy bloky
PodrobnejšieMicrosoft Word - ASB-12150U_ASB-15180U_SK
ASB-12150U, ASB-15180U BI-AMP AKTÍVNA REPROSÚSTAVA S USB/SD/MP3 PREHRÁVAČOM NÁVOD NA POUŽITIE POPIS - Bi-amp aktívna reprosústava s mimoriadne odolnou polypropylénovou ozvučnicou. - USB/SD/MP3 prehrávač
PodrobnejšieParsovanie MusicXML súborov Bc. Ondrej Grman Študijný program: Informačné systémy Predmet: Vyhľadávanie informácií Ak. rok: 2013/2014
Parsovanie MusicXML súborov Bc. Ondrej Grman Študijný program: Informačné systémy Predmet: Vyhľadávanie informácií Ak. rok: 2013/2014 Obsah 1 Úvod... 3 2 Prehľad súčasných riešení... 3 2.1 Aplikácie pre
PodrobnejšieKatalóg cieľových požiadaviek k maturitnej skúške
CIEĽOVÉ POŽIADAVKY NA VEDOMOSTI A ZRUČNOSTI MATURANTOV Z INFORMATIKY BRATISLAVA 2019 Schválilo Ministerstvo školstva, vedy, výskum a športu Slovenskej republiky dňa 12. júna 2019 pod číslom 2019/2049:2-A1020
PodrobnejšieETITRAFO Jednofázové bezpečnostné a izolačné transformátory Technické údaje ETITRAFO Jednofázové bezpečnostné a izolačné transformátory Energi
Technické údaje 200 540 Energia pod kontrolou Bezpečnostný transformátor Je to izolačný transformátor vytvorený na prívod max. 50 V obvodu (bezpečnostné špeciálne nízke napätie) Izolačný transformátor
PodrobnejšiePhoto Album
MZDY Stravné lístky COMPEKO, 2019 V programe je prepracovaná práca s evidencoiu stravných lístkov. Z hľadiska dátových štruktúr je spracovanie stravných lístkov rozložené do súborov MZSTRLH.dbf a MZSTRLP.dbf,
PodrobnejšieNSK Karta PDF
Názov kvalifikácie: Projektový manažér pre informačné technológie Kód kvalifikácie U2421003-01391 Úroveň SKKR 7 Sektorová rada IT a telekomunikácie SK ISCO-08 2421003 / Projektový špecialista (projektový
PodrobnejšieNumerické riešenie všeobecnej (klasickej) DMPK rovnice.
Numerické riešenie všeobecnej (klasickej) DMPK rovnice. J. Brndiar, R. Derian, P. Markos 11.6.27 1 Úvod Vodivost a transfér matica DMPK vs. zovšeobecnená DMPK rovnica 2 Numerické riešenie Ciel e Predpríprava
PodrobnejšieRepublika Srbsko MINISTERSTVO OSVETY, VEDY A TECHNOLOGICKÉHO ROZVOJA ÚSTAV PRE HODNOTENIE KVALITY VZDELÁVANIA A VÝCHOVY VOJVODINSKÝ PEDAGOGICKÝ ÚSTAV
Republika Srbsko MINISTERSTVO OSVETY, VEDY A TECHNOLOGICKÉHO ROZVOJA ÚSTAV PRE HODNOTENIE KVALITY VZDELÁVANIA A VÝCHOVY VOJVODINSKÝ PEDAGOGICKÝ ÚSTAV ZÁVEREČNÁ SKÚŠKA NA KONCI ZÁKLADNÉHO VZDELÁVANIA A
PodrobnejšieHistória
Fakulta riadenia a informatiky ŽU Množiny Pojmy zavedené v 8. prednáške N-rozmerné polia Dvojrozmerné polia matica definícia typ[][] premenna inicializácia new typ[pocetriadkov][pocetstlpcov] práca s prvkami
PodrobnejšiePoužívateľská príručka elektronických služieb pre žiadateľov o štatistické informácie október 2016
Používateľská príručka elektronických služieb pre žiadateľov o štatistické informácie október 2016 Obsah 1 Úvod...3 2 Základné funkcionality elektronických služieb...4 2.1 Registrácia a prihlásenie sa
PodrobnejšieMicrosoft Word - TeoriaMaR-pomocka2.doc
SLOVENSKÁ TECHNICKÁ UNIVERZITA STAVEBNÁ FAKULTA KATEDRA TECHNICKÝCH ZARIADENÍ BUDOV KRESLENIE SCHÉ TOKU SIGNÁLOV PODĽA DIN 19227 UČEBNÁ POÔCKA Č.2 pre 1. ročník inžinierskeho štúdia študijného programu
Podrobnejšiegis7 prifuk
Kartografické aspekty GIS základné pojmy Kartografické aspekty GIS základné pojmy Referenčný elipsoid Geoid Povrch zeme Referenčný elipsoid Kartografické aspekty GIS základné pojmy Referenčný elipsoid
PodrobnejšieMicrosoft Word - mpicv11.doc
1. Vypočítajte obsah plochy ohraničenej súradnicovými osami a grafom funkcie y = x. a) vypočítame priesečníky grafu so súradnicovými osami x=... y = = y =... = x... x= priesečníku grafu funkcie so ; a
PodrobnejšieKRITÉRIÁ PRE VÝBER PROJEKTOV - POSUDZOVACIE KRITÉRIÁ pre posúdenie projektových zámerov v rámci Integrovaného regionálneho operačného programu priorit
KRITÉRIÁ PRE VÝBER PROJEKTOV - POSUDZOVACIE KRITÉRIÁ pre posúde projektových zámerov v rámci Integrovaného regionálneho operačného programu prioritná os 2 Príloha 7 výzvy Špecifický cieľ 2.1.1 Podporiť
PodrobnejšieDetekcia akustických udalostí v bezpečnostných aplikáciách
TECHNICKÁ UNIVERZITA V KOŠICIACH FAKULTA ELEKTROTECHNIKY A INFORMATIKY KATEDRA ELEKTRONIKY AMULTIMEDIÁLNYCH TECHNOLÓGIÍ Metódy sledovania objektov vo videosekvenciách na báze geometrických vlastností Študijný
Podrobnejšie(Microsoft Word - Tuzemsk\341 a zahrani\350n\341 jazda \232tandardn\341 jazda.docx)
Vytvorenie tuzemskej a zahraničnej jazdy, štandardná jazda V postupe sú uvedené kroky, ktorými môžeme rýchlo a jednoducho vytvoriť ďalšie jazdy a cestovné príkazy pomocou štandardných jázd. Tuzemská jazda
PodrobnejšiePracovný postup pre vypĺňanie údajov elektronického formulára IŠIS pre spravodajskú jednotku 1
Pracovný postup pre vypĺňanie údajov elektronického formulára IŠIS pre spravodajskú jednotku 1 Prihláste sa do aplikácie pomocou prihlasovacích údajov pre spravodajskú jednotku. Link na aplikáciu: http://isis.statistics.sk/
PodrobnejšieČo sú pojmové mapy 1 Charakterizácia pojmových máp pojmové mapy sú diagramy, ktoré vyjadrujú podstatné vzťahy medzi pojmami vo forme tvrdení. Tvrdenia
Čo sú pojmové mapy 1 Charakterizácia pojmových máp pojmové mapy sú diagramy, ktoré vyjadrujú podstatné vzťahy medzi pojmami vo forme tvrdení. Tvrdenia sú v nich reprezentované stručne charakterizovanými
PodrobnejšieSlide 1
SÚSTAVA TRANSF. VZŤAHY Plošné, objemové element Polárna Clindrická rcos rsin rcos r sin z z ds rddr dv rddrdz rcossin Sférická r sin sin dv r sin drd d z rcos Viacrozmerné integrál vo fzike Výpočet poloh
PodrobnejšieZB_Daikin_SETUP_HPSU_compact_V52_ _00_0417_SK.book
Kontrolný zoznam pre uvedenie do prevádzky V5.2 Daikin Altherma EHS(X/H)(B) - 04P30B - 08P30B - 08P50B - 16P50B Vykonané opatrenia označte! Slovenčina Vykonané opatrenia označte! Inicializácia: Vnútorný
PodrobnejšieIT NEWS
Objednávanie cez e-shop pre firmy (B2B) Jún 2019 Vypracoval: RNDr. Andrea Allárová, e-commerce manager Prihlásenie na stránku Pred prvým prihlásením na stránku www.hagard.sk kontaktujte svojho prideleného
Podrobnejšie