Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lvk.cs.msu.su/~ashalimov/doc/program_mco09.doc Дата изменения: Fri Sep 25 10:22:41 2009 Дата индексирования: Sat Apr 9 22:53:47 2016 Кодировка: koi8-r

Третья Всероссийская научная конференция

Методы и средства обработки информации



ПРОГРАММА






6-8 октября 2009 года

Москва

Организаторы и спонсоры

. Министерство образования и науки Российской Федерации
. Российская академия наук
. Российский фонд фундаментальных исследований
. Московский государственный университет имени М.В. Ломоносова
. Волгоградский государственный технический университет
. Казанский государственный университет
. Московский государственный институт радиотехники, электроники и
автоматики (технический университет)
. Санкт-Петербургский технический университет
. Уральский государственный университет
. Научно-исследовательский институт системных исследований РАН
. Институт Системного Программирования РАН
. Вычислительный Центр РАН
. Институт Программных Систем РАН
. Институт проблем информатики РАН


Программный комитет

Сопредседатель - Бетелин В.Б. акад. РАН
Сопредседатель - Иванников В.П. акад. РАН

Члены:
Моисеев Е.И. акад. РАН
Левин В.К. акад. РАН
Журавлев Ю.И. акад. РАН
Евтушенко Ю.Г. акад. РАН
Рябов Г.Г. чл.-корр. РАН
Пешехонов В.Г. акад. РАН
Четверушкин Б.Н. чл.-корр. РАН
Савин Г.И. акад. РАН
Белокуров В.В. профессор
Рудаков К.В. чл.-корр. РАН
Соколов И.А. чл.-корр. РАН
Валиев К.А. акад. РАН
Марчук Г.И. акад. РАН



Организационный комитет

Председатель - Королев Л.Н. чл.-корр. РАН
Зам. председателя - Смелянский Р.Л. акад. РАЕН
Уч. секретарь - Костенко В.А. с.н.с.

Члены:
Захаров В.А. доцент
Тихонравов А.В. профессор
Воеводин В.В. чл.-корр. РАН
Ивашко А.М.
Топорков В.В. профессор
Никольская Ю.Н. с.н.с.
Сигов А.С. чл.-корр. РАН
Татаринов Ю.С. доцент
Томилин А.Н. профессор
Латыпов Р.Х. профессор
Новаков И.А. чл.-корр. РАН
Третьяков В.Е. чл.-корр. РАН
Соколов В.А. профессор
Петренко А.К. профессор
Кузнецов С.Д. профессор
Адреса и телефоны для контактов

Конференция будет проводиться с 6 октября по 8 октября 2009 г. в г.
Москве.
Работа по секциям будет проходить в МГУ им. М.В. Ломоносова

6, 7 и 8 октября 2009 г. во 2-м учебном корпусе МГУ им. М. В. Ломоносова
на Воробьевых горах (ст. метро "Университет", МГУ, 2-й учебный корпус,
факультет ВМК).
Распределение секционных заседаний по аудиториям, будет сообщено при
регистрации.



Смелянский Руслан Леонидович - зам. председателя Оргкомитета
Тел.: (495)939-46-71, Факс: (495)939-25-96
E-mail: smel@cs.msu.su

Костенко Валерий Алексеевич - уч. секретарь
Тел.: (495)939-46-71, Факс: (495)939-25-96
E-mail: kost@cs.msu.su

Капинус Елена Николаевна - секретарь
Тел.: (495)939-46-71, Факс: (495)939-25-96
E-mail: kapinus@lvk.cs.msu.su


Пленарное заседание 1
МГУ, 2-й учебный корпус

Открытие конференции.
. Приветственное слово председателя организационного комитета, чл.-корр.
РАН Королева Л.Н.
. Приветственное слово от Российского Фонда Фундаментальных Исследований.
. Приветственное слово от Министерства науки и образования Российской
Федерации.

1. Иванников В.П.
Тенденции развития системного программирования

2. Левин В.К.
Суперкомпьютеры: состояния и перспективы развития

3. Черверушкин Б.Н.
Проблемы использования супер-ЭВМ

4. Бетелин В.Б.
Массовые информационные технологии: состояния и перспективы развития

5. Эйсымонт Л.К.
Прогнозные оценки развития высокопроизводительной вычислительной техники

Пленарное заседание 2
МГУ, 2-й учебный корпус

1. Попов А.М.
Параллельные вычисления в задачах нанотехнологий

2. Рудаков К.В.
Мультиалгоритмические конструкции в синтезе корректных алгоритмов

3. Смелянский Р.Л.
Среда полунатурного моделирования для интеграции бортовых авиационных
комплексов

4. Рябов Г.Г.
Суперкомпьютеры и топология

5. Кузнецов С.Д.
Перспективы развития технологий управления данными
1. Методы и средства анализа функционирования вычислительных систем

председатели: профессор Томилин А.Н.,
профессор Смелянский Р.Л.

Заседание 1

1. Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л., Чистолинов
М.В., Ющенко Н.В.
СТЕНД ПОЛУНАТУРНОГО МОДЕЛИРОВАНИЯ ДЛЯ РАЗРАБОТКИ ВСТРОЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ
СИСТЕМ

2. Бахмуров А.Г., Волканов Д.Ю., Смелянский Р.Л.
МЕТОДИКА ПОИСКАОПТИМАЛЬНОГО НАБОРА МЕХАНИЗМОВ ОТКАЗОУСТОЙЧИВОСТИ ДЛЯ
ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ

3. Чистолинов М.В.
Анализ циклограмм обменов по МКИО с использованием алгоритмов нечёткого
сопоставления строк

4. Чистолинов М.В.
Язык описания шаблонов для анализа поведеня вычислительных систем

5. Миков А.И., Замятина Е.Б.
Проблемы реализации системы распределенного моделирования с удаленным
доступом

6. Никольская Ю.Н., Леницкий Д.С., Левченко Н.Н., Окунев А.С.
ВОЗМОЖНОСТЬ ПРИМЕНЕНИЯ ПАРАЛЛЕЛЬНОЙ ПОТОКОВОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ ДЛЯ
СОЗДАНИЯ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ

Заседание 2

1. Рябых Н.Г.
СИНТЕЗ УСТОЙЧИВЫХ РАССИНХРОНИЗОВАННЫХ ИТЕРАЦИОННЫХ ПРОЦЕССОВ МЕТОДОМ ПРЕ- И
ПОСТ-КОДИРОВАНИЯ

2. Ломазова И.А.
Адаптивное и динамичное моделирование
потоков работ на основе взаимодействующих
сетей Петри

3. Харитонов В.Ю.
МОДЕЛИ СОГЛАСОВАННОСТИ ДЛЯ РАСПРЕДЕЛЕННЫХ СИСТЕМ ВИРТУАЛЬНОЙ РЕАЛЬНОСТИ

4. Смелянский Р.Л., Шалимов А.В.
К ВОПРОСУ О ЧАСТОТЕ ВЫПОЛНЕНИЯ ФРАГМЕНТОВ КОДА ПОСЛЕДОВАТЕЛЬНОЙ
ПРОГРАММЫ

5. Чупилко М.М.
Интеграция подходов к тестированию моделей аппаратуры на основе методологии
OVM

6. Цветков В.В., Змеев Д.Н.
Параллельная работа исполнительных устройств в ядре ППВС

2. Методы и средства проверки правильности программного обеспечения

председатели: профессор Подловченко Р.И., доцент Захаров В.А.

Заседание 1


Инструментальные средства

1. Малаховски Я.М., Шалыто А.А.
РЕАЛИЗАЦИЯ КОНЕЧНЫХ АВТОМАТОВ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ

2. Решетников Е.О.
ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО ДЛЯ ПОДДЕРЖКИ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ В
СРЕДЕ РАЗРАБОТКИ MICROSOFT VISUAL STUDIO 2005

3. Непомнящий В.А., Бодин Е.В., Веретнов С.О.
ЯЗЫК спецификаций распределенных систем Dynamic-REAL и его применение к их
анализу и верификации

4. Шилов Н.В., Бодин Е.В.
Верифицирующий компилятор основанный на булевских решателях

5. Булычёв П.Е., Захаров В.А.
УНИВЕРСАЛЬНЫЙ ПОДХОД К ПРОВЕРКЕ ОТНОШЕНИЙ СИМУЛЯЦИИ ДЛЯ МОДЕЛЕЙ ПРОГРАММ

6. Коннов И.В.
применение системы CHEAPS для верификации параметризованных моделей
распределённых систем

7. Шалагин С.В.
Представимость марковских моделей системой полиномов над полем Галуа вида
GF(2)

Заседание 2


Методы и алгоритмы

1. Данилов В.Р., Шалыто А.А.
ПРЕДСТАВЛЕНИЕ ФУНКЦИИ ПЕРЕХОДОВ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ ПРИ ГЕНЕРАЦИИ
УПРАВЛЯЮЩИХ АВТОМАТОВ С ПОМОЩЬЮ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ

2. Кузьмин Е.В., Соколов В.А., Чалый Д.Ю.
формальное построение автоматных программ

3. Махортов С.Д.
Релевантный обратный вывод и верификация логических программ на основе
решения уравнений в LP-структурах

4. Подловченко Р.И.
ОБ ОДНОМ ПОДХОДЕ К РЕШЕНИЮ ПРОБЛЕМЫ ЭКВИВАЛЕНТНОСТИ В МОДЕЛЯХ
ПОСЛЕДОВАТЕЛЬНЫХ ПРОГРАММ

5. Булычёв П.Е., Захаров В.А.
Об одной задаче верификации параметризованных конечных систем переходов

6. Костылев Е.В., Захаров В.А.
ОБ ОДНОМ ОБОБЩЕНИИ ПОДСТАНОВКИ ПРИМЕНИТЕЛЬНО К ВЫЧИСЛЕНИЮ ИНВАРИАНТОВ
ПРОГРАММ

7. Шалагин С.В., Кайбушев Ф.Х., Зелинский Р.В.
Оценки сложности конгруэнтных псевдослучайных последовательностей по
простому модулю на ПЛИС/FPGA

3. Структурный синтез вычислительных систем, планирование вычислений:
методы, алгоритмы и инструментальные средства

председатели: профессор Топорков В.В., с.н.с. Костенко В.А.

Заседание 1


Динамическое планирование вычислений и управление ресурсами

1. Топорков В.В., Топоркова А.С., Целищев А.C., Емельянов Д.М.
ДИСПЕТЧЕРИЗАЦИЯ ПОТОКОВ ЗАДАНИЙ И ПЛАНИРОВАНИЕ ВЫЧИСЛЕНИЙ В РАСПРЕДЕЛЕННЫХ
СРЕДАХ

2. Топорков В.В., Целищев А.С.
ОЦЕНКА ЭФФЕКТИВНОСТИ МОДИФИЦИРОВАННОГО МЕТОДА КРИТИЧЕСКИХ РАБОТ В
ПЛАНИРОВАНИИ РАСПРЕДЕЛЁННЫХ ВЫЧИСЛЕНИЙ И ФОРМИРОВАНИИ СТРАТЕГИИ КОАЛЛОКАЦИЙ
ДЛЯ РЕШЕНИЯ БОЛЬШИХ ЗАДАЧ

3. Аксенова Е.А., Драц А.В., Соколов А.В.
НЕКОТОРЫЕ ЗАДАЧИ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ ДИНАМИЧЕСКИМИ СТРУКТУРАМИ
ДАННЫХ

4. Наградов Е.А.
ПРОБЛЕМЫ ПРИМЕНЕНИЯ СУЩЕСТВУЮЩИХ АЛГОРИТМОВ МАРШРУТИЗАЦИИ В СЕНСОРНЫХ СЕТЯХ
РЕАЛЬНОГО ВРЕМЕНИ

Заседание 2


Структурный синтез и статическое планирование вычислений для вычислительных
систем реального времени

1. Балашов В.В., Костенко В.А.
ЗАДАЧИ ПЛАНИРОВАНИЯ ВЫЧИСЛЕНИЙ ДЛЯ ОДНОПРИБОРНЫХ СИСТЕМ, ВХОДЯЩИХ В СОСТАВ
ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ

2. Костенко В.А.
АЛГОРИТМЫ ПОСТРОЕНИЯ РАСПИСАНИЙ ДЛЯ ОДНОПРИБОРНЫХ СИСТЕМ, ВХОДЯЩИХ В СОСТАВ
СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ



3. Колесов Н.В., Толмачева М.В., Юхта П.В.
Субоптимальное Планирование вычислительного процесса в РАСПРЕДЕЛЕННЫХ
системах реального времени

4. Гончар Д.Р.
МУЛЬТИОЦЕНОЧНЫЙ АЛГОРИТМ РЕШЕНИЯ МИНИМАКСНОЙ ЗАДАЧИ СОСТАВЛЕНИЯ РАСПИСАНИЯ

5. Бычков И.А., Костенко В.А.
Задачи построения расписания обменов и выбора СТРУКТУРЫ СЕТИ ДЛЯ кольцА с
арбитражем

6. Костенко В.А., Кунцьо С.Ю.
ЗАДАЧА ПОСТРОЕНИЯ РАСПИСАНИЯ ОБМЕНОВ ДЛЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ РЕАЛЬНОГО
ВРЕМЕНИ С КОММУТАТОРОМ

Заседание 3


Структурный синтез и статическое планирование вычислений (теоретические
вопросы)

1. Фуругян М.Г.
АЛГОРИТМ СИНТЕЗА МНОГОПРОЦЕССОРНОЙ СИСТЕМЫ

2. Косоруков Е.О., Фуругян М.Г.
ОДИН АЛГОРИТМ РАСПРЕДЕЛЕНИЯ РЕСУРСОВ В МНОГОПРОЦЕССОРНЫХ СИСТЕМАХ

3. Козырев В.П.
Соединение графов задач составления многопроцессорных расписаний,
содержащих 2-совместимые и 2-несовместимые пары работ

4. Козырев В.П.
Нахождение многопроцессорных расписаний в задачах, содержащих 1-совместимые
и 2-несовместимые пары работ

5. Мельников Б.Ф., Пивнева С.В.
МУЛЬТИЭВРИСТИЧЕСКИЙ ПОДХОД К ЗАДАЧАМ ДИСКРЕТНОЙ ОПТИМИЗАЦИИ

6. Магомедов А.М.
ОБ ОДНОЙ СПЕЦИАЛЬНОЙ РЕБЕРНОЙ РАСКРАСКЕ ДВУДОЛЬНОГО МУЛЬТИГРАФА СТЕПЕНИ НЕ
БОЛЬШЕ 5
4. Высокопроизводительные вычислительные системы и методы организации
вычислений на них

председатели: чл.-корр. РАН Королев Л.Н.,
чл.-корр. РАН Воеводин Вл.В.

Заседание 1

1. Бекас Б.А., Яджак М.С.
АНАЛИЗ РЕАЛИЗАЦИИ ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ РЕШЕНИЯ ЗАДАЧИ ЦИФРОВОЙ
ФИЛЬТРАЦИИ НА КЛАСТЕРНЫХ СИСТЕМАХ

2. Джосан О.В., Попова Н.Н.
Система визуализации результатов научных вычислений для суперкомпьютера
BlueGene/P

3. Дорошенко Е.С., Лупин С.А., Подкопаев И.В.
Анализ функционирования кластерных вычислительных систем под управлением MS
HPC Server 2008

4. Засов В.А., Никоноров Е.Н.
Организация параллельнЫХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ в системах
виброакустического контроля

5. Климов А.В.
ДЕРЕВЬЯ ВЫБОРА И ИХ ИСПОЛЬЗОВАНИЕ ДЛЯ ОПИСАНИЯ СЕМАНТИЧЕСКОГО ЭФФЕКТА
ПРОГРАММЫ

Заседание 2

1. Кульков И.В., Князьков В.С.
КОНЦЕПЦИЯ КОНФИГУРИРУЕМОГО ПАРАЛЛЕЛИЗМА

2. Левченко Н.Н., Окунев А.С.
АНАЛИЗ ПРОХОЖДЕНИЯ ЗАДАЧИ «ОБНАРУЖЕНИЕ ДЕФЕКТОВ» НА ПАРАЛЛЕЛЬНОЙ ПОТОКОВОЙ
ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЕ

3. Мендкович А.С., Аникин Н.А., Кузьминский М.Б., Мускатин А.Ю., Захарова
М.Н.
Территориально распределенная химическая информационная система с
интеграцией баз данных в GRID-среде

4. Яковенко П.Н.
Контроль доступа процессов к сетевым ресурсам на базе аппаратной
виртуализации

5. Машинное обучение и природные алгоритмы

председатели: чл.-корр. РАН Рудаков К.В.,
чл.-корр. РАН Королев Л.Н.,
с.н.с. Костенко В.А.

Заседание 1

1. Поляков П.Ю.
СРАВНЕНИЕ ДВУХ ТИПОВ НЕЙРОННЫХ СЕТЕЙ В ЗАДАЧЕ БУЛЕВСКОГО ФАКТОРОНОГО
АНАЛИЗА

2. Литинский Л.Б.
Глобальный минимум квадратичного бинарного функционала c аддитивной
матрицей связи

3. Карандашев Я.М., Крыжановский Б.В.
ЭФФЕКТИВНОЕ УВЕЛИЧЕНИЕ ОБЛАСТИ ПРИТЯЖЕНИЯ ГЛОБАЛЬНОГО МИНИМУМА
КВАДРАТИЧНОГО БИНАРНОГО ФУНКЦИОНАЛА

4. Хачумов В.М.
НЕЙРОСЕТЕВЫЕ ТЕХНОЛОГИИ ОБРАБОТКИ ИНФОРМАЦИИ В КОСМИЧЕСКИХ ПРИЛОЖЕНИЯХ

5. Халов Е.А.
ОБ ОСНОВАХ НОВОГО ПОДХОДА К ПОСТРОЕНИЮ ФУНКЦИЙ ПРИНАДЛЕЖНОСТИ НЕЙРО-
НЕЧЕТКИХ СИСТЕМ УПРАВЛЕНИЯ

Заседание 2

1. Барыбин А.К., Коваленко Д.С., Костенко В.А, Тумакин Д.А., Чельдиев М.И.
параллельный алгоритм обучения распознавателей нештатного поведения
динамических систем

2. Энкович И.В., Морозов С.В., Семенов В.А., Тарлапан О.А.
СОПОСТАВЛЕНИЕ ДАННЫХ НА ОСНОВЕ СЕМАНТИЧЕСКИ СОГЛАСОВАННОЙ МЕТРИКИ


3. Столов Е.Л
РАСПРЕДЕЛЕНИЕ ОСОБЫХ ТОЧЕК В ПАРОЛЬНОЙ ФРАЗЕ В ЗАДАЧЕ ИДЕНТИФИКАЦИИ ДИКТОРА

4. Непомнящих В.А., Попов Е.Е., Редько В.Г.
ЗНАЧЕНИЕ АВТОКОРРЕЛЯЦИЙ ДЛЯ ЭФФЕКТИВНОГО РЕШЕНИЯ ЗАДАЧ ПОИСКА

5. Скобцов Ю.А., Скобцов В.Ю.
ЭВОЛЮЦИОННЫЕ МЕТОДЫ В ПРОЕКТИРОВАНИИ ЦИФРОВЫХ УСТРОЙСТВ

6. Информационная безопасность

председатели: профессор Смелянский Р.Л., Ивашко А.М.

Заседание 1

1. Абрамов Н.А., Качалин А.И.
Выбор моделей распространения ВПО при разработке модели глобальной сети

2. Беззубцев С.О., Гамаюнов Д.Ю., Горнак Т.А., Сапожников А.В., Сахаров
Ф.В.
Контроль безопасного выполнения приложений с помощью поведенческих моделей

3. Булгаков И.А., Гамаюнов Д.Ю., Торощин Э.С.
Обнаружение распространения сетевых червей на основе анализа частоты
встречаемости инструкций IA32 в сетевом трафике

4. Гамаюнов Д.Ю., Казачкин Д.С., Шугалёв П.И.
Среда высокоскоростного анализа сетевого трафика для задач информационной
безопасности

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

6. Козлов Д.Д., Петухов А.А.
Сбор информации о поведении веб-приложения при тестировании методом
"черного ящика"


Заседание 2

1. Разинков Е.В., Латыпов Р.Х.
О СТЕГОСИСТЕМАХ С НАРУШЕНИЕМ КВАНТОВАНИЯ

2. Смирнов М.Э.
АНАЛИТИЧЕСКАЯ ОЦЕНКА УСТОЙЧИВОСТИ АРХИТЕКТУРЫ БОТНЕТ (BOTNET)

3. Жилкин С.Д.
МОДЕЛИ ПОВЕДЕНИЯ ПО И ВЫЯВЛЕНИЕ АНОМАЛИЙ ПОВЕДЕНИЯ

4. Захаров С.В.
О некоторых подходах к формированию требований к антивирусным средствам

5. Личагин А.Н.
О некоторых способах и механизмах защиты телекоммуникацИОННОГО ОБОРУДОВАНИЯ
от компьютерных атак

6. Ивашко А.М.
К вопросу об обработке защищенной информации в современных информационно-
коммуникационных системах

7. Долматов В.В.
О безопасности DNS службы


-----------------------














































































































[pic]