Титульні сторінки та зміст
Gespeichert in:
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 Ukraineid |
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
|