Титульні сторінки та зміст
Gespeichert in:
| Datum: | 2012 |
|---|---|
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2012
|
| Schriftenreihe: | Проблеми програмування |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/86580 |
| 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: | Титульні сторінки та зміст // Проблеми програмування. — 2012. — № 2-3. — С. 1-5 . — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-86580 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-865802015-09-24T03:01:45Z Титульні сторінки та зміст 2012 Титульні сторінки та зміст // Проблеми програмування. — 2012. — № 2-3. — С. 1-5 . — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86580 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| title |
Титульні сторінки та зміст |
| spellingShingle |
Титульні сторінки та зміст Проблеми програмування |
| title_short |
Титульні сторінки та зміст |
| title_full |
Титульні сторінки та зміст |
| title_fullStr |
Титульні сторінки та зміст |
| title_full_unstemmed |
Титульні сторінки та зміст |
| title_sort |
титульні сторінки та зміст |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2012 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/86580 |
| citation_txt |
Титульні сторінки та зміст // Проблеми програмування. — 2012. — № 2-3. — С. 1-5 . — укр. |
| series |
Проблеми програмування |
| first_indexed |
2025-07-06T14:04:17Z |
| last_indexed |
2025-07-06T14:04:17Z |
| _version_ |
1836906612072120320 |
| fulltext |
НАЦІОНАЛЬНА АКАДЕМІЯ НАУК УКРАЇНИ
ІНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ISSN 1727-4907
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
НАУКОВИЙ ЖУРНАЛ
P R O B L E M S
IN PROGRAMMING
SCIENTIFIC JOURNAL
2012
№ 2–3
Спеціальний випуск
МАТЕРІАЛИ ВОСЬМОЇ МІЖНАРОДОЇ
НАУКОВО-ПРАКТИЧНОЇ КОНФЕРЕНЦІЇ
З ПРОГРАМУВАННЯ
УкрПРОГ'2012
22–24 травня 2012 р.
Україна, Київ
Теми випуску:
• Теоретичні та методологічні основи
програмування
• Паралельне програмування. Розподілені
системи і мережі
• Методи та засоби програмної інженерії
• Формальні методи програмування
• Моделі та засоби систем баз даних і знань
• Освітні та навчальні аспекти програмування
• Інформаційні системи
• Захист інформації
• Інструментальні засоби і середовища
програмування
• Прикладне програмне забезпечення
НАЦІОНАЛЬНА АКАДЕМІЯ НАУК УКРАЇНИ
ІНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ПРОБЛЕМИ
ПРОГРАМУВАННЯ
науковий журнал
№ 2–3 СПЕЦІАЛЬНИЙ ВИПУСК 2012
Заснований у березнi 1999 р.
З М І С Т
Теоретичні та методологічні основи програмування
Крывый С. Л., Бибиков Д. С. Итеративный подход к анализу естественно-языковых
текстов: логический аспект 10
Вінник В.Ю., Парфірова Т.С. Ациклічність та замкненість макрокомпозицій 18
Лукьянова Е.А. О структурних элементах компонентной сети Петри 25
Шкільняк С.С. Секвенційні числення композиційно-номінотивних логік квазіарних
предикатів 33
Россада Т.В., Шкільняк С.С. Композиційно-номінативні логіки з непрямим
іменуванням 44
Лавріщева К.М. Базові основи індустрії програм,обчислень і даних 50
Провотар А.А., Провотар О.А. Аспекты моделирования в системе Гомеопат 63
Редько В.Н., Редько И.В., Гришко В.Н. Дефинитологические основания сущностной
платформы 68
Паралельне програмування. Розподілені системи і мережі
Лавренюк А.М., Лавренюк С.І. Один підхід до вирішення проблеми універсального
використання мови програмування OPENCL на різних GPU 77
Погорілий С.Д., Білоус Р.В. Особливості застосування генетичного алгоритму ба-
лансування навантаження в мережі 85
Погорілий С.Д., Білоконь І.В. До задачі оптимізації завантаженості ресурсів обчислю-
вального кластера з вузлами у вигляді віртуальних машин 93
Сальніков А.О. Система керування грід-завданнями віртуальної лабораторії, що
ґрунтується на асинхронній обробці подій 102
Слюсар Є.А. Комплексна система тестування взаємодії ресурсів у національній грід-
інфраструктурі 111
Марченко О.О., Кисенко В.К., Березань І.О. Оптимізація алгоритму побудови
неві-д’ємної матричної факторизації у задачах обробки текстів природною мовою із
вико-ристанням графічних процесорів 119
Стеняшин А.Ю. Обробка даних у гетерогенних мережах типа GRID
124
Минухин С.В., Знахур С.В. Имитационная модель и ее программная реализация
планирования ресурсов грид-системы 133
Твердохліб Є.М., Перконос П.І. Побудова інтегрованої Е-інфраструктури
підтримки наукових досліджень в грід-середовищі 143
Методи та засоби програмної інженерії
Hrytsay V.P., Zakhariya L.M. Tete-a-tete project: software engineering tools
supporting understanding 150
Tkachuk M.V., Gamzayev R.O., Mayr H.C., Bolshutkin V.O. Models and tools for
effective-ness increase of requirements traceability in agile-software development 160
Чебанюк О.В., Чупринка В.І. Метод доменного аналізу для ефективного
моделювання процесів при проведенні експериментів з використанням
програмного забезпечення 168
Матвеева Л.Е., Гориславец Т.Н. Применение статистических моделей в
инженерии качества процессов производства программных систем 174
Колесник А.Л. Підтримка процесу керування варіабельністю в сімействах
програмних систем 182
Баценко Д.В. Метод калібрування моделі СОСОМО шляхом редукції
основного рівняння 192
Формальні методи програмування
Колчин А.В. Оптимизация проверки выполнимости переходов при верификации
формальных моделей 201
Шинкаренко В.И., Забула Г.В. Повышение временной эффективности структур
данных в оперативной памяти на основе 211
Яценко Е.А. Средства параметрически управляемой генерации алгоритмов на основе алгебры
гиперсхем 219
Максимець О.М. Пошук інваріантів U-Y- програм інтераційним алгоритмом над
абсолютно вільними алгебрами данних 228
Акуловский В.Г. Алгебра для описания данных в композиционных схемах
алгоритмов 234
Дорошенко А.Е., Иовчев В.А. Средства проектирования объектно-ориентированных
программ на основе алгебры алгоритмики 241
Тимофеев В.Г. Задача проверки Т-выполнимости для логического языка VL1
системы VRS 251
Моделі та засоби систем баз даних і знань
Парасюк И.Н., Ершов С.В. Мультиагентные модели на основе нечеткой логики
высшего типа для высокопроизводительной среды 260
Ильина Е.П., Синицын И.П., Слабоспицкая О.А., Яблокова Т.Л. Модели и
методы аналитической поддержки принятия решений стратегического управления 270
Панченко Б.Е. К вопросу о модифицируемости и безаномальности схемы
реляционной базы данных 281
Палагин А.В., Петренко Н.Г., Величко В.Ю., Малахов К.C., Тихонов Ю.Л. К вопросу
разработки инструментального комплекса онтологического назначения 289
Панченко Т.В. Подання динамічних вимірів у OLAP-кубах 299
Освітні та навчальні аспекти програмування
Сидорова Н.М. Формування готовності майбутніх бакалаврів з інженерії
програмного забезпечення до професійної комунікації 308
Любченко В.В. Інформаційна технологія розробки та аналізу моделей предметних
областей для їх вивчення 315
Інформаційні системи
Задорожна Н.Т., Петрушко В.А., Тукало С.М. Особливості проектування
інформаційної системи «Планування наукових досліджень в НАПН України» 322
Резниченко В.А., Проскудина Г.Ю., Овдий О.М. Формальная модель
научной публикации 331
Анісімов А.В., Марченко О.О., Никоненко А.О. UWN: Універсальна онтологічна
база знань укранської мови 348
Мелащенко А.О., Скарлат О.С. Імплементація юридично правових
електронних документів 356
Андон П.І., Бабенко Л.П. Проблеми і можливості програмування в
середовищі SEMATIC WEB 363
Захист інформації
Kussul O.M. Reputation-based secyrity for heterogtneous structurally complex
systems 374
Інструментальні засоби і середовища програмування
Лихацкий И.А. Средства кодогенерации для взаимодействия с базой данных через
объекты 380
Дорошенко А.Ю., Жереб K.А., Туліка Є.М. Розпаралелювання програм на фортрані
з використанням техніки переписувальних правил 388
Прикладне програмне забезпечення
Кривонос Ю.Г., Крак Ю.В., Бармак О.В., Єфімов Г.М. Формалізація жестоутворення за
допомогою трьохмірної моделі людини для української жестової мови 398
Федоренко С.М., Чадюк А.В. Методологія аналізу статичних даних для реалізації
перспективного планування в автоматизованій інформаційній системі «надання
медико-соціальних та реабілітаційних послуг» 406
Криковлюк Е.А., Пепеляев В.А., Сахнюк М.А. Особенности реализации процессов
имитационного моделирования на основе методологи DATA FARMING 414
Чупринка І.В., Чебанюк О.В. Метод автоматичного проектування раціональних схем
розкрою рулонних матеріалів на деталі взття 419
Іваненко П.А., Дорошенко А.Ю. Автоматична оптимізація виконання для задачі
метеорологічного прогнозування 426
Хіміч О.М., Чистякова Т.В., Баранов А.Ю. Принципи створення інтелектуального
інтерфейсу для розв’язування систем лінійних алгебраїчних рівнянь на комп’ютерах
гібридної архітектури 435
Проворар О.І., Лапко О.В. Деякі підходи до обчислення умовної невизначеності 443
Андон П.І., Ігнатенко О.П. Потокові моделі мережі Інтернет за умов атак на відмову 450
Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003
Науковий журнал «Проблеми програмування» занесений до переліку наукових
видань ВАК України, в яких можуть публікуватися основні результати
дисертаційних робіт.
ISSN 1727-4907 © Інститут програмних систем
НАН України, 2012
00-TitlePages2.pdf
НАЦІОНАЛЬНА АКАДЕМІЯ НАУК УКРАЇНИ
ПРОГРАМУВАННЯ
ЗМІСТ
Теоретичні та методологічні основи програмування
Стеняшин А.Ю. Обробка даних у гетерогенних мережах типа GRID
Яценко Е.А. Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
Чупринка І.В., Чебанюк О.В. Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взття
Іваненко П.А., Дорошенко А.Ю. Автоматична оптимізація виконання для задачі метеорологічного прогнозування
4
Х
4
П
4
А
4
|