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

Головна / УкрПрог2008

Теоретичні та методологічні основи програмування

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

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

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

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

Anureev I.S. Ontological models in OTSL

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

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

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

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

Паралельне програмування. Розподілені системи і мережі

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

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

Nepomniaschaya A.S. Parallel implementation of italiano’s incremental algorithm for dy­namic 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-систем обработки спутнико­вых данных

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

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

Kleinová K., Bača J., Jakab F., Feciľak P. Voice quality assessment during voice transmission by various network technologies

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

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

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

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

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