КОНЦЕПТУАЛЬНА МОДЕЛЬ ТЕХНОЛОГІЧНОГО СЕРЕДОВИЩА ПРОГРАМУВАННЯ

Ihor V. Redko; Petro O. Yahanov

doi:10.20535/kpi-sn.2020.1.197953

Т. · № 1 · 2020 бер 5, 2020 статті

КОНЦЕПТУАЛЬНА МОДЕЛЬ ТЕХНОЛОГІЧНОГО СЕРЕДОВИЩА ПРОГРАМУВАННЯ

Ihor V. Redko Відповідальний Igor Sikorsky Kyiv Polytechnic Institute, Ukraine Україна

Petro O. Yahanov Igor Sikorsky Kyiv Polytechnic Institute, Ukraine Україна

Опублікованобер 5, 2020

PDF

НВКПІ 1 ТОМ · 1

ТОМ · № 1 · 2020 Переглянути випуск

Анотація

Проблематика. Зміст розглядуваної концептуальної моделі розкритий через поняття "концепт", "монада" та засадниче для технологічного середовища програмування концептомонадне взаємодоповнення. Концептомонадне середовище є платформою, що реально імплементує розуміння програмування як суб’єкт-об’єктну продуктивну діяльність – взаємодоповнення процесу програмотворення і його наслідку в їх причинно-наслідковому зв’язку з домінуванням саме процесу. Це закладає основу для технологізації галузі та створення адаптивних і гнучких суб’єктоорієнтованих систем програмування. Можливості концептомонадної платформи продемонстровано на прикладі однієї з можливих її імплементацій – редукційної технології програмування. Мета дослідження . Подальший розвиток концептомонадних засад суб’єкт-об’єктного технологічного середовища, націлений на створення адаптивних і гнучких систем програмування. Методика реалізації. Методи введення, виключення абстракції та прагматико-обумовленої типізації, метод концептомонадної релятивізації, метод редукцій, метод програмних алгебр. Результати дослідження. Розвинуто понятійну систему концептомонадного технологічного середовища та створено на цій основі продуктивну модель редукційного середовища програмування. Запропоновано концептомонадну модель відкрито-замкненого середовища програмування. Вперше редукційні моделі програм та редукційні методи програмування розглянуті як прагматико-обумовлена конкретизація цього середовища. Показано, що в рамках отриманої концептомонадної системи коректно ставляться та вирішуються засадничі для сучасного програмування задачі та проблеми. Висновки. Будь-яка сучасна інформаційно-технологічна система повинна не стільки бути орієнтована на нотацію одержуваних рішень, скільки підтримувати (забезпечувати) продуктивну діяльність суб’єкта для їх отримання. Ефективна розробка таких систем можлива в рамках концептомонадного середовища, що володіє розвиненими засобами адаптації, орієнтованими на врахування активної ролі суб’єкта програмотворення.

Ключові слова

#Концепт #Монада #Композит #Редукція #Оракул

Посилання

