"Sihtfinantseerimine" projekt SF0322709s06
SF0322709s06 "Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad (1.01.2006−31.12.2011)", Tarmo Uustalu, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
SF0322709s06
Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad
Dependable software and human language technologies
1.01.2006
31.12.2011
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 lingvistikaH350 Keeleteadus6.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.2006−31.12.20062 160 000,00 EEK (138 049,16 EUR)
01.01.2007−31.12.20072 454 400,00 EEK (156 864,75 EUR)
01.01.2008−31.12.20082 852 400,00 EEK (182 301,59 EUR)
01.01.2009−31.12.20092 627 712,00 EEK (167 941,41 EUR)
01.01.2010−31.12.20102 574 700,00 EEK (164 553,32 EUR)
01.01.2011−31.12.2011158 460,00 EUR
968 170,23 EUR

Teema keskendub kahele aktuaalsele valdkonnale infotehnoloogias: tarkvara usaldusväärsus globaalsete arvutite kontekstis ning kasutajasõbralikud inimene-masin-liidesed, mis rakendavad inimkeelt. Teema eesmärkideks on töötada välja tänastest usaldusväärsemaid tarkvaratehnoloogiaid programmikeelte ja programmikeeleprotsessorite parendamise teel ning täiustada eesti keele tehnoloogiat. Vastavalt arendatakse abstraktsete automaatide kompositsiooniteooriat, kõrvalefektidega ja kontekstist sõltuvate arvutusmõistete semantilist teooriat. Töötatakse välja programmiloogikaid, programmianalüüse ja tüübisüsteeme Java virtuaalmasina baitkoodi jaoks, disainitakse vastav sertifikaadiformaat ning koostatakse tõestusi kompileeriv ja tüüpe tuletav Java kompilaator. Luuakse raamvärk ontoloogiate õppimiseks. Täiustatakse visuaalse programmeerimise keskkonda COCOVILA ja spetsialiseeritakse teda hajustarkvara kompositsiooni ja rekonfigureerimise jaoks. Uuritakse eesti keele kõne hääliku- ja prosoodilise süsteemi variatiivsust erinevate loomuliku kõne stiilide juures (spontaanne kõne, dialoog jne). Uuritakse audiovisuaalse ja emotsionaalse kõnesünteesi mudeleid, töötatakse välja audio-visuaalse kõnesünteesi prototüüp. Arendatakse statistilisi keelemudeleid kõnetuvastussüsteemide jaoks. Töötatakse välja kõnetuvastust ja -sünteesi kasutavaid inimene-masin dialoogsüsteemide prototüüpe.
The theme focusses on two important areas of information technology: dependability of software in the context of global computing and user-friendly man-machine interfaces applying human language. The goals are to develop dependable software technologies by improving programming languages and programming language processors and to perfect the Estonian language technology. Accordingly, the project team will develop the composition theory of abstract automata and the semantic theory of effectful and context-dependent notions of computation. It will also develop program logics, program analyses and equivalent type systems for Java virtual machine bytecode, design a corresponding code certificate format and build a certifying Java compiler. It will produce a framework for inducing ontologies. It will further develop the COCOVILA visual programming environment and specialize it for composition of distributed software and reconfiguration. The team will study the variability of the Estonian sound and prosodic system depending on different styles of natural speech (spontaneous speech, dialogue etc). It will investigate models of audiovisual and emotional speech synthesis and create a prototype of an audiovisual speech synthesizer. It will develop statistical models for speech recongnition systems and develop prototypes of man-machine dialogue systems employing speech recognition and synthesis.