Institutul de Matematică şi Informatică "Vladimir Andrunachievici"

• Structura
• Colaboratori
• Publicaţii
• Proiecte
• Doctorat
• Conferinţe
• Noutăţi
• Ştiri Europene
• Comitetul Sindical

• În laticea tuturor topologiilor grupale pe un grup numărabil s-a arătat că este un continuum de coatomi şi un continuum de topologii în care grupul topologic are o bază numărabilă de vecinătăţi ale unităţii şi pentru orice două topologii τ1, τ2 , sup{τ1, τ2} este topologia discretă (V. Arnautov).
• Au fost obţinute condiţiile necesare şi suficiente de ortogonalitate a cuasigrupurilor liniare (aliniare) de stânga (de dreapta). S-au elaborat scheme de semnătură digitală scurte, bazate pe dificultatea procedurilor exponentiale cu trei niveluri (V. Şcerbacov).
• S-a rezolvat problema despre existenţa bazei finite pentru cvasiidentităţile de ranguri mărginite de acelaşi număr ale oricărei algebre finite. A fost stabilit că bucla Moufang (A-bucle, CH-cvasigrupul, cvasigrupuri distributiv) rezolubilă ce verifică condiţia maximalităţii pentru subbucle este finit separabilă şi, totodată, s-a demonstrat existenţa unui algoritm de rezolvare a problemei de apartenenţă a elementului subbuclei date (V. Ursu).
• S-a obţinut o estimaţie numerică finită pentru mărimile Lyapunov algebric independente ce rezolvă completamente problema generalizată a centrului şi focarului pentru fiecare sistem diferenţial în parte (formulată cca 130 de ani în urmă) (dr. hab. Popa M.).
• S-a demonstrat teorema despre normalitatea funcţiilor holomorfe de mai multe variabile complexe, ce nu primesc valoarea zero. Acest criteriu, pentru cazul funcţiei de o singură variabilă, a fost formulat de către matematicianul american Szolem Mandelbrojt în 1929 şi demonstrat recent în varianta generalizată (dr. hab. Dovbuş P.).
• Au fost identificate toate configuraţiile de singularităţi (finite şi infinite) geometric distincte, posibile pentru această familie în cazul existenţei singularităţi finite distincte: două imaginare şi una reală. În total au fost depistate 74 de configuraţii geometric distincte şi au fost determinate condiţiile necesare şi suficiente afin invariante de realizare a fiecăreia dintre ele (m. cor. Vulpe N.).
• Au fost depistate toate configuraţiile de singularităţi (finite si infinite) geometric distincte, posibile pentru familia de sisteme pătratice ce posedă singularităţi finite de multiplicitate totală mf=0,1,2 (m. cor. N. Vulpe).
• Au fost clasificate sistemele cubice de ecuaţii diferenţiale pentru care dreapta invariantă de pe ecuatorul sferei Poincaré are multiplicitatea algebrică maximală (A. Şubă, O. Vacaraş).
• Pentru sistemul bidimensional de ecuaţii diferenţiale cu neliniarităţi de gradul patru au fost construite primele şapte constante Liapunov nenule (Calin Iu., Ciubotaru S.).
• La modelarea sistemelor decizionale dinamice au fost obţinute condiţii necesare şi suficiente de existenţa a echilibrului Nash în jocurile poziţionale stocastice şi elaboraţi algoritmi de aflare a strategiilor optime staţionare a jucătorilor; elaborate modele exhaustive cu priorităţi şi timp nenul semi-Markov la trecerea procesului de servire de la o clasă de prioritate la alta; obţinute funcţiile termoelastice de influenţă pentru bandă, semi-bandă, semi-spaţiu, pătrime de spaţiu şi octant pentru problemele la limită ale termoelasticităţii necuplate;elaborată o abordare nouă de analiză a comportării pieţei financiare şi evaluarea cursului tranzacţiilor cu primă, bazată pe procesele telegraf; cercetată evoluţia sectorului agro-industrial al RM supusă influenţei şocurilor aleatorii atât la nivel de ramuri cât şi integral pe sector (dr. hab. Lozovanu D., acad. Mişcoi Gh., dr. hab. Kolesnik A., dr. hab. Seremet V., dr. Naval E.).
• S-a determinat forma matriceală a ecuaţiei funcţionale generalizate Kendall şi teoretic s-au argumentat algoritmi matriceali de determinare a repartiţiei k-perioadei de ocupare pentru sistemele de aşteptare de tip Polling cu întârzieri semi-Markoviene, cât şi pentru sistemele generalizate de aşteptare cu priorităţi (dr. Bejenari Diana).
• Au fost elaboraţi şi teoretic argumentaţi algoritmi de soluţionare a problemelor decizionale de tip Markov bazaţi pe metodele programări dinamice şi programării liniare. Au fost argumentaţi noi algoritmi de aflare a caracteristicilor probabilistice de bază în sistemele de aşteptare cu priorităţi (acad. Gh. Mişcoi, dr. hab. D. Lozovanu).
• S-au elaborat şi teoretic s-au argumentat algoritmi numerici de aflare a strategiilor optime staţionare şi nestaţionare pentru problemele stocastice de control optimal discret şi pentru problemele decizionale Markov. Pentru RM a fost soluţionată problema stocastică de control optimal privind determinarea nivelului optim al îndatorării de stat (dr. hab. D. Lozovanu, M. Capcelea, dr. Naval E.).
• În domeniul teoriei aşteptării au fost elaborate modele exhaustive cu priorităţi şi timp ne nul semi-Markov la trecerea procesului de servire de la o clasa de prioritate la alta. Sau elaborat metode bazaţi pe aparatul transformatelor Laplace-Stieltjes şi funcţiilor generatoare pentru determinare caracteristicilor probabilistice pentru astfel de modele (acad. Gh. Mişcoi).
• Au fost elaborate instrumente tehnologice de integrare a facilităţilor regionale HPC existente şi viitoare într-o infrastructură comună, deschisă pentru un număr mare de comunităţi noi de utilizatori, inclusiv din Moldova, care să ofere soluţii operaţionale de calcul performant (dr. hab. B. Ribachin, dr. G. Secrieru, dr. P. Bogatencov, N. Iliuha).
• A fost elaborată schema de modernizare a infrastructurii locale HPC şi iniţiată realizarea ei prin extinderea resurselor clusterelor USM şi IMI-RENAM pentru a asigura suportul elaborării şi executării aplicaţiilor paralele cu portarea lor în infrastructura regională HPC (dr. G. Secrieru).
• În scopul de unificare, omogenizare şi integrare a mediului cultural naţional în circuitul internaţional s-au cercetat unele probleme ce ţin de utilizarea resurselor electronice existente ale limbii române în procesul de digitizare a textelor scrise cu litere chirilice în diferite perioade istorice. Au fost propuse soluţii ce contribuie la procesarea textelor, scrise cu grafia chirilică în secolul XX (alfabet chirilic pur, alfabete mixte) (dr. E. Boian, dr. C. Ciubotaru, dr. hab. S. Cojocaru, dr. A. Colesnicov, L. Malahov).
• A fost elaborat un simulator al modelelor hibride computaţionale (cuantice/biologice) bazat pe librăria MathIt pentru partea cuantică şi pe platforma P-Lingua pentru partea biologică (membranară). A fost efectuată cercetarea modurilor de reprezentare a intrărilor şi ieşirilor pentru modelele hibride computaţionale în baza problemelor de imagistică medicală şi lingvistică computaţională. Rezultatele obţinute vor putea fi utilizate la elaborarea tehnologiilor radical noi pentru procesarea datelor de volum mare. (dr. hab., prof. Iu. Rogojin, dr. L. Burţeva).
• Proiectul pentru tineri cercetători "Elaborarea unui suport tehnologic-informaţional pentru interoperabilitatea resurselor lingvistice computaţionale"
• Au fost algoritmizate anumite mecanisme lingvistice, precum schimbul de afixe, proiectarea derivatelor, constrîngerile lexicale şi regulile derivaţionale. Aceste rezultate permit o îmbogăţire substanţială a resurselor lingvistice computaţionale. (dr. hab. A. Alhazov, dr. M. Petic, V. Gîsca, O. Palade).
• A fost studiat impactul gradului de structurare a informaţiei asupra procesului de instruire; creat prototipul sistemului SONARES 13 validat de specialiştii centrului medical "Ana-Maria" şi ajustat la cerinţele şi preferinţele generale ale acestora (m. cor. Gaindric C., Secrieru Iu., Popcova O.).
• A fost elaborat un algoritm eficient de examinare a pacienţilor cu suspiciune BFGNA (bolii ficatului gras non-alcoolic); proiectată structura generală a CATDC-NAFLD (Computer-Aided Tools for Diagnostics and Classification of Early Stages of Non-Alcoholic Fatty Liver Disease); formulată clasificarea stărilor hepatice patologice, care corespund BFGNA (bolii ficatului gras non-alcoolic ); evidenţiate scenarii, ce descriu BFGNA (bolii ficatului gras non-alcoolic); (m. cor. Gaindric C., Secrieru Iu., Popcova O.).
• A fost analizată puterea de modelare a formalismului reţelelor Petri flux de lucru în scopul modelării atât a componentei hardware, cât şi a componentei software a unui sistem de calcul şi au fost elaborate mecanismele de translatare a sistemelor cu procese paralele în reţele Petri flux de lucru. A fost propus algoritmul pentru determinarea unei zone şablon dintr-o imagine, care va permite efectuarea căutărilor în bazele de date (în particular cu imagini medicale ultrasonografice) în scopul depistării anumitor particularităţi specifice. (dr. Ţiţchiev I., dr. Petic M., Macari V., Frinea I.).
• Monografii:
  • Belyavskaya G. Квазигруппы: тождества с подстановками, линейность и ядра. LAP Lambert Academic Publishing. 2013. 80 pp. ISBN 978-3-659-39143-9.
  • Kolesnik A., Ratanov N. Telegraph Processes and Option Pricing. SpringerBriefs in Statistics. 2013, 128pp. ISBN: 978-3-642-40525-9 (Print), ISBN: 978-3-642-40526-6 (Online). http://link.springer.com/chapter/10.1007/978-3-642-40526-6_1/fulltext.html
• Capitole din monografii în edituri din străinătate:

  Белявская Г. Б., Попович Т. О графах, связанных с квазигруппами. В книге: Topics in Graph Theory. The Volume dedicated to the 90-th birthday of Prof. A.A Zykov. University of Illinois at Urbana-Champaign. The personal Web page of Prof. Alexandr Kostochka, http://www.math.uiuc.edu/~kostochk/, 2013, 187-193.

• Materiale ale Conferinţelor internaţionale:
  • Proceedings IIS, International Conference on Intelligent Information Systems, Institute of Mathematics and Computer Science, August 20-23, 2013, Chisinau, Moldova. Editors: Gaindric C., Cojocaru S. Tipograf. "Valinex SRL", 274 pp. ISBN 978-9975-4237-1-7.
  • Proceedings CMC14, International Conference on Membrane Computing, Institute of Mathematics and Computer Science, August 14-th, 2013, Chisinau, Moldova. Editors: Alhazov A., Cojocaru S., Gheorghe M., Rogozhin Yu.. Tipograf. "Valinex SRL", 333 pp. ISBN 978-9975-4237-2-4.
• Manuale, dicţionare, lucrări didactice (naţionale / internaţionale):
  • Арнаутов В. И., Ермакова Г. Н. Введение в теорию топологических групп. Кишинев. Universitatea de Stat din Tiraspol. 2013, 215 p. ISBN 978-9975-76-103-1.
  • Черний В., Чобану Н., Орлов В. Ряды Фурье, преобразования Фурье и их приложения в радиоэлектронике (Методическая разработка). Chişinău, U.T.M., 2013, 32 стр.
