Программа Российской научной конференции с участием зарубежных исследователей «Моделирование систем информатики»

Вид материалаПрограмма

Содержание


Российская научная конференция
Ярославцев А.Ф., д.т.н., проф., СибГУТИ, г. Новосибирск, зам. председателя
Малинкин В.Б.
Васенин В.А.
Ерзин А.И.
Ляхов А.И.
Потапов В.И.
Рябко Б.Я.
Хорошевский В.Г.
Ярославцев А.Ф., д.т.н., проф., СибГУТИ, г. Новосибирск, сопредседатель программного комитета
Кокорева Е.В.
Зал заседаний Учёного совета (к. 625 главного корпуса СибГУТИ)
14-00  Секция «Семантические аспекты программ и систем». Председатель – д.ф-м.н., профессор, зав. лабораторией ИСИ СО РАН И.Б. В
ИСИ СО РАН, Новосибирск
ИСИ СО РАН, Новосибирск
ИСИ СО РАН, Новосибирск
ИСИ СО РАН, Новосибирск
Филиал КемГУ, Анжеро-Судженск
МИИТ, ИУИТ, Москва
ТГУ, Томск
...
Полное содержание
Подобный материал:
Сибирский государственный университет телекоммуникаций и информатики

Новосибирский государственный технический университет

Институт вычислительной математики и математической геофизики Сибирского отделения РАН

Сибирское отделение РНТОРЭС им. А.С. Попова

Сибирская секция Comsoc IEEE


МСИ-2011

Программа Российской научной конференции

с участием зарубежных исследователей

«Моделирование систем информатики»




Российская научная конференция

с участием зарубежных исследователей

Школа научной молодёжи


8-11 ноября, 2011 года

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

Ситников С.Г., проф., СибГУТИ, г. Новосибирск, ректор, председатель

Ярославцев А.Ф., д.т.н., проф., СибГУТИ, г. Новосибирск, зам. председателя

Родионов А. С., д.т.н., проф., ИВМиМГ СО РАН, г. Новосибирск

Гужов В. И., д.т.н., проф., НГТУ, г. Новосибирск

Малинкин В.Б., проф., СибГУТИ, г. Новосибирск

Шорников Ю. В., д.т.н., проф., НГТУ, г. Новосибирск

Шахов В.В., к.ф.-м.н., ИВМиМГ СО РАН, г. Новосибирск

Солдатова Ю. Н., СибГУТИ, г. Новосибирск, секретарь


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

Васенин В.А., д.ф.-м.н., проф., МГУ, г. Москва

Вирбицкайте И.Б., д.ф.-м.н., проф., ИСИ СО РАН, г. Новосибирск

Гагарина Л.Г., д.т.н., проф., МИЭТ, г. Москва

Горцев А.М., д.т.н., проф., ТГУ, г. Томск

Ерзин А.И., д.ф.-м.н., проф., ИМ СО РАН, г. Новосибирск

Кельманов А.В., д.ф.-м.н., проф., ИМ СО РАН, г. Новосибирск

Конюх В.Л., д.ф.-м.н., проф., НГТУ, г. Новосибирск

Кориков А.М., д.т.н., проф., ТГУ, г. Томск

Ляхов А.И., д.т.н., проф., ИППИ РАН, г. Москва

Митрофанов Ю.И., д.т.н., проф., СГУ, г. Саратов

Назаров А.А., д.т.н., проф., ТГУ, г. Томск

Окольнишников В.В., д.т.н., КТИ ВТ СО РАН, г. Новосибирск

Потапов В.И., д.т.н., проф., ОмГУ, г. Омск

Попков В. К., д.ф.-м.н., проф., ИВМиМГ СО РАН, г. Новосибирск

Родионов А. С., д.т.н., проф., ИВМиМГ СО РАН, г. Новосибирск, сопредседатель программного комитета

Рябко Б.Я., д.т.н., проф., СибГУТИ, г. Новосибирск

Федотов А.М., чл.-корр. РАН, д.ф.-м.н., проф., НГУ, г. Новосибирск

Фионов А.Н., д.т.н., проф., СибГУТИ, г. Новосибирск

Хабаров В.И., д.т.н., проф., СГУПС, г. Новосибирск,

Хорошевский В.Г., чл.-корр. РАН, д.ф.-м.н., проф., СибГУТИ, г. Новосибирск

Цициашвили Г.Ш., д.ф.-м.н., проф., ИПМ ДВО РАН, г. Владивосток

Шувалов В.П., д.т.н., проф., СибГУТИ, г. Новосибирск

Ярославцев А.Ф., д.т.н., проф., СибГУТИ, г. Новосибирск, сопредседатель программного комитета

Mirenkov N., prof., Vice President of the University of Aizu, Japan

Osipov E., prof, Luleå University of Technology, Luleå, Sweden

Siemens E., prof., Anhalt University of Applied Sciences, Köthen, Germany

Yakhno T., prof, Izmir University , Izmir Turkey

Кокорева Е.В., к.т.н., доцент, СибГУТИ, Новосибирск, секретарь программного комитета

8 ноября 2011

Фойе главного корпуса СибГУТИ

9-00 – 10-00   Регистрация участников. Утренний кофе.

Зал заседаний Учёного совета (к. 625 главного корпуса СибГУТИ)

10-00 – 10-15  Открытие конференции. Вступительное слово председателя организационного комитета, д.т.н., профессора, ректора ФГОБУ ВПО СибГУТИ С.Г. Ситникова.

10-15 – 10-30  Вступительное слово председателя программного комитета, д.т.н., профессора, ИВМ и МГ СО РАН А.С. Родионова.

10-30 – 11-15  Пленарный доклад «Математическое моделирование телекоммуникационных сетей, управляемых протоколами случайного множественного доступа» – д.т.н., профессор, зав. кафедрой ТВ и МС ТГУ А.А. Назаров.

11-15 – 11-30  Кофе-брейк.

11-30 – 12-15  Лекция «Случайные графы в моделировании. Генерация». – д.т.н., профессор, ИВМ и МГ СО РАН А.С. Родионов.

12-15 – 14-00  Обед.

14-00  Секция «Семантические аспекты программ и систем». Председатель – д.ф-м.н., профессор, зав. лабораторией ИСИ СО РАН И.Б. Вирбицкайте

14-00 – 14-20  Андреева М.В. ИСИ СО РАН, Новосибирск. «Об устойчивости эквивалентностей при детализации действий временных стабильных структур событий».

14-20 – 14-40  Бушин Д.И., Вирбицкайте И.Б. ИСИ СО РАН, Новосибирск. «О взаимосвязях поведенческих эквивалентностей временных сетей Петри».

14-40 – 15-00  Быстров А.В., Вирбицкайте И.Б. ИСИ СО РАН, Новосибирск. «Семантика структур событий дискретно-временных сетей Петри».

15-00 – 15-20  Вирбицкайте И.Б., Ерофеев Е.К. ИСИ СО РАН, Новосибирск. «Построение ортомодулярных решеток первичных структур событий».

15-20 – 15-40  Вирбицкайте И.Б., Фурсов Е.А. ИСИ СО РАН, Новосибирск. «Об оценке длительности вычислений временных сетей Петри с приоритетами».

15-40 – 16-00  Грибовская Н.С. ИСИ СО РАН, Новосибирск. «Логическая унификация поведенческих эквивалентностей на временных структурах событий».

16-00 – 16-20  Махортов С.Д., Шурлин М.Д. ВГУ, Воронеж. «Алгебраические модели иерархий типов и их применение в задачах рефакторинга».

16-20 – 16-40  Тарасюк И.В. ИСИ СО РАН, Новосибирск. «Эквивалентности сетей Петри с невидимыми переходами».

17-00    Вечер знакомств.

9 ноября 2011

Зал заседаний Учёного совета (к. 625 главного корпуса СибГУТИ)

10-00  Секция «Стохастические модели и вероятностные методы исследования систем информатики». Заседание 1. Председатель – д.т.н, профессор, зав. кафедрой ТВ и МС ТГУ А.А. Назаров.

10-00 – 10-20  Вавилов В.А. Филиал КемГУ, Анжеро-Судженск, Назаров А.А. ТГУ, Томск. «Исследование средних характеристик RQ-систем в случайной среде с конечным числом абонентских станций».

10-20 – 10-40  Гарайшина И.Р. Филиал КемГУ, Анжеро-Судженск, Назаров А.А. ТГУ, Томск. «Метод просеянного потока для исследования немарковской двухфазной СМО с входящим ММР-потоком».

10-40 – 11-00  Ивницкий В.А. МИИТ, ИУИТ, Москва. «Моделирование многолинейных систем и сетей массового обслуживания».

11-00 – 11-20  Лапатин И.Л. ТГУ, Томск. «Характеристики выходящих потоков немарковсих систем массового обслуживания при асимптотически пуассоновских входящих потоках».

11-20 – 11-40  Любина Т.В., Назаров А.А. ТГУ, Томск. «Исследование марковской динамической RQ-системы с входящим ММР-потоком заявок методом асимптотического анализа».

11-40 – 12-00  Кофе-брейк.

12-00  Секция «Стохастические модели и вероятностные методы исследования систем информатики». Заседание 2. Председатель – д.ф.-м.н., профессор кафедры АСУ МИИТ, ИУИТ В.А. Ивницкий.

12-00 – 12-20  Моисеева С.П., Назаров А.А., Захорольная И.А. ТГУ, Томск. «Исследование модели параллельного обслуживания кратных заявок с повторными обращениями к блокам методом предельной декомпозиции».

12-20 – 12-40  Назаров А.А. ТГУ, Томск, Моисеева Е.А. ТПУ, Томск. «Асимптотический анализ RQ-системы M|M|1 в условии большой загрузки».

12-40 – 13-00  Назаров А.А., Семенова И.А. ТГУ, Томск. «Асимптотическое и численное исследование системы массового обслуживания МАР|GI∞».

13-00 – 13-20  Назаров А.А., Судыко Е.А. ТГУ, Томск. «Численные методы исследования RQ-систем с конфликтами заявок».

13-20 – 13-40  Синякова И.А., Моисеева С.П. ТГУ, Томск. «Исследование математической модели параллельного обслуживания сдвоенных заявок полумарковского потока».

13-40 – 14-30  Обед.

14-30 – 15-15 – лекция «Конструктивные модели анализа и управления мультисервисными беспроводными сетями множественного доступа» – д.т.н., профессор, зав. кафедрой ТС и ВС СибГУТИ А.Б. Мархасин.

15-15 – 16-00 – лекция «Структурные модели инфо-телекоммуникационных сетей» – д.ф.-м.н., профессор, ИВМ и МГ СО РАН В.К. Попков.

10 ноября 2011

Зал заседаний Учёного совета (к. 625 главного корпуса СибГУТИ)

10-00  Секция «Опыт практического моделирования реальных систем информатики». Заседание 1. Председатель – к.т.н., доцент, зав. циклом ТС и С кафедры БИСС СибГУТИ Е.В. Кокорева.

10-00 – 10-20  Кокшенев В.В., Сущенко С.П. ТГУ, Томск. «О пропускной способности виртуального соединения с селективным режимом отказа в нагруженном тракте передачи данных».

10-20 – 10-40  Кравченко П.С., Омарова Г.А. ИВМ и МГ СО РАН, Новосибирск. «Моделирование транспортного потока, как задача принятия решения».

10-40 – 11-00  Михеев П.А., Сущенко С.П. ТГУ, Томск. «Анализ производительности беспроводных локальных вычислительных сетей стандарта 802.11».

11-00 – 11-20  Соколова О.Д., Юргенсон А.Н. ИВМ и МГ СО РАН, Новосибирск. «Задачи анализа работы современных информационных сетей».

