Уважаемые коллеги!

Приглашаем Вас принять участие в научно-практической Открытой конференции ИСП РАН им. В.П. Иванникова, которая пройдет с 22-23 ноября 2018 года в Главном здании Российской академии наук по адресу: Москва, Ленинский проспект, дом 32 А.

В рамках данной конференции проводятся секции по направлениям IT-индустрии, в которых ИСП РАН накоплен многолетний опыт при выполнении фундаментальных исследований, разработок инновационных технологий, а также реализации совместно с индустриальными партнерами конкретных проектов по внедрению разработанных технологий в промышленность.

Конференция проводится при поддержке IEEE и IEEE Computer Society, Российской академии наук (РАН), Фонда перспективных исследований (ФПИ), Федеральной службы по техническому и экспортному контролю РФ (ФСТЭК России) и компаний партнеров ИСП РАН (Samsung, Huawei Technologies Co. Ltd., Hewlett Packard Enterprise, DELL, NVIDIA и др.)

Секции Открытой конференции ИСП РАН им. В.П. Иванникова

  • Технологии анализа, моделирования и трансформации программ: 22-23 ноября 2018 г.
  • Управление данными и информационные системы: 22-23 ноября 2018 г.
  • Технологии распределенных реестров и блокчейнов: 23 ноября 2018 г.
  • Решение задач механики сплошных сред с использованием СПО: 22-23 ноября 2018 г.

Во время проведения всех секций Открытой конференции ИСП РАН им. В.П. Иванникова 2018 будет работать выставка технологий. Также в рамках конференции пройдет семинар для авторов статей в журнале "Труды ИСП РАН".

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

Для того, чтобы стать участником Открытой конференции ИСП РАН им. В.П. Иванникова Вам необходимо зарегистрироваться.

Участие бесплатное.

Важные даты

  • Срок подачи статей: 19 сентября 2018 г. 5 сентября 2018 г.
  • Уведомление о включении в программу: 12 октября 2018 г. 5 октября 2018 г.
  • Готовые к публикации статьи: 5 ноября 2018 г.
  • Регистрация участников: 10 ноября 2018 г.

О конференции

Открытая конференция ИСП РАН им. В.П. Иванникова - это ежегодная конференция в рамках которой Институт системного программирования Российской академии наук им. В.П. Иванникова (ИСП РАН) проводит серию тематических секций по направлениям IT-индустрии, в которых им накоплен многолетний опыт при выполнении фундаментальных исследований, разработок инновационных технологий, а также реализации совместно с партнерами конкретных проектов по внедрению разработанных технологий в промышленность.

Целью данной конференции является обеспечение поддержки и развитие созданной в ИСП РАН экосистемы генерации инноваций и воспроизводства кадров высшей квалификации в области системного программирования, а также создания предпосылок для повышения уровня использования новейших IT-технологий в деятельности образовательных, научно-исследовательских организаций и дальнейшего их внедрения в промышленность России.

На Открытой конференции ИСП РАН им. В.П. Иванникова представляются доклады как по фундаментальным и прикладным исследованиям, так и по аспектам, связанным с внедрением новых технологий.

С докладами для выступления приглашаются признанные эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих IT-компаний, а также исследователи, чьи работы прошли независимое профессиональное рецензирование.

4

секции

14

стран

Четверг, 22 ноября

8:30 - 9:30

Регистрация. Приветственный кофе (Зеленый зал — фойе)

9:30 - 11:30

Члены правительства, руководство РАН, РФФИ, отраслевых НИИ и профильных ВУЗов, а также представители институтов развития, ведущих российских и зарубежных IT-компаний, руководство IEEE (Институт инженеров электротехники и электроники) и IEEE Computer Society

Пленарная сессия «История непрерывных инноваций» (Синий зал)

11:30 - 12:30

Выставка технологий. Кофе, чай (Зеленый зал — фойе)

13:30 - 14:30

Обед


Управление данными и информационные системы (Бежевый зал)

14:30 - 14:50

Ц. Гукасян1, Г. Давтян1, К. Аветисян1, И. Андрианов2

1 Лаборатория системного программирования в Российско-Армянском университете, 2 ИСП РАН

"pioNER: Наборы данных и базовые методы для распознавания именованных сущностей в армянском языке"

Подробнее
14:50 - 15:10

Н. Лазарев1, О. Борисенко2

1 ВМК МГУ, 1 ИСП РАН

"Реализация обработки JSON-данных в In-memory Data Grid в качестве сквозного слоя кэширования к РСУБД"

15:10 - 15:30

О. Борисенко 1, Д. Бадалян 1

1 ИСП РАН

"Тестирование производительности SQL-операций в распределенных In-Memory СУБД"

15:30 - 15:50

И. Алимова1, Е. Тутубалина1

1 Казанский федеральный университет

"Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах"

Подробнее
15:50 - 16:10

Кофе, чай

16:10 - 16:30

А. Черных1, Р. Каноса1, Х. М. Кортес-Мендоса1, Р. Ривера-Родригес1, Х. Лозано Ризк1, Ж. Ду2, А. Аветисян3, Э. Консепсьон-Моралес4

1 Исследовательский центр CICESE, 2 Университет Цинхуа, 3 ИСП РАН, 4 Университет Метрополитен UMET

"Оптимизация энергопотребления и качества предоставления сервисов в контейнерных облачных средах"

Подробнее
16:30 - 16:50

В. Малых1, Т. Хахулин 1

1 Московский физико-технический институт

"Устойчивость к шуму в задаче извлечения аспектов"

Подробнее
16:50 - 17:10

В. Малых1, В. Лялин1

1 Московский физико-технический институт

"Распознавание именованных сущностей в зашумленных доменах"

17:10 - 17:30

К. Пивоварова1, И. Болодурина1, Д. Парфенов1

1 Оренбургский государственный университет

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

Подробнее
17:30 - 17:50

С. Хабаши1, Ш. Салама1, А. Х. Юсеф1, Х. Фахми1

1 Университет Айн-Шамс

"Адаптивный диверсифицирующий гиперэвристический подход к решению задач составления расписаний"

Подробнее

Решение задач механики сплошных сред с использованием СПО (Зеленый зал)

14:30 - 15:10

Профессор Л. Маас1

1 Институт морских и атмосферных исследований Утрехта, Королевский институт морских исследований Нидерландов, Нидерланды

"Волновые аттракторы"

15:10 - 15:30

М. Банхольцер1, К. Траксингер1, М. Пфицнер1

1 Университет Бундесвера Мюнхен

"Численное исследование эффектов разделения фаз в условиях высокого давления, подобных условиям в двигателе"

Подробнее
15:30 - 15:50

С. Стрижак1, А. Крючкова1, К. Кошелев1

1 ИСП РАН

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

15:50 - 16:10

Кофе, чай

16:10 - 16:30

М. Левин1

1 ИСП РАН

"Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка"

16:30 - 16:50

И. Куликов1, И. Черных1, Д. Караваев1, В. Протасов1, А. Серенко1, В. Пригарин1, И. Ульянычев1, А. Тутуков2

1 ИВМиМГ СО РАН, 2 Институт астрономии РАН

"Использование генератора адаптивных вложенных сеток HydroBox3D для численного моделирования процесса образования сверхновой типа Ia: слияния углеродно-кислородных белых карликов, коллапса и нецентрального взрыва"

Подробнее
16:50 - 17:10

К. Терехов1, И. Коншин1, Ю. Василевский1

1 ИВМ РАН

"Платформа INMOST для распределенного математического моделирования"

Подробнее
17:10 - 17:30

М. Зайцев1, В. Головизнин1, С. Карабасов2

1 ИБРАЭ РАН, 2 Лондонский университет королевы Марии

"Применение метода КАБАРЕ для ячеек polyhedral в среде СПО OpenFoam"

Подробнее
17:30 - 17:50

А. Кувшинников1, А. Бондарев1

1 ИПМ им. М.В. Келдыша

"Сравнительная оценка точности решателя QGDFoam при решении задачи обтекания конуса невязким потоком"

Подробнее

Технологии анализа, моделирования и трансформации программ (Синий зал)

14:30 - 14:50

В. Иванишин1, Е. Кудряшов1, А. Монаков1, Д. Мельник1

1 ИСП РАН

"Сокращение размера динамических библиотек в формате ELF после компоновки"

Подробнее
14:50 - 15:10

И. Дудина1, Н. Малышев1

1 ИСП РАН

"одном подходе к анализу строк в языке Си для поиска переполнения буфера"

Подробнее
15:10 - 15:30

В. Чепцов1, А. Хорошилов1

1 ИСП РАН

"Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью системы LLVM"

Подробнее
15:30 - 15:50

Г. Волков1, М. Мандрыкин2, Д. Ефремов1

1 НИУ ВШЭ, 2 ИСП РАН

"Функции-леммы в среде Frama-C: использование С программ как доказательств"

Подробнее
15:50 - 16:10

Кофе, чай

16:10 - 16:30

Е.М. Лаврищева1

1 ИСП РАН

"Информатика и ЭВМ-70. Анализ и аспекты развития"

Подробнее
16:30 - 16:50

А.В. Козачок1

1 Академия ФСО России

"Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта"

16:50 – 17:10

Н. Шилов1, И. Ануреев2, Е. Бодин2, Д. Кондратьев2, А. Промский2

1 Университет Иннополиса, 2 ИСИ СО РАН

"О платформенно-независимой спецификации и верификации стандартных математических функций"


22 ноября 11:30-13:30, Выставка технологий (Зеленый зал — фойе)

1. SVACE

Svace — необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 50 классов критических ошибок в исходном коде. Поддерживает языки C, C++, C# и Java. Зарегистрирован в Едином реестре российского ПО.

2. BINSIDE

BINSIDE - технология статического анализа бинарного кода.

3. Фаззер Anxiety

Фаззер Anxiety - технология обнаружения критических ошибок времени исполнения и уязвимостей в программах.

4. Binary code analysis platform

Платформа ИСП РАН для анализа программ на основе эмулятора QEMU.

5. ISP Obfuscator

Обфускатор — комплекс технологий по противодействию массовой эксплуатации уязвимостей, возникающих в результате ошибок или закладок. Если злоумышленник смог атаковать одно из устройств с одинаковым ПО, остальные останутся под защитой благодаря изменениям, внесённым в код.

6. Protosphere

Protosphere — система глубокого анализа сетевого трафика (DPI). Часть защиты от вторжений и утечек информации. Выявляет несоответствия между спецификацией протокола и конкретной реализацией. Позволяет быстро добавлять поддержку новых (в том числе, и закрытых) протоколов благодаря универсальности внутреннего представления.

7. Klever

Klever — система статической верификации с использованием передовых инструментов для тщательной проверки безопасности, надёжности и производительности программных систем, разработанных на языке GNU Си. В частности, применяется для верификации ОС реального времени.

8. MicroTESK

MicroTESK — реконфигурируемая и расширяемая среда генерации тестовых программ для функциональной верификации микропроцессоров. Позволяет автоматически конструировать генераторы тестовых программ для целевых архитектур микропроцессоров на основе их формальных спецификаций. MicroTESK применим для широкого спектра архитектур (RISC, CISC, VLIW, DSP).

9. Retrascope

Retrascope — инструмент обратной инженериии функциональной верификации описаний цифровой аппаратуры. Предоставляет автоматизированные средства извлечения и анализа формальных моделей исходного кода. Поддерживает синтезируемые подмножества языков Verilog, VHDL.

10. AstraVer Toolset

AstraVer Toolset — система дедуктивной верификации ключевых компонентов. Позволяет разрабатывать и верифицировать модели политик безопасности, а также проводить доказательство корректности ключевых компонентов на языке С. Необходимый инструмент достижения целей семейств доверия ADV_SPM и ADV_FSP, определённых в ГОСТ Р ИСО/МЭК 15408-3-2013.

11. MASIW

MASIW — автоматизированное рабочее место архитектора и интегратора системы интегрированной модульной авионики.

12. Constructivity 4D

Constructivity — Технология предназначена для создания перспективных программных приложений компьютерной графики, научной визуализации, анимации, робототехники, геоинформатики, логистики, автоматизации проектирования, управления проектами.

13. Texterra

Texterra — масштабируемая платформа для извлечения семантики из текста. Базовый комплекс технологий для создания многофункциональных прикладных приложений. Анализирует тексты с помощью выделения концептов. Входит в Единый реестр российского ПО.

14. Talisman

Talisman — технология анализа больших данных о людях, сообществах, продуктах и организациях. Выявляет закономерности во взаимосвязях с помощью анализа больших графов из сотен миллионов узлов.

15. Lingvodoc

Lingvodoc — система для совместной многопользовательской документации исчезающих языков, создания многослойных словарей и научной работы с полученными звуковыми и текстовыми данными. Совместный проект с Институтом языкознания РАН и Томским государственным университетом. Разрабатывается с 2012 года. Сайт проекта lingvodoc.ispras.ru.

16. SciNoon

SciNoon — система для исследовательского поиска научных статей. Объединяет ряд уникальных функций для оптимизации процесса поиска и анализа полученных результатов. В частности, позволяет работать в команде и сохранять историю действий пользователей. Поддерживает работу с большими данными.

17. Комплекс решений для создания сервис-ориентированных ЦОД

Комплекс решений для создания сервис-ориентированных ЦОД предоставляет возможность хранения данных и совершения сложных ресурсоёмких вычислений с использованием, как контейнеров, так и виртуальных машин. В частности, предназначен для развёртывания облачных сред.

Пятница, 23 ноября

9:30 - 10:00

Регистрация. Приветственный кофе (Зеленый зал — фойе)


Blockchain Technology

10:00 - 10:40

И. Евдокимов1

1 Dexpa LLC

"Распределённая инфраструктура b2b программ лояльности на основе протокола Tendermint"

Подробнее
10:40 - 11:00

Н. Пакулин1

1 Pax Datatech, Seoul, South Korea

"Сильные и слабые стороны блокчейн-технологий"

11:00 - 11:20

А. Кормилицын1, Ч. Удокву1, К. Тангалимоджи1, А. Норта1

1 Таллиннский технический университет

"Обзор применения блокчейн-технологий смарт-контрактов в организациях"

Подробнее
11:20 - 11:40

Кофе, чай

11:40 - 12:00

А. Андрюхин1

1 ООО «КейСиДи»

"Фишинг-атаки и способы их предотвращения в блокчейн-проектах"

Подробнее
12:00 - 12:20

А. Демичев1, А. Крюков1, Н. Приходько2

1 МГУ имени М.В. Ломоносова, НИИ ядерной физики имени Д.В. Скобельцына, 2 НовГУ им. Ярослава Мудрого

"Подход к управлению метаданными происхождения и правами доступа к данным в распределенном хранилище с использованием блокчейн-платформы Hyperledger"

Подробнее
12:20 - 12:40

И. Евдокимов1

1 Dexpa LLC

"Распределённая инфраструктура b2b программ лояльности на основе протокола Tendermint"

Подробнее
12:40 - 13:00

M. Levin1

1 Pax Datatech

"Tail chain — a new generation blockchain for parallel transaction processing"


Open source software in continuum mechanics problems solving

10:00 - 11:40

М. А. Пантелеев1,2

1 ЦТП ФХФ РАН, 2 МГУ им. М.В. Ломоносова

Тема доклада уточняется

10:40 - 11:20

Ю.В. Василевский, чл.-корр. РАН, проф., д.ф.-м.н.1,2,3

1 ИВМ РАН, 2 МФТИ, 3 Сеченовский университет

"Персонализированные математические модели кровотока"

11:20 - 11:40

Кофе, чай

11:40 - 12:00

О. Сороковикова1, Д. Дзама1, Д. Асфандияров1

1 ИБРАЭ РАН

"Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки"

Подробнее
12:00 - 12:20

А. Епихин1, М. Крапошин2

1 МГТУ им. Н. Э. Баумана, 2 ИСП РАН

"Численное моделирование акустических возмущений, генерируемых истечением струи при малых числах Рейнольдса"

12:20 - 12:40

К. Беляев1, Е. Морозов1, Н. Тучкова2, Г. Михайлов2

1 Институт океанологии им. Ширшова, 2 ФИЦ ИУ РАН

"Оценки переноса Антарктических донных вод по модели MPI-ESM с усвоением данных наблюдений"

Подробнее
12:40 - 13:00

А. Иванцов1, Т. Любимова1

1 Институт механики сплошных сред УрО РАН

"Численное моделирование динамики капли жидкости в пористой среде с использованием алгоритма адаптивных сеток"

Подробнее
13:00 - 14:00

Обед

14:00 - 14:20

М. Хоменко1, Ф. Мирзаде1

1 ИПЛИТ РАН — филиал ФНИЦ «Кристаллография и фотоника» РАН

"Верификация гидродинамической модели процесса лазерной наплавки на основе решателя OpenFOAM"

Подробнее
14:20 - 14:40

В. Жуков1, Н. Новикова1, О. Феодоритова1

1 ИПМ им. М.В. Келдыша РАН

"О численном моделировании течений в высокоскоростной камере сгорания на основе OPENFOAM"

Подробнее
14:40 - 15:00

К. Овчинников1

1 SСПбГМТУ

"Численное моделирование качки судна с шахтным устройством на встречном волнении"

Подробнее
15:00 - 15:20

В. Корчагова1,2, С. Сауткина2, И. Фуфаев3, И. Марчевский1,2, В. Лукин1,2,3

1 ИСП РАН, 2 МГТУ им. Баумана, 3 ИПМ им. М.В. Келдыша

"Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках"

Подробнее
15:20 - 15:40

Ю. Шарова1, О. Ольховская1, Г. Багдасаров1, В. Гасилов1

1 ИПМ им. М.В. Келдыша

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

Подробнее
15:40 - 16:00

Кофе, чай

16:00 - 16:20

В. Судаков2, Ю. Нечаев1, В. Осипов2

1 Университет ИТМО, 2 ИПМ им. М.В. Келдыша РАН

"Динамическая модель NEURO-FUZZY контроля транспортных потоков"

Подробнее
16:20 - 16:40

В. Зенкин1

1 МГТУ им. Баумана

"Онтологический репозиторий для CFD-расчетов"

Подробнее
16:40 - 17:00

А. Чернова1,2, Т. Редер1, В. Тененев1, М. Королева1,3

1 ИжГТУ им. М. Т. Калашникова, 2 JSC "INNTS", 3 UdFRC UB RAS

"Многоуровневое моделирование предохранительного клапана прямого действия"

Подробнее
17:00 - 17:20

С. Рогозин1, Е. Ивашко2

1 Петрозаводский государственный университет, 2 Институт прикладных математических исследований КарНЦ РАН

"Оптимизация конструкции дровяной печи в жилом помещении с использованием технологии BOINC"

Подробнее
17:20 - 17:40

А. Нуриев1

1 Казанский федеральный университет

"Определение параметров влияния аэродинамических процессов на резонансные колебания стержней в воздухе путем эксперимента и численного моделирования"

Подробнее

Технологии анализа, моделирования и трансформации программ (Синий зал)

10:00 - 10:20

И. Васильев1

1 НовГУ

"ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании"

10:40 - 11:00

А. Вишняков1, А. Нурмухаметов1, Ш. Курмангалеев1, С. Гайсарян1

1 ИСП РАН

"Метод анализа атак повторного использования кода"

Подробнее
10:40 - 11:00

А. Михайлов1, А. Хмельнов1

1 ИДСТУ СО РАН

"Генерация кода для разбора спецификаций в декларативном формате языка FlexT"

Подробнее
10:40 - 11:00

В. Степанов1, П. Довгалюк1, Д. Полетаев1

1 НовГУ им. Ярослава Мудрого

"Трассировка операций с файловой системой ext3 в эмуляторе QEMU"

Подробнее
11:20 - 11:40

Кофе, чай

11:40 - 12:00

С. Саргсян1, Ш. Курмангалеев2, Д. Акопян1, М. Меграбян1, С. Асрян1

1 Российско-Армянский (Славянский) университет, 2 ИСП РАН

"Направленный фаззинг на основе динамической инструментации"

Подробнее
12:00 - 12:20

Д. Кононов1

1 ИСП РАН

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

Подробнее
12:20 - 12:40

А. Самонов1, Г. Самонова1

1 ВКА им. А.Ф. Можайского

"Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем"

Подробнее
12:40 - 13:00

А. Асланян1

1 ИСП РАН

"Платформа межпроцедурного статического анализа бинарного кода"

Подробнее
13:00 - 14:00

Обед

14:00 - 14:20

Ф. Ниськов1, А. Федотов1, Ш. Курмангалеев1

1 ИСП РАН

"Обработка аварийных завершений с целью выявления уникальных дефектов"

Подробнее
14:20 - 14:40

С. Ковалев1

1 Positive Technologies

"Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf"

Подробнее
14:40 - 15:00

И. Захаров1, Е. Новиков1

1 ИСП РАН

"Композиционное моделирование окружения для верификации программ на GNU C"

Подробнее
15:40 - 16:00

Кофе, чай


11:20-13:20, Доклад session (The Green Hall – The Foyer)

Доклад 1

Т. Стенина1, Т. Елизарова2, М. Крапошин3, Д. Рязанов1

1 МГУ им. М.В. Ломоносова, 2 ИПМ им. М.В. Келдыша of the RAS, 3 ИСП РАН

"Численное моделирование сердечного дискового насоса с использованием возможностей открытой платформы OpenFoam"

Доклад 2

С. Сташевский1, В. Зенкин1

1 МГТУ им. Баумана

"Определение характеристик впускных каналов поршневых двигателей с помощью ПК OpenFOAM"

Доклад 3

А. Ряховский1, В. Антонов1, А. Шмидт2

1 СПбПУ, 2 ФТИ им. А. Ф. Иоффе

"CFD и DSMC моделирование МГД управления обтеканием спускаемых аппаратов"

Доклад 4

К. Кузьмина1, И. Марчевский1, Е. Рятина1

1 МГТУ им. Баумана

"О возможностях программного комплекса VM2D с открытым исходным кодом для моделирования двумерных течений вязкой несжимаемой жидкости вихревыми методами"

Доклад 5

В. Бондарчук1, А. Гладкова1, А. Попов2

1 МГТУ им. Баумана

"Моделирование течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 средствами свободного программного обеспечения"

Доклад 6

К. Ватутин1, М. Крапошин1, С. Дубинский2

1 ИСП РАН, 2 АО ВНИИЖТ

"Численное моделирование аэродинамики поезда при входе в тоннель"

Доклад 7

А. Осипов1, М. Крапошин2, С. Стрижак2, Я. Советников3

1 Московский физико-технический институт, 2 ИСП РАН, 3 МАИ

"Определение газодинамических параметров ударной волны, формирующейся при старте ракеты-носителя"

Доклад 8

В. Мельникова1, Г. Щеглов1, С. Стрижак2

1 МГТУ им. Баумана, 2 ИСП РАН

"Возможности открытого пакета Palabos для моделирования обтекания вращающихся тел"

Доклад 9

Д. Рязанов1, М. Крапошин1, Е. Рябинкин2

1 ИСП РАН, 2 НИЦ «Курчатовский институт»

"Высокопроизводительный решатель OpenFOAM для моделирования внутриволновых аттракторов в статифицированных потоках с использований регуляризированных уравнений гидродинамики"

Подробнее
Доклад 10

Е. Зорина1, А. Гиззатуллина1

1 ИжГТУ им. М. Т. Калашникова

"Расчет гидродинамического сопротивления эллиптического тела с килем"

Доклад 11

М. Королева1, А. Гизатуллина1, Е. Зорина1, О. Мищенкова1

1 ИжГТУ им. М. Т. Калашникова

"Моделирование сверхзвукового обтекания управляемого снаряда"

Доклад 12

К.М. Терехов1, И.Н. Коньшин1, Ю.В. Василевский1

1 ИВМ РАН

"Платформа INMOST для распределенного математического моделирования"

Докладчики

Список докладчиков формируется.

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

Руководящий комитет

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Гарбук С.В., к.т.н., ФПИ.
  • Гергель В.П., д.т.н., профессор, ННГУ.
  • Дэвид Алан Грир, 2013 IEEE Computer Society President, Университет Джорджа Вашингтона.
  • Жижченко А.Б., д.ф.-м.н., профессор, академик РАН, МСЦ РАН.
  • Каляев И.А., д.т.н., академик РАН, НИИ МВС ЮФУ.
  • Хиронори Касахара, IEEE CS President Elect 2017, President 2018, Университет Васэда.
  • Лютиков В.С., ФСТЭК России.
  • Костас Стасопулос, IEEE Director Region 8, Electricity Authority of Cyprus.
  • Федосов Е.А., академик РАН, ФГУП "ГосНИИАС".
  • Деннис Цикридис, президент Греческого фонда исследований и инноваций (ELIDEK).

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

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Белоусов Игорь, д.ф.-м.н., SAP.
  • Волков Д.В., "Открытые системы", с.н.с. ИПМ им. М.В.Келдыша РАН.
  • Иванов Сергей, Hewlett Packard Enterprise.
  • Конягин Д.Б., NVIDIA.
  • Лучинин Н.Ю., Dell.
  • Пакулин Н.В., к.ф.-м.н., ИСП РАН.
  • Прохоров С.П., к.ф.-м.н., профессор, МФТИ.
  • Самоваров О.И., к.т.н., ИСП РАН.

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

Технологии анализа, моделирования и трансформации программ

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Белеванцев А.А., к.ф.-м.н., ИСП РАН.
  • Волконский В.Ю., к.т.н., АО МЦСТ.
  • Гайсарян С.С., к.ф.-м.н., ИСП РАН.
  • Девянин П.Н., доцент, д.т.н., УМС УМО ИБ.
  • Дроздов А.Ю., д.т.н., РЭПИ ФРТК МФТИ.
  • Канатов А.В., Samsung.
  • Ковернинский И.В., ФГУП "ГосНИИАС".
  • Кузнецов С.Д., д.т.н., профессор, ИСП РАН.
  • Макаров В.А., к.т.н., ИТИС, НовГУ.
  • Останевич С.Ю., Intel.
  • Петренко А.К., д.ф.-м.н., профессор, ИСП РАН.
  • Проскурин В.Г., доцент, к.т.н., УМО ИБ.
  • Тихонов А.Ю., ИСП РАН.

Управление данными и информационные системы

  • Турдаков Д.Ю., к.ф.-м.н., ИСП РАН.
  • Лукашевич Н.В., д.т.н., НИВЦ МГУ.
  • Усталов Д.А., к.ф.-м.н., Университет Мангейма, Германия.
  • Кузнецов С.Д., д.ф.-м.н., профессор, ИСП РАН.
  • Коршунов А.В., к.ф.-м.н., Quantum.uk.
  • Астраханцев Н.А., к.ф.-м.н., Microsoft Corp.
  • Лизоркин Д.А., к.ф.-м.н., Google LLC.
  • Добров Б.В., к.ф.-м.н., НИВЦ МГУ.
  • Тутубалина Е.В., к.ф.-м.н., КФУ.
  • Андрей Черных, д.ф.-м.н., профессор, CICESE, Энсенада, Баха Калифорния, Мексика.
  • Самоваров О.И., к.ф.-м.н., ИСП РАН.
  • Фильченков А.А., к.ф.-м.н., ИТМО.
  • Кузюрин Н.Н., д.ф.-м.н., профессор, ИСП РАН.
  • Велихов В.Е., к.ф.-м.н, НИЦ «Курчатовский институт».

Решение задач механики сплошных сред с использованием СПО

  • Корнев Н.В., Prof. Dr-Ing. habil., профессор, Universitat Rostock.
  • Крапошин М.В., к.ф.-м.н., ИСП РАН.
  • Марчевский И.К., к.ф.-м.н., доцент, МГТУ им. Н.Э. Баумана.
  • Нуриев А., к.ф.-м.н., Институт математики и механики им. Н. И. Лобачевского.
  • Сибгатуллин И.Н., к.ф.-м.н., доцент, механико-математический факультет МГУ имени М.В. Ломоносова.
  • Стрижак С.В., к.т.н., Hewlett Packard Enterprise, ИСП РАН.
  • Ткаченко И.В., д.т.н., СПбМТУ.
  • Чашечкин Ю.Д., д.ф.-м.н., профессор, ИПМех РАН.
  • Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.
  • Якобовский М.В., д.ф.-м.н., ИПМ РАН им. М.В. Келдыша.
  • Dr. Henrik Rusche, WIKKI Gesellschaft fur numerische Kontinuumsmechanik mbH.
  • Prof J.M. Redondo, Universitat Politenica de Catalunya, PELNoT, LAB-ERCOFTAC.
  • Banholzer M., Universität der Bundeswehr München.

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

