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

  • 16.12.2016
  • Щёголева Н.Л. Методы и модели представления изображений лиц как объектов наблюдений.
    Докладчик: Щёголева Надежда Львовна, к.т.н., доцент СПбГЭТУ.
    Реферат: Представлены результаты диссертационного исследования на соискание ученой степени доктора технических наук по специальности 05.13.18 – "Математическое моделирование, численные методы и комплексы программ". Доклад посвящен разработке и комплексному исследованию моделей и методов представления изображений лиц в собственных подпространствах на базе двумерных методов проекции. Эти методы позволяют создавать системы поиска и распознавания изображений лиц, отличающиеся меньшей вычислительной сложностью, и использовать несколько наборов исходных данных. Рассматривается использование этих моделей для взаимной трансформации различных форм и категорий представления изображений лиц, а также решение типовых задач, основанных на этих моделях. Полученные при этом решения переносятся на задачи криминалистики и исследуются на примерах поиска людей по фотороботам (скетчам).

  • 25.11.2016
  • Пименов И.В. Методика и алгоритмы для извлечения знаний о многомерных объектах дизайна на основе типологизации проектных решений.
    Докладчик: Пименов Илья Викторович, с 10.2011 по 09.2014 – аспирант кафедры информационных технологий Института информационных технологий и автоматизации Санкт-Петербургского государственного университета промышленных технологий и дизайна (СПбГУПТД).
    Научный руководитель: Авинир Геннадьевич Макаров, д.т.н., профессор кафедры интеллектуальных систем и защиты информации, СПбГУПТД.
    Реферат: Рассматриваются результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.01 – Системный анализ, управление и обработка информации. Получены новые теоретические результаты, связанные с разработкой методики применения многомерного анализа данных и алгоритмов для построения баз знаний, которые позволили повысить степень автоматизации создания интеллектуальных систем в области дизайна. Методика обеспечивает извлечение знаний из массива ”объекты-свойства” и установление правил, раскрывающих причинно-следственные связи между свойствами объекта дизайна и его типом. Разработаны алгоритм формирования логического решающего правила по результатам кластерного и дискриминантного анализов и алгоритм логического вывода на основе обработки построенного решающего правила. Предложенные методика и алгоритмы использовались при разработке ряда интеллектуальных систем, основанных на знаниях в области дизайна: при интеллектуальном поиске музейного образца – прототипа народного костюма, проектировании мужских перчаток установленного морфологического типа и извлечении знаний в области веб-дизайна.

  • 11.11.2016
  • Качанова Т.Л., Фомин Б.Ф. Естественная системная классификация на основе онтологии.
    Докладчики: Фомин Борис Фёдорович, профессор университета «ЛЭТИ»; Качанова Тамара Леонидовна, профессор университета «ЛЭТИ».
    Реферат: Решена общая задача естественной системной классификации для сложных предметных областей. Решение получено на основе физики открытых систем. Базой решения служит научно-достоверное онтологическое знание, извлекаемое из многомерного гетерогенного эмпирического описания классификационного поля. В опоре на это знание для каждого класса определена его онтология – архетипы, существенные признаки, прототипы класса, морфологии классов. Показаны примеры применения полученного решения.

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

  • 29.04.2016
  • Свиньин С.Ф., Попов А.И., Алексеев А.В. 100-летие Клода Шеннона и 101-летие теоремы Уиттекера-Котельникова-Шеннона.
    Докладчики: Свиньин Сергей Фёдорович, д.т.н., проф., СПИИРАН; Попов Александр Игоревич, доцент Северного Арктического федерального университета имени М.В.Ломоносова (г.Архангельск); Алексеев Анатолий Владимирович, д.т.н., проф., исполнительный директор Института автоматизации процессов борьбы за живучесть корабля, судна (ИАП БЖКС).
    Реферат: Доклад посвящен 100-летию Клода Шеннона. Дается краткая научная биография К.Шеннона, его основные заслуги в области теории связи и теории информации. Теоремы отсчетов и их современная трактовка. Принцип финитности спектров. Применение функционального анализа для исследования сигналов. Энергетические пространства. Сигналы с конечной энергией. Функции с компактными носителями. Сигналы – функции времени конечной длительности. Вейвлет-базисы и обобщенные алгоритмы быстрых спектральных преобразований. Рассмотрены теоремы Котельникова–Шеннона и направления развития теории отсчетов сигналов с 30-40-х годов ХХ века до наших дней. Также рассматривается 101-летие теоремы Уиттекера-Котельникова-Шеннона и 68-летие теории информации: исследования, обобщения и приложения. Даются примеры исследований сигналов – функций времени. Записи биомедицинских сигналов большой длительности. Применение теории отсчетов. Методы изучения двигательной деятельности органов желудочно-кишечного тракта человека (ЖКТ) и соответствующие приборы. Цифровая электрогастроэнтерография (ЭГЭГ). Информационный состав ЭГЭГ-сигналов. Полосы частот для разных отделов ЖКТ. Методы определения основных параметров: мощности, коэффициентов ритмичности, коэффициентов нестабильности доминантных частот и др. Подчеркивается фундаментальное значение теоремы отсчетов Уиттекера-Котельникова-Шеннона. Краткий обзор этапов развития теории информации, теоремы УКШ и их приложений. Теория ценности информации и квалиметрия сигналов. Информационная избыточность. Спектральная интерпретация физических процессов выборки сигналов при их дискретизации и классификация погрешностей преобразования процессов. Обобщенное выражение выбора граничных и оптимального значений частоты дискретизации реальных полосовых сигналов. Методика, алгоритм и примеры оптимизации частоты дискретизации сигналов и информационной избыточности при различных моделях представления формы спектра.

  • 12.02.2016
  • 1) Павлов В.А. Исследование алгоритмов распознавания доказуемости в аксиоматических теориях и разработка системы автоматического логического вывода.
    Докладчик: Павлов Владимир Александрович, аспирант кафедры компьютерных интеллектуальных технологий института компьютерных наук и технологий СПбПУ.
    Научный руководитель: Щукин Александр Валентинович, к.т.н, доцент СПбПУ.
    Реферат: Представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11. Получены новые теоретические результаты, связанные с применением обратного метода (метода Сергея Юрьевича Маслова) для автоматического логического вывода (АЛВ) формул интуиционистской логики первого порядка, обеспечивающие дополнительную гибкость и эффективность метода: логическое исчисление обратного метода, адаптированные для этого исчисления стратегии оптимизации логического вывода и новые стратегии оптимизации. Предложен алгоритм автоматического логического вывода в разработанном логическом исчислении и разработано программное средство АЛВ, позволяющее повысить эффективность логического вывода за счёт комбинирования предложенных в работе стратегий оптимизации. Приводятся результаты экспериментального сравнения используемых стратегий оптимизации по ряду критериев, а также результаты сравнения разработанного средства АЛВ с существующими средствами АЛВ для интуиционистской логики.

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

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

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