АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№12. Том 24. 2018

К оглавлению

УДК 004.272.2
DOI: 10.17587/it.24.755-762

А. Л. Стемпковский, д-р техн. наук, академик РАН, науч. руководитель, Д. В. Тельпухов, канд. техн. наук, зав. отд., Р. А. Соловьев, канд. техн. наук, вед. науч. сотр., Ю. В. Битков, науч. сотр., Институт проблем проектирования в микроэлектронике РАН (ИППМ РАН)
e-mail: nofrost@inbox.ru

Разработка методов автоматизации ресурсоориентированной функциональной коррекции логических схем

В современном процессе проектирования СБИС нередко возникают ситуации, когда неправильная работа схемы обнаруживается лишь на этапе заключительной верификации. Хуже, когда ошибки проявляются даже после заключительного этапа проектирования или производства микросхем. Исправление ошибок на таких поздних стадиях требует огромных трудовых и финансовых затрат. Для минимизации этих затрат были разработаны методы внесения функциональных изменений на поздних стадиях проектирования (engeneering change order, ECO) для внесения правок в окончательный проект вместо того, чтобы выполнять полное перепроектирование.
В работе предложены методы автоматизации функциональной коррекции схем на базе структурного анализа, формальных методов и симуляционных подходов. Реализованы программные средства, демонстрирующие высокую эффективность на ряде реальных задач.
Ключевые слова: engeneering change order (ECO), функциональная коррекция, конфликты, ICCAD Contest

УДК 004.2
DOI: 10.17587/it.24.763-771

А. Б. Барский, д-р техн. наук, проф., e-mail: arkbarsk@mail.ru, Д. И. Мельник, канд. техн. наук, ст. науч. сотр., e-mail: mdi_dim@mail.ru, НИИЦ (г. Москва) ЦНИИ ВВКО Минобороны РФ

Сетевая технология проектирования асинхронной вычислительной системы на общем решающем поле с самоуправляемой параллельной обработкой данных

Исследуется возможность построения макета управляющей двухпроцессорной вычислительной системы, обладающей общим решающим полем, с асинхронной обработкой данных по принципу data flow. Макет выполняется на базе мультимикропроцессорной системы "Сивуч-1", объединяющей 36 микропроцессоров "Эльбрус". Цель макетирования — создание инструментального средства для экспериментальных исследований в области достижения высокой производительности вычислительных средств и специального программного обеспечения, а также высокоустойчивых и безопасных вычислений.
Ключевые слова: сетевая технология, макетирование, data flow, процессор, вычислитель, процессор памяти

УДК 004.75
DOI: 10.17587/it.24.772-781

В. А. Богатырев, д-р техн. наук, проф., e-mail: vladimir.bogatyrev@gmail.com, С. А. Паршутина, аспирант, e-mail: svetlana.parshutina@gmail.com, Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики

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

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

С. 772–781

УДК 004.04:004.415.23
DOI: 10.17587/it.24.782-790

С. А. Инютин, д-р техн. наук, проф. e-mail: inyutin_int@mail.ru, Московский авиационный институт (Национальный исследовательский университет) (МАИ)

Комплексирование систем счисления для многоразрядных вычислительных процессов

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

С. 782–790

УДК 004.75
DOI: 10.17587/it.24.791-798

Р. Р. Фаткиева, канд. техн. наук, доц., e-mail: rikki2@yandex.ru, С. Р. Рыжков, программист, e-mail: Ryzhkov@iias.spb.su, Федеральное государственное бюджетное учреждение науки Санкт-Петербургский институт информатики и автоматизации Российской академии наук

Оценка нарушения периметра информационной безопасности в облачной среде

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

C. 791–798

Работа выполнена при частичной поддержке гранта РФФИ 16-29-09482.

УДК 004.023
DOI: 10.17587/it.24.799-804

В. Д. Корепанов, студент, e-mail: korepanov.viacheslav@yandex.ru, В. П. Кулагин, д-р техн. наук, проф., e-mail: Kulagin_VP@mgupi.ru, Р. Ф. Халабия, канд. техн. наук, доц., e-mail: rustam-capitan@mail.ru, Российский технологический университет

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

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

C. 799–804

УДК 550.8.05:004.93
DOI: 10.17587/it.24.805-812

А. Г. Злобина, канд. техн. наук, науч. сотр., e-mail: ELF54@yandex.ru, И. В. Журбин, д-р ист. наук, канд. техн. наук, гл. науч. сотр., e-mail: zhurbin@udm.ru, Удмуртский федеральный исследовательский центр Уральского отделения Российской академии наук, г. Ижевск

Сравнительный анализ алгоритмов сегментации данных электропрофилирования при восстановлении границы объекта

Эффективным способом построения линии границы объекта искусственного происхождения, расположенного в приповерхностном слое грунта, является сегментация данных электропрофилирования. Сравнительный анализ результатов обработки данных компьютерного моделирования и натурного эксперимента показал, что использование алгоритмов нечеткой кластеризации — fuzzy c-means и Густафсона—Кесселя — обеспечивает наибольшую степень соответствия восстановленной и истинной границы объекта поиска.
Ключевые слова: электропрофилирование, объекты искусственного происхождения, локальная аномалия, сегментация, линия границы объекта, алгоритм fuzzy c-means, алгоритм Густафсона—Кесселя, критерий Hausdorff's distance, критерий pixel distance error, моделирование, натурный эксперимент

C. 805–812

Оглавление