Modelovanie a simulácia logických systémov - proces návrhu íslicových systémov - CAD nástroje
|
|
- Alan Turner
- 6 years ago
- Views:
Transcription
1 8 : Modelovanie a simulácia logických systémov - proces návrhu íslicových systémov - CAD nástroje Použitie MaS:. v procese návrhu a) špecifikácia správania sa overenie simuláciou b) modely funk ných prvkov overenie, porovnanie výsl. so špecifikáciou c) model nižšej úrovne porovnanie výsl. s modelom vyššej úrovne d) riešenie optimaliza ných úloh (rozmiestnenie obvodov, d žka spojov,...) 2. diagnostika - overenie úplnosti testov 3. náhrada funk ného bloku simulátorom Diskretny systém, zmena úrovne signálu = udalos 8 : 2 Úrovne opisu íslicových systémov Úrove opisu Štruktúry Prvky Informa né jednotky asové jednotky Systémová Medzireg. prenosov Logických obvodov Elektrických obvodov Po íta ové systémy Procesor, ALU,... Dekódery, registre,... Zosil ova e, hradlá,... Procesory, pamäti, V/V zariadenia,... egistre, kódery, dekódery,... Logické leny AND, O, Preklápacie obvody Tranzistory, kondenzátory, rezistory,... Bloky slov Slová Bity Úrove napätí -6-3 s -9-6 s - -8 s -2-9 s
2 8 : 3 Prostriedky pre opis logických obvodov závisia od ú elu:. overovanie logickej funkcie 2. overovanie správania sa v ase Príklad -nech oneskorenie je as. jednotka -hazardný stav na výstupe! 3. diagnostika -modely porúch t, t, skrat -vstupy pre odhalenie poruchy -možnos lokalizácie poruchy Modely signálov signál : T H, H ur uje model signálu, všeob. Mn (n-hodnotový model) 8 : 4 M2 H={,} (alebo {L,H}) jednoduchos, rýchlos, bitové kódovanie problém s inicializáciou modelovanie prechodných stavov, hazardov M3 H={,,} =neznámy, nedefinovaný stav, ale stabilný alebo dostato ný pre sekven né obvody, TL nestabilné stavy o je? AND 2
3 M5 H={,,,,} =ise, =all vyššia presnos modelu vä šia zložitos, pomalšie 8 : 5 M3 M5 t AND NEG M9 H={,,,,,S,S,D,D} statické hazardy S S dynamické hazardy D D najpresnejšie, detekcia hazardných stavov pomalé (obvykle sa dá prepnú na M5) (párny po et zmien) 8 : 6 (nepárny po et zmien) ozšírenia chybový stav E (napr. dva výstupy aktívne) stav vysokej impedancie Z Napr. iba výstup aktívny, ostatné Z, inak E Po et hodnôt H presnos, zložitos, rýchlos, pamä 3
4 Modely oneskorení 8 : 7 Typ oneskorenia (závisí od správania sa obvodu). prenosové (transport) in out t t 2. filtra né (inertial) ρ < t in out t t 8 : 8 Modely oneskorení. Nulové oneskorenie = - overenie logickej funkcie 2. Jednotkové oneskorenie = as. jednotka - overenie funkcie, simulácia porúch, synchrónne systémy - modely signálov M2, M3 3. Nastavite né oneskorenie, - pre každú operáciu rôzne - spresnenie závislos od zá aže, technológie - modely signálov M2, M3 4. Presné oneskorenie < min, max> - rozsah hodnôt, nominálna hodnota nom - interval po as ktorého sa mení hodnote použi, - alebo náhodné ísla z daného intervalu (napr. trojuholník. rozd.) - treba model signálov aspo M5 4
5 8 : 9 Implementácia logických simulátorov. Jednoduchos použitia pre návrhára - jazyk pre špecifikáciu systému - prepojenie na iné moduly CAD - preprocessing, postprocessing pohodlnos použitia 2. Prenosite nos - implementa ný jazyk, OS - kritické asti v JSI? 3. Kódovanie simula ných hodnôt - efektívnos aritmetických a logických operácií - bitové kódovanie, príklad 4. Simula né algoritmy - postup pri šírení zmien signálov - vyhodnocovanie funkcie prvkov - plánovanie udalostí 8 : A. Simulátory riadené kompilátorom (kompilované modely) - prvok = procedúra, prepojenie = postupnos volania procedúr B. Simulátory riadené tabu kami - zdrojový text údajové štruktúry - riadiaci program interpretuje dáta - vyhodnocujú sa iba aktívne prvky - zmeny prepojenia nevyžadujú kompiláciu C. Interpreta né simulátory - zdrojový text vnútorná forma interpretácia - ojedinele 5
6 8 : Mechanizmus toku asu v modeli diskrétny systém skokové zmeny stavu udalos = ( as, signál, nová hodnota) zmena úrovne signálu a) Technika s pevným asovým krokom b) Technika nasledujúcej udalosti c) Zmiešaná technika 8 : 2 a) Pevný asový krok schedule( o x krokov, signál, nová hodnota) Implementácia: asová mapa (kruh) = tabu ka smerníkov na záznamy o udalostiach Ur enie t a L (ve kos mapy):. Oneskorenie prvkov D = d* t, d N 2. optimum t: NSD oneskorení prvkov 3. L dmax (Dmax = dmax* t) 4. L o najmenšie Vhodné pre prvky s porovnate nými oneskoreniami, synchrónne systémy dostato né zaplnenie mapy 6
7 8 : 3 b) Nasledujúca udalos - kalendár udalostí, schedule, cause - zaradenie udalosti je náro nejšie (preh adávanie) - dvojrozmerný kalendár c) Zmiešaná technika - postup s pevným krokom + vzdialené udalosti v kalendári - výhodné ak vä šina udalostí je v blízkej budúcnosti (efektívna manipulácia s asovou mapou) ale vykytujú sa aj ve ké oneskorenia prvkov asová mapa d žky 2*Z 8 : 4 vždy naplánovaná na rel. as Z+, jej vykonanie spôsobí:. v asovej mape <,Z> <Z+, 2*Z> <Z+,2*Z> 2. PC++; = ; 3. naplánuj nový výskyt A M na Z+ 4. z kalendára udalosti <PC*Z+Z+, PC*Z+2*Z> vyber a zara do mapy 7
8 8 : 5 Simulátory riadené tabu kami TO tabu ka funk ných opisov - modely komponentov vo vhodnom tvare TP tabu ka prvkov záznam pre každý prvok obsahuje - typ = smerník do TO - ID prvku (meno) - dynamické parametre ak nie individuálne tak v TO - po et vstupov ak je volitelný - smerník do TV na prvý vstup - po et lenov pripojených k výstupu - smerník do TVV kam je pripojený výstup(y) - hodnota výstupu - as poslednej zmeny výstupu : 6 TV tabu ka vstupov záznam pre každý vstup log. lena - smerník do TP alebo TPVS odkia je vstup napájaný TVV tabu ka výstupného vetvenia kam sa šíri signál - smerník do TP leny zapojené na daný výstup TPVS tabu ka primárnych vstupov - hodnota vstupu - as poslednej zmeny - po et pripojených lenov - smerník do TVV TPVY tabu ka primárnych výstupov - smerník do TP na ktorý len je primárny výstup pripojený 8
9 8 : 7 Väzby medzi tabu kami TV a TVV nemusia by samostatné tabu ky, ale v každom zázname TP pole smerníkov premenlivej d žky 8 : 8 Príklad 9
10 8 : 9 Algoritmy simulácie. Synchrónny algoritmus Init: T ; P P ; ZSA TPVS[ j ].TVV; ZBA ø; 8 : 2 P = hodnoty premenných v sú asnom stave P = hodnoty premenných v nasledujúcom takte T = simula ný as ZSA = zásobník sú asnej aktivity ZBA = zásobník budúcej aktivity while (ZSA ø) { // ustálený stav foreach LC in ZSA { P [LC] LC.funkcia(); // vyhodno výstup If( P [LC] P[LC] ) ZBA ZBA + LC.TVV; } // foreach } // zmena na primárnom vstupe: ZBA ZBA + TPVS[zmena].TVV; T T + ; P P ; ZSA ZBA; ZBA ø; // vyme zásobníky
11 8 : 2 Príklad & L Q S S & L2 Qn Q Qn P P as S Q Qn Q Qn ZSA L, L2 L2, L L, L2 L L2 ZBA L2, L L, L2 L L2 - Zmena primár. vstupu Ustálený stav V. Sol ány, KIVT EI STU Bratislava 2. Asynchrónny algoritmus 8 : 22 Init: T ; P P ; Kal zmeny na prim. vstupoch while ( Kal ø && T < T max ) { T Kal.irst.t; // T T + t; - pevný krok while ( Kal.irst.t == T) { ev Kal.Getirst; P[ev.wire] ev.value; } } foreach LC in All { //všetky komponenty P [LC] LC.funkcia(); if ( P [LC] P[LC] ) schedule ( LC.delay, LC.out, P [LC] ); } // foreach V. Sol ány, KIVT EI STU Bratislava
12 8 : 23 Príklad A B C D & (2) (3) oneskorenie E A B C D E 2 5 as A B C D E kalendár - (A,,), (B,, ), (C,, ) (D, 2, ) 2 (E, 5, ) 5 V. Sol ány, KIVT EI STU Bratislava 8 : 24 Spôsoby zrýchlenia simulácie. Selektívne sledovanie - vyhodnocova len leny, ktorým sa zmenil vstup využi TVV: ZAK = zásobník aktívnych komponentov (zmenil sa im vstup) Init: T ; P P ; Kal zmeny na prim. vstupoch ZAK komponenty pripojené na primárne vstupy; while ( Kal ø && T < T max ) { T Kal.irst.t; while ( Kal.irst.t == T) { ev Kal.Getirst; P[ev.wire] ev.value; ZAK ZAK + ev.wire.tvv; } foreach LC in ZAK All { P [LC] LC.funkcia(); if ( P [LC] P[LC] ) schedule ( LC.delay, LC.out, P [LC] ); } // foreach } V. Sol ány, KIVT EI STU Bratislava 2
13 8 : Pota ené vyhodnocovanie funkcie zložitejšie obvody vyhodnocova má zmysel len za istých podmienok napr. D preklápací obvod: ak eset = netreba vyhodnocova iné vstupy 3. Paralelná simulácia - bitové kódovanie M2, M3 - bitové logické operácie (inštrukcie simula ného programu) - w bitové slovo = w krokov simulácie naraz - pre kombina né obvody bez spätnej väzby - najmä pre simuláciu porúch Príklad (M2) A B & Y Y := A and B Y := Y and C C V. Sol ány, KIVT EI STU Bratislava 8 : 26 M3: A A2 B B2 C C2 4. Súbežná simulácia & Y Y2 Y = f(a,a2,b,b2,c,c2) Y2 = f(a,a2,b,b2,c,c2) - simulácia množiny podobných modelov naraz: referen ný model reprezentovaný kompletne súbežné modely opísané odlišnos ami od referen ného (= zoznam prvkov s odlišnými vstupmi, ak odlišnos zanikne, prvok sa vylú i zo zoznamu) - simulácia porúch: referen ný model = bez porúch súbežné modely = s poruchami V. Sol ány, KIVT EI STU Bratislava 3
Ing. Tomasz Kanik. doc. RNDr. Štefan Peško, CSc.
Ing. Tomasz Kanik Školiteľ: doc. RNDr. Štefan Peško, CSc. Pracovisko: Študijný program: KMMOA, FRI, ŽU 9.2.9 Aplikovaná informatika 1 identifikácia problémovej skupiny pacientov, zlepšenie kvality rozhodovacích
More informationVNORENÉ POČÍTAČOVÉ SYSTÉMY
VNORENÉ POČÍTAČOVÉ SYSTÉMY NEODDELITEĽNÁ SÚČASŤ RIADENÝCH M+E ZARIADENÍ ŠIROKÁ OBLASŤ POUŽITIA ZÁSADNÉ ZJEDNODUŠENIE M+E KONŠTRUKCIE INTELIGENTNÉ ZARIADENIA (NOVÁ FUNKCIONALITA, AmI, IoT) INTELIGENTNÉ
More informationSúťaž PALMA junior a programovanie v jazyku Python
Súťaž PALMA junior a programovanie v jazyku Python Ján Guniš Ľubomír Šnajder Prírodovedecká fakulta Univerzity P. J. Šafárika v Košiciach DidInfo + DidactIG 2017, Banská Bystrica Obsah Súťaž PALMA junior
More informationZáklady číslicovej techniky. 1. Veličiny časový priebeh. 1. Veličiny časový priebeh Ing. Jozef Klus. Veličiny analógové - spojité
Základy číslicovej techniky Ing. Jozef Klus 1. Veličiny časový priebeh Veličiny analógové - spojité veľkosť sa v čase mení neprerušovane a v každom čase prináleží veličine určitá hodnota napr. striedavé
More informationVIRTUAL CONTROL SYSTEM OF EXOTHERMIC REACTOR USING THE CONTROLLER KRGN 90 VIRTUÁLNY RIADIACI SYSTÉM EXOTERMICKÉHO REAKTORA NA BÁZE KRGN 90
VIRTUAL CONTROL SYSTEM OF EXOTHERMIC REACTOR USING THE CONTROLLER KRGN 90 VIRTUÁLNY RIADIACI SYSTÉM EXOTERMICKÉHO REAKTORA NA BÁZE KRGN 90 Stanislav KUNÍK, Dušan MUDRONČÍK, Martin RAKOVSKÝ Authors: Ing.
More informationDEA modely a meranie eko-efektívnosti
Fakulta matematiky, fyziky a informatiky Univerzita Komenského v Bratislave DEA modely a meranie eko-efektívnosti 2008 Veronika Lennerová DEA modely a meranie eko-efektívnosti DIPLOMOVÁ PRÁCA Diplomant:
More informationSolution Methods for Beam and Frames on Elastic Foundation Using the Finite Element Method
Solution Methods for Beam and Frames on Elastic Foundation Using the Finite Element Method Spôsoby riešenie nosníkov a rámov na pružnom podklade pomocou metódy konečných prvkov Roland JANČO 1 Abstract:
More informationLower Austria. The Big Travel Map. Big Travel Map of Lower Austria.
v v v :,000, v v v v, v j, Z ö V v! ö +4/4/000 000 @ : / : v v V, V,,000 v v v v v v 08 V, v j?, v V v v v v v v,000, V v V, v V V vv /Z, v / v,, v v V, v x 6,000 v v 00,000 v, x v U v ( ) j v, x q J J
More informationJádrové odhady gradientu regresní funkce
Monika Kroupová Ivana Horová Jan Koláček Ústav matematiky a statistiky, Masarykova univerzita, Brno ROBUST 2018 Osnova Regresní model a odhad gradientu Metody pro odhad vyhlazovací matice Simulace Závěr
More informationMetódy vol nej optimalizácie
Matematické programovanie Metódy vol nej optimalizácie p. 1/35 Informácie o predmete Informácie o predmete p. 2/35 Informácie o predmete METÓDY VOL NEJ OPTIMALIZÁCIE Prednášajúca: M. Trnovská (M 267) Cvičiaci:
More informationComputation of Information Value for Credit Scoring Models
Jedovnice 20 Computation of Information Value for Credit Scoring Models Martin Řezáč, Jan Koláček Dept. of Mathematics and Statistics, Faculty of Science, Masaryk University Information value The special
More informationProjektovanie Riadiacich
Projektovanie Riadiacich Systémov Úvod do predmetu Ing. Michal Kopček, PhD. S-428S michal.kopcek@stuba.sk 1 / 11 Projektovanie Riadiacich Systémov - PRS Prednáš ášky: TPAR, TAR Cvičenia: Aplikácia prednáš
More information3.1 TEÓRIA FEI TU V KOŠICIACH P3 - KOMBINAČNÉ OBVODY LIST Č.1
FEI TU V KOŠICIACH P3 - KOMBINAČNÉ OBVODY LIST Č.1 3 KOMBINAČNÉ OBVODY 3.1 TEÓRIA Kombinačné obvody sú logické obvody, ktorých výstup závisí len od kombinácie vstupov v danom časovom okamihu (obvody ktoré
More informationP a g e 5 1 of R e p o r t P B 4 / 0 9
P a g e 5 1 of R e p o r t P B 4 / 0 9 J A R T a l s o c o n c l u d e d t h a t a l t h o u g h t h e i n t e n t o f N e l s o n s r e h a b i l i t a t i o n p l a n i s t o e n h a n c e c o n n e
More informationThe Golden Ratio and Signal Quantization
The Golden Ratio and Signal Quantization Tom Hejda, tohecz@gmail.com based on the work of Ingrid Daubechies et al. Doppler Institute & Department of Mathematics, FNSPE, Czech Technical University in Prague
More informationA L A BA M A L A W R E V IE W
A L A BA M A L A W R E V IE W Volume 52 Fall 2000 Number 1 B E F O R E D I S A B I L I T Y C I V I L R I G HT S : C I V I L W A R P E N S I O N S A N D TH E P O L I T I C S O F D I S A B I L I T Y I N
More informationTeória grafov. RNDr. Milan Stacho, PhD.
Teória grafov RNDr. Milan Stacho, PhD. Literatúra Plesník: Grafové algoritmy, Veda Bratislava 1983 Sedláček: Úvod do teórie grafů, Academia Praha 1981 Bosák: Grafy a ich aplikácie, Alfa Bratislava 1980
More information-Z ONGRE::IONAL ACTION ON FY 1987 SUPPLEMENTAL 1/1
-Z-433 6 --OGRE::OA ATO O FY 987 SUPPEMETA / APPR)PRATO RfQUEST PAY AD PROGRAM(U) DE ARTMET OF DEES AS O' D 9J8,:A:SF ED DEFS! WA-H ODM U 7 / A 25 MRGOPf RESOUTO TEST HART / / AD-A 83 96 (~Go w - %A uj
More informationComputer Applications in Hydraulic Engineering
Computer Applications in Hydraulic Engineering www.haestad.com Academic CD Aplikácie výpočtovej techniky v hydraulike pre inžinierov Flow Master General Flow Characteristic Všeobecná charakteristika prúdenia
More informationKOMPILÁTORY: Lexikálna analýza. Jana Dvořáková
KOMPILÁTORY: Lexikálna analýza Jana Dvořáková dvorakova@dcs.fmph.uniba.sk Úlohy lexikálnej analýzy 1 Primárna úloha: čítanie znakov zo vstupu a ich preklad na postupnost tokenov, ktorú d alej využije syntaktická
More informationIng. Michal Kocúr. Autoreferát dizertačnej práce MODERNÉ METÓDY A ALGORITMY AUTOMATICKÉHO RIADENIA REALIZOVANÉ POMOCOU FPGA ŠTRUKTÚR
Ing. Michal Kocúr Autoreferát dizertačnej práce MODERNÉ METÓDY A ALGORITMY AUTOMATICKÉHO RIADENIA REALIZOVANÉ POMOCOU FPGA ŠTRUKTÚR na získanie akademickej hodnosti doktor (philosophiae doctor, PhD.) v
More informationNapájací zdroj ZENIT 2017: špecifikácia riadiaceho programu
Napájací zdroj ZENIT 2017: špecifikácia riadiaceho programu autor: Daniel Valúch, január 2017 Konštrukcia prináša sofistikovanejší, ale stále pomerne jednoduchý napájací zdroj do domáceho laboratória.
More informationMODELOVANIE A RIADENIE SYSTÉMOV POMOCOU NEURÓNOVÝCH SIETÍ S ORTOGONÁLNYMI FUNKCIAMI V PROSTREDÍ MATLAB
MODELOVANIE A RIADENIE SYSTÉMOV POMOCOU NEURÓNOVÝCH SIETÍ S ORTOGONÁLNYMI FUNKCIAMI V PROSTREDÍ MATLAB Slavomír Kajan Ústav riadenia a priemyselnej informatiky, Fakulta elektrotechniky a informatiky, Slovenská
More informationTransactions of the VŠB Technical University of Ostrava, Mechanical Series. article No Roland JANČO *
Transactions of the VŠB Technical University of Ostrava, Mechanical Series No. 1, 013, vol. LIX article No. 1930 Roland JANČO * NUMERICAL AND EXACT SOLUTION OF BUCKLING LOAD FOR BEAM ON ELASTIC FOUNDATION
More informationT h e C S E T I P r o j e c t
T h e P r o j e c t T H E P R O J E C T T A B L E O F C O N T E N T S A r t i c l e P a g e C o m p r e h e n s i v e A s s es s m e n t o f t h e U F O / E T I P h e n o m e n o n M a y 1 9 9 1 1 E T
More informationKapitola S5. Skrutkovica na rotačnej ploche
Kapitola S5 Skrutkovica na rotačnej ploche Nech je rotačná plocha určená osou rotácie o a meridiánom m. Skrutkový pohyb je pohyb zložený z rovnomerného rotačného pohybu okolo osi o a z rovnomerného translačného
More informationLe classeur à tampons
Le classeur à tampons P a s à pa s Le matériel 1 gr a n d cla s s e u r 3 pa pi e r s co o r d o n n é s. P o u r le m o d è l e pr é s e n t é P a p i e r ble u D ai s y D s, pa pi e r bor d e a u x,
More informationr/lt.i Ml s." ifcr ' W ATI II. The fnncrnl.icniccs of Mr*. John We mil uppn our tcpiiblicnn rcprc Died.
$ / / - (\ \ - ) # -/ ( - ( [ & - - - - \ - - ( - - - - & - ( ( / - ( \) Q & - - { Q ( - & - ( & q \ ( - ) Q - - # & - - - & - - - $ - 6 - & # - - - & -- - - - & 9 & q - / \ / - - - -)- - ( - - 9 - - -
More informationW i n t e r r e m e m b e r t h e W O O L L E N S. W rite to the M anageress RIDGE LAUNDRY, ST. H E LE N S. A uction Sale.
> 7? 8 «> ««0? [ -! ««! > - ««>« ------------ - 7 7 7 = - Q9 8 7 ) [ } Q ««
More informationVYUŽITIE KOSIMULÁCIE PRI RIADENÍ PREDOHREVU ZLIEVARENSKEJ FORMY AKO SYSTÉMU S ROZLOŽENÝMI PARAMETRAMI
VYUŽITIE KOSIMULÁCIE PRI RIADENÍ PREDOHREVU ZLIEVARENSKEJ FORMY AKO SYSTÉMU S ROZLOŽENÝMI PARAMETRAMI Lukáš Bartalský, Michal Bartko, Cyril Belavý, Gabriel Hulkó Ústav automatizácie, merania a aplikovanej
More informationRanking accounting, banking and finance journals: A note
MPRA Munich Personal RePEc Archive Ranking accounting, banking and finance ournals: A note George Halkos and Nickolaos Tzeremes University of Thessaly, Department of Economics January 2012 Online at https://mpra.ub.uni-muenchen.de/36166/
More informationh : sh +i F J a n W i m +i F D eh, 1 ; 5 i A cl m i n i sh» si N «q a : 1? ek ser P t r \. e a & im a n alaa p ( M Scanned by CamScanner
m m i s t r * j i ega>x I Bi 5 n ì r s w «s m I L nk r n A F o n n l 5 o 5 i n l D eh 1 ; 5 i A cl m i n i sh» si N «q a : 1? { D v i H R o s c q \ l o o m ( t 9 8 6) im a n alaa p ( M n h k Em l A ma
More informationAyuntamiento de Madrid
9 v vx-xvv \ ü - v q v ó - ) q ó v Ó ü " v" > - v x -- ü ) Ü v " ñ v é - - v j? j 7 Á v ü - - v - ü
More informationOH BOY! Story. N a r r a t iv e a n d o bj e c t s th ea t e r Fo r a l l a g e s, fr o m th e a ge of 9
OH BOY! O h Boy!, was or igin a lly cr eat ed in F r en ch an d was a m a jor s u cc ess on t h e Fr en ch st a ge f or young au di enc es. It h a s b een s een by ap pr ox i ma t ely 175,000 sp ect at
More informationI n t e r ku l t ú r n a ko mu n i ká c i a na hodine anglické h o jazyka. p r ostrední c tvom použitia PC
I n t e r ku l t ú r n a ko mu n i ká c i a na hodine anglické h o jazyka p r ostrední c tvom použitia PC P e t r a J e s e n s k á A n o t á c i a V p r í s p e v k u j e r o z p r a c o v a n é š p e
More informationAEROLIGHT 4C programovateľný 4 kanálový modul pre osvetlenie lietadiel
AEROLIGHT 4C programovateľný 4 kanálový modul pre osvetlenie lietadiel Základné vlastnosti: 4 nezávisle napájané kanály: o 2 kanály (POS1 a POS2) pre pozičné svetlá spínané súčasne o 2 programovateľné
More informationVYHLÁSENIE O PARAMETROCH. č SK
VYHLÁSENIE O PARAMETROCH č. 0048 SK 1. Jedi eč ý ide tifikač ý k d typu výro ku: rá ová h oždi ka fischer SXR/SXRL 2. )a ýšľa é použitie/použitia: Produkt Plastové kotvy pre použitie v betóne a murive
More informationTHIS PAGE DECLASSIFIED IAW E
THS PAGE DECLASSFED AW E0 2958 BL K THS PAGE DECLASSFED AW E0 2958 THS PAGE DECLASSFED AW E0 2958 B L K THS PAGE DECLASSFED AW E0 2958 THS PAGE DECLASSFED AW EO 2958 THS PAGE DECLASSFED AW EO 2958 THS
More informationMaticové algoritmy I maticová algebra operácie nad maticami súčin matíc
Maticové algoritmy I maticová algebra operácie nad maticami súčin matíc priesvitka Maurits Cornelis Escher (898-97) Ascending and Descending, 960, Lithograph priesvitka Matice V mnohých prípadoch dáta
More informationGENEROVANIE STABILNÝCH MODELOV VYUŽÍVANÍM CUDA TECHNOLÓGIE
UNIVERZITA KOMENSKÉHO FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY KATEDRA INFORMATIKY GENEROVANIE STABILNÝCH MODELOV VYUŽÍVANÍM CUDA TECHNOLÓGIE BAKALÁRSKA PRÁCA PETER CIEKER Štúdijný odbor : Vedúci : 9.2.1
More informationUse your text to define the following term. Use the terms to label the figure below. Define the following term.
Mapping Our World Section. and Longitude Skim Section of your text. Write three questions that come to mind from reading the headings and the illustration captions.. Responses may include questions about
More informationI N A C O M P L E X W O R L D
IS L A M I C E C O N O M I C S I N A C O M P L E X W O R L D E x p l o r a t i o n s i n A g-b eanste d S i m u l a t i o n S a m i A l-s u w a i l e m 1 4 2 9 H 2 0 0 8 I s l a m i c D e v e l o p m e
More informationTransactions of the VŠB Technical University of Ostrava, Mechanical Series No. 2, 2010, vol. LVI article No. 1778
Transactions of the VŠB Technical University of Ostrava, Mechanical Series No. 2, 2010, vol. LVI article No. 1778 Marian BOJKO *, Lumír HRUŽÍK **, Martin VAŠINA *** MATHEMATICAL SIMULATION OF DRIFT OF
More informationDangote Flour Mills Plc
SUMMARY OF OFFER Opening Date 6 th September 27 Closing Date 27 th September 27 Shares on Offer 1.25bn Ord. Shares of 5k each Offer Price Offer Size Market Cap (Post Offer) Minimum Offer N15. per share
More informationFUZZY-NEURO ALGORITMY MODELOVANIA NELINEÁRNYCH PROCESOV V DOPRAVE
Slovenská technická univerzita v Bratislave FAKULTA INFORMATIKY A INFORMAČNÝCH TECHNOLÓGIÍ FIIT-5212-35461 Jozef Macho FUZZY-NEURO ALGORITMY MODELOVANIA NELINEÁRNYCH PROCESOV V DOPRAVE Bakalárska práca
More informationTransactions of the VŠB Technical University of Ostrava, Mechanical Series. article No. 1955
Transactions of the VŠB Technical University of Ostrava, Mechanical Series No. 2, 201, vol. LIX article No. 1955 Josef DOBEŠ *, Milada KOZUBKOVÁ ** MODELLING OF CAVITATION OF WASH-OUT WATER, AMMONIA WATER,
More information$%! & (, -3 / 0 4, 5 6/ 6 +7, 6 8 9/ 5 :/ 5 A BDC EF G H I EJ KL N G H I. ] ^ _ ` _ ^ a b=c o e f p a q i h f i a j k e i l _ ^ m=c n ^
! #" $%! & ' ( ) ) (, -. / ( 0 1#2 ' ( ) ) (, -3 / 0 4, 5 6/ 6 7, 6 8 9/ 5 :/ 5 ;=? @ A BDC EF G H I EJ KL M @C N G H I OPQ ;=R F L EI E G H A S T U S V@C N G H IDW G Q G XYU Z A [ H R C \ G ] ^ _ `
More informationProjektovanje paralelnih algoritama II
Projektovanje paralelnih algoritama II Primeri paralelnih algoritama, I deo Paralelni algoritmi za množenje matrica 1 Algoritmi za množenje matrica Ovde su data tri paralelna algoritma: Direktan algoritam
More informationTeoretická časť súbor otázok z elektroniky (30 bodov)
Číslo súťažiaceho: Čas odovzdania: Počet bodov teoretická časť: Počet bodov slovne zadaný problém: Teoretická časť súbor otázok z elektroniky (30 bodov) Súťažiaci vypracuje odpoveď na jednotlivé otázky.
More informationKATALÓG tenzometrických snímačov Sensocar + - aktuálna cena na požiadanie
KATALÓG tenzometrických snímačov Sensocar + príslušenstvo - aktuálna cena na požiadanie Certifikáty od 3000 do 6000 dielikov Model BL BL-C Váživosť 5 7 10 20 40 kg 10 18 36 kg (niklovaná oceľ) (nerez)
More informationLecture 26 Section 8.4. Mon, Oct 13, 2008
Lecture 26 Section 8.4 Hampden-Sydney College Mon, Oct 13, 2008 Outline 1 2 3 4 Exercise 8.12, page 528. Suppose that 60% of all students at a large university access course information using the Internet.
More informationThe requirements of a plant may be expressed in terms of (a) settling time (b) damping ratio (c) peak overshoot --- in time domain
Compensators To improve the performance of a given plant or system G f(s) it may be necessary to use a compensator or controller G c(s). Compensator Plant G c (s) G f (s) The requirements of a plant may
More informationADM a logika. 4. prednáška. Výroková logika II, logický a sémantický dôsledok, teória a model, korektnosť a úplnosť
ADM a logika 4. prednáška Výroková logika II, logický a sémantický dôsledok, teória a model, korektnosť a úplnosť 1 Odvodzovanie formúl výrokovej logiky, logický dôsledok, syntaktický prístup Logický dôsledok
More informationTransactions of the VŠB Technical University of Ostrava, Mechanical Series No. 1, 2009, vol. LV article No. 1677
Transactions of the VŠB Technical University of Ostrava, Mechanical Series No. 1, 009, vol. LV article No. 1677 Martin VAŠINA *, Lumír HRUŽÍK ** EFFECT OF INPUT LINE ON EIGENFREQUENCY OF ROTARY HYDRAULIC
More informationTransactions of the VŠB Technical University of Ostrava, Mechanical Series No. 3, 2009, vol. LV article No. 1725
Transactions of the VŠB Technical University of Ostrava, Mechanical Series No., 9, vol. LV article No. 75 Lumír HRUŽÍK *, Ladislav ŠEDĚNKA **, Roman SIKORA *** SIMULATION OF PRESSURE AMPLITUDE CHARACTERISTICS
More informationTransactions of the VŠB Technical University of Ostrava, Mechanical Series. article No VARIABLE PITCH PROPULSION DRIVE MODEL
Transactions of the VŠB Technical University of Ostrava, Mechanical Series No. 1, 2017, vol. LXIII article No. 2024 Jan GEBAUER *, Renata WAGNEROVÁ ** VARIABLE PITCH PROPULSION DRIVE MODEL MODEL VRTULOVÉ
More informationThe Chinese Remainder Theorem
Sacred Heart University piazzan@mail.sacredheart.edu March 29, 2018 Divisibility Divisibility We say a divides b, denoted as a b, if there exists k Z such that ak = b. Example: Consider 2 6. Then k = 3
More informationApplying Phonetic Matching Algorithm to Tongue Twister Retrieval in Japanese
1 1 n-gram 2 Applying Phonetic Matching Algorithm to Tongue Twister Retrieval in Japanese Michiko Yasukawa 1 and Hidetoshi Yokoo 1 In this paper, we propose a Japanese phonetic matching algorithm for tongue
More informationOddělení technické informatiky Technická univerzita v Liberci
Outline Július 1,2 1 Ústav informatiky AV ČR, v.v.i. www.cs.cas.cz/stuller stuller@cs.cas.cz 2 Fakulta mechatroniky, informatiky a mezioborových studíı Oddělení technické informatiky Technická univerzita
More informationFSM Checking Sequences
FSM Checking Sequences Radek Mařík Czech Technical University Faculty of Electrical Engineering Department of Telecommunication Engineering Prague CZ December 12, 2017 Radek Mařík (radek.marik@fel.cvut.cz)
More informationCATAVASII LA NAȘTEREA DOMNULUI DUMNEZEU ȘI MÂNTUITORULUI NOSTRU, IISUS HRISTOS. CÂNTAREA I-A. Ήχος Πα. to os se e e na aș te e e slă ă ă vi i i i i
CATAVASII LA NAȘTEREA DOMNULUI DUMNEZEU ȘI MÂNTUITORULUI NOSTRU, IISUS HRISTOS. CÂNTAREA I-A Ήχος α H ris to os s n ș t slă ă ă vi i i i i ți'l Hris to o os di in c ru u uri, în tâm pi i n ți i'l Hris
More informationP a g e 3 6 of R e p o r t P B 4 / 0 9
P a g e 3 6 of R e p o r t P B 4 / 0 9 p r o t e c t h um a n h e a l t h a n d p r o p e r t y fr om t h e d a n g e rs i n h e r e n t i n m i n i n g o p e r a t i o n s s u c h a s a q u a r r y. J
More informationMETRICKÉ ÚLOHY V PRIESTORE
1. ÚVOD METRICKÉ ÚLOHY V PRIESTORE Monika ĎURIKOVIČOVÁ 1 Katedra Matematiky, Strojnícka fakulta STU, Abstrakt: Popisujeme možnosti použitia programového systému Mathematica pri riešení špeciálnych metrických
More informationDetekcia tváre, identifikácia tváre, Haarove príznaky, AdaBoost, extrakca príznakov, klasifikátor, trénovacia tvár, testovacia tvár, databáza
Abstrakt Táto diplomová práca sa zaoberá identifikáciu tvárií v reálnych podmienkach. Obsahuje preh ad sú asných metód detekcie tvárií pomocou klasifikátorov. Taktiež obsahuje rôzne metódy na detekciu
More informationSAMPLE AUDIT FORMAT. Pre Audit Notification Letter Draft. Dear Registrant:
Pre Audit Notification Letter Draft Dear Registrant: The Pennsylvania Department of Transportation (PennDOT) is a member of the Federally Mandated International Registration Plan (IRP). As part of this
More informationVYHLÁSENIE O PARAMETROCH. č SK. Predpokladané použitie. stave ý h častí ako o kladov a stropov, pozri prílohu, najmä prílohy B 1 - B 4
VYHLÁSENIE O PARAMETROCH č. 0009 SK 1. Jedi eč ý ide tifikač ý k d typu výro ku: o eľová kotva fis her FAZ II 2. )a ýšľa é použitie/použitia: Produkt O eľová kotva pre použitie v betóne k upev e iu ťažký
More informationVYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY
VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY FAKULTA INFORMAČNÍCH TECHNOLOGIÍ FACULTY OF INFORMATION TECHNOLOGY ÚSTAV POČÍTAČOVÝCH SYSTÉMŮ DEPARTMENT OF COMPUTER SYSTEMS AUTOMATIZACE VERIFIKACE
More informationVYHLÁSENIE O PARAMETROCH. č SK. Predpoklada é použitie. stave ý h častí ako o kladov a stropov, pozri prílohu, najmä prílohy B 1 - B 8
VYHLÁSENIE O PARAMETROCH č. 0007 SK 1. Jedi eč ý ide tifikač ý k d typu výro ku: i jektáž y systé FIS V 2. )a ýšľa é použitie/použitia: Produkt O eľová kotva pre použitie v et e k upev e iu ťažký h systé
More informationTHIS PAGE DECLASSIFIED IAW EO IRIS u blic Record. Key I fo mation. Ma n: AIR MATERIEL COMM ND. Adm ni trative Mar ings.
T H S PA G E D E CLA SSFED AW E O 2958 RS u blc Recod Key fo maon Ma n AR MATEREL COMM ND D cumen Type Call N u b e 03 V 7 Rcvd Rel 98 / 0 ndexe D 38 Eneed Dae RS l umbe 0 0 4 2 3 5 6 C D QC d Dac A cesson
More informationVYSOKÉ UČENÍ TECHNICKÉ V BRNĚ
VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ BRNO UNIVERSITY OF TECHNOLOGY FAKULTA ELEKTROTECHNIKY A KOMUNIKAČNÍCH TECHNOLOGIÍ ÚSTAV AUTOMATIZACE A MĚŘICÍ TECHNIKY FACULTY OF ELECTRICAL ENGINEERING AND COMMUNICATION
More informationENVIRONMENTÁLNE FAKTORY V HODNOTENÍ EFEKTÍVNOSTI V POĽNOHOSPODÁRSTVE ENVIRONMENTAL FACTORS IN EFFICIENCY ASSESMENT IN AGRICULTURE.
ENVIRONMENTÁLNE FAKTORY V HODNOTENÍ EFEKTÍVNOSTI V POĽNOHOSPODÁRSTVE ENVIRONMENTAL FACTORS IN EFFICIENCY ASSESMENT IN AGRICULTURE Peter FANDEL The paper focuses on the analysis of environmental factors
More informationSilne korelované elektrónové a spinové systémy
Silne korelované elektrónové a spinové systémy Akreditačný seminár P. Farkašovský, H. Čenčariková, J. Jurečková Ústav experimentálnej fyziky SAV, Košice 1. 6. 216 Kolektív Kolektív: (1%) Hana Čenčariková
More informationCompany Case Study: The Market Hall. Prof.dr.ir. Mick Eekhout
30 years of Dutch Glass Developments and Innovations Company Case Study: The Market Hall Prof.dr.ir. Po r t fo l i o : 3 0 y e a rs o f s p a c e st r u c t u re s, 25 y e a rs o f g l a s s structure
More informationCOMPARISON OF ANALYTICAL SOLUTIONS WITH NUMERICAL MODELING RESULTS OF CONTACT PROBLEM OF THE SHALLOW FOUNDATIONS INTERACTION WITH SUBSOIL
15 ROCZNIKI INŻYNIRII BUDOWLANJ ZSZYT 1/01 Komisja Inżynierii Budowlanej Oddział Polskiej Akademii Nauk w Katowicach COMPARISON OF ANALYTICAL SOLUTIONS WITH NUMRICAL MODLING RSULTS OF CONTACT PROBLM OF
More informationStrojové učenie. Princípy a algoritmy. Kristína Machová
Strojové učenie Princípy a algoritmy Kristína Machová Košice 2002 Ing. Kristína Machová, CSc. Katedra kybernetiky a umelej inteligencie Fakulta elektrotechniky a informatiky Technická univerzita v Košiciach
More informationAudio System (Separate Type Amplifier), Navigation System (Separate Type Amplifier), Parking Assist (Rear View Monitor) (Separate Type Amplifier)
Audio System (Separate Type, Navigation System (Separate Type, arking Assist (ear View Monitor) (Separate Type (AT) N(A), N(), N(), N(D) Stereo omponent Amplifier Assembly 0A AM + + ND ND T+ T D D D D
More informationJádrové odhady regresní funkce pro korelovaná data
Jádrové odhady regresní funkce pro korelovaná data Ústav matematiky a statistiky MÚ Brno Finanční matematika v praxi III., Podlesí 3.9.-4.9. 2013 Obsah Motivace Motivace Motivace Co se snažíme získat?
More informationFakultné kolo ŠVOČ 2005
Fakultné kolo ŠVOČ 005 KME FEI STU, Bratislava, 005 Zborník študentských vedeckých prác Sekcia Mikroelektronické systémy Zborník študentských vedeckých prác fakultného kola súťaže o najlepšiu študentskú
More informationON-LINE SLEDOVANIE ÚNAVOVEJ ŽIVOTNOSTI OCEĽOVÝCH KONŠTRUKCIÍ
ON-LINE SLEDOVANIE ÚNAVOVEJ OCEĽOVÝCH KONŠTRUKCIÍ Juraj RITÓK, Peter BOCKO, Vladimír DITTEL Príspevok sa zaoberá tenzometrickým meraním napätosti kritických miest konštrukcie a spracovaním nameraných dát
More informationVYBRANÉ TERMOCHEMICKÉ VÝPOČTY CHEMICKEJ REAKCIE FORMOU WEBOVEJ SLUŽBY
Chem. Listy 110, 874884(2016) VYBRANÉ TERMOCHEMICKÉ VÝPOČTY CHEMICKEJ REAKCIE FORMOU WEBOVEJ SLUŽBY PAVEL HOROVČÁK, JÁN TERPÁK a MATEJ LUKÁČ Technická univerzita, Letná 9, 042 00 Košice, Fakulta baníctva,
More informationSoftware Process Models there are many process model s in th e li t e ra t u re, s om e a r e prescriptions and some are descriptions you need to mode
Unit 2 : Software Process O b j ec t i ve This unit introduces software systems engineering through a discussion of software processes and their principal characteristics. In order to achieve the desireable
More informationY'* C 0!),.1 / ; ')/ Y 0!)& 1 0R NK& A Y'. 1 ^. ]'Q 1 I1 )H ;". D* 1 = Z)& ^. H N[Qt C =
(-) 393 F!/ $5 $% T K&L =>-? J (&A )/>2 I B!" GH 393/05/07 :K 393/07/23 :7b +B 0 )NO M / Y'* C a23 N/ * = = Z)& ^. ;$ 0'* Y'2 8 OI 53 = ;" ~" O* Y.b ;" ; ')/ Y'* C 0!),. / ; ')/ Y 0!)& 0R NK& A Y'. ^.
More informationUNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY. Robustné metódy vo faktorovej analýze
UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY Robustné metódy vo faktorovej analýze DIPLOMOVÁ PRÁCA Bratislava 2013 Bc. Zuzana Kuižová UNIVERZITA KOMENSKÉHO V BRATISLAVE FAKULTA
More information2. prednáška Logické neuróny a neurónové siete
2. prednáška Logické neuróny a neurónové siete priesvitka: Mozog a neurónové siete Metafora ľudského mozgu hrá dôležitú úlohu v modernej informatike. Pomocou tejto metafory boli navrhnuté nové paralelné
More informationStruktury analogových IO vnitřní zapojení OZ
Struktury analogových IO vnitřní zapojení OZ Jiří Hospodka Elektrické obvody analýza a simulace katedra Teorie obvodů, 804/B3 ČVUT FEL 7. přednáška Jiří Hospodka (ELO) Struktury analogových IO 7. přednáška
More informationflbc in Russia. PIWiREE COHORTS ARE NOT PULL- ING TOGETHER. SIGHTS AND SCENES IN ST. PETERSBURG.
# O E O KOE O F Y F O VO V NO 5 OE KEN ONY Y 2 9 OE NO 265 E K N F z 5 7 X ) $2 Q - EO NE? O - 5 OO Y F F 2 - P - F O - FEE > < 5 < P O - 9 #»»» F & & F $ P 57 5 9 E 64 } 5 { O $665 $5 $ 25 E F O 9 5 [
More informationSegmentace textury. Jan Kybic
Segmentace textury Případová studie Jan Kybic Zadání Mikroskopický obrázek segmentujte do tříd: Příčná vlákna Podélná vlákna Matrice Trhliny Zvolená metoda Deskriptorový popis Učení s učitelem ML klasifikátor
More informationMODELOVANIE TECHNOLOGICKEJ ČASTI POCÍNOVACEJ LINKY NA BÁZE UMELÝCH NEURÓNOVÝCH SIETÍ
Acta Metallurgica Slovaca, 2, 2006, 3 (282-290) 282 MODELOVANIE TECHNOLOGICKEJ ČASTI POCÍNOVACEJ LINKY NA BÁZE UMELÝCH NEURÓNOVÝCH SIETÍ Žilková J., Timko J. Katedra elektrotechniky, mechatroniky a priemyslového
More information15) Find UG if FG = 8. 17) Find QE if QU = 30
-4-14) ind if N = 3.7 15) ind if = 8 N 16) ind if = 27 17) ind if = 30 18) ind if = 4.5 19) ind if = 2.5 20) ind A if A = 6 A 21) ind if P = 6.4 P 22) ind if = 5 A -5- 27) ind if = 15 N 28) ind if = 6.3
More informationVYHLÁSENIE O PARAMETROCH. č SK. Predpokladané použitie. stave ý h častí ako o kladov a stropov, pozri prílohu, najmä prílohy B 1 - B 3
VYHLÁSENIE O PARAMETROCH č. 0017 SK 1. Jedi eč ý ide tifikač ý kód typu výro ku: fischer skrutka do betónu FBS, FBS A4 a FBS C 2. )a ýšľa é použitie/použitia: Produkt O eľová kotva pre použitie v etó e
More informationTvorba informačných systémov 3. prednáška modely vývoja informačných systémov
Tvorba informačných systémov 3. prednáška modely vývoja informačných systémov Špecifikácia požiadaviek cieľ: vytvorenie uceleného katalógu požiadaviek na produkt (t.j. čo zadávateľ od produktu požaduje)
More informationElektrický prúd a náboj. Elektrické napätie. Indukčnosť. Kapacita. Meranie v elektronike a telekomunikáciách. Odpor
Elektrický prúd a náboj Meranie v elektronike a telekomunikáciách (terminológia, meracie metódy, signály a ich parametre,neistoty a chyby merania) prof. Ing. Ján Šaliga, hd. KEM FEI Košice Elektrický prúd
More informationCP 52 Page In & Zone Sensitivity
db SSM S R.0K R0.00K To Sheet ZA ON OFF C 0. R.K R 0.0K DUCK To Sheet Page Input Shield R 00 S PP Phantom Power 0/V L T C 0PF C L 0PF T EURO POS R0 0 R 0 R.0K 00/0V R Mic/Line.K R.K R.0K R 00 R. R0A KRD
More informationHUSTLER 7' & 8' POOL TABLE ASSEM BLY I NSTRUCTI ONS
HUSTLER 7' & 8' POOL TABLE ASSEM BLY I NSTRUCTI ONS NG2515PB/NG2520PB THANK Y OU! Th a n k yo u f o r p u r ch a si n g t h i s p r o d u ct. We w o r k a r o u n d t h e cl o ck a n d a r o u n d t h
More information.
TECHNICKÁ UNIVERZITA V KO ICIACH Fakulta baníctva, ekológie, riadenia a geotechnológií Ivo PETRÁ TEÓRIA AUTOMATICKÉHO RIADENIA Návody na cvièenia elfa, s.r.o. Ko ice, 2 . TECHNICKÁ UNIVERZITA V KO ICIACH
More informationTechnická univerzita v Košiciach Fakulta Baníctva, Ekológie, Riadenia a Geotechnológií Katedra informatizácie a riadenia procesov
Technická univerzita v Košiciach Fakulta Baníctva, Ekológie, Riadenia a Geotechnológií Katedra informatizácie a riadenia procesov Riadenie sústavy servomotorov technologického objektu Diplomová práca Štúdijný
More informationFriday, September 21, Flows
Flows Building evacuation plan people to evacuate from the offices corridors and stairways capacity 10 10 5 50 15 15 15 60 60 50 15 10 60 10 60 15 15 50 For each person determine the path to follow to
More informationHYBRIDNÉ INTELIGENTNÉ METÓDY MODELOVANIA A RIADENIA
Ing. Zuzana Dideková Autoreferát dizertačnej práce HYBRIDNÉ INTELIGENTNÉ METÓDY MODELOVANIA A RIADENIA na získanie akademickej hodnosti doktor (philosophiae doctor, PhD.) v doktorandskom študijnom programe:
More information