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

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

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. 228485-1 - 228482-6

Використання технології GMSL для передачі потоку відео даних високої якості

Богдан Андрійович Пономаренко

Робота присвячена опису та дослідженню технологій передачі потоку даних з відеокамер, призначених для використання у сучасних автомобілях. В роботі проведено…

#технологія GMSL #microcontroller #серіалізатор #десеріалізатор

p. 227993-1 - 227993-4

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

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

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

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

p. 228482-1 - 228482-5

Схожі статті

Владислав Віталійович Мажаренко, Павло Васильович Попович, Аналіз використання 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