Семинар отдела Прикладной информатики

Ничепорчук Валерий Васильевич, Коробко Анна Владимировна, Ноженков Александр Ильич, Морозов Роман Викторович
Научное сообщение

Отчет по работам базового проекта «Комплексное математическое, информационное, вычислительное моделирование сложных технических, физических, производственных процессов и систем» (рук. чл.-корр. В. В. Шайдуров)

Предиктивный анализ состояния локомотивов на основе индикаторов раннего предупреждения факторов риска

Богорад Сергей Борисович, ОАО «РЖД»
Научное сообщение

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

Ноженкова Людмила Федоровна, Исаева Ольга Сергеевна, Пенькова Татьяна Геннадьевна
Научное сообщение

Предиктивный анализ состояния локомотивов на основе индикаторов раннего предупреждения факторов риска

Богорад Сергей Борисович, ОАО «РЖД»
Научное сообщение

Апробация методики формирования рейтинговых оценок качества жизни для муниципальных образований Красноярского края

Метус Анна Михайловна, Пенькова Татьяна Геннадьевна, Коробко Анна Владимировна
Научное сообщение

Отчет по выполнению работ по гранту КФН-РФФИ «Методика и интернет платформа расчета рейтинга качества жизни муниципальных образований Красноярского края в разрезе реализации национальных проектов как инструменты кластерного управления».

Метод построения территориально ориентированной нормативной модели для формирования оценок качества жизни территорий

Пенькова Татьяна Геннадьевна, Метус Анна Владимсировна
Научное сообщение

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

Пенькова Татьяна Геннадьевна, Метус Анна Владимсировна
Научное сообщение

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

Метус Анна Михайловна
Научное сообщение

Коробко Анна Владимировна
Научное сообщение

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

Метус Анна Михайловна
Научное сообщение

Пенькова Татьяна Геннадьевна
Научное сообщение

Исследование структурных характеристик и особенностей реализации региональных программ и их мероприятий в рамках национальных проектов

Ноженков Александр Ильич
Научное сообщение

Морозов Роман Викторович
Научное сообщение

Коробко Анна Владимировна
Научное сообщение

Ничепорчук Валерий Васильевич
Научное сообщение

Ноженкова Людмила Федоровна
Научное сообщение

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

Пенькова Т. Г., Коробко А. В., Коробко А. А., Сенашова М. Ю., Метус А. М., Михалев А. С. — ИВМ СО РАН; Луговая Н. М. — СФУ
(научное сообщение)

Ссылка для подключения к онлайн-конференции: https://us02web.zoom.us/j/82474744190

Технология интеллектуального имитационного моделирования и анализа функционирования бортовых систем космических аппаратов

Исаева О. С.
(научное сообщение по материалам диссертации на соискание учёной степени доктора технических наук)

Ссылка для подключения к онлайн-конференции: https://us02web.zoom.us/j/82474744190

Применение технологии OLAP-анализа в системах мониторинга чрезвычайных ситуаций

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

Ссылка для подключения к онлайн-конференции: https://us02web.zoom.us/j/83738859191

Разработка модельно-ориентированной системы поддержки сбора и анализа данных экспериментальных исследований на примере задачи диагностики загрязнения почв Красноярского края

Коробко А. В., Коробко А. А. — ИВМ СО РАН; Сутормин О. С., Колосова Е. М. — СФУ
(научное сообщение)

Ссылка для подключения к онлайн-конференции: https://us02web.zoom.us/j/82474744190

Ресурсы и технологии региональных информационно-аналитических систем природно-техногенной безопасности

Ничепорчук В. В.
(научное сообщение по материалам диссертации на соискание учёной степени доктора технических наук)

Ссылка для подключения к онлайн-конференции: https://us02web.zoom.us/j/82474744190

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

Ноженкова Л. Ф., Исаева О. С., Кулясов Н. В. ИВМ СО РАН
(научное сообщение)

Ссылка для подключения к онлайн-конференции: https://us02web.zoom.us/j/82474744190

Создание и развитие электронных информационно-образовательных комплексов субъектов РФ в области безопасности жизнедеятельности.

Ноженков А. И., Коробко А. А., Пенькова Т. Г., Ничепорчук В. В. ИВМ СО РАН
(научное сообщение)

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

Ноженкова Л. Ф., Пенькова Т. Г., Коробко А. В., Коробко А. А., Сенашова М. Ю., Метус А. М., Михалев А. С. ИВМ СО РАН
(научное сообщение)

Модернизация автоматизированной системы поддержки процессов подготовки и размещения муниципального заказа

Жучков Д. В., Морозов Р. В., Кононов Д. Д., Кочетков С. Н. ИВМ СО РАН
(научное сообщение)

Коробко А. В., Коробко А. А., Пенькова Т. Г., ИВМ СО РАН; Сутормин О. С., Колосова Е. М., СФУ; Шпедт А. А. ФИЦ КНЦ СО РАН
(научное сообщение)

Ноженкова Л. Ф., Исаева О. С., Кулясов Н. В. ИВМ СО РАН
(научное сообщение)

Развитие электронного информационно-образовательного комплекса для КГКОУ ДПО «Учебно-методический центр по гражданской обороне, чрезвычайным ситуациям и пожарной безопасности Красноярского края»

Ноженков А. И., Коробко А. А., Пенькова Т. Г., Ничепорчук В. В. ИВМ СО РАН
(научное сообщение)

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

Ноженкова Л. Ф., Исаева О. С., Колдырев А. Ю., ИВМ СО РАН
(научное сообщение)

Развитие автоматизированной системы поддержки процессов подготовки и размещения муниципального заказа департамента муниципального заказа

Жучков Д. В., Морозов Р. В., Кочетков С. Н., ИВМ СО РАН
(научное сообщение)

Исследование особенностей функционирования гидроагрегата на основе комплексного анализа данных мониторинга системы вибрационного контроля

Пенькова Т. Г., Коробко А. В., ИВМ СО РАН; Минаков А. В., Платонов Д. В., Дектерев А. А., ИИФиРЭ СФУ, ИТ СО РАН
(научное сообщение)

Аналитическая система интеграции данных на основе метода концептуального OLAP-моделирования

Коробко А. В., Коробко А. А., Метус А. М., ИВМ СО РАН; Пахомова К. И., СФУ
(научное сообщение)

Расчетно-экспериментальное исследование нестационарных процессов в проточном тракте гидротурбин

Минаков А. В., Платонов Д. В., Дектерев А. А., ИИФиРЭ СФУ, ИТ СО РАН
(научное сообщение)

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

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

Ноженкова Л. Ф., Исаева О. С., Колдырев А. Ю., Вогоровский Р. В., ИВМ СО РАН
(научное сообщение)

Представлены результаты выполнения работ по 2 этапу НИОКР «Модернизация и внедрение подсистемы приема и обработки команд от ПО организации Заказчика для проведения комплексных испытаний КИС КА. Проведение стыковочных испытаний программного обеспечения контрольно-проверочной аппаратуры с программным обеспечением организации Заказчика для проведения комплексных испытаний имитатора бортового комплекса управления».

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

Ноженкова Л. Ф. Исаева О. С., Марков А. А., Евсюков А. А., Колдырев А. Ю., Вогоровский Р. В., ИВМ СО РАН
(научное сообщение)

Представлены результаты выполнения работ по гранту РФФИ и КФН
№ 16–41–242042.

Аналитическая система интеграции данных на основе метода концептуального OLAP-моделирования

Коробко А. В., Пенькова Т. Г., Коробко А. А., Метус А. М., ИВМ СО РАН
(научное сообщение)

Представлены результаты выполнения работ по гранту РФФИ № 16–07–01001.

Метод интегрального аналитического оценивания для стратегического и оперативного контроля природно-техногенной безопасности территорий

Пенькова Т. Г., Коробко А. В., Ничепорчук В. В., Метус А. М., ИВМ СО РАН
(научное сообщение)

Представлены результаты выполнения работ по гранту РФФИ № 16–37–00014.

Комплексный многомерный анализ данных

Пенькова Т. Г., Коробко А. В., ИВМ СО РАН
(научное сообщение)

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

Технология модельно-ориентированного межсистемного информационного взаимодействия (на примере муниципальной системы организации закупок)

Пенькова Т. Г., Коробко А. В., Жучков Д. В., Морозов Р. В., Кочетков С. Н., ИВМ СО РАН
(научное сообщение)

Представлены результаты выполнения работ по гранту РФФИ и КФН
№ 16–47–243020.

Методы и алгоритмы автоматического аннотирования изображений в информационно-поисковых системах

Проскурин Александр Викторович, СибГАУ
(заседание по материалам кандидатской диссертации, отзыв ведущей организации)

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

Проведение стыковочных испытаний программного обеспечения контрольно-проверочной аппаратуры

Ноженкова Л. Ф., Исаева О. С., Колдырев А. Ю., Вогоровский Р. В., ИВМ СО РАН
(научное сообщение)

Представлены результаты выполнения работ по 1 этапу НИОКР «Модернизация и внедрение подсистемы приема и обработки команд от ПО организации Заказчика для проведения комплексных испытаний КИС КА. Проведение стыковочных испытаний программного обеспечения контрольно-проверочной аппаратуры с программным обеспечением организации Заказчика для проведения комплексных испытаний имитатора бортового комплекса управления»

Методы и алгоритмы автоматического аннотирования изображений в информационно-поисковых системах

Специальность: 05.13.17 – Теоретические основы информатики.

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

Представление результатов научной работы

Исполнители проекта
Модернизация и внедрение подсистемы приема-передачи команд для проведения автономных испытаний КИС КА.

Представление результатов проекта «Модернизация и внедрение подсистемы приема-передачи команд в ПО для проведения автономных испытаний КИС КА. Внедрение на рабочих местах конструкторов средств удаленной работы с ПО подготовки и анализа испытаний КИС КА» по Договору от 11.10.2016 г. № 4016/16.

Представление результатов научной работы

Исполнители проекта
Технология модельно-ориентированного межсистемного информационного взаимодействия (на примере муниципальной системы организации закупок).

Представление результатов по проекту № 16–47–243020.

Представление результатов научной работы

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

Представление результатов по проекту № 16–41–242042.

Заседание по материалам кандидатской диссертации

Столбов Александр Борисович
Математическое и алгоритмическое обеспечение исследования региональных медико-эколого-экономических систем.

Цель исследования — разработка новых и совершенствование существующих методов и средств исследования региональных медико-эколого-экономических проблем на основе процедур системного анализа и технологии математического моделирования.
Научную новизну работы составляют следующие результаты, выносимые на защиту:
1. Алгоритмы определения параметров моделей управляемых медико-эколого-экономических систем на основе обработки формализованной экспертной информации о закономерностях в предметной области с учетом специфики региона.
2. Методическое, алгоритмическое и программное обеспечение интеллектуальной поддержки исследования региональных медико-эколого-экономических систем, позволяющее проводить их многовариантный сценарный анализ с использованием процедур системного анализа и технологии математического моделирования.
3. Медико-эколого-экономические модели и сценарные расчеты на основе задания различных вариантов управления (инвестиций) для Иркутской области, Республики Бурятия и Азиатской части России, а также для города Улан-Батор (Монголия).

Представление результатов научной работы

Исполнители проекта
Метод интегрального аналитического оценивания для стратегического и оперативного контроля природно-техногенной безопасности территорий.

Представление результатов по проекту РФФИ № 16–37–00014.

Представление результатов научной работы

Исполнители проекта
Аналитическая система интеграции данных на основе метода концептуального OLAP-моделирования.

