Інститут програмних систем Національної академії наук України (ІПС НАН України) — наукова установа у складі відділення інформатики НАН України секції фізико-технічних і математичних наук Національної академії наук України.
Інститут програмних систем НАН України | ||||
---|---|---|---|---|
Основні дані | ||||
Засновано | 1992 | |||
Приналежність | Відділення інформатики НАН України | |||
Сфера | програмна інженерія | |||
Кількість співробітників | 109 | |||
Контакт | ||||
Ключові особи | Сініцин Ігор Петрович, директор | |||
Розташування | Україна, Київ | |||
Країна | Україна | |||
Адреса | просп. Академіка Глушкова, 40, корп. 5 | |||
Тип | науково-дослідний інститут | |||
Материнська організація | НАН України | |||
Вебсторінка | iss.nas.gov.ua | |||
Мапа | ||||
Інститут займається фундаментальними і прикладними науковими дослідженнями у галузі програмування та інформаційних технологій, розробкою програмного забезпечення та впровадженням результатів наукових досягнень у державну, соціальну та оборонну сфери життєдіяльності України.
Інститут входить до складу Кібернетичного центру НАН України.
Основні напрями діяльності
Основними завданнями Інституту є проведення фундаментальних та прикладних наукових досліджень з метою одержання нових знань та їх використання для практичних цілей:
- Теоретичні та прикладні проблеми створення систем та технологій програмування
- Моделі і засоби програмної інженерії
- Проблеми оцінки і забезпечення якості, стандартизації та сертифікації програмних систем
- Формально-логічні основи, методи і засоби створення інтелектуальних інформаційних систем, банків даних та знань
- Математичні моделі, методи та програмне забезпечення для створення складних розподілених комп'ютерних систем
Історія
У 1980 році з метою централізації робіт по розробці програмного забезпечення ЕОМ і систем на основі нових технологій програмування, уніфікації і типізації програмних засобів, організації їх розповсюдження, впровадження і супроводження в промисловому масштабі було створене Спеціальне конструкторсько-технологічне бюро програмного забезпечення Інституту кібернетики імені В. М. Глушкова НАН України (СКТБ ПО ІК НАН України). Очолив новостворений відділ доктор фізико-математичних наук, член-кореспондент АН УРСР Анатолій Стогній.
У 1992 році на основі бюро виник Інститут програмних систем Національної академії наук України. Очолив інститут доктор фізико-математичних наук, академік НАН України Пилип Андон. Зараз інститут очолює доктор технічних наук Ігор Сініцин.
За перші роки своєї діяльності науковці інституту створили різні версії інструментального середовища програмування ПАЛЬМА, що підтримує створення великих реляційних баз даних і прикладних програм; загальносистемні програмні засоби управління даними великих об'ємів і складної структури в автоматизованих інформаційних системах, системах обробки даних і управління ПРОК 1; CASE-систему автоматизації виробництва програм АПРОП-2 з режимом колективного доступу; моделюючий комплекс АЛСИМ-2 для комплексного моделювання складних технічних систем та інше.
Надалі колективи вчених інституту займалися:
- розвитком теоретичного апарату компонентного програмування із зовнішньою та внутрішньою компонентною алгеброю;
- розробкою об'єктно-компонентного методу проектування програмних систем;
- створенням та розвитком формальних моделей програм, інтерфейсів та середовищ і методології побудови програмних систем із типових і готових компонентів повторного використання;
- розробкою формального апарату та семантичних інструментально-технологічних та мовних засобів агентно-орієнтованого програмування;
- створенням методів паралельних обчислень для прикладних програмних систем, у межах яких отримала подальший розвиток алгебра алгоритміки, як теоретична основа автоматизації проектування паралельних алгоритмів і програм;
- розробкою інструментальної системи проектування і синтезу програмного забезпечення для паралельних і розподілених середовищ (багатоядерних, кластерних та ґрід);
- розробкою моделі (логіко-обчислювальної семантичної мережі) та програмно-інструментального середовища подання та обробки чітких і нечітких знань.
- розробкою моделей, методів та засобів створення інтелектуальних інформаційних систем у семантичному WEB-середовищі на основі агентного підходу;
- розробкою методів та моделей автоматизованої підтримки експертно-аналітичної методології прийняття рішень в мультиагентних комп'ютерних системах;
- створенням моделей і методів глибокого аналізу даних.
Інститутом розроблено і впроваджено в промислову, соціальну і оборонну сфери більше 80 проектів зі створення інформаційних технологій і комп'ютерних систем на замовлення Міністерства оборони України, Державної прикордонної служби України, Міністерства промислової політики України, Міністерства транспорту та зв'язку України, Державного космічного агентства України, Гідрометцентру України тощо. Серед них:
- глобальна автоматизована інформаційна система Прикордонних військ України (АІС «Гарт»);
- інтегрована міжвідомча інформаційно-телекомунікаційна система для контролю осіб, транспортних засобів та вантажів, які перетинають державний кордон України (система «Аркан»);
- спеціалізований моделюючий програмний комплекс «КОСМОНАВТ» для дослідження і оцінки стану кровообігу космонавтів на всіх етапах космічного польоту;
- інформаційні системи автоматизації повсякденної діяльності управлінь МО України та Генштабу ЗСУ;
- комплекс програмних засобів підтримки експертного ухвалення рішень «Ексгрунт» в складних, слабоформалізованих сферах діяльності (соціально-політичні, економічні, науково-технічні і т. п.);
- апаратно-програмний комплекс «Захист» для захисту локальних і мережних АРМ від несанкціонованого доступу з ідентифікацією користувачів електронними мікропроцесорними картками;
- інструментально-технологічний програмний комплекс проведення контент-аналітичних досліджень повнотекстових баз даних;
- інструментальні програмно-технологічні засоби для підтримки проектування і реалізації розподілених прикладних систем об'єктно-орієнтованого типу загального призначення;
- комп'ютерна система для формування і ведення аеронавігаційного пакету документів, даних і карт;
- система паралельних обчислень для оперативного і високоточного аналізу і прогнозування регіональних природних і техногенних процесів в атмосфері;
- ГІС-технологія дослідження впливу навколишнього середовища на стан здоров'я населення.
Інститут є базовою організацією з виконання Програми інформатизації НАН України, у рамках якої:
- створено академічну мережу обміну даними (АМОД);
- розроблено програмно-технологічний комплекс для підтримки діяльності установ НАН України;
- створено реєстр інформаційних ресурсів НАН України та інформаційно-пошукову систему;
- розроблено програмно-технічні засоби, технологію та методичне забезпечення для побудови наукових електронних бібліотек (НЕБ) НАН України;
- створено промисловий варіант централізованої НЕБ періодичних видань НАНУ;
- створено інтегровану систему пошуку у електронних бібліотеках України.
Інститут співпрацює з Державною науковою установою «Енциклопедичне видавництво» у створенні портальної версії Великої української енциклопедії на основі семантичних вікі-технологій.
Загальна інформація
В інституті працює понад 109 співробітників, серед яких один академік НАН України, 7 докторів і 22 кандидати наук (технічних, фізико-математичних і біологічних). Співробітники інституту неодноразово були удостоєні державних та відомчих почесних звань, премій та нагород. Зокрема, Пилип Андон та Катерина Лавріщева стали лауреатами Державної премії України в галузі науки і техніки 2003 року за цикл наукових робіт «Теоретичні основи та інструментальні засоби розробки програмного забезпечення інформаційних технологій» у складі колективу. Сініцин Ігор Петрович, Шевченко Віктор Леонідович та Ільїна Олена Павлівна стали лауреатами лауреатами Державної премії України в галузі науки і техніки 2020 року (в області програмного забезпечення управління оборонними ресурсами)
При інституті працює аспірантура за програмою підготовки здобувачів ступеня доктора філософії за спеціальністю 122 Комп'ютерні науки. Освітня підготовка аспірантів здійснюється спільно з Національним університетом «Києво-Могилянська академія».
Інститут є:
- членом міжнародних наукових асоціацій Association for Computing Machinery (АСМ) та IEEE Computer Society (США);
- членом Міжнародної організації зі стандартизації (ISO) в рамках підкомітету «Інженерія програмних засобів»;
- членом Асоціації європейських національних спілок дослідження операцій;
- ініціатором створення українського відділення Association for Computing Machinery (АСМ), яке було зареєстровано в АСМ на початку 2008 року.
ІПС НАН України є засновником і видавцем наукового журналу «Проблеми програмування» та співзасновником міжнародної конференції з програмування «УкрПРОГ».
Основні наукові досягнення
Інститут виконує фундаментальні та прикладні дослідження, найбільш вагомими науковими результатами яких є:
- Розроблено модель продуктивності виводу в загорткових нейронних мережах для задач розпізнавання об’єктів та запропоновано метод її оцінки на основі пам‘яті нейромережевих застосунків для прогнозування їх виконання у вбудованих системах.
- Розроблено нову паралельну реалізацію техніки нейроеволюції наростаючих топологій для розв’язання задач автоматизації управління на основі машинного навчання з підкріпленням.
- Створено систему прогнозу погоди підвищеної просторової роздільності для території України на основі використання методу вкладених сіток.
- Запропоновано вдосконалення репозиторіїв формальних засобів побудови адаптивного композитного сервісу налаштованими техніками навчання з підкріпленням для надання сервісу налаштування техніками навчання з підкріпленням для надання сервісу додаткової властивості часткової само-адаптивності.
- Розроблено методологія інтерпретації темпоральних операторів.
- Розроблено концепцію та реалізацію архітектури з організації аналітичного сховища великих даних на основі інфраструктури Google Cloud Platform.
- Розроблено прикладне сервіс-орієнтоване програмне забезпечення для модулювання та виводу інформації з середовища Big Data на основі технологій Neo4j та PHP з оптимізацію виводу інформації та з підтримкою моделі якості та з імпортом даних через технологію ETL.
- Розгорнуто та апробовано програмні засоби IRODS та GitLAB, які можуть бути використані в якості прототипів репозиторіїв первинних даних та програмного забезпечення національного рівня.
- Створена модель віртуальної клітини. Модель описує динаміку метаболізму та синтезу і використання енергії (молекул АТФ).
- Розроблено технології підтримки прийняття рішень щодо захисту інформаційних систем НАН України від атак та інцидентів “нульового дня”, які є найбільш небезпечними і непередбачуваними.
- Виконано відновлення інформаційної інфраструктури НАН України після масштабних кібератак державних доменів російською агресією. Проведено комутацію нових серверів та маршрутизатора в інфраструктуру серверного приміщення Інститутів НАН України та перенесення інформаційної інфраструктури НАН України на нові обчислювальні потужності. Організовано технічну та нормативну взаємодію з Ситуаційним центром забезпечення кібербезпеки Служби безпеки України для протидії кіберзагрозам в межах інформаційної інфраструктури НАН України.
- Розроблено системи формалізованих технологічних процедур для побудови моделі якості бізнес-процесу та її спеціалізації для сфери управління оборонними ресурсами ЗС України у форматі системи індикаторів стану ресурсів.
- Розроблено проект рішення впровадження у дослідну експлуатацію інформаційно-комунікаційної системи LOGFAS.
Структура
Науково-дослідні підрозділи
Станом на березень 2023 у складі інституту сім науково-дослідних відділів:
- Відділ інформаційно-комунікаційних систем спеціального призначення
- Відділ теорії комп’ютерних обчислень
- Відділ автоматизованих систем організаційного управління
- Відділ автоматизованих систем програмно-цільового управління
- Відділ проблем моделювання та надійності людино-машинних систем
- Відділ проблем практичної інформатики
- Відділ автоматизованих інформаційних систем, зав. відділом Андон Пилип Іларіонович
Аспірантура
У Інституті діє аспірантура з новими правилами підготовки докторів філософії (ліцензія від 19.07.2016 Наказ МОН України № 856). Підготовка здійснюється за спеціальністю 122 “Комп’ютерні науки та інформаційні технології” спільно із Національним університетом “Києво-Могилянська академія”. В даний час в аспірантурі навчаються 23 аспіранти очної форми навчання.
Видавнича діяльність
ІПС НАН України є засновником і видавцем наукового журналу «Проблеми програмування», ISSN 1727-4907, Свідоцтво про внесення до Державного реєстру суб`єкта академічної справи серії ДК №544 від 27.07.2001 р. Науковий журнал “Проблеми програмування” заснований у 1999 році та занесений до переліку наукових видань ВАК України, в яких можуть публікуватися результати досліджень українською та англійською мовами.
Конференції
Інститут програмних систем НАН України є співорганізатором міжнародної наукової конференції з програмування УкрПРОГ. Ця конференція регулярно проводиться кожні 2 роки.
Підготовлено та проведено 13 конференцій УкрПРОГ (1998 р., 2000 р., 2002 р., 2004 р., 2006 р., 2008 р., 2010 р., 2012 р., 2014 р., 2016 р. 2018 р., 2020 р., 2022 р.).
Матеріали конференції публікуються у спеціальному випуску журналу “Проблеми програмування” та індиксуються в міжнародній наукометричній базі SCOPUS .
Метою конференції є висвітлення найважливіших досягнень у науці та практиці програмування і програмної інженерії та визначення головних напрямків розвитку цієї ділянки науки і технології.
Тематичні напрямки конференції:
- теоретичні і методологічні основи програмування;
- паралельне програмування розподілених систем і мереж;
- методи і засоби програмної інженерії;
- формальні методи програмування;
- моделі і засоби систем баз даних та знань;
- освітні та навчальні аспекти програмування;
- інформаційні системи;
- захист інформації;
- інструментальні засоби та середовища програмування;
- прикладне програмне забезпечення.
Робочими мовами конференції є українська та англійська.
Примітки
- Інституту програмних систем НАН України — 30 років. НАН України. 2 липня 2022. Процитовано 10 липня 2022.
- Науково-дослідні відділи. Інститут програмних систем НАН України. Процитовано 7 березня 2023.
Посилання
- Інститут програмних систем НАН України.
- Інститут програмних систем НАН України, Національна академія наук України
- Проблеми програмування. Науковий журнал.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Institut programnih sistem Nacionalnoyi akademiyi nauk Ukrayini IPS NAN Ukrayini naukova ustanova u skladi viddilennya informatiki NAN Ukrayini sekciyi fiziko tehnichnih i matematichnih nauk Nacionalnoyi akademiyi nauk Ukrayini Institut programnih sistem NAN Ukrayini Osnovni dani Zasnovano 1992 Prinalezhnist Viddilennya informatiki NAN UkrayiniSfera programna inzheneriyaKilkist spivrobitnikiv 109 Kontakt Klyuchovi osobi Sinicin Igor Petrovich direktorRoztashuvannya Ukrayina KiyivKrayina UkrayinaAdresa prosp Akademika Glushkova 40 korp 5Tip naukovo doslidnij institutMaterinska organizaciya NAN UkrayiniVebstorinka iss nas gov ua Mapa Institut zajmayetsya fundamentalnimi i prikladnimi naukovimi doslidzhennyami u galuzi programuvannya ta informacijnih tehnologij rozrobkoyu programnogo zabezpechennya ta vprovadzhennyam rezultativ naukovih dosyagnen u derzhavnu socialnu ta oboronnu sferi zhittyediyalnosti Ukrayini Institut vhodit do skladu Kibernetichnogo centru NAN Ukrayini Osnovni napryami diyalnostiOsnovnimi zavdannyami Institutu ye provedennya fundamentalnih ta prikladnih naukovih doslidzhen z metoyu oderzhannya novih znan ta yih vikoristannya dlya praktichnih cilej Teoretichni ta prikladni problemi stvorennya sistem ta tehnologij programuvannya Modeli i zasobi programnoyi inzheneriyi Problemi ocinki i zabezpechennya yakosti standartizaciyi ta sertifikaciyi programnih sistem Formalno logichni osnovi metodi i zasobi stvorennya intelektualnih informacijnih sistem bankiv danih ta znan Matematichni modeli metodi ta programne zabezpechennya dlya stvorennya skladnih rozpodilenih komp yuternih sistemIstoriyaU 1980 roci z metoyu centralizaciyi robit po rozrobci programnogo zabezpechennya EOM i sistem na osnovi novih tehnologij programuvannya unifikaciyi i tipizaciyi programnih zasobiv organizaciyi yih rozpovsyudzhennya vprovadzhennya i suprovodzhennya v promislovomu masshtabi bulo stvorene Specialne konstruktorsko tehnologichne byuro programnogo zabezpechennya Institutu kibernetiki imeni V M Glushkova NAN Ukrayini SKTB PO IK NAN Ukrayini Ocholiv novostvorenij viddil doktor fiziko matematichnih nauk chlen korespondent AN URSR Anatolij Stognij U 1992 roci na osnovi byuro vinik Institut programnih sistem Nacionalnoyi akademiyi nauk Ukrayini Ocholiv institut doktor fiziko matematichnih nauk akademik NAN Ukrayini Pilip Andon Zaraz institut ocholyuye doktor tehnichnih nauk Igor Sinicin Za pershi roki svoyeyi diyalnosti naukovci institutu stvorili rizni versiyi instrumentalnogo seredovisha programuvannya PALMA sho pidtrimuye stvorennya velikih relyacijnih baz danih i prikladnih program zagalnosistemni programni zasobi upravlinnya danimi velikih ob yemiv i skladnoyi strukturi v avtomatizovanih informacijnih sistemah sistemah obrobki danih i upravlinnya PROK 1 CASE sistemu avtomatizaciyi virobnictva program APROP 2 z rezhimom kolektivnogo dostupu modelyuyuchij kompleks ALSIM 2 dlya kompleksnogo modelyuvannya skladnih tehnichnih sistem ta inshe Nadali kolektivi vchenih institutu zajmalisya rozvitkom teoretichnogo aparatu komponentnogo programuvannya iz zovnishnoyu ta vnutrishnoyu komponentnoyu algebroyu rozrobkoyu ob yektno komponentnogo metodu proektuvannya programnih sistem stvorennyam ta rozvitkom formalnih modelej program interfejsiv ta seredovish i metodologiyi pobudovi programnih sistem iz tipovih i gotovih komponentiv povtornogo vikoristannya rozrobkoyu formalnogo aparatu ta semantichnih instrumentalno tehnologichnih ta movnih zasobiv agentno oriyentovanogo programuvannya stvorennyam metodiv paralelnih obchislen dlya prikladnih programnih sistem u mezhah yakih otrimala podalshij rozvitok algebra algoritmiki yak teoretichna osnova avtomatizaciyi proektuvannya paralelnih algoritmiv i program rozrobkoyu instrumentalnoyi sistemi proektuvannya i sintezu programnogo zabezpechennya dlya paralelnih i rozpodilenih seredovish bagatoyadernih klasternih ta grid rozrobkoyu modeli logiko obchislyuvalnoyi semantichnoyi merezhi ta programno instrumentalnogo seredovisha podannya ta obrobki chitkih i nechitkih znan rozrobkoyu modelej metodiv ta zasobiv stvorennya intelektualnih informacijnih sistem u semantichnomu WEB seredovishi na osnovi agentnogo pidhodu rozrobkoyu metodiv ta modelej avtomatizovanoyi pidtrimki ekspertno analitichnoyi metodologiyi prijnyattya rishen v multiagentnih komp yuternih sistemah stvorennyam modelej i metodiv glibokogo analizu danih Institutom rozrobleno i vprovadzheno v promislovu socialnu i oboronnu sferi bilshe 80 proektiv zi stvorennya informacijnih tehnologij i komp yuternih sistem na zamovlennya Ministerstva oboroni Ukrayini Derzhavnoyi prikordonnoyi sluzhbi Ukrayini Ministerstva promislovoyi politiki Ukrayini Ministerstva transportu ta zv yazku Ukrayini Derzhavnogo kosmichnogo agentstva Ukrayini Gidrometcentru Ukrayini tosho Sered nih globalna avtomatizovana informacijna sistema Prikordonnih vijsk Ukrayini AIS Gart integrovana mizhvidomcha informacijno telekomunikacijna sistema dlya kontrolyu osib transportnih zasobiv ta vantazhiv yaki peretinayut derzhavnij kordon Ukrayini sistema Arkan specializovanij modelyuyuchij programnij kompleks KOSMONAVT dlya doslidzhennya i ocinki stanu krovoobigu kosmonavtiv na vsih etapah kosmichnogo polotu informacijni sistemi avtomatizaciyi povsyakdennoyi diyalnosti upravlin MO Ukrayini ta Genshtabu ZSU kompleks programnih zasobiv pidtrimki ekspertnogo uhvalennya rishen Eksgrunt v skladnih slaboformalizovanih sferah diyalnosti socialno politichni ekonomichni naukovo tehnichni i t p aparatno programnij kompleks Zahist dlya zahistu lokalnih i merezhnih ARM vid nesankcionovanogo dostupu z identifikaciyeyu koristuvachiv elektronnimi mikroprocesornimi kartkami instrumentalno tehnologichnij programnij kompleks provedennya kontent analitichnih doslidzhen povnotekstovih baz danih instrumentalni programno tehnologichni zasobi dlya pidtrimki proektuvannya i realizaciyi rozpodilenih prikladnih sistem ob yektno oriyentovanogo tipu zagalnogo priznachennya komp yuterna sistema dlya formuvannya i vedennya aeronavigacijnogo paketu dokumentiv danih i kart sistema paralelnih obchislen dlya operativnogo i visokotochnogo analizu i prognozuvannya regionalnih prirodnih i tehnogennih procesiv v atmosferi GIS tehnologiya doslidzhennya vplivu navkolishnogo seredovisha na stan zdorov ya naselennya Institut ye bazovoyu organizaciyeyu z vikonannya Programi informatizaciyi NAN Ukrayini u ramkah yakoyi stvoreno akademichnu merezhu obminu danimi AMOD rozrobleno programno tehnologichnij kompleks dlya pidtrimki diyalnosti ustanov NAN Ukrayini stvoreno reyestr informacijnih resursiv NAN Ukrayini ta informacijno poshukovu sistemu rozrobleno programno tehnichni zasobi tehnologiyu ta metodichne zabezpechennya dlya pobudovi naukovih elektronnih bibliotek NEB NAN Ukrayini stvoreno promislovij variant centralizovanoyi NEB periodichnih vidan NANU stvoreno integrovanu sistemu poshuku u elektronnih bibliotekah Ukrayini Institut spivpracyuye z Derzhavnoyu naukovoyu ustanovoyu Enciklopedichne vidavnictvo u stvorenni portalnoyi versiyi Velikoyi ukrayinskoyi enciklopediyi na osnovi semantichnih viki tehnologij Zagalna informaciyaV instituti pracyuye ponad 109 spivrobitnikiv sered yakih odin akademik NAN Ukrayini 7 doktoriv i 22 kandidati nauk tehnichnih fiziko matematichnih i biologichnih Spivrobitniki institutu neodnorazovo buli udostoyeni derzhavnih ta vidomchih pochesnih zvan premij ta nagorod Zokrema Pilip Andon ta Katerina Lavrisheva stali laureatami Derzhavnoyi premiyi Ukrayini v galuzi nauki i tehniki 2003 roku za cikl naukovih robit Teoretichni osnovi ta instrumentalni zasobi rozrobki programnogo zabezpechennya informacijnih tehnologij u skladi kolektivu Sinicin Igor Petrovich Shevchenko Viktor Leonidovich ta Ilyina Olena Pavlivna stali laureatami laureatami Derzhavnoyi premiyi Ukrayini v galuzi nauki i tehniki 2020 roku v oblasti programnogo zabezpechennya upravlinnya oboronnimi resursami Pri instituti pracyuye aspirantura za programoyu pidgotovki zdobuvachiv stupenya doktora filosofiyi za specialnistyu 122 Komp yuterni nauki Osvitnya pidgotovka aspirantiv zdijsnyuyetsya spilno z Nacionalnim universitetom Kiyevo Mogilyanska akademiya Institut ye chlenom mizhnarodnih naukovih asociacij Association for Computing Machinery ASM ta IEEE Computer Society SShA chlenom Mizhnarodnoyi organizaciyi zi standartizaciyi ISO v ramkah pidkomitetu Inzheneriya programnih zasobiv chlenom Asociaciyi yevropejskih nacionalnih spilok doslidzhennya operacij iniciatorom stvorennya ukrayinskogo viddilennya Association for Computing Machinery ASM yake bulo zareyestrovano v ASM na pochatku 2008 roku IPS NAN Ukrayini ye zasnovnikom i vidavcem naukovogo zhurnalu Problemi programuvannya ta spivzasnovnikom mizhnarodnoyi konferenciyi z programuvannya UkrPROG Osnovni naukovi dosyagnennyaInstitut vikonuye fundamentalni ta prikladni doslidzhennya najbilsh vagomimi naukovimi rezultatami yakih ye Rozrobleno model produktivnosti vivodu v zagortkovih nejronnih merezhah dlya zadach rozpiznavannya ob yektiv ta zaproponovano metod yiyi ocinki na osnovi pam yati nejromerezhevih zastosunkiv dlya prognozuvannya yih vikonannya u vbudovanih sistemah Rozrobleno novu paralelnu realizaciyu tehniki nejroevolyuciyi narostayuchih topologij dlya rozv yazannya zadach avtomatizaciyi upravlinnya na osnovi mashinnogo navchannya z pidkriplennyam Stvoreno sistemu prognozu pogodi pidvishenoyi prostorovoyi rozdilnosti dlya teritoriyi Ukrayini na osnovi vikoristannya metodu vkladenih sitok Zaproponovano vdoskonalennya repozitoriyiv formalnih zasobiv pobudovi adaptivnogo kompozitnogo servisu nalashtovanimi tehnikami navchannya z pidkriplennyam dlya nadannya servisu nalashtuvannya tehnikami navchannya z pidkriplennyam dlya nadannya servisu dodatkovoyi vlastivosti chastkovoyi samo adaptivnosti Rozrobleno metodologiya interpretaciyi temporalnih operatoriv Rozrobleno koncepciyu ta realizaciyu arhitekturi z organizaciyi analitichnogo shovisha velikih danih na osnovi infrastrukturi Google Cloud Platform Rozrobleno prikladne servis oriyentovane programne zabezpechennya dlya modulyuvannya ta vivodu informaciyi z seredovisha Big Data na osnovi tehnologij Neo4j ta PHP z optimizaciyu vivodu informaciyi ta z pidtrimkoyu modeli yakosti ta z importom danih cherez tehnologiyu ETL Rozgornuto ta aprobovano programni zasobi IRODS ta GitLAB yaki mozhut buti vikoristani v yakosti prototipiv repozitoriyiv pervinnih danih ta programnogo zabezpechennya nacionalnogo rivnya Stvorena model virtualnoyi klitini Model opisuye dinamiku metabolizmu ta sintezu i vikoristannya energiyi molekul ATF Rozrobleno tehnologiyi pidtrimki prijnyattya rishen shodo zahistu informacijnih sistem NAN Ukrayini vid atak ta incidentiv nulovogo dnya yaki ye najbilsh nebezpechnimi i neperedbachuvanimi Vikonano vidnovlennya informacijnoyi infrastrukturi NAN Ukrayini pislya masshtabnih kiberatak derzhavnih domeniv rosijskoyu agresiyeyu Provedeno komutaciyu novih serveriv ta marshrutizatora v infrastrukturu servernogo primishennya Institutiv NAN Ukrayini ta perenesennya informacijnoyi infrastrukturi NAN Ukrayini na novi obchislyuvalni potuzhnosti Organizovano tehnichnu ta normativnu vzayemodiyu z Situacijnim centrom zabezpechennya kiberbezpeki Sluzhbi bezpeki Ukrayini dlya protidiyi kiberzagrozam v mezhah informacijnoyi infrastrukturi NAN Ukrayini Rozrobleno sistemi formalizovanih tehnologichnih procedur dlya pobudovi modeli yakosti biznes procesu ta yiyi specializaciyi dlya sferi upravlinnya oboronnimi resursami ZS Ukrayini u formati sistemi indikatoriv stanu resursiv Rozrobleno proekt rishennya vprovadzhennya u doslidnu ekspluataciyu informacijno komunikacijnoyi sistemi LOGFAS StrukturaNaukovo doslidni pidrozdili Stanom na berezen 2023 u skladi institutu sim naukovo doslidnih viddiliv Viddil informacijno komunikacijnih sistem specialnogo priznachennya Viddil teoriyi komp yuternih obchislen Viddil avtomatizovanih sistem organizacijnogo upravlinnya Viddil avtomatizovanih sistem programno cilovogo upravlinnya Viddil problem modelyuvannya ta nadijnosti lyudino mashinnih sistem Viddil problem praktichnoyi informatiki Viddil avtomatizovanih informacijnih sistem zav viddilom Andon Pilip Ilarionovich Aspirantura U Instituti diye aspirantura z novimi pravilami pidgotovki doktoriv filosofiyi licenziya vid 19 07 2016 Nakaz MON Ukrayini 856 Pidgotovka zdijsnyuyetsya za specialnistyu 122 Komp yuterni nauki ta informacijni tehnologiyi spilno iz Nacionalnim universitetom Kiyevo Mogilyanska akademiya V danij chas v aspiranturi navchayutsya 23 aspiranti ochnoyi formi navchannya Vidavnicha diyalnist IPS NAN Ukrayini ye zasnovnikom i vidavcem naukovogo zhurnalu Problemi programuvannya ISSN 1727 4907 Svidoctvo pro vnesennya do Derzhavnogo reyestru sub yekta akademichnoyi spravi seriyi DK 544 vid 27 07 2001 r Naukovij zhurnal Problemi programuvannya zasnovanij u 1999 roci ta zanesenij do pereliku naukovih vidan VAK Ukrayini v yakih mozhut publikuvatisya rezultati doslidzhen ukrayinskoyu ta anglijskoyu movami Konferenciyi Institut programnih sistem NAN Ukrayini ye spivorganizatorom mizhnarodnoyi naukovoyi konferenciyi z programuvannya UkrPROG Cya konferenciya regulyarno provoditsya kozhni 2 roki Pidgotovleno ta provedeno 13 konferencij UkrPROG 1998 r 2000 r 2002 r 2004 r 2006 r 2008 r 2010 r 2012 r 2014 r 2016 r 2018 r 2020 r 2022 r Materiali konferenciyi publikuyutsya u specialnomu vipusku zhurnalu Problemi programuvannya ta indiksuyutsya v mizhnarodnij naukometrichnij bazi SCOPUS Metoyu konferenciyi ye visvitlennya najvazhlivishih dosyagnen u nauci ta praktici programuvannya i programnoyi inzheneriyi ta viznachennya golovnih napryamkiv rozvitku ciyeyi dilyanki nauki i tehnologiyi Tematichni napryamki konferenciyi teoretichni i metodologichni osnovi programuvannya paralelne programuvannya rozpodilenih sistem i merezh metodi i zasobi programnoyi inzheneriyi formalni metodi programuvannya modeli i zasobi sistem baz danih ta znan osvitni ta navchalni aspekti programuvannya informacijni sistemi zahist informaciyi instrumentalni zasobi ta seredovisha programuvannya prikladne programne zabezpechennya Robochimi movami konferenciyi ye ukrayinska ta anglijska PrimitkiInstitutu programnih sistem NAN Ukrayini 30 rokiv NAN Ukrayini 2 lipnya 2022 Procitovano 10 lipnya 2022 Naukovo doslidni viddili Institut programnih sistem NAN Ukrayini Procitovano 7 bereznya 2023 PosilannyaInstitut programnih sistem NAN Ukrayini Institut programnih sistem NAN Ukrayini Nacionalna akademiya nauk Ukrayini Problemi programuvannya Naukovij zhurnal