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

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

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. 227740-1 - 227740-5

Аналіз нелінійної системи overdrive

Даниїл Володимирович Грищук

У статті визначена можливість використання програм MATLAB та Reaper для аналізу нелінійних систем типу overdrive, на прикладі педалі звукового ефекту Ibanez tube…

#overdrive #частота основного тону #гітарний сигнал #додаткові форманти

p. 227832-1 - 227832-3

Прилад для дослідження транспорту кисню в капілярах

Марія С. Молебна

В роботі досліджується можливість візуалізації процесу передачі кисню тканинам організму через механізм капілярів. Запропоновано застосувати принцип оксиметрії на…

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

p. 228255-1 - 228255-6

Схожі статті

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

Попереднє 21-26 з 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