ПРЕДВАРИТЕЛЬНАЯ ПРОГРАММА

МЕЖДУНАРОДНОЙ НАУЧНОЙ КОНФЕРЕНЦИИ "КОСМОС, АСТРОНОМИЯ И ПРОГРАММИРОВАНИЕ" (ЛАВРОВСКИЕ ЧТЕНИЯ), ПОСВЯЩЕННОЙ 85-ЛЕТИЮ СО ДНЯ РОЖДЕНИЯ ЧЛ.-КОРР. РАН С. С. ЛАВРОВА

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

Сопредседатели конференции:

• проф. Н. К. Косовский (СПбГУ),
• чл.-корр. РАН А. М. Финкельштейн (ИПА РАН),
• чл.-корр. РАН Р. М. Юсупов (СПИИРАН),

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

• доц. И. Р. Агамирзян (EMC),
• проф. С. Н. Баранов(ЗАО "Моторола ЗАО"),
• проф. Ю. К. Демьянович (СПбГУ),
• чл.-корр. РАН В. П. Иванников (ИСПРАН),
• чл.-корр. РАН Г. А. Леонов (СПбГУ),
• проф. Б. А. Новиков (СПбГУ),
• проф. Р. И. Подловченко (МГУ),
• проф. В. О. Сафонов (СПбГУ),
• проф. А. Н. Терехов (СПбГУ),
• чл.-корр. РАН В. В. Шахгильдян (ВКА имени Можайского)

Локальный организационный комитет семинара:

Сопредседатели: член-корр. РАН Г. А. Леонов (СПбГУ), доц. Б. В. Трифоненко (СПбГУ)

Учёный секретарь: доц. М. А. Герасимов (СПбГУ)

Члены локального оргкомитета: доц. И. П. Соловьев (СПбГУ), доц. В. А. Костин (СПбГУ), ст. пр. С. М. Селеджи (СПбГУ)

Научные направления конференции:

Пленарные доклады

(20 мая, актовый зал Академии Наук, Университетская набережная, дом 5):

• 1. Н. К. Косовский, СПбГУ, Санкт-Петербург. "Влияние С. С. Лаврова на обучение программированию на математико-механическом факультете Санкт-Петербургского государственного университета"
• 2. В. П. Иванников, СПбИИА РАН, Санкт-Петербург (направление — информационные технологии)
• 3. Ю. К. Демьянович, СПбГУ, Санкт-Петербург (направление — параллельное программирование)
• 4. Р. И. Подловченко, МГУ, Москва (направление — информатика)

Секция I. Информатика

(21 и 22 мая, 22 ауд. мат-мех факультета СПбГУ, ВО, 14-я линия, дом 29)

• 1. Булычев Петр Евгеньевич (факультет Вычислительной Математики и Кибернетики МГУ), Вычисление отношений симуляции моделей программ (21 мая)
• 2. Васильев Павел Константинович (СПбГУ, мат-мех ф-т, каф. информатики), Применение расширенного языка абстрактных машин Гуревича с временем для спецификации протокола ieee 1394 root contention (21 мая)
• 3. Герасимов Михаил Александрович (мат-мех факультет СПбГУ), Применение алгоритма Хаффмана при кодировании с ошибками (21 мая)
• 4. Евдокимов Александр Андреевич (Институт математики им. С. Л. Соболева СО РАН), Алгоритм построения графов подслов последовательностей (22 мая)
• 5. Казекин Михаил Михайлович (СПбГУ, мат-мех, каф. информатики), Разработка метода коммуникации интеллектуальных агентов, управляемой онтологиями (21 мая)
• 6. Косовская Татьяна Матвеевна (СПИИРАН), Решение задач распознавания образов при неполной информации об объектах на основе частичной выводимости формул исчисления предикатов (21 мая)
• 7. Косовский Н. К. (СПбГУ, мат-мех, каф. информатики), Представление алгоритмов класса FLIN-SPACE итеративно неудлиняющими алгоритмами (21 мая)
• 8. Кручинин Владимир Викторович (Томский университет систем управления и радиоэлектроники), Методы построения алгоритмов комбинаторной генерации Rank и Unrank. (22 мая)
• 9. Левин Альберт Абрамович (Институт математики им. С. Л. Соболева СО РАН), Инструмент для графического исследования символьных последовательностей (Евдокимов А. А., Левин А. А.) (22 мая)
• 10. Мальчевский Сергей Алексеевич (Норильский Индустриальный Институт), Новый алгоритм идентификации двумерных графических объектов. (22 мая)
• 11. Непомнящий Валерий Александрович (Институт систем информатики СО РАН), Спецификация и верификация телекоммуникационных систем с использованием языка Dynamic-REAL (Непомнящий В. А. Бодин Е. В. Веретнов С. О.) (22 мая)
• 12. Новосельцев Виталий Борисович (Томский политехнический университет), Полные формальные теории с почти первопорядковой выразительностью. (22 мая)
• 13. Подловченко Римма Ивановна (НИВЦ МГУ), О проблеме минимизации для схем программ с перестановочными блоками (21 мая)
• 14. Раба Никита Олегович (СПбГУ, математико-механический факультет), Методы и алгоритмы визуализации гиперкомплексных множеств Жюлиа и Мандельброта (21 мая)
• 15. Сигалин Максим Владимирович (Бридж-Квест Лабс), Расширение языка Java для представления гибридных знаний. (21 мая)
• 16. Сидорова Елена Анатольевна (Институт систем информатики им. А.П. Ершова СО РАН), Инструментальные средства анализа документов в информационных системах, основанных на онтологиях (Сидорова Е. А., Загорулько Ю. А.) (22 мая)
• 17. Соловьев Игорь Павлович (СПбГУ, мат-мех, каф. Информатики), Методы накопления и анализа опыта для самонастраивающихся мультиагентных систем с временными ограничениями (Д. Ю. Бугайченко, И. П. Соловьев) (21 мая)
• 18. Стэмпковский Виктор Георгиевич (UNATIVE LLC), Оптимальная маршрутизация с использованием координат элементов транспортной системы (21 мая)
• 19. Сынтульский Сергей Сергеевич (СПбГУ), Формально-логический подход к спецификации мультиагентных систнем с вероятностным поведением. (21 мая)
• 20. Тереньтьев Сергей Валерьевич (Санкт-Петербургский государственный Университет), Разработка и реализация компьютерно-ориентированных методов исследования динамических систем с использованием символического образа (21 мая)
• 21. Хачатрян Владимир Ервандович (БелГУ, фак-т компьютерных наук и телекоммуникаций), Структурный анализ двухленточных автоматов для решения проблемы минимизации (Подловченко Р. И. (МГУ) Хачатрян В. Е. (БелГУ)) (22 мая)
• 22. Шилов Николай Вячеславович (ИСИ СО РАН им. А.П. Ершова), Классификация компьютерных языков: состояние, проблемы, перспективы (Совместно с Л. В. Городней, А. Г. Марчуком и Ф. А. Мурзиным) (22 мая)
• 23. Kudryashova Elena (Department of Mathematical Information Technology, University of Jyvaskyla), "Large" cycles in a series of computer experiments. (22 мая)
• 24. Kuznetsov Nikolay (St. Petersburg State University), "Large" cycles in a series of computer experiments. (21 мая)
• 25. Gennady Leonov (St. Petersburg State University),"Large" cycles in a series of computer experiments. (21 мая)
• 26. Neittaanmaki Pekka (Department of Mathematical Information Technology University of Jyvaskyla), "Large" cycles in a series of computer experiments. (22 мая)

Секция II. Информационные технологии

(21 и 22 мая, 11 ауд. мат-мех факультета СПбГУ, ВО, 14-я линия, дом 29)

