See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Sihtfinantseerimine" projekt SF0140007s12
SF0140007s12 "Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad (1.01.2012−31.12.2014)", Tarmo Uustalu, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
SF0140007s12
Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad
Dependable software and human language technologies
1.01.2012
31.12.2014
Teadus- ja arendusprojekt
Sihtfinantseerimine
ValdkondAlamvaldkondCERCS erialaFrascati Manual’i erialaProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)60,0
2. Ühiskonnateadused ja kultuur2.6. Filoloogia ja lingvistikaH351 Foneetika, fonoloogia 6.2. Keeleteadus ja kirjandus5,0
4. Loodusteadused ja tehnika4.4. MatemaatikaP110 Matemaatiline loogika, hulgateooria, kombinatoorika1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)35,0
PerioodSumma
01.01.2012−31.12.2012150 540,00 EUR
01.01.2013−31.12.2013182 040,00 EUR
01.01.2014−31.12.2014182 040,00 EUR
514 620,00 EUR

Teema keskendub kahele aktuaalsele infotehnoloogia valdkonnale: tarkvara usaldusväärsus ning inimkeeletehnoloogia. Eesmärkideks on õppida paremini tundma teatud arvutamise mudeleid, parendada programmeerimiskeeli, tarkvara analüüsi vahendeid ja tarkvarapraktikat, saada uusi teadmisi eesti keele foneetikast ning täiustada eestikeelse kõne tuvastuse tööriistu. Edendame lõplike automaatide ja rakuautomaatide teooriat. Panustame sõltuvate tüüpidega programmeerimise keelte disainimisse ja realisatsiooni ning osaleme vastavate programmeerimise meetodite arendamises. Töötame välja semantikaid, programmiloogikaid ja analüüsivahendeid hajutatud objektorienteeritud keelele, uurime transaktsioonilise mälu korrektsust. Jätkame visuaalse tarkvara automaatse komponeerimise süsteemi CoCoViLa arendamist ja kasutamist. Uurime eesti keele foneetika artikulaarseid aspekte, spontaanse kõne häälduse variatiivsuse modelleerimist, keelemudelite adapteerimise võtteid, morfoloogia automaatset induktsiooni.
The theme focuses on two important areas of IT: trustworthiness of software and human language technology. The general aims are to understand some models of computation deeper, to improve programming languages, software analysis tools and software practice, to obtain new knowledge about the phonetics of Estonian and improve Estonian speech recognition. We will advance the theory of finite-state automata and cellular automata. We will contribute to the design and implementation of dependently typed languages and develop programming techniques for these. We will develop semantics, program logics and analysis tools for a distributed object-oriented language, study the correctness of transactional memory. We will continue to develop and use the visual automated software composition system CoCoViLa. We will study articulary aspects of the phonetics of Estonian, modelling of variability of spontaneous speech, techniques for adaptation of language models, automatic induction of morphology.