Том 3 № 4 (2025): Промышленная кибернетика
DOI https://doi.org/10.18799/29495407/2025/4/107
Концепция формализации и программной реализации ИТ-задач: анализ, модель, алгоритмизация, инженерия
Целью данной работы является развитие концепции и создание методологической основы перехода между ИТ-вызовами и их практической реализацией. Ключевым элементом предлагаемого подхода является концепция сквозной формализации ИТ-задач, устанавливающей взаимосвязь между этапами: постановка проблемы → математическая модель → вычислительное решение → промышленная реализация. Методологической основой такого перехода служит системное применение аппарата фундаментальной и прикладной математики, обеспечивающее научную обоснованность выбранных инженерных решений. Кроме того, уделяется внимание этапу верификации полученных моделей и оценке их готовности к программной реализации в условиях промышленной эксплуатации.
Ключевые слова:
ИТ-задача, формализация и абстракция, фундаментальная и прикладная математика, ИТ-реализация
Библиографические ссылки:
СПИСОК ЛИТЕРАТУРЫ
1. Olivé A. Conceptual modeling of information systems. – Berlin, Heidelberg: Springer, 2007. – 455 p. DOI: doi.org/10.1007/978-3-540-39390-0.
2. Jackson M.A. Problem frames: analysing and structuring software development problems. – USA: Addison-Wesley, 2001. – 390 p.
3. Dubois C., Prevosto V., Burel G. Teaching formal methods to future engineers // Formal Methods Teaching. FMTea. Lecture Notes in Computer Science / Eds. B. Dongol, L. Petre, G. Smith. – Cham: Springer, 2019. – Vol. 11758. DOI: doi.org/10.1007/978-3-030-32441-4_5.
4. Моисеев Н.Н. Математические задачи системного анализа. – М.: ЛЕНАНД, 2023. – 609 с.
5. Благовар А. Обзор математики для начинающего ML-инженера // Habr. – 21 сентября 2025. URL: https://habr.com/ru/articles/942114/ (дата обращения: 15.12.2025).
6. Пестриков В.М. Математические методы в инженерии. – СПб.: ВШТЭ СПбГУПТД, 2023. – 158 с.
7. Мышкис А.Д. Прикладная математика для инженеров. Специальные курсы. 3-е изд. – М.: ФИЗМАТЛИТ, 2016. – 688 с.
8. Современные методы оптимизации и особенности их применения / С.М. Бекетов, Д.А. Зубкова, А.М. Гинцяк, Ж.В. Бурлуцкая, С.Г. Редько // Russian Technological Journal. – 2025. – Т. 13. – № 4. – С. 78–94. DOI: doi.org/10.32362/2500-316X-2025-13-4-78-94.
9. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы: построение и анализ. 2-е изд. – М.: ИД «Вильямс», 2011. – 1296 с.
10. Окулов С.М. Программирование в алгоритмах. – М.: БИНОМ. Лаборатория знаний, 2002. – 341 c.
11. Ousterhout J. A Philosophy of Software Design. – Palo Alto, CA: Yaknyam Press, 2021. – 188 p.
12. Kleppmann M. Designing data-intensive applications: the big ideas behind reliable, scalable, and maintainable systems. – Sebastopol: O'Reilly Media, 2017. – 614 p.
REFERENCES
1. Olivé A. Conceptual modeling of information systems. Berlin, Heidelberg, Springer, 2007. 455 p. DOI: doi.org/10.1007/978-3-540-39390-0.
2. Jackson M.A. Problem frames: analysing and structuring software development problems. USA, Addison-Wesley, 2001. 390 p.
3. Dubois C., Prevosto V., Burel G. Teaching formal methods to future engineers. Formal Methods Teaching. FMTea. Lecture Notes in Computer Science. Eds. B. Dongol, L. Petre, G. Smith. Cham, Springer, 2019. Vol 11758. DOI: doi.org/10.1007/978-3-030-32441-4_5.
4. Moiseev N.N. Mathematical problems of systems analysis. Moscow, LENAND Publ., 2023. 609 p. (In Russ.)
5. Blagovar A. A review of mathematics for a novice ML engineer. Habr, 2025, September 21. Available at: https://habr.com/ru/articles/942114/ (accessed 15 December 2025).
6. Pestrikov V.M. Mathematical methods in engineering. St Petersburg, VShTE SPbGUPTD Publ., 2023. 158 p.
7. Myshkis A.D. Applied mathematics for engineers. Special courses. 3rd ed. Moscow, FIZMATLIT Publ., 2016. 688 p.
8. Beketov S.M., Zubkova D.A., Gintsyak A.M., Burlutskaya Zh.V., Redko S.G. Modern optimization methods and features of their application. Russian Technological Journal, 2025, vol. 13, no. 4, pp. 78–94. DOI: doi.org/10.32362/2500-316X-2025-13-4-78-94.
9. Cormen T., Leiserson C., Rivest R., Stein K. Algorithms: Construction and Analysis. 2nd ed. Moscow, Williams Publ. House, 2011. 1296 p. (In Russ.)
10. Okulov S.M. Programming in algorithms. Moscow, BINOM. Laboratory of knowledge, 2002. 341 p. (In Russ.)
11. Ousterhout J. A Philosophy of software design. Palo Alto, CA, Yaknyam Press, 2021. 188 p.
12. Kleppmann M. Designing data-intensive applications: the big ideas behind reliable, scalable, and maintainable systems. Sebastopol, O'Reilly Media, 2017. 614 p.
