237 Works

Инструментарий подготовки блочно-структурированной сетки для проведения расчетов методом RANS/ILES

Бендерский Л.А., Любимов Д.А. & Рыбаков А.А.
Метод RANS/ILES с явным разрешением турбулентных вихрей успешно применяется для расчета нестационарных турбулентных течений. Применение данного метода требует большого количества вычислительных ресурсов, которое может обеспечить только суперкомпьютер. При использовании суперкомпьютера остро встает вопрос распараллеливания вычислений и их масштабирования на расчетные сетки, содержащие большое количество ячеек. В данной статье описываются подходы к подготовке блочно-структурированной расчетной сетки, позволяющие эффективно проводить вычисления на суперкомпьютере с использованием RANS/ILES метода.

Базовые компоненты аппаратно-программного комплекса моделирования и управления тороидальной плазмой методом эпсилон-сетей на гетерогенных мини -суперкомпьютерах

Зайцев Ф.С., Шишкин А.Г., Лукьяница А.А., Сучков Е.П., Степанов С.В. & Аникеев Ф.А.
С помощью гетерогенных мини-супер-ЭВМ НИИСИ РАН сделан существенный шаг в решении новых важных фундаментальных задач управления высокотемпературной плазмой то-роидальной конфигурации. Разработаны и реализованы базовые компоненты аппаратно-программного комплекса моделирования и автоматического управления плазмой в реальном масшта-бе времени с обратной связью. В основе комплекса лежит принципиально новый, более точный и на-дёжный алгоритм управления, использующий решение с заданной точностью ряда обратных диагно-стических задач методом ε-сетей. Продемонстрирована возможность применения предложенной ме-тодики во время разряда для обеспечения управления с обратной...

Генератор стохастических тестов с ограниченным моделированием выполнения

Куцаев А.С.
Преимущество генераторов случайных тестов в простоте их применения. Стохастическое тестирование выявляет как обычные, так и специфические ошибки (редкие сочетания и недочеты спецификации). Тестирование составляющих проекта требует задания большого числа параметров, связанных с этими составляющими. Это вызывает необходимость автоматизации и развития модели целевого устройства. Для этого служит встроенный специализированный симулятор. Его использование позволяет снять ряд ограничений, в том числе при применении циклов для тестирования способов повышения быстродействия. Дальнейшее развитие возможностей генераторов случайных тестов требует автоматизировать средства...

Разработка компиляторов радиационно-стойких сбоеустойчивых СОЗУ по 65 нм КМОП технологии

Кириченко П.Г., Власов А.О., Морозов А.А., Тургенев П.В. & Васильев А.Г.
Данная статья посвящена разработке компиляторов статических синхронных однопортовых и двухпортовых ОЗУ, а также двухпортовых ОЗУ в варианте регистрового файла по технологии 65нм, предназначенных для функционирования в условиях воздействия внешних факторов. Были рассмотрены подходы по увеличению радиационной стойкости и сбоеустойчивости, реализация программного обеспечения (ПО) компилирования блоков памяти по заданным пользователем параметрам

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

Штейников Ю. Н.
В данной статье исследуются числа в заданном интервале, которые представляют два множества вычетов по двум различным модулям. Выводятся некоторые явные оценки, являющиеся правильными по порядку. В доказательстве используется одно неравенство для положительно определенных сеточных функций[gorb]. Данная ра- бота представляет собой несколько расширенный вариант статьи [I]. В отличие от работы [I] основной результат доказывается несколько другим способом.

О множестве вида A/A для плотных подмножеств интервала [1, n]

Кузнецов Ю.В., Петрунин М.М. & Штейников Ю.Н.
Изучается плотность множеств A/A для подмножеств интервала [1,n] и вычисляются некоторые его характеристики

Об оценке фильтрационной значимости нарушений, выделенных по геофизическим данным

Вольпин С.Г., Афанаскин И.В. & Юдин В.А.
Настоящая статья посвящена детализированному описанию авторского комплексного подхода для оценки фильтрационной значимости макро- и меганарушений, выделенных по данным геофизи-ческих исследований. Проанализирована возможность применения гидродинамических методов исследова-ния скважин и пластов для определения фильтрационной структуры и параметров дизъюнктивных наруше-ний на нефтяных залежах по данным: гидропрослушивания, применения трассерного метода и ГДИС.

Опыт применения платформы прототипирования на ПЛИС “Protium” для верификации микропроцессоров

Богданов А.Ю.
Рассматриваются вопросы применения платформы Protium для прототипирования микропроцессора. Приводятся полученные характеристики и рассматривается вопрос повышения производительности путём использования конструкций типа BlackBox.

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

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

