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

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

doi:10.20535/2617-0965.eae.227740

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

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

МЗ

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

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

pdf

ТОМ 4 · № 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 — Пов'язані

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

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

Усі випуски

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

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

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

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

с. 227781-1 - 227781-4

10.20535/2617-0965.eae.227781

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

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

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

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

с. 227387-1 - 227387-5

10.20535/2617-0965.eae.227387

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

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

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

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

с. 228255-1 - 228255-6

10.20535/2617-0965.eae.228255

Схожі статті

Станіслав Вікторович Кудлай, Максим О. Зилевич, П. О. Яханов, І. В. Редько, Концептомонадна модель технологічного середовища програмування , Електронна та Акустична Інженерія: Том 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.