• 1. Ампилова Наталья Борисовна (мат-мех факультет, каф. информатики), О максимизации энтропии при линейных ограничениях ( И. В. Романовский, Н. Б. Ампилова, Е. И. Петренко). (21 мая)
• 2. Баранов Сергей Николаевич (ЗАО "Моторола ЗАО"), Технология автоматизированной генерации поведенческих моделей на основе требований к программным проектам. (С. Баранов, А. Колчин, В. Котляров, А. Летичевский) (21 мая)
• 3. Бугайченко Дмитрий Юрьевич (Санкт-Петербургский Государственный Университет), Методы накопления и анализа опыта для самонастраивающихся мультиагентных систем с временными ограничениями (21 мая)
• 4. Бульонкова Анна Андреевна (Институт систем информатики имени А.П.Ершова СОРАН), Сохранение творческого наследия С.С.Лаврова в Интернет-архиве (А. А. Бульонкова, А. Г. Марчук, Н. А. Черемных) (22 мая)
• 5. Воронина Ирина Евгеньевна (Воронежский госуниверситет), Один из подходов к формализации естественного языка. (22 мая)
• 6. Гомера Анастасия Викторовна (СПбГУ), О построении eps - траектории, проходящей через две заданные точки (Ампилова Н. Б, Гомера А. В.) (21 мая)
• 7. Загорулько Юрий Алексеевич (Институт систем информатики им. А.П. Ершова СО РАН), Инструментальные средства анализа документов в информационных системах, основанных на онтологиях(Сидорова Е. А., Загорулько Ю. А.) (22 мая)
• 8. Кабардов Муаед Мусович (Кафедра Вычислительной Математики СПбГУ), Метод обращения преобразования Лапласа, основанный на разложении оригинала в ряд по многочленам Лагерра. (21 мая)
• 9. Кипяткова Ирина Сергеевна (СПИИРАН), Программная реализация метода генерации альтернативных транскрипций для учета вариативности разговорной речи (21 мая)
• 10. Кисин Юрий Константинович (Мирнинский филиал ЦНПО "Каскад"), Способ и алгоритмы пассивной радиолокации ЛА по сигналам бортовых телеметрических измерительных систем (А. Б. Кукушкин, Ю. К. Кисин) (22 мая)
• 11. Клионский Дмитрий Михайлович (ОАО "Научно-инженерный центр Санкт-Петербургского электротехнического университета", научно-исследовательский отдел НИО), Применение методов сегментации и секвенциального анализа при обработке телеметрических данных (Д. М. Клионский, В. В. Геппенер) (21 мая)
• 12. Козлов Равиль Измайлович (Институт динамики систем и теории управления СО РАН), Математическое и программное обеспечение исследования систем стабилизации космических аппаратов методом ВФЛ (21 мая)
• 13. Косогоров Олег Михайлович (СПбГУ), Вэйвлетные разложения системы вложенных пространств сплайнов. (21 мая)
• 14. Котляров Всеволод Павлович (Моторола, СПб центр разработки ПО), Технология автоматизированной генерации поведенческих моделей на основе требований к программным проектам (С. Баранов, А. Колчин, В. Котляров, А. Летичевский) (21 мая)
• 15. Левина Алла Борисовна (математико-механического факультета СПбГУ), Алгоритм шифрования, основанный на вэйвлетном разложении линейных пространств над произвольным полем (22 мая)
• 16. Марчук Александр Гурьевич (Институт систем информатики имени А.П.Ершова СОРАН), Сохранение творческого наследия С.С.Лаврова в Интернет-архиве (А. А. Бульонкова, А. Г. Марчук, Н. А. Черемных) (22 мая)
• 17. Николаев Андрей Валерьевич (Чайковский технологический институт (филиал) ИжГТУ), Новиков Федор Александрович (Институт прикладной астрономии РАН), Анализ архитектуры системы ЭРА (22 мая)
• 18. Петренко Евгений Игоревич (СПбГУ, математико-механический ф-т, каф. Информатики), Разработка и реализация компьютерно-ориентированных методов исследования динамических систем с использованием символического образа (Н. Б. Ампилова, Е. И. Петренко, С. В. Терентьев) (21 мая)
• 19. Романовский Иосиф Владимирович (СПбГУ, мат-мех факультет), О максимизации энтропии при линейных ограничениях (И. В. Романовский, Н. Б. Ампилова, Е. И. Петренко) (22 мая)
• 20. Холшевников Константин Владиславович (Математико-механический факультет СПбГУ), Алгоритм определения наибольшего, наименьшего и среднего расстояния в нерезонансном и резонансном случаях. (21 мая)
• 21. Хорунжий Александр Александрович (ИПА РАН), Применение методов Эверхарта и Адамса для численного интегрирования уравнений движения небесной механики. (22 мая)
• 22. Черемных Наталья Ариановна (Институт систем информатики имени А.П.Ершова СОРАН), Сохранение творческого наследия С.С.Лаврова в Интернет-архиве. (22 мая)
• 23. Юсупов Юрий (Санкт-Петербургский Государственный Политехнический Университет), Процесс трансформации кодового фрагмента на языке С в абстрагированное представление в нотации базовых протоколов (тройки Хоара) (21 мая)
• 24. Юферев Александр Юрьевич (СПбГУ, математико-механический факультет, кафедра информатики), Интерактивный расчет элементов теплоэнергетического оборудования (А. Ю. Юферев, Ю. А. Лавров, Л. М. Юферева) (21 мая)

