See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Muu" projekt G4876
G4876 "Lõplike automaatide dekompositsiooniliste sünteesimeetodite arendamine ja vastavate WWW-põhiste disainivahendite loomine (1.01.2001−31.12.2002)", Aleksander Sudnitsõn, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide projekteerimise õppetool .
ETF4876
G4876
Lõplike automaatide dekompositsiooniliste sünteesimeetodite arendamine ja vastavate WWW-põhiste disainivahendite loomine
Development of methods of finite state machines decomposition and web-based implementation of their software
Lõplike automaatide dekompositsiooniliste sünteesimeetodite arendamine ja vastavate WWW-põhiste disainivahendite loomine
1.01.2001
31.12.2002
Teadus- ja arendusprojekt
Muu
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT120 Süsteemitehnoloogia, arvutitehnoloogia1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)100,0
AsutusRiikTüüp
Sihtasutus Eesti Teadusfond
PerioodSumma
01.01.2001−31.12.2002169 000,00 EEK (10 801,07 EUR)
10 801,07 EUR
Eesti Teadusfond - > ETF uurimistoetus

Uurimuse pohieesmärgiks on välja töötada dekompositsioonilised sünteesimeetodid mahukate loplike automaatide loomiseks ja nende meetodite realiseerimine WWW-pohise tarkvarakeskkonnana, mis oleks Interneti vahendusel laialdaselt kasutatav. Uuringute teoreetiliseks aluseks on loplike automaatide algebraline struktuuriteooria, mida on arendatud edasi vastavalt kaasaegsetele digitaalsüsteemide disainimeetoditele. Sünteesitavat komponentautomaatide vorku optimiseeritakse vastavalt püstitatud optimiseerimiskriteeriumitele, millest keskseim on skeemis tarbitava energia (eralduva soojuse) minimeerimine. Töötati välja uued mudelid ja meetodid digitaalsüsteemide dekomponeerimiseks, mis voimaldasid dünaamilist energiatarbe minimeerimist erinevates arhitektuurides. Uuringu tulemused kinnitasid, et loogikaelementide lülituste arvu skeemis on voimalik märgatavalt minimeerida ilma skeemi töökiiruse languseta, loobudes ebaolulistest sisenditest skeemi igal konkreetsel töötsüklil. Automaatide dekompositsiooniline süntees viib möödapääsmatult vajadusele lahendada NP-keerukaid alamülesandeid, milleks on väljatöötatud heuristilised algoritmid. Projekti tulemused on avaldatud kokku 18 publikatsioonina aastatel 2001-2002 rahvusvahelistes eelretsenseeritavates väljaannetes. Projekti raames kaitsti 2 magistritööd Valitud publikatsioonid: 1. A. Sudnitson, “Computational Kernel Extraction for Synthesis of Power-Managed Sequential Components”, in Proc. IEEE 9th International Conference on Electronics, Circuits and Systems (ICECS 2002), Dubrovnik, Croatia, 2002, pp. 749-752. (ISBN: 0-7803-7597-1, IEEE Catalog No.: 02EX611C) 2. A. Sudnitson, “An Approach to Synthesis of Mixed Synchronous/Asynchronous Digital Devices”, in Proc. IEEE 23rd International Conference on Microelectronics (MIEL 2002), Nis, Yugoslavia, 2002, pp.695-698. (ISBN: 0-7803-7235-2, IEEE Catalog No. 02TH8595) 3. E. Fomina, A. Keevallik, and A. Sudnitson, “Entropic Analysis of Finite State Mashines’ Networks”, in Proc. IEEE 5th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2002), Brno, Czech Republic, 2002, pp.244-251. (ISBN: 80-214-2094-4)
The main goal of the investigations has been to elaborate decompositional synthesis methods for high complexity finite state machine (FSM) and their implementation as Web-based computer design system. The theoretical basis for the investigations has been algebraic structure theory of FSM, its further development in accordance with the needs of digital systems design practice to handle the task of partition of hardware description into a network of interconnected FSMs targeting optimization criteria. The project focuses on power dissipation as the main criteria of design optimization. Consideration of decompositional synthesis leads to investigation of hard NP-complete combinatorial problems. Java-based program implementation of algorithms is fulfilled.. The results confirmed that it is possible to significantly reduce switching activity of implementation and that significant reduction in power consumption could be achieved without performance degradation. The results of the project are published in 18 International conference papers. As the result of the project, 2 magister thesis where defended during 2001-2002. Selected publications: 1. A. Sudnitson, “Computational Kernel Extraction for Synthesis of Power-Managed Sequential Components”, in Proc. IEEE 9th International Conference on Electronics, Circuits and Systems (ICECS 2002), Dubrovnik, Croatia, 2002, pp. 749-752. (ISBN: 0-7803-7597-1, IEEE Catalog No.: 02EX611C) 2. A. Sudnitson, “An Approach to Synthesis of Mixed Synchronous/Asynchronous Digital Devices”, in Proc. IEEE 23rd International Conference on Microelectronics (MIEL 2002), Nis, Yugoslavia, 2002, pp.695-698. (ISBN: 0-7803-7235-2, IEEE Catalog No. 02TH8595) 3. E. Fomina, A. Keevallik, and A. Sudnitson, “Entropic Analysis of Finite State Mashines’ Networks”, in Proc. IEEE 5th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2002), Brno, Czech Republic, 2002, pp.244-251. (ISBN: 80-214-2094-4)
KirjeldusProtsent
Alusuuring100,0