Программа 1-3 октября 2003 года Москва Организаторы и спонсоры Министерство образования Российской Федерации Министерство промышленности, науки и технологий Российской Федерации
| Вид материала | Программа |
- Государственная программа Российской Федерации «Доступная среда» на 2011 2015 годы, 1560.95kb.
- Российской Федерации Министерство образования и науки Российской Федерации Государственный, 343.55kb.
- Министерство министерство образования и науки информационных российской федерации технологий, 47.51kb.
- Реферат по дисциплине «Методология программной инженерии» Тема: «case технологии разработки, 116.96kb.
- Российской Федерации Министерство общего и профессионального образования Российской, 41.11kb.
- Программа 09 декабря 2011 г. Москва 2011 организаторы министерство образования и науки, 74.42kb.
- Министерство образования и науки Российской Федерации, 427.21kb.
- Правительства Российской Федерации от 11 июля 2005 г. №422. Государственным заказчиком, 268.73kb.
- Вторая всероссийская научно-практическая конференция «Рынок образования и рынок труда:, 36.95kb.
- Министерство здравоохранения российской федерации приказ 22 октября 2003, 1950.07kb.
Первая Всероссийская научная конференция
Методы и средства обработки информации
ПРОГРАММА
1-3 октября 2003 года
Москва
Организаторы и спонсоры
- Министерство образования Российской Федерации
- Министерство промышленности, науки и технологий Российской Федерации
- Российская академия наук
- Российский фонд фундаментальных исследований
- Московский государственный университет им. М.В. Ломоносова
- Таганрогский государственный радиотехнический университет (ТРТУ) и НИИ МВС
- Московский физико-технический институт (государственный университет)
- Московский государственный институт радиотехники, электроники и автоматики (технический университет)
- Московский инженерно-физический институт (государственный университет)
- Московский государственный институт электронной техники (технический университет)
- Межведомственный суперкомпьютерный центр
- Sun Microsystems – генеральный спонсор
- Российский фонд фундаментальных исследований – спонсор
- РЕДЛАБ - спонсор
Программный комитет
Сопредседатели – Бурцев В.С. акад. РАН
Воеводин В.В. акад. РАН
Члены:
Бугаев А.С. акад. РАН
Валиев К. А. акад. РАН
Гуляев Ю.В. акад. РАН
Журавлев Ю.И. акад. РАН
Каляев A.В. акад. РАН
Макаров И.М. акад. РАН
Микаэлян А.Л. акад. РАН
Савин Г.И. акад. РАН
Моисеев Е.И. акад. РАН
Садовничий В.А. акад. РАН
Федосов Е.А. акад. РАН
Сафронов И. Д. акад. РАЕН
Бабаян Б. А. чл.-корр. РАН
Зубарев Ю.Б. чл.-корр РАН
Забродин А. В. чл.-корр. РАН
Иванников В.П. чл.-корр. РАН
Лавров С. С. чл.-корр. РАН
Левин В. К. чл.-корр. РАН
Рябов Г. Г. чл.-корр. РАН
Кутахов В.П. профессор
Хетагуров А.Я. профессор
Организационный комитет
Председатель – Королев Л.Н., чл.-корр. РАН
Зам. председателя – Каляев И.А., чл.-корр. РАН
Смелянский Р. Л., акад. РАЕН
Члены:
Бетелин В.Б. чл.-корр. РАН
Жижченко А.Б. чл.-корр. РАН
Митропольский Ю.И. чл.-корр. РАН
Хорошевский В.Г. чл.-корр. РАН
Четверушкин Б.Н. чл.-корр. РАН
Воеводин Вл. В. чл.-корр. РАН
Крыжановский В.В. д.ф.-м.н.
Курейчик В.М. профессор
Томилин А. Н. профессор
Сухомлин В. А. профессор
Терехов А. В. профессор
Марчук А. Г. профессор
Машечкин И. В. профессор
Никольская Ю.Н. с.н.с. , к.т.н. – уч. секретарь
Костенко В.А. с.н.с., к.т.н. - - уч. секретарь
Адреса и телефоны для контактов
Конференция будет проводиться с 1 октября по 3 октября 2003 г. в г. Москве.
Открытие конференции и первое пленарное заседание состоятся в 1000 1 октября 2003 г. в здании Президиума РАН (ст. метро "Ленинский проспект", Ленинский проспект, 32/a), второе пленарное заседание состоится в 1500 1 октября 2003 г. в МГУ им. М. В. Ломоносова (ст. метро "Университет", МГУ, 2-й учебный корпус, факультет ВмиК, ауд. П5).
Работа по секциям будет проходить в МГУ им. М. В. Ломоносова 2 и 3 октября 2003 г. (ст. метро "Университет", МГУ, 2-й учебный корпус, факультет ВМиК).
Смелянский Руслан Леонидович - зам. председателя Оргкомитета
Тел.: (095)939-46-71, Факс: (095)939-25-96
E-mail: smel@cs.msu.su
Костенко Валерий Алексеевич – уч. секретарь
Тел.: (095)939-46-71, Факс: (095)939-25-96
E-mail: kost@cs.msu.su
Никольская Юлия Николаевна – уч. секретарь
Тел.:(095)718-21-20
E-mail: bur@bur.oivta.ru
Борисова Татьяна Александровна - секретарь
Тел.: (095)939-46-71, Факс: (095)939-25-96
E-mail: tborisova@lvk.cs.msu.su
| 1 октября 1000 -1300 | Открытие конференции Пленарное заседание 1 здание Президиума РАН | ||||
| 1 октября 1500 -1800 | Пленарное заседание 2 МГУ им. М. В. Ломоносова, ф-т ВМиК, ауд.П5 | ||||
| Расписание работы секций | |||||
| | ауд. П8а | ауд. 685 | ауд. П8 | ауд. 247а класс 1 | ауд. 247а класс 2 |
| 2 октября 1000 -1300 | сек. 1 засед. 1 | сек. 2 засед. 1 | подсек. 3.1 | подсек. 3.3 | сек. 4 засед. 1 |
| 2 октября 1500 -1800 | сек. 1 засед. 2 | сек. 2 засед. 2 | подсек. 3.2 | подсек. 3.5 засед. 1 | |
| 3 октября 1000 -1300 | | сек. 2 засед. 3 | | подсек. 3.5 засед. 2 | подсек. 3.4 |
| 3 октября 1500 -1800 | | | | | |
Аудитории П8, П8а, П5 – расположены во втором учебном корпусе МГУ (2-й этаж, северный вход).
Аудитория 247а – расположены во втором учебном корпусе МГУ (2-й этаж, южный вход).
Аудитория 685 расположена во втором учебном корпусе МГУ (6-й этаж).
Пленарное заседание 1.
1 октября, 1000 - 1300
здание Президиума РАН
председатель: акад. РАН В.В. Воеводин
1. Открытие конференции.
Приветственное слово от:
- Российской академии наук;
- Министерства образования Российской Федерации;
- Министерства промышленности, науки и технологий Российской Федерации;
- Московского государственного университета им. М.В. Ломоносова.
2. Бурцев В.С.
Новые принципы организации вычислительных процессов высокого параллелизма.
3. Каляев А.В.
Программирование виртуальных архитектур и организация структурно-процедурных вычислений в многопроцессорных системах с массовым параллелизмом.
4. Смелянский Р.Л.
Проблемы разработки и анализа функционирования встроенных систем реального времени.
Пленарное заседание 2.
1 октября, 1500 - 1800
МГУ, 2-й учебный корпус, ауд. П5
председатель: чл.-корр. РАН Л.Н. Королев
1. Валиев К.А.
Квантовые компьютеры и квантовые вычисления.
2. Подловченко Р.И.
Современные вопросы теоретического программирования.
3. Микаэлян А.Л.
Проблемы нейронной памяти и перспективы создания оптических наноструктур.
4. Забродин А.В., Левин В.К.
Суперкомпьютеры для решения современных задач науки и технологий в России.
5. Бабаян Б.А., Сохин Ю.Х.
Современные тенденции в развитии отечественных микропроцессоров.
1. Архитектуры процессоров и вычислительных систем
Заседание 1
2 октября, 1000 - 1300, ауд. П8а
председатель: акад. РАН В.С. Бурцев
1. Аксенова Е.А., Лазутина А.А., Соколов А.В., Тарасюк А.В.
Оптимальные методы динамического распределения нестраничной памяти
2. Дашевский В.П.
Вероятностный анализ задач с буферизацией запросов в системах реального времени
3. Елизаров Г.С., Каратанов В.В., Корнеев В.В., Левин В.К., Яблонский С.В.
Семейство кластерных вычислительных систем МВС-1000 с уровнем производительности 1 Tflops и более.
4. Корнеев В.В., Киселев А.В., Баранов А.В., Зверев Е.Л., Подзоров В.В.
Управление сетевой средой распределенных вычислений
5. Левин И.И.
Многопроцессорная система с программированием архитектуры на нескольких уровнях
6. Левин И.И., Сластен Л.М.
Алгоритм коммутации элементов многопроцессорной системы со структурно-процедурной организацией вычислений
7. Левин И.И., Шахов Р.В.
Алгоритмы трансляции структурно-реализуемого фрагмента задачи для многопроцессорной системы
8. Степанов А.М.
Программирование на вычислительной системе не фон неймановской архитектуры с автоматическим распределением ресурсов.
Заседание 2
2 октября, 1500 - 1800, ауд. П8а
председатель: акад. РАН А.В. Каляев
сопредседатель: чл.-корр. РАН Ю.И. Митропольский
1. Анни Павел
Многопотовые и многоядерные процессоры архитектуры SPARC
2. Крыжановский Б.В., Литинский Л.Б.
О различных вариантах ассоциативной памяти на принципах частотно-фазовой модуляции
3. Митропольский Ю.И.
Мультиархитектурная вычислительная суперсистема
4. Синицын И.Н., Синицын В.И., Степанов А.М., Ушмаев О.С.
Проблемы реализации вычислительных методов обработки и анализа сигналов и изображений на архитектурах с ассоциативной памятью
5. Скобцов Ю.А., Скобцов В.Ю.
Эволюционный подход к построению тестов цифровых систем
6. Хорошевский В.Г., Мамойленко С.Н., Майданов Ю.С.
Живучие кластерные вычислительные системы
7. Чумаченко Г.О.
Технология отложенных токенов для преодоления ситуаций блокировки по переполнению буферов в суперпроцессоре нетрадиционной архитектуры.
8. Янкевич Е.А.
Исследование методов повышения производительности микропроцессоров
2. Распределенные вычисления, телекоммуникационные и компьютерные сети
Заседание 1
2 октября, 1000 - 1300, ауд. 685
председатель: акад. РАН Г.И. Савин
1. Аксенов А.В., Беляев Р.В., Воронцов Г.М., Залогин Н.Н. Калинин В.И., Кислов В.В., Колесов В.В.
Телекоммуникационные технологии на основе динамического хаоса
2. Андрианов А.Н., Ефимкин К.Н.
Влияние структур данных на организацию параллельных вычислений: вычислительные задачи на сетках
3. Анохин А.В.
Проблемы эффективности вычислительной мультиархитектурной суперсистемы
4. Бахтин В.А., Коновалов Н.А., Крюков В.А., Поддерюгина Н.В., Сазанов Ю.Л.
Разработка параллельных программ для решения больших вычислительных задач на smp-кластерах
5. Букатов А.А., Хачкинаев Г.М.
Разработка системы управления параллельными заданиями в гетерогенной вычислительной среде
6. Галюк Ю.П., Золотарев В.И., Лысов В.К., Мемнонов В.П.
Алгоритмическое повышение надежности распределенных многокластерных вычислений с метакомпьютингом и GRID технологиями.
Заседание 2
2 октября, 1500 - 1800, ауд. 685
председатель: чл.-корр. РАН А.Б. Жижченко
1. Коваленко В.Н., Коваленко Е.И., Корягин Д.А., Любимский Э.З., Хухлаев Е.В., Шорин О.Н.
Планирование ресурсов в grid на основе локальных расписаний
2. Козлов Д.Д.
Проблемы применения методов поиска тематических сообществ к задаче тематического информационного поиска в интернет
3. Коноплев В.В., Захаров Д.Ю., Боярский М.Н., Назиров Р.Р.
Ntmtools: Инструментальный набор для эффективного сбора данных сетевого трафика
4. Копысов С.П.
Динамическая балансировка нагрузки для параллельного распределенного МДО
5. Кутузов О.И, Олзоева С.И.
Алгоритмический анализ стохастических сетевых моделей на многопроцессорных системах.
6. Максаков А.В.
Исследование способов уменьшения набора характеристик в алгоритмах классификации текстов
Заседание 3
3 октября, 1000 - 1300, ауд. 685
председатель: акад РАЕН Р.Л. Смелянский
1. Назаров Л.Е.
Алгоритмы оптимального и подоптимального посимвольного приема двоичных дискретных сигналов
2. Самофалов В.В., Коновалов А.В., С.В.Шарф С.В.
Живучесть параллельной файловой системы при большом числе процессоров
3. Соколов В.А.,Тимофеев Е.А., Чалый Д.Ю.
Моделирование, оптимизация и верификация транспортных протоколов
4. Тимофеев А.В., Сырцев А.В.
Нейросетевое распределение мульти-агентных потоков данных в глобальных компьютерных сетях
5. Shaporenkov Dmitry
RP*ha - a High-Availability Scalable Distributed Data Structure Based on Range Partitioning
3. Проблемы системного и прикладного программирования
3.1. Верификация и отладка программ
Заседание 1
2 октября, 1000 - 1300, ауд. П8
председатель: чл.-корр. РАН В.Г. Иванников
1. Богуславский А.А., Соколов С.М.
Компонентные технологии отладки для систем технического зрения реального времени
2. Валиев М.К. Дехтярь М.И. Диковский А.Я.
О сложности верификации динамических свойств многоагентных систем
3. Волканов Д.Ю.
О перспективах использования имитационного моделирования для оценки надёжности распределённых вычислительных систем
4. Zamulin A.V.
Algebraic model of the state of an imperative program.
5. Коннов И.В., Захаров В.А.
О верификации параметризованных симметричных распределенных программ.
6. Напрасникова М.В.
Автоматическая генерация семантических тестов для компиляторов
7. Непомнящий В.А., Алексеев Г.И., Аргиров В.С., Быстров А.В., Мыльников С.П., Новиков Р.М., Чурина Т.Г.
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня
3.2. Планирование вычислений и синтез ВС
Заседание 1
2 октября, 1500 - 1800, ауд. П8
председатель: чл.-корр. РАН Г.Г. Рябов
1. Буряк Д.Ю., Визильтер Ю.В.
Модели представления решающих процедур и их использование в генетическом алгоритме для поиска оптимальных процедур анализа изображений
2. Вавинов С.В., Костенко В.А.
Параметризованный жадный алгоритм построения статических расписаний
3. Калашников А.В., Костенко В.А.
Алгоритмы локальной оптимизации расписаний
4. Курилов Л.С.
Прогностическая стратегия балансировки загрузки для невыделенных кластерных систем
5. Малыгин В.В.
Комбинаторный подход к структурному синтезу распределенных вычислительных систем.
6. Топорков В.В.
Стратегии планирования распределенных вычислений в масштабируемых средах
7. Хачумов В.М.
Периодические расписания с совмещением циклов обработки данных
3.3. Нейросети и их применения
Заседание 1
2 октября, 1000 - 1300, ауд. 247а
председатель: чл.-корр. РАН Л.Н. Королев
1. Gavrilov Alexandre, Yu Xiuping, Zhou Ming
Artificial neural network - based system for weld quality prediction
2. Крыжановский В.М., Литинский Л.Б.
Повышение емкости памяти модели Хопфилда с помощью параметрической нейросети.
3. Крыжановский М. В., Магомедов Б. М.
Организация нейросетевой базы знаний в интеллектуальных управляющих системах.
4. Майоров В.В., Шабаршина Г.В.
Применение сети w-нейронов для планирования оптимальных путей точечных роботов
5. Назаров Л.Е.
Нейросетевые алгоритмы обработки космических изображений земной поверхности
6. Редько В.Г., Мосалов О.П., МитинН.А., Бурцев М.С.
Многоагентные интернет-системы – исследование процессов обучения и самоорганизации
3.4. Параллельные вычисления и средства
создания программ
Заседание 1
3 октября, 1000 - 1300, ауд. 247а
председатель: чл.-корр. РАН Б.Н. Четверушкин
1. Букатов А.А., Луговой В.В.
Методы инкрементальной модификации внутреннего представления программ при выполнениии трансформаций программ в системе распараллеливания программ
2. Вальковский В.А., Яджак М.С.
Построение параллельных алгоритмов решения задачи цифровой фильтрации
3. Головков С.Л., Ефимкин К.Н.
Реализация языка программирования для модели вычислений, основанной на принципе потока данных
4. Жегуло О.А., Букатов А.А.
Представление распараллеливающих преобразований программ в виде схемных правил трансформации.
5. Стефанов К.С.
Система анализа структуры программ
6. Фролов А.В.
Система МАКРОГРАФ и другие технологии ускорения исполнения фортран-программ.
3.5. Программные системы
Заседание 1
2 октября, 1500 - 1800, ауд. 247а
председатель: проф. В.П. Кутахов
1. Балашов В.В.
О поддержке анализа поведения встроенных вычислительных систем.
2. Баранов А.С., Грибов Д.И., Поляков В.Б., Смелянский Р.Л., Чистолинов М.В.
Комплексный стенд математического моделирования КБО ЛА
3. Бахмуров А.Г., Борисов Ю.И., Егисапетов Э.Г., Смелянский Р.Л.
Модель NM средство сравнительного анализа различных вариантов организации функционального ПО для спецвычислителей на основе процессора Л1879ВМ1.
4. Окольнишников В.В.
Система распределенного имитационного моделирования
5. Павлов А.М.
Высокотехнологичная элементная база–основа расширения функциональных возможностей апробированных cистем информационного обмена авиационных комплексов бортового оборудования ближайшей перспективы
6. Прус В.В.
Эффективный алгоритм перебора кратчайших путей в графе
7. Савенков К.О., Ющенко Н.В.
Методика описания поведения процессора для оценки времени выполнения программы
8 Тихонов А.В.
Семантическое сжатие информации при визуализации функционирования распределенных вычислительных систем
масштабируемых средах
9 Федосеев Е.П., Павлов А.М.
Концепции развития связных информационных технологий авиационных комплексов бортового оборудования. Высокотехнологичная элементная база, поддерживающая информационные технологии передачи данных
Заседание 2
3 октября, 1000 - 1300, ауд. 247а
председатель: чл.-корр. РАН Вл.В. Воеводин
1. Абрамов Е.А.
Интеграция приложений как необходимое условие построения портальной платформы доступа
2. Жоголев Е.А. , Соболева В. В., Ткач М.М.
Объектная архитектура инструментальных систем.
3. Козлов С.В., Романова Т.Н.
Разработка метода кластеризации кода программ для модели потоков данных.
4. Ломазова И.А.
Моделирование ресурсной зависимости в распределенных системах
5. Миков А.И., Замятина Е.Б., Фатыхов А.
Система оперирования распределенными имитационными моделями сетей телекоммуникаций
6. Одинцов И.О.
Система работы с коллекциями электронных информационных ресурсов программных компонентов
7. Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А.
Модельно-ориентированный подход к построению прикладных интегрированных систем следующего поколения. Альтернативы применения
8. Шалыто А.А.
Технология автоматного программирования
4.Новые физические принципы обработки информации
Заседание 1
2 октября, 1000 - 1300, ауд. 247а
председатель: акад. РАН К.А. Валиев
сопредседатель: чл.-корр. РАН В.К. Левин
1. Захаров В.М., Нурутдинов Ш.Р., Шалагин С.В.
Полиномиальное представление изменения состояния квантового бита
2. Калинин В.И.
Синтез множества хаотических кодов для обработки конфиденциальной информации
3. Котов В.Б., Политова С.В.
Многослойная оптическая память для поддержки высокопараллельных вычислений
4. Мурашов Д. М., Салахутдинов В.К., Сметанин Ю.Г.
Пропускная способность оптического канала связи. Корреляционное уплотнение
5. Потапов А.А.
Методы обработки сигналов и полей на основе теории фракталов.
6. Соломатин В.Ф.
Представление информационных объектов суперпозициями псевдослучайных функций как путь к повышению эффективности устройств хранения и обработки информации
7. Шалагин С.В.
Дискретная модель квантового бита