| главная| | новый номер| | архив статей| | редколлегия| | авторам| | издательство| |
 English |
 |
 |
 |
 |
 |
 |
|
|
АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№10. Том 21. 2015
УДК 004.3.06
В. Б. Бетелин, акад. РАН, директор, e-mail: betelin@niisi.msk.ru, В. А. Галатенко, д-р физ.-мат. наук, ст. науч. сотр., зав. сектором, e-mail: galat@niisi.msk.ru, К. А. Костюхин, канд. физ.-мат. наук, ст. науч. сотр., e-mail: kost@niisi.msk.ru, НИИ системных исследований РАН, Москва
Контролируемое выполнение приложений на многопроцессорных платформах
Разработка качественных сложных аппаратно-программных комплексов — длительный, трудоемкий процесс. Считается, что около половины времени уходит на отладку. Переход на многоядерные процессорные архитектуры сделал использование сильносвязанных систем нормой. Это делает отладку таких систем еще более важной и, одновременно, более сложной. Рассматривается предложенная авторами концепция контролируемого выполнения и ее применение к отладке сильносвязанных многопроцессорных комплексов.
Ключевые слова: контролируемое выполнение, отладка, мониторинг, трассировка, сильносвязанные системы
С. 723—728
УДК 004.384, 004.31
С. Г. Бобков1, 2, д-р техн. наук, зам директора, e-mail: bobkov@cs.niisi.ras.ru, О. В. Сердин1, канд. техн. наук, зам. зав. отделения, e-mail: serdin@cs.niisi.ras.ru
1НИИ системных исследований РАН
2НИЯУ МИФИ
Проблемы унификации микросхем космического применения на примере международного проекта космического телескопа "ГАММА-400"*
Рассмотрены аспекты унификации электронных компонентов различных уровней: микросхем, интерфейсов, модулей, программного обеспечения, применяемых в космическом приборостроении. Представлена система сбора научной информации, разрабатываемая НИИСИ РАН для проекта космического телескопа "ГАММА-400". Даны основные характеристики комплекта высоконадежных и сбоеустойчивых микросхем разработки НИИСИ РАН, которые позволяют проектировать различные электронные системы космической аппаратуры.
Ключевые слова: "ГАММА-400", система сбора научной информации, КНИ-технология, система на кристалле, 8-портовый коммутатор SpaceWire, 6-портовый коммутатор SerialRapidIO, интерфейс SpaceWire, интерфейс SerialRapidIO.
С. 728—735
*Работа выполнена в рамках проекта по созданию вычислительной системы космического телескопа "ГАММА-400" и при поддержке гранта РФФИ № 14-29-09207 офи_м "Фундаментальные аспекты конструктивно-схемотехнической организации элементов радиационно-стойких запоминающих устройств для высокотемпературной микроэлектроники ".
УДК 004.318
М. Е. Барских1, зав. сектором, e-mail: barskikh@cs.niisi.ras.ru, С. Г. Бобков1, 2, д-p техн. наук, зам. директора, e-mail: bobkov@cs.niisi.ras.ru
1НИИ системных исследований РАН
2НИЯУ МИФИ
Исследование влияния динамического предсказания ветвлений на производительность перспективных микропроцессоров НИИСИ PAH
Проведено исследование влияния различных способов предсказания команд условного перехода на производительность микропроцессоров с RISC-архитектурой КОМДИВ. Проведены сравнительные исследования влияния параметров схемы динамического предсказания на ее точность. Подготовлена методика проведения подобных исследований и обоснована корректность реализации блока.
Ключевые слова: суперскалярный процессор, динамическое предсказание переходов, моделирование
С. 736—742
УДК 51-74
А. В. Вишнеков, д-р техн. наук, проф., проф. каф., Е. М. Иванова, доц., доц. каф., e-mail: avishnekov@hse.ru, emivanova@hse.ru, Департамент компьютерной инженерии Московского института электроники и математики Национального исследовательского университета "Высшая школа экономики", Москва
К вопросу об автоматизации процедур определения победителей конкурсов научно-технических проектов и стартапов
Рассматриваются вопросы построения автоматизированных систем для определения победителей конкурсов научно-технических проектов на основе применения методов поддержки принятия решений. Предлагается интегрированный подход, включающий процедуры методов аналитических иерархий и групповых методов экспертной оценки многокритериальных альтернатив. Приводятся примеры расчетов, иллюстрирующие данный подход.
Ключевые слова: конкурс проектов, автоматизированные системы, поддержка принятия решений
С. 743—748
УДК 004.272.2
А. Л. Стемпковский, д-р техн. наук, академик РАН, директор, Д. В. Тельпухов, канд. техн. наук, зав. отделом, e-mail: nofrost@inbox.ru, P. А. Соловьев, канд. техн. наук, вед. науч. сотр., М. В. Мячиков, студент, инженер-исследователь, Институт проблем проектирования в микроэлектронике PАН
Повышение отказоустойчивости логических схем с использованием нестандартных мажоритарных элементов*
Рассмотрена актуальная задача повышения надежности комбинационных микроэлектронных схем. Предложен новый способ повышения отказоустойчивости с использованием нестандартных мажоритарных элементов (воутеров), который опирается на использование неравномерности сигнала на выходе схемы, благодаря чему появляется возможность построения более эффективных воутеров. Рассмотрен обобщенный подход внесения избыточности в схему в целях повышения надежности, а также разработана методика построения таблицы истинности оптимального мажоритарного элемента. В экспериментальной части было проведено сравнение метода с классическим трехкратным мажорированием. На частных примерах показана высокая эффективность метода в сравнении с традиционными подходами.
Ключевые слова: метод повышения надежности, отказоустойчивость, комбинационная схема, мажорирование
С. 749—756
*Исследование выполнено за счет гранта Российского научного фонда (проект № 14-19-01036).
УДК 004.272.44, 004.94
Д. Н. Змеев, науч. сотр., e-mail: zmeievdn@ippm.ru, А. В. Климов, ст. науч. сотр., e-mail: klimov@ippm.ru, Н. Н. Левченко, канд. техн. наук, зав. отделом, e-mail: nick@ippm.ru, А. С. Окунев, канд. техн. наук, вед. науч. сотр., e-mail: oku@ippm.ru, А. Л. Стемпковский, д-р техн. наук, акад. РАН, директор, e-mail: ippm@ippm.ru, Институт проблем проектирования в микроэлектронике РАН (ИППМ РАН), Зеленоград, Москва
Эмуляция аппаратно-программных средств параллельной потоковой вычислительной системы "Буран"*
Описывается эмулятор, реализующий архитектуру параллельной потоковой вычислительной системы (ППВС) "Буран" на кластерных компьютерах. Эмулятор является составной частью программного комплекса для оценки возможности выполнения задач пользователя с использованием потоковой модели вычислений и определения оптимальной архитектуры. Приведены основные предпосылки к созданию программного эмулятора ППВС "Буран", особенности его построения, а также базовые алгоритмы организации основного цикла работы процесса эмуляции.
Ключевые слова: потоковая модель вычислений, эмулятор ППВС "Буран", спецвычислители, новая парадигма вычислений
С. 757—763
*Работа выполнена с использованием ресурсов суперкомпьютерного комплекса МГУ имени М. В. Ломоносова [22].
УДК 519.86
С. И. Спивак1, д-р физ.-мат. наук, проф., зав. кафедрой, semen.spivak.@mail.ru, О. Г. Кантор2, канд. физ.-мат. наук, доц., ст. науч. сотрудник, e-mail: o_kantor@mail.ru
1ФГБОУ ВПО Башкирский государственный университет
2ФГБУН Институт социально-экономических исследований Уфимского научного центра РАН
Чебышевское приближение в задачах эконометрического моделирования*
Исследована возможность применения идеи задачи чебышеского приближения к проблеме идентификации эконометрических моделей. Показана связь оптимального решения задачи чебышевского приближения со средней ошибкой аппроксимации — критерием точности модели. Предложенные подходы к оценке параметров эконометрических моделей нивелируют ряд объективно существующих проблем и позволяют учитывать важные с точки зрения исследователя требования непосредственно на этапе идентификации.
Ключевые слова: идентификация модели, верификация модели, чебышевское приближение
С. 764—771
*Исследование выполнено при финансовой поддержке РФФИ (проект № 13-01-00749 "Качество моделей математической обработки наблюдений в социальных и экономических системах").
УДК 621.372.061
В. В. Ракитин1, 2, канд. техн. наук, ст. науч. сотр., С. Г. Русаков1, чл.-корр. РАН, проф., гл. науч. сотр., rusakov@ippm.ru
1Институт проблем проектирования в микроэлектронике РАН, Москва
2ФГУП "НИИ Физических проблем им. Ф. В. Лукина", Москва
Генераторные схемы на мемристорных элементах
Обсуждается состояние разработок генераторных схем на мемристорных приборах. Показаны особенности конструирования автогенераторных схем при использовании свойств мемристоров. Рассмотрены базовые схемотехнические решения безиндуктивных и безреактивных генераторов, а также хаотических генераторов на мемристорных приборах.
Ключевые слова: мемристоры, мемристорные системы, мемристорные генераторы, безиндуктивные генераторы, безреактивные генераторы, хаотические генераторы
С. 772—781
УДК 004.3
А. Б. Барский, д-р техн. наук, проф., e-mail: arkbarsk@mail.ru, Московский государственный университет путей сообщения
Обучаемые и самообучающиеся системы распознавания, управления и принятия решений на логических нейронных сетях
Рассматривается применение логических нейронных сетей в ассоциативных "бесформульных" вычислениях трудно-формализуемых задач и задач имитационного моделирования, в медицинских информационно-справочных системах, в системах идентификации пользователя, в адаптивной пошаговой маршрутизации беспроводных телекоммуникационных и транспортных сетей, а также в самообучающихся системах управления по нечетким данным.
Приводятся рекомендации по более качественному воплощению некоторых известных систем принятия решений.
Ключевые слова: логическая нейронная сеть, функция активации, матрица следования, ассоциативные вычисления, информационно-справочные системы, самообучающиеся системы управления
С. 783—792
УДК 004.942
Л. С. Куравский, д-р техн. наук, проф., декан, e-mail: l.s.kuravsky@gmail.com, П. А. Мармалюк, канд. техн. наук, доц., Г. А. Юрьев, канд. физ.-мат. наук, доц., П. Н. Думин, аспирант, Московский городской психолого-педагогический университет, факультет информационных технологий
Методы численной идентификации марковских моделей и их сравнительный анализ*
Представлены численные методы нулевого и первого порядка, предназначенные для идентификации марковских процессов с дискретными состояниями и непрерывным временем по результатам наблюдений, а также технология вычислительного эксперимента, обеспечивающего сравнение характеристик эффективности рассматриваемых подходов. Анализ результатов проведенных экспериментов показал, что разработанные методы идентификации имеют преимущества перед классическим градиентным методом первого порядка. Рассмотренные алгоритмы можно применять для настройки параметров обучаемых структур, включая нейронные сети.
Ключевые слова: марковские модели, идентификация моделей, многомерная нелинейная оптимизация, обучаемые структуры
С. 792—800
*Работа выполнена при поддержке Российского фонда фундаментальных исследований (проект № 14-06-00191) и Российского гуманитарного научного фонда (проект № 14-06-12012).