11-20 – 11-40  Трофимов В.К., Храмова Т.В. СибГУТИ, Новосибирск. «Универсальное кодирование сообщений, порожденных неизвестным марковским источником буквами алфавита с различными длительностями».

11-40 – 12-00  Ярославцев А.Ф., Кокорева Е.В., Белезекова А.С. СибГУТИ, Новосибирск. «Модель для анализа задержек и джиттера процесса передачи видео потока в IP сети».

12-00 – 13-45  Обед.

13-45 – 14-30  Лекция «Проблемы реализации параллельных систем имитационного моделирования» – д.т.н., профессор, КТИ ВТ СО РАН В.В. Окольнишников.

14-30   Секция «Опыт практического моделирования реальных систем информатики». Заседание 2. Председатель – д.т.н., профессор кафедры ВС СибГУТИ, зав. лабораторией ИВМ и МГ СО РАН А.С. Родионов.

14-30 – 14-50  Бессонов А.В., Достовалов Д.Н. НГТУ, Новосибирск. «Модуль исследования режимов электрических машин в ИСМА».

14-50 – 15-10  Жарков С.С. УрФУ, Екатеринбург. «Выделение контура объекта и построение траектории его движения по данным видеозаписи».

15-10 – 15-30  Зиневский М.А. СибГУТИ, Новосибирск. «Синтез оптимального фильтра для обработки видеосигнала и оценка его эффективности».

15-30 – 15-50  Зиновьев В.В., Стародубов А.Н. КемНЦ СО РАН, Кемерово. «Опыт имитационного моделирования дискретных систем».

15-50 – 16-10  Мигов Д.А. ИВМ и МГ СО РАН, Новосибирск. «Расчет надежности двухполюсной сети с ограничением на диаметр с применением точек сочленения».

16-10 – 16-30  Миков А.И. КубГУ, Краснодар, Замятина Е.Б. ПГНИУ, Пермь, Михеев Р.А. ПГНИУ, Пермь. «Программные средства моделирования компьютерных сетей с использованием онтологического подхода».

11 ноября 2011

Зал заседаний Учёного совета (к. 625 главного корпуса СибГУТИ)

10-00  Секция «Математическое моделирование сложно организованных систем». Председатель – к.т.н., доцент, зам. зав. кафедрой ВС СибГУТИ С.Н. Мамойленко.

10-00 – 10-20  Курносов М.Г. СибГУТИ, Новосибирск. «Моделирование и оценка эффективности алгоритмов коллективных обменов информацией между ветвями параллельных MPI-программ».

10-20 – 10-40  Курносов М.Г., Пазников А.А. СибГУТИ, Новосибирск. «Моделирование алгоритмов децентрализованного обслуживания потоков параллельных задач в GRID-системах».

10-40 – 11-00  Молдованова О.В. СибГУТИ, Новосибирск. «Моделирование децентрализованного алгоритма самодиагностики распределённых вычислительных систем».

11-00 – 11-20  Павский В.А., КемТИПП, Кемерово, Павский К.В. ИФП СО РАН, Новосибирск. «Оценки показателей осуществимости решения набора задач на распределенных вычислительных системах».

11-20 – 11-40  Поляков А.Ю. ИФП СО РАН, Новосибирск, Молдованова О.В. СибГУТИ, Новосибирск, Карасев Б.И. СибГУТИ, Новосибирск. «Применение алгоритмов дельта-сжатия к задаче оптимизации контрольных точек восстановления параллельных программ».

11-40 – 12-00  Кофе-брейк.

12-00 – 12-45 – лекция «Моделирование непрерывно-дискретных систем с жесткими условиями» – д.т.н., профессор кафедры АСУ НГТУ Ю.В. Шорников.

12-45 – 13-30 – лекция «Математические методы и анализ эффективности функционирования распределенных вычислительных систем» – к.т.н., н.с. ИФП СО РАН К.В. Павский.

13-30 – 14-30  Обед.

14-30  Закрытие конференции.