| Program: | Colaborare Internaţională |
| Cifru: | STCU 4032 |
| Termenul executării: | 2007 – 2010 |
| Instituţii: | Academia de Ştiinţe a Moldovei, Institutul de Matematică şi Informatică |
| Conducător: | Rogojin Iurie |
| Executori: |
Cojocaru Svetlana, Ciubotaru Constantin, Boian Elena, Alhazov Artiom, Colesnicov Alexandru, Burţeva Liudmila, Magariu Galina, Verlan Tatiana, Malahov Ludmila, Tofan Tatiana, Demidova Valentina, Macari Veaceslav, Matveevici Artiom, Verlan Serghei, Rogojin Vladimir, Căpăţână Gheorghe, Duca Maria, Chior Alexandru |
| Finanţator: | The Science & Technology Center in Ukraine (STCU) |
Rezumat
Acest proiect reprezintă o combinaţie interesantă a informaticii teoretice, matematicii și biologiei. În cadrul proiectului se vor cerceta modele de calcul bazate pe sisteme membranare (P sisteme), P automate, automate celulare şi altele. Se vor studia posibilitățile de aplicare a acestor modele la soluţionarea eficientă a unor probleme de algebră computaţională necomutativă şi lingvistică. Proiectul va contribui la o înţelegere mai bună a capacităţilor unor modele de calcul bazate pe structura şi funcţionarea celulei vii, a condițiilor în care aceste modele ar putea atinge puterea de calcul universală Turing, a restricțiilor ce afectează puterea lor de calcul, a posibilităților de comparare cu modelele clasice. În acelaşi timp, eforturile de modelare vor contribui la perceperea mai amplă a proceselor fundamentale în celulele vii. Aplicarea instrumentelor formale, utilizate în informatică pentru studiul proceselor concurente şi paralele, ne va permite să efectuăm o analiză formală a diverselor aspecte ale proceselor biologice, inclusiv punctele de echilibru, robusteţea şi impasul componentelor defectate. Pe parcursul proiectului se vor utliza procedee matematice variind de la matematică discretă (şiruri de caractere, grafuri, limbaje formale, multiseturi) la matematică continuă (ecuaţii diferenţiale). De asemenea, se vor utiliza tehnici de calcul, inclusiv pachete software şi metode de simulare.