Модель автономного агента, строящего и использующего когнитивную карту

Шарипова Т. И., Редько В. Г. & Бесхлебнова Г. А.
В статье построена модель автономного агента, который формирует когнитивную карту двумерного пространства и использует эту карту при поисковом поведении. Используется метод нейронного газа, в котором нейронная сеть формируется при обучении агента, память каждого нейрона запоминает определенную точку в пространстве. Исследуется поисковое поведение автономного агента в двумерном лабиринте. Показана возможность резкого сокращения размеров нейронной сети, в которой достаточно запоминать только те точки пространства, в которых сильно меняется окружающая ситуация

Улучшение скалярного нейросетевого дерева, используемого для поиска ближайшего соседа в бинарном пространстве большой размерности

Крыжановский Б.В. & Мальсагов М.Ю.
Рассматривается задача поиска ближайшего соседа в бинарном пространстве большой размерности, где искомая точка является искаженной версией одной из эталонных точек. Ранние исследования показали, что единственными алгоритмами способными решить поставленную задачу являются полный перебор и нейросетевое дерево поиска. В рамках данной задачи алгоритм превосходит по скорости работы полный перебор в десятки раз. Более того, на больших размерностях нейросетевое дерево поиска можно считать точным алгоритмом, т.к. вероятность ошибки не поддается измерению. В настоящей работе предлагается модификация скалярного...

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

Чернышев А. С. & Шмидт А. А.
В работе представлены результаты численного исследования течения полидисперсной пузырьковой среды. Математическое моделирование основано на эйлерово-эйлеровском подходе к описанию многофазных сред. Учет полидисперсности пузырьков осуществляется при помощи дискретной модели MUltiple SIze Group (MUSIG), в рамках которой непрерывное распределение пузырей по размерам представляется конечным набором классов, каждый из которых монодисперсен. Анализируется влияние количества выделенных классов на такие параметры потока, как скорость несущей фазы, объемная доля пузырей, удельная площадь межфазной поверхности и изменение функции распределения в потоке.

Методы эргономичного управления объектами и параметрами виртуальной среды

Мальцев А.В. & Михайлюк М.В.
В работе рассматривается задача реализации эргономичного бесконтактного интерфейса управления объектами и параметрами трехмерных виртуальных сцен. Для ее решения предлагаются методы и алгоритмы, основанные на идентификации поз и жестов рук оператора с использованием устройства Microsoft Kinect. Подробно описаны методы кодирования и определения управляющих поз и жестов. Апробация предложенных в статье решений была проведена в составе имитационно-тренажерного комплекса, разработанного в ФГУ ФНЦ НИИСИ РАН.

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

Бакалдин А.В., Баранов А.М., Кандалов П.И., Мадера А.Г. & Сердин О.В.
Бортовые серверы, обрабатывающие большие потоки данных, функционируют в жестких окружающих условиях, воздействии дестабилизирующих факторов и значительным энергопотреблением. Для обеспечения заданного теплового режима сервера необходимо применять современные технологии охлаждения, использующие контурные тепловые трубы, способные отводить мощность потребляемую мик-ропроцессором до 200 Вт. В данной работе проанализированы методики создания корпусов серверов с ис-пользованием современных технологий охлаждения с применением контурных тепловых труб. Рассматрива-ется тепловой режим конструкции на примере бортового сервера с десятью электронными модулями и ис-точником питания общей мощностью...

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

Щигорев Л.А.
В связи с проектированием в ЗАО НТЦ «Модуль» мультипроцессорных СБИС по технологиям суб-100-нм, становится актуальным вопрос о применении методов обхода поврежденных элементов статической оперативной памяти. Т.к. статическая память может занимать более половины площади всей микросхемы именно её вклад в общее количество дефектов становится решающим. Качественное решение данной задачи может в дальнейшем определить выход годных разрабатываемых устройств. Существует два основных способа блокирования поврежденных основных элементов встроенной памяти: замена и применение устройств на базе кодов обнаружения и...

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

Демидович В.Б.
Излагается историко-математический обзор результатов по интерполяции функций гладкими чебышёвскими обобщёнными полиномами.

Исследование влияния параметров клинового механизма на обеспечение теплоотвода модуля 6U в магистрально-модульной системе типа VPX

Зуйков А.В. & Воробьев А.А.
В данной статье рассматриваются подходы к обеспечению теплопередачи через клиновой механизм модуля 6U на корпус магистрально-модульной системы типа VPX с кондуктивным охлаждением. Рассмотрены варианты улучшения теплопередачи без изменения конструкции клинового механизма.

Исследование процессов самоорганизации в эволюционной модели прозрачной децентрализованной экономики

Сохова З. Б. & Редько В. Г.
В статье предлагается модель взаимодействия инвесторов и производителей в децентрализованной прозрачной экономической системе. Анализируются процессы эволюции и самоорганизации в данном сообществе. Предложен конкретный механизм распределения капитала инвесторов между производителями. Важной особенностью модели является прозрачность и децентрализация. Инвесторы и производители открыто обмениваются информацией о своих капиталах, эффективностях и намерениях с помощью легких агентов-посланников. Модель исследована с помощью компьютерного моделирования, результаты которого демонстрируют эффективность рассматриваемого механизма

Система тестирования логических моделей KMDTESTKIT

Сидоров С.А. & Слепов А.Б.
Описана Система тестирования KMDTESTKIT для программной верификации логических моделей систем на кристалле. Изложены основные задачи, решаемые системой и способы решения, ее состав и структура.

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

Смирнов Н.Н., Никитин В.Ф., Михайлюк М.В., Тимохин П.Ю., Тюренкова В.В. & Стамов Л.И.
В работе предлагается интерфейс для моделирования и визуального анализа результатов моделирования неустойчивого вытеснения нефти из пористых сред. Для визуализации поверхности уровня насыщенности вытесняющей жидкости предлагается использовать метод рейкастинга.

Воздействие тепловой обратной связи на температуру кристалла микросхемы

Мадера А.Г.
Потребляемая микросхемой мощность преобразуется в тепло, которое приводит к нагрева-нию микросхемы. В силу значительной зависимости электрических параметров микросхемы от температуры ее мощность потребления подвергается изменению, которое, в свою очередь, изменяет температуру и, как следствие, мощность потребления. Взаимно-обусловленное взаимодействие и влияние параметров электри-ческого и теплового режимов друг на друга, возникающее в процессе работы микросхемы, называется тепло-вой обратной связью. Тепловая обратная связь присуща любым электронным полупроводниковым устрой-ствам и неустранима. Воздействие тепловой обратной связи может как положительным, так...

Разработка банка алгоритмов и основ языка описания проблемы с целью минимизации числа программных ошибок

Семенов Ю.А., Овсянников А.П. & Овсянникова Т.В.
Программное обеспечение становится неотъемлемой составляющей всех современных технологий. По этой причине становится крайне важно минимизировать число программных ошибок. . Рассмотрены некоторые пути, которые могут помочь решить эту проблему, включая возможность создания языка описания проблемы, а не алгоритма

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

Захарченко А.А., Михальцов Е.П., Орешков М.В. & Троицкий В.Ю.
В статье описан метод повышения чувствительности установки светлопольного контроля дефектности на полупроводниковых пластинах с топологией, при наличии вариаций яркости изображения по пластине, обусловленных присутствием тонких диэлектрических слоев различной толщины. Показана реализация этого метода на основе установки ЭМ-6429Б в ФГУ ФНЦ НИИСИ РАН

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

Михайлюк М.В., Тимохин П.Ю. & Мальцев А.В.
В данной работе предлагается метод построения и визуализации плоского сечения по-верхности уровня (изоповерхности) насыщенности вытесняемой вязкой жидкости из образца пористой сре-ды. Визуализация усеченной полигональной модели изоповерхности осуществляется c помощью модифици-рованного метода «шагающих кубиков» (Marching Cubes) в масштабе реального времени с использованием возможностей современных графических карт. Для реализации предложенных алгоритмов создан программ-ный комплекс с эргономичным пользовательским интерфейсом.

Разработка собственных управляющих конструкций в среде ДССП для троичной машины

Бурцев А.А.
Системы программирования со словарной организацией (ФОРТ и ДССП) предоставляют пользователю-программисту уникальную возможность путём наращивания словаря сотворить по сути свой собственный язык программирования. При этом в качестве новых в словарь можно добавлять и такие слова, которые предназначены для управления ходом исполнения программы. В статье подробно рассматриваются приёмы разработки в среде ДССП-ТВМ (версии ДССП для троичной машины) особых процедур для таких слов (команд), которые обеспечивают функционирование добавляемых в язык ДССП своих собственных управляющих конструкций

Registration Year

  • 2018
    237

Resource Types

  • Text
    237

Data Centers

  • Federal Research Center Research Institute for System Studies of the Russian Academy of Sciences
    237