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

К оглавлению

УДК 004.416.2 + 004.432.42
DOI: 10.17587/it.29.3-11

О. В. Непомнящий, канд. техн. наук, доц.,
Сибирский федеральный университет, г. Красноярск

О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого синтеза СБИС

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

УДК 681.518.5 + 004.052.32                                                         
DOI: 10.17587/it.29.12-22

Д. В. Ефанов, д-р техн. наук, проф.,
Санкт-Петербургский политехнический университет Петра Великого, Российский университет транспорта, Москва, ООО "НИПИ "ТРАНССТРОЙБЕЗОПАСНОСТЬ", Санкт-Петербург,
М. В. Зуева, программист-аналитик,
ООО "ИБС Санкт-Петербург", Санкт-Петербург

Модифицированные коды Хэмминга в системах технического диагностирования вычислительных устройств

Установлены ранее неизвестные характеристики обнаружения ошибок по видам и кратностям в кодовых словах модифицированных кодов Хэмминга. Описаны правила построения данной модификации кодов Хэмминга. Приводятся подробные характеристические таблицы кодов с длинами информационных векторов
m = 4...16. Дается краткий анализ свойств обнаружения ошибок рассматриваемыми кодами. Результаты, полученные в исследовании, могут эффективно применяться при синтезе цифровых вычислительных устройств с контролепригодными структурами, а также при синтезе самопроверяемых схем встроенного контроля по методу логического дополнения. Ключевым свойством модифицированных кодов Хэмминга является невозможность 100%-ного обнаружения двукратных ошибок во всех разрядах кодовых слов при обнаружении любых одно- и двукратных ошибок, возникающих только в информационных разрядах. Именно поэтому рекомендуется при синтезе схем встроенного контроля по методу логического дополнения преобразовывать только те функции, описывающие рабочие выходы объекта диагностирования, которые будут формировать контрольные разряды модифицированного кода Хэмминга, а преобразуемые и не преобразуемые выходы выделять в две группы независимых выходов. Приведенные в статье результаты экспериментов с тестовыми комбинационными схемами подтверждают эффективность применения рассматриваемых кодов при синтезе СВК по методу логического дополнения.
Ключевые слова: самопроверяемая схема встроенного контроля, модифицированный код Хэмминга, взвешенный код с суммированием, метод логического дополнения для синтеза схем встроенного контроля, харак­теристики обнаружения ошибок в кодовых словах

C. 12–22

Представленная статья написана по результатам исследований, поддержанных грантом № МД-2533.2021.4 Президента Российской Федерации.

УДК 65.011.56                                                                                
DOI: 10.17587/it.29.23-32

И. Т. Кимяев, канд. техн. наук, архитектор,
ООО "Норникель Спутник", Москва,
Б. В. Соколов, д-р техн. наук, проф., гл. науч. сотр.,
Федеральное государственное бюджетное учреждение науки "Санкт-Петербургский исследовательский центр Российской академии наук" (СПб ФИЦ РАН), г. Санкт-Петербург

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

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

C. 23–32

УДК 004.946                                                                                   
DOI: 10.17587/it.29.32-38

К. С. Степанов, преподаватель, Т. В. Степанова, ассистент,
Нижегородский государственный инженерно-экономический университет

Определение оптимальной модели разработки приложений виртуальной реальности

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

УДК 658.5.012.7                                                                            
DOI: 10.17587/it.29.39-46

П. А. Русских, ассистент, О. В. Дрозд, канд. техн. наук, доц., Д. В. Капулин, канд. техн. наук, доц., зав. кафедрой,
Сибирский федеральный университет, г. Красноярск

Метод синхронного оперативно-производственного планирования многономенклатурного позаказного производства

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

С. 39–46

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

УДК 681.5:519.87                                                                           
DOI: 10.17587/it.29.47-50

Ю. В. Полищук, д-р техн. наук, проф.,
Московский технический университет связи и информатики

Графодинамическая система с контролем информационной энтропии как средство управления производственными системами

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

УДК 004.67
DOI: 10.17587/it.29.51-56

С. В. Бочкарев, канд. техн. наук, технический директор,
ООО "Синтез-АТ", г. Санкт-Петербург

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

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

C. 51–56

Оглавление