|
|
Monitorování síťového provozu s využitím jazyka P4
Patová, Pavlína ; Matoušek, Jiří (oponent) ; Martínek, Tomáš (vedoucí práce)
Dnes se často setkáváme s potřebou monitorovat kvalitu sítě a služeb. K tomuto účelu může posloužit například INT. Cílem je nalézt optimální platformu a s tím spojený překladač pro implementaci INT, pokusíme se tedy k již implementovaným aplikacím (T4P4S, BMv2) nalézt alternativu. Tyto dvě platformy, ale také zmíníme a rozebereme jejich výhody a nevýhody. Výsledkem práce je přehled možností jednotlivých kompilátorů a výkonu popsaných řešení.
|
|
|
Tvorba simulačních modelů jazyka P4
Bulička, Miroslav ; Matoušek, Jiří (oponent) ; Martínek, Tomáš (vedoucí práce)
Sdružení CESNET vyvíjí nástroj umožňující spouštět P4 programy na programovatelném hradlovém poli. Tento nástroj se využívá při návrhu digitálního obvodu, který prochází procesem verifikace. Pro verifikaci je prozatím využíván simulační model, který plně neodpovídá požadavkům. Bakalářská práce se zabývá seznámením s jazykem P4 a tvorbou jeho simulačních modelů. Práce má za cíl zejména vytvoření simulačního modelu, který přesněji odpovídá požadavkům sdružení CESNET tak, aby mohl být nahrazen dosavadní simulační model využívaný ve verifikačním prostředí. Tvorba modelu probíhala pomocí projektu BMv2, který umožňuje psaní simulačních modelů pro jazyk P4. Jako výchozí simulační model byl zvolen Simple switch, který je ve verifikačním prostředí prozatím využíván a který byl upravován podle požadavků. Výsledkem práce je simulační model odpovídající požadavkům sdružení CESNET.
|
|
|
Behaviorální modely aktivních prvků s nezávislým víceparametrovým elektronickým řízením
Novotný, Jakub ; Hruboš, Zdeněk (oponent) ; Šotner, Roman (vedoucí práce)
Tato práce je zaměřená na behaviorální modelování aktivních prvků s nezávislým víceparametrovým elektronickým řízením za použití komerčně dostupné součástkové základny. Práce v první části pojednává o modelování aktivních prvků CVDIBA, CVDOBA, CVCC a OC. Funkčnost modelů je ověřena simulacemi v prostředí OrCAD PSpice. Využívány jsou diamantový tranzistor OPA860, nastavitelný zesilovač LMH6505, diferenční zesilovač AD830, diferenciální budič AD8138, proudový konvejor EL2082 a proudová čtyřkvadrantová násobička EL4083. Čtyři aktivní prvky jsou v další části realizovány na DPS a proměřeny. Jsou také simulovány a prakticky ověřovány některé jejich aplikace, jako dolní propust, horní propust, fázovací článek a rekonfigurovatelný filtr.
|
|
|
Behaviorální model proudového konvejoru s pokročilými řiditelnými meziterminálovými relacemi
Jagla, Lukáš ; Langhammer, Lukáš (oponent) ; Šotner, Roman (vedoucí práce)
Bakalářská práce pojednává o modelu pokročilého proudového konvejoru s užitím jeho řiditelných meziterminálových relací. Pomocí behaviorálního modelování je sestaven prototyp modelu na bázi komerčně dostupných součástek a s tímto je vytvořen návrh DPS, jenž je následně realizována a osazena. Práce se zabývá funkcí samotného modelu konvejoru, jeho vnitřním popisem a stavbou. Vybrané vlastnosti tohoto prvku jsou simulovány a následně ověřeny měřením. Práce se taktéž zabývá teorií návrhu oscilátorů a elektronických filtrů, jenž využívají řiditelných meziterminálových relací. Vlastnosti syntetizovaných aplikací jsou zhodnoceny na základě simulací. U vybrané aplikace je následně ověřena její funkčnost měřením.
|
|
|
Monitorování síťového provozu s využitím jazyka P4
Patová, Pavlína ; Matoušek, Jiří (oponent) ; Martínek, Tomáš (vedoucí práce)
Dnes se často setkáváme s potřebou monitorovat kvalitu sítě a služeb. K tomuto účelu může posloužit například INT. Cílem je nalézt optimální platformu a s tím spojený překladač pro implementaci INT, pokusíme se tedy k již implementovaným aplikacím (T4P4S, BMv2) nalézt alternativu. Tyto dvě platformy, ale také zmíníme a rozebereme jejich výhody a nevýhody. Výsledkem práce je přehled možností jednotlivých kompilátorů a výkonu popsaných řešení.
|
|
|
Tvorba simulačních modelů jazyka P4
Bulička, Miroslav ; Matoušek, Jiří (oponent) ; Martínek, Tomáš (vedoucí práce)
Sdružení CESNET vyvíjí nástroj umožňující spouštět P4 programy na programovatelném hradlovém poli. Tento nástroj se využívá při návrhu digitálního obvodu, který prochází procesem verifikace. Pro verifikaci je prozatím využíván simulační model, který plně neodpovídá požadavkům. Bakalářská práce se zabývá seznámením s jazykem P4 a tvorbou jeho simulačních modelů. Práce má za cíl zejména vytvoření simulačního modelu, který přesněji odpovídá požadavkům sdružení CESNET tak, aby mohl být nahrazen dosavadní simulační model využívaný ve verifikačním prostředí. Tvorba modelu probíhala pomocí projektu BMv2, který umožňuje psaní simulačních modelů pro jazyk P4. Jako výchozí simulační model byl zvolen Simple switch, který je ve verifikačním prostředí prozatím využíván a který byl upravován podle požadavků. Výsledkem práce je simulační model odpovídající požadavkům sdružení CESNET.
|
|
|
Behaviorální model proudového konvejoru s pokročilými řiditelnými meziterminálovými relacemi
Jagla, Lukáš ; Langhammer, Lukáš (oponent) ; Šotner, Roman (vedoucí práce)
Bakalářská práce pojednává o modelu pokročilého proudového konvejoru s užitím jeho řiditelných meziterminálových relací. Pomocí behaviorálního modelování je sestaven prototyp modelu na bázi komerčně dostupných součástek a s tímto je vytvořen návrh DPS, jenž je následně realizována a osazena. Práce se zabývá funkcí samotného modelu konvejoru, jeho vnitřním popisem a stavbou. Vybrané vlastnosti tohoto prvku jsou simulovány a následně ověřeny měřením. Práce se taktéž zabývá teorií návrhu oscilátorů a elektronických filtrů, jenž využívají řiditelných meziterminálových relací. Vlastnosti syntetizovaných aplikací jsou zhodnoceny na základě simulací. U vybrané aplikace je následně ověřena její funkčnost měřením.
|
|
|
Behaviorální modely aktivních prvků s nezávislým víceparametrovým elektronickým řízením
Novotný, Jakub ; Hruboš, Zdeněk (oponent) ; Šotner, Roman (vedoucí práce)
Tato práce je zaměřená na behaviorální modelování aktivních prvků s nezávislým víceparametrovým elektronickým řízením za použití komerčně dostupné součástkové základny. Práce v první části pojednává o modelování aktivních prvků CVDIBA, CVDOBA, CVCC a OC. Funkčnost modelů je ověřena simulacemi v prostředí OrCAD PSpice. Využívány jsou diamantový tranzistor OPA860, nastavitelný zesilovač LMH6505, diferenční zesilovač AD830, diferenciální budič AD8138, proudový konvejor EL2082 a proudová čtyřkvadrantová násobička EL4083. Čtyři aktivní prvky jsou v další části realizovány na DPS a proměřeny. Jsou také simulovány a prakticky ověřovány některé jejich aplikace, jako dolní propust, horní propust, fázovací článek a rekonfigurovatelný filtr.
|
host ::
RSS.