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

ЗМІСТ

Провотар О.І.
Про локальну коректність формальних визначень

Нікітченко М.С., Шкільняк С.С., Омельчук Л.Л.
Логіки, орієнтовані на специфікації програм

Захария Л.М., Луценко Т.В., Цейтлин Г.Е.
О построении клонов алгебр функциональных n-отношенеий

Кривой С.Л.
Алгебра связных графов и проектирование топологии компьютерных сетей

Шинкаренко В.И.
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования

Зубенко В.В.
Темпоральні процедури та алгоритми

Лаврищева Е.М.
Современные методы программирования. Возможности и инструменты

Редько В.Н., Редько И.В, Гришко Н.В.
Дескриптивные системы: концептуальный базис

Редько И.В.
Интенсиональные основания дескриптивных сред

Гаврилюк А.Б., Алексеев В.А.
Сетевые журнальные файловые системы на основе серверов реляционных баз данных

Шелестов А.Ю., Корбаков М.Б., Лобунець А.Г.
Реалізація Grid-інфраструктури для розв’язання задач обробки супутникових даних

Щетинин Д.И.
Оптимизация запросов в системах баз данных на параллельных структурах

Тирчак Ю.М., Черняк А.І.
Паралельні обчислення для ефективної реалізації чисельного прогнозу погоди

Тульчинский В.Г., Чарута А.К.
Оценка времени обработки данных в кластерных системах

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

Кравченко О.М., Шелестов А.Ю.
Застосування реалізацій стандартів OGC для створення розподілених систем візуалізації та надання геопросторових даних

Парасюк І.М., Єршов С.В., Карпінка Є.С., Верьовка О.В.
Інформаційна технологія для оцінки і класифікації станів складних систем на базі нечітких даних та знань у високопродуктивному паралельному середовищі

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

Дорошенко А.Е., Рухлис К.А.
Средства оптимизации Grid-вычислений на основе globus toolkit

Судаков О.О., Бойко Ю.В.
GRID ресурси Інформаційно-обчислювального центру Ки-ївського національного університету імені Тараса Шевченка

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

Химич А.Н., Попов А.В., Чистякова Т.В., Рудич О.В., Герасимова Т.А.
Исследование блочно-циклических алгоритмов на семействе кластеров СКИТ

Ластовченко М.М., Биляк В.И., Горбунов И.Э., Русецкий В.Е.
Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей

Гудзенко В.В.
Интеллектуальный агент распараллеливания запросов

Коваль В.Н., Рябчун С.Г., Сергиенко И.В., Якуба А.А.
Суперкомпьютерные кластерные системы – организация вычислительного процесса

Оксюк О.А., Оксюк О.А.
Методы оптимизации качества потоковых видеоизображений при передаче по сети интернет

Mashechkin I., Petrovskiy M., Rozinkin A., Gerasimov S.
A machine learning approach to server-side anti-spam e-mail filtering

Shelestov A.Ju., Kussul N.N., Skakun S.V.
GRID-Infrastructure simulation

Мороз Г.Б., Коротун Т.М.
Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем

Коваль Г.І., Мороз Г.Б.
Моделювання вимог до якості програмних систем оброблення даних

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

Меренков А. Ю.
Визуальное моделирование сложного программного обеспечения интернет узла

Стрєлов І.А., Ігнатенко П.П.
Моделі підтримки прийняття рішень щодо структуризації робіт при розробці прикладних програмних систем

Вершина А.И., Семерюк Т.Н., Солдатов Б.Т.
Модель процесса разработки программ-ного обеспечения

Райчев І.Е., Харченко О.Г.
Концепція побудови сертифікаційної моделі якості програмних систем

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

Сидоров Н.А., Баценко Д.В., Василенко Ю.Н., Щебетин Ю.В.
Модели, методы и сред-ства оценки стоимости программного обеспечения

Теленик С.Ф., Амонс О.А., Хмелюк В.С., Крижова К.О.
Швидке розроблення застосу-вань в адаптивній технології SMARTBASE

Кожевникова Г.П., Голикова А.В.
Ролевой подход к оценке качества экономических экспертных систем

Годлевский М.Д., Поляков А.А.
Управление рисками в высокотехнологичных проектах: состояние и подходы управления

Ігнатенко П.П.
Життєздатні програмні системи. Концептуалізація підходу до автоматизації систем організаційного керування

Федоров І.В.
Вдосконалення організації даних об?єктних прикладних програмних систем як метод підвищення життєздатності

Слабоспицкая О.А.
Экспертиза процессов жизненного цикла программных систем: особенности организации и проведения

Яценко О.А.
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм

Непомнящий В.А., Ануреев И.С., Промский А.В.
На пути к верификации С-программ. Язык c-light и его трансформационная семантика

Теленик С.Ф., Безносікова Т.В., Ільченко О.В.
Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління

Мохница А.С.
Инструментальные средства трансформации схем алгоритмов и программ

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

Погорілий С.Д., Камардіна О.О.
Системи алгоритмічних алгебр. Прикладний аспект

Глибовець М.М., Гломозда Д.К.
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання

Петрухин В.А., Манойло Ю.Н.
О подходах к инженерии знаний в системах с недедуктивным выводом

Ильина Е.П.
Задачи и методы аналитического сопровождения экспертиз в партисипативных процессах стратегического управления

Фещенко О.Ю. , Чадюк А.В. , Ігнатенко О.П.
Організація інтелектуальної обробки даних із застосуванням моделей правил

Шекета В.І., Бестильний М.Я., Храбатин Р.І.
Інтерпретація предикатних запитів на основі премоноїдної дедукції в семантичній стратегії і системі обмежень

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

Вельбицький І.В., Лапідот М., Нетесін І.Є., Артеменко О.Л.
Методологія та технологія реалізації міжнародного IST-проекту TRISTAN-EAST

Бабіч В.І., Діденко П.П.
Концепція та порівняльний аналіз підходів до визначення здібностей суб’єктів навчання в існуючих інформаційно освітянських технологіях

Манако А.Ф.
Підхід до моделювання цілеспрямованого розвитку інноваційних інформаційних технологій „навчальні об’єкти”

Спирягин М.И., Спирягин В.И., Клюев С.А., Валуйский Е.А., Усенко Ф.П.
Использование смарт-карт для защиты информации в процессе дистанционного обучения

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

Андон П., Дерецький В.
Проблеми побудови сервіс-орієнтованих прикладних інформаційних систем в semantic web середовищі на основі агентного підходу

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

Парасюк І.М., Єршов С.В., Алексеєнко О.А.
Трансформаційний підхід типу «модель-модель» для реалізації байєсівських механізмів інтелектуального аналізу даних

Шехтер Д.Б ., Чадюк А.В., Червинский-Ивашура А.Л.
Байесовские методы в задаче оценки релевантности при поиске работы в internet

Рогушина Ю.В., Гладун А.Я.
Онтологическая модель интеллектуализации сервис-ориентированных вычислений в распределенной среде Интернет

Овдій О.М., Проскудіна Г.Ю.
Представлення та відображення бібліотечних предметних класифікацій за допомогою інструментів онтологій

Алексеєв В.А., Ільїн С.А., Терещенко В.С.
Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі

Zlatkin S., Kaschek R.
Mapping business processes models from Petri nets into event-driven process chains

Задорожна Н.Т.
Підходи до створення та підтримки порталів

Иванов И. Ю.
О проблемах защиты интеллектуальной собственности в программных системах

Рябко Д.М.
Подход к тестированию уязвимости web-приложений от атак типа SQL-инъекций

Воног С.Н., Жереб К.А., Кушко Т.Ю.
Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net

Рожнов А.М.
Модель перевірки компонентів та їх композиції у компонентну систему

Пантелеймонов А.А.
Трансформация произвольных текстовых данных в XML-представление по шаблону на основе регулярных выражений

Рагозин Д.В.
Экономичный интерпретатор для узлов сенсорной сети

Фісун М.Т., Гнездьонова О.В.
Розробка синтаксичного аналізатора мови програмування PL/I для реінженірингу блок-схем алгоритмів

Песчаненко В.С.
Об одном подходе к проектированию алгебраических типов данных

Зінькович В.М., Моренцов Є.І.
Концепції та моделі інтеграції об’єктів метатехнології в середовищі Metacase

Prusov V., Doroshenko A., Farago I., Havasi A.
On the numerical solution of the three-di-mensional advection-diffusion equation

Elshebli M.A.T.
Preservation of the qualitative properties in the vertical advection-diffusion DEM sub-model of the air pollution process

Farago I.
On the efficiency of the operator splitting method

Zlatev Z.
Impact of climate changes in Europe on European pollution levels

Horvath R.
On the maximum-minimum principle for advection-diffusion equations

Sikolya E.
A functional analytic method for the analysis of general partial differential equations

Zberovsky A.V., Goman O.G., Zadornova V.V., Kharytonov M.M.
The software system for modelling gas-dynamic parameters of the opencast atmosphere

Cuciureanu R., Dimitriu G.
Photochemical reactions in the atmosphere – a source of secondary pollutants

Dimitriu G., Cuciureanu R.
Data assimilation using kalman filter techniques

Georgiev I., Kraus J., Margenov S.
Two-level algorithms for Rannacher-Turek FEM

Хайдер М.
Эффективный метод проектирования и реконфигурации вычислительной системы с многоканальными связями

Ромм Я.Е., Заика И.В., Тюшнякова И.А.
Идентификация экстремумов функции на ос-нове сортировки с приложением вычислительным схемам алгебры, анализа и распознаванию изображений

Дорошенко А.Е., Жереб К.А, Шевченко Р.С.
О моделировании сенсорних сетей средствами високого уровня

Бігдан В.Б., Пепеляєв В.А., Чорний Ю.М.
Уніфікована схема реалізації оптимізаційно-імітаційних експериментів

Романенко В.Г.
Ефективна реалізація економічніх розрахунків в системах масштабу підприємства

Сергиенко И.В., Дейнека В.С., Вещунов В.В., Білоус М.В.
Информационная технология исследования трехмерного влагопереноса-фильтрации жидкостей в многоком¬понентных средах на pentium-СКИТ

Сергиенко И.В., Дейнека В.С., Калынюк Н.А.
Автоматизированная система НАДРА-ПП планово-пространственного исследования процессов в сложных средах

Алишов Н.И., Гаджиев Я.Х.
Теоретические основы и практические задачи оптимизации времени доставки информационных ресурсов в распределенных системах

Georgiev K., Donev E.
On some ozone studies: comparison of model results and measurements over the territory of Bulgaria