D.E. Knut, The Art of Computer Programming. Fundamental Algorithms . Moscow, Russia: Vyliams, 2006, 650 p.
E. Husserl, Logical Studies. Cartesian Meditations. Sciences and Transcendental Phenomenology. Philosophy and the Crisis of European Man Philosophy . St. Petersburg, Russia: Nauka, 2006, 320 p.
I.V. Redko et al. , Conceptual-Logical Foundations of Design . Kyiv, Ukraine: Comprint, 2016, 154 p.
V. Redko, “The theory of descriptive environments and its application”, Ph.D. dissertation, Dept. Elect., National Technical University of Ukraine “Kyiv Polytechnic Institute”, Kyiv, Ukraine, 2008.
V.N. Redko and I.V. Redko, “Descriptive systems: Perspectives and retrospectives”, Vіsnik Kiїvs'kogo Natsіonal'nogo Unіversitetu іm. T. Shevchenka , sp. issue phys.-math. sci., pp. 68–75, 2004.
V.N. Redko et al. , “Conceptological foundations of essential platform”, in Proc. TAAPSD'2012 , Kyiv, Ukraine, Dec. 3–7, 2013.
B.A. Trakhtenbrot, Algorithms and Computational Mashines . Moscow, SU: Sovetskoe Radio, 1974, 200 p.
V.A. Ganov and V.R. Karymov. (2009). Computer Simulation of Computations with Oracles. Presented at the EAGU 2009 [Online]. Available: http://izvestia.asu.ru/2009/1/info-comp/07.en.html
A.I. Maltsev, Algorithms and Recursive Functions. Moscow, SU: Nauka, 1965 , 391 p.
J.W. Backus, “Algebra of functional programs: functional level thinking, linear equations and generalized definitions”, in Mathematical Logic in Programming . Moscow, Russia: Mir, 1991, pp. 8–53.
J. McCarthy. (1960). Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Presented at the Communication of the ACM 1960 [Online]. Available: https://aiplaybook.a16z.com/reference-material/mccarthy-1960.pdf
G . Buch, The Object-Oriented Analysis and Design , 2nd ed. Moscow, Russia: Binom, 1998, 560 p.
D.L. Parnas. (1972). On the Criteria to be Used in Decomposing Systems into Modules. Presented at the Communication of the ACM [Online]. Available: https://www.win.tue.nl/~wstomv/edu/2ip30/references/criteria_for_modularization.pdf
N. Wirth, “A Personal computer for the software engineer”, in Proc. ICSE 81 , San Diego, March 9–12, 1981.
V.N. Redko, “Foundations of programmology”, Kibernetika i Sistemnyj Analiz , no. 1, pp. 35–57, 2000.
H.P. Barendregt, The Lambda Calculus. Its Syntax and Semantics . Moscow, SU: Mir, 1985, 606 p.
V.N. Redko, “Compositions of programs and composite programming”, Programmirovanie , no. 5, pp. 3–24, 1978.
D.I. Redko et al. , “Compositional basis in programmer activity”, Systemni Doslidzhennia ta Informatsiini Tekhnolohii , no. 4, pp. 83–96, 2015.

Попередня у випуску СПАЛАХ ЕПІДЕМІЇ КОРОНАВІРУСУ В ЄВРОПІ. ПОРІВНЯННЯ З ДИНАМІКОЮ В МАТЕРИКОВОМУ КИТАЇ Наступна у випуску ЕФЕКТИВНА ТОЧНА МІНІМІЗАЦІЯ ЗАГАЛЬНОГО ЗАПІЗНЮВАННЯ У ЩІЛЬНОМУ ПРОГРЕСУЮЧОМУ ОДНОМАШИННОМУ ПЛАНУВАННІ РІВНОЦІННИХ ЗАВДАНЬ ІЗ ПЕРЕМИКАННЯМИ БЕЗ ПРОСТОЮ

§ 06 — Пов'язані

Схожі статті в цьому журналі

Пов'язані рецензовані дослідження, опубліковані в цьому журналі.

Усі випуски

МЕТОДИКА ПАРАМЕТРИЧНОГО СИНТЕЗУ ЗУМ-АФОКАЛЬНИХ СИСТЕМ НА ОСНОВІ НЕРУХОМИХ ВАРІОЛІНЗ

Ігор Г. Чиж

Проблематика Зум-оптичні системи, в яких використовуються механічно нерухомі електрично керовані варіолінзи, не можуть вважатися такими, що мають нерухомі оптичні…

#зум-афокальні системи #головні точки варіолінз #синтез зум-афокальних систем #стабільна афокальність зум-системи

10.20535/kpisn.2026.3.351645

МОДИФІКАЦІЯ НЕЙРОМЕРЕЖЕВОГО МЕТОДУ SPINN ДЛЯ НАБЛИЖЕНОГО РОЗВ'ЯЗАННЯ МІШАНОЇ ЗАДАЧІ ДЛЯ РІВНЯННЯ ТЕПЛОПРОВІДНОСТІ В ЕЛІПТИЧНІЙ ОБЛАСТІ

Валерій Лось, Олександр Ряхін

