Akademska digitalna zbirka SLovenije - logo
VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Distribuiran komunikacijski sistem : poročilo o delu za leto 1991
    Horvat, Bogomir, 1936-
    Na področju formalne verifikacije digitalnih vezij smo letos nadaljevali z razvojem programskega paketa za interno predstavitev Boolovih funkcij z binarnimi določitvenimi diagrami (BDD-ji). Nato smo ... razvili model za specifikacijo digitalnih vezij s TPDL konstrukti. Na podlagi modela smo razvili verifikacijski postopek. Vanj smo vključili tudi razvit paket za preverjanje tautologije na osnovi binarnih odločitvenih diagramov. Nadaljevali smo z raziskavami aksiomatskih postopkov k verifikaciji množice procesov, ki se izvajajo hkratno, asinhrono in se sinhronizirajo izključno prek skupnih spremenljivk. V okviru raziskav na področju komunikacije človek-stroj smo se v preteklem letu ukvarjali z razpoznavanjem vezanega govora neodvisnega govorca. V ta namen smo se seznanili s teoretičnim ozadjem nevronskih mrež in z možnostjo uporabe le-teh na področju razpoznavanja govora. Kot poseben tip nevronskih mrež smo preučili Kohonenove mape. Praktičen preizkus Kohonenovih map smo izvedli pri razpoznavanju fonemov slovenskega jezika. Dosežena uspešnost razpoznavanja 14 fonemov slovenskega jezika je bila podobna uspešnosti sistemov do sedaj razvitih v svetu.
    Vrsta gradiva - raziskovalno poročilo
    Založništvo in izdelava - Maribor : Tehniška fakulteta, 1991
    Jezik - slovenski
    COBISS.SI-ID - 3421444

Knjižnica/institucija Kraj Akronim Za izposojo Druga zaloga
Knjižnica tehniških fakultet, Maribor Maribor KTFMB v čitalnico 1 izv.
Narodna in univerzitetna knjižnica, Ljubljana Ljubljana NUK v čitalnico 1 izv.
loading ...
loading ...
loading ...

Vnos na polico