raziskovalni dosezki v letu seminarji mednarodni projekti projekti republike slovenije seminarji v letu je skupina za informatiko organizirala dva enodnevna seminarja prvi je bil na tehniski fakulteti naslednji pa v ljubljani seminarja z naslovom verifikacija in validacija programske opreme sta bila namenjena razvijalcem in narocnikom programske opreme z njima smo zeleli motivirati udelezence za vecjo kakovost jih seznaniti s preverjevalnimi metodami in jim na prakticnih primerih ilustrirati konkretno problematiko preverjanja mednarodni projekti razvoj univerzitetnega izobrazevalnega programa na podrocju komunikacije clovek stroj tehniska univerza münchen in univerza v gentu j trajanje projekt vkljucuje naslednja podrocja aktivnosti postavitev studentskega laboratorija z namestitvijo ustrezne strojne in programske opreme ter vzpostavitvijo racunalniske povezave med laboratoriji sodelujocih univerz izmenjavo studentov in profesorjev organiziranje intenzivnih tecajev dodatnega izobrazevanja za profesorje ucitelje in inzenirje zaposlene v industriji izdelavo ustreznih studijskih gradiv in razvoj potrebnih ucnih pripomockov cost razpoznavanje govora preko telefonske linije raziskave zajemajo analizo problemov povezanih z razpoznavanjem tekocega govora preko telefona s posebnim poudarkom na nivoju akusticnega procesiranja izlocanje znacilnosti govora in njihovo razvrscanje in razpoznavanju govora v sumnem okolju celostevilcna implementacija izlocanja znacilk za avtomatsko razpoznavanje govora tuji partner centralni raziskovalni laboratoriji siemens ag münchen e trajanje projekta mesecev v okviru projekta je bila napisana celostevilcna verzija programske opreme za izlocanje znacilk koda je bila optimirana z namenom implementacije algoritmov na tms c in oak signalnih procesorjih poseben poudarek je bil na ucinkoviti implementaciji algoritmov za fft linearno diskriminancno analizo in kompenzacijo kanala verifikacijske in validacijske metode za formalne opise z brezocnik evropski raziskovalni projekt cost fakulteta za elektrotehniko racunalnistvo in informatiko maribor institut jozef stefan ljubljana in stevilne institucije iz naslednjih drzav belgija ceska republika danska nemcija finska francija madzarska italija nizozemska poljska spanija svedska turcija velika britanija trajanje projekta 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 uporaba in preizkus izidov izbranih realisticnih primerov iz modernih porazdeljenih komunikacijskih arhitektur nas prispevek k tem prizadevanjem v letu je bila specifikacija dela protokola xtp z akcijsko temporalno logiko projekti republike slovenije govorna komunikacija clovek stroj trajanje projekta raziskovalna dejavnost vkljucuje definicijo nacionalne baze izgovarjav slovenskega jezika snabi analizo vpliva suma okolice in motenj telefonskega kanala na uspesnost razpoznavanja govora ter definicijo sistema razpoznavanja govora zasnovanega na masovnem paralelnem in porazdeljenem nacinu obdelave signalov v sklopu aktivnosti definiranja nacionalne baze izgovarjav slovenskega jezika je izvedeno zajemanje govornega materiala in njegova obdelava v sklopu raziskav analize vpliva suma je bila opravljena analiza uspesnosti spektralnega odstevanja pri razpoznavanju govora v sumnem okolju raziskave v okviru definicije sistema razpoznavanja govora zasnovanega na masovnem paralelnem in porazdeljenem nacinu obdelave signalov so zajemale proucevanje moznosti uporabe mnozice filtrov za dosego ustrezne frekvencne razlocljivosti pri analizi zvocne scene formalna verifikacija sistemov 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 paralelne programske opreme skupni cilj raziskav na obeh podrocjih je razvoj programskega paketa za ucinkovito notranjo predstavitev tj predstavitev v racunalniku in avtomaticno obravnavo boolovih funkcij ki temelji na binarnih odlocitvenih grafih v letu smo razvit programski paket bdd za delo z binarnimi odlocitvenimi grafi iz programskega jezika pascal prekodirali v programski jezik c in tako se precej izboljsali ucinkovitost paketa priceli smo tudi z raziskavami metod za simbolicno preiskovanje grafov prehajanja stanj koncnih avtomatov razvili smo novo paralelno temporalno akcijsko logiko in kompozicionalen dokazovalni sistem za verifikacijo paralelnih programov s skupnimi spremenljivkami na osnovi modela s pravo paralelnostjo razvoj komutacijskega sistema ev x razvojni projekt r odgovorni nosilec razvojnega projekta dr bogomir horvat izvajalci r slatinek dr l pipan u srakar m alcin a holly v sodelovanju z delovno organizacijo iskratel je bil izdelan koncept programske opreme za krmiljenje osnovnih in dopolnilnih storitev isdn komutacijskega sistema si e xxx koncept je dolocal topologijo procesa krmiljenja pozivov ter medsebojne interakcije med storitvami za dinamicne in staticne procese osnovne zveze in dopolnilnih storitev so bili predstavljeni posamezni scenariji na osnovi katerih je bila dolocena izvedbena specifikacija posameznih gradnikov programske opreme v nadaljevanju je bila pripravljena analiza in specifikacija vmesnika med krmiljenjem poziva in signalizacijo analognega narocnika ass s primitivi vmesnika v temu je sledila funkcionalna specifikacija protokola dostopa do dopolnilnih storitev v okviru signalizacije digitalnega narocnika dss na koncu je bil specificiran vmesnik med sistemom si e xx in modulom analognih narocnikov asm sistema si v ki je temeljil na standardiziranih protokolih vmesnika v nazaj marjan strakl strakl uni mb si