ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • 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.
    Type of material - research report
    Publication and manufacture - Maribor : Tehniška fakulteta, 1991
    Language - slovenian
    COBISS.SI-ID - 3421444

Library/institution City Acronym For loan Other holdings
Library of Technical Faculties, Maribor Maribor KTFMB reading room 1 cop.
National and University Library, Ljubljana Ljubljana NUK reading room 1 cop.
loading ...
loading ...
loading ...

Shelf entry