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

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

  • 21.12.2018
    		• Рене Хаберланд Логический язык программирования как инструмент спецификации и верификации динамической памяти.
    Докладчик: Рене Хаберланд, аспирант СПбГЭТУ "ЛЭТИ".
    Научный руководитель: Кринкин Кирилл Владимирович, к.т.н., зав.кафедрой МО ЭВМ.
    Реферат: Ошибки использования динамической памяти являются одними из самых дорогостоящих при разработке программного обеспечения на протяжении уже нескольких десятилетий. Локализация таких ошибок является трудной задачей, поскольку, довольно часто, видимое проявление некорректного поведения программы и реальный участок исходного кода его вызвавшего отстоят далеко друг от друга. В существующей на текущий момент практике, описания динамической памяти сложны и часто неинтуитивны. Из-за большого количества соглашений в языках спецификации и верификации возможности верификации динамической памяти сильно ограничены. В докладе будут представлены результаты работы, посвященной повышению степени выразимости средств описания вариантов использования динамической памяти за счёт исключения многозначности между языками спецификации и верификации, а также обзору разработанных программных средств автоматической верификации.

  • 21.11.2018
    		• в Дубовом зале Дома ученых им. М. Горького Российской академии наук состоялось выездное расширенное заседание постоянно действующего городского семинара, посвященное проблемам развития цифровой экономики:

    1) Колбанёв М.О. АРХИТЕКТУРА ЦИФРОВОЙ ЭКОНОМИКИ.
    Докладчик: Колбанев Михаил Олегович, д.т.н., профессор каф. информационных систем и технологий Санкт-Петербургского государственного экономического университета.
    Реферат: Внедрению новых принципов хозяйствования, которые получили название «цифровая экономика», все сильнее мешает противоречие между единичными и общим подходами к их реализации. С одной стороны, можно наблюдать рост финансирования большого количества локальных задач, развития тех или иных технологий, пилотных проектов и стартапов, с другой – недостаточное внимание к развитию комплексного системного взгляда на цифровую экономику как на целостный технологический проект, использующий обобщенные и стандартизированные информационные модели и архитектуру. В докладе показано, что реальным инструментом, который нужен государству и бизнесу для выявления фундаментальных технологических задач, подлежащих решению при построении моделей деятельности в условиях цифровой экономики, является архитектурный подход.

    2) Гейда А.С. КОНЦЕПЦИЯ И МЕТОДОЛОГИЯ АНАЛИТИЧЕСКОГО ИССЛЕДОВАНИЯ СИСТЕМ, СОВЕРШЕНСТВУЕМЫХ В РЕЗУЛЬТАТЕ ЦИФРОВОЙ ТРАНСФОРМАЦИИ ЭКОНОМИКИ.
    Докладчик: Гейда Александр Сергеевич, канд. техн. наук, доцент, ст. научный сотрудник лаб.информационно-аналитических технологий в экономике Санкт-Петербургского института информатики и автоматизации Российской академии наук.
    Реферат: В докладе рассматриваются концептуальные и формальные модели, разработанные для исследования систем, совершенствуемых при цифровой трансформации экономики и методы, позволяющие решать прикладные задачи исследования указанных систем. Выявлены механизмы проявления эффектов использования информационных технологий, внедряемых в процессе цифровой трансформации экономики. Представлен критический обзор исследований эффектов использования информационных технологий и смежных с ними исследований операционных свойств совершенствуемых систем, таких, как Capabilities, Dynamic Capabilities, потенциал систем при использовании информационных технологий. Предложены концепты и принципы, а затем теоретико-графовые модели, позволяющие вскрыть механизмы формирования эффектов использования информационных технологий в совершенствуемых системах аналитически. Введено свойство потенциала системы, как комплексное операционное свойство системы, характеризующее приспособленность системы к достижению изменяющихся целей. Описаны основные модели, позволяющие оценивать показатели этого свойства на основе учета эффектов использования информационных технологий, а также даны направления использования описанных элементов концепции и методологии для аналитического исследования результативности цифровой трансформации экономики.

    3) Чугунов А.В. РАЗВИТИЕ «УМНЫХ ГОРОДОВ» КАК КЛЮЧЕВОЙ КОМПОНЕНТ РЕАЛИЗАЦИИ ПРОГРАММЫ «ЦИФРОВАЯ ЭКОНОМИКА» НА РЕГИОНАЛЬНОМ И МУНИЦИПАЛЬНОМ УРОВНЯХ.
    Докладчик: Чугунов Андрей Владимирович, , канд. полит. наук, директор Центра технологий электронного правительства Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики.
    Реферат: В докладе представлено обобщение развития государственных программ стимулирования развития информатизации: ФЦП «Электронная Россия», Госпрограммы «Информационное общество», дан анализ позитивного и негативного опыта их результатов. Показано появление термина «Цифровая экономика» в стилистике российских программных документов и представлены основные этапы проработки и институциональная среда формирования Национальной программы «Цифровая экономика в Российской Федерации». Предложены актуальные направления исследований и результаты изучения концепции «Умный город» и обосновывается тезис о значении этого социотехнического явления для реализации цифровой экономики на региональном и муниципальном уровне.

    ОБСУЖДАЛИСЬ ВОПРОСЫ:

    1) Понятие «Цифровая экономика»
    2) Необходимые и достаточные условия для формирования цифровой экономики
    3) Цифровая экономика и информационное общество
    4) История возникновения понятия «Цифровая экономика»
    5) Научные основы цифровой экономики
    6) Технологическая база цифровой экономики
    7) Развитие цифровой экономики в мире
    8) Информационные технологии и цифровые технологии
    9) Цифровая экономика и традиционная экономика
    10) Перспективы развития цифровой экономики в России
  • 19.10.2018
    		• Маслов Л.А. Моделирование распространения информационного сигнала во фрактальной среде.
    Докладчик: Маслов Лев Александрович, д.ф.-м.н., проф. ИТМО.
    Реферат: Сформулированы и рассмотрены дифференциальные уравнения, описывающие распространение информационного сигнала во фрактальной среде. Особое внимание уделено т.н. Обобщенному Логистическому Уравнению. Показано, что решение этого уравнения есть степенная функция со stretched exponential cut-off. Дана физическая интерпретация этого решения. Показано, что указанное решение удовлетворительно моделирует данные голосования и чтения (распространения) новостей на качественном и количественном уровне.
  • 15.06.2018
    		• Представлены семь докладов по проблемам информационной безопасности:

    1) Молдовян Н.А. Криптография в СПИИРАН. Актуальные направления.
    Докладчик: Молдовян Николай Андреевич, д.т.н., профессор, главный научный сотрудник НИЛ БИС.
    Реферат: В докладе сообщается о направлениях криптографических исследований в СПИИРАН и о вопросах постквантовой криптографии.

    2) Омар Т.К. Кибербезопасность в Алмаатинском университете энергетики и связи.
    Докладчик: Омар Турганбек Калиевич, к.т.н., научный руководитель НИЛ "Технологии кибербезопасности" Алмаатинского университета энергетики и связи.
    Реферат: В докладе представлена концепция кибербезопасности, а также организация процесса обучения по направлению информационной безопасности.

    3) Лившиц И.И. Модели и методы аудитов информационной безопасности интегрированных систем управления для сложных промышленных объектов.
    Докладчик: Лившиц Илья Иосифович, к.т.н., доцент кафедры проектирования и безопасности компьютерных систем НИУ ИТМО.
    Реферат: В докладе анализируется ряд проблем, наблюдаемых при проведении аудитов систем менеджмента информационной безопасности (СМИБ) для сложных предприятий, предлагаются подходы для эффективного решении задач аудита.

    4) Фахрутдинов Р.Ш. Система защиты информации серии Аура.
    Докладчик: Фахрутдинов Роман Шафкатович, к.т.н., с.н.с. НИЛ БИС.
    Реферат: В докладе описывается подход к решению задач информационной безопасности в соответствии с РД ФСТЭК России.

    5)Мирин А.Ю. Уничтожение информации на машинных носителях.
    Докладчик: Мирин Анатолий Юрьевич, к.т.н., с.н.с. НИЛ БИС.
    Реферат: В докладе описывается подход к удалению информации с магнитных носителей в соответствии с РД ФСТЭК России.

    6)Молдовян А.А. Регламенты в защите персональных данных организации.
    Докладчик: Молдовян Александр Андреевич, д.т.н., профессор, главный научный сотрудник НИЛ БИС.
    Реферат: В докладе приводятся требования нормативно правовых актов и организация процесса защиты персональных данных.

    7) Саенко И.Б. Программные средства контроля информационных потоков.
    Докладчик: Саенко Игорь Борисович, д.т.н., профессор, главный научный сотрудник НИЛ КБ.
    Реферат: В докладе будут представлены подходы к решению задач информационной безопасности в киберфизических системах, а также программные средства их реализующие.
  • 06.06.2018
    		•  1) Башмаков Д.А. Методы и алгоритмы повышения эффективности стеганоанализа неподвижных изображений со встроенной информацией в пространственную область.
    Докладчик: Башмаков Даниил Андреевич, аспирант Университета ИТМО,специальность 05.13.19.
    Научный руководитель: Коробейников Анатолий Григорьевич, д.т.н., профессор.
    Реферат: В докладе представлен анализ существующих методов стеганоанализа неподвижных цифровых изображений в наименьших значащих битах (НЗБ). Рассматривается эффективность существующих методов стеганоанализа в НЗБ неподвижных цифровых изображений, а также определение наиболее эффективного метода на сегодняшний день. Показаны зависимости эффективности стеганоанализа от характеристик изображения, определение направлений улучшения метода.

    2) Сивачев А.В. Методы и алгоритмы повышения эффективности стеганоанализа неподвижных изображений со встроенной информацией в вейвлет область.
    Докладчик: Сивачев Алексей Вячеславович, аспирант Университета ИТМО, специальность 05.13.19.
    Научный руководитель: Коробейников Анатолий Григорьевич, д.т.н., профессор.
    Реферат: В докладе рассмотрен анализ существующих методов встраивания информации в область ДВП изображения (дискретное вейвлет-преобразование). Представлена методика сравнительного анализа эффективности методов стеганоанализа. Приведен анализ эффективности существующих методов стеганоанализа при обнаружении факта встраивания в ДВП область изображения. Разработаны методы повышения эффективности стеганоанализа цифровых изображений со встроенной информацией в ДВП области изображения.
  • 11.05.2018
    		•  1) Пилипенко А.В., Разработка и реализация механизмов сокращения размера Java-приложений для встраиваемых систем в закрытой модели.
    Докладчик: Пилипенко Артур Витальевич, аспирант кафедры информатики математико-механического факультета СПбГУ.
    Научный руководитель: Кияев Владимир Ильич, к.ф-м.н., доцент СПбГУ.
    Реферат: В докладе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». В докладе рассматривается задача специализации Java-платформы для заданного приложения в закрытой модели при подготовке загрузочного образа виртуальной машины. Предложены модификации существующих алгоритмов, применимые при создании загрузочного образа. В работе также предложен алгоритм специализации набора инструкций Java байт-кода, минимизирующий суммарный размер программы и интерпретатора, необходимого для ее выполнения.

    2) Балян С.Г. Эффективное хранение разнородных данных в распределенной системе электронного здравоохранения.
    Докладчик: Балян Сероб Гургенович, аспирант кафедры компьютерного моделирования и многопроцессорных систем факультета ПМ-ПУ СПбГУ.
    Научный руководитель: Дегтярев Александр Борисович, д.т.н., профессор.
    Реферат: В докладе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». В докладе рассматривается задача создания архитектуры серверной среды распределенной системы электронного здравоохранения, а также методов эффективного хранения данных и организации доступа к ним. В рамках работы предложена концепция среды, на основе которой разработаны прототипы программных модулей, предназначенные для развертывания на разных серверных окружностях. Предложен метод оптимизации кэшируемых данных, а также создан специальный интерфейс распределенного взаимодействия, предоставляющий прикладным программистам осуществлять связь между устройствами: представлены два решения, обеспечивающие взаимодействие: 1). REST API, на основе HTTP протокола передачи данных и формата JSON; 2). На основе двунаправленного протокола передачи данных MQTT.

    3) Абраамян С.А. Распределенная система передачи информации для телемедицины на базе мобильных устройств.
    Докладчик: Абраамян Сурен Арменович, аспирант кафедры компьютерного моделирования и многопроцессорных систем факультета ПМ-ПУ СПбГУ.
    Научный руководитель: Дегтярев Александр Борисович, д.т.н., профессор.
    Реферат: В докладе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». В докладе будет рассмотрено использование мобильных инфраструктур в сфере телемедицины. Разработана новая концепция и программное решение применения мобильных устройств при создании телемедицинской унифицированной системы общения, нацеленной на аудиторию с ограниченными возможностями. Предполагается использование программ для брейнсторминга и консилиумов между врачами, где учтено использование системы для проведения локальных сессий между участниками консилиумов. В докладе будет описан человеко-машинный интерфейс, на основе цифровых аналогов специальных карточек-пиктограмм, а также комплекс программ дистанционного взаимодействия на основе RESTFul API.
  • 26.04.2018
    		•  1) Браницкий А.A. Обнаружение аномальных сетевых соединений на основе гибридизации методов вычислительного интеллекта.
    Докладчик: Браницкий Александр Александрович, лаборатория проблем компьютерной безопасности СПИИРАН.
    Научные руководители: Тимофеев Адиль Васильевич, заслуженный деятель науки РФ, доктор технических наук, профессор СПИИРАН;
    Котенко Игорь Витальевич, доктор технических наук, профессор СПИИРАН.
    Реферат: В докладе будут представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.19 "Методы и системы защиты информации, информационная безопасность". В работе решается задача обнаружения аномальных сетевых соединений с использованием адаптивных моделей и их агрегирующих композиций, рассматривается архитектура разработанной сетевой системы обнаружения атак.

    2) Викснин И.И. Модель и методы противодействия нарушениям информационной безопасности в кибер-физических системах.
    Докладчик: Виксин Илья Игоревич, аспирант Университета ИТМО.
    Научный руководитель: Комаров Игорь Иванович, кандидат физико-математических наук, доцент.
    Реферат: В докладе представляются результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.19 "Методы и системы защиты информации, информационная безопасность". В работе предлагается метод противодействия нарушениям семантической целостности информации, циркулирующей в кибер-физических системах. Для организации коммуникации элементов системы предлагается использовать разработанный метод временной централизации. На базе разработанных методов вводится модель защищенного информационного взаимодействия.
  • 16.02.2018
    		• Ханыков И.Г. Разработка методов выделения однородных и контрастных объектов на полноразмерных цифровых изображениях.
    Докладчик: Ханыков Игор Георгиевич, младший научный сотрудник лаборатории прикладной информатики и проблем информационного общетва СПИИРАН, аспирант СПИИРАН 4-го года обучения.
    Научный руководитель: Харинов Михаил Вячеславович, к.т.н., с.н.с. СПИИРАН.
    Реферат: В докладе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.01 – «Системный анализ, управление, обработка информации (по отраслям)». В докладе будет рассмотрена двухмасштабная модель иерархии объектов на изо-бражении, в которой: а) изображение аппроксимируется последовательностью кусочно-постоянных приближений; б) оптимизированное по СКО (среднеквадратичное отклонение) приближение с заданным числом цветов разделяет объекты и части объектов; в) гарантируется качество разбиений по СКО. Предлагается следующее: а) типовая трехэтапная блок-схема генерации приближений; б) операция слияния кластеров пикселей дополняется обратной операцией разделения надвое; в) метод улучшения приближений изображения по СКО за счет выполнения встречных операций слияния/разделения надвое. Приводятся результаты экспериментов.