|
||||||||||
|
УДК 004.3.02 Сравнительный анализ методов отладки цифровых систем на этапе проектирования Рассматриваются методы отладки, т. е. выявления и исправления ошибок в проектах цифровых систем, заданных схемой технических средств и текстом программного или микропрограммного обеспечения. Описывается отладка на изготовленном макете технических средств и на программной модели цифровой системы, а также на сочетании макета отдельных блоков и программной модели остальной части системы. Анализируются методы организации отладочных режимов для всех рассматриваемых методов. Указывается, что для цифровых систем на кристалле наиболее эффективным методом является отладка проектов на программной модели. УДК 004.023 В. В. Аристов, д-р физ.-мат. наук, проф., гл. науч. сотр., e-mail: aristovvl@yandex.ru, Вычислительный центр им. Дородницына ФИЦ "Информатика и управление" РАН, МИРЭА — Российский технологический университет, А. Д. Ястребов, аспирант. e-mail: andr.yast711@gmail.com, А. В. Строганов, канд. физ.-мат. наук, e-mail: savthe@gmail.com, МИРЭА — Российский технологический университет Развитие параллельного детерминистического метода решения уравнения Больцмана и его реализация с помощью OpenCL Предлагается оптимизация алгоритма для детерминистического метода решения кинетического уравнения Больцмана с использованием параллельных вычислений. Приводятся примеры применения метода для задач изучения динамики распределения средств и активов в экономических проблемах. Проводится сравнение использования ресурсов компьютера для приведенных алгоритмов и алгоритмов, описанных в более ранних работах. Показаны преимущества усовершенствованных алгоритмов. УДК 004.4'24:681.51 Т. М. Волосатова, канд. техн. наук, доц., tamaravol@gmail.com, МГТУ им. Н. Э. Баумана, г. Москва, А. В. Козов, инженер, alexey.kozov@gmail.com, А. А. Тачков, канд. техн. наук, нач. отдела "Автоматизированные транспортные системы", tachkov@bmstu.ru, НУЦ "Робототехника", МГТУ им. Н. Э. Баумана, г. Москва Система группового управления мобильными роботами с позиций автоматизированного проектирования Исследованы особенности процесса проектирования системы управления группой мобильных робототехнических комплексов, действующих в недетерминированной изменяющейся среде. Рассмотрен пример использования группы роботов для тушения пожара на объекте нефтегазового комплекса. Проведен анализ свойств системы группового управления, показано, что подобную систему необходимо рассматривать как динамически реконфигурируемую иерархическую дискретно-событийную систему, распределенную в пространстве. Отмеченные свойства рассмотрены с точки зрения задачи проектирования и реализации системы группового управления. Указаны особенности системы группового управления как объекта проектирования, отмечена возможность вертикальной и горизонтальной декомпозиции задачи проектирования, представлены методы синтеза и существующие программные инструменты. Проведенный анализ выявил необходимость автоматизации процесса проектирования программно-алгоритмического обеспечения систем группового управления. Описаны проектные процедуры синтеза и возможности их упрощения с помощью таких методов программной инженерии, как формальная верификация программного обеспечения и предметно-ориентированные языки. Сформулированы задачи специализированной системы автоматизированного проектирования программно-алгоритмического обеспечения системы группового управления мобильными робототехническими комплексами. Указаны направления развития данной работы. УДК 004.89 Система интеллектуально-адаптивного управления информационной инфраструктурой предприятия Предлагается новая система интеллектуально-адаптивного управления информационной инфраструктурой предприятия, функционирующая на основе ранее представленного [10] одноименного метода. Ее назначение заключается в осуществлении системного анализа, обработки информации и управления сложными системами информационной инфраструктуры предприятия в целях повышения их эффективности и отказоустойчивости даже в нештатных режимах работы. Предоставляется возможность противодействия несанкционированным исследованиям технических объектов и систем с исключением возможности компрометации управляющих воздействий. Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 18-00-00238 КОМФИ УДК 004.934 Л. В. Савченко, канд. техн. наук, e-mail: lsavchenko@hse.ru, Национальный исследовательский университет "Высшая школа экономики", Нижний Новгород Распознавание изолированных слов на основе взвешенного голосования дикторозависимых нейросетевых моделей Рассматривается задача распознавания изолированных слов с помощью методов глубокого обучения и сверточных нейронных сетей. Предложено выполнить дообучение сетей для проведения адаптации акустических моделей на голос диктора с использованием малого числа произнесенных им реализаций эталонных слов. Для понижения вероятности ошибочного распознавания рассматривается комбинирование нескольких различных дообученных дикторозависимых нейросетевых моделей. C. 290–296 УДК 004.942 Рассматривается один из подходов к оценке значения потенциала опасности при возникновении чрезвычайной ситуации на критически важных объектах с использованием информационно вероятностного метода и главных компонент. Каждый категорируемый объект описывается множеством неоднородных характеристик опасности в виде частных видов потерь при возникновении чрезвычайной ситуации от воздействия нарушителей. Информация обрабатывается методом главных компонент, формируется матрица факторных нагрузок, на основе которой проводится анализ связей и значимости влияния частных видов потерь на потенциал опасности объекта. Переходя к матрице главных компонент категорируемых объектов, можно получить весовые значения вклада компонент в потенциал опасности объекта при возникновении чрезвычайной ситуации. Для каждой категории критически важных объектов на основе информационно вероятностного метода определен потенциал опасности и необходимый (требуемый) уровень защищенности от воздействия нарушителей. Полученные результаты могут использоваться при обосновании требований к уровню защищенности каждой категории критически важных объектов и определении базового типового нарушителя. С. 297–301 УДК 004.434 Представлены результаты исследования одного из алгоритмов маршрутизации в ad-hoc сетях, а именно, в SON (самоорганизующихся сетях, от англ. self-organizing network), методом имитационного моделирования. Рассматриваются разновидности ad-hoc сетей и особенности реализации алгоритмов маршрутизации в этих сетях. Внимание сфокусировано на инструментальных средствах имитационного моделирования, указываются требования к программным средствам подобного рода, приводятся конструкции языка имитационного моделирования Triad. Моделирование выполняется в инструментальной среде TriadNS, разработанной авторами. C. 302–310 Работа поддержана Российским фондом фундаментальных исследований, проект № 18-01-00359
УДК 519.722 DOI: 10.17587/it.26.311-319 Г. В. Курцева, пенсионер, e-mail: gibiscus.geranium@yandex.ru Некоторые замечания к понятиям энтропия и информация Обосновывается определение энтропии как интенсивности вероятностного процесса. Вводится понятие абстрактного процесса, на основании которого информация определяется как внутреннее отношение систем с обратной связью. Предлагается новый подход к определению количества информации для детерминированных систем. |