Informační systém Masarykovy univerzity 

Archiv závěrečné práce Ondřej Plotěný FI B-AP BcAP

IS MU

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

bakalářský studijní program/obor:
Aplikovaná informatika/Aplikovaná informatika

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

Zobrazit popisek

Bc. Ondřej Plotěný

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

Creation of the Lifts Model with a Gathering Management

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.

verifikace, ověřování modelu, abstraktní model, DiVinE, výtah, controller

Jazyk práce: čeština

  • Zadáno/změněno 1. 2. 2010 15:58, Helena Kryštofová
  • Záznam založen 9. 11. 2009 10:22, Tomáš Navrátil
  • Zveřejnit od 4. 1. 2010 09:09, Tomáš Navrátil
  • Práce převzata 4. 1. 2010 09:09, Tomáš Navrátil

Obhajoba bakalářské práce

  • Proběhla 1. 2. 2010, práce byla úspěšně obhájena.

Vedoucí:

  • doc. RNDr. Jiří Barnat, Ph.D., KTP FI MU

Oponent:

Plný text práce

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX

Kontrola závěrečné práce

Práce zkontrolována: 13. 1. 2010 15:12, doc. RNDr. Jiří Barnat, Ph.D.

Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.  Archiv závěrečné práce Ondřej Plotěný FI B-AP BcAP /fi_b_b1/Plotěný, O.15. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace anglicky annotation_english.txtPlotěný, O.15. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace česky annotation.txtPlotěný, O.15. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.  BP 2009 - Vytvoření modelu výtahů se sběrným řízením bakalarska_prace.odtPlotěný, O.15. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. BP 2009 - Vytvoření modelu výtahů se sběrným řízením bakalarska_prace.pdfPlotěný, O.16. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Klíčová slova keywords.txtPlotěný, O.15. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. posudek_oponenta.pdfBrim, L.26.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.posudek_vedouciho.pdfBarnat, J.25.  1. 2010
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Zdrojový kód LTL vlastností model.ltlPlotěný, O.15. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Zdrojový kód parametrizovaného modelu model.mdvePlotěný, O.15. 12. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 

Nahoru | Aktuální datum a čas: 24. 5. 2012 11:31, 21. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Více o informačním systému