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

National and University Library, 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.

Type of material - research report

Publication and manufacture - Maribor : Tehniška fakulteta, 1991

Language - slovenian

COBISS.SI-ID - 3421444

Keep searching

Author
Horvat, Bogomir, 1936-

Reserve material at the desired pickup location.

Pickup location	Material status	Reservation
Newspaper Reading Room	available - reading room
Main Reading Room	available - reading room

Call number – location, accession no. ...	Copy status
DS1- 21442 dislocirano skladišče - raziskovalne naloge	available - reading room

Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.

Year	Impact factor		Edition		Category		Classification
Year	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Links to authors' personal bibliographies	Links to information on researchers in the SICRIS system
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

Source: Personal bibliographies and: SICRIS

The material from the parent unit is free. If the material is delivered to the pickup location from another unit, the library may charge you for this service.

Pickup location	Material status	Reservation

Upload image

Reserve material at the desired pickup location.

Shelf entry

Adding material to shelf was successful.

Adding material to shelf failed.

It was not necessary to add the material to the shelf.

Permalink

E-mail

Impact factor

Select the library membership card:

DRS, in which the journal is indexed

Select pickup location:

Material pickup by post

Notification

Citations

Subject headings in COBISS General List of Subject Headings

Select pickup location

Reservation was successful.

Reservation failed.

Reservation...

Bibliographic data

Number of loans

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Theme