• Vasiliy Osipov
  • Elena Stankova
  • Alexander Vodyaho
  • Mikhail Lushnov
  • Yulia Shichkina
  • Nataly Zhukova

In the paper the problem of high computational complexity of synthesis is discussed. Existing models and methods of synthesis don’t allow build models of biological objects and systems. The complexity can be significantly reduced due to considering multilevel objects models instead of single level models. The new problem statement for multilevel synthesis is given. To build the models a new method based on inductive and deductive approaches is proposed. To describe the new multilevel models of the objects the theory of automata models is extended to the case of multilevel relatively finite operational automata models. Results of modeling of dynamics of the acid-base state in cavernous sinus of patients with cardiac surgical pathology during the postoperative period in the operating room and in the cardio-resuscitation unit are given.

Original languageEnglish
Title of host publicationComputational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings
EditorsSanjay Misra, Carmelo Torre, Eufemia Tarantino, Bernady O. Apduhan, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Ana Maria A.C. Rocha, David Taniar
PublisherSpringer Nature
Pages441-456
Number of pages16
ISBN (Print)9783030242954
DOIs
StatePublished - 1 Jan 2019
Event19th International Conference on Computational Science and Its Applications, ICCSA 2019 - Saint Petersburg, Russian Federation
Duration: 1 Jul 20194 Jul 2019
Conference number: 19

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11620 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th International Conference on Computational Science and Its Applications, ICCSA 2019
Abbreviated titleICCSA 2019
Country/TerritoryRussian Federation
CitySaint Petersburg
Period1/07/194/07/19

    Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

    Research areas

  • Automatic synthesis, Biological objects, Multilevel automata

ID: 47608118