Секция III. Параллельное программирование

(21 и 22 мая, 14 ауд. мат-мех факультета СПбГУ, ВО, 14-я линия, дом 29)

• 1. Бурова Ирина Герасимовна (СПбГУ, Кафедра вычислительной математики), О построении некоторых одношаговых методов для решения задачи Коши (21 мая)
• 2. Габр Мохамед Валид Саллх Отман (СПбГУ, мат-мех, кафедра параллельных алгоритмов), The Use of Quadratic Penalty Method For Solving Static Output Feedback H2-Synthesis (21 мая)
• 3. Григорьев Михаил Игоревич (Санкт-Петербургский государственный университет), Геометрическое моделирование с использованием проективных кривых и поверхностей Безье. (21 мая)
• 4. Демьянович Юрий Казимирович (Санкт-Петербургский государственный университет), Об одном алгоритме сжатия информации.(21 мая)
• 5. Клячин Владимир Александрович (Волгоградский Государственный Университет), Построения системы распределённых вычислений, не привязанной к конкретной решаемой задаче. (22 мая)
• 6. Лиманова Наталия Игоревна (Тольяттинский государственный университет), Распределенные параллельные вычисления в задачах математического моделирования. (22 мая)
• 7. Макаров Антон Александрович (Санкт-Петербургский государственный университет), Сплайн-вэйвлетная модель аппроксимации на неравномерной сетке. (21 мая)
• 8. Малозёмов Василий Николаевич (Санкт-Петербургский государственный университет), Параметрические варианты быстрого преобразования Фурье (Малозёмов В. Н., Просеков О. В.) (21 мая)
• 9. Мемнонов Владимир Павлович (СПбГУ.), Отказоустойчивая схема распределенных параллельных MPI-вычислений на нескольких кластерах в Grid-системах. (21 мая)
• 10. Новопашин Алексей Петрович (Институт динамики систем и теории управления СО РАН), Крупноблочный синтез параллельных планов решения вычислительных задач (Опарин Г. А., Новопашин А. П.) (22 мая)
• 11. Опарин Геннадий Анатольевич (Институт динамики систем и теории управления СО РАН), Крупноблочный синтез параллельных планов решения вычислительных задач. (22 мая)
• 12. Просеков Олег Валерьевич (Государственное унитарное предприятие "Терком"), Параметрические варианты быстрого преобразования Фурье. (21 мая)
• 13. Рыбакин Борис Петрович (Институт математики и информатики), Параллельный алгоритм для построения разностной сетки, численного метода решения задачи коллапса сверхновой звезды. (21 мая)
• 14. Хассан Инаам Рикан (СПбГУ, Кафедра вычислительной математики), О построении некоторых одношаговых методов для решения задачи Коши. (21 мая)
• 15. Хорохонов Даниил Александрович (СПбГУ, математико-механический факультет, кафедра исследования операций), Дискретные периодические сплайны с векторными коэффициентами и геометрическое моделирование. (21 мая)
• 16. Чашников Николай Викторович (СПбГУ, математико-механический факультет, кафедра исследования операций), Дискретные периодические сплайны с векторными коэффициентами и геометрическое моделирование. (21 мая)
• 17. Широкий Александр Александрович (Волгоградский Государственный Университет), Вариант построения системы распределённых вычислений, не привязанной к конкретной решаемой задаче. (22 мая)

Секция IV. Программная инженерия

(21 и 22 мая, 13 ауд. мат-мех факультета СПбГУ, ВО, 14-я линия, дом 29)