Представление результатов по проекту РФФИ № 16–07–01001.

Заседание по материалам кандидатской диссертации

Грузенко Евгений Андреевич
«ИНФОРМАЦИОННО-ГРАФИЧЕСКАЯ МОДЕЛЬ БОРТОВОЙ АППАРАТУРЫ КОМАНДНО-ИЗМЕРИТЕЛЬНОЙ СИСТЕМЫ КОСМИЧЕСКОГО АППАРАТА»

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

Заседание по материалам кандидатской диссертации

Шаталов Павел Сергеевич
Система поддержки принятия решений по управлению природными пожарами с использованием высокопроизводительных вычислительных систем и данных космического мониторинга

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

Заседание по материалам кандидатской диссертации

Кузьмич Роман Иванович
МОДИФИЦИРОВАННЫЙ МЕТОД ЛОГИЧЕСКОГО АНАЛИЗА ДАННЫХ ДЛЯ ЗАДАЧ КЛАССИФИКАЦИИ

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

Заседание по материалам кандидатской диссертации

Ланцев Евгений
Методика создания агентных имитационных моделей бизнес-процессов организационных систем

1. Алгоритм преобразования дискретно-событийной модели бизнес-процесса в нотации ARIS eEPC в агентную имитационную модель, т.е. описаны правила трансляции, структура исходной и целевой модели;
2. Метод применения алгоритмов интеллектуального анализа процессов (на примере эвристического алгоритма Вейтерса и алгоритма для анализа организационной структуры) для создания агентных имитационных моделей. Метод применяется в совокупности с разработанным алгоритмом преобразования и дополняет его;
3. Метод верификации и описания агентных имитационных моделей алгоритмами интеллектуального анализа процессов. Кроме того, метод может быть использована для получения формальной схемы работы имитационной модели для её документирования, когда неизвестна исходная концептуальная модель имитационной модели.

Заседание по материалам кандидатской диссертации

Морозов Роман Викторович
Модель и методы интеллектуальной поддержки принятия управленческих решений по пожарной безопасности зданий сферы образования

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

Заседание по материалам кандидатской диссертации

Батуро Алексей Николаевич
Управление регламентом противопожарных мероприятий в регионе на основе прогнозирования количества пожаров с учетом климатических факторов

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

Заседание по материалам кандидатской диссертации

Морозов Роман Викторович
Методы интеллектуальной поддержки принятия решений по снижению пожарного риска

Представление результатов научной работы

Исполнители проекта
Разработка программно-математической модели бортовой аппаратуры командно-измерительной системы (III очередь)

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

Представление результатов научной работы

Исполнители проекта
Разработка программно-математической модели бортовой аппаратуры командно-измерительной системы (II очередь)

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

Представление результатов научной работы

Кузенков Николай Петрович, Логинов Валерий Михайлович
Использование метода нормированного размаха при анализе речевых патологий неврологического генеза

Аннотация. На основании модификации алгоритма вычисления нормированного размаха предлагается способ определения показателя Хёрста, а также оценки характерного времени, в течении которого показатель Хёрста остаётся постоянным. Разработан подход к упрощению автоматизации вычисления показателя Хёрста и увеличения его точности. Показатель Хёрста и характерное время вычислены для
рядов мощностей речевых сигналов с различными моторными патологиями (афазии, дизартрии). Проведён их статистический анализ, произведена оценка корреляции между показателем Хёрста и характерным временем. Обсуждается возможность использования результатов в диагностике речевых патологий.

Проектирование программно-математической модели бортовой аппаратуры командно-измерительной системы космического аппарата

Исполнители проекта
Проектирование ПММ БП КИС: задачи, проблемы, решения

Мишкина Наталья
Отдельные аспекты проектирования КИС

Будут затронуты вопросы: стадии проектирования, проектирование КИС с
учетом особенностей спутника и радиолинии, моделирование КИС (какие аспекты стоит учесть при разработке ПММ и для кого предназначена учебная модель КИС).

