Застосування оракульного концептування при програмуванні дизайну  електронних мікросхем

Максим Олегович Зилевіч

Т. 4 · № 1 · 2021 кві 27, 2026 Електронні системи та сигнали

Застосування оракульного концептування при програмуванні дизайну електронних мікросхем

МЗ

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

Сторінки227740-1 - 227740-5 Опублікованокві 27, 2026 ЛіцензіяВідкритий доступ

pdf

ЕАІ 1 VOL 4 · 1

VOL 4 · NO 1 · 2021 Переглянути випуск

Анотація

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

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

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

Посилання

R. Harper, Practical foundations for programming languages, second edition. Cambridge University Press, 2016, ISBN: 9781316576892.
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.
I. Redko, P. Yahanov, and M. Zylevich, “Concept-Monadic Model of Technological Environment of Programming,” in 2020 IEEE 2nd International Conference on System Analysis & Intelligent Computing (SAIC), 2020, pp. 1–5, DOI: https://doi.org/10.1109/SAIC51296.2020.9239204.
I. V. Redko and P. O. Yahanov, “CONCEPTUAL MODEL OF TECHNOLOGICAL ENVIRONMENT OF PROGRAMMING,” KPI Sci. News, no. 1, pp. 18–26, Mar. 2020, DOI: https://doi.org/10.20535/kpi-sn.2020.1.197953.
I. V. Redko, D. I. Redko, and T. L. Zakharchenko, Conceptual basis of programming. Kyiv, Ukraine: Komprynt, 2016.
B. A. Trakhtenbrot, Algorithms and computational mashines. Moscow, Russia: Sovetskoe radio, 1974.
D. L. Parnas, “On the Criteria To Be Used in Decomposing Systems into Modules,” Commun. ACM, vol. 15, no. 12, pp. 1053–1058, 1972.
G. S. Plesniewicz, D. E. Masherov, Nguen Thi Min Vu, and A. B. Karabekov, ““Binary Knowledge Model”: Specifying, instantiating, and interpreting advanced ontologies,” in 2015 9th International Conference on Application of Information and Communication Technologies (AICT), 2015, pp. 314–318, DOI: https://doi.org/10.1109/ICAICT.2015.7338570.
V. A. Pedroni, Finite State Machines in Hardware Theory and Design (with VHDL and SystemVerilog). 2013, ISBN: 9780262019668.

Ліцензія

CCBY-NC 4.0

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

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

Попередня у випуску Удосконалена система шумопеленгування безпілотних літальних апаратів Наступна у випуску Електронний помічник для людини з вадами зору

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

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

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

Усі випуски

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

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

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

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

p. 228255-1 - 228255-6

Алгебраїчна характеристика класу матричних перетворень та її апаратна реалізація

Станіслав В. Кудлай

У даній роботі на основі примітивних програмних алгебр виводиться алгебраїчна характеристика класу матричних перетворень методом ізоморфних відображень на алгебраїчну…

#матричні обчислення #ізоморфізм #алгебраїчна характеристика #обробка матриць

p. 228485-1 - 228482-6

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

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

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

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

p. 227993-1 - 227993-4

Схожі статті

Станіслав Вікторович Кудлай, Максим О. Зилевич, П. О. Яханов, І. В. Редько, Концептомонадна модель технологічного середовища програмування , Електронна та Акустична Інженерія: Том 3 № 3 (2020)
Вадим Сергійович Баран, Аналіз програмного забезпечення для створення 360 – градусного відео , Електронна та Акустична Інженерія: Том 2 № 2 (2019)
Валерія Миколаївна Охмак, Артем В. Крилов, Технологія інтернету речей для розпізнавання та передачі зображень у розумному будинку , Електронна та Акустична Інженерія: Том 4 № 4 (2021)
Марина Миколаївна Волуйко, Юрій Олексійович Оникієнко, Засоби візуального програмування для створення відеоефектів , Електронна та Акустична Інженерія: Том 2 № 4 (2019)
Олександр Вікторович Штикало, Людмила Миколаївна Шмирова, Олександр Борисович Сіднєв, Тетяна Вікторівна Семікіна, Моделювання в програмних середовищах для дослідження фізичних властивостей феромагнетиків , Електронна та Акустична Інженерія: Том 3 № 4 (2020)
Дмитро Анатолійович Сорокін, Використання технології LoRa для вирішення задачі локалізації об’єктів в IoT-системах , Електронна та Акустична Інженерія: Том 3 № 3 (2020)
Станіслав В. Кудлай, Алгебраїчна характеристика класу матричних перетворень та її апаратна реалізація , Електронна та Акустична Інженерія: Том 4 № 2 (2021)
Ольга О. Титаренко, Володимир Васильович Макаренко, Аналіз роботи однокристальних прийомопередавачів ISM-діапазону для систем ІоТ , Електронна та Акустична Інженерія: Том 2 № 3 (2019)
Олексій Олегович Андрійченко, Олександр Ігорович Денисенко, Суб’єктивне оцінювання розбірливості зашумленої мови в лекційному приміщенні , Електронна та Акустична Інженерія: Том 2 № 3 (2019)
Миколи Олександровича Корчака, Катерина Сергіївна Клен, Аналіз термічної втоми в’язкопластичного припою для мікроелектронних компонентів і систем , Електронна та Акустична Інженерія: Том 2 № 3 (2019)

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

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

[1] R. Harper, Practical foundations for programming languages, second edition. Cambridge University Press, 2016, ISBN: 9781316576892.

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

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

[4] I. Redko, P. Yahanov, and M. Zylevich, “Concept-Monadic Model of Technological Environment of Programming,” in 2020 IEEE 2nd International Conference on System Analysis & Intelligent Computing (SAIC), 2020, pp. 1–5, DOI: https://doi.org/10.1109/SAIC51296.2020.9239204.

[5] I. V. Redko and P. O. Yahanov, “CONCEPTUAL MODEL OF TECHNOLOGICAL ENVIRONMENT OF PROGRAMMING,” KPI Sci. News, no. 1, pp. 18–26, Mar. 2020, DOI: https://doi.org/10.20535/kpi-sn.2020.1.197953.

[6] I. V. Redko, D. I. Redko, and T. L. Zakharchenko, Conceptual basis of programming. Kyiv, Ukraine: Komprynt, 2016.

[7] B. A. Trakhtenbrot, Algorithms and computational mashines. Moscow, Russia: Sovetskoe radio, 1974.

[8] D. L. Parnas, “On the Criteria To Be Used in Decomposing Systems into Modules,” Commun. ACM, vol. 15, no. 12, pp. 1053–1058, 1972.

[9] G. S. Plesniewicz, D. E. Masherov, Nguen Thi Min Vu, and A. B. Karabekov, ““Binary Knowledge Model”: Specifying, instantiating, and interpreting advanced ontologies,” in 2015 9th International Conference on Application of Information and Communication Technologies (AICT), 2015, pp. 314–318, DOI: https://doi.org/10.1109/ICAICT.2015.7338570.

[10] V. A. Pedroni, Finite State Machines in Hardware Theory and Design (with VHDL and SystemVerilog). 2013, ISBN: 9780262019668.