Отмечено, что развитие полупроводниковых технологий сделало возможным создание беспроводных сенсорных сетей (СС). Для таких сетей необходимо создание систем моделирования, позволяющих выбирать оптимальные протоколы для каждой прикладной задачи. Предложен подход к моделированию СС, объединяющий возможности среды визуального моделирования AnyLogic и системы символьных вычислений TermWare. Для демонстрации этого подхода разработан прототип системы моделирования. Рассмотрен пример декларативного описания протокола - простой синхронный протокол доступа к каналу.

Предложен метод оценки вычислительной сложности алгоритмов на основе алгебраического подхода. Разработана методика применения системы переписывания правил для преобразования конструкций координации вычислений в многопоточных программах. Приведены примеры трансформаций параллельных программ и результаты их выполнения на многоядерной архитектуре.

Індекс рубрикатора НБУВ: З970.31-018.4

Рубрики:

Комп'ютерні мережі

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

Предложено совместное использование высокоуровневого инструментария алгеброалгоритмического проектирования, дополненного подсистемой переписывающих правил, а также низкоуровневых профилировщиков для автоматизации проектирования и повышения производительности последовательных и параллельных (многопоточных) программ с общей памятью.

Метод обратной семантической трассировки предназначен для контроля качества программных проектов путем снижения рисков несоответствия требованиям входных и выходных артефактов на каждом этапе процесса разработки. Предложена методика применения этого метода при гибкой разработке проектов на примере использования методологии MSF Agile.

Предложен метод проектирования и синтеза MPI-программ, который основывается на алгеброалгоритмическом подходе. Разработана методика применения системы переписывающих правил для автоматизированной трансформации последовательных схем алгоритмов в параллельные, ориентированные на передачу сообщений. Проведен эксперимент по выполнению синтезированной параллельной программы на кластерной мультипроцессорной архитектуре.

Індекс рубрикатора НБУВ: В173.113.2

Рубрики:

Квадратичне програмування

Шифр НБУВ: Ж61020 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: З973-018.02

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Отмечено, что использование графических ускорителей позволяет достичь высокой производительности, однако требует от разработчика низкоуровневого программирования и знания деталей аппаратной и программной платформы. Предложен подход к автоматизации разработки приложений для графических ускорителей, основанный на использовании парадигмы переписывающих правил.

Побудовано алгебро-динамічні моделі структури програм і виконання програм для мультипоточної та відеографічної платформ. На підставі побудованих моделей описано перетворення програм з метою переходу від послідовної до паралельної програми, а також підвищення ефективності паралельних програм за часом виконання. Описано використання побудованих моделей для доведення коректності перетворень. За цього використовуються властивості програм: еквівалентність, безконфліктність, безтупиковість та достатні умови, що забезпечують виконання цих властивостей для певних класів програм. Створено програмний інструментарій на базі техніки переписувальних правил, який може бути використано для автоматизації застосування перетворень, побудови високорівневих моделей програм за початковим текстом програми, перевірки властивостей програм. Розроблені моделі та засоби апробовано на конкретних обчислювальних задачах, за цього досягнуто суттєвого підвищення продуктивності.

Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения эффективности распараллеливания вычислений.

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

Запропоновано архітектуру гнучкого та розширюваного інструментарію моделювання гетерогенних Грід-систем з відеографічними прискорювачами gpusim на базі Java-фреймворку GridSim та розроблений на її основі прототип. Проведено перевірку адекватності та первинне дослідження моделі на прикладі конкретної задачі для симуляції на розробленому прототипі.

Індекс рубрикатора НБУВ: З970.26 + З970.31

Рубрики:

Розподілені обчислювальні системи (РОС)

Комп'ютерні мережі

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: З973-044.611 + З970.21-018

Рубрики:

Комп'ютери та програмування

Паралельні обчислювальні системи (ПОС)

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

Запропоновано підхід до автоматичного перетворення успадкованого коду на мові Fortran для виконання на платформах для хмарних обчислень. Запропоновано архітектуру системи із використанням хореографії веб-сервісів, яка надає змогу необмежене масштабування системи та зменшує накладні витрати із обміну повідомленням. Проведено дослідження підходу на прикладі програми із квантової хімії.

Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що грунтуються на алгебро-алгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування.

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

Запропоновано підхід підвищення продуктивності коду, написаного мовою Python, шляхом перетворення фрагментів коду до більш ефективних мов Cython та C++. Використано високорівневі алгебраїчні моделі та техніку переписувальних правил для автоматизації перетворень програмного коду. Проведено порівняння часу виконання простих програм - початкової версії мовою Python, різних версій перетвореного коду, а також автоматичних засобів Cython та PyPy, що демонструє ефективність запропонованого підходу.