Відділ теорії комп’ютерних обчислень - Історія редагувань

Stud fit masha в 11:43, 25 липня 2017

2017-07-25T11:43:32Z

Stud fit masha в 22:19, 24 липня 2017

2017-07-24T22:19:49Z

Stud fit masha в 15:09, 21 липня 2017

2017-07-21T15:09:11Z

Stud fit masha в 14:17, 21 липня 2017

2017-07-21T14:17:48Z

Stud fit masha в 13:16, 21 липня 2017

2017-07-21T13:16:49Z

Stud fit masha в 13:16, 21 липня 2017

2017-07-21T13:16:27Z

Stud fit masha: Створена сторінка: =Відділ теорії комп’ютерних обчислень= Зав. відділу д.ф.-м.н., професор Дорошенко_Анато...

2017-07-12T22:48:57Z

Створена сторінка: =Відділ теорії комп’ютерних обчислень= Зав. відділу д.ф.-м.н., професор Дорошенко_Анато...

Нова сторінка

=Відділ теорії комп’ютерних обчислень=
Зав. відділу д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко А.Ю.]] 
У відділі працюють 15 співробітників, з них 1 [[Qualification_9|доктор наук]], 3 [[Qualification_8|кандидати наук]].

'''Основний напрям робіт''' – [https://uk.wikipedia.org/wiki/Цифрове_моделювання моделі комп’ютерних систем], [https://uk.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D0%B8 формальні методи] програмування, паралельне програмування і високопродуктивні обчислення.

==Основні напрями наукової діяльності відділу:==
• розробка та дослідження теоретичних моделей комп’ютерних обчислень з основних напрямків досліджень ІПС НАНУ; 
• дослідження та розробка застосувань побудованих теоретичних моделей у перспективних ділянках систем високопродуктивної обробки даних та паралельних обчислень.

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

Дослідження, що проводяться у відділі, беруть свій початок від фундаментальних робіт [https://uk.wikipedia.org/wiki/Глушков_Віктор_Михайлович В.М. Глушкова], [https://uk.wikipedia.org/wiki/Цейтлін_Георгій_Овсійович Г.О. Цейтліна] та [https://uk.wikipedia.org/wiki/Ющенко_Катерина_Логвинівна К.Л. Ющенко] з розробки [https://uk.wikipedia.org/wiki/Алгебра_алгоритмів систем алгоритмічних алгебр (САА)] та досліджень Летичевського О.А. з алгебраїчного програмування, що ґрунтується на переписуванні [https://uk.wikipedia.org/wiki/Терм термів]. САА стали прототипом напрямку алгебраїчної алгоритміки, розробленого д.т.н., проф. [https://uk.wikipedia.org/wiki/Цейтлін_Георгій_Овсійович Г.О. Цейтліним], який був провідним співробітником відділу з 2005 по 2013 рік. Специфічною рисою алгебри алгоритміки є формалізація процесів проектування та синтезу (збирання) алгоритмів і програм. Ці об’єкти проектуються в термінах регулярних схем — алгебраїчних подань в САА. Запропоновано теорію клонів, у термінах якої формалізуються основні парадигми сучасного програмування й аспекти формування різних предметних областей. На САА ґрунтуються розроблені завідувачем відділу д.ф.-м.н., проф. А.Ю. Дорошенко алгебро-динамічні моделі високопродуктивної паралельної обробки, в основу яких покладено [https://uk.wikipedia.org/wiki/Алгебра_алгоритмів алгебру алгоритмів] і [https://uk.wikipedia.org/wiki/Теорія_динамічних_систем теорію дискретних динамічних систем].

==Найважливіші фундаментальні та прикладні результати:==
• розроблені алгебро-алгоритмічні та алгебро-динамічні моделі послідовних і паралельних програм для широкого набору мультипроцесорних платформ (багатоядерних процесорів, графічних прискорювачів та обчислювальних кластерів), що дозволяють виконувати формалізоване проектування програм та їх трансформацію з використанням переписувальних правил; 
• розроблено нові засоби опису паралельних алгоритмів в рамках алгебри алгоритмів з даними для класу інформаційно-управляючих систем; 
• побудовані формальні моделі для автоматичної програмної оптимізації на основі використання розширеного поняття дискретної динамічної системи; 
• на основі побудованих алгебро-алгоритмічних моделей та методів розроблено програмні інструментарії: “Інтегрований інструментарій Проектування та Синтезу програм” (ІПС) та “Онлайновий Діалоговий конструктор Синтаксично Правильних програм” (ОДСП), призначені для автоматизації побудови схем алгоритмів, поданих в САА, і генерації програм для різних предметних областей (зокрема, метеорологічного прогнозування); інструментальну систему TuningGenie, призначену для автоматичного самоналаштовування (автотюнінгу) паралельних програм на цільові платформи, яка ґрунтується на трансформації програмного коду на основі використання переписувальних правил; інструментальне середовище gpusim, призначене для імітаційного моделювання високопродуктивних паралельних застосувань для гетерогенних обчислювальних систем з графічними прискорювачами; 
• розроблені засоби застосовані для створення нових чисельних методів та моделей розпаралелювання обчислень для розв’язання задач метеорологічного прогнозування, що дозволяють підвищити якість регіонального прогнозу погоди; 
• створені програмні засоби високопродуктивних паралельних обчислень для розв’язання метеорологічних задач впроваджені в Українському гідрометеорологічному інституті Міністерства надзвичайних ситуацій України та НАН України.

Загалом, співробітниками відділу опубліковано понад 100 наукових праць, серед яких 5 [https://uk.wikipedia.org/wiki/Монографія монографій].

==Нині співробітниками відділу виконуються такі теми:==
===з фундаментальних досліджень:===
III-1-17 – Розроблення алгебро-алгоритмічних методів, технологій та засобів автоматизації паралельного програмування для неоднорідних та Cloud-платформ (науковий керівник д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко І.]]). 
Строки виконання: 2017-2021 
Керівник проекту д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко А.Ю.]]) 
Виконавці: к.ф.-м.н. Жереб К.А., к.ф.-м.н.Ігнатенко О.П., к.ф.-м.н. Яценко О.А.

