-
Distribuiran komunikacijski sistem : poročilo o delu za leto 1991Horvat, 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čiloZaložništvo in izdelava - Maribor : Tehniška fakulteta, 1991Jezik - slovenskiCOBISS.SI-ID - 3421444
Avtor
Horvat, Bogomir, 1936-
Drugi avtorji
Brezočnik, Zmago |
Angleitner, Gerhard |
Greif, Štefan |
Lešnjak, Gorazd |
Slatinek, Rado |
Grašič, Srečko |
Kačič, Zdravko |
Kapus, Tatjana |
Dreo, Gabrijela |
Balan, Filip Samo
Teme
računalniške komunikacije |
digitalna vezja |
formalna verifikacija |
specifikacija |
komunikacija človek stroj |
avtomatsko razpoznavanje govora |
nevronske mreže |
Kohonenove mape |
slovenski fonemi |
computer communication systems |
formal verification |
digital circuits |
specification |
automatic speech recognition |
man machine communication |
neural netowrks |
Kohonen maps |
slovenian phonemes
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Rezervirajte gradivo na želenem mestu prevzema.
Mesto prevzema |
Status gradiva | Rezervacija |
---|---|---|
Časopisna čitalnica |
prosto - za čitalnico
|
|
Velika čitalnica |
prosto - za čitalnico
|
Signatura – lokacija, inventarna št. ... |
Status izvoda |
---|---|
DS1- 0000021442 dislocirano skladišče - raziskovalne naloge DS1- 21442 dislocirano skladišče - raziskovalne naloge |
prosto - za čitalnico
|
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Horvat, Bogomir, 1936- | 03015 |
Brezočnik, Zmago | 02071 |
Angleitner, Gerhard | 03005 |
Greif, Štefan | 05556 |
Lešnjak, Gorazd | 07082 |
Slatinek, Rado | 09453 |
Grašič, Srečko | 09577 |
Kačič, Zdravko | 06821 |
Kapus, Tatjana | 00873 |
Balan, Filip Samo | 11552 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.
Naročanje gradiva za izposojo v čitalnice
Naročanje kopij člankov
Urnik dostave gradiva z oznako DS v signaturi