|
Ovládání digitálního multimetru přes rozhraní GMC-USB
Janošík, Zdeněk ; Kozák, Tomáš (oponent) ; Zezulka, František (vedoucí práce)
Cílem této bakalářské práce, je návrh a následné vytvoření uživatelské aplikace, pro komunikaci, ovládání a manipulaci s multimetry Metrahit. Pro realizaci aplikace byl zvolen programovací jazyk C# a vývojové prostředí Microsoft Visual Studio 2010. S pomocí vytvořeného software bude možné multimetry připojit k PC na vybraný COM port, připojené přístroje nastavovat, sledovat měřenou hodnotu a tyto hodnoty zpracovávat. V této práci nalezneme popis vytvořené aplikace, rozbor jednotlivých instancí a funkcí programu, a návod jak jednotlivé prvky aplikace využívat. Najdeme zde také krátký popis rozhraní, přes které jsou multimetry připojeny k PC, popis samotných multimetrů, jejich vlastnosti a použití.
|
|
Support for C++ in GMC
Šebetovský, Jan ; Kofroň, Jan (vedoucí práce) ; Hnětynka, Petr (oponent)
Software je používán na stále více místech našeho života a tak je stále důležitější jeho správnost. Proto je dobré přistoupit k jeho formální verifikaci. V současnosti neexistuje mnoho nástrojů pro verifikaci kódu v jazyce C++ a většina z nich neumí verifikovat všechny potřebné vlastnosti. Proto jsme se rozhodli rozšířit program GMC, který už uměl kontrolovat programy v jazyce C, o podporu jazyka C++. Kvůli značné rozsáhlosti jazyka C++ bylo cílem této práce implementovat jen základní vlastnosti jazyka (dědičnost, konstruktory, destruktory, virtuální metody a výjimky). Podpora všech těchto vlastností byla implementována až na výjimky, které jsou implementovány jen částečně. Powered by TCPDF (www.tcpdf.org)
|
|
Ovládání digitálního multimetru přes rozhraní GMC-USB
Janošík, Zdeněk ; Kozák, Tomáš (oponent) ; Zezulka, František (vedoucí práce)
Cílem této bakalářské práce, je návrh a následné vytvoření uživatelské aplikace, pro komunikaci, ovládání a manipulaci s multimetry Metrahit. Pro realizaci aplikace byl zvolen programovací jazyk C# a vývojové prostředí Microsoft Visual Studio 2010. S pomocí vytvořeného software bude možné multimetry připojit k PC na vybraný COM port, připojené přístroje nastavovat, sledovat měřenou hodnotu a tyto hodnoty zpracovávat. V této práci nalezneme popis vytvořené aplikace, rozbor jednotlivých instancí a funkcí programu, a návod jak jednotlivé prvky aplikace využívat. Najdeme zde také krátký popis rozhraní, přes které jsou multimetry připojeny k PC, popis samotných multimetrů, jejich vlastnosti a použití.
|