Докладчик: Кортиков Федор Сергеевич, аспирант 3-й года обучения СПбГАСУ.

Научный руководитель: Воробьев Владимир Иванович, д.т.н, профессор, СПИИРАН.

Реферат: В докладе будет предложена методика сравнительной оценки информационных систем
для определения степени их интероперабельности.

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

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

Докладчик: Соловьев Сергей Владимирович, профессор университета
Тулуза-3 (IRIT, University of Toulouse), Франция.

Реферат:
Доклад посвящен описанию преобразований графов с атрибутами.
Рассматриваются системы преобразований графов (обобщение понятия грамматики на случай графов с атрибутами),
основанные на использовании теории категорий, теории типов (лямбда-исчисление, индуктивные типы) и дедуктивных систем,
а также их применения в области верификации программ и интерактивного доказательства.
Основной результат – доказательство адекватности формализации, основанной на этом подходе.
В докладе будет предложен ряд примеров практического применения данного подхода.

Докладчик: Оленев Валентин Леонидович, научный сотрудник СПбГУАП.

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

Докладчик: Тихонова Ульяна, аспирантка кафедры "Прикладная математика" СПбГПУ.

Научный руководитель: Новиков Фёдор Александрович, к.ф.-м.н. доцент
кафедры "Прикладная математика" СПбГПУ.

Реферат:
В последнее время в разработке программного обеспечения возрос интерес к использованию языков предметной области
(Domain Specific Languages). Это связано с появлением новых подходов и методик к реализации новых языков,
призванных упростить этот трудоёмкий процесс. Основной технологией, широко используемой для создания языков
предметной области, является Model Driven Engineering (MDE, разработка, управляемая моделями).
В контексте MDE при создании нового языка явно и формально описываются только его метамодель (абстрактный синтаксис)
и конкретный синтаксис (текстовый или графический). А реализация языка подразумевает программирование его
(динамической) семантики на более низком уровне абстракции – с помощью трансформаций модели или генераций исходного кода.
В докладе будет рассмотрена возможность явного описания семантики языка предметной области с помощью
стандартной для MDE нотации унифицированного языка моделирования UML (Unified Modeling Language),
а именно с помощью диаграмм автомата UML (state charts diagrams). Такое описание не только позволяет достичь
всех преимуществ наличия формальной спецификации языка, но и одновременно является его реализацией.

Докладчик: Кочубинский А.И., Молдовян Н.А., Фаль Алексей Михайлович.

Докладчики: Кочубинский А.И., Молдовян Н.А., Фаль Алексей Михайлович.

Реферат: Приведены алгоритмы слепых мультиподписей, использующих обычные цифровые подписи,
отвечающие стандартам ДСТУ 4145-2002 и ГОСТ Р 34.10-2001.
Эти алгоритмы можно использовать в системах электронного документооборота и, в частности,
в системах электронных платежей.
Они согласованы с системами электронной цифровой подписи, внедренными в Украине и России.

Докладчик: Коновалов Михаил Александрович,
аспирант, начальник сектора САПР ОАО «Российский Институт Радионавигации и Времени» (РИРВ).

Реферат:
В докладе будет рассмотрен опыт организации единой информационной среды предприятия проектирования
и производства аппаратуры координатно-временного обеспечения на базе современных методов конструирования
и производства аппаратуры, непрерывности процесса «проектирование-производство»,
использования электронных моделей изделий при подготовке производства, ведения электронного архива
и документооборота и минимизации влияния человеческих ошибок на качество конечного продукта.

Докладчик: Емелин Вадим Иванович, к.т.н,
ведущий научный сотрудник ОАО «НИИ «Вектор».

Реферат: В докладе будут представлены результаты диссертационного исследования
на соискание учёной степени доктора технических наук по специальности 05.13.19 –
"Методы и системы защиты информации, информационная безопасность".
В докладе будут изложены:

1. Обобщенная модель и система показателей информационной безопасности на этапах
жизненного цикла АСУ критических систем.

2. Модели, описывающие процесс оценки и обеспечения информационной безопасности АСУ критических систем,
а также методы их решения.

3. Метод многошаговой оптимизации процесса обеспечения информационной безопасности
в течение жизненного цикла АСУ КС.

Докладчик: Лессер Виктор (Lesser Victor), профессор информатики,
директор лаборатории мультиагентных систем факультета информатики Массачусетского университета Амхёрст (США).

Реферат:
В докладе будут представлены результаты исследовательской работы последних лет в лаборатории
«Multi-Agent Systems» Университета Массачусетс-Амхёрст.
Акценты будут сделаны на мультиагентном обучении с подкреплением (reinforcement learning),
организации и структурировании агентов, используя взаимодействия агентов в решении DEC-MDP;
будут рассмотрены протоколы взаимодействия и стратегии для сложного мультиагентного распределения ресурсов.

Докладчик: Хо Нгок Зуй, аспирант СПбГЭТУ "ЛЭТИ" имени В.И. Ульянова (Ленина).

Реферат:
В докладе будут представлены результаты диссертационного исследования на соискание учёной степени
кандидата технических наук по специальности 05.13.19 – "Методы и системы защиты информации, информационная
безопасность". В докладе будут изложены:

1. Платформы, архитектуры и модели оценки эффективности аппаратной реализации шифров.

2. Новые типы примитивов защитной обработки информации – переключаемые управляемые операции,
реализуемые на основе управляемых подстановочно-перестановочных сетей (УППС) с новыми топологиями.

3. Управляемые УППС, характеризуемые новой топологией и ориентированные на эффективную реализацию
в программированных логических интегральных схемах нового поколения.

4. Подход к синтезу скоростных поточных алгоритмов защитной обработки информации с использованием латинских квадратов.

5. Блочные алгоритмы защитной обработки информации, отличающиеся использованием операций преобразования,
зависящих от преобразуемых данных, реализуемых с помощью УППС, обладающих новыми топологиями.



2) Доронин С.Е.

Протоколы коллективной электронной цифровой подписи над эллиптическими кривыми.

Докладчик: Доронин Станислав Евгеньевич, аспирант СПбГЭТУ "ЛЭТИ" имени В.И. Ульянова (Ленина).

Реферат:
В докладе будут представлены результаты диссертационного исследования на соискание учёной степени
кандидата технических наук по специальности 05.13.19 – "Методы и системы защиты информации, информационная безопасность".
Будет рассмотрен способ формирования коллективной электронной цифровой подписи (ЭЦП),
отличающийся обеспечением ее внутренней целостности, и сокращением вычислительной сложности процедур
ее проверки и формирования.
Будет представлен протокол композиционной ЭЦП, сокращающий ее размер для использования на бумажных носителях.
Также будет продемонстрирован алгоритм построения ЭЦП, отличающийся использованием эллиптических кривых,
заданных над конечными полями в явной векторной форме.

Докладчик: Щеголева Людмила Владимировна, к.т.н., доцент, и.о. зав.
кафедрой прикладной математики и кибернетики Петрозаводского государственного университета.

Реферат:
Представлены результаты диссертационного ис-следования на соискание ученой степени доктора технических наук
по специальностям 05.21.01 – Технология и машины лесозаготовок и лес-ного хозяйства, 05.13.18 – Математическое
моделирование, численные методы и комплексы программ. Будут изложены:

1. Математическая модель задачи выбора систем машин и определения режимов их работы в условиях сезонности лесозаготовок;

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

Докладчик: Темиров Александр Аркадьевич, к.м.н., с.н.с., Федеральный центр
сердца, крови и эндокринологии имени В.А. Алмазова.

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



2) Кипяткова И.С. Методы и программное обеспечение для фонетико-языкового моделирования разговорной русской речи.

Докладчик: Кипяткова Ирина Сергеевна, н.с. лаборатории речевых и
многомодальных интерфейсов СПИИРАН.

Реферат:
В докладе будут представлены результаты диссертационного исследования на соискание ученой степени
кандидата технических наук по специальности 05.13.11. Будет изложен комбинированный метод генерации
альтернативных вариантов акустико-фонематических транскрипций словаря автоматической системы распознавания
русской речи, позволяющий описывать вариативность произношения слов в разговорной речи.
Также будет предложена синтактико-статистическая модель рус-ского языка и комплекс программных средств
системы распознавания русской речи. Кроме того, представляются результаты автоматического распознавания
слитной русской речи со сверхбольшим словарем, полученные с использованием разработанных методов,
моделей и программных средств.

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

Реферат: В докладе будут представлены результаты диссертационного исследования
на соискание ученой степени доктора технических наук по специальности 05.13.11 –
«Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Будут изложены теоретические положения и методы построения цифровых программируемых инфокоммуникационных систем.
Будет рассмотрен подход к построению гибридных кодеров-декодеров для компрессии различных типов цифровых данных.
Предлагаемая совокупность методов позволит эффективно решать широкий класс перспективных задач:
– создание систем «виртуального присутствия», включающих коммуникационную среду для организации

удаленной пространственной визуализации для мобильных объектов (робототехнических комплексов, БПЛА и др.);

– создание единой унифицированной информационно-коммуникационной среды для обеспечения коммуникационной доступности
обеспечивающей возможность коммуникации между любыми объектами или субъектами, находящимися в пределах
покрытия этой среды, через унифицированный коммуникационный интерфейс;

– создание систем когнитивного моделирования инфологического процесса представления знаний, мониторинга
и онтологической кластеризации русскоязычных текстов.

Докладчик: Любимов Александр Вилиевич, к.т.н., Санкт-Петербургский государственный политехнический университет.

