Публикации

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

В работе представлен аналитический обзор существующих решений и технологий, применяемых в области компьютерного зрения систем контроля доступа, видеомониторинга и видеоаналитики. Данные технологии являются составными частями концепции умного города и широко используются в современных офисных зданиях и бизнес-центрах для распознавания лиц, разделения сотрудников и гостей (посетителей) отдельных помещений, оценки положения людей, выявления нетипичного поведения. В торговых центрах такие решения используются для сбора маркетинговой информации и оценки наиболее популярных маршрутов движения покупателей. Рассматривается процесс проектирования и реализации прототипа системы распознавания объектов в видеопотоке с использованием одноплатного компьютера Raspberry Pi 3 model B+ и RPi камеры (Raspberry Pi Camera Board v2.1). Разработанный прототип может использоваться в качестве видеорегистрирующего модуля систем «Умного офиса» или «Умного дома».

В статье рассматривается архитектура системы управления процессом проветривания подземных горнодобывающих предприятий (на примере калийного рудника), оснащенная цифровым двойником с он-лайн функциями имитационного моделирования и предиктивной аналитики. Система ориентирована на реализацию управления главной вентиляторной установкой (ГВУ) с учетом изменяющихся параметров наружного воздуха, подаваемого в шахтные стволы. В отличие от существующих, предложенный способ управления учитывает влияние параметров наружного воздуха на изменение общерудничной естественной тяги, от которой зависит общий объем воздуха, подаваемого в рудник. Известно, что системы проветривания таких предприятий потребляют от 30 до 50% всей затрачиваемой на процесс добычи полезного ископаемого электроэнергии. В связи с этим разрабатываемая система, способная к анализу изменений общерудничной естественной воздушной тяги и, как следствие, объемов подачи воздуха, сможет работать в энергосберегающем режиме. Предложенный способ управления включает в себя алгоритм расчета взаимосвязей физических параметров общерудничной естественной тяги, действующей между стволами, алгоритм расчета величины общерудничной естественной тяги; алгоритм расчета производительности и выбора требуемого режима работы ГВУ.  Для реализации способа предложена архитектура киберфизической системы (CPS) проветривания на базе платформы Интернета вещей (IoT) InfluxData стека TICK. Предложенная архитектура CPS состоит из четырех подсистем: подсистема физического объекта, сетевая и вычислительная инфраструктура IoT, цифровой двойник, интерфейс пользователя. Цифровой двойник системы проветривания выполнен с использованием базы данных временных рядов и базы данных атрибутов, хранящих сведения об изменении параметров оборудования по времени, показателях воздуха, индикаторах эффективности, статистикам по авариям и наработке вентиляторов, характеристикам CPS и др. CPS данной архитектуры подразумевает подключение дополнительных источников данных, обеспечение расчетов рациональных объемов подачи воздуха с учетом правил безопасности и требований энергоэффективности.

Исследования последнего десятилетия демонстрируют высокий потенциал диффузионно-взвешенной МРТ (дМРТ) как современной методики для неинвазивной количественной оценки микроструктурной целостности белого вещества головного мозга, которая позволяет прогнозировать некоторые аспекты реабилитационного потенциала.  Цель исследования: рассчитать пороговые значения фракционной анизотропии (ФА) некоторых церебральных трактов, информативные в определении различных аспектов реабилитационного потенциала в остром периоде ишемического инсульта. Материал и методы. Обследованы 100 пациентов с ишемическим инсультом и 10 лиц без инсульта и когнитивных нарушений. Всем больным выполнялись дМРТ и клиническая оценка индикаторов реабилитационного потенциала при выписке.  Результаты. Показатель NIHSS при выписке ассоциирован с размером очага, ФА передней, задней ножки и колена внутренней капсулы, верхнего продольного, цингулярного и нижнего фронто-окципитального пучков. Схожие ассоциации отмечались для индекса мобильности Ривермид и шкалы Рэнкина. Функция кисти по шкале Френчай ассоциирована с размером очага, ФА передней ножки внутренней капсулы, верхнего продольного, нижнего фронто-окципитального и цингулярного пучков. Показатель MoCA взаимосвязан только с размером очага и ФА передней ножки внутренней капсулы, шкалы Берга — с размером очага и ФА верхнего продольного пучка, шкалы FIM — с ФА верхнего продольного, нижнего фронто-окципитального и цингулярного пучков. Определены пороговые значения ФА церебральных трактов, наиболее информативные в определении различных аспектов реабилитационного потенциала в остром периоде ишемического инсульта.  Заключение. Количественная оценка ФА основных проекционных и ассоциативных трактов информативна в отношении определения реабилитационного потенциала в остром периоде ишемического инсульта

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

Языково-ориентированный подход становится все более популярным при разработке информационных систем, однако существующие DSM-платформы, реализующие эту парадигму, имеют существенные ограничения, включающие недостаточные выразительные возможности моделей, используемых для реализации редакторов визуальных моделей для сложных предметных областей, и ограниченные возможности для трансформации визуальных моделей. Визуальные языки обычно основаны на графовых моделях, однако используемые типы графов имеют определенные ограничения, такие как недостаточная выразительность, сложность представления моделей большой размерности, а также трудоёмкость выполнения операций. Для создания инструмента, не имеющего описанных выше ограничений, необходима разработка новой формальной модели. HP-графы могут стать решением данной проблемы. Имеется не только возможность создавать новые визуальные языки для различных предметных областей на их основе, но и разработать эффективные алгоритмы для выполнения различных операций над моделями, построенными с использованием этих языков. В статье дано определение HP-графа, а также приведено обоснование выразительной мощности предложенной модели, описаны основные операции для HP-графов. Выбранный графовый формализм объединяет возможности различных типов графов для представления визуальных моделей и позволяет создать на его основе гибкий редактор моделей для DSM-платформы, реализовать эффективные алгоритмы выполнения операций, в частности, трансформации моделей.

Modern radio-engineering complexes, computers, and navigation systems placed on moving objects (aircrafts, ships, cars, etc.) may be subjected to significant pulsed and vibration mechanical loads during exploitation, such as impacts, vibrations, linear overloads, and acoustic noise. They may distort the parameters of electric signals, introduce additional errors into instrument readings, and destroy elements of equipment. Therefore, there is a need to minimize undesirable motions of these devices. An efficient way to do this is to organize passive vibration isolation of device, based on the use of inertial, elastic, dissipative, and other passive elements. The object of this study is a block of electronic devices fixed (using a system of four dampers) on a rigid platform of a supporting structure, which is subjected to translational vibrations in three mutually orthogonal directions. As a result, angular vibrations are excited in the insulated block. Mathematical modeling of the block response to external disturbances is performed in the framework of the classical theory of rigid body dynamics. A series of numerical experiments is performed to determine the response of the kinematic characteristics of insulated block to an external periodic action at different values of the stiffness coefficient and energy dissipation coefficients of dampers and different positions of the center of mass of the system. It is shown that a deviation of the position of the center of mass from that of the center of rigidity, as well as a change in the stiffness and energy dissipation coefficients of dampers within the spread of their mean values, cause a significant increase in the angular oscillations of insulated block.