Регистрация

Публикации


Приглашаем Вас представить результаты своей работы на одной из секций Открытой конференции ИСП РАН им. В.П. Иванникова, подготовив и прислав на рецензирование статью.

Все представленные статьи проходят тщательное независимое двойное слепое рецензирование.

Авторы статей, получивших положительные отзывы рецензентов, смогут выступить на конференции с докладом, а сами статьи будут рекомендованы для публикации в сборнике "Proceedings of Ivannikov ISPRAS Open Conference" (статьи сборника размещаются в электронной библиотеке IEEE Xplore и индексируются в международных индексах научного цитирования Web of Science и Scopus) или в специальном выпуске сборника "Труды ИСП РАН" (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156). Издание включено в Перечень ВАК, индексируется в Российском индексе научного цитирования (РИНЦ), КиберЛенинке).

Окончательное решение об издании в котором будет размещена публикация принимает Программный комитет.

Так же, приглашаем Вас сделать доклад о начальных или промежуточных результатах незавершенного научного исследования, ходе реализации конкретного проекта, опыте внедрения технологии и пр, соответствующих тематикам конференции. Для этого необходимо подать на рецензирование тезисы доклада.

Тезисы публиковаться не будут.

Правила подачи материалов

Мы принимаем на рецензирование оригинальные, ранее не представленные на других конференциях статьи на английском и русском языках по соответствующим тематикам секций Открытой конференции ИСП РАН им. В.П. Иванникова.

1. При подаче статьи на рецензирование необходимо исключить любую информацию об авторах. Заголовок не должен содержать имён авторов, адресов электронной почты, названий организаций. В тексте необходимо исключить все прямые ссылки на предыдущие работы авторов.

2. По остальным требованиям оформление статьи должно быть выполнено в одном из 2-х форматов (на выбор авторов).

Статьи на английском языке оформляются в соответствии с шаблоном IEEE для трудов конференций или в соответствии с требованиями сборника трудов ИСП РАН и должны быть объемом 3-7 страниц.

Статьи на русском языке оформляются в соответствии с требованиями, предъявляемыми к оформлению материалов для сборника трудов ИСП РАН и должны быть объемом 8-20 страниц.

Формат статьи не является фактором, который учитывается Программным комитетом при принятии решения о выборе издания для публикации.

3. Авторам, получившей положительные отзывы и рекомендованной к публикации статьи, будет необходимо подготовить ее окончательную версию в соответствующем формате с учетом всех замечаний экспертов. Одному из авторов будет необходимо выступить с докладом на секции соответствующей тематики. Заочное участие в конференции не допускается.

4. Тезисы представляются на русском языке в соответствии с требованиями сборника трудов ИСП РАН и должны быть объемом 3 страницы.

По итогам рассмотрения, авторы тезисов, получившие положительные отзывы рецензентов, смогут представить свою работу, выступив с докладом на секциях конференции.

Тезисы публиковаться не будут.

5. Статьи и тезисы подаются через интернет-систему EasyChair по ссылке. Срок подачи: 19 сентября 2018 г. 5 сентября 2018 г.

Прошедшие конференции


2017, 2016, 2015 (1, 2), 2014, 2013, 2012, 2011, 2010

Место проведения

Расположение

Традиционно, Открытая конференция ИСП РАН им. В.П. Иванникова пройдет в Москве в главном здании Российской академии наук по адресу: Москва, Ленинский проспект, дом 32 А (Подъезд 1, Этаж 3, "Синий", "Зеленый" и "Бежевый" залы).

Транcпорт

Добраться до места проведения можно на городском транспорте, включая Московский метрополитен и МЦК.

Отели

Подходящие отели и рестораны находятся в шаговой доступности. Здесь вы найдете наши рекомендации.