Реферат: В докладе представлен подход к решению широкого спектра теоретических
и практических задач обеспечения информационной безопасности (ИБ), основанный на
использовании методов полуформального и формального моделирования (инжиниринга).
В качестве исходного массива знаний для инжиниринга выбирается набор методологий ИБ,
содержащихся в наиболее распространенных семействах стандартов предметной области.
Рассматривается структура системы моделей методологии, определяются необходимые виды
и уровни инжиниринга и их характеристики, приводится общая структура используемых методов обратного
(полуформальный семантический анализ стандартов, функционально - структурный анализ стандартов),
внутреннего (трансформация моделей, согласование моделей) и прямого (логические схемы
и методы применения моделей) инжиниринга, приводится описание и демонстрация построенной библиотеки с
огласованных моделей методологий ИБ.



2) Черемушкин Д.В.

Моделирование требований к системам управления информационной безопасностью
по семейству стандартов ISO/IEC 27000.

Докладчик: Черемушкин Дмитрий Владимирович , аспирант кафедры компьютерных
интеллектуальных технологий в проектировании, факультет управления и информационных технологий СПбГПУ.

Реферат: В докладе будут изложены результаты диссертационного исследования на соискание учёной степени кандидата технических наук по специальности 05.13.19 "Методы и системы защиты информации, информационная безопасность". Будет проведен анализ задач обеспечения информационной безопасности, возникающих на организационном, управленческом и операционном уровнях и современных подходов к их решению. В работе используется метод, основанный на применении полуформальных моделей.
В докладе представлены: разработанная система согласованных объектных моделей требований к СУИБ,
методы построения моделей, методы и результаты применения моделей для решения практических задач.

Докладчик: Лукьянов Николай Михайлович, Телеканал «100 ТВ», закончил аспирантуру СПбГУ ИТМО в 2010 г.

Реферат:
В докладе представлены результаты диссертационного исследования на соискание ученой степени
кандидата технических наук по специальности 05.13.12 – системы автоматизации проектирования (приборостроение).
Будут обсуждаться результаты исследования и разработки архитектуры географически распределенной системы
архивного хранения и доставки файловых данных из гетерогенных узлов с узкими каналами связи,
которая обладает адаптивными свойствами и способна, в отличие от большинства существующих систем,
работать в условиях ограниченных каналов связи.

Докладчик:

Реферат:

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

Реферат:
В докладе будут представлены результаты диссертационного ис-следования на соискание ученой степени доктора технических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Будут изложены теоретические положения и методы построения цифровых программируемых инфокоммуникационных систем.
Рассмотрен подход к построению гибридных кодеров-декодеров для компрессии различных типов цифровых данных.
Рассматриваются следующие разделы, соответствующие главам диссертации:

1. Теоретические основы построения цифровых каналов передачи данных.

2. Методы оценки сложности представления битовых последова-тельностей.

3. Методы построения кодеров/декодеров для ряда практических применений.

4. Реконфигурируемая коммуникационная платформа для передачи видеоданных.

Докладчик: Новиков Федор Александрович, к.ф.-м.н., доцент,
кафедра прикладной математики СПбГПУ, кафедра технологии программирования СПбГУ ИТМО.

Реферат:
Представлены результаты диссертационного исследования
на соискание ученой степени доктора технических наук по специальности 05.13.11
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Будут изложены новые теоретические положения и методы в области конструирования
проблемно-ориентированных языков и алгоритмизации предметных областей.
Рассмотрен целостный подход, обеспечивающий повышение качества алгоритмизации предметных областей.
Рассматриваются следующие разделы, соответствующие главам диссертации:

1. Технология прикладного программирования.

2. Управление данными и пакетами программ.

3. Методы определения проблемно-ориентированных языков.

4. Структурный синтез программ.

Докладчик: : Пунда Дмитрий Иванович, генеральный директор компании "Наукомп", Самара.

Реферат:
В докладе будут изложены обоснование сегодняшней актуальности
и принципы построения технологии управления,
основанной на разделении ментальной ("когнитивной") ответственности коллектива из двух управленцев.
Такая технология "объединяет ментальный ресурс" и позволяет почти вдвое увеличить индивидуальные возможности управления.
Показано, что основная проблема "управления сложностью" состоит не в современном большом разнообразии формализуемой информации,
а в сложности управления разнообразием технологий деятельности общества, которые в условиях свободного рынка имеют
невысокую степень определенности.
Современное требование к методологиям управления, в том числе в кибернетике и информатике,
состоящее в конвергенции научных и прикладных методов и знаний при управлении сложностью, предполагает,
по мнению автора, анализ возможностей и ограничений человеческой системы мышления (когнитивных знаний),
с целью расширения этих возможностей и с целью создания управляемой самоорганизации коллективного управления.