Доклады 2011 года

  • 23.12.2011
  • Кортиков Ф.С. Методика оценки интероперабельности системы электронного документооборота как открытой информационной системы.
    Докладчик: Кортиков Федор Сергеевич, аспирант 3-й года обучения СПбГАСУ.
    Научный руководитель: Воробьев Владимир Иванович, д.т.н, профессор, СПИИРАН.
    Реферат: В докладе будет предложена методика сравнительной оценки информационных систем для определения степени их интероперабельности.
    Методика основана на расчете средних рангов критериев оценки интероперабельности системы и определения совокупного взвешенного ранга, согласно которому система может быть отнесена к одной из восьми степеней интероперабельности.
    Использование системы АСПИД позволяет вычислить для этого случая математическое ожидание и соответствующие стандартные отклонения, одинаковые для всех рандомизированных коэффициентов. Подстановка этих коэффициентов дает рандомизированный сводный показатель и позволяет рассчитать его математическое ожидание и дисперсию.

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

  • 25.11.2011
  • Оленев В.Л. Проектирование программных моделей сетевых протоколов для встроенных систем.
    Докладчик: Оленев Валентин Леонидович, научный сотрудник СПбГУАП.
    Реферат: В докладе будут изложены разработанные методы и алгоритмы проектирования программных моделей сетевых протоколов для встроенных систем. Будет описана методика построения архитектурных диаграмм этих программных моделей, а так же представлена методика верификации архитектурных диаграмм на предмет ошибок построения модели с помощью теории раскрашенных сетей Петри.

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

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

  • 14.10.2011
  • Коновалов М.А. Вопросы организации единой информационной среды проектирования и производства аппаратуры координатно-временного обеспечения.
    Докладчик: Коновалов Михаил Александрович, аспирант, начальник сектора САПР ОАО «Российский Институт Радионавигации и Времени» (РИРВ).
    Реферат: В докладе будет рассмотрен опыт организации единой информационной среды предприятия проектирования и производства аппаратуры координатно-временного обеспечения на базе современных методов конструирования и производства аппаратуры, непрерывности процесса «проектирование-производство», использования электронных моделей изделий при подготовке производства, ведения электронного архива и документооборота и минимизации влияния человеческих ошибок на качество конечного продукта.

  • 23.09.2011
  • Емелин В.И. Модели и методы оценки и обеспечения информационной безопасности автоматизированных систем управления критическими системами.
    Докладчик: Емелин Вадим Иванович, к.т.н, ведущий научный сотрудник ОАО «НИИ «Вектор».
    Реферат: В докладе будут представлены результаты диссертационного исследования на соискание учёной степени доктора технических наук по специальности 05.13.19 – "Методы и системы защиты информации, информационная безопасность". В докладе будут изложены:
    1. Обобщенная модель и система показателей информационной безопасности на этапах жизненного цикла АСУ критических систем.
    2. Модели, описывающие процесс оценки и обеспечения информационной безопасности АСУ критических систем, а также методы их решения.
    3. Метод многошаговой оптимизации процесса обеспечения информационной безопасности в течение жизненного цикла АСУ КС.

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

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

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

  • 10.06.2011
  • Щеголева Л.В. Теория и методы построения цифровых программируемых инфокоммуникационных систем.
    Докладчик: Щеголева Людмила Владимировна, к.т.н., доцент, и.о. зав. кафедрой прикладной математики и кибернетики Петрозаводского государственного университета.
    Реферат: Представлены результаты диссертационного ис-следования на соискание ученой степени доктора технических наук по специальностям 05.21.01 – Технология и машины лесозаготовок и лес-ного хозяйства, 05.13.18 – Математическое моделирование, численные методы и комплексы программ. Будут изложены:
    1. Математическая модель задачи выбора систем машин и определения режимов их работы в условиях сезонности лесозаготовок;
    2. Модели, описывающие работу комплекта машин, обслуживающих территориально удаленные пункты, учитывающие время прибытия в пункт, время выполнения работы в пункте с ограничениями на количе-ство посещений пунктов и с минимальными затратами на перемещение и выполнение работы, обобщенные в виде расширений задачи маршрутизации с временными окнами, а также методы решения построенных задач.

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

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

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

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

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

  • 06.05.2011
  • Лукьянов Н.М. Теория и методы построения цифровых программируемых инфокоммуникационных систем. Автореферат.
    Докладчик: Лукьянов Николай Михайлович, Телеканал «100 ТВ», закончил аспирантуру СПбГУ ИТМО в 2010 г.
    Реферат: В докладе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.12 – системы автоматизации проектирования (приборостроение). Будут обсуждаться результаты исследования и разработки архитектуры географически распределенной системы архивного хранения и доставки файловых данных из гетерогенных узлов с узкими каналами связи, которая обладает адаптивными свойствами и способна, в отличие от большинства существующих систем, работать в условиях ограниченных каналов связи.

  • 22.04.2011
  • Разинков E.В. Разработка моделей стегоконтейнера и методов анализа и повышения стойкости стеганографических систем.
    Докладчик:
    Реферат:

  • 21.04.2011
  • Кулешов С.В. Теория и методы построения цифровых программируемых инфокоммуникационных систем. Автореферат.
    Докладчик: Кулешов Сергей Викторович, к.т.н., с.н.с. лаборатории автоматизации научных исследований СПИИРАН, соискатель степени доктора технических наук.
    Реферат: В докладе будут представлены результаты диссертационного ис-следования на соискание ученой степени доктора технических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Будут изложены теоретические положения и методы построения цифровых программируемых инфокоммуникационных систем. Рассмотрен подход к построению гибридных кодеров-декодеров для компрессии различных типов цифровых данных. Рассматриваются следующие разделы, соответствующие главам диссертации:
    1. Теоретические основы построения цифровых каналов передачи данных.
    2. Методы оценки сложности представления битовых последова-тельностей.
    3. Методы построения кодеров/декодеров для ряда практических применений.
    4. Реконфигурируемая коммуникационная платформа для передачи видеоданных.

  • 18.03.2011

  • Докладчик:
    Реферат:

  • 11.02.2011
  • Новиков Ф.А. Методы повышения качества алгоритмизации предметных областей на основе определения проблемно-ориентированных языков. Расширенная аннотация.
    Докладчик: Новиков Федор Александрович, к.ф.-м.н., доцент, кафедра прикладной математики СПбГПУ, кафедра технологии программирования СПбГУ ИТМО.
    Реферат: Представлены результаты диссертационного исследования на соискание ученой степени доктора технических наук по специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Будут изложены новые теоретические положения и методы в области конструирования проблемно-ориентированных языков и алгоритмизации предметных областей. Рассмотрен целостный подход, обеспечивающий повышение качества алгоритмизации предметных областей. Рассматриваются следующие разделы, соответствующие главам диссертации:
    1. Технология прикладного программирования.
    2. Управление данными и пакетами программ.
    3. Методы определения проблемно-ориентированных языков.
    4. Структурный синтез программ.

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