Матеріали Дев’ятої міжнародної науково-практичної конференції з програмування УкрПРОГ'2014 20–22 травня 2014 р. Україна, Київ

ЗМІСТ

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

ТЕОРЕТИЧНІ ТА МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ

Шинкаренко В.И., Ильман В.М., Забула Г.В.
Конструкционно-продукционная модель структур данных на логическом уровне

Нікітченко М.С., Шкільняк О.С., Шкільняк С.С.
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями

Акуловский В.Г., Дорошенко А.Е.
Согласованное описание алгоритмов в рамках алгебраического аппарата

Панченко Т.В.
Швидка або якісна розробка?

Пашко С.В.
NP-трудность задач оптимизации коллективного преследования

ПАРАЛЕЛЬНЕ ПРОГРАМУВАННЯ. РОЗПОДІЛЕНІ СИСТЕМИ І МЕРЕЖІ

Погорілий С.Д., Верещинський О.А.
Дослідження шаблонів синхронізації та їх використання в технології GPGPU

Погорілий С.Д., Вітель Д.Ю.
Принципи проектування GPGPU-застосувань на основі мереж Петрі

Насиров Е.М.
Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності

Дорошенко А.Ю., Бекетов О.Г., Прусов В.А., Тирчак Ю.М., Яценко О.А.
Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди

Назаренко А.М., Панченко Б.Е., Пилипенко С.А.
Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде

Панченко Б.Е., Сайко И.Н.
Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения

Лукьянова Е.А.
Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем

Попов О.В., Рудич О.В.
Блочний алгоритм перетворень Хаусхолдера для комп’ютерів гібридної архітектури

МЕТОДИ ТА ЗАСОБИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ

Guba A.A.
Traversal of arbitrary sequences of UCM symbolic transitions for test generation

Чебанюк О.В.
Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування

Лаврищева Е.М.
Парадигмы программирования сборочного типа в программной инженерии

Мороз Г.Б., Плис А.В.
Регрессивное тестирование: методы и будущие направления исследований

ФОРМАЛЬНІ МЕТОДИ ПРОГРАМУВАННЯ

Колчин А.В., Летичевский А.А., Потиенко С.В.
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем

Крывый С.Л., Максимец А.Н.
Разработка и обоснование алгоритмов на основе семантических свойств

МОДЕЛІ ТА ЗАСОБИ СИСТЕМ БАЗ ДАНИХ І ЗНАНЬ

Марулин С.Ю.
Генерация SQL-запросов в задаче согласования данных электронного документа и таблиц базы данных

Глушко І.М.
Формальна семантика агрегатних операцій мультимножинної табличної алгебри

Лихацкий И.А.
Сравнительна характеристика методик объектно-реляцонного преобразования

Шабінський А.С.
Змішана тематично-сутнісна онтологія у покращеній тематичній векторній моделі

Чистякова И.С.
Онтолого-ориентированная интеграция данных в Семантическом Вебе

ІНФОРМАЦІЙНІ СИСТЕМИ

Григорян Р.Д., Дериев И.И., Аксенова Т.В., Лиссов А.Н.
Медико-физиологические программные симуляторы: необходимость и проблемы

ЗАХИСТ ІНФОРМАЦІЇ

Завадський І.О.
Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення

ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ

Яловец А.Л.
Методы моделирования поведения агентов в мультиагентной системе "Навигация"

Палагин А.В., Петренко Н.Г., Величко В.Ю., Малахов К.С.
Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”

Terletskyi D.O., Provotar O.I.
Mathematical foundations for designing and development of intelligent systems of information analysis

Парасюк И.Н., Ершов С.В.
Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа

ПРИКЛАДНЕ ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

Комлевая Н.О., Комлевой А.Н., Чернега К.С.
Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования

Марченко О.О.
Розробка семантико-синтаксичної моделі природної мови за допомогою методів невід’ємної тензорної і матричної факторизації

Вознюк Т.Г.
Алгоритм побудови шестивимірного тензора для задачі пошуку прихованих семантичних зв’язків в корпусах природномовних текстів

Тарануха В.Ю.
Евристичний алгоритм морфолексичного аналізу для невідомих слів

Крак Ю.В., Бармак О.В., Романишин С.О., Ізотов А.В.
Автоматизований переклад з української мови на українську жестову мову: алгоритмічна реалізація

Кривонос Ю.Г., Крак Ю.В., Тернов А.С., Лісняк М.П.
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові

Куссуль Н.М., Басараб Р.М., Кравченко О.М., Лавренюк М.С., Кригін В.М., Рева К.В.
Програмно-технічний комплекс автоматичної географічної прив’язки супутникових даних КС ДЗЗ "Січ-2"

Глибовець А.М.
Пошукова система наукових матеріалів українською мовою із соціальною складовою