• Articole din reviste cu factor de impact 1.0-2.9:
  • Seremet V., Cretu I. Influence functions, integral formulas, and explicit solutions for thermoelastic spherical wedges. Acta Mechanica. 2013, 224, 4, 893-918. ISSN 0001-5970 (IF:1.3).
  • Artés J. C., Llibre J., Vulpe N. Quadratic systems with an integrable saddle: A complete classification in the coefficient space R^{12}. Nonlinear Analysis: Theory, Methods & Applications. Online publication complete: June 6, 2012. DOI information: 10.1016/j.na.2012.04.043 (IF: 1.409).
  • Rîbachin B. Modeling of III-D problems of gas dynamics on multiprocessing computers and GPU. Journal Computers & Fluids, ISSN: 0045-7930, ELSEVIER, Available online 31 July 2013 (IF:1.467).
• Articole din reviste cu factor de impact 0.1-0.9:
  • Alhazov A., Krassovitskiy A., Rogozhin Yu. Circular Post Machines and P Systems with Exo–insertion and Deletion. Lecture Notes in Computer Science, Springer, 7184 (2012), 73 – 86 (IF 0.402).
  • Dovbush P. V. The Lindelöf principle in C^n. Central European Journal of Mathematics, July, 2013 Volume 11, Issue 10, 1763-1773 (IF: 0.405).
  • Dryuma V. On the equations determining the Ricci-flow on manifolds, in: International Journal of Geometric Methods in Modern Physics, (IJGMMP), v.10, No.4 (2013) 1320003 (9 pages), World Scientific Publishing Company, Singapore (IF: 0.951).
  • Seremet V. Exact elementary Green’s functions and integral formulas in thermoelasticity for a half-wedge, J. Eng. Mech., 2012, July, Number 7, 24p.; Journal ISSN: 0733-9399; website: http://ascelibrary.org/emo/ (IF: 0.956).
  • Alhazov A., Antoniotti M., Leporati A. Characterizing the Computational Power of Energy-Based P Systems. International Journal of Computer Mathematics 90(4), 2013, 789-800. http://www.tandfonline.com/doi/full/10.1080/00207160.2012.741781
  • (IF: 0.499).
  • Alhazov A., Boian E., Cojocaru S., Colesnicov A., Malahov L., Petic M., Rogozhin Yu. A P System Parsing Word Derivatives. Lecture Notes in Computer Science, 7956 (2013), 246 -247 ) (IF: 0.402).
  • Alhazov, A., Rogozhin, Yu. One-Membrane Symport with Few Extra Symbols. International Journal of Computer Mathematics 90(4), 2013, 750-759. http://www.tandfonline.com/doi/abs/10.1080/00207160.2012.741683 (IF: 0.499).
  • Alhazov A., Rogozhin Yu., Verlan S. On Small Universal Splicing Systems. International Journal of Foundations of Computer Science, 23, 7, 2012, 1423-1438 (IF: 0.416).
  • Alhazov A., Freund R., Heikenwälder H., Oswald M., Rogozhin Yu., Verlan S. Sequential P Systems with Regular Control. In: E. Csuhaj-Varjú, M. Gheorghe, G. Rozenberg, A. Salomaa, Gy. Vaszil: Membrane Computing - 13th International Conference ( IF: 0.402).
  • Alhazov A., Freund R. Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN. In: E. Csuhaj-Varjú, M. Gheorghe, G. Rozenberg, A. Salomaa, Gy. Vaszil: Membrane Computing - 13th International Conference, CMC13, Budapest, Lecture Notes in Computer Science, vol. 7762, 2013, 101-111 (IF: 0.402).
  • Fernau H., Freund R., Ivanov S., Schimd M. L., Subramanian K. G. Array Insertion and Deletion P Systems. Lecture Notes in Computer Science, 7956 (2013) 67 – 78 (IF: 0.402).
  • Rogozhin Yu., Alhazov A. Turing Computability and Membrane Computing. In: E. Csuhaj-Varjú, M. Gheorghe, G. Rozenberg, A. Salomaa, Gy. Vaszil: Membrane Computing - 13th International Conference, CMC13, Budapest, Lecture Notes in Computer Science, vol. 7762, 2013, 56-77 (IF: 0.402).
  • Rybakin B., Goryachev V. The supersonic shock wave interaction with low-density gas bubble. Journal Acta Astronautica. Ed. Elsevier, Online 2013, 94(2014), 749-753. ISSN 0094-5765. (IF:0.701).

Istoria IMI