Systems and Means of Informatics

2022, Volume 32, Issue 1, pp 104-113

S-MODELING METHODOLOGY: DEVELOPMENT AND APPLICATION

V. D. Ilyin

Abstract

The methodology of symbolic modeling of arbitrary objects in the human-machine environment (s-modeling methodology) includes the theory and an expanding set of methods for its application. S-modeling uses all kinds of symbols (audio, visual, etc.) implementable in the human-machine environment of s-modeling (s-environment). S-models are studied as entities having three interrelated representations in the s-environment: symbolic, code, and signal.
The construction of s-models is carried out according to the rules corresponding to the classes of basic s-modeling tasks. The s-modeling methodology is considered as a methodological platform for the scientifically based development of information technologies and s-environment for digitalization of various types of activities.

[+] References (30)

Ilyin, V. D. 1989. Sistema porozhdeniya programm [The system of program generating]. Moscow: Nauka. 264 p.
Tsoy, E. V., A. D. Yudin, and D. B. Yudin. 1994. Problems of supplementation and synthesis of knowledge. Automat. Rem. Contr. 55(7):927-953.
Kurgaev, A. F. 2002. Osnovnye napravleniya rabot po problemnoy orientatsii komp'yuternykh kompleksov [Main directions of work on the problem orientation of computer systems]. Matematicheskie mashiny i sistemy [Mathematical Machines and Systems] 2:10-28.
Skripkin, S.K., and T.N. Vorozhtsova. 2006. Sovremennye metody metaprogrammirovaniya i ikh perspektivy [Modern methods of metaprogramming and their prospects]. Vestnik Irkutskogo gos. tekhn. un-ta [Proceedings of Irkutsk State Technical University] 2-3(26):90-97.
Klachek, P. M., K. L. Polupan, S. I. Koryagin, and I. V. Liberman. 2018. Gibridnyy vychislitel'nyy intellect [Hybrid computational intelligence]. Kaliningrad: IKBFU Publs. 191 p.
Dorenskaya, E. A., A. A. Kulikovskaya, and Yu. A. Semenov. 2020. Yazyk opisaniya problemy i issledovanie ego vozmozhnostey [Exploring possibilities of language for describing the problem]. Sovremennye informatsionnye tekhnologii i IT-obrazovanie [Modern Information Technologies and IT Education] 16(3):653-663.
Fedorov, A. A., I. V. Liberman, S. I. Koryagin, et al. 2021. Osnovy sozdaniya neyro- tsifrovykh ekosistem: Gibridnyy vychislitel'nyy intellekt [Fundamentals of creating neuro-digital ecosystems: Hybrid computational intelligence]. Kaliningrad: IKBFU Publs. 241 p.
Kryuchkov, A. V., and Yu. P. Stepin. 2021. Kontseptual'nye osnovy sistemy bez programmirovaniya i ee vozmozhnoe primenenie dlya importozameshcheniya v protsessakh razrabotki spetsial'nogo programmnogo obespecheniya ASUP [Conceptual foundations of the system without programming and its possible application for import substitution in the development of special software]. Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftyanoy promyshlennosti [Automation, Telemechanization and Communication in Oil Industry] 9(578):60-68.
Ilyin, V. D. 2019. Model' kooperativnogo reshatelya zadach na osnove tsifrovykh dvoynikov [The model of the cooperative problem solver based on digital twins]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 29(2): 172-179. doi: 10.14357/08696527190215.
Ilyin, V. D., and I. A. Sokolov. 2007. Simvol'naya model' sistemy znaniy informatiki v cheloveko-avtomatnoy srede [The symbolic model of informatics knowledge system in a human-automaton environment]. Informatika i ee Primeneniya - Inform. Appl. 1(1):66-78.
Ilyin, A.V., and V.D. Ilyin. 2009. Osnovy teorii s-modelirovaniya [Basics of the theory of s-modeling]. Moscow: IPI RAN. 144 p.
Ilyin, A.V., and V.D. Ilyin. 2010. S-modelirovanie ob"ektov informatizatsii [S-modeling of informatization objects]. Moscow: IPI RAN. 412 p.
Ilyin, A.V., and V.D. Ilyin. 2011. Simvol'noe modelirovanie v informatike [The symbol modeling in informatics]. Moscow: IPI RAN. 204 p.
Ilyin, A. V., and V. D. Ilyin. 2016. Sozdanie cheloveko-mashinnoy sredy resheniya zadach [Creation of a human-machine environment for problem solving]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 26(4): 149-161.
Zheltov, P. V. 2013. Postroenie sintaksicheskoy struktury predlozheniya s pomoshch'yu simvol'nogo reshatelya [Building the syntactic structure of a sentence using a symbolic solver]. Vestnik Kazanskogo gos. tekhn. un-ta im. A. N. Tupoleva [Bulletin of the Kazan State Technical University named after A. N. Tupolev] 2-1:116-120.
Kravchenko, V. A., andD. Sh. Shirapov. 2018. Logic-functional modeling of nonlinear radio engineering systems. Multi-Conference (International) on Industrial Engineering and Modern Technologies Proceedings. Piscataway, NJ: IEEE. Art. 8602769. 6 p. doi: 10.1109/FarEastCon. 2018.8602769.
Shvalov, D.V., V.A. Kravchenko, and D. Sh. Shirapov. 2019. Automated logic- mathematical modeling of railway automation devices technical condition. MultiConference (International) on Industrial Engineering and Modern Technologies Proceedings. Piscataway, NJ: IEEE. Art. 8934943. 7 p. doi: 10.1109/FarEastCon.2019. 8934943.
Losev, K. Yu. 2021. Informatsionnye osobennosti zhiznennogo tsikla zdaniy i sooruzheniy [Information features of the life cycle of buildings and structures]. Eurasian Scientific J. 13(1):8. 8 p.
Zhirnov, V.V., and S.V. Solonskaya. 2021. Metod preobrazovaniya simvol'nykh radarnykh otmetok malozametnykh podvizhnykh ob"ektov na osnove effekta Tal'bota [Method for converting symbolic radar markers of inconspicuous moving objects based on the Talbot effect]. Radiotekhnika [Radiotechnics] 2(205): 129-137. doi: 10.30837/rt.2021.2.205.14.
Ilyin, A.V., and V.D. Ilyin. 2004. Interaktivnyy preobrazovatel' resursov s izmenyaemymi pravilami povedeniya [Interactive resource converter with customisable rules of behavior]. Informatsionnye tekhnologii i vychislitel'nye sistemy [J. Information Technologies and Computing Systems] 2:67-77.
Ilyin, A.V. 2013. Ekspertnoe planirovanie resursov [Expert resource planning]. Moscow: IPI RAN. 58 p.
Ilyin, A.V., and V.D. Ilyin. 2015. Informatizatsiya ekonomicheskogo mekhanizma [Informatization of economic mechanism]. Moscow: IPI RAN. 130 p.
Ilyin, A. V., and V. D. Ilyin. 2016. Variational online budgeting taking into account the priorities of expense items. Agris on-line Papers in Economics and Informatics 8(3):51-56. doi: 10.7160/aol.2016.080305.
Ilyin, V. D. 2016. Normalizatsiya bankovskikh onlayn-servisov [Normalization of online banking services]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 26(2): 147-157. doi: 10.14357/08696527160210.
Ilyin, V. D. 2018. Tekhnologiya naznachennykh platezhey v srede tsifrovykh dvoynikov [Designated payments technology in digital twins environment]. Systemy i Sredstva Informatiki - Systems and Means of Informatics 28(3):227-235. doi: 10.14357/ 08696527180318.
Gel'rud, Ya. D., and O. V. Loginovskiy. 2015. Upravlenie proektami: metody, modeli, sistemy [Project management: Methods, models, and systems]. Chelyabinsk: YuUrGU. 330 p.
Bauer, V.P., V.V. Eremin, S.N. Silvestrov, and V.V. Smirnov. 2019. Ekonomicheskoe modelirovanie protsessov tsifrovoy transformatsii [Economic modeling of digital transformation processes]. Zh. ekonomicheskoy teorii [Russ. J. of Economic Theory] 16(3):428-443. doi: 10.31063/2073-6517/2019.16-3.11.
Kikavets, V. V., and Y. K. Tsaregradskaya. 2020. The implementation of principles of the budget process in the financing of public procurement in the digital economy. Artificial intelligence: Anthropogenic nature vs. social origin. Eds. E. Popkova and B. Sergi. Advances in intelligent systems and computing ser. Springer. 1100:28-35.
Sil'vestrov, S.N., V. P. Bauer, V.V. Eremin, and N. V. Lapenkova. 2020. Otsifrovoy transformatsii predpriyatiya v kontekste sistemnoy ekonomicheskoy teorii [About digital transformation of the enterprise in the context of systemic economic theory]. Ekonomi- cheskaya nauka sovremennoy Rossii [Economics of Contemporary Russia] 2(89):22-45.
Biryukov, A.N. 2021. Byudzhetirovanie kak instrument ipotechnoy kreditnoy programmy banka [Budgeting as a tool of the bank's mortgage loan program]. Nauchnoe obozrenie: teoriya i praktika [Scientific Review: Theory and Practice] 11(3(83)):794- 805.

[+] About this article