| Title: |
Анотований звіт про науково-дослідну роботу 'Розробка методів, технологій та засобів автоматизації паралельного програмування із використанням методів обчислювального інтелекту', 3-1-22 (проміжний), № держреєстрації 0117u000734. Київ: Інститут програмних систем НАН України, 2024. 13 с. |
| Authors: |
Doroshenko, Anatoliy; Yatsenko, Olena; Beketov, Oleksii; Ivanenko, Pavlo; Rahozin, Dmytro; Shevchenko, Ruslan; Institute of Software Systems; Tyrchak, Iurii |
| Publisher Information: |
Zenodo |
| Publication Year: |
2024 |
| Collection: |
Zenodo |
| Subject Terms: |
автотюнінг; високопродуктивні обчислення; генерація програм; генетичні алгоритми; графічні прискорювачі; обчислювальний інтелект; формальні методи програмування |
| Description: |
Запропонована структура для вбудовування методів логічного програмування та програмування в обмеженнях у мову Scala шляхом побудови логічної предметно-орієнтованої мови навколо уніфікації типізованої логіки на основі монад. Відмінності в можливостях логічних механізмів виражено як підкласи монади уніфікації, що дає змогу генерувати одну реалізацію налаштовуваної уніфікації для вбудовування різних логічних систем у Scala та використовувати вбудовані сторонні проблемно-орієнтовані мови у логічних виразах. Монадичний прикладний програмний інтерфейс надає розробнику програми простий та інтуїтивно зрозумілий інструмент для реалізації власної логіки всередині уніфікації. Розроблено цифровий двійник на мобільній платформі з метою покращення якості та доступності метеорологічної інформації для мешканців міст. Досліджені основні аспекти створення цифрового двійника: збір та аналіз метеорологічних даних, обробка інформації з датчиків, використання штучних інтелектуальних алгоритмів для прогнозування погодних умов. Результати дослідження підтверджують, що використання цифрового двійника у метеопрогнозуванні дозволяє значно покращити точність прогнозів та забезпечити швидкий доступ до актуальної інформації про погоду. |
| Document Type: |
report |
| Language: |
Ukrainian |
| Relation: |
https://zenodo.org/records/14909867; oai:zenodo.org:14909867; https://doi.org/10.5281/zenodo.14909867 |
| DOI: |
10.5281/zenodo.14909867 |
| Availability: |
https://doi.org/10.5281/zenodo.14909867; https://zenodo.org/records/14909867 |
| Rights: |
Creative Commons Attribution 4.0 International ; cc-by-4.0 ; https://creativecommons.org/licenses/by/4.0/legalcode |
| Accession Number: |
edsbas.3DB9D698 |
| Database: |
BASE |