Доклады 2017 года
Планируемые доклады / Upcoming talks:

Состоявшиеся доклады / Completed talks:

  • 08.12.2017
    		• 1) Улитин Б.И. Использование предметно-ориентированных языков для унификации доступа к множеству гетерогенных устройств в рамках концепции интернета вещей.
    Докладчик: Улитин Борис Игоревич, аспирант 2-ого года обучения по специальности 05.13.18 Математическое моделирование, численные методы и комплексы программ, НИУ "Высшая школа экономики", Нижний Новгород.
    Научный руководитель: Бабкин Эдуард Александрович, к.т.н., проф. НИУ "Высшая школа экономики", Нижний Новгород.
    Реферат: В настоящее время в литературе большее внимание уделяется киберфизическим системам, включающих в себя большое количество независимых устройств, объединенных в сеть, с которой происходит взаимодействие человека для достижения некоторых целей. Сеть устройств в данном случае является примером реализации концепции интернета вещей. Основной проблемой, связанной с реализацией данной концепции, является то, что устройства носят гетерогенный характер, имеют разные интерфейсы доступа, разные структуры данных, разные внутренние мини-ОС – как следствие, открытым является вопрос, каким образом можно обеспечить синхронизацию данных устройств. В докладе будет рассмотрена возможность использования предметно-ориентированных языков для унификации процедуры доступа к разнородным устройствам в рамках реализации концепции интернета вещей с целью организации синхронного доступа к устройствам, а также упрощения работы пользователя с такой системой.

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

  • 22.11.2017
    14:00
    		• Бикмуллина И.И. Автоматический синтез диаграмм классов языка UML на основе ассоциативных отношений предметной области.
    Докладчик: Бикмуллина Ильсияр Ильдаровна, аспирантка Казанского национального исследовательского технического университета им. А.Н. Туполева - КАИ» (КНИТУ-КАИ).
    Научный руководитель: Барков Игорь Александрович, д.т.н., доцент каф. автоматизированных систем обработки информации и управления КНИТУ-КАИ.
    Реферат: В докладе будут представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11, посвященного повышению уровня входного языка описания предметной области на основе ассоциативных отношений в ней с последующим синтезом структурных моделей программной системы на основе семантических моделей на примере диаграммы классов языка UML.
  • 17.11.2017
    		•  Браницкий А.A. Сетевая система обнаружения атак на основе гибридизации методов вычислительного интеллекта.
    Докладчик: Браницкий Александр Александрович, лаборатория проблем компьютерной безопасности СПИИРАН.
    Реферат: В докладе представлены результаты диссертационного исследования, посвященного обнаружению аномальных сетевых соединений с использованием коллектива адаптивных бинарных классификаторов. Целью является повышение эффективности функционирования системы обнаружения атак (СОА) при помощи подхода "гибридизация методов вычислительного интеллекта (ВИ)". В рамках выполненного исследования получены следующие результаты:
    (1) модель вычислительной иммунной системы на базе эволюционного подхода;
    (2) алгоритм генетико-конкурентного обучения сети Кохонена;
    (3) методика иерархической гибридизации бинарных классификаторов для выявления аномальных сетевых соединений;
    (4) архитектура распределенной СОА, построенной на основе комбинирования сигнатурного анализа и методов ВИ.
    Результаты проведенных экспериментов доказывают, что разработанная СОА удовлетворяет требованиям, предъявляемым к вычислительно интеллектуальным системам.
  • 13.10.2017
    		•  1) Овсянников А.A. Разработка и реализация пакета программ для обработки, улучшения и использования информации, полученной посредством мобильных технологий.
    Докладчик: Овсянников Александр Александрович, аспирант кафедры информатики СПбГУ, разработчик человеко-машинного интерфейса (Android OS) в ООО "Чардж Софтвер".
    Научный руководитель: Ловягин Юрий Никитич, доцент кафедры информатики СПбГУ.
    Реферат: В докладе будут представлены основные результаты диссертационных исследований на соискание ученой степени кандидата технических наук по специальности 05.13.11. Приводятся разработанные в ходе исследования алгоритмы обработки, улучшения и использования информации, полученной посредством мобильных технологий. Исследуются существующие подходы к реализации навигации внутри помещения при помощи Bluetooth LE маячков. Предложено дополнение к существующим моделям построения системы навигации в помещении. Рассмотрены основные задачи получения и передачи видеоинформации средствами мобильных технологий и алгоритмы их решения. Разработаны алгоритмы синхронизации аудио и видео потоков, полученных с видеоисточников. Обосновывается возможность использования МЭМС мобильного устройства в качестве источника для дополнения видеоинформации данными позиционирования. Рассматривается возможность расширения алгоритма дополнения видеоинформации геолокационными данными и данными МЭМС. Делается вывод, что задача профилирования источника данных может быть решена лишь на уровне приложения с использованием анализа, различных фильтров и статистических метрик.

    2) Никифоров В.В., Баранов С.Н. Flat Chart Technique for Embedded OS Testing. – Техника плоских схем для тестирования встроенных операционных систем.
    Докладчики: Никифоров Виктор Викентьевич, д.т.н., проф., в.н.сотр. СПИИРАН, Баранов Сергей Николаевич, д.ф.м.н., проф., гл.н.сотр. СПИИРАН.
    Реферат: Modern automatic devices are more and more equipped with microcontroller units. The logic of work of the automatic equipment is supported by a number of various embedded software applications which run under an embedded real-time operating system (OS). The OS reliability is extremely important for correct functionality of the whole automatic system. Therefore, the embedded OS should be tested thoroughly with an appropriate automated test suite. Such test suite for testing of an embedded OS is usually organized as a set of multi-task test applications to be executed in a data-driven manner. The presentation features a special language to define the respective testing task logic and the concept of flat charts to efficiently perform an embedded OS execution-based testing. To avoid heavy interpreting of text strings during the test run, the respective test presentation is pre-processed in order to convert the initial string form into a regular array form and thus to increase its efficiency.
  • 29.09.2017
    		•  Афанасьева И.В. Автоматный метод проектирования и создания параллельных реагирующих систем.
    Докладчик: Афанасьева Ирина Викторовна, ведущий инженер, и. о. заведующего лабораторией перспективных разработок Специальной астрофизической обсерватории РАН, аспирант кафедры информационных систем Университета ИТМО.
    Научный руководитель: Новиков Федор Александрович, д.т.н., профессор Санкт- Петербургского политехнического университета Петра Великого.
    Реферат: Рассматриваются результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Предлагается метод, нацеленный на достижение более высоких показателей надежности и производительности при проектировании архитектуры и реализации реагирующих систем по сравнению с традиционными способами. Приводится графический язык описания кооперативного взаимодействия автоматных объектов. Изложены результаты применения метода при разработке специализированного программного обеспечения управления высокоточным научным оборудованием в наблюдательной астрономии.
  • 05.05.2017
    		•  Ермаков А.Д. Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации.
    Докладчик: Ермаков Антон Дмитриевич, аспирант кафедры информационных технологий в исследовании дискретных структур Томского государственного университета.
    Научный руководитель: Евтушенко Нина Владимировна, д.т.н., профессор Томского государственного университета.
    Реферат: Рассматриваются основные результаты диссертационных исследований на соискание ученой степени кандидата технических наук по специальности 05.13.01. Будут представлены разработанные автором методы синтеза тестов на основе автоматных моделей для проверки функциональных и нефункциональных требований в проектируемом ПО, которые гарантируют заданную полноту тестирования относительно функциональных ошибок и учитывают возможный недетерминизм (опциональность) спецификации.
  • 24.03.2017
    		•  Шмелёв В.Ю. Структурно-логический подход к мониторингу технологических процессов испытаний и применения космических средств.
    Докладчик: Шмелёв Валентин Валерьевич, к.т.н., докторант кафедры технологий и средств автоматизации обработки и анализа информации космических средств ВКА им. А.Ф. Можайского.
    Научные консультанты: Мануйлов Юрий Сергеевич , д.т.н., профессор кафедры автоматизированных систем управления космических комплексов ВКА им. А.Ф. Можайского; Охтилев Михаил Юрьевич, д.т.н., профессор, зав. кафедрой компьютерных технологий и программной инженерии ГУАП, руководитель группы интеллектуальных технологий в моделировании и исследовании операций в СПИИРАН.
    Реферат: Рассматриваются результаты диссертационных исследований на соискание ученой степени доктора технических наук по специальности 20.02.12. Предлагается подход к мониторингу процессов функционирования космических средств. Подход заключается в представлении процесса мультиагентным комплексом. Отличительной особенностью подхода является его моделирующая мощность, соответствующая предметной области функционирования ракетно-космической техники. Подход позволяет использовать при мониторинге не только временные характеристики операций, но и измерительную информацию, получаемую от объекта мониторинга. Используется инструмент модифицированных сетей Петри. Демонстрируется работа программного модуля мониторинга на примере системы ракеты-носителя. Приводятся количественные оценки степени повышения качества мониторинга технологических процессов при использования разработанного подхода.
  • 10.03.2017
    		•  Вязников М.Н. Разработка и исследование методов повышения стойкости к автоматическому распознаванию изображений для тестов Тьюринга.
    Докладчик: Вязников Максим Николаевич, аспирант кафедры автоматики и вычислительной техники Вологодского государственного университета.
    Научный руководитель: Ржеуцкая Светлана Юрьевна, к.т.н., доцент Вологодского государственного университета.
    Реферат: Рассматриваются основные результаты диссертационных исследований на соискание ученой степени кандидата технических наук по специальности 05.13.11. Приводится комплексная классификация различных искажений для символьно-графического CAPTCHA. Предлагается новый способ искажения символов. Отличительной особенностью разработанного способа является его отношение не к растровым изображениям символов, а к их шрифтам. Подход позволяет не только совмещать особенности двух или более шрифтов в одном, но и создавать такие шрифты, которые имеют черты предложенных геометрических фигур. Демонстрируются результаты работы нейронной сети, обученной на шрифтах «Georgia» и «Times New Roman», по распознаванию символов нового шрифта, полученного морфингом из этих двух. Предлагается использовать CAPTCHA в качестве дополнительной меры борьбы со спамом.