| Naslov: | Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST |
|---|
| Avtorji: | Vogrin, Rok (Avtor)
Kapus, Tatjana (Mentor) Več o mentorju... 
Meolic, Robert (Komentor) |
|---|
| Datoteke: |  MAG_Vogrin_Rok_2018.pdf (666,65 KB)
MD5: 376D00DBEEE8CB1376DE075ED1ED5D06
|
|---|
| Jezik: | Slovenski jezik |
|---|
| Vrsta gradiva: | Magistrsko delo/naloga (mb22) |
|---|
| Tipologija: | 2.09 - Magistrsko delo |
|---|
| Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
|---|
| Opis: | Magistrsko delo obravnava tvorjenje avtomatov linearnih končnih prič veljavnosti formul akcijske logike dreves izvajanj z operatorjem unless (ACTLW -- Action-based Computation Tree Logic with Unless operator) v modelih realnih sistemov, imenovanih označeni sistemi prehajanja stanj. Namen dela je tvorjenje avtomatov prič, ki kažejo, kako so v takem modelu prisotne lastnosti, opisane z veljavno formulo ACTLW. V prvem delu naloge so predstavljeni ključni elementi za tvorjenje avtomatov prič. Vpeljana sta pojma karakteristična funkcija in binarni odločitveni graf. Definirani so označeni sistemi prehajanja stanj, končni avtomati ter logika ACTLW. V drugem delu je na podlagi definicij razvit postopek in opisana implementacija tvorjenja avtomatov linearnih končnih prič z orodjem EST. Tvorjenje avtomatov je prikazano na primeru modela komunikacijskega protokola z omejenim številom ponovnih oddaj in biološkega sistema uravnavanja laktoznega operona. |
|---|
| Ključne besede: | formalne metode, preverjanje modelov, temporalna logika, avtomati prič, simbolične metode |
|---|
| Leto izida: | 2018 |
|---|
| Založnik: | R. Vogrin |
|---|
| Izvor: | [Maribor |
|---|
| UDK: | 004.8:621.395(043.2) |
|---|
| COBISS_ID: | 21776406 |
|---|
| NUK URN: | URN:SI:UM:DK:0WRUZOVQ |
|---|
| Število ogledov: | 464 |
|---|
| Število prenosov: | 81 |
|---|
| Metapodatki: |     |
|---|
| Področja: | KTFMB - FERI
|
|---|
|
:
|
|
|---|
| | | | Skupna ocena: | (0 glasov) |
|---|
| Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
|---|
| Objavi na: |  |
|---|
|
|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |
