No. 4 (2020): Mathematical Machines and Systems. 2020 #4

Published: 2020-12-01

COMPUTER SYSTEMS

• V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems

  Lyaletski O.V.

  3–10

  • PDF (Ukrainian)

• Polyagent functionals in information technologies of intelligent monitoring

  Holub S.V., Kunitskaya S.Yu.

  11–19

  • PDF (Ukrainian)

• Analytical support of the procedural decision-making process

  Agayev F.B.

  20–32

  • PDF (Ukrainian)

INFORMATION AND TELECOMMUNICATION TECHNOLOGY

• Conceptual design of an automated control system for a group of unmanned aerial vehicles using the method of category analysis

  Dodonov O.G., Nikiforov O.V., Putiatіn V.G.

  33–48

  • PDF (Ukrainian)

• Simulating Distributed and Global Consciousness under Spatial Grasp Paradigm

  Sapaty P.S.

  49–61

  • PDF (Ukrainian)

• Development features and the role of glossaries in the creation of military IT-projects

  Hrechaninov V.F., Yeremenko T.K., Pylypenko Yu.G.

  62–73

  • PDF (Ukrainian)

• Module pattern of the information web-system interface

  Ratov D.V.

  74–81

  • PDF (Ukrainian)

SIMULATION AND MANAGEMENT

• The method of secondary sources in electrical engineering science and ill-conditioned matrices

  Voloboev V.P., Klymenko V.P.

  82–94

  • PDF (Ukrainian)

• Automated control of rolling modes on plate mills

  Ievlev M.G.

  95–112

  • PDF (Ukrainian)

• Fighting Global Viruses under Spatial Grasp Technology

  Sapaty P.S., Finkelstein R.

  113–124

  • PDF (Ukrainian)

• New method for fire risk assessment

  Begun V.V., Potetiuiev S.Yu.

  125–135

  • PDF (Ukrainian)

• Necessary optimality conditions of control of stochastic compound dynamic system in case of full information about state vector

  Alekseeva I.V., Lysenko O.I., Tachinina O.M.

  136–147

  • PDF (Ukrainian)

QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

• Methodological foundations for the construction of secure reliable information systems for distance learning in higher educational institutions

  Gulak G.M.

  148–162

  • PDF (Ukrainian)