Promocijas darbu aizstāv Aliia Khadieva

2026. gada 16. janvārī plkst. 15.00 attālināti notiks LU Datorzinātnes un informātikas, un Elektrotehnikas, elektronikas un komunikāciju tehnoloģijas specializētās promocijas padomes atklātā sēde, kurā promocijas darbu zinātnes doktora grāda (Ph.D) dabaszinātnēs iegūšanai aizstāvēs Aliia Khadieva.

Temats: "Kvantu automātu un to vispārinājumu analīze un realizācija".

Darba zinātniskais vadītājs: Dr. sc. comp. Abuzer Yakaryilmaz.

Anotācija:

Šajā darbā tiek pētīti dažādi galīgo automātu modeļi un to modifikācijas, analizējot to skaitļošanas spēju un ierobežojumus. Konkrēti tika izpētīti kvantu galigie automāti, kā arī to fiziskā realizācija. Tika arī aplūkoti daži nevienveidīgie kvantu automāti un kvantu automātiem līdzīgi algoritmi. Pirmā daļa ir veltīta kvantu algoritmiem, kas balstās uz pirkstu nospiedumu tehniku. T.sk. tika aplūkots kvantu galīgais automāts (QFA) valodai MOD_p = {a^i·p | i ≥ 0} kā vienu no galvenajiem šīs tehnikas algoritmiem, un tika izstrādāts QFA arī citām valodām. Arī efektīvi tika realizēti šie QFA uz reālām kvantu shēmu ierīcēm. Turklāt tika piedāvātas vairākas metodes, lai uzlabotu QFA algoritma realizāciju MOD_p atpazīšanai, kad tas tiek īstenots uz reālām kvantu ierīcēm. Tika analizēti realizācijas rezultāti attiecībā uz pareizību, izturību pret troksni un mērogojamību. Otrajā daļā tika pētītas sakārtotās binārās lēmumu diagrammas (QOBDD) kā nevienveidīgus automātus un tika analizēta to skaitļošanas spēja. Tika koncentrēts uz konkrētu QOBDD modeli – k-reiz-lasošu kvantu OBDD modeli (k-QOBDD). Tika mākslīgi konstruēta Būla funkcija un piedāvāts k-QOBDD, kas aprēķina šo funkciju, un tika demonstrēta sarežģītības klašu hierarhija Būla funkcijām, kuras ir aprēķināmas ar konstantes, polilogaritmiska un sublineāra platuma k-QOBDD. Trešajā daļā tika aplūkots afīnais aprēķinu modelis – kvantu sistēmām līdzīgs varbūtisko sistēmu vispārinājums. Konkrēti tika pētīti afīnie automāti un afīnie verifikatori kā Artūra-Merlina sistēmas ar ierobežotu kļūdu ar reāllaika afīniem galīgiem verifikatoriem. Šajā daļā tika piedāvāti vairāki valodu verifikācijas algoritmi un tika pētīta afīno galīgo automātu verifikācijas spēja.

Recenzenti:

1) ‎Dr. sc. comp. Kārlis Čerāns, Latvijas Universitāte;

2) Dr. Ahmet Celal Cem Say, Bogaziči Universitāte, Turcija;

3) Dr. Beatrice Palano, Milānas Universitāte, Itālija.

Ar promocijas darbu var iepazīties LU Bibliotēkā, Raiņa bulvārī 19.

Dalība sēdē ar iepriekšēju pieteikšanos, rakstot uz sintija.silina@lu.lv līdz 13. janvārim.