Skip to main content
SpringerLink
Log in

Automatic Synthesis of Multilevel Automata Models of Biological Objects

  • Conference paper
  • First Online:
Book cover Computational Science and Its Applications – ICCSA 2019 (ICCSA 2019)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11620))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Kotseruba, I., Tsotsos, J.A: Review of 40 years of cognitive architecture research: core cognitive abilities and practical applications. Artif. Intell. Rev. (2018)

    Google Scholar 

  2. Goertzel, B., Lian, R., Arel, I., Garis, H., Chen, S.A.: World survey of artificial brain projects, Part II: biologically inspired cognitive architectures. J. Neurocomput. Arch. 74(1–3), 30–49 (2010)

    Article  Google Scholar 

  3. Robinson, J.A.: A machine – oriented logic based on resolution principle. J. ACM 12, 23–41 (1965)

    Article  MathSciNet  Google Scholar 

  4. Chang, C., Lee, R.: Symbolic Logic and Mechanical Theorem Proving. Academic, New York (1973)

    MATH  Google Scholar 

  5. Maslov, SYu.: Teoria deduktivnykh system ieeprimeneniya (Theory of Deductive Systems and Its Applications). Radio I Svyaz’, Moscow (1986)

    Google Scholar 

  6. Tyugu, E.Kh., Kharf, M.Ya.: Algorithms for structural synthesis of programs. Programmirovanie 4, 3–13 (1980)

    MATH  Google Scholar 

  7. Giacomo, G., Patrizi, F., Sardina, S.: Automatic behavior composition synthesis. Artif. Intell. 196, 106–142 (2013)

    Article  MathSciNet  Google Scholar 

  8. Kreitz, C.: Program synthesis. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction – A Basis for Application, pp. 105–134. Kluwer Publ., Dordrecht (1998)

    Chapter  Google Scholar 

  9. Avellone, A., Ferrari, M., Miglioli, P.: Synthesis of programs in abstract data types. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, pp. 81–100. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48958-4_5

    Chapter  MATH  Google Scholar 

  10. Srivastava, S., Gulwani, S., Foster, J.S.: Template – based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. 15(5), 497–518

    Google Scholar 

  11. Tahat, A., Ebnenasir, A.: A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols. In: Proietti, M., Seki, H. (eds.) LOPSTR 2014. LNCS, vol. 8981, pp. 201–218. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-17822-6_12

    Chapter  MATH  Google Scholar 

  12. Kant, E.: On the efficient synthesis of efficient programs. Artif. Intell. 20(3), 253–305 (1983)

    Article  Google Scholar 

  13. Bibel, W., et al.: A multi-level approach to program synthesis. In: Fuchs, Norbert E. (ed.) LOPSTR 1997. LNCS, vol. 1463, pp. 1–27. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-49674-2_1

    Chapter  Google Scholar 

  14. Fu, P., Komendantskaya, E.: A type-theoretic approach to resolution. In: Falaschi, M. (ed.) LOPSTR 2015. LNCS, vol. 9527, pp. 91–106. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-27436-2_6

    Chapter  Google Scholar 

  15. Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publications (2006)

    Google Scholar 

  16. Osipov, V., Osipova, M.: Space-time signal binding in recurrent neural networks with controlled elements. Neurocomputing 308, 194–204 (2018)

    Article  Google Scholar 

  17. Osipov, VYu.: Automatic synthesis of action programs for intelligent robots. Program. Comput. Softw. 42(3), 155–160 (2016)

    Article  MathSciNet  Google Scholar 

  18. Osipov, V., Lushnov, M., Stankova, E., Vodyaho, A., Zukova, N.: Inductive synthesis of the models of biological systems according to clinical trials. In: Gervasi, O., et al. (eds.) ICCSA 2017. LNCS, vol. 10404, pp. 103–115. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-62392-4_8

    Chapter  Google Scholar 

  19. Osipov, V., Zhukova, N., Vodyaho, A., Kalmatsky, A., Mustafin, N.: Towards building of cable TV content-sensitive adaptive monitoring and management systems. Int. J. Comput. Commun. 11, 75–81 (2017)

    Google Scholar 

  20. Anokhin, P.K.: Sketches on physiology of systems of functions. M.: Medicine, 448 p. (1975). (In Russian)

    Google Scholar 

  21. Lushnov, A.M., Lushnov, M.S. Medical information systems: multidimensional analysis of medical and ecological data. St. Petersburg, Helicon Plus, 460 p. (2013). (In Russian)

    Google Scholar 

  22. Kupershtokh, V.L., Mirkin, B.G., Trofimov of V.A. Summ of intercommunications as index of quality of classification. Automatic equipment and telemechanics 3, 133–141 (1976). (In Russian)

    Google Scholar 

  23. Teodorescu, D., Teodorescu, R.: Autoregressive time series analysis via representatives. Biol. Cybern. 51, 79–86 (1984)

    Article  MathSciNet  Google Scholar 

  24. Stankova, E.N., Balakshiy, A.V., Petrov, D.A., Shorov, A.V., Korkhov, V.V.: Using technologies of OLAP and machine learning for validation of the numerical models of convective clouds. In: Gervasi, O., et al. (eds.) ICCSA 2016. LNCS, vol. 9788, pp. 463–472. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42111-7_36

    Chapter  Google Scholar 

  25. Stankova, E.N., Ismailova, E.T., Grechko, I.A.: Algorithm for processing the results of cloud convection simulation using the methods of machine learning. In: Gervasi, O., et al. (eds.) ICCSA 2018. LNCS, vol. 10963, pp. 149–159. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-95171-3_13

    Chapter  Google Scholar 

  26. Stankova, E.N., Balakshiy, A.V., Petrov, D.A., Korkhov, V.V.: OLAP technology and machine learning as the tools for validation of the numerical models of convective clouds Int. J. Business Intell. Data Min. 14(1/2), 254–266 (2019). ISSN online 1743-8195 ISSN print 1743-8187 https://doi.org/10.1504/ijbidm.2019.096793

Download references

Author information

Authors and Affiliations

  1. St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences, St. Petersburg, Russia

    Vasiliy Osipov & Nataly Zhukova

  2. St. Petersburg State University, St. Petersburg, Russia

    Elena Stankova

  3. St. Petersburg State Electrotechnical University, St. Petersburg, Russia

    Alexander Vodyaho & Yulia Shichkina

  4. Almazov National Medical Research Centre, St. Petersburg, Russia

    Mikhail Lushnov

Authors
  1. Vasiliy Osipov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elena Stankova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Vodyaho
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mikhail Lushnov
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Yulia Shichkina
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Nataly Zhukova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yulia Shichkina .

Editor information

Editors and Affiliations

  1. Covenant University, Ota, Nigeria

    Sanjay Misra

  2. University of Perugia, Perugia, Italy

    Osvaldo Gervasi

  3. University of Basilicata, Potenza, Italy

    Beniamino Murgante

  4. Saint Petersburg State University, Saint Petersburg, Russia

    Elena Stankova

  5. Saint Petersburg State University, Saint Petersburg, Russia

    Vladimir Korkhov

  6. Polytechnic University of Bari, Bari, Italy

    Carmelo Torre

  7. University of Minho, Braga, Portugal

    Ana Maria A.C. Rocha

  8. Monash University, Clayton, VIC, Australia

    David Taniar

  9. Kyushu Sangyo University, Fukuoka, Japan

    Bernady O. Apduhan

  10. Polytechnic University of Bari, Bari, Italy

    Eufemia Tarantino

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Osipov, V., Stankova, E., Vodyaho, A., Lushnov, M., Shichkina, Y., Zhukova, N. (2019). Automatic Synthesis of Multilevel Automata Models of Biological Objects. In: Misra, S., et al. Computational Science and Its Applications – ICCSA 2019. ICCSA 2019. Lecture Notes in Computer Science(), vol 11620. Springer, Cham. https://doi.org/10.1007/978-3-030-24296-1_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-24296-1_35

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-24295-4

  • Online ISBN: 978-3-030-24296-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation