|
Кортиков Ф.С. Методика оценки интероперабельности системы электронного документооборота
как открытой информационной системы.
Докладчик: Кортиков Федор Сергеевич, аспирант 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.
Докладчики: Кочубинский А.И., Молдовян Н.А., Фаль Алексей Михайлович. Реферат: Приведены алгоритмы слепых мультиподписей, использующих обычные цифровые подписи, отвечающие стандартам ДСТУ 4145-2002 и ГОСТ Р 34.10-2001. Эти алгоритмы можно использовать в системах электронного документооборота и, в частности, в системах электронных платежей. Они согласованы с системами электронной цифровой подписи, внедренными в Украине и России. |
|
Коновалов М.А. Вопросы организации
единой информационной среды проектирования и производства аппаратуры координатно-временного обеспечения.
Докладчик: Коновалов Михаил Александрович, аспирант, начальник сектора САПР ОАО «Российский Институт Радионавигации и Времени» (РИРВ). Реферат: В докладе будет рассмотрен опыт организации единой информационной среды предприятия проектирования и производства аппаратуры координатно-временного обеспечения на базе современных методов конструирования и производства аппаратуры, непрерывности процесса «проектирование-производство», использования электронных моделей изделий при подготовке производства, ведения электронного архива и документооборота и минимизации влияния человеческих ошибок на качество конечного продукта. |
|
Емелин В.И. Модели и методы оценки и обеспечения информационной безопасности
автоматизированных систем управления критическими системами.
Докладчик: Емелин Вадим Иванович, к.т.н, ведущий научный сотрудник ОАО «НИИ «Вектор». Реферат: В докладе будут представлены результаты диссертационного исследования на соискание учёной степени доктора технических наук по специальности 05.13.19 – "Методы и системы защиты информации, информационная безопасность". В докладе будут изложены: 1. Обобщенная модель и система показателей информационной безопасности на этапах жизненного цикла АСУ критических систем. 2. Модели, описывающие процесс оценки и обеспечения информационной безопасности АСУ критических систем, а также методы их решения. 3. Метод многошаговой оптимизации процесса обеспечения информационной безопасности в течение жизненного цикла АСУ КС. |
|
Лессер В. Обзор достижений и результатов исследований
лаборатории мультиагентных систем Массачусетского университета Амхёрст.
Докладчик: Лессер Виктор (Lesser Victor), профессор информатики, директор лаборатории мультиагентных систем факультета информатики Массачусетского университета Амхёрст (США). Реферат: В докладе будут представлены результаты исследовательской работы последних лет в лаборатории «Multi-Agent Systems» Университета Массачусетс-Амхёрст. Акценты будут сделаны на мультиагентном обучении с подкреплением (reinforcement learning), организации и структурировании агентов, используя взаимодействия агентов в решении DEC-MDP; будут рассмотрены протоколы взаимодействия и стратегии для сложного мультиагентного распределения ресурсов. |
|
1) Хо Нгок Зуй.
Алгоритмы обработки информации в автоматизированных системах электронного документооборота.
Докладчик: Хо Нгок Зуй, аспирант СПбГЭТУ "ЛЭТИ" имени В.И. Ульянова (Ленина). Реферат: В докладе будут представлены результаты диссертационного исследования на соискание учёной степени кандидата технических наук по специальности 05.13.19 – "Методы и системы защиты информации, информационная безопасность". В докладе будут изложены: 1. Платформы, архитектуры и модели оценки эффективности аппаратной реализации шифров. 2. Новые типы примитивов защитной обработки информации – переключаемые управляемые операции, реализуемые на основе управляемых подстановочно-перестановочных сетей (УППС) с новыми топологиями. 3. Управляемые УППС, характеризуемые новой топологией и ориентированные на эффективную реализацию в программированных логических интегральных схемах нового поколения. 4. Подход к синтезу скоростных поточных алгоритмов защитной обработки информации с использованием латинских квадратов. 5. Блочные алгоритмы защитной обработки информации, отличающиеся использованием операций преобразования, зависящих от преобразуемых данных, реализуемых с помощью УППС, обладающих новыми топологиями. 2) Доронин С.Е. Протоколы коллективной электронной цифровой подписи над эллиптическими кривыми. Докладчик: Доронин Станислав Евгеньевич, аспирант СПбГЭТУ "ЛЭТИ" имени В.И. Ульянова (Ленина). Реферат: В докладе будут представлены результаты диссертационного исследования на соискание учёной степени кандидата технических наук по специальности 05.13.19 – "Методы и системы защиты информации, информационная безопасность". Будет рассмотрен способ формирования коллективной электронной цифровой подписи (ЭЦП), отличающийся обеспечением ее внутренней целостности, и сокращением вычислительной сложности процедур ее проверки и формирования. Будет представлен протокол композиционной ЭЦП, сокращающий ее размер для использования на бумажных носителях. Также будет продемонстрирован алгоритм построения ЭЦП, отличающийся использованием эллиптических кривых, заданных над конечными полями в явной векторной форме. |
|
Щеголева Л.В.
Теория и методы построения цифровых программируемых инфокоммуникационных систем.
Докладчик: Щеголева Людмила Владимировна, к.т.н., доцент, и.о. зав. кафедрой прикладной математики и кибернетики Петрозаводского государственного университета. Реферат: Представлены результаты диссертационного ис-следования на соискание ученой степени доктора технических наук по специальностям 05.21.01 – Технология и машины лесозаготовок и лес-ного хозяйства, 05.13.18 – Математическое моделирование, численные методы и комплексы программ. Будут изложены: 1. Математическая модель задачи выбора систем машин и определения режимов их работы в условиях сезонности лесозаготовок; 2. Модели, описывающие работу комплекта машин, обслуживающих территориально удаленные пункты, учитывающие время прибытия в пункт, время выполнения работы в пункте с ограничениями на количе-ство посещений пунктов и с минимальными затратами на перемещение и выполнение работы, обобщенные в виде расширений задачи маршрутизации с временными окнами, а также методы решения построенных задач. |
|
1) Темиров А.А. Представление знаний в системе подбора
лекарственной терапии пациенту со множественными заболеваниями.
Докладчик: Темиров Александр Аркадьевич, к.м.н., с.н.с., Федеральный центр сердца, крови и эндокринологии имени В.А. Алмазова. Реферат: В докладе будет предложена модель лечения кардиологического пациента с различными проявлениями заболеваний сердечно-сосудистой системы и со множеством сопутствующих заболеваний. В процессе диалога с базой знаний системы врач определяет состояние больного в виде списка обнаруженных отклонений различных функций сердечно-сосудистой системы от оптимума. Модель лечения формируется как следствие влияний прописанных доз лекарств на функции человеческого организма. Она сопоставляется с моделью пациента двумя этапами. На первом этапе формируется список функций организма, на которые предложенное лечение может оказать существенное влияние. На втором этапе формируется модель эффекта лечения на различные проявления основного и сопутствующих заболеваний. Модель комментируется с точки зрения недостаточности или избыточности эффекта. Это позволяет модифицировать лечение и предотвратить побочные эффекты. Система реализована с помощью пакета операций над фреймами на языке PDC-PROLOG. 2) Кипяткова И.С. Методы и программное обеспечение для фонетико-языкового моделирования разговорной русской речи. Докладчик: Кипяткова Ирина Сергеевна, н.с. лаборатории речевых и многомодальных интерфейсов СПИИРАН. Реферат: В докладе будут представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11. Будет изложен комбинированный метод генерации альтернативных вариантов акустико-фонематических транскрипций словаря автоматической системы распознавания русской речи, позволяющий описывать вариативность произношения слов в разговорной речи. Также будет предложена синтактико-статистическая модель рус-ского языка и комплекс программных средств системы распознавания русской речи. Кроме того, представляются результаты автоматического распознавания слитной русской речи со сверхбольшим словарем, полученные с использованием разработанных методов, моделей и программных средств. |
|
Кулешов С.В. Теория и методы построения цифровых программируемых инфокоммуникационных систем.
Докладчик: Кулешов Сергей Викторович, к.т.н., с.н.с. лаборатории автоматизации научных исследований, СПИИРАН. Реферат: В докладе будут представлены результаты диссертационного исследования на соискание ученой степени доктора технических наук по специальности 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Будут изложены теоретические положения и методы построения цифровых программируемых инфокоммуникационных систем. Будет рассмотрен подход к построению гибридных кодеров-декодеров для компрессии различных типов цифровых данных. Предлагаемая совокупность методов позволит эффективно решать широкий класс перспективных задач: – создание систем «виртуального присутствия», включающих коммуникационную среду для организации удаленной пространственной визуализации для мобильных объектов (робототехнических комплексов, БПЛА и др.); – создание единой унифицированной информационно-коммуникационной среды для обеспечения коммуникационной доступности обеспечивающей возможность коммуникации между любыми объектами или субъектами, находящимися в пределах покрытия этой среды, через унифицированный коммуникационный интерфейс; – создание систем когнитивного моделирования инфологического процесса представления знаний, мониторинга и онтологической кластеризации русскоязычных текстов. |
|
1) Любимов А.В.
Методы и инструменты инжиниринга методологий информационной безопасности.
Докладчик: Любимов Александр Вилиевич, к.т.н., Санкт-Петербургский государственный политехнический университет. Реферат: В докладе представлен подход к решению широкого спектра теоретических и практических задач обеспечения информационной безопасности (ИБ), основанный на использовании методов полуформального и формального моделирования (инжиниринга). В качестве исходного массива знаний для инжиниринга выбирается набор методологий ИБ, содержащихся в наиболее распространенных семействах стандартов предметной области. Рассматривается структура системы моделей методологии, определяются необходимые виды и уровни инжиниринга и их характеристики, приводится общая структура используемых методов обратного (полуформальный семантический анализ стандартов, функционально - структурный анализ стандартов), внутреннего (трансформация моделей, согласование моделей) и прямого (логические схемы и методы применения моделей) инжиниринга, приводится описание и демонстрация построенной библиотеки с огласованных моделей методологий ИБ. 2) Черемушкин Д.В. Моделирование требований к системам управления информационной безопасностью по семейству стандартов ISO/IEC 27000. Докладчик: Черемушкин Дмитрий Владимирович , аспирант кафедры компьютерных интеллектуальных технологий в проектировании, факультет управления и информационных технологий СПбГПУ. Реферат: В докладе будут изложены результаты диссертационного исследования на соискание учёной степени кандидата технических наук по специальности 05.13.19 "Методы и системы защиты информации, информационная безопасность". Будет проведен анализ задач обеспечения информационной безопасности, возникающих на организационном, управленческом и операционном уровнях и современных подходов к их решению. В работе используется метод, основанный на применении полуформальных моделей. В докладе представлены: разработанная система согласованных объектных моделей требований к СУИБ, методы построения моделей, методы и результаты применения моделей для решения практических задач. |
|
Лукьянов Н.М.
Теория и методы построения цифровых программируемых инфокоммуникационных систем.
Автореферат.
Докладчик: Лукьянов Николай Михайлович, Телеканал «100 ТВ», закончил аспирантуру СПбГУ ИТМО в 2010 г. Реферат: В докладе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.12 – системы автоматизации проектирования (приборостроение). Будут обсуждаться результаты исследования и разработки архитектуры географически распределенной системы архивного хранения и доставки файловых данных из гетерогенных узлов с узкими каналами связи, которая обладает адаптивными свойствами и способна, в отличие от большинства существующих систем, работать в условиях ограниченных каналов связи. |
|
Разинков E.В.
Разработка моделей стегоконтейнера и методов анализа и повышения стойкости стеганографических систем.
Докладчик: Реферат: |
|
Кулешов С.В. Теория и методы построения цифровых программируемых инфокоммуникационных систем.
Автореферат.
Докладчик: Кулешов Сергей Викторович, к.т.н., с.н.с. лаборатории автоматизации научных исследований СПИИРАН, соискатель степени доктора технических наук. Реферат: В докладе будут представлены результаты диссертационного ис-следования на соискание ученой степени доктора технических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Будут изложены теоретические положения и методы построения цифровых программируемых инфокоммуникационных систем. Рассмотрен подход к построению гибридных кодеров-декодеров для компрессии различных типов цифровых данных. Рассматриваются следующие разделы, соответствующие главам диссертации: 1. Теоретические основы построения цифровых каналов передачи данных. 2. Методы оценки сложности представления битовых последова-тельностей. 3. Методы построения кодеров/декодеров для ряда практических применений. 4. Реконфигурируемая коммуникационная платформа для передачи видеоданных. |
|
Докладчик: Реферат: |
|
Новиков Ф.А. Методы повышения качества
алгоритмизации предметных областей на основе определения проблемно-ориентированных языков.
Расширенная аннотация.
Докладчик: Новиков Федор Александрович, к.ф.-м.н., доцент, кафедра прикладной математики СПбГПУ, кафедра технологии программирования СПбГУ ИТМО. Реферат: Представлены результаты диссертационного исследования на соискание ученой степени доктора технических наук по специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Будут изложены новые теоретические положения и методы в области конструирования проблемно-ориентированных языков и алгоритмизации предметных областей. Рассмотрен целостный подход, обеспечивающий повышение качества алгоритмизации предметных областей. Рассматриваются следующие разделы, соответствующие главам диссертации: 1. Технология прикладного программирования. 2. Управление данными и пакетами программ. 3. Методы определения проблемно-ориентированных языков. 4. Структурный синтез программ. |
|
Пунда Д.И.
Технология со-управления как когнитивная технология управления.
Докладчик: : Пунда Дмитрий Иванович, генеральный директор компании "Наукомп", Самара. Реферат: В докладе будут изложены обоснование сегодняшней актуальности и принципы построения технологии управления, основанной на разделении ментальной ("когнитивной") ответственности коллектива из двух управленцев. Такая технология "объединяет ментальный ресурс" и позволяет почти вдвое увеличить индивидуальные возможности управления. Показано, что основная проблема "управления сложностью" состоит не в современном большом разнообразии формализуемой информации, а в сложности управления разнообразием технологий деятельности общества, которые в условиях свободного рынка имеют невысокую степень определенности. Современное требование к методологиям управления, в том числе в кибернетике и информатике, состоящее в конвергенции научных и прикладных методов и знаний при управлении сложностью, предполагает, по мнению автора, анализ возможностей и ограничений человеческой системы мышления (когнитивных знаний), с целью расширения этих возможностей и с целью создания управляемой самоорганизации коллективного управления. |