Концепция формализации и программной реализации ИТ-задач: анализ, модель, алгоритмизация, инженерия

Abstract

Целью данной работы является развитие концепции и создание методологической основы перехода между ИТ-вызовами и их практической реализацией. Ключевым элементом предлагаемого подхода является концепция сквозной формализации ИТ-задач, устанавливающей взаимосвязь между этапами: постановка проблемы→математическая модель→вычислительное решение→промышленная реализация. Методологической основой такого перехода служит системное применение аппарата фундаментальной и прикладной математики, обеспечивающее научную обоснованность выбранных инженерных решений. Кроме того, уделяется внимание этапу верификации полученных моделей и оценке их готовности к программной реализации в условиях промышленной эксплуатации

The aim of the paper is to develop a concept and create a methodological basis for transition between IT challenges and their practical implementation. A key element of the proposed approach is the concept of end-to-end formalization of IT tasks, establishing a relationship between the following stages: problem statement→mathematical model→computational solution→in-dustrial implementation. The methodological basis for this transition is the systematic application of fundamental and applied mathematics, ensuring the scientific validity of the engineering decisions made. Furthermore, attention is paid to the verification stage of the resulting models and assessment of their readiness for software implementation in industrial conditions