Концепция формализации и программной реализации ИТ-задач: анализ, модель, алгоритмизация, инженерия; Известия Томского политехнического университета [Известия ТПУ]. Промышленная кибернетика; Т. 3, № 4
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]. Промышленная кибернетика: рецензируемый научный журнал/ Национальный исследовательский Томский политехнический университет.— .— Томск: ТПУ, 2023-.— 2949-5407 Т. 3, № 4.— 2025.— С. 21-28 |
|---|---|
| Այլ հեղինակներ: | , , , , |
| Ամփոփում: | Целью данной работы является развитие концепции и создание методологической основы перехода между ИТ-вызовами и их практической реализацией. Ключевым элементом предлагаемого подхода является концепция сквозной формализации ИТ-задач, устанавливающей взаимосвязь между этапами: постановка проблемы→математическая модель→вычислительное решение→промышленная реализация. Методологической основой такого перехода служит системное применение аппарата фундаментальной и прикладной математики, обеспечивающее научную обоснованность выбранных инженерных решений. Кроме того, уделяется внимание этапу верификации полученных моделей и оценке их готовности к программной реализации в условиях промышленной эксплуатации 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 Текстовый файл |
| Լեզու: | ռուսերեն |
| Հրապարակվել է: |
2025
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://earchive.tpu.ru/handle/11683/134848 https://doi.org/10.18799/29495407/2025/4/107 |
| Ձևաչափ: | Էլեկտրոնային Գրքի գլուխ |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=684335 |
MARC
| LEADER | 00000naa2a2200000 4500 | ||
|---|---|---|---|
| 001 | 684335 | ||
| 005 | 20260130134448.0 | ||
| 090 | |a 684335 | ||
| 100 | |a 20260120d2025 k||y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drcn ---uucaa | ||
| 200 | 1 | |a Концепция формализации и программной реализации ИТ-задач: анализ, модель, алгоритмизация, инженерия |d Formalization concept and software implementation of IT problems: analysis, model, algorithmization, engineering |z eng |f Е. А. Кочегурова, О. Н. Ефремова, О. Н. Имас [и др.] | |
| 320 | |a Список литературы: с. 27 (12 назв.) | ||
| 330 | |a Целью данной работы является развитие концепции и создание методологической основы перехода между ИТ-вызовами и их практической реализацией. Ключевым элементом предлагаемого подхода является концепция сквозной формализации ИТ-задач, устанавливающей взаимосвязь между этапами: постановка проблемы→математическая модель→вычислительное решение→промышленная реализация. Методологической основой такого перехода служит системное применение аппарата фундаментальной и прикладной математики, обеспечивающее научную обоснованность выбранных инженерных решений. Кроме того, уделяется внимание этапу верификации полученных моделей и оценке их готовности к программной реализации в условиях промышленной эксплуатации | ||
| 330 | |a 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 | ||
| 336 | |a Текстовый файл | ||
| 461 | 1 | |0 672190 |9 672190 |t Известия Томского политехнического университета [Известия ТПУ]. Промышленная кибернетика |o рецензируемый научный журнал |f Национальный исследовательский Томский политехнический университет |c Томск |n ТПУ |d 2023- |x 2949-5407 | |
| 463 | 1 | |0 684301 |9 684301 |t Т. 3, № 4 |d 2025 |v С. 21-28 | |
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a ИТ-задача | |
| 610 | 1 | |a формализация и абстракция | |
| 610 | 1 | |a фундаментальная и прикладная математика | |
| 610 | 1 | |a ИТ-реализация | |
| 610 | 1 | |a IT problem | |
| 610 | 1 | |a formalization and abstraction | |
| 610 | 1 | |a fundamental and applied mathematics | |
| 610 | 1 | |a IT implementation | |
| 701 | 1 | |a Кочегурова |b Е. А. |c специалист в области информатики и вычислительной техники |c доцент Томского политехнического университета, кандидат технических наук |f 1958- |g Елена Алексеевна |9 12640 | |
| 701 | 1 | |a Ефремова |b О. Н. |c математик |c доцент Томского политехнического университета, кандидат наук |f 1965- |g Оксана Николаевна |9 12393 | |
| 701 | 1 | |a Имас |b О. Н. |c математик |c доцент Томского политехнического университета, кандидат физико-математических наук |f 1967- |g Ольга Николаевна |9 14079 | |
| 701 | 1 | |a Шерстнёва |b А. И. |c математик |c доцент Томского политехнического университета, кандидат физико-математических наук |f 1974- |g Анна Игоревна |9 12892 | |
| 701 | 1 | |a Цапко |b С. Г. |c специалист в области информатики и вычислительной техники |c доцент Томского политехнического университета, заведующий лабораторией, кандидат технических наук |f 1973- |g Сергей Геннадьевич |9 12642 | |
| 801 | 0 | |a RU |b 63413507 |c 20260120 | |
| 850 | |a 63413507 | ||
| 856 | 4 | 0 | |u https://earchive.tpu.ru/handle/11683/134848 |z https://earchive.tpu.ru/handle/11683/134848 |
| 856 | 4 | 0 | |u https://doi.org/10.18799/29495407/2025/4/107 |z https://doi.org/10.18799/29495407/2025/4/107 |
| 942 | |c CF | ||