Вівторок 25.05.2010
9.30 – 18.00 Реєстрація учасників
15.00-18.00 Тренінг з Грід-обчислень в наукових дослідженнях
9.00 – 24.00 Розміщення в готелях учасників конференції
Середа 26.05.2010
8.30 – 9.45 Реєстрація учасників
9.45 – 10.00 Відкриття конференції
10.00 – 11.30 Пленарне засідання
11.45 – 12.00 Перерва на чай/каву. Огляд стендових доповідей
12.00 – 13.30 Пленарне засідання
13.30 – 14.30 Перерва на обід
14.30 – 16.00 Паралельні секції 1 і 2
16.00 – 16.30 Перерва на чай/каву. Огляд стендових доповідей
16.30 – 18.00 Паралельні секції 1 і 2
18.00 – 20.00 Фуршет для учасників конференції
Четвер 27.05.2010
10.00 – 11.30 Лекторій
11.30 – 12.00 Перерва на чай/каву. Огляд стендових доповідей
12.00 – 13.30 Паралельні секції 1 і 2
13.30 – 14.30 Перерва на обід
14.30 – 16.00 Паралельні секції 1 і 2
16.30 – 18.00 Паралельні секції 1 і 2
18.00 Підведення підсумків роботи конференції
СЬОМА МІЖНАРОДНА НАУКОВО-ПРАКТИЧНА КОНФЕРЕНЦІЯ
З ПРОГРАМУВАННЯ
З ПРОГРАМУВАННЯ
УкрПРОГ’2010
ПРОГРАМА
25-27 травня 2010 р.
Київ, Україна
Кібернетичний центр
Національної академії наук України
Київ, Україна
Кібернетичний центр
Національної академії наук України
РОЗКЛАД РОБОТИ КОНФЕРЕНЦІЇ
26 травня 2010 р.
ПЛЕНАРНЕ ЗАСІДАННЯ
(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)
8.30-9.45 Продовження реєстрації учасників конференції
9.45 Відкриття конференції
Теоретичні та методологічні основи програмування
Головуючий – І.В. Сергієнко
10.00 Редько В.Н. , Редько И.В , Гришко Н.В. (Киев, Украина) Дескриптологические основания сущностной платформы
10.30 Th. Ludwig (Heildelberg, Germany) The Energy Barrier in High Performance Computing
11.15 Лаврищева Е.М. (Киев, Украина) Проблема интероперабельности разнородных объектов, компонентов и систем. подходы к ее решению
11.45-12.00 Перерва на чай/каву. Огляд стендових доповідей
ПЛЕНАРНЕ ЗАСІДАННЯ
(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)
Технологічні основи програмування
Головуючий – П.І. Андон
12.00 Mordvinova О., Ludwig T., Bartholomä C. (Heidelberg, Germany) I/O Benchmarking of data intensive applications
12.30 Андон Ф.И., Дерецкий В.А. (Киев, Украина) Роль семантики в интеграции приложений на основе веб-сервисов
13.00 Виступ представника асоціаціїї IT Ukraine (тема доповіді оголошується додатково)
13.30-14.30 Обідня перерва
14.30-18.00 ПАРАЛЕЛЬНІ СЕКЦІЇ 1 і 2
СЕКЦІЯ 1
(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)
Системи баз даних і знань та інформаційні системи
Головуюча – О.Л. Перевозчикова
14.30 О.В.Палагін, С.Л. Кривий, Д.C. Бібіков, В.Ю. Величко, (Київ, Україна), К. Марков, К. Іванова, І. Мітов (Софія, Болгарія) Формально-логічний підхід до побудови систем аналізу знань в різних предметних областях
15.00 Дерецький В.О., Богданова М. М., Горошанский С. И. (Киев, Украина) Практический подход к реализации приложений семантического веб
15.30 Рогушина Ю.В., Гладун А.Я., Штонда В.Н. (Київ, Україна) Розробка онтологічних терміносистем інформаційних ресурсів інтернет та їх когнітивних моделей в наукових дослідженнях
16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей
Системи баз даних і знань та інформаційні системи
Головуючий – С.Ф. Теленік
16.30 Мелащенко А.О., Перевозчикова О.Л., Стрельникова Ж.А. (Киев, Украина) Онтологии финансово-экономического информационного хранилища
17.00 А.В.Анісімов, О.П.Кулябко, П.П.Кулябко,О.О.Марченко (Київ, Україна) Оптимізація запитів при конвертації DL/1(IMS) в SQL
17.30 Блажко А.А., Левченко А.Ю., Пригожев А.С. (Одесса, Украина) Модели нагрузочного тестирования систем управления базами данных
СЕКЦІЯ 2
(читальний зал бібліотеки Інституту кібернетики ім.. В.М. Глушкова НАНУ)
Методи та засоби програмної інженерії
Головуюча – К.М. Лаврищева
14.30 А.А. Летичевский, А.В. Колчин (Киев, Украина) Генерация тестовых сценариев на основе формальной модели
15.00 Мелащенко А.О., Перевозчикова О.Л. (Киев, Украина) Кроссертификация Украины
15.30 Shekhovtsov V.A. (Kharkiv, Ukraine) Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей
Методи та засоби програмної інженерії
Головуючий: Сидоров М.О.
16.30 Л.Е. Матвеева (Киев, Украина) Инженерия качества процессов производства программных систем с помощью сетей ПЕТРИ
17.00 Андриянов В.А., Мартынюк А.Н.. (Одесса, Украина) Реализация модификаций эффективных генераторов тестов
17.30 Анцыпов А.В., Бахтизин В.В. (Минск, Беларусь) Оценка надежности модульных программных средств
18.00 Фуршет для учасників конференції
27 травня 2010 р.
ПЛЕНАРНЕ ЗАСІДАННЯ
(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)
Головуючий – А.Ю. Дорошенко
Лекторій
10.00 Летичевский А.А. (Киев, Украина) Система инсерционного моделирования
10.45 V.I. Zadorozhny, D. Sharma (Pittsburgh, USA) Intelligent Adaptation in Data Intensive Sensor Networks
11.30-12.00 Перерва на чай/каву. Огляд стендових доповідей
12.00-13.30 ПАРАЛЕЛЬНІ СЕКЦІЇ 1 і 2
СЕКЦІЯ 1
Інтелектуальні методи обробки даних
Головуючий – А.В. Анісімов
12.00 Парасюк И.Н., Ершов С.В. (Киев, Украина) Нечеткие модели мультиагентных систем в распределенной среде
12.30 Ігнатенко О.П. (Київ, Україна) Моделювання процесів керування комп’ютерними мережами за умов конфлікту
13.00 Лавренюк С.І., Шелестов А.Ю., Лавренюк А.М. (Київ, Україна) Багатокритеріальний аналіз ризиків порушення безпеки інформації в GRID-системах
СЕКЦІЯ 2
(читальний зал бібліотеки Інституту кібернетики ім.. В.М. Глушкова НАНУ)
Інформаційні системи та електронні бібліотеки
Головуючий – О.І. Провотар
12.00 Даревич Р.Р., Досин Д.Г., Литвин В.В., Мриглод O.І., Шкутяк Н.В. (Львів, Україна) E-DITORIAL – віртуалізація роботи редакційної колегії фахового періодичного видання
12.30 Рувинская В.М., Лотарь В.В. (Одесса, Украина) Электронная библиотека учебного заведения с визуальными интерфейсами отображения и уточнения информации при поиске
13.00 Новицький О.В. (Київ, Україна) Інтеграція даних в мережі Інтернет: зв’язані дані
13.30-14.30 Обідня перерва
14.30-16.00 ПАРАЛЕЛЬНІ СЕКЦІЇ 1 і 2
СЕКЦІЯ 1
(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)
Прикладне програмне забезпечення
Головуючий – В.П. Тарасенко
14.30 Кривонос Ю.Г., Крак Ю.В., Бармак О.В., Троценко Б.А. (Київ, Україна) Використання багатоядерних процесорів для просторової анімації жестової мови
15.00 Ромм, И.А. Тюшнякова И.А. (Таганрог, Россия) Программная идентификация нулей и особенностей функций на основе сортировки с приложением к цифровой фильтрации
15.30 Слободян Я.О., Ильин Н.И., Мельничук А.В., Максименко В.П. (Киев, Украина) Эффективность Грид-технологий в расчетах высотных сооружений
16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей
Паралельне програмування та розподілені системи
Головуючий – А.Ю.Дорошенко
16.30 Ющенко Р.А. (Киев, Украина) Система управления кластером для комплексов семейства «ИНПАРКОМ»
17.00 Н. Н. Глибовец, C. С. Гороховский (Киев, Украина) Проектирование инструментария сетевого программного продукта. современное состояние и перспективы развития
17.30 Минухин, С.В. Знахур (Харьков, Украина) Параллельная реализация решения задач прогнозирования и классификации на кластере на основе искусственных нейронных сетей
СЕКЦІЯ 2
(читальний зал бібліотеки Інституту кібернетики ім.. В.М. Глушкова НАНУ)
Формальні методи програмування
Головуючий – М.С. Нікітченко
14.30 М.С. Нікітченко, С.С. Шкільняк (Київ, Україна) Композиційно-номінативні логіки над ієрархічними даними
15.00 А.Б. Годлевский, С.В. Потиенко (Киев, Украина) Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
15.30 N.V.Shilov, S.O. Shilova (Novosibirsk, Russia) Solving contest problems via formal program verification
16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей
Інструментальні засоби і середовища програмування
Головуючий – І.М. Парасюк
16.30 Цейтлин Г.Е. (Киев, Украина), Захария Л.М., Захария О.В., Жовнир Ю.И. (Львов, Украина) Экологические аспекты представления знаний средствами алгебры алгоритмики
17.00 Шкуліпа І.Ю., Погорілий С.Д. (Київ, Україна) Методика автоматизованої трансформації схем алгоритмів
17.30 Антонов В.М., Антонова-Рафі Ю.В. (Київ, Україна) Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем та АРМ
ПЛЕНАРНЕ ЗАСІДАННЯ
(малий конференц-зал)
Головуючий – П.І. Андон
18.00 Підбиття підсумків та закриття роботи конференції
Лекторій
The Energy Barrier in High Performance Computing
Th. Ludwig (University of Heildelberg, Germany)
Abstract
Since we started the recordings of the top 500 systems in the world we found an increase in computational power of a factor 30.000 in 17 years. Joint to this, high performance computers need more and more energy despite good success with making electronic circuits smaller and less energy consuming. The reason can be found in the economic sector: hardware became cheaper and thus new installations grew quickly with their energy consumption. Today, costs for electricity are in the range of acquisition costs if we calculate them for 5 years economic life-time. It is time to react. With office IT equipment and data centers we already find solutions to save energy - the marketing slogan is Green IT. However, for HPC this is a new concept. Hardware is not ready to be adjustable in energy consumption just like e.g. the one in battery operated notebook computers. The talk will discuss the problem of the energy barrier for future development in HPC and present research approaches to increase energy efficiency with these big installations. By applying concepts from Green IT we will not only save money with operating these computers but also contribute to a saving of CO2, which is generated during energy production. Eventually, we contribute to a greening of computational science.
Система инсерционного моделирования
А.А. Летичевский, Институт кибернетики им. В.М. Глушкова НАН Украины
Аннотация.
Инсерционное моделирование представляет собой технологию разработки надежного программного обеспечения, основанную на модели взаимодействия агентов и сред. Эта модель была предложена в 90-х годах и реализована в ряде экспериментальных программ на базе системы алгебраического программирования APS. В докладе рассматривается новый проект системы инсерционного моделирования IMS, разрабатываемый в настоящее время. Рассматриваются примеры применения технологии инсерционного моделирования для разработки ряда конкретных систем.
Intelligent Adaptation in Data Intensive Sensor Networks
V.I. Zadorozhny, D. Sharma, University of Pittsburgh, USA
Abstract
We consider complex adaptive solutions for data management in large data intensive wireless sensor networks (DISNs). The successful delivery of information in DISNs is impaired by various problems such as low link quality, congestion, collisions, no route availability, etc. The combined effect of these factors is hard to estimate and this is one of the major reasons why traditional optimization solutions have very limited applicability in DISNs. We will introduce alternative adaptive approaches based on considering Wireless Sensor Network as a Complex Adaptive System (CAS), where light-weight decisions made locally by individual sensors efficiently converge to desirable information processing patterns. We will explore applicability of such intelligent adaptation to scalable data dissemination solutions that allow DISNs to operate with sufficient quality of service under heavy information loads.
Стендові доповіді
26 травня 2010 р. (10.00-14.00)
1. Провотар О.І. (Киев, Украина) Нейронечеткие модели диагностики в системе Н-гомеопат
2. Чадюк А.В., Руновська З.В., Федоренко С.М. (Київ, Україна) Методологія створення автоматизованої інформаційної системи обліку та перспективного планування санаторно-курортного та реабілітаційного лікування потерпілих
3. Nepomniaschaya A. S. (Novosibirsk, Russia) Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
4. K.А. Жереб, B.I.Єгоров, В.Г. Прохоров (Київ, Україна) Система автоматизації проектування цифрових фільтрів зображень
5. Акуловский В.Г. (Дніпропетровськ, Україна) Основы алгебры алгоритмов, базирующейся на данных
6. Паулин О.Н., Усова Т.И. (Одесса, Украина) Метод распараллеливания нелинейных задач
7. Іваненко П.А, Дорошенко А.Ю., Суслова Л., Черниш Р.І. (Київ, Україна) Автоматично налагоджуваний паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища
8. Парасюк І.М., Костукевич Ф.В. (Київ, Україна) Технологія моделювання на основі нечітких байєсівських мереж довіри
9. Туліка Є.М. (Київ, Україна) Підвищення ефективності систем із сервісно-орієнтованою архітектурою за рахунок оцінки і розподілу навантаження
10. Буй Д.Б., Кахута Н.Д., Сільвейструк Л.М. (Київ, Україна) Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
11. Шишацька О.В. (Київ, Україна) Виникнення та інтерпретація тризначних логік Кліні
12. Богатырева Ю.А. (Киев, Украина) Мультимножества: обзор библиографии, построение решетки мультимножеств
13. Шкільняк О.С. (Київ, Україна) Композиційно-номінативні модальні логіки функціонально-екваційного рівня
14. Коваль Г.І., Колесник А.Л., Лавріщева К.М., Слабоспицька О.О. (Київ, Україна) Удосконалення процесу розроблення сімейств програмних систем елементами гнучких методологій
Стендові доповіді
26 травня 2010 р. (14.00-18.00)
1. Назаренко Е.В, Тульчинский В.Г., Тульчинский П.Г. (Киев, Украина) Оптимизация обработки больших масcивов данных в кластерных системах
2. Антонов В.М., Антонова-Рафі Ю.В. (Київ, Україна) АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
3. Сергеев А.П. (Киев, Украина) Алгоритм определения изоморфизма XML-схем
4. В.А. Иовчев, А.С. Мохница (Київ, Україна) Инструментальные средства алгебры алгоритмики на платформе Web 2.0.
5. Пригожев А.С. (Одесса, Украина) Представление графического интерфейса пользователя для тестирования программ
6. Шараєвський Г.І. (Київ, Україна) Адаптивний нейромережевий комплекс для автоматичної діагностики стохастичних динамічних об’єктів атомної електростанції
7. Назаренко А.М. (Суми, Україна), Панченко Б.Е. (Киев, Украина) Схема параллельных вычислений в задачах дифракции волн сдвига на системе отверстий в бесконечной изотропной среде
8. Чупринка В.І., Шкоденко М.М., Коновал В.П. (Київ, Україна) Система автоматизованої підготовки інформації про матеріал складної конфігурації для проектування розкрійних схем
9. Чупринка В.І., Чебанюк О.В. (Київ, Україна) Метод програмного проектування найщільніших решітчастих укладок
10. Чупринка В.І., Хоменко О.О., Свістунова Л.Т. (Київ, Україна) Комплексний підхід до розв’язання задачі щільного розміщення об’єктів складної форми на площині
11. Grypych Iu., Kussul N., Kussul O. (Київ, Україна) Neural and statistical techniques for remote sensing image classification
12. Пепеляев В.А., Сахнюк М.А., Чёрный Ю.М. (Киев, Украина) Параллельная реализация процессов направленного поиска оптимальных решений
13. Парфірова Т.С. (Київ, Україна) Сутесутністні характеристики навчальних середовищ
Стендові доповіді
27 травня 2010 р. (10.00-14.00)
1. Березовський К.А., Дорошенко А.Ю., Яценко О.А. (Київ, Україна) Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
2. Ткачук Н.В., Нагорный К.А. (Харьков, Украина) Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
3. Буй Д.Б., Поляков С.А. (Київ, Україна) Рекурсивні запити в SQL-подібних мовах: приклади, змістова і формальна семантика
4. Є.Ю. Іванніков (Київ, Україна) Послуга повної довірчої конфіденційності для захищеної ос на базі GNU/LINUX з розширенням RSBAC
5. Буй Д.Б., Компан С.В. (Київ, Україна) Об’єктно-орієнтована БД NEODATIS: розгортання, програмування запитів, порівняння з реляційними базами даних
6. А.А. Блажко, С. Ю. Марулин, Ю.А. Дунько (Одесса, Украина) Система автоматизированного переноса содержимого электронных документов в БД ИС
7. Блажко А.А., Ибаа Сауд (Одесса, Украина) Автоматизированное создание правил управления доступом к данным средствами СУБД
8. Панченко Б.Е. (Київ, Україна) О шунтировании многозначных зависимостей в реляционной модели данных
9. Тульчинский В.Г., Тульчинский П.Г., Ющенко А.К., Ющенко Р.А. (Киев, Украина) Применение XML-представлений для интеграции данных в промысловой геофизике
10. Левченко Р.И., Судаков А.А., Погорелый С.Д., Бойко Ю.В. (Киев, Украина) Проблемы эффективности автоматического динамического распараллеливания вычислений для многопроцессорных компьютерных систем со слабой связью
11. Letichevsky А.А. (Kyiv, Ukraine), Peschanenko V.S. (Kherson, Ukraine) Simple Non-Deterministic Rewriting in Verification
12. Безверха М.А., Процик П. П. (Київ, Україна) Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
13. А.С.Коваленко, К.С.Коваленко (Киев, Украина) Разработка полнофункциональных веб-приложений на основе библиотеки TAUCODE
Стендові доповіді
27 травня 2010 р. (14.00-18.00)
1. Луцький М.Г., Сидоров М.О., Рябокінь Ю.М. (Київ, Україна) Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
2. Палагін О.В., Кривий С.Л., Петренко М.Г., Бібіков Д.C. (Київ, Україна) Алгебро-логічний підхід до аналізу та обробки текстової інформації
3. Нікітченко М.С., Іванов Є.В. (Київ, Україна) Стабільність та монотонність програм відносно структурних трансформацій даних
4. Провотар А.И., Лапко А.В. (Киев, Украина) О некоторых подходах к вычислению неопределенностей
5. Погорілий С.Д., Білоус Р.В. (Київ, Україна) Генетичний алгоритм розв'язання задачі маршрутизації в мережах
6. Жуков И.А., Ластовченко М.М., Лукашенко В.В., Терещенко В.С., Ярмолович М.А. (Киев, Украина) Программное обеспечение инструментально-технологической системы проектирования телекоммуникаций со сменяемым набором модулей моделирования
7. Міщенко Н.М., Феліжанко О.Д., Щоголева Н.М. (Київ, Україна) Автоматизація складання граматичних словників лексики тематичних текстів
8. В.В.Любченко (Одеса, Україна) Вимірювання адаптованості електронного навчального курсу
9. Кожаев В.В. (Киев, Украина) Тестирование интереса к игре
10. Жеребко В.А., Лукіна Т.Й. Лясковський А.С. (Київ, Україна) Методичне забезпечення проектування адаптивного регулятора засобами LABVIEW
11. Бурматова М.С., Оленін М.В. (Харків, Україна) Аналіз сучасних пошукових систем на предмет їх придатності для пошуку і вилучення інформації про однотипні об’єкти з Web-простору
12. Нечай А.С. (Киев, Украина) Мониторинг дефектов проектирования объектно-ориентированного программного обеспечения
13. Луцький М.Г., Дишлевий О.П., (Київ, Україна) Підбір метрик для властивостей програмного забезпечення
Інформація
Проживання учасників конференції передбачається біля Кібернетичного центру НАН України в готелі «Голосіївський», просп. 40-річчя Жовтня, 93. Довідки за телефоном (380)(44)259-7646.
Харчування передбачається за рахунок учасників конференції в буфеті Кібернетичного центру.
Оргкомітетом не передбачається бронювання та придбання квитків на зворотний від’їзд.
Заїзд учасників конференції 25 травня 2010 р.
Реєстрація учасників конференції з 9.30 до 18.00 25 травня та з 8.30 до 9.45 26 травня 2010 р. за адресою: проспект Академіка Глушкова, 40, Інститут кібернетики імені В.М. Глушкова НАН України, корпус 1, 1-й поверх.
Транспорт: від метро – станція "Либідська" тролейбусом № 2 до кінцевої зупинки "Кібцентр".
Відкриття конференції – 26 травня 2010 р. о 9.45 за адресою: Інститут кібернетики, корпус 1, 1-й поверх, малий конференц-зал.
Адреса конференції: 03187, Київ, проспект Академіка Глушкова, 40 Iнститут програмних систем НАН України, УкрПРОГ’2010
Тел.: (380)(44)526-3309, 526-2148
Факс: (380)(44)526-6263
Електронна пошта: ukrprog2010@ukrprog.org.ua
Posts
No comments:
Post a Comment