Проблематика. Параболічні диференціальні рівняння є математичними моделями інженерії, призначеними для дослідження широкого кола прикладних задач. Це приводить до…

#рівняння теплопровідності #мішана параболічна задача #еліптична область #фізико-інформативна нейронна мережа

10.20535/kpisn.2026.3.367316

ДВОЕТАПНИЙ ПІДХІД ДО СЕГМЕНТАЦІЇ СУПУТНИКОВИХ ЗНІМКІВ ДЛЯ ОЦІНЮВАННЯ ПЛОЩІ АСФАЛЬТОВАНОГО ПОКРИТТЯ ПАРКОВОК

Олександр Гончарук, Надія Недашківська

Проблематика. Точна оцінка площі асфальтованих парковок є важливою для містобудування та екологічного моніторингу. Однак спектральна подібність асфальту паркувальних…

#семантична сегментація #супутникові знімки #паркінг #нейронна мережа

10.20535/kpisn.2026.3.367540

Схожі статті

Павло Кость, Лариса Гліненко, МЕТОДИКА ВИБОРУ СТРУКТУРИ ПЕРЕДАВАЛЬНОГО ТРАКТУ ДЛЯ ТЕРМОЯДЕРНИХ УСТАНОВОК , Наукові вісті КПІ: Том 143 № 2 (2026)
Олексій Кущев, Олександр Терентьєв, Віктор Варченко, Тетяна Чевичелова, Руслан Костюнік, Олександр Уманський, МЕТОД ПІДВИЩЕННЯ ЗНОСОСТІЙКОСТІ КОМПОЗИЦІЙНОГО ПЛАЗМОВОГО ПОКРИТТЯ НА ОСНОВІ НІКЕЛЬ-ГРАФІТУ ШЛЯХОМ ДОДАВАННЯ МІДНИХ СПЛАВІВ , Наукові вісті КПІ: Том 139 № 2 (2025)
Михайло Ільченко, Сергій Капштик, Теодор Наритник, МЕТОД ПРОТИДІЇ БАГАТОПРОМЕНЕВОСТІ В ТРОПОСФЕРНОМУ ЗВ'ЯЗКУ НА ОСНОВІ ЗАСТОСУВАННЯ СКЛАДЕНИХ СИГНАЛІВ В БАЗИСІ УОЛША , Наукові вісті КПІ: Том 137 № 1-4 (2024)
Павло Маслянко, Сергій Мірко, Концептуальна модель NLP-системи пошуку релевантної правової позиції на множині судових рішень судочинства України , Наукові вісті КПІ: Том 136 № 1-4 (2023)
Павло Маслянко, Іван Савчук, DevOps – концепт і структурне представлення , Наукові вісті КПІ: № 4 (2021)
Сергій Володимирович Титенко, КАРТИ ПОНЯТЬ, ЇХ ВИДИ ТА МЕТОДИ ЗАСТОСУВАННЯ В ІНФОРМАЦІЙНО-НАВЧАЛЬНИХ СИСТЕМАХ , Наукові вісті КПІ: № 4 (2020)
Anastasiya S. Kutuzova, Tetiana A. Dontsova, Olga V. Linyucheva, НАНОКОМПОЗИТИ НА ОСНОВІ TIO2-SNO2: ВПЛИВ КИСЛОТНО-ОСНОВНИХ І СТРУКТУРНО-АДСОРБЦІЙНИХ ВЛАСТИВОСТЕЙ НА ФОТОКАТАЛІТИЧНУ АКТИВНІСТЬ , Наукові вісті КПІ: № 1 (2020)
Tetiana A. Roik, Iuliia Yu. Vitsiuk, Olga I. Khmiliarchuk, СТРУКТУРА І ТРИБОТЕХНІЧНІ ВЛАСТИВОСТІ КОМПОЗИЦІЙНИХ АНТИФРИКЦІЙНИХ МАТЕРІАЛІВ НА ОСНОВІ ВІДХОДІВ СТАЛІ Р7М2Ф6 , Наукові вісті КПІ: № 1 (2020)
Sergiy V. Tytenko, ІНТЕРАКТИВНІ КАРТИ ПОНЯТЬ В ОНТОЛОГІЧНО-ОРІЄНТОВАНИХ ІНФОРМАЦІЙНО-НАВЧАЛЬНИХ ВЕБ-СИСТЕМАХ , Наукові вісті КПІ: № 2 (2019)
Вадим Романюк, ЕФЕКТИВНІСТЬ МЕТОДУ TALL ARRAY У ЗНИЖЕННІ РОЗМІРНОСТІ НАБОРІВ ДАНИХ НА ОСНОВІ МЕТОДУ ГОЛОВНИХ КОМПОНЕНТІВ , Наукові вісті КПІ: Том 139 № 2 (2025)

