Титульні сторінки та зміст
Gespeichert in:
| Datum: | 2017 |
|---|---|
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2017
|
| Schriftenreihe: | Проблеми програмування |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/144045 |
| 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: | Титульні сторінки та зміст // Проблеми програмування. — 2017. — № 1. — С. 1-2. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-144045 |
|---|---|
| record_format |
dspace |
| spelling |
nasplib_isofts_kiev_ua-123456789-1440452025-02-23T19:31:00Z Титульні сторінки та зміст 2017 Article Титульні сторінки та зміст // Проблеми програмування. — 2017. — № 1. — С. 1-2. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144045 ru Проблеми програмування application/pdf Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| format |
Article |
| title |
Титульні сторінки та зміст |
| spellingShingle |
Титульні сторінки та зміст Проблеми програмування |
| title_short |
Титульні сторінки та зміст |
| title_full |
Титульні сторінки та зміст |
| title_fullStr |
Титульні сторінки та зміст |
| title_full_unstemmed |
Титульні сторінки та зміст |
| title_sort |
титульні сторінки та зміст |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2017 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/144045 |
| citation_txt |
Титульні сторінки та зміст // Проблеми програмування. — 2017. — № 1. — С. 1-2. — укр. |
| series |
Проблеми програмування |
| first_indexed |
2025-11-24T16:08:06Z |
| last_indexed |
2025-11-24T16:08:06Z |
| _version_ |
1849688574175215616 |
| fulltext |
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ISSN 1727-4907
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
НАУКОВИЙ ЖУРНАЛ
P R O B L E M S
IN PROGRAMMING
SCIENTIFIC JOURNAL
2017
№ 1
Теми випуску:
Теоретичні та методологічні основи
програмування
Моделі та засоби систем баз даних і знань
Моделі та засоби паралельних і розподілених
програм
Експертні та інтелектуальні інформаційні
системи
Архітектура програмного забезпечення
Математичне моделювання об’єктів та процесів
Прикладні засоби програмування та програмне
забезпечення
inc
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
науковий журнал
Редакційна колегія
Головний редактор
П.І. Андон (Україна)
Заступник
головного редактора
А.Л. Яловець (Україна)
Члени редколегії:
А.В. Анісімов
О.С. Балабанов
М.М. Глибовець
Ш. Гудак
Л.Ф. Гуляницький
А.Ю. Дорошенко
В.П. Іванніков
Л.А. Калініченко
В.М. Касьянов
Н.М. Куссуль
О.А. Летичевський
(Україна)
(Україна)
(Україна)
(Словаччина)
(Україна)
(Україна)
(Росія)
(Росія)
(Росія)
(Україна)
(Україна)
М.С. Нікітченко
В.В. Пасічник
О.І. Провотар
В.Н. Редько
І.В. Сергієнко
М.О. Сидоров
І.П. Сініцин
С.Ф. Теленик
Е.Х. Тиугу
Л. Хлухі
Л. Чая
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Естонія)
(Словаччина)
(Польща)
Адреса для кореспонденції
Інститут програмних систем
НАН України
Проспект Академіка Глушкова, 40
03187, Київ-187
Редактор В.П. Замула
Комп'ютерна верстка В.П. Замула
Підписано до друку 27.02.2017. Формат 60х84/8. Папір офс. Ум. друк. арк. 15,11.
Обл.-вид. арк. 12,41. Тираж 120 прим. Ціна договірна. Замовл.
Друкарня Видавничого дому «Академперіодика» НАН України
01004 Київ-4, вул. Терещенківська, 4
Свідоцтво про внесення до Державного реєстру суб’єкта видавничої справи
серії ДК № 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НСТИТУТ ПРОГРАМНИХ СИСТЕМ
ПРОБЛЕМИ
ПРОГРАМУВАННЯ
науковий журнал
№ 1 січень-березень 2017
Заснований у березні 1999 р.
ЗМІСТ
Теоретичні та методологічні основи програмування
Колесник В.Г. DS-теория. Научные аспекты и перспективы развития 3
Шкільняк О.С. Відношення логічного наслідку в логіках монотонних предика-
тів тa логіках антитонних предикатів 21
Моделі та засоби систем баз даних і знань
Рогушина Ю.В. Класифікація засобів та методів семантичного пошуку в Web 30
Чистякова И.С. Интеграция аксиоматики дескриптивных логик с реляцион-
ной моделью данных 51
Моделі та засоби паралельних і розподілених програм
Дорошенко А.Ю., Бекетов О.Г. Метод паралелізації циклів сіткових
обчислювальних задач для графічних прискорювачів 59
Експертні та інтелектуальні інформаційні системи
Проскудина Г.Ю., Кудим К.А. О технологии использования внешних
данных при создании и редактировании энциклопедических текстов 67
Архітектура програмного забезпечення
Яловець А.Л. Архітектура та функціональні можливості мультиагентної
системи Навігація 83
Математичне моделювання об’єктів та процесів
Балабанов О.С. Принципи та аналітичні засоби реконструкції структур
ймовірнісних залежностей у спеціальному класі 97
Прикладні засоби програмування та програмне забезпечення
Древаль О.Л., Дорошенко А.Ю. Застосування алгоритму фазової кореляції
та його розширення в оптичному стабілізаторі безпілотних літальних апаратів 111
Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003
Науковий журнал “Проблеми програмування” занесений до переліку наукових фахових видань України, в яких
можуть публікуватися основні результати дисертаційних робіт.
ISSN 1727-4907 . Інститут програмних систем
НАН України, 2017
inc
NATIONAL ACADEMY OF SCIENCES OF UKRAINE
INSTITUTE OF SOFTWARE SYSTEMS
PROBLEMS IN
PROGRAMMING
scientific journal
№ 1 January – March 2017
Founded in March, 1999
CONTENTS
Theory and Methodology of Programming
Kolesnyk V.G. DS-theory. Scientific aspects and prospects for development 3
Shkilniak O.S. Logical consequence relations in logics of monotone predicates
and logics of antitone predicates 21
Models and Facilities for Data and Knowledge Bases
Rogushina J. Classification of means and methods of the Web semantic retrieval 30
Chystiakova I.S. Integration of the description logics axiomatic into relational
data model 51
Models and Facilities for Parallel and Distributed Programs
Doroshenko А.Yu., Beketov O.G. Method of parallelization of loops for
grid calculation problems on GPU accelerators 59
Expert and Intelligent Information Systems
Proskudina G.Yu., Kudim K.A. About technologies of use of external data
on creating and editing of encyclopedic texts 67
Software Architecture
Yalovets A.L. The architecture and functionality of the multi-agent system
Navigation 83
Mathematical Modeling of Objects and Processes
Balabanov O.S. Principles and analytical tools for reconstruction of probabilistic
dependency structures in special class 97
Critical Systems Software
Dreval O.L., Doroshenko A.Yu. Appliсation of the phase correlation algo-
rithm and its extension in the optical stabilizer of unmanned aerial vehicles 111
iss
|