Титульні сторінки та зміст

Gespeichert in:
Bibliographische Detailangaben
Datum:2019
Format: Artikel
Sprache:Ukrainian
Veröffentlicht: Інститут програмних систем НАН України 2019
Schriftenreihe:Проблеми програмування
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/162698
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Титульні сторінки та зміст // Проблеми програмування. — 2019. — № 4. — С. 1-2. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-162698
record_format dspace
spelling irk-123456789-1626982020-01-15T01:25:55Z Титульні сторінки та зміст 2019 Article Титульні сторінки та зміст // Проблеми програмування. — 2019. — № 4. — С. 1-2. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/162698 uk Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
format Article
title Титульні сторінки та зміст
spellingShingle Титульні сторінки та зміст
Проблеми програмування
title_short Титульні сторінки та зміст
title_full Титульні сторінки та зміст
title_fullStr Титульні сторінки та зміст
title_full_unstemmed Титульні сторінки та зміст
title_sort титульні сторінки та зміст
publisher Інститут програмних систем НАН України
publishDate 2019
url http://dspace.nbuv.gov.ua/handle/123456789/162698
citation_txt Титульні сторінки та зміст // Проблеми програмування. — 2019. — № 4. — С. 1-2. — укр.
series Проблеми програмування
first_indexed 2025-07-14T15:14:11Z
last_indexed 2025-07-14T15:14:11Z
_version_ 1837635786187472896
fulltext НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ IНСТИТУТ ПРОГРАМНИХ СИСТЕМ ISSN 1727-4907 П Р О Б Л Е М И ПРОГРАМУВАННЯ НАУКОВИЙ ЖУРНАЛ P R O B L E M S IN PROGRAMMING SCIENTIFIC JOURNAL 2019 № 4 Теми випуску:  Інструментальні засоби та середовища програмування  Моделі та засоби систем баз даних і знань  Експертні та інтелектуальні інформаційні системи  Формальні методи розробки програмного забезпечення  Прикладні засоби програмування та програмне забезпечення НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ IНСТИТУТ ПРОГРАМНИХ СИСТЕМ П Р О Б Л Е М И ПРОГРАМУВАННЯ науковий журнал Редакційна колегія Головний редактор П.І. Андон (Україна) Заступник головного редактора О.П. Ігнатенко (Україна) Члени редколегії: А.В. Анісімов (Україна) С.В. Пашко (Україна) О.С. Балабанов (Україна) А.М. Пелещишин (Україна) А.М. Глибовець (Україна) С. Погорілий (Україна) М.М. Глибовець (Україна) О.І. Провотар (Україна) А.Ю. Дорошенко (Україна) І.В. Сергієнко (Україна) А. Корнілович (Польща) М.О. Сидоров (Україна) Н.М. Куссуль (Україна) І.П. Сініцин (Україна) Н.І. Недашківська (Україна) С.Ф. Теленик (Україна) М.С. Нікітченко (Україна) Л. Хлухі (Словаччина) В.В. Пасічник (Україна) Адреса для кореспонденції Інститут програмних систем НАН України Проспект Академіка Глушкова, 40 03187, Київ-187 Затверджено до друку вченою радою Інституту програмних систем НАН України. Протокол № 8 від 12.09.2019 р. Редактор В.П. Замула Комп’ютерна верстка В.П. Замула Підписано до друку 28.11.2019. Формат 60х84/8. Папір офс. Ум. друк. арк. 15,11. Обл.-вид. арк. 12,41. Тираж 120 прим. Ціна договірна. Замовл. Віддруковано ВД «Академперіодика» НАН України вул. Терещенківська, 4, м. Київ, 01004 Свідоцтво суб’єкта видавничої справи ДК № 544 від 27.07.2001 Головний редактор Андон Пилип Іларіонович академік НАН України, директор Iнституту програмних систем НАН України Інститут програмних систем НАН України проспект Академіка Глушкова, 40, корп. 5 03187, Київ-187 Тел.+380 (44) 526 5507 E-mail: andon@isofts.kiev.ua http://www.pp.isofts.kiev.ua Тел.: +380 (44) 526 5065 Факс: +380 (44) 526 6263 E-mail: iss@isofts.kiev.ua НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ IНСТИТУТ ПРОГРАМНИХ СИСТЕМ ПРОБЛЕМИ ПРОГРАМУВАННЯ науковий журнал № 4 жовтень – грудень 2019 Заснований у березні 1999 р. ЗМІСТ Інструментальні засоби та середовища програмування Rahozin Dmytro V. A resource limited parallel program model 3 Моделі та засоби систем баз даних і знань Рогушина Ю.В., Гришанова І.Ю. Використання онтологій для розши- рення можливостей пошуку та навігації в онлайн-версії «Великої української енциклопедії» 11 Рогушина Ю.В. Використання тезаурусів для пошуку складних інформацій- них об’єктів у Web на основі онтологій 28 Експертні та інтелектуальні інформаційні системи Захарова О. Класифікація метаданих великих даних 53 Ільїна О.П., Слабоспицька О.О. Підхід до побудови та використання моделі предметної області ризиків стратегічних рішень організації 75 Формальні методи розробки програмного забезпечення Мороз О.Г., Мороз Г.Б. Применение машинного обучения в программ- ной инженерии: обзор 92 Прикладні засоби програмування та програмне забезпечення Григорян Р.Д., Дегода А.Г., Джуринський Е.А. Программный симулятор механизмов долговременной регуляции гемодинамики человека 111 Кузьміна К.І., Сьомик Т.М., Шереметова Л.М. Інноваційна педа- гогічна комп'ютерна технологія оптимізації шкільного колективу в аспекті знань про біосоціальну структуру особистості його членів 121 Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003 Науковий журнал “Проблеми програмування” занесений до переліку наукових фахових видань України, в яких можуть публікуватися основні результати дисертаційних робіт. ISSN 1727-4907 .  Інститут програмних систем НАН України, 2019 NATIONAL ACADEMY OF SCIENCES OF UKRAINE INSTITUTE OF SOFTWARE SYSTEMS PROBLEMS IN PROGRAMMING scientific journal № 4 October – December 2019 Founded in March, 1999 CONTENTS Software Environment and Tools Rahozin Dmytro V. A resource limited parallel program model 3 Models and facilities for data and knowledge bases Rogushina J., Grishanova I. Use of ontologies for search and navigation improvement in the online version of the “Great ukrainian encyclopedia” 11 Rogushina J. Use of thesauruses for search of complex information objects on Web on the basis of ontologies 28 Expert and intelligent information systems Zakharova O. Big data metadata classification 53 Ilina E.P., Slabospitskaya О.O. An approach for problem area elaboration and usage of organization’s strategic decisions risks 75 Formal Methods for Software Delelopment Moroz O.H., Moroz H.B. Application of machine learning in software engineering: an overview 92 Critical Systems Software Grygoryan R.D., Degoda A.G., Dzhurinsky E.A. A simulator of mechanisms of long-term control of human hemodynamics 111 Kuzmina K.I., Syomik T.M., Sheremetova L.N. Innovative pedagogical computer technology optimization school community in the aspect of knowledge about the biosocial personality structure of its members 121