Ви також можете розпочати розширений пошук схожих статей для цієї статті.

[1] D.E. Knut, The Art of Computer Programming. Fundamental Algorithms . Moscow, Russia: Vyliams, 2006, 650 p.

[2] E. Husserl, Logical Studies. Cartesian Meditations. Sciences and Transcendental Phenomenology. Philosophy and the Crisis of European Man Philosophy . St. Petersburg, Russia: Nauka, 2006, 320 p.

[3] I.V. Redko et al. , Conceptual-Logical Foundations of Design . Kyiv, Ukraine: Comprint, 2016, 154 p.

[4] V. Redko, “The theory of descriptive environments and its application”, Ph.D. dissertation, Dept. Elect., National Technical University of Ukraine “Kyiv Polytechnic Institute”, Kyiv, Ukraine, 2008.

[5] V.N. Redko and I.V. Redko, “Descriptive systems: Perspectives and retrospectives”, Vіsnik Kiїvs'kogo Natsіonal'nogo Unіversitetu іm. T. Shevchenka , sp. issue phys.-math. sci., pp. 68–75, 2004.

[6] V.N. Redko et al. , “Conceptological foundations of essential platform”, in Proc. TAAPSD'2012 , Kyiv, Ukraine, Dec. 3–7, 2013.

[7] B.A. Trakhtenbrot, Algorithms and Computational Mashines . Moscow, SU: Sovetskoe Radio, 1974, 200 p.

[8] V.A. Ganov and V.R. Karymov. (2009). Computer Simulation of Computations with Oracles. Presented at the EAGU 2009 [Online]. Available: http://izvestia.asu.ru/2009/1/info-comp/07.en.html

[9] A.I. Maltsev, Algorithms and Recursive Functions. Moscow, SU: Nauka, 1965 , 391 p.

[10] J.W. Backus, “Algebra of functional programs: functional level thinking, linear equations and generalized definitions”, in Mathematical Logic in Programming . Moscow, Russia: Mir, 1991, pp. 8–53.

[11] J. McCarthy. (1960). Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Presented at the Communication of the ACM 1960 [Online]. Available: https://aiplaybook.a16z.com/reference-material/mccarthy-1960.pdf

[12] G . Buch, The Object-Oriented Analysis and Design , 2nd ed. Moscow, Russia: Binom, 1998, 560 p.

[13] D.L. Parnas. (1972). On the Criteria to be Used in Decomposing Systems into Modules. Presented at the Communication of the ACM [Online]. Available: https://www.win.tue.nl/~wstomv/edu/2ip30/references/criteria_for_modularization.pdf

[14] N. Wirth, “A Personal computer for the software engineer”, in Proc. ICSE 81 , San Diego, March 9–12, 1981.

[15] V.N. Redko, “Foundations of programmology”, Kibernetika i Sistemnyj Analiz , no. 1, pp. 35–57, 2000.

[16] H.P. Barendregt, The Lambda Calculus. Its Syntax and Semantics . Moscow, SU: Mir, 1985, 606 p.

[17] V.N. Redko, “Compositions of programs and composite programming”, Programmirovanie , no. 5, pp. 3–24, 1978.

[18] D.I. Redko et al. , “Compositional basis in programmer activity”, Systemni Doslidzhennia ta Informatsiini Tekhnolohii , no. 4, pp. 83–96, 2015.