С. Г. Бобков, канд. техн. наук,
Научно-исследовательский институт системных исследований РАН
Методика проектирования микросхем для компьютеров серии "Багет"
Рассматривается маршрут проектирования индустриальных микросхем серии 1890 с технологическими нормами 0,5...0,18 мкм.
П. Н. Бибило, д-р техн. наук, проф.,
Объединенный институт проблем информатики Национальной академии наук Беларуси, г. Минск
Совместное использование синтезаторов Leonardo и XST при проектировании цифровых схем на FPGA
Описываются результаты экспериментального исследования реализаций цифровых схем на FPGA. Показывается, что более эффективную реализацию комбинационных схем на FPGA во многих случаях можно получить путем совместного использования двух синтезаторов ≈ Leonardo и XST.
А. Б. Аюпов, Интел,
А. М. Марченко, д-р техн. наук,
ИППМ РАН
Метод оптимизации трассируемости в аналитическом алгоритме размещения стандартных ячеек
Предложен новый метод явной оптимизации трассируемости в аналитических алгоритмах размещения. Показан способ использования деревьев Штейнера в качестве модели цепи в алгоритме размещения. Результаты экспериментов показывают улучшение трассируемости на 15 % в сравнении с алгоритмом A Place.
А. П. Карпенко, д-р физ.-мат. наук, проф.,
В. Г. Федорук, канд. техн. наук, Е. В. Федорук
МГТУ им. Н. Э. Баумана
Балансировка загрузки многопроцессорной системы при распараллеливании одного класса вычислительных задач
Исследуются статические и динамические методы балансировки загрузки многопроцессорных вычислительных систем при распараллеливании одного класса вычислительных задач.
А. В. Климов,
ИТМиВТ им. С. А. Лебедева РАН
Умножение плотных матриц на неоднородных высокопараллельных вычислительных системах (анализ коммуникационной нагрузки)
При распараллеливании задач на системе из большого числа процессоров важное значение имеет коммуникационная нагрузка на сеть и способность сети справляться с этой нагрузкой. На примере задачи умножения плотных матриц изучаются требования, предъявляемые к коммуникационному обеспечению вычислительной системы. В качестве эталона системы рассматривается проект суперкомпьютера Merrimac [I]. Его развитая многоуровневая коммуникационная сеть обеспечивает хорошие пропускные способности на разных уровнях локальности. Обосновывается тезис о важности снижения коммуникационных затрат за счет выбора оптимального распределения вычислений по процессорным элементам. Демонстрируется возможность выбора оптимального распределения, не зависящего от параметров сети.
А. С. Оленин, д-р физ.-мат. наук,
Институт проблем проектирования в микроэлектронике РАН
Проблемы приближенного конструирования задач
Рассматриваются проблемы приближения произвольных вычислительных структур совокупностью базовых элементов, вопросы создания условий, при которых архитектура ЭВМ могла бы на ранних стадиях разработки функционировать с учетом специфики больших задач, отмечено важное значение для этого концепции подобия, предложен семантический метод построения приближенных моделей реальных задач.
Галазин А. Б.,
Грабежной А. В.,
Нейман-заде М. И., канд. физ.-мат. наук,
ЗАО "МЦСТ"
galazin@mcst.ru, grab_av@mcst.ru, muradnz@mcst.ru
Оптимизация размещения данных для эффективного исполнения программ для архитектур с многобанковой кэш-памятью данных
Различные исследования показывают, что блокировки кэш-памяти являются важной проблемой достижения высокой производительности. В данной статье рассматривается структура блокировок многобанкового кэша и предлагается новый метод уменьшения их числа. Рассматриваемый метод был реализован в оптимизирующем компиляторе для микропроцессора "Эльбрус" и продемонстрировал свою эффективность на задачах пакетов Spec95 и Spec2000.
Ю. Н. Ильин,
Московский физико-технический институт (государственный университет)
Анализ эффективности энергопотребления микропроцессора с упорядоченным выполнением команд в многопотоковом режиме исполнения
Одной из важнейших задач при проектировании современных микропроцессоров является сокращение их энергопотребления. В работе рассмотрены основные составляющие энергопотребления, критерии эффективности энергосберегающих микроархитектурных решений. Применение параллелизма на уровне потоков исполнения является эффективным средством повышения производительности и полезной загрузки устройств микропроцессора. Предлагается модель системы оценки производительности и потребляемой мощности для этого способа организации вычислений, а также проводится анализ эффективности энергопотребления микропроцессора с упорядоченным исполнением команд в многопотоковом режиме.
В. М. Картак, канд. физ.-мат. наук, доц.,
Э. А. Мухачева, д-р техн. наук, проф.,
Л. И. Васильева, канд. техн. наук,
Уфимский государственный авиационный технический университет,
А. А. Петунии, канд. техн. наук, доц.,
Уральский государственный технический университет, г. Екатеринбург
Задача размещения ортогональных многоугольников: модели и алгоритм покоординатной упаковки
Рассматривается задача размещения ортогональных многоугольников. Она встречается как индивидуальная проблема, так и в качестве аппроксимационной для многих задач размещения геометрических объектов сложной формы. Рассматривается постановка задачи в условиях массового производства. Предложен метод ее решения, основанный на покоординатной упаковке ориентированных многоугольников.
В. М. Захаров, д-р техн. наук,
Б. Ф. Эминов,
КГТУ им. А. Н. Туполева
Анализ алгоритмов разложения двоично-рациональных стохастических матриц на комбинацию булевых матриц
Рассматриваются алгоритмы разложения стохастических матриц цепей Маркова с двоично-рациональными элементами на имплицирующий вектор и множество стохастических булевых матриц. Для предлагаемых алгоритмов разложения оцениваются вычислительная сложность и размер имплицирующих векторов. Данные алгоритмы позволяют снизить вычислительную сложность разложения и получить более точную оценку размера имплицирующего вектора для заданной матрицы.
А. Д. Десятов,
А. А. Сирота, д-р техн. наук, проф.,
Воронежский государственный университет
Имитационное моделирование систем с адаптивной структурой на основе технологий автоматизированного создания моделей в среде MatLab + Simulink + Stateflow
Описывается применение интегрированной инструментальной среды MatLab + Simulink + Stateflow для моделирования систем с адаптивной структурой. Особое внимание уделяется вопросам автоматизированного создания многоэлементных, многоуровневых моделей систем с изменяемой структурой на основе базовых компонентов. В качестве примера такой системы рассматривается служба поддержки на предприятии в сфере оказания информационных услуг.
С. М. Авдошин, канд. техн. наук, проф.,
А. С. Зайцев,
Государственный университет ≈ Высшая школа экономики, г. Москва
Технология извлечения функциональной нагрузки вредоносного кода
Рассмотрена технология автоматизированного выявления действий вредоносных программ, заключающаяся в пошаговом извлечении поведенческих сигнатур и организации их в каталоги поведения. Эта технология многократно облегчает работу эксперта, анализирующего функциональную нагрузку вредоносного кода.
А. В. Душкин, канд. техн. наук, доц.,
Воронежский государственный технический университет
Распознавание и оценка угроз несанкционированного воздействия на защищенные информационно-телекоммуникационные системы
Показано моделирование процесса распознавания и оценивания угроз несанкционированного воздействия в виде компьютерной разведки и программно-технического воздействия на защищенные информационно-телекоммуникационные системы на основе декомпозиционного подхода.
С. П. Копысов, канд. физ.-мат. наук,
A. К. Новиков, канд. физ.-мат. наук,
А. Б. Пономарев,
B. Н. Рычков, канд. физ.-мат. наук,
Ю. А. Сагдеева,
Институт прикладной механики УрО РАН
Программная среда построения расчетных моделей метода конечных элементов для параллельных распределенных вычислений
Предлагается среда подготовки расчетных данных (конечно-элементная сетка с заданными характеристиками материала и граничными условиями), тесно связанная с описанием геометрии области. Рассматривается реализация алгоритмов, позволяющих строить, перестраивать и разделять сетки для параллельных вычислений методом конечных элементов.
П. В. Емельянов,
К. С. Коротаев,
Московский физико-технический институт
Математическая модель обеспечения гарантий выделения ресурсов операционной системы
Описывается подход к организации работы менеджера ресурсов операционной системы, ориентированный на гарантированное выделение заданного объема ресурсов. В основу положен принцип ограничения потребления имеющихся ресурсов в целях создания свободного резерва требуемого объема. Приводится математическое обоснование подхода.