===з прикладних досліджень:===
III-8-16 – Застосування методів автоматизації проектування для розробки високопродуктивних програм обробки наукових даних на Cloud-платформах (науковий Керівник роботи д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко А.Ю.]]) 
Строки виконання: 2016-2018 
Виконавці: к.ф.-м.н. Жереб К.А., к.ф.-м.н. Ігнатенко О.П., к.ф.-м.н. Яценко О.А. 

fit M.

@@ Рядок 1: / Рядок 1: @@
-Pis M.
+[[Створив::Остаповська_Марія|pis M.]]
 =Відділ теорії комп’ютерних обчислень=
 Один із науково-дослідних відділів [[Належить::Інститут_програмних_систем|Інституту програмних систем НАН України]].

@@ Рядок 1: / Рядок 1: @@
 Pis M.
 =Відділ теорії комп’ютерних обчислень=
 Зав. відділу д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко А.Ю.]]<br>
 У відділі працюють 15 співробітників, з них 1 [[Qualification_9|доктор наук]] ({{#ask:[[Категорія:Співробітник відділу теорії комп’ютерних обчислень]] [[Competence management::Qualification_9]]}}), 3 [[Qualification_8|кандидати наук]] (серед яких: {{#ask:[[Категорія:Співробітник відділу теорії комп’ютерних обчислень]] [[Competence management::Qualification_8]]}}).

@@ Рядок 2: / Рядок 2: @@
 =Відділ теорії комп’ютерних обчислень=
 Зав. відділу д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко А.Ю.]]<br>
-У відділі працюють 15 співробітників, з них 1 [[Qualification_9|доктор наук]] ({{#ask:[[Категорія:Співробітник відділу теорії комп’ютерних обчислень]] [[Competence management::Qualification_9]]}}), 3 [[Qualification_8|кандидати наук]].
+У відділі працюють 15 співробітників, з них 1 [[Qualification_9|доктор наук]] ({{#ask:[[Категорія:Співробітник відділу теорії комп’ютерних обчислень]] [[Competence management::Qualification_9]]}}), 3 [[Qualification_8|кандидати наук]] (серед яких: {{#ask:[[Категорія:Співробітник відділу теорії комп’ютерних обчислень]] [[Competence management::Qualification_8]]}}).
 '''Основний напрям робіт''' – [https://uk.wikipedia.org/wiki/Цифрове_моделювання моделі комп’ютерних систем], [https://uk.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D0%B8 формальні методи] програмування, паралельне програмування і високопродуктивні обчислення.
@@ Рядок 34: / Рядок 34: @@
 III-8-16 – Застосування методів автоматизації проектування для розробки високопродуктивних програм обробки наукових даних на Cloud-платформах (науковий Керівник роботи д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко А.Ю.]])<br>
 Строки виконання: 2016-2018<br>
-Виконавці: к.ф.-м.н. Жереб К.А., к.ф.-м.н. Ігнатенко О.П., к.ф.-м.н. Яценко О.А.<br>
+Виконавці: к.ф.-м.н. Жереб К.А., к.ф.-м.н. [[Ігнатенко Олексій Петрович|Ігнатенко О.П.]], к.ф.-м.н. Яценко О.А.<br>
 [[Категорія: Науково-дослідний відділ ІПС]]

← Попередня версія		Версія за 13:16, 21 липня 2017
Рядок 36:		Рядок 36:
	Виконавці: к.ф.-м.н. Жереб К.А., к.ф.-м.н. Ігнатенко О.П., к.ф.-м.н. Яценко О.А.<br>		Виконавці: к.ф.-м.н. Жереб К.А., к.ф.-м.н. Ігнатенко О.П., к.ф.-м.н. Яценко О.А.<br>

−	Категорія: Науково-дослідний відділ ІПС	+	[[Категорія: Науково-дослідний відділ ІПС]]

@@ Рядок 1: / Рядок 1: @@
 =Відділ теорії комп’ютерних обчислень=
 Зав. відділу д.ф.-м.н., професор [[Дорошенко_Анатолій_Юхимович|Дорошенко А.Ю.]]<br>
@@ Рядок 35: / Рядок 36: @@
 Виконавці: к.ф.-м.н. Жереб К.А., к.ф.-м.н. Ігнатенко О.П., к.ф.-м.н. Яценко О.А.<br>
-fit M.
+Категорія: Науково-дослідний відділ ІПС