• 1. Ануреев Игорь Сергеевич (Институт систем информатики имени А.П. Ершова СО РАН), Операционно-онтологическая семантика операторов безусловной передачи управления в языке C#. (22 мая)
• 2. Бабкова Варвара Вадимовна (Институт системного программирования РАН), Среда ParJava разработки переносимых прикладных параллельных программ для систем с распределенной памятью (высокопроизводительных кластеров). (21 мая)
• 3. Берс Андрей Александрович (Институт систем информатики им. А.П.Ершова СО РАН), Принцип информационной замкнутости и построение Объектно-организованных систем. (22 мая)
• 4. Буянов Сергей Васильевич (Православный Свято-Тихоновский Гуманитарный Университет), Использование несинхронизируемых (полностью асинхронных) вычислений в системах реального времени. (22 мая)
• 5. Бычков Игорь Вячеславович (Институт динамики систем и теории управления СО РАН), Создание информационно-аналитических систем управления развитием территории. (22 мая)
• 6. Городняя Лидия Васильевна (ИСИ СО РАН им. А.П. Ершова), Гуманитарные аспекты программирования (Городняя Л.В., Мурзин Ф.А. ) (22 мая)
• 7. Геппенер Владимир Владимирович (ОАО "Научно-инженерный центр Санкт-Петербургского электротехнического университета", научно-исследовательский отдел НИО), Применение методов сегментации и секвенциального анализа при обработке телеметрических данных (Д. М. Клионский, В. В. Геппенер) (21 мая)
• 8. Дерипаска Антон Олегович (Научно-инженерный центр Санкт-Петербургского государственного электротехнического университета), Новые технологии обработки телеметрической информации на основе применения методов интеллектуального анализа (В. В. Геппенер, А. О. Дерипаска) (21 мая)
• 9. Евдокимов Сергей Маратович (СПбГУ), Предельные циклы гистерезисных систем. (22 мая)
• 10. Ефимов Игорь Николаевич (Чайковский технологический институт (филиал) ИжГТУ), Архитектура и технология открытых виртуальных исследовательских пространств ОВИП. (22 мая)
• 11. Жевнерчук Дмитрий Валерьевич (Чайковский технологический институт (филиал) ИжГТУ), Технология интеграции описательных и инструментальных средств имитационного моделирования. (22 мая)
• 12. Калинина Нина Алексеевна (НГУ), Некоторые особенности реализаций отечественных систем компьютерной алгебры. (22 мая)
• 13. Муханов Руслан Салаватович (Ланит-Терком), AspectRotor - разработка и реализация версии Aspect.NET для среды SSCLI/Rotor (21 мая)
• 14. Смелянский Руслан Леонидович (Факультет Вычислительной математики и кибернетики МГУ имени М.В. Ломоносова), Стенд полунатурного моделирования для разработки встроенных систем реального времени и оценки их архитектур. (22 мая)
• 15. Чекунова Мария Вячеславовна (Чайковский технологический институт (филиал) ИжГТУ), Архитектура и технология открытых виртуальных исследовательских пространств ОВИП. (22 мая)

Секция V. Современные концепции высшего образования в области информационных систем

(21 мая, 19 ауд. мат-мех факультета СПбГУ, ВО, 14-я линия, дом 29)

• 1. Абрамов Сергей Александрович (Вычислительный центр РАН), Лекционный курс "Вычислительная сложность алгоритмов" для студентов факультете ВМК МГУ. (21 мая)
• 2. Братчиков Игорь Леонидович (Санкт-Петербургский государственный университет) Методы генерации контрольных вопросов в экспертно-обучающих системах. (21 мая)
• 3. Куприянов Валерий Николаевич (Северо-Западная межрегиональная общественная организация Федерация Космонавтики России), С. С. Лавров об академике С. П. Королеве. (21 мая)
• 4. Мирошниченко Ирина Дмитриевна (СПбГУ), О методах преподавния основ программирования в рамках информационных дисциплин на гуманитарных факультетах. (21 мая)
• 5. Мурзин Федор Александрович (ИСИ СО РАН им. А. П. Ершова), Гуманитарные аспекты программирования (Городняя Л. В., Мурзин Ф. А.) (21 мая)
• 6. Титков Антон Вячеславович (Томский межвузовский центр дистанционного образования), Реализация библиотеки шаблонов алгоритмов комбинаторной генерации средствами STL. (21 мая)

Председатель оргкомитета     Леонов Г. А.