SCI Библиотека

Выполнен сравнительный анализ производительности отечественных и зарубежных МК с ядром Cortex-M3. Представлены оценки быстродействия и эффективности выполнения операций отечественных МК К1986ВЕ92QI, К1986ВЕ91Т и их зарубежных аналогов STM32F103C8, STM32F100RBT6. Разработаны тестовые программы для измерения быстродействия при выполнении арифметических операций с целыми числами и числами с плавающей точкой. Проведен сравнительный анализ скорости обращения к портам ввода/вывода с помощью библиотек CMSIS, SPL «Миландр» и «STMicroelectronics». Представлен программный код тестов вычисления числа п и чисел ряда Фибоначчи. Разработаны тесты и представлены результаты расчета числа из ряда Фибоначчи рекурсивным вызовом функции и линейным алгоритмом расчета в цикле.

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

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

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

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

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