Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (7) | Автореферати дисертацій (1) | Реферативна база даних (27) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Іваненко П$<.>) | |||
|
Загальна кількість знайдених документів : 14 Представлено документи з 1 до 14 |
|||
| 1. | 
Іваненко П. А. Автоматична оптимізація виконання для задачі метеорологічного прогнозування [Електронний ресурс] / П. А. Іваненко, А. Ю. Дорошенко // Проблеми програмування. - 2012. - № 2-3. - С. 426-434. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_2-3_52 | ||
| 2. |
Іваненко П. А. Автотьюнер та візуалізація для задачі метеорологічного прогнозування [Електронний ресурс] / П. А. Іваненко, А. Ю. Дорошенко, О. М. Овдій, Л. М. Суслова // Проблеми програмування. - 2013. - № 4. - С. 64-73. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_4_8 Розглянуто застосування техніки автотьюнінгу та розширення картографічного інструментарію Google Maps для комплексного розв'язання задачі короткотермінового моделювання циркуляції атмосфери. Наведено числові показники швидкодії розробленого паралельного алгоритму. | ||
| 3. | 
Іваненко П. А. Засоби створення систем автоматичного настроювання для ефективного виконання прикладних паралельних програм [Електронний ресурс] / П. А. Іваненко, А. Ю. Дорошенко // Інформаційні технології в освіті. - 2013. - Вип. 14. - С. 17-21. - Режим доступу: http://nbuv.gov.ua/UJRN/itvo_2013_14_5 Запропоновано програмні засоби для автоматичного створення автотюнерів - програмних застосунків для оптимізації виконання прикладних паралельних програм у цільовому обчислювальному середовищі. | ||
| 4. |
Ігнатенко О. П. Ігрова модель взаємодії користувачів у гетерогенних розподілених середовищах [Електронний ресурс] / О. П. Ігнатенко, П. А. Іваненко, О. Б. Синецький, О. В. Ніколенко // Проблеми програмування. - 2015. - № 3. - С. 14-23. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2015_3_3 Досліджено ігрову модель взаємодії користувачів, що виконують паралельні обчислення у гетерогенній багатопроцесорній системі. Запропонований підхід моделювання застосовується до задачі множення матриць з планувальником мін-мін. Дією користувачів у цьому випадку є розмір блоку, на яку розрізається матриця. Експериментально одержані характеристики системи були використані для налаштування імітаційної моделі, що дозволило виконати оцінювання часу завершення роботи для всіх можливих комбінацій розбиття задач по процесорах та побудувати поверхню залежності часу закінчення роботи для кожного користувача. Одержані результати обгрунтовано і узагальнено на базі ігрового підходу, зокрема, показано існування точки рівноваги Неша для взаємодії двох користувачів та знайдено умови її Парето неефективності. | ||
| 5. |
Дорошенко А. Ю. До створення Інтернет-порталу надання послуг метеорологічного прогнозування на мультипроцесорній платформі [Електронний ресурс] / А. Ю. Дорошенко, П. А. Іваненко, О. М. Овдій, Т. О. Павлючин, Є. А. Вітряк // Проблеми програмування. - 2015. - № 3. - С. 24-32. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2015_3_4 Розглянуто питання створення Інтернет-порталу для надання сервісів метеорологічного прогнозування на основі паралельної реалізації задач моделювання циркуляції атмосфери на мультипроцесорній платформі. Розглянуто особливості портальної системи, описано використані алгоритми та методи, а також архітектурні аспекти комплексного вирішення проблеми. | ||
| 6. |
Дорошенко А. Ю. Автоматизоване проектування програм для розв’язання задачі метеорологічного прогнозування [Електронний ресурс] / А. Ю. Дорошенко, П. А. Іваненко, О. М. Овдій, О. А. Яценко // Проблеми програмування. - 2016. - № 1. - С. 102-115. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_1_9 Розроблено засіб автоматизованого конструювання паралельного коду для середовища OpenMP на основі високорівневих алгебро-алгоритмічних специфікацій. Застосування засобу демонструється на прикладі завдання моделювання циркуляції атмосфери, що представлений як сервіс у складі Інтернет-порталу з надання послуг метеопрогнозу. Здійснено генерацію програмного коду та наведено результати експерименту з виконання розробленої паралельної програми прогнозування на мультипроцесорній платформі.Виконане налаштування алгебро-алгоритмічного інструментарію на формалізоване проектування та синтез паралельних програм мовою C для платформи .NET, що використовують засоби бібліотеки паралельних задач TPL. Згадана бібліотека підвищує продуктивність праці розробників за рахунок спрощення процедури додавання паралелізму в програму та динамічно масштабує ступінь паралелізму для найбільш ефективного використання усіх доступних процесорів. В основу запропонованого підходу покладені мова САА-схем, перевагою якої є простота в навчанні й використанні, а також метод конструювання синтаксично правильних програм, що виключає можливість появи синтаксичних помилок у процесі проектування схем. Проведено експеримент з виконання згенерованих за допомогою розробленого інструментарію прикладів паралельних програм на багатоядерному процесорі. | ||
| 7. |
Дорошенко А. Ю. Гібридна модель автотьюнінгу з використанням статистичного моделювання [Електронний ресурс] / А. Ю. Дорошенко, П. А. Іваненко, О. C. Новак // Проблеми програмування. - 2016. - № 4. - С. 27-32. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_4_4 Розроблено модифікацію відомого методу самоналаштування (автотьюнінгу) програм з використанням статистичного моделювання з метою звуження простору пошуку оптимального варіанта програми. Запропонований метод застосовано до оптимізації паралельного гібридного алгоритму сортування. Наведено результати практичного експерименту на мультипроцесорній системі. | ||
| 8. | 
Іваненко П. О. Врахування снігового навантаження на покрівлю при проектуванні сонячних батарей [Електронний ресурс] / П. О. Іваненко // Опір матеріалів і теорія споруд. - 2015. - Вип. 96. - С. 138-141. - Режим доступу: http://nbuv.gov.ua/UJRN/omts_2015_96_14 Наведено обгрунтування для вибору схеми снігових навантажень під час проектування сталевих решітчастих конструкції на плоских покрівлях. На базі основних положень ДБН одержано схему снігового навантаження. Проведено числові дослідження для обгрунтування достовірності результатів. | ||
| 9. |
Дорошенко А. Ю. Оптимізація автотьюнінгу програм з використанням нейромереж [Електронний ресурс] / А. Ю. Дорошенко, П. А. Іваненко, О. C. Новак // Проблеми програмування. - 2017. - № 2. - С. 40-47. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2017_2_5 Автотьюнінг програм - це метод самоналаштування внутрішніх параметрів програми, що мають вплив на її швидкодію, з метою досягнення найвищих показників продуктивності, проте він може вимагати багато часу на випробування. Запропоновано вдосконалення методу автотьюнінгу програм з використанням нейромережевих алгоритмів та статистичного моделювання. Автоматичне навчання моделі програми на результатах "традиційних" циклів тьюнінгу з подальшою підміною частини запусків автотьюнера оцінкою з апроксимаційної моделі надає змоу значно прискорити пошук оптимального варіанта програми. | ||
| 10. |
Дорошенко А. Ю. Формальні та адаптивні методи й інструментальні засоби паралельного програмування [Електронний ресурс] / А. Ю. Дорошенко, О. Г. Бекетов, К. А. Жереб, П. А. Іваненко, О. М. Овдій, Р. С. Шевченко, О. А. Яценко // Проблеми програмування. - 2017. - № 3. - С. 19-30. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2017_3_4 Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що грунтуються на алгебро-алгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування. | ||
| 11. |
Дорошенко А. Ю. Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics [Електронний ресурс] / А. Ю. Дорошенко, О. С. Новак, П. А. Іваненко, А. М. Старушик // Проблеми програмування. - 2018. - № 1. - С. 46-54. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_1_6 Наведено аналітичну модель методу автоматичного налаштування паралельних програм (автотьюнінгу). Описано програмну реалізацію цієї моделі за основою формальних перетворень програм і використання експертних даних як основи процесу оптимізації з подальшим аналізом одержаних результатів системою IBM Watsons Analytics. Наведено результати практичного експерименту, які підтверджують ефективність використовуваного підходу у разі оптимізації паралельних програм. | ||
| 12. |
Дорошенко А. Ю. Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання [Електронний ресурс] / А. Ю. Дорошенко, П. А. Іваненко, О. C. Новак, О. А. Яценко // Проблеми програмування. - 2018. - № 2-3. - С. 46-53. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2018_2-3_6 Аатотюнінг для складних і нетривіальних програмних систем зазвичай вимагає багато часу внаслідок емпіричного оцінюва великої множини варіантів значень параметрів вхідної паралельної програми у цільовому середовищі виконання. У роботі запропоновано вдосконалення методу автотюнінгу на основі використання статистичного моделювання та нейромереж алгоритмів, що надає змогу суттєво звузити простір можливих значень параметрів, що аналізуються. Застосування підходу продемонстровано на прикладі автотюнінгу паралельної програми сортування, яка комбінує декілька методів сортування, на основі автоматичного навчання нейромережевої моделі на результатах "традиційних" циклів тюнінгу з подальшою заміною частини запусків автотюнера оцінкою зі статистичної моделі. | ||
| 13. |
Іваненко П. А. Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил [Електронний ресурс] / П. А. Іваненко // Проблеми програмування. - 2020. - № 2-3. - С. 368-374. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2020_2-3_39 Запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглянyто як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлень вихідної і оптимізованої версій програм у формальній моделі автотьюнінгу. Цю перевірку у часткових випадках можна виконати автоматично за вихідним кодом за допомогою техніки переписувальних правил. | ||
| 14. | 
Андон П. І. Алгоритмічні алгебри Глушкова та автоматизація проєктування паралельних обчислень [Електронний ресурс] / П. І. Андон, А. Ю. Дорошенко, П. А. Іваненко, О. А. Яценко // Кібернетика та системний аналіз. - 2023. - Т. 59, № 5. - С. 3–15. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |