Bakalářská práce

Vytvoření modelu výtahů se sběrným řízením

Creation of the Lifts Model with a Gathering Management

Ondřej Plotěný
Anotace

Vytvořit v modelovacím jazyce DVE model výtahů dle zadání vedoucího práce. Model bude obsahovat několik variant sběrného řízení. Student popíše několik formulí v logice LTL pro specifikaci modelu.

Abstract

Create a model of elevators in modeling language DVE according to supervisor's submission. The model will include several variants of the assembly procedure. Student describes several formulas in the logic LTL to specify the model.

Klíčová slova
verifikace ověřování modelu abstraktní model DiVinE výtah controller
Administrativní informace
Práce zkontrolována:
13. 1. 2010 15:12, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
277,8 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
1. 2. 2010
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

prof. RNDr. Luboš Brim, CSc.
abs PřF MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.