|
|
Extensible disassembler with support for interactive instruction reordering
Dubský, Jan ; Bulej, Lubomír (vedoucí práce) ; Jermář, Jakub (oponent)
Disassembling strojového kódu je proces, při kterém je binární strojový kód programu přetransformován do podoby assmbly kódu. Smyslem tohoto procesu je napomoci člověku v porozumění fungování programu, jehož zdrojový kód není znám. Strojový kód vypro- dukovaný kompilátory při kompilaci zdrojového kódu je však velmi náročné číst. Na vině jsou mnohé optimalizace a transformace kódu, které kompilátor učinil. Jednou obzvláště problematickou optimalizací je instruction scheduling, jehož úkolem je pozměnit pořadí instrukcí tak, aby výsledný kód byl co možná nejrychlejší. Cílem této práce je vyvinout disassembler schopný měnit pořadí instrukcí v kódu. Tato funkce by uživateli umožnila přeskládat instrukce tak, aby výsledek byl lépe čitelný. Aby disassembler mohl takovou funkcionalitu nabízet, musí být schopen porozumět významu jednotlivých instrukcí. Proto navrhneme kompilátor s vnitřní reprezentací nezávislé na platformě, s jejíž pomocí budeme reprezentovat libovolný strojový kód. Tuto reprezentaci pak bude možné použít k nalezení závislosti mezi instrukcemi, které budou dále použity pro změny jejich pořadí v kódu. Na konci práce probereme možnost emulace běhu pro- gramu. 1
|
|
|
Porting SPARTAN kernel to SPARC V9 architecture
Jermář, Jakub ; Yaghob, Jakub (vedoucí práce) ; Patočka, Mikuláš (oponent)
Přehled vlastností operačního systému HelenOS (základní podpora kernelu, správa paměti, podpora uživatelských aplikací). Přehled vlastností 64-bitové architektury SPARC V9 (registry, trapy, jednotka správy paměti, ASI, hardwarová přerušení). Popis implementace jednotlivých částí systému HelenOS pro architekturu SPARC V9 (boot systému, práce s OpenFirmwarem, převzetí TLB a trap tabulky, přepínání kontextu a FPU context, správa registrových oken a preemptivní trap handler, správa zdroje času, správa vstupně/výstupních zařízení, přerušení, adresové prostory a překlad virtuálních adres pomocí hash tabulky, TSB, řešení problému vzniku ilegálních virtuálních aliasů, podpora systémových volání, podpora čistě uživatelských pseudovláken, start sekundárních procesorů, implementace spinlocku). Přehled a srovnání s implementacemi v operačních systémech Solaris a Linux.
|
|
|
Netradičně pojaté pokusy z optiky na gymnáziu
Malý, Jakub ; Drozd, Zdeněk (vedoucí práce) ; Jermář, Jakub (oponent)
Nazev prace: Netradicne pqjate pokusy z optiky na gymnaziu Autor: Jakub Maly Katedra: Katedra didaktiky fyziky Vedouci bakalafske prace: Doc. RNDr. /denek Drozd Ph.D. e-mail vedouci'ho: /dcnck.Dro/d^mlT.cuni.cx Ahstrakt: Protoze oplika byva fazcna az jako posledm blok vc vyuce fyziky, je casto z casovych duvodu ochuzena o mnohe zajimave pokusy. Ci'lem teto prace jc vymysleni a vyzkouscni pokusii, ktere by mohly vhodne doplnit a zpestfit vyuku optiky na gymnaziieh. Jsou zde zmfneny ctyfi. Sestrojeni dalckohlcdu, pokus s lotalnim odrazcm, Rayleighuv rozptyl a vytvafeni duhy. Kazda kapitola ma teoretickou cast a cast ve ktcre je popisovan poslup pfi provadeni pokusu. V kazde kapitolejsou lake zinineny proble'my, ktcre mohou nastat, vcetnc navrhu na jejich feseni. Klicova slova: pokusy, optika, dalekohled, duha Title: Unusual experiments in education of optics at grammar school Author: Jakub Maly Department: Supervisor: Doc. RNDr. /dcnek Drozd Ph.D. Supervisor's e-mail address: /denck.Dro/difV'mn'.cuni.cz Abstract: Optics is usuallysituated as a last part of education of physics. Because of time pressure optics is usually deprive of many interesting experiments. The object of this work is making up and practicingexperiments, which can complete and vary education of optics at grammar school. Here arc mention...
|
|
|
Netradiční fyzikální tabulky
Slavíková, Karolina ; Jermář, Jakub (vedoucí práce) ; Drozd, Zdeněk (oponent)
Název práce: Netradiční fyzikální tabulky Autor: Karolina Slavíková Katedra: Katedra didaktiky fyziky Vedoucí diplomové práce: Mgr. Jakub Jermář, Katedra didaktiky fyziky Abstrakt: Hlavním výsledkem diplomové práce jsou elektronické fyzikální tabulky obsahující přes 300 položek objekt· a jejich vlastností - fyzikálních veličin. Tyto tabulky jsou součástí práce a jsou umístěny na jejím konci jako příloha. Práce se zabývá problematikou výběru vhodných objekt· z reálného života a použitím jejich typických vlastností pro tvorbu nových fyzikálních úloh. Její součástí je zmapování středoškolských učebnic, které tvořily podklad pro výběr objekt· a jejich vlastností, a dále tvorba elektronických fyzikálních tabulek a jejich využití ve výuce. Práce obsahuje čtyři vzorové příklady pro základní a střední školy a návod na použití elektronických tabulek. ást práce se zabývá názory na pro- blematiku hmotného bodu a metodami měření a odhadování fyzikálních veličin pomocí jednoduchých pom·cek. Klíčová slova: fyzikální veličiny, elektronické tabulky, tabelované hodnoty Title: Unusual physical tables Author: Karolina Slavíková Department: Department of Physics Education Supervisor: Mgr. Jakub Jermář, Department of Physics Education Abstract: The main outcomes of this thesis are electronic physical tables contai- ning over...
|
|
|
Fyzikální exkurze a procházky městem
Suchá, Katarína ; Jermář, Jakub (vedoucí práce) ; Kekule, Martina (oponent)
Název práce: Fyzikální exkurze a procházky městem Autor: Bc. Katarína Suchá Katedra (ústav): Katedra didaktiky fyziky Vedoucí diplomové práce: Mgr. Jakub Jermář e-mail vedoucího: jakub.jermar@mff.cuni.cz Abstrakt: Cílem práce bylo vytvoření průvodce fyzikálními pamětihodnostmi a zajímavými místy spojenými s fyzikou v Praze. Práce obsahuje návrhy na fyzikální procházky, jejichž součástí jsou popisy navštívených míst, včetně adresy a GPS souřadnic, mapka s vyznačenou trasou procházky a fotografie. Pro studenty byly vytvořeny pracovní listy. Další část práce obsahuje soubor míst vhodných pro samostatné exkurze. Práce je cílena především pro potřeby učitelům jako pomůcka pro přípravu školních výletů a exkurzí. Všechny procházky, studentské pracovní listy a popisy exkurzí jsou publikovány na stránkách FyzWebu v sekci Exkurze (http://fyzweb.cz/exkurze/). Klíčová slova: exkurze, fyzika, pracovní listy, školní výlet, Praha, FyzWeb
|
|
|
Netradičně pojaté pokusy z optiky na gymnáziu
Malý, Jakub ; Drozd, Zdeněk (vedoucí práce) ; Jermář, Jakub (oponent)
Nazev prace: Netradicne pqjate pokusy z optiky na gymnaziu Autor: Jakub Maly Katedra: Katedra didaktiky fyziky Vedouci bakalafske prace: Doc. RNDr. /denek Drozd Ph.D. e-mail vedouci'ho: /dcnck.Dro/d^mlT.cuni.cx Ahstrakt: Protoze oplika byva fazcna az jako posledm blok vc vyuce fyziky, je casto z casovych duvodu ochuzena o mnohe zajimave pokusy. Ci'lem teto prace jc vymysleni a vyzkouscni pokusii, ktere by mohly vhodne doplnit a zpestfit vyuku optiky na gymnaziieh. Jsou zde zmfneny ctyfi. Sestrojeni dalckohlcdu, pokus s lotalnim odrazcm, Rayleighuv rozptyl a vytvafeni duhy. Kazda kapitola ma teoretickou cast a cast ve ktcre je popisovan poslup pfi provadeni pokusu. V kazde kapitolejsou lake zinineny proble'my, ktcre mohou nastat, vcetnc navrhu na jejich feseni. Klicova slova: pokusy, optika, dalekohled, duha Title: Unusual experiments in education of optics at grammar school Author: Jakub Maly Department: Supervisor: Doc. RNDr. /dcnek Drozd Ph.D. Supervisor's e-mail address: /denck.Dro/difV'mn'.cuni.cz Abstract: Optics is usuallysituated as a last part of education of physics. Because of time pressure optics is usually deprive of many interesting experiments. The object of this work is making up and practicingexperiments, which can complete and vary education of optics at grammar school. Here arc mention...
|
|
|
Porting SPARTAN kernel to SPARC V9 architecture
Jermář, Jakub ; Patočka, Mikuláš (oponent) ; Yaghob, Jakub (vedoucí práce)
Přehled vlastností operačního systému HelenOS (základní podpora kernelu, správa paměti, podpora uživatelských aplikací). Přehled vlastností 64-bitové architektury SPARC V9 (registry, trapy, jednotka správy paměti, ASI, hardwarová přerušení). Popis implementace jednotlivých částí systému HelenOS pro architekturu SPARC V9 (boot systému, práce s OpenFirmwarem, převzetí TLB a trap tabulky, přepínání kontextu a FPU context, správa registrových oken a preemptivní trap handler, správa zdroje času, správa vstupně/výstupních zařízení, přerušení, adresové prostory a překlad virtuálních adres pomocí hash tabulky, TSB, řešení problému vzniku ilegálních virtuálních aliasů, podpora systémových volání, podpora čistě uživatelských pseudovláken, start sekundárních procesorů, implementace spinlocku). Přehled a srovnání s implementacemi v operačních systémech Solaris a Linux.
|
host ::
RSS.