Програма м. Київ (Україна)



Скачати 193.42 Kb.
Дата конвертації09.03.2016
Розмір193.42 Kb.


Національна академія наук України

Інститут кібернетики ім. В.М. Глушкова НАН України

Інститут програмних систем НАН України

Інститут проблем математичних машин і систем НАН України

Інститут космічних досліджень НАН та ДКА України

Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України

Інститут прикладного системного аналізу МОН та НАН України

Інститут проблем реєстрації інформації НАН України


МІЖНАРОДНА КОНФЕРЕНЦІЯ
СУЧАСНА ІНФОРМАТИКА:

ПРОБЛЕМИ, ДОСЯГНЕННЯ ТА ПЕРСПЕКТИВИ РОЗВИТКУ
ПРИСВЯЧЕНА 90-РІЧЧЮ

ВІД ДНЯ НАРОДЖЕННЯ

АКАДЕМІКА В.М. ГЛУШКОВА


ПРОГРАМА

м. Київ (Україна)

12 – 13 вересня 2013 року

Київ 2013



ПРОГРАМНИЙ КОМІТЕТ


Голова

СЕРГІЄНКО І.В.


-

Україна


Заступники голови

КРИВОНОС Ю.Г.


-



Україна

ЛЕТИЧЕВСЬКИЙ О.А.

-

Україна


Члени комітету

АНДОН П.І.

-

Україна

АНІСІМОВ А.В.

-

Україна

ВОЙТОВИЧ І.Д.

-

Україна

ВУЙЧЕК В.

-

Польща

ГОРЛАЧ С.П.

-

Німеччина

ГРИЦЕНКО В.І.

-

Україна

ДЕЙНЕКА В.С.

-

Україна

ЄМЕЛІЧЕВ В.А.

-

Білорусь

ЖУРАВЛЬОВ Ю.І.

-

Росія

ЗГУРОВСЬКИЙ М.З.

-

Україна

ІВАНОВ П.М.

-

Росія

ІЛЬЧЕНКО М.Ю.

-

Україна

КІТОВА О.В.

-

Росія

КОВАЛЕНКО І.М.

-

Україна

КОРОЛЮК В.С.

-

Україна

КУНЦЕВИЧ В.М.

-

Україна

КУЦ Р.

-

США

МАРКОВ К.

-

Болгарія

МОРОЗОВ А.О.

-

Україна

ПАЛАГІН О.В.

-

Україна

ПАРДАЛОС П.

-

США

ПЕТРОВ В.В.

-

Україна

РЕДЬКО В.Н.

-

Україна

СКУРИХІН В.І.

-

Україна

ШУКУРЯН Ю.Г.

-

Вірменія

РОЗКЛАД РОБОТИ КОНФЕРЕНЦІЇ
Реєстрація учасників - 11 вересня з 1500 до 1800 , 12 вересня з 900 до 1000

(реєстрація учасників проводиться в 1-му корпусі Інституту кібернетики

ім. В.М. Глушкова НАН України, проспект Академіка Глушкова, 40)
Відкриття конференції - 12 вересня 1000 - 1030
Пленарні доповіді - 12 вересня 1030 - 1300
Перерва на каву - 12 вересня 1130 - 1145
Секційні доповіді - 13 вересня 1000 - 1400

Перерва на каву - 13 вересня 1130 -1145, 1345 -1400
Стендові доповіді - 13 вересня 1400 - 1500
Закриття конференції - 13 вересня 1600 - 1900

РЕГЛАМЕНТ РОБОТИ КОНФЕРЕНЦІЇ
Пленарна доповідь – 15 хвилин

Секційна доповідь – 12 хвилин



ПРОГРАМА

ВІДКРИТТЯ КОНФЕРЕНЦІЇ

12 вересня

1000 -1030

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАН України)

ПЛЕНАРНЕ ЗАСІДАННЯ

12 вересня

1030 -1300

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАН України)

Пленарні доповіді

ЛЕТИЧЕВСЬКИЙ О.А. В.М. Глушков і сучасна інформатика.

ЖУРАВЛЕВ Ю.И.

Андон П.І. Проблеми програмування у середовищі семантичного вебу.

Згуровський М.З. Безпека інформаційного суспільства та суспільства, заснованого на знаннях.

Иванов П.М. Алгоритмические алгебры и моделирование экономических систем.

Морозов А.О., Клименко В.П. До 50-річчя заснованого В.М. Глушко-вим спеціального конструкторського бюро математичних машин і систем (СКБ ММС).

Kuc R. Neuromorphic Sonar Using Sparse Echo Waveform Sampling.

Емеличев В.А., Кузьмин К.Г. Анализ устойчивости Парето-оптималь-ного портфеля многокритериальной инвестиционной задачи Марковица с критериями Вальда в метрике Гельдера.

Panos M. Pardalos. Data Mining and Knowledge Discovery in Dynamic Networks.

LADISLAV HLUCHY. Abstraction Approach for Developing and Delivering Cloud-based Services.

ГРИЦЕНКО В.І. Информационные технологии: состояние и пути развития.

Шукурян Ю.Г. О наследии академика В.М. Глушкова в Армении.

Sergei P. Gorlatch. From Makroconveyor Computing on Algebras of Data Structures To High-Level Programming for Many-Core Multi-GPU Systems.

Кунцевич В.М. Синтез управления нелинейными объектами в условиях
неопределенности.

Коваленко И.Н. В.М. Глушков и вероятностно-статистические методы.

Анисимов А.В. Двухбазисные представления чисел и их применения.

Петров В.В., Крючин А.А., Шанойло С.М., Лапчук А.С. Техно-логії створення перспективних оптичних носіїв.
СЕКЦІЙНІ ЗАСІДАННЯ

СЕКЦІЯ 1


Теорія автоматів та алгоритмів; формальні методи
в проектуванні комп’ютерних систем; паралельні обчислення; розподілені багатоагентні комп’ютерні системи та інсерційне моделювання; штучний інтелект

Керівники секції: академік НАН України Ю.Г. Кривонос,


академік НАН України О.А. Летичевський,

к.т.н. М.І. Колбасін

13 вересня

Секційні доповіді 1000 – 1400

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАН України)



Згуровский М.З., Зайченко Ю.П. Основные направления вычисли-тельного интеллекта.

Вельбицкий И.В. Визуальная технология программирования нового поколения.

Парасюк И.Н., Ершов С.В. Теоретические и программно-алгоритми­ческие аспекты моделе-ориентированной разработки нечетких интеллекту­альных мультиагентных систем.

Кривонос Ю.Г., Крак Ю.В. Проблеми створення інформаційних техно­логій для комунікації людей з вадами слуху.

Котляров В.П., Черноруцкий И.Г. Вопросы совершенствования современных средств разработки программного продукта.

Мараховский Л.Ф. Синтез многофункциональных цифровых автоматов.

Молчанов И.Н., Химич А.Н., Мова В.И. Интеллектуальные парал-лельные компьютеры для решения научно-технических задач.

Крывый С.Л. Комбинаторный метод решения систем линейных ограниче­ний в дискретных и непрерывных областях.

Никитченко Н.С. Частичные квазиарные программные алгебры как обогащенные конкретизации систем алгоритмических алгебр В.М. Глушкова.

Глибовец Н.Н., Погорелый С.В., Чеботарев А.Н. Проектирова­ние открытых систем.

Скобелев В.Г. Модели и методы анализа конечных автоматов.

Провотар А.И., Провотар А.А. Модели нечеткой логики и их приме­нение.

Шкільняк С.С. Композиційно-номінативні логіки часткових предикатів.

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

Лялецкий А.В. Секвенциальный формализм и поиск логического вывода в стиле алгоритма очевидности.

Поляков С.А. Функциональная семантика оператора обработки исключи­тельных ситуаций.

Сапунов С.В. О восстановлении коллективом агентов графа своей опера-ционной среды.

Грунский И.С., Стёпкин А.В. Применение коллектива агентов для распознавания графов.
Стендові доповіді 1400 – 1500

(хол 1-го поверху 1-го корпусу Інституту кібернетики ім. В.М. Глушкова НАН України)



Chebanyuk O.V. Metalanguage for Description of Problem Domain Processes.

Glazunov N.M. Calabi-Yau Varieties Over Fields of Finite Characteristics and Cryptography.

Peschanenko V., Guba A., Shushpanov C. Symbolic Modeling and Specializations.

Лялецкий А.А. Общие свойства абстрактных понятий редукции и их при­менения.

Скобелев В.В. Автоматы на алгебраических структурах.

Зубенко В.В. Про деякі моделі обчислювальних процедур.

Курганский А.Н. О времени в протяженных автоматоподобных системах.

Сосницкий А.В. Универсальная модель и система новых научных пара-дигм.

Черемісіна Л.О. Використання штучного інтелекту в системах захисту від спаму.

Афонин А.А. Принятие решений в математике и системы автоматизации рассуждений.

СЕКЦІЯ 2


Математичне моделювання; системний аналіз та оптимізація

Керівники секції: академік НАН України В.С. Дейнека,


член-кор. НАН України А.М. Гупал, д.ф.-м.н. О.М. Хіміч

13 вересня


Секційні доповіді 1000 – 1400

(читальний зал Інституту кібернетики ім. В.М. Глушкова НАН України)



Сергиенко И.В., Дейнека В.С. Многокомпонентные распределенные системы и их системный численный анализ.

Кузнецов Н.Ю., Шумская А.А., Хомяк О.Н. Оценка надежности восстанавливаемых s – t сетей с переменной нагрузкой методом ускоренного моделирования.

Емеличев В.А., Кузьмин К.Г. Оценки радиуса устойчивости много­критериальной булевой линейной задачи в метрике Гельдера.

Makarenko A.S. Systems with Anticipation (advanced): Models, Properties and Prospects for Investigations.

Сергиенко И.В., Галба Е.Ф., Дейнека В.С. Взвешенная псевдоин­версия и методы решения некорректных задач линейной алгебры.

Губарев В.Ф. Особенности решения задач оценивания и идентификации
по приближенным данным.

Гупал А.М., Ржепецкий С.С. Методы распознавания структуры бел­ков на основе модели байесовских сетей.

Задірака В.К. Теорія обчислень та сучасні комп’ютерні технології.

Химич А.Н., Попов А.В., Чистякова Т.В., Яковлев М.Ф. Интел-лектуальная система компьютерной математики для решения научно-техни­ческих задач.

Китова О.В. Развитие системы моделей прогнозирования экономики России.

Сергиенко И.В., Шило В.П. Новые подходы к решению сложных задач дискретной оптимизации.

Алексеенко В.В., Клюшин Д.А., Ляшко С.И., Ляшко Н.И. Мно-гомерное ранжирование и эллиптический пилинг.

Стецюк П.И., Петрухин В.А., Бугров Н.В., Хрипко К.Ю. Метод эллипсоидов и условно-оптимальный маршрут.

Сергієнко І.В., Семенов В.В. Навантаження державного боргу на еко­номіку.

Вагис А.А. Симметрия и ее значение в записи генетической информации в ДНК.

Волошин О.Ф., Кудін В.І. Послідовний аналіз скінченно малих збурень в лінійних моделях.

Чуб И.А., Новожилова М.В. Моделирование размещения пожароопас­ных объектов с учетом изменения геометрических параметров зоны загрязне­ния выбросами пожара.

Коршевнюк Л.О., Бідюк П.І. Інформаційно-аналітична система для адаптивного прогнозування.
Стендові доповіді 1400 – 1500

(хол 1-го поверху 1-го корпусу Інституту кібернетики ім. В.М. Глушкова НАН України)



Горбань И.И. Физико-математическая теория гиперслучайных явлений.

Косолап А.И. Метод точной квадратичной регуляризации.

Кожухівський А.Д., Кожухівська О.А. Алгоритм моделювання страхового шахрайства.

Писаренко В.Г., Пакин Ю.В., Андрияшек Ю.И. О возможности математического моделирования памяти живой нейросети системой диффе­ренциальных уравнений с запаздыванием взаимодействия нейронов как вари­ант реализации концепции развивающихся систем по В.М. Глушкову.

Щербина О.А., Свириденко А.В., Лемтюжникова Д.В. Страте­гии повышения эффективности локального элиминационного алгоритма.

Balabanov V., Kizilova N. Mathematical Modeling and Comparison of Efficiency of 3D Fluid-conveying Networks.

Быць А.В. Разработка дискретных моделей для решения задач популяцион­ной экологии.

Біленко В.І., Кирилаха Н.Г. Апроксимаційний метод аналізу моделей Канторовича-Глушкова.

Воробьев А.С., Грачева Т.Я. Индуктивный способ подтверждения свойства Маркова о сумме случайных величин.

Гасанов А.С., Бидюк П.И., Подладчиков В.Н. Интегрированная система для моделирования и прогнозирования нестационарных нелинейных процессов.

Глебена М.І., Цегелик Г.Г. Апарат некласичних мажорант і діаграм Ньютона функцій багатьох змінних, заданих таблично, та його використання для оптимізації негладких логарифмічно вгнутих функцій.

Гулаєва Н.М. Генетичні алгоритми утворення ніш.

Гупал А.М., Островский А.В. Методы распознавания фрагментов ге­нов в ДНК на основе моделей Маркова.

Денисенко П.Н. Алгебраическое программирование решения задачи Коши по τ-методу Ланцоша.

Домрачев В.М. Попит на гроші в Україні.

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

Иванова А.А. Метод наименьших квадратов в решении внутренней обрат­ной задачи теплопроводности.

Коломейко В.В. Человеко-машинные методы в кибернетике.

Кузнєцова Н.В., Бідюк П.І. Інтегрований підхід до аналізу фінансових ризиків.

Малицкий Ю.В., Семенов В.В. Новый экстраградиентный метод для вариационных неравенств.

Норкин Б.В. Об идентификации моделей динамического финансового ана­лиза страховой компании.

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

Ющенко Р.А., Ющенко О.К. Використання графічних прискорювачів для ефективного 2.5D моделювання сейсмічних хвиль.
СЕКЦІЯ 3

Бази даних та знань; теоретичне та Прикладне програмування

Керівники секції: академік НАН України П.І. Андон, д.т.н. А.Ю. Дорошенко, д.ф.-м. н. В.А. Пепеляєв

13 вересня
Секційні доповіді 1000 – 1400

(конференц-зал Інституту програмних систем НАН України)



Markov K., Ivanova K., Velychko V. Evaluation of Scientific Con-tribution.

Маклаков Г.Ю., Гецов П.С. Математическое моделирование поведе-ния человека-оператора в сложных эргатических системах на основе вирту­альной реальности.

Вышинский В.А. Об одном направлении в развитии фундаментального понятия информации В.М. Глушкова.

Дорошенко А.Ю., Жереб К.А., Яценко О.А., Іваненко П.А. Про­грамний комплекс для автоматизації програмування високопродуктивних обчислень.

Лаврищева Е.М. Академик Глушков: технология программирования.

Вергунова І.М. Структурні функції із нечіткими змінними для опису за­хисних заходів у агротехнологіях.

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

Гречко В.О., Гречко А.В., Колбасин Н.И., Фальфушинский В.В. Исследование эффективности параллельных алгоритмов сортировки для раз­личных схем многопоточного слияния.

Броварник В.В., Головач Т.М Розробка бази даних для депозитарію культур мікроорганізмів.

Панченко Б.Е., Гайдабрус В.Н. Применение каркасной модели данных к проектированию CASE-средств и приложений.

Чаплінський Ю.П. Онтологокероване прийняття рішень.

Тимашова Л.А. Новые концепции и информационные технологии для управления виртуальными предприятиями.

Поленок С.П., Ткачов І.І. Перспективи та методологічні засади нового етапу розвитку вітчизняного сектору інформаційних технологій.

Ветеранова Д.С., Медведев Н.А. Сложные структуры данных: графи­ческий опорный конспект.

Джелали В.И., Кулиниченко В.Л. Инновационная информатика — сущность и структура.
Стендові доповіді 1400 – 1500

(хол 1-го поверху 1-го корпусу Інституту кібернетики ім. В.М. Глушкова НАН України)



Колбасин Н.И., Митченко А.И. Создание банков данных уровня предприятия.

Гладун А.Я., Рогушина Ю.В. Использование semantic web для интел­лектуализации grid-инфраструктур.

Гречко А.В., Гречко В.О., Коваленко А.С., Шаров О.И. Разра­ботка Web-интерфейса для метода прогнозного графа.

Панченко Б.Е. Каркасная модель данных и ее применение к проектиро­ванию безаномальных реляционных схем.

Vergunov V.V. Сlusterization of Unstructured Data.

Костюченко А.О. Опрацювання математичних виразів при створенні педагогічних програмних засобів.

Ivanova K., Vanhoof K., Markov K., Velychko V. The Natural Language Addressing Approach.

Поляков В.В. Навчальна програма для науковців «Інформатика та інтер­нет-технології в наукових дослідженнях».

Рогушина Ю.В. Управление онтологическими знаниями при семантичес­ком поиске.

Новожилова М.В., Ушеров-Маршак А.В., Михеев И.А. Фор­мальное представление знаний в информационной терминосистеме неоргани­ческого материаловедения. Методология и практическая реализация.

СЕКЦІЯ 4


Комп’ютерна архітектура та інженерія; автоматизовані та автоматичні системи керування в технічних та економічних системах; комп’ютерна безпечність та криптографія; телекомунікаційні системи; реєстрація інформації

Керівники секції: академік НАН України В.М. Кунцевич,


академік НАН України В.В. Петров, академік НАН України О.В. Палагін,

д.т.н. В.О. Романов

13 вересня
Секційні доповіді 1000 – 1400

(конференц-зал Інституту космічних досліджень НАН та ДКА України)



Чикрий А.А., Матичин И.И. Динамические игры с дробными произ­водными.

Войтович І.Д. Біомедичні інтелектуальні сенсори і системи.

Великий А.П., Горбачук В.М., Єрмольєв Ю.М., Кнопов П.С. Взаємодія централізації і децентралізації у міждисциплінарній кібернетиці академіка Глушкова.

Глушкова В.В., Жабин С.А. Проект ОГАС В.М. Глушкова и информа­ционное общество.

Гнатів Л.О. Метод побудови швидких цілочисельних синусних перетво­рень для кодування зображень та intra-прогнозування у відеокодуванні.

Романов В.А., Груша В.М., Ковырёва А.В., Сарахан Е.В., Федак В.С. Информационные технологии для изучения воздействия стре­ссовых факторов на состояние растений.

Каленчук-Порханова А.А., Вакал Л.П., Басок Н.В. Автоматизи­рованная система экологического мониторинга как приоритетный фактор устойчивого развития общества.

Kizilova N., Griskevicius J., Karpinski M., Karpinska E. Com­puter-assisted Bioengineering System for Control and Optimization of Human Gait and Posture.

Белик В.К., Климовская А.И., Журавская И.О. Нанокомпьютер: перспективы создания (обзор НЭМС для нанокомпьютера).

Швідченко І.В. Стеганоаналіз звукових та графічних контейнерів.

Мельник В.В. Мікроядро з однорівневою пам’яттю.

Ибрагимова Д.Э. 3D Mapping.

Ибраимов А.Т. Алгоритмы обработки и извлечения символов при анали­зе и распознавании изображений.

Боюн В.П. Особливості обробки сигналів та зображень в системах реаль­ного часу.

Галицький В.А. Про одну задачу економіки в екології.

Гур’янов О.І. Системи цифрового підпису на еліптичних кривих Едвардса.

Писаренко В.Г., Писаренко Ю.В. Информационная технология ми­нимизации ущерба участку техносферы от паводка с использованием средств наземного, аэрокосмического мониторинга и обобщения метода недифферен­цируемой оптимизации Михалевича-Шора.
Стендові доповіді 1400 – 1500

(хол 1-го поверху 1-го корпусу Інституту кібернетики ім. В.М. Глушкова НАН України)



Войтович И.Д., Чайковский И.А. Классификация клинических инфор­мационных технологий с точки зрения их практической зрелости на примере технологий анализа электрической активности сердца.

Боюн В.П., Бєлявін В.Ф. Розробка та дослідження моделі сигналу і ме­тоду підвищення завадостійкості охоронних систем.

Будник М.М., Войтович І.Д., Вакал Л.П., Лукаш С.І., Мерж­винський П.А. Діагностика стану людини по повітрю дихання.

Легенький В.І. Методи комп'ютерної алгебри в задачах аналізу та опти­мізації систем керування.

Палагін О.В., Галелюка І.Б., Артеменко Д.М., Брайко Ю.О., Вороненко О.В., Імамутдінова Р.Г. Інформаційні технології в ком­п'ютерному приладобудуванні.

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

Харченко А.М. Застосування інформаційно-аналітичних систем в управ­лінні дорожнім господарством.

Сабельніков П.Ю. Суміщення вводу і обробки зображень в інтелекту­альній відеокамері.

Горбачук В.М., Кулик В.В., Хорозов О.А. Сучасні шляхи поліпшен­ня макроекономічного менеджменту.

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

Чернецкий В.В. Измерение и отображение динамических параметров сердечно-сосудистой системы.

Вітер М.Б., Чередниченко М.С. Інтеграція інформаційних ресурсів в системі управління державними фінансами.

Тригодько Д.І. Створення програмного забезпечення для керування дію­чим макетом робота-дефектоскопа повітряних кабельних ліній.

Тригуб Р.О. Програмна система дослідження слабоструктурованих задач багатокритеріальної оптимізації.


ЗАКРИТТЯ КОНФЕРЕНЦІЇ

13 вересня

1600 – 1900

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАН України)
Підведення підсумків роботи конференції і прийняття рішення.

Загальна дискусія.



Круглий стіл.



База даних захищена авторським правом ©refs.in.ua 2016
звернутися до адміністрації

    Головна сторінка