"Sihtfinantseerimine" projekt SF0321769s01
SF0321769s01 "Ontoloogiale orienteeritud programmeerimine (1.01.2001−31.12.2005)", Jaan Penjam, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
SF0321769s01
Ontoloogiale orienteeritud programmeerimine
Ontology Oriented Programming
1.01.2001
31.12.2005
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)50,0
2. Ühiskonnateadused ja kultuur2.6. Filoloogia ja lingvistikaH350 Keeleteadus6.2. Keeleteadus ja kirjandus50,0
PerioodSumma
01.01.2001−31.12.20011 350 000,00 EEK (86 280,73 EUR)
01.01.2002−31.12.20021 480 000,00 EEK (94 589,24 EUR)
01.01.2003−31.12.20031 467 000,00 EEK (93 758,39 EUR)
01.01.2004−31.12.20041 649 000,00 EEK (105 390,31 EUR)
01.01.2005−31.12.20051 754 000,00 EEK (112 101,03 EUR)
492 119,70 EUR

Teema eesmärgiks oli probleemvaldkonna ontoloogia kirjeldamisele orienteeritud tarkvaratehnoloogia ning sellega seotud meetodite, teooriate ja keelte väljatöötamine. Teema hõlmas nelja alateemat: - Programmide ja keelte semantika. Esitaiti erinevate programmikonstruktsioonide semantikat kategooriateooria kontekstis. Eesmärgiks oli nii uute semantiliselt motiveeritud konstruktsioonide väljatöötamine, kui ka tuntud konstruktsioonide omaduste parem mõistmine, mis võimaldaks näiteks nende ülekandmist teistesse programmeerimisparadigmadesse, efektiivset realiseerimist või lihtsustaks neid kasutavate programmide korrektsuse tõestamist. - Programmide kompositsiooniline süntees ja taaskasutus. Uuriti meetodeid programmide automaatseks konstrueerimiseks probleemvaldkonna ontoloogia formaalse kirjelduse põhjal. Esitati üldine formaalloogiline meetod arvutuste semantika spetsifitseerimiseks, mis kasutab osistena kas tarkvara või riistvara komponente Töötati välja ja realiseeriti visuaalne programmide komponeerimissüsteem COCOVILA. Samuti töötati välja meetod programmide sünteesi ülesande taandamiseks (stohhastilise) optimeerimise ülesandele ja hajusprogrammide süntesaatori arhitektuur. - Keeletehnoloogia. Töötati välja difoonidel põhinev eestikeelse tekst-kõnesünteesi prototüüp ja alustati uuringuid eestikeelse kõnetuvastuse alal. Kõneprosoodia adekvaatsemaks modelleerimiseks kõnesünteesil uuriti eesti väldete temporaalseid tunnuseid ja soome-ugri keelte prosoodiamudeleid. Koostati mitmeid sihtotstarbelisi kõnekorpusi. - Ontoloogiale orienteeritud programmeerimise rakendused. Uuriti teadmussüsteemide formaalseid esitusi ja teadmuse esitust veebis. Täiendati mitmete modelleerimis- ja projekteerimispakettide arvutusalgoritme ja tarkvara.
The goal of the research project was the study and development of new methods, theories and languages for description and implementation of ontology of a problem domain. The project comprises of the following four subtopics: - Semantics of programs and languages A category theoretical representation was found for several programming language constructs.  The aim of the research was introduction of new semantically motivated constructs as well as a better understanding of traditional language constructs in order to transfer them into other programming paradigms or effective implementation or verification of programs. - Compositional program synthesis and reuse Methods for automatic program construction were investigated from the formal specification of the ontology of the problem domain.  A common formal basis for representing semantics of computations both at the level close to hardware primitives, and at the level of software components is presented.  A system COCVILA for visual specification of ontology was developed and implemented. A method to treat a task of program synthesis as optimisation problem was found as well as a new architecture of the system for synthesising distributed programs for GRIDs. - Language technologies A prototype of the Estonian text-to-speech synthesizer based on diphone concatenation was developed and the research on Estonian speech recognition has been started. The temporal patterns of Estonian words and the prosodic structure of Finno-Ugric languages were studied. Several speech corpora were developed. - Applications of ontology oriented programming Formal representation of knowledge in Web was studied.   Several computation algorithms of the software packages for modelling of mechanical hydraulic systems were developed.