Углев Виктор Александрович
Задачи проектирования программно-математической модели БА КИС

Заседание по материалам кандидатской диссертации

Иванов Роман Андреевич
МЕТОДИКА И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА 3D-ВИЗУАЛИЗАЦИИ ДЛЯ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПРИ ОПРЕДЕЛЕНИИ НАПРАВЛЕНИЙ РАЗВИТИЯ ЭНЕРГЕТИКИ

В работе ставится и решается задача разработки методического подхода к визуализации информации в исследованиях и поддержке принятия решений в энергетике на основе технологии 3D-визуализации, а также реализация инструментальных средств его поддержки.
Рассматриваются особенности нового поколения средств и методов 3D-визуализации информации, предложенный автором сетецентрический подход к поддержке принятия решений в энергетике, основанный на новой технологии, и методический подход к отображению геопространственных данных результатов энергетических исследований с использованием технологии 3D-визуализации.
Методический подход включает две методики: формирования геопространственных данных и адаптации результатов энергетических исследований. Реализовано инструментальное программное средство – Геокомпонент – для поддержки этих методик. Применение предложенных методик и Геокомпонента облегчает использование технологии 3D-визуализации для специалистов-непрограммистов. На основе Геокомпонента создаются специализированные инструментальные средства 3D-визуализации для конкретных задач.
Рассматриваются результаты применения предложенного методического подхода и инструментальных средств для 3D-визуализации результатов решения трех энергетических задач: визуализация количественных и качественных показателей энергетической безопасности, получение данных для экономического обоснования маршрутов газопроводов и визуализация полей выбросов вблизи энергетических объектов.

Работа выполнена в Институте систем энергетики им. Л. А. Мелентьева СО РАН (г. Иркутск), научный руководитель – д.т.н., профессор Л. В. Массель

Заседание по материалам кандидатской диссертации

Павлов Николай Юрьевич
МЕТОДЫ И АЛГОРИТМЫ ИНТЕЛЛЕКТУАЛЬНОЙ ПОДДЕРЖКИ РЕШЕНИЙ ПРИ ОЦЕНКЕ РИСКА ОТКАЗОВ И АВАРИЙ В НЕФТЕХИМИЧЕСКИХ ПРОИЗВОДСТВАХ

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

Заседание по материалам кандидатской диссертации

Жигулин Максим Владимирович
Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов

Предложен метод построения по временному автомату соответствующего конечного автомата и показано, каким образом можно использовать методы из классической теории автоматов при построении полных проверяющих тестов для временного автомата с использованием перехода к соответствующему классическому автомату. Однако также показано, что тесты, построенные по соответствующему конечному автомату относительно модели «черного ящика», оказываются сильно избыточными.
Исследовано отношение эквивалентности между детерминированными временными автоматами и установлены необходимые и достаточные условия эквивалентности временных автоматов с таймаутами на основе соответствия между множествами их состояний.
Для понижения избыточности тестов относительно модели «черного ящика» методы построения полного проверяющего теста для конечного автомата адаптированы для построения тестов непосредственно по временному автомату.

Заседание по материалам кандидатской диссертации

Пахирка Андрей Иванович
Компьютерный метод локализации лиц на изображениях в сложных условиях освещения

Заседание по материалам кандидатской диссертации

Дамов Михаил Витальевич
Реконструкция изображений на основе пространственно-временного анализа видеопоследовательностей

Заседание по материалам кандидатской диссертации

Парамонов Вячеслав Владимирович
Информационная система «популяционный раковый регистр»

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

Заседание по материалам кандидатской диссертации

Коломеец Антон Владимирович
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов

Проблема тестирования различных технических систем была и остается актуаль-ной. Для построения качественных тестов необходима формальная модель системы, одной из которых являются различные модификации автоматной модели. Автоматная модель, в частности, активно используется при синтезе проверяющих тестов для протокольных реализаций. Однако реальные технические системы часто оказываются настолько сложными, что такие автоматы практически невозможно построить. Поэтому для синтеза тестов для технических систем с конечным числом состояний используются различные модификации автоматной модели, одной из которых является расширенный автомат. Модель расширенного автомата является более компактной, однако расширенные автоматы изучены значительно хуже, и соответственно методы построения тестов с гарантированной полнотой по модели расширенного автомата развиты слабо, и диссертация Коломейца А. В. посвящена развитию таких методов.

Заседание

Городилов Александр Андреевич
Региональная система сбора и обработки простых и комплексных показателей с использованием динамических структур данных

В работе рассматриваются проблемы динамического формирования форм доку-ментов для сбора показателей и динамического создания сводных отчётов с комплексными показателями. Также рассматриваются задачи: 1) описание информации в динамических структурах данных в графовом представлении; 2) хранение динамических структур данных в реляционной СУБД; 3) подходы построения SQL запросов к динамическим структурам данных

Заседание по материалам кандидатской диссертации

Фартышев Денис Александрович
Методика построения и разработка многоагентного программного комплекса для исследований проблемы энергетической безопасности

Специальность: 05.13.18 – Математическое моделирование, численные методы и комплексы программ

В работе представлена авторская методика построения и разработки многоагентных программных комплексов для исследований проблемы энергетической безопасности. Базой для реализации подобных комплексов является сервис-ориентированная архитектура (SOA). Автором предлагаются концептуальная модель и архитектура многоагентного программного комплекса. Роль эффективного представления знаний агентов отводится онтологиям. Описывается процесс проектирования многоагентного программного комплекса ИНТЭК-М для исследований проблемы энергетической безопасности.

Описывается реализация многоагентного программного комплекса ИНТЭК-М, определяются системно-концептуальные соглашения при разработке ПК. Описывается процесс реализации системных компонентов ИНТЭК-М, включающих реинжиниринг ПК ИНТЭК, разработку стандарта информационных моделей ТЭК на основе технологии XML, а также разработку алгоритма загрузки информационных моделей в репозитарий ИТ-инфраструктуры научных исследований и соответствующих программных средств, реализующих указанный алгоритм. Рассматриваются вопросы интеграции ИНТЭК-М в ИТ-инфраструктуру. Приводится предлагаемая технология проведения вычислительных экспериментов при исследованиях проблемы энергетической безопасности с использованием разработанного ИНТЭК-М.

Заседание по материалам кандидатской диссертации

Парамонов Вячеслав Владимирович
Информационная система «Популяционный раковый регистр»

Специальность: 05.25.05 – Информационные системы и процессы, правовые аспекты информатики

В работе представлены методы и модели описания информационных процессов и процессов формирования информационных ресурсов, а также проведён анализ информационных потоков, направленных на создание региональной инфраструктуры поддержки диагностики и лечения онкологических больных, формирование и рационализацию Популяционного ракового регистра. Для создания информационной системы (ИС) «Популяционный раковый регистр» использованы оригинальная технология и информационное обеспечение процесса синтеза программного кода каркаса (база данных, приложение, интерфейс пользователя) информационной системы, а также новые принципы организации данных для разработки ИС, являющиеся одной из реализаций подхода MDA (Model Driven Archtecture), основанного на методах первопорядковой логики. Применение разработанного информационного обеспечения позволяет вести разработку информационной системы на основе ее модели, большую часть программного кода получать автоматически, через последовательные преобразования исходной модели.

Разработанная ИС «Популяционный раковый регистр» представлена в виде кроссплатформенного приложения с трехуровневой архитектурой и Web-доступом по интрасети. Такой способ представления информационного ресурса позволяет упростить внедрение, обслуживание, устранить зависимость от используемых программно-аппаратных технологий. ИС является интегрирующим звеном для лечебно-профилактических учреждений системы здравоохранения органов региональных государственной власти и местного самоуправления для создания и поддержки функционирования государственного ракового регистра. Использование ИС позволяет повысить оперативность и качество лечения больных злокачественными новообразованиями.

Заседание по материалам кандидатской диссертации

Бадмаева Ксения Владимировна
Методика адаптивного управления процессом проектирования и развития специализированных хранилищ данных

Научный руководитель: Исаева Ольга Сергеевна

Специальность: 05.13.01 — Системный анализ, управление и обработка информации

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

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

Заседание по материалам кандидатской диссертации

Капустин Антон Николаевич
Синтез и анализ многоуровневых непараметрических систем распознавания образов на основе декомпозиции обучающей выборки по её размерности

Научный руководитель: Лапко Василий Александрович

Специальность: 05.13.01 – Системный анализ, управление и обработка информации (по отраслям: информатика, вычислительная техника и управление)

Заседание по материалам докторской диссертации

Шишов Владимир Валерьевич
Визуализация и анализ дендроклиматической информации на основе интерактивной системы дендроклиматического мониторинга

Специальность: 05.13.01 – Системный анализ, управление и обработка информации

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

Основные задачи исследования:

Разработка интерактивной информационной системы обработки дендроклиматической информации, отвечающей общим требованиям к программному обеспечению (ПО) и объединяющей в себе базы дендрохронологических и климатических данных, а также математические методы обработки и анализа этих данных;
Дополнение существующего ПО обработки дендроклиматической информации авторскими алгоритмами на базе методов реляционной математики, позволяющих эффективно решать задачи пространственной динамики системных связей между климатическими и дендрохронологическими переменными;
Применение интерактивной системы при решении следующих задач дендроклиматического мониторинга: 1) обнаружение общих закономерностей в реакции древесных растений на изменение глобальных факторов, определяющих прирост деревьев, для обширной территории России в XX веке; 2) выявление системных взаимосвязей между пространственным приростом древесных растений и проявлениями «Эль-Ниньо» различной интенсивности; 3) визуализация и анализ взаимосвязей в пространственном распределении системы древесно-кольцевых хронологий и индексов NDVI, являющихся индикатором первичной продуктивности растений; 5) классификация сезонов роста древесных растений по степени их благоприятности на базе параметров структуры годичных древесных колец лиственницы на севере Якутии; 6) визуализация пространственно-временной согласованности прироста древесных растений севера Евразии за последние 2000 лет.

Заседание по материалам докторской диссертации

Царев Роман Юрьевич
Многоатрибутивное формирование мультиверсионного программного обеспечения АСУ спутниковыми системами связи

Специальность: 05.13.01 – Системный анализ, управление и обработка информации

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

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

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

Заседание по материалам кандидатской диссертации

Котенок Андрей Владимирович
Мультиверсионная среда исполнения для отказоустойчивых программных комплексов систем управления

Научный руководитель: д.т.н., проф. Ковалев Игорь Владимирович

Специальность:
05.13.01 – Системный анализ, управление и обработка информации (космические и информационные технологии),
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Целью исследования является повышение отказоустойчивости среды исполнения программных комплексов систем управления за счет применения мультиверсионных моделей.

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

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

Заседание по материалам кандидатской диссертации

Афонасенко Анна Владимировна (Томский государственный университет)
Математические модели и программные средства распознавания структурированных символов

Специальность: 05.13.18 – математическое моделирование, численные методы и комплексы программ (технические науки)

Обоснована транзитивность задачи распознавания структурированных символов, включающая в себя последовательность задач бинаризации оконтуренного изображения, локализации области расположения символов, выделение отдельных символов и распознавание символов. Впервые введены морфологические операторы заливы и озера, позволяющие получить описание структурированных символов в виде топологических особенностей, инвариантных к проективным и аффинным преобразованиям. Разработаны быстрые морфологические преобразования, позволяющие построить эффективные алгоритмы обработки и коррекции бинарных изображений за счет исключения операции последовательного перебора точек внутри структурирующего элемента. Результаты исследований, проведенные в диссертационной работе, послужили основой для создания программной системы распознавания государственных регистрационных знаков транспортных средств. Программная система используется в ЗАО «Томский лечебно-диагностический комплекс» как составная часть распределенной системы безопасности «БАЗИС» для оперативного контроля транспортных средств на территории предприятия.

Заседание по материалам кандидатской диссертации

Пенькова Татьяна Геннадьевна
Методика комплексной поддержки процессов подготовки, формирования и реализации решений в территориальном управлении

Научный руководитель: Ноженкова Людмила Федоровна

Специальность: 05.13.01 – Системный анализ, управление и обработка информации (по отраслям: информатика, вычислительная техника и управление)

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

Семинар отдела Прикладной информатики

Технологии создания информационно-аналитических систем на основе интегрированных платформ

Предиктивный анализ состояния локомотивов на основе индикаторов раннего предупреждения факторов риска

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

Предиктивный анализ состояния локомотивов на основе индикаторов раннего предупреждения факторов риска

Апробация методики формирования рейтинговых оценок качества жизни для муниципальных образований Красноярского края

Метод построения территориально ориентированной нормативной модели для формирования оценок качества жизни территорий

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

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

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

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

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

Исследование структурных характеристик и особенностей реализации региональных программ и их мероприятий в рамках национальных проектов

Исследование структурных характеристик и особенностей реализации региональных программ и их мероприятий в рамках национальных проектов

Исследование структурных характеристик и особенностей реализации региональных программ и их мероприятий в рамках национальных проектов

Исследование структурных характеристик и особенностей реализации региональных программ и их мероприятий в рамках национальных проектов

Исследование структурных характеристик и особенностей реализации региональных программ и их мероприятий в рамках национальных проектов

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

Технология интеллектуального имитационного моделирования и анализа функционирования бортовых систем космических аппаратов

Применение технологии OLAP-анализа в системах мониторинга чрезвычайных ситуаций

Ресурсы и технологии региональных информационно-аналитических систем природно-техногенной безопасности

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

Создание и развитие электронных информационно-образовательных комплексов субъектов РФ в области безопасности жизнедеятельности.

Модернизация автоматизированной системы поддержки процессов подготовки и размещения муниципального заказа

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

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

Развитие автоматизированной системы поддержки процессов подготовки и размещения муниципального заказа департамента муниципального заказа

Исследование особенностей функционирования гидроагрегата на основе комплексного анализа данных мониторинга системы вибрационного контроля

Аналитическая система интеграции данных на основе метода концептуального OLAP-моделирования

Расчетно-экспериментальное исследование нестационарных процессов в проточном тракте гидротурбин

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

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

Аналитическая система интеграции данных на основе метода концептуального OLAP-моделирования

Метод интегрального аналитического оценивания для стратегического и оперативного контроля природно-техногенной безопасности территорий

Комплексный многомерный анализ данных

Технология модельно-ориентированного межсистемного информационного взаимодействия (на примере муниципальной системы организации закупок)

Методы и алгоритмы автоматического аннотирования изображений в информационно-поисковых системах

Проведение стыковочных испытаний программного обеспечения контрольно-проверочной аппаратуры

Методы и алгоритмы автоматического аннотирования изображений в информационно-поисковых системах

Представление результатов научной работы

Представление результатов научной работы

Представление результатов научной работы

Заседание по материалам кандидатской диссертации

Представление результатов научной работы

Представление результатов научной работы

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Представление результатов научной работы

Представление результатов научной работы

Представление результатов научной работы

Проектирование программно-математической модели бортовой аппаратуры командно-измерительной системы космического аппарата

Проектирование программно-математической модели бортовой аппаратуры командно-измерительной системы космического аппарата

Проектирование программно-математической модели бортовой аппаратуры командно-измерительной системы космического аппарата

Проектирование программно-математической модели бортовой аппаратуры командно-измерительной системы космического аппарата

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам докторской диссертации

Заседание по материалам докторской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации

Заседание по материалам кандидатской диссертации