Матеріали шостої міжнародної науково-практичної конференції з програмування УкрПРОГ'2008, 27-29 травня 2008 р., Україна, Київ

ЗМІСТ

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

Редько И.В.
Экзистенциальный базис дескриптивных сред

Крывый С.Л., Волошин С.В., Маркова, Н.С.
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний

Цейтлин Г.Е., Захария Л.М.
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология

Провотар А.И.
Формализация: алгоритмический подход

Anureev I.S.
Ontological models in OTSL

Акуловский В.Г.
K-значная логика в расширенной алгебре алгоритмов

Шинкаренко В.І.
Особливості практичного застосування показників обчислювальної складності алгоритмів

Нікітченко М.С., Шкільняк С.С., Антонова І.А.
Композиційно-номінативні логіки з операторами нерухомої точки

Редько В.Н., Редько И.В., Гришко Н.В.
Программологические основания сущностной платформы

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

Погорілий С.Д., Бойко Ю.В., Грязнов Д.Б., Ломакін О.Д., Мар'яновський В.А.
Концепція створення гнучких гомогенних архітектур кластерних систем

Бойко Ю.В., Погорілий С.Д., Коваленко О.В.
Формування логіки внутрішньої міжрівневої взаємодії в багатоланковій системі

Nepomniaschaya A. S.
Parallel implementation of italiano's incremental algorithm for dynamic updating the transitive closure

Баранов И.А.
Некоторые подходы к эффективной реализации блочных матричных ал-горитмов на MIMD – компьютерах

Попов А.В.
Параллельные алгоритмы решения линейных систем с разреженными симметричными матрицами

Глазкова В.В., Масляков В.А., Машечкин И.В., Петровский М.И.
Технология разработки систем фильтрации интернет трафика на основе методов машинного обучения

Фальфушинський В.В.
Розв’язання транспортної задачі на кластерних системах

Тирчак Ю.М., Черниш Р.І.
Паралельна реалізація розщепленої моделі однієї задачі фізики атмосфери

Shelestov A., Skakun S., Korbakov M.
Interoperability Issues of Earth Observation Grid Systems

Хіміч О.М., Полянко В.В.
Ефективність двовимірних блочно-циклічних паралельних алгоритмів

Дорошенко А.Е., Рухлис К.А., Мохница А.С.
Распределённая платформа для управления ресурсами гетерогенного кластера

Дорошенко А.Ю., Котюк М.В., Ніколаєв С.С.
Використання відеографічних прискорювачів для паралельних обчислень

Яценко К.І.
Протоколи для інтеграції мобільних пристроїв із станціями надання послуг через бездротовий зв’язок

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

Бахтизин В.В., Неборский С.Н.
Обеспечение качества программных средств в условиях изменяющихся требований

Парасюк І.М., Єршов С.В.
Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів

Лавріщева К.М.
Визначення предмету – програмна інженерія

Долгарев А.Г., Шеховцов В.А.
Построение имитационных моделей бизнес-процессов для сбора требований качества

Павлов В.Л., Жереб К.А., Дорошенко А.Е., Сергиенко В.И.
Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов

Лавріщева К.М., Коваль Г.І., Коротун Т.М.
Підходи інженерії якості сімейств програмних систем

Сидоров Н.А., Авраменко Е.А.
Метод и средства редокументирования наследуемого программного обеспечения

Хоменко В.А., Сидоров Е.Н., Мендзебровский И.Б.
Шаблон программного обеспечения устройств связи с объектом авиационных тренажеров

Анцыпов А.В.
Обеспечение надежности программных средств в зависимости от качества документации

Ластовченко М.М.
Графическое программирование в управлении динамикой моделирования сложных процессов

Щоголева Н.М., Міщенко Н.М., Феліжанко О.Д.
Особливості перекладу українською наукових текстів з інженерії програмування

П.П. Ігнатенко,В.М. Бистров
Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування

Слабоспицька О.О.
Модель процесу експертного оцінювання у життєвому циклі програмних систем

Сидоров Н.А., Хоменко В.А., Недоводеев В.Т., Сидоров Е.Н.
Реинженерия наследуемого программного обеспечения авиационных тренажеров

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

Letichevsky A., Letichevsky A. jr., Peschanenko V.
APS C++ User's Library

Шевченко Р.С., Дорошенко А.Е.
Применение систем переписывания термов к анализу исходного программного кода

Promsky A.V.
C# program verification problems: solution by a three-level method

Процик П.П.
Система композиционно-номинативного программирования SCRIPT.NET

Ромм Я.Е., Виноградский В.В
Преобразование сортировки Хоара в параллельную форму на основе матриц сравнений

Мохница А.С.
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ

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

Мелещенко А.О.
Использование технологий etl и olap в анализе финансовых организаций

Випасняк Л.І., Шпакодрай Б.І., Шкета В.І.
Імплементація csp-концепцій для інтелектуального аналізу даних нафтогазової предметної області

Парасюк И.Н., Костукевич Ф.В.
Подсистема трансформации байесовской сети с детерминированными состояниями

Алєксєєнко О.А.
Моделе-орієнтовний підхід до створення систем інтелектуального аналізу данних

Коваль А.А.
Логіко-лінгвістичні моделі в нечітких системах

Анісімов А.В., Марченко О.О., Никоненко А.О.
Алгоритмічна модель асоціативно-семантичного контекстного аналізу текстів природною мовою

Рогушина Ю.В., Гладун А.Я.
Технологии semantic web и их использование при разработке интеллектуальных приложений

Дерецький В., Богданова М., Ремарович С.
Підхід організації пошуку інформації в різнорідних корпоративних джерелах

Дерецький В.
Підхід до адаптивної композиції сервісів в semantic web середовищі на основі потоків робіт програмних агентів

Ремарович С.
Агентний підхід до тематичного пошуку інформації з використанням онтологій

Ф.И. Андон, И.Ю. Гришанова, В.А. Резниченко
Semantic web как новая модель информационного пространства интернет

Garcia-Sancher F., Fernández-Breis J.T., Martínez-Bejar R.
A methodology for ontological knowledge capture from databases

Ільїна О.П.
Методичні й технологічні принципи підтримки експертного моніторингу та актуалізації державних програм розвитку

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

Биляк В.И.
Адаптивная реконфигурация линий связи оптоволоконных трактов мульти-сервисной сети дистанционного обучения

Горностай М.П.
Гібридні системи надання рекомендацій та їх реалізація для систем електронного навчання

Зубенко В.В.
Про становлення інформатики як наукової та учбової дисципліни

Глибовець А.М., Тихоновський Д.С.
Програмна підтримка синхронізації мультимедійних матеріалів лекції

Глибовець М.М., Остапенко О.Ю.
Алгоритм спрощення синтаксичних структур тексту природною мовою до стандартизованих речень

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

Алексєєв В.А., Мостовий В.В., Терещенко В.С., Машкін Р.О.
Особливості побудови інформаційних систем з застосуванням гіс-технологій

Гула А.Ю., Игнатенко А.П., Чадюк А.В.
Задачи идентификации физических и юридических лиц в хранилищах данных

Яковлєв В.М.
Принципы реализации распределенных систем реального времени

Захарова Е.Г., Захарова О.В., Резніченко В.А.
Опис наукових електронних ресурсів метаданими дублінського ядра

Крыжова К.А.
Средства анализа обстановки и принятия решений в системе бизнес-процессов

Резніченко В.А., Проскудіна Г.Ю., Овдій О.М.
Функціональні можливості сучасних систем електронних бібліотек

Kussul N., Korbakov M., Kravchenko O.
Practical issues of sensor web implementation and gridification

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

Новицький, О.В.
Основні підходити до композиції веб-сервісів електронної бібліотеки

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

Іванов І.Ю.
Цифровий підпис в групових середовищах

Андон П.І., Ігнатенко О.П.
Протидія атакам на відмову в мережі інтернет: концепція підходу

Глинчук Л.Я.
Алгоритм криптографічного стиснення інформації за допомогою дерева Штерна-Брокко

Ігнатенко А.П., Цицкун Д.В.
Противодействие атакам на отказ в сети интернет: выбор среды моделирования

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

Чугаенко А.В., Крывый С.Л.
О алгоритме перевода документов msc в сети Петри

Дорошенко А.Е., Яценко Е.А., Жереб К.А.
Средства синтеза параллельных mpi-программ

Пригожев А.С., Алешкина Е.И., Бабичева М.В., Вовк А.В, Писаренко В.А.
Система поддержки пользователя на основе экспертной системы

Hudak S., Korecko S., Simonak S.
A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems

Колчин А.В.
Разработка инструментальных средств для проверки формальных моделей

Федоров И.В.
Задачи повышения производительности запросов в программной системе

Галаган Т.Н., Пепеляев В.А., Сахнюк М.А.
Особенности реализации многослойного сценария распределенного поиска оптимальных решений

Хмелюк В.С., Амонс О.А.
Засоби автоматизації генерації електронних документів в системах організаційного управління

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

Кривонос Ю.Г., Крак Ю.В., Бармак О.В., Загваздін О.С.
Розподілене комп’ютерне документування голосових мовних фонограм

Назаренко Е.В.
Сплайн-аппроксимация на основе триангуляции

Чупринка В.І., Хоменко О.О., Шкоденко М.М.
Програмні методи підготовки інформації для автоматизованого розкрою матеріалу прямокутної форми

Прохоров, В.Г.
Использование сверточных сетей для распознавания рукописних символов

Шаповалова, С.И., Шараевский Г.И.
Среда моделирования нейронных сетей для решения задач диагностики оборудования АЭС

Коломиец А.В.
Совместное использование скважинных и сейсмических данных при создании скоростной модели геологической среды в пакетах TESSERAL-2D и TESSERAL PRO

Ющенко Р.А.
Оптимизация отображения 3D-сейсмики большого объема в пакете TESSERAL PRO

Руновская З.В., Чадюк А.В.
Исследование и оптимизация системы управления транзитными перевозками

Кузьмина К.И., Сёмик Т.М., Андон Т.А.
Современные информационные технологии для изучения механизмов индивидуальной психофизиологической адаптации человека

Жора Д.В.
Практические аспекты применения классификатора со случайными подпространствами

Шелестов А.Ю.
Подходы и средства моделирования GRID-систем обработки спутниковых данных

Рагозин Д.В.
Моделирование синхронизированных сенсорных сетей

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

Kleinova K., Baca J., Jakab F., Fecilak P.
Voice quality assessment during voice transmission by various network technologies

Богдан В.Б., Горбачук В.М., Чорний Ю.М.
Програмні засоби прийняття рішень в задачах аналізу динаміки економічної ситуації регіонів

Федченко С.В.
Решение задачи создания реконфигурируемого импорта входных данных для программной системы воспроизведения параметрической полетной информации

Григорян Р.Д.
Механизм колебаний функциональной надежности оператора компьютера

Аксенова Т.В.
Специализированное программное обеспечение для решения физиологических задач методом математического моделирования

Ліссов П.М.
Технологія створення програмного комплексу для моделювання фізіологічних систем