raziskovalni dosezki v letu mednarodni projekti projekti republike slovenije projekti za gospodarstvo mednarodni projekti cost razpoznavanje govora preko telefonske linije b horvat trajanje projekta leta delo v okviru projekta je bilo usmerjeno k soustvarjanju vecjezikovne baze izgovorjav osamljenih besed v kateri so sodelovali laboratoriji iz razlicnih drzav zahodne in srednje evrope prav tako smo v okviru aktivnosti definirali referencni razpoznavalnik osamljenih besed zasnovan na skritih modelih markova razvoj univerzitetnega izobrazevalnega programa na podrocju komunikacije clovek stroj tehniska univerza münchen in univerza v gentu b horvat jep no trajanje projekta leta projekt vkljucuje naslednje tri glavne aktivnosti postavitev studentskega laboratorija z namestitvijo ustrezne strojne in programske opreme ter vzpostavitvijo racunalniske povezave med laboratoriji sodelujocih univerz izmenjava studentov in profesorjev organiziranje intenzivnih tecajev dodatnega izobrazevanja za profesorje ucitelje in inzenirje zaposlene v industriji izdelava ustreznih studijskih gradiv in razvoj potrebnih ucnih pripomockov verifikacijske in validacijske metode za formalne opise z brezocnik evropski raziskovalni projekt cost tehniska fakulteta oddelek za elektrotehniko racunalnistvo in informatiko maribor slovenija in stevilne institucije iz naslednjih drzav belgija ceska republika danska finska francija nemcija grcija madzarska italija nizozemska poljska spanija svedska turcija velika britanija trajanje projekta od do leta namen projekta je koordinacija nacionalnih prizadevanj za analizo klasifikacijo in razvoj novih in ucinkovitih tehnik in orodij za verifikacijo in validacijo paralelne programske opreme in drugih na novo predlaganih formalnih tehnik ter uporabiti in preizkusiti rezultate na izbranih realisticnih primerih iz modernih porazdeljenih komunikacijskih arhitektur projekti republike slovenije govorna komunikacija clovek stroj p b horvat g lesnjak m jagodic r babic z kacic f jurkovic s greif g angleitner k znidarsic b dugonik f s balan s grasic a vesenjak raziskovalne aktivnosti vkljucujejo definicijo nacionalne baze izgovorjav slovenskega jezika snabi analizo vpliva suma okolice in motenj telefonskega kanala na uspesnost razpoznavanja govora in definicijo sistema razpoznavanja govora zasnovanega na masovnem paralelnem in porazdeljenem nacinu obdelave signalov v sklopu aktivnosti definiranja nacionalne baze izgovorjav slovenskega jezika so bili doloceni slovarji besed posameznih delov baze razvita je bila programska oprema za obdelavo podatkov in dokumentacija potrebna za snemanje baze v sklopu raziskav analize vpliva suma okolice na uspesnost razpoznavanja je bil poudarek na razvoju metod frekvencnega prostora in dinamicnem prilagajanju nivoja suma pri sistemu razpoznavanja govora je bila opravljena obsezna studija uspesnosti analize kompleksnih harmonskih zvocnih scen formalna verifikacija sistemov p z brezocnik b horvat r babic g lesnjak b butinar t kapus g dreo m solar f s balan m strakl a vesenjak tematika projekta zajema dve podrocji formalno verifikacijo digitalnih sistemov in formalno verifikacijo porazdeljene programske opreme v prvem letu projekta smo za sinhrona sekvencna vezja predlagali funkcionalno semantiko ki temelji na monotonih funkcijah nad nizi enakih dolzin dokazali smo da je ekvivalentna s preprosto operacijsko semantiko v funkcionalni semantiki smo definirali tri relacije skladnosti med sinhronimi vezji ekvivalenco relacijo cevovod in casovni homomorfizem obnasanje sinhronih vezij sprecificiramo s funkcijami tpdl teoreticne raziskave smo podkrepili s programskim paketom versyc za avtomaticno verifikacijo funkcionalne pravilnosti pomemben del tega paketa je program za ucinkovito predstavitev in obdelavo logicnih funkcij z minimalnimi binarnimi odlocitvenimi grafi predlagali smo semantiko s pravo paralelnostjo za paralelne programe s skupnimi spremenljivkami akciji razlicnih paralelnih komponent se lahko izvedeta socasno ce ne dostopata do skupnih spremenljivk semantika programa je enaka mnozici t i usmerjenih aciklicnih grafov z oznacenimi povezavami daag prvega reda za opis daagov prvega reda smo definirali paralelno temporalno logiko prvega reda izhaja iz izjavne paralelne temporalne logike ki je podobna logiki unity vsebuje operator cas ki omogoca opis paralelnosti na primeru smo prikazali kako s tem operatorjem lahko razlocujemo pri specifikaciji program z nedeterministicno izbiro od programa s paralelno kompozicijo akcij ki ju pri semantikah s prepletanjem ne moremo razlikovati razvoj komutacijskega sistema b horvat r slatinek l pipan m stojsavljevic u srakar a holly v letu je bila izdelana funkcionalna specifikacija programske opreme signalizacije dss za primarni pristop narocniskega telekomunikacijskega sistema si v do omrezja isdn specifikacija obsega opis tistih funkcij ki se razlikujejo od funkcij signalizacije na osnovnem dostopu specificirane v preteklem letu povezave prek internih vmesnikov z ostalimi komponentami materialne in programske opreme sistema ostanejo enake kot pri osnovnem dostopu v sodelovanju z delovno organizacijo iskra tel so bile realizirane in preizkusene lokalne govorne podatkovne in govorne slikovne isdn zveze ter povezave s sistemom ewsd na osnovnem dostopu s cimer smo preverili pravilnost zasnove in zahtevano funkcionalnost programske opreme znatni napori so bili vlozeni tudi v dolocitev optimalne arhitekture sistema ki bi omogocala hitro in preprosto implementacijo sistema ter zagotavljala odprtost do zahtev arhitekture inteligentnega omrezja delovanje protokola dss in aktiviranje razlicnih tipov isdn zvez prek baznega prikljucka narocniskega sistema si v je bilo predstavljeno na sejmu elektronike v ljubljani projekti za gospodarstvo razvoj komutacijskega sistema iskra tel vkljucen v projekt republike slovenije st nazaj marjan strakl strakl uni mb si