Distribuiran komunikacijski sistem : poročilo o delu za leto 1991

Narodna in univerzitetna knjižnica, Ljubljana (NUK)

Naročanje gradiva za izposojo na dom
Naročanje gradiva za izposojo v čitalnice
Naročanje kopij člankov
Urnik dostave gradiva z oznako DS v signaturi

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

Išči dalje

Avtor
Horvat, Bogomir, 1936-

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- 21442 dislocirano skladišče - raziskovalne naloge	prosto - za čitalnico

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
Leto	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

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

Vir: Osebne bibliografije in: SICRIS

Gradivo iz matične enote je brezplačno. Če je gradivo na mesto prevzema dostavljeno iz drugih enot, lahko knjižnica to storitev zaračuna.

Mesto prevzema	Status gradiva	Rezervacija

Naloži sliko

Rezervirajte gradivo na želenem mestu prevzema.

Vnos na polico

Dodajanje gradiva na polico je uspelo.

Dodajanje gradiva na polico je spodletelo.

Dodajanje gradiva na polico ni bilo potrebno.

Trajna povezava

E-pošta

Faktor vpliva

Izberite knjižnično izkaznico:

Baze podatkov, v katerih je revija indeksirana

Izberite prevzemno mesto:

Prevzem gradiva po pošti

Obvestilo

Citiranje

Gesla v Splošnem geslovniku COBISS

Izbira mesta prevzema

Rezervacija je uspela.

Rezervacija ni uspela.

Rezervacija...

Bibliografski podatki

Število izposoj

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Tema