Akademska digitalna zbirka SLovenije - logo
Knjižnica tehniških fakultet, Maribor (KTFMB)
  • 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

Signatura – lokacija, inventarna št. ... Status izvoda Rezervacija
pisarna A-003 (FS) RN-FERI-91 HORVAT B. Distribuiran pisarna A-003 (FS) RN-FERI-91 HORVAT B. Distribuiran prosto - za čitalnico
loading ...
loading ...
loading ...

Vnos na polico