Концептомонадна модель технологічного  середовища програмування

Станіслав Вікторович Кудлай; Максим О. Зилевич; П. О. Яханов; І. В. Редько

doi:10.64915/9nqgwf56

Т. 3 · № 3 · 2020 сер 30, 2020 Електронні системи та сигнали

Концептомонадна модель технологічного середовища програмування

СК

Станіслав Вікторович Кудлай Відповідальний Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» slava-16@ukr.net Україна

МЗ

Максим О. Зилевич Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» Україна

ПЯ

П. О. Яханов Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» Україна

ІР

І. В. Редько Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» Україна

Сторінки45-49 Опублікованосер 30, 2020 ЛіцензіяВідкритий доступ

pdf

ЕАІ 3 VOL 3 · 3

VOL 3 · NO 3 · 2020 Переглянути випуск

Анотація

У даній роботі запропоновано розширення принципів адаптивного середовища програмування на основі розглянутих інтерсуб’єктивної та міжсуб’єктної парадигм програмування. Для цього розуміння програмування адекватно збагачується введенням концептуальних логічних структур, які засновані на взаємодії оракулів, композиційному збагаченні та схематизації концептувань. Наведено приклади використання редукції для демонстрації зв’язку композиції та декомпозиції в концептуванні. Це дозволяє відійти від загальної концепції програмування як предметно-визначеної діяльності та закласти основи її технологізації.

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

#концепт #монада #композит #оракул #оракульна схема #програмне середовище #редукція #інтерсуб’єктивна парадигма

Посилання

D. E. Knut, The art of computer programming. Fundamental Algorithms [Iskusstvo programmirovaniya. Osnovnyye algoritmy]. Moscow: Vyliams, 2006.
E. G. Husserl, Logical Studies. Cartesian Reflections [Logicheskiye issledovaniya. Kartezianskiye razmyshleniya]. Minsk, 2000.
J. W. Backus, Algebra of functional programs: functional level thinking, linear equations and generalized definitions [Algebra funktsional’nykh programm: myshleniye funktsional’nogo urovnya, lineynyye uravneniya i obobshchennyye opredeleniya, Matematicheskaya logika v . Moscow: Mir, 1991.
G. Buch, Object-oriented analysis and design. Moscow: Binom, 1998.
J. McCarthy, “Recursive Functions of Symbolic Expressions Their Computation by Machine, Part I,” CACM 1960, 1960. [Online]. Available: https://aiplaybook.a16z.com/reference-material/mccarthy-1960.pdf.
N. Wirth, “A Personal Computer for the Software Engineer. Proceedings,” in ICSE 81.
V. N. Redko and N. V. Grishko, “Conceptological foundations essential platform,” in TAAPSD’2012, 2013.
I. V. Redko, “The theory of descriptive environments and its applications,” National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute,” 2008.
I. V. Redko, D. I. Redko, and T. L. Zakharchenko, “Conceptual basis of programming,” Komprynt, 2016.
D. L. Parnas, “On the criteria to be used in decomposing systems into modules,” CACM 1972, 1972. [Online]. Available: https://www.win.tue.nl/~wstomv/edu/2ip30/references/criteria_for_modularization.pdf

Ліцензія

CCBY-NC 4.0

Creative Commons Із зазначенням авторства 4.0 Міжнародна

Ця робота має відкриту ліцензію: вільно поширюйте та адаптуйте її, посилаючись на авторів і журнал. Умови ліцензії ↗

Попередня у випуску Дослідження п’єзофототронного ефекту в плівкових структурах А2В6 Наступна у випуску Гребінчастий фільтр на ПАХ – резонаторі біжучої хвилі

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

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

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

Усі випуски

Особливості побудови пристроїв для заряджання електромобілів

Олексій Сергійович Яма, Юрій Сергійович Олішевський

У цій роботі обґрунтована необхідність систематизації та аналізу обладнання для заряджання електромобіля. Розглянуті методи заряджання, особливості реалізації…

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

p. 228482-1 - 228482-5

Електронний помічник для людини з вадами зору

Андрій Андрійович Пахомов, Роман Петрович Саган

Для людей із серйозними вадами зору запропоновано систему, яка допомагає виявляти перешкоди та викликати допомогу в екстреній ситуації. Система побудована на основі…

#мікроконтролер #GPS-модуль #GSM-модуль #оптичний сенсор

p. 227781-1 - 227781-4

Застосування 3D-моделювання в медицині при підготовці до 3D-друку

Наталія Юріївна Оникієнко

Визначено основну функцію 3D-моделювання при підготовці до 3D-друку в процесі створення медичних моделей, яка полягає у вдосконаленні 3D-сітки моделі за рахунок…

#3D-моделювання #3D-друк #медичні 3D-моделі #програмне забезпечення

p. 227387-1 - 227387-5

Схожі статті

Максим Олегович Зилевіч, Застосування оракульного концептування при програмуванні дизайну електронних мікросхем , Електронна та Акустична Інженерія: Том 4 № 1 (2021)
Богдан Олександрович Максимович, Концепт стереоресиверу , Електронна та Акустична Інженерія: Том 2 № 2 (2019)
Софія Олегівна Павлова, Віртуальна лабораторія екологічного моніторингу довкілля , Електронна та Акустична Інженерія: Том 3 № 4 (2020)
Валентин Олексійович Тоценко, Ганна В. Сарибога, Олег Михайлович Бевза, Автоматична система освітлення території підприємства , Електронна та Акустична Інженерія: Том 3 № 4 (2020)
Максим Олександрович Ярошенко, Розробка системи відстеження рухів людини , Електронна та Акустична Інженерія: Том 2 № 1 (2019)
Єгор Максимович Мирошниченко, Мікропроцесорна система визначення інтенсивності руху автотранспорту , Електронна та Акустична Інженерія: Том 2 № 3 (2019)
Роман Сахан, Олег Бевза, Електронна система контролю бадьорості , Електронна та Акустична Інженерія: Том 3 № 4 (2020)
Ігор Сергійович Федин, Порівняння топологій інверторів за коефіцієнтом нелінійних спотворень вихідної напруги , Електронна та Акустична Інженерія: Том 2 № 4 (2019)
Артем Вадимович Крилов, Класифікація методів машинного навчання у MicroGrid , Електронна та Акустична Інженерія: Том 3 № 2 (2020)
Ченьлянь Інь, Володимир Семенович Лазебний, Застосування концепції віртуального конкурентного вікна для визначення якісних показників безпроводової мережі стандарту 802.11 , Електронна та Акустична Інженерія: Том 2 № 4 (2019)

1-10 з 26 Наступне

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

[1] D. E. Knut, The art of computer programming. Fundamental Algorithms [Iskusstvo programmirovaniya. Osnovnyye algoritmy]. Moscow: Vyliams, 2006.

[2] E. G. Husserl, Logical Studies. Cartesian Reflections [Logicheskiye issledovaniya. Kartezianskiye razmyshleniya]. Minsk, 2000.

[3] J. W. Backus, Algebra of functional programs: functional level thinking, linear equations and generalized definitions [Algebra funktsional’nykh programm: myshleniye funktsional’nogo urovnya, lineynyye uravneniya i obobshchennyye opredeleniya, Matematicheskaya logika v . Moscow: Mir, 1991.

[4] G. Buch, Object-oriented analysis and design. Moscow: Binom, 1998.

[5] J. McCarthy, “Recursive Functions of Symbolic Expressions Their Computation by Machine, Part I,” CACM 1960, 1960. [Online]. Available: https://aiplaybook.a16z.com/reference-material/mccarthy-1960.pdf.

[6] N. Wirth, “A Personal Computer for the Software Engineer. Proceedings,” in ICSE 81.

[7] V. N. Redko and N. V. Grishko, “Conceptological foundations essential platform,” in TAAPSD’2012, 2013.

[8] I. V. Redko, “The theory of descriptive environments and its applications,” National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute,” 2008.

[9] I. V. Redko, D. I. Redko, and T. L. Zakharchenko, “Conceptual basis of programming,” Komprynt, 2016.

[10] D. L. Parnas, “On the criteria to be used in decomposing systems into modules,” CACM 1972, 1972. [Online]. Available: https://www.win.tue.nl/~wstomv/edu/2ip30/references/criteria_for_modularization.pdf