Перейти до контенту

Головна / УкрПрог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., Faragó I., Havasi Á. 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

Faragó I. On the efficiency of the operator splitting method

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

Horváth R. On the maximum-minimum principle for advection-diffusion equations

Sikolya E. A functional analytic method for the analysis of general partial differential equa­tions

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 secon­dary 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 measure­ments over the territory of Bulgaria