Journal Information-measuring and Control Systems №5 for 2024 year
WAYS OF EVALUATION OF EFFICIENCY OF OPERATION IN INFORMATION-MEASUREMENT AND CONTROL SYSTEMS
Extending the TOPSIS method to support decision making in GIS based on elements of category theory

B.I. Ulitin1, E.A. Babkin2, S.V. Zykov3

1-3 HSE University (Moscow, Russia)

1 bulitin@hse.ru, 2 eababkin@hse.ru, 3 szykov@hse.ru

6-13
Accounting mutual trust when choosing a supplier as part of the digital transformation of sociotechnical systems

E.A. Babkin1, B.I. Ulitin2, S.V. Zykov3

1-3 HSE University (Moscow, Russia)

1 eababkin@hse.ru, 2 bulitin@hse.ru, 3 szykov@hse.ru

14-22
Digitalization crisis and object modeling: development approaches to construct robust software systems

S.V. Zykov1

1 HSE University (Moscow, Russia)

1 szykov@hse.ru

23-30
PRINCIPLES OF CONSTRUCTION OF MULTI-PURPOSE INFORMATION-MEASUREMENT SYSTEMS
Review and comparative analysis of methods of constructing terms in combinatory logic

R.V. Dushkin1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 rvdushkin@mephi.ru

31-38
Domain-specific type systems in the church and curry formalism

L.Yu. Ismailova1, S.V. Kosikov2

1 National Research Nuclear University MEPhI (Moscow, Russia)

2 LLC "JurInfoR" (Moscow, Russia)

1 LYIsmailova@mephi.ru, 2 kosikov.s.v@gmail.com

39-45
Categorical model of discrete deterministic process interaction of an object and an environment

I.O. Slieptsov1

1 LCC "JurInfoR" (Moscow, Russia)

1 igor.slieptsov@mail.com

46-55
Developing information and intelligent systems using applicative and semantic technologies

V.V. Roslovtsev1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 vvroslovtsev@mephi.ru

56-68
Combined system for logical inference and dynamic verification of software component specifications

P.A. Shapkin1, A.N. Inozemtsev2

1–2 National Research Nuclear University MEPhI (Moscow, Russia)

1 pashapkin@mephi.ru, 2 inozemtsev.alex@outlook.com

69-79
A natural language search system for specified software components

P.A. Shapkin1, A.D. Sidorov2

1,2 National Research Nuclear University MEPhI (Moscow, Russia)

1pashapkin@mephi.ru, 2adsidoroff@gmail.com

80-87
ARTIFICIAL INTELLIGENCE METHODS IN INFORMATION-MEASUREMENT AND CONTROL SYSTEMS
mPyPl: functional monadic approach to data processing in deep learning

D.V. Soshnikov1

1National Research University Higher School of Economics (Moscow, Russia)

1Moscow Aviation Institute – National Research University (Moscow, Russia)

1dmitri@soshnikov.com

88-96
Method of conducting competitions of artificial intelligence systems in medicine

G.S. Lebedev1, E.N. Fartushniy2, O.A. Novikova3, I.V. Fomina4

1-3 I.M. Sechenov First Moscow State Medical University (Moscow, Russia)

1,4 Federal Research Institute for Health Organization and Informatics (Moscow, Russia)

1lebedev_g_s@staff.sechenov.ru, 2fartushniy_e_n@staff.sechenov.ru, 3novikova_o_a@staff.sechenov.ru, 4fomina@inbox.ru

97-104