АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№1. Том 31. 2025

К оглавлению

УДК 004.052.32 + 681.518.5
DOI: 10.17587/it.31.3-15

Д. В. Ефанов, д-р техн. наук, проф.,
Санкт-Петербургский политехнический университет Петра Великого, Российский университет транспорта, Москва, Ташкентский государственный транспортный университет, Республика Узбекистан, ООО "НИПИ "ТрансСтройбезопасность", г. Санкт-Петербург,
Е. И. Елина, аспирант,
Санкт-Петербургский политехнический университет Петра Великого

Учет способов взвешивания разрядов информационного вектора при построении кода с суммированием в кольце вычетов по модулю M = 4 при синтезе самопроверяемых дискретных устройств на основе логической коррекции сигналов

Показано, что при синтезе схем встроенного контроля на основе логической коррекции сигналов могут эффективно использоваться взвешенные коды с суммированием в кольце вычетов по модулю M = 4 (взвешенные коды Боуза—Лина) с различными массивами весовых коэффициентов. Подробнее рассмотрены коды с четырь­мя информационными и двумя проверочными символами, используемые при организации контроля вычислений в группе из шести выходов объекта диагностирования. Выделены четыре массива весовых коэффициентов: [1, 1, 1, 2], [1, 1, 2, 3], [1, 2, 2, 3], [2, 2, 2, 3], использование которых при построении взвешенного кода Боуза—Лина приводит к формированию для каждого контрольного вектора ровно по одному информационному вектору видов: <00ab>, <01 ab>, <10ab>, <11 ab>, где a, b ' {0, 1}. Это свойство позволяет использовать коды с указанными массивами весовых коэффициентов при синтезе схем встроенного контроля с преобразованием только части сигналов от объекта диагностирования — двух сигналов, участвующих в формировании младших разрядов информационного вектора. Приведены результаты экспериментальных исследований взвешенных кодов Боуза—Лина при синтезе схем встроенного контроля на основе логической коррекции сигналов по двум алгоритмам. Первый алгоритм основан на использовании преобразования только тех сигналов от объекта диагностирования, которые участвуют в формировании проверочных символов. Второй алгоритм основан на преобразовании только тех сигналов от объекта диагностирования, которые участвуют в формировании двух младших разрядов информационного вектора. Экспериментально установлено, что наибольшей эффективностью по показателям структурной избыточности обладают самопроверяемые устройства, синтезированные с применением кода с массивом весовых коэффициентов [2, 2, 2, 3] (в среднем достигнуто значение показателя структурной избыточности в 73 % от структуры дублирования). Далее по данному показателю идут устройства, синтезированные с применением кода с массивом весовых коэффициентов [1, 2, 2, 3] (в среднем 76...77 % от структуры дублирования). Использование при построении кода массивов весовых коэффициентов [1, 1, 2, 3] и [1, 1, 1, 2] дает несколько меньший эффект (в среднем 79...81 % от структуры дублирования). Показано, что для обеспечения полной самопроверяемости структур устройств потребуется использовать перестановки выходов внутри контролируемых групп выходов исходного объекта диагностирования и между группами. Результаты исследования могут учитываться при разработке самопроверяемых цифровых устройств, а также программных средств их автоматизированного проектирования.

C. 3–15

УДК 519.873
DOI: 10.17587/it.31.16-23

И. В. Ольшанская, канд. техн. наук, доц., С. Н. Федоренко, ст. преподаватель,
Севастопольский государственный университет

Однопоточная автоматизированная линия с промежуточными накопителями и различными видами простоев производственных ячеек

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

C. 16-23

УДК 004.8, 004.023
DOI: 10.17587/it.31.24-34

О. С. Амосов, д - р техн. наук, проф., гл. науч. сотр., С . Г . Амосова , канд. техн. наук, ст. науч . сотр.,
Институт проблем управления им . В. А. Трапезникова РАН, Москва

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

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

С. 24–34

УДК 004.7, 001.83
DOI: 10.17587/it.31.35-41

А. Г. Абрамов, канд. физ.-мат. наук, начальник отдела, А. А. Гончар, зам. руководителя Объединенного вычислительного кластера, А. В. Евсеев, руководитель Центра управления национальной исследовательской сетью, Б. М. Шабанов, д-р техн. наук, чл.-корр. РАН, заместитель директора,
Национальный исследовательский центр "Курчатовский институт"

Результаты развития национальной исследовательской компьютерной сети России в рамках нацпроекта "Наука и университеты" в 2021—2024 гг.

Приводятся и обсуждаются основные результаты выполненных в период 2021—2024 гг. в рамках национального проекта "Наука и университеты" работ по развитию национальной исследовательской компьютерной сети России (НИКС). Рассматриваются реализованные мероприятия по расширению территориальной доступности и увеличению пропускной способности магистральной инфраструктуры, обеспечению высокоскоростной и надежной отраслевой сетевой связности, подключению к сети ведущих научных и образовательных организаций высшего образования страны. Представлена динамика развития магистральной инфраструктуры сети, регионального охвата, поэтапного прироста числа подключенных организаций и некоторые другие статистические сведения о пользовательской базе. Обсуждаются перспективы и возможные направления дальнейшего развития НИКС.
Ключевые слова: национальная исследовательская компьютерная сеть, НИКС, РДИГ, национальная научно-образовательная сеть, магистральная инфраструктура, пропускная способность, территориальная до­ступность, ведущие научные и образовательные организации

С. 35-41

Публикация подготовлена в рамках государственного задания НИЦ "Курчатовский институт" по теме № FNEF -2024-00 I 4. Работа выполнена при поддержке Центра коллективного пользования "Национальная исследовательская компьютерная сеть" (код: 3576270).

УДК 004.052.4
DOI: 10.17587/it.31.42-55

С. М. Авдошин, канд. техн. наук, проф., А. М. Литвиненко, магистрант,
Национальный исследовательский университет "Высшая школа экономики" (НИУ ВШЭ), Москва

Обзор методов верификации смарт-контрактов

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

С. 42-55

Исследование выполнено с использованием суперкомпьютерного комплекса НИУ ВШЭ

К оглавлению