С. Г. Бобков, канд. техн. наук,
Научно-исследовательский институт системных исследований РАН

Методика проектирования микросхем для компьютеров серии "Багет"

Рассматривается маршрут проектирования индустриальных микросхем серии 1890 с технологическими нормами 0,5...0,18 мкм.

Стр. 2 - 7

наверх

П. Н. Бибило, д-р техн. наук, проф.,
Объединенный институт проблем информатики Национальной академии наук Беларуси, г. Минск

Совместное использование синтезаторов Leonardo и XST при проектировании цифровых схем на FPGA

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

Стр. 7 - 12

наверх

А. Б. Аюпов, Интел,
А. М. Марченко, д-р техн. наук, ИППМ РАН

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

Предложен новый метод явной оптимизации трассируемости в аналитических алгоритмах размещения. Показан способ использования деревьев Штейнера в качестве модели цепи в алгоритме размещения. Результаты экспериментов показывают улучшение трассируемости на 15 % в сравнении с алгоритмом A Place.

Стр. 12 - 17

наверх

А. П. Карпенко, д-р физ.-мат. наук, проф.,
В. Г. Федорук, канд. техн. наук, Е. В. Федорук
МГТУ им. Н. Э. Баумана

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

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

Стр. 17 - 24

А. В. Климов, ИТМиВТ им. С. А. Лебедева РАН

Умножение плотных матриц на неоднородных высокопараллельных вычислительных системах (анализ коммуникационной нагрузки)

При распараллеливании задач на системе из большого числа процессоров важное значение имеет коммуникационная нагрузка на сеть и способность сети справляться с этой нагрузкой. На примере задачи умножения плотных матриц изучаются требования, предъявляемые к коммуникационному обеспечению вычислительной системы. В качестве эталона системы рассматривается проект суперкомпьютера Merrimac [I]. Его развитая многоуровневая коммуникационная сеть обеспечивает хорошие пропускные способности на разных уровнях локальности. Обос-новывается тезис о важности снижения коммуникационных затрат за счет выбора оптимального распределения вычислений по процессорным элементам. Демонстрируется возможность выбора оптимального распределения, не зависящего от параметров сети.

Стр. 24 - 31

А. С. Оленин, д-р физ.-мат. наук,
Институт проблем проектирования в микроэлектронике РАН

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

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

Стр. 31 - 34

Галазин А. Б., Грабежной А. В., Нейман-заде М. И., канд. физ.-мат. наук, ЗАО "МЦСТ"
galazin@mcst.ru, grab_av@mcst.ru, muradnz@mcst.ru

Оптимизация размещения данных для эффективного исполнения программ для архитектур с многобанковой кэш-памятью данных

Различные исследования показывают, что блоки-ровки кэш-памяти являются важной проблемой достижения высокой производительности. В данной статье рассматривается структура блокировок многобанкового кэша и предлагается новый метод уменьшения их числа. Рассматриваемый метод был реализован в оптимизирующем компиляторе для микропроцессора "Эльбрус" и продемонстрировал свою эффективность на задачах пакетов Spec95 и Spec2000.

Стр. 35 - 39

Ю. Н. Ильин, Московский физико-технический институт (государственный университет)

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

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

Стр. 39 - 45

В. М. Картак., канд. физ.-мат. наук, доц.,
Э. А. Мухачева, д-р техн. наук, проф., Л. И. Васильева, канд. техн. наук,
Уфимский государственный авиационный технический университет,
А. А. Петунии, канд. техн. наук, доц.,
Уральский государственный технический университет, г. Екатеринбург

Задача размещения ортогональных многоугольников: модели и алгоритм покоординатной упаковки

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

Стр. 46 - 53

В. М. Захаров, д-р техн. наук, Б. Ф. Эминов, КГТУ им. А. Н. Туполева

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

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

Стр. 54 - 59

наверх

А. Д. Десятов, А. А. Сирота, д-р техн. наук, проф., Воронежский государственный университет

Имитационное моделирование систем с адаптивной структурой на основе технологий автоматизированного создания моделей в среде MatLab + Simulink + Stateflow

Описывается применение интегрированной инструментальной среды MatLab + Simulink + Stateflow для моделирования систем с адаптивной структурой. Особое внимание уделяется вопросам автоматизированного создания многоэлементных, многоуровневых моделей систем с изменяемой структурой на основе базовых компонентов. В качестве примера такой системы рассматривается служба поддержки на предприятии в сфере оказания информационных услуг.

Стр. 59 - 66

наверх

С. М. Авдошин, канд. техн. наук, проф., А. С. Зайцев,
Государственный университет - Высшая школа экономики, г. Москва

Технология извлечения функциональной нагрузки вредоносного кода

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

Стр. 66 - 71

наверх

А. В. Душкин, канд. техн. наук, доц.,
Воронежский государственный технический университет

Распознавание и оценка угроз несанкционированного воздействия на защищенные информационно-телекоммуникационные системы

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

Стр. 71 - 75

наверх

С. П. Копысов, канд. физ.-мат. наук, A. К. Новиков, канд. физ.-мат. наук, А. Б. Пономарев,
B. Н. Рычков, канд. физ.-мат. наук, Ю. А. Сагдеева, Институт прикладной механики УрО РАН

Программная среда построения расчетных моделей метода конечных элементов для параллельных распределенных вычислений

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

Стр. 75 - 82

наверх

П. В. Емельянов, К. С. Коротаев,
Московский физико-технический институт

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

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

Стр. 83 - 85

наверх

Bobkov S. G. The Procedure of Chip Design for "Bagel" Family Computers

Bibilo P. N. Combined Use of Synthesizers Leonardo and XST in Logical Design of Digital Circuits on the Basis of FPGA

Ayupov А. В., Marchenko A. M. Congestion-Driven Analytical Placement of Standard Cells

Karpenko A. P., Fedoruk V. G., Fedoruk E. V. Efficiency Evaluation of Load Balancing in Multiprocessor Computer Systems While Solving a Certain Class of Computational Problems

Klimov A. V. Dense Matrix Multiplication on Non- Uniform Highly Parallel Computer Systems (Analysis of Communicational Load)

Olenin A. S. Problems of the Tasks Approximate Constructing

Galazin А. В., Grabezhnoy A. V., Neiman-zade M. I. A Compiler Technique of Data Layout Organization for Effective Execution on Architecture with Multibankea Data Cache

llin Yu. N. Analysis of the Energy Efficiency of the In-Order Multithreaded Processor

Kartak V. M., Mukhacheva E. A. Vasilyeva L. I., Petunin A. A. Packing Problem of Orthogonal Polygons: Models and Parallel Coordinate Packing Algorithm

Zaharov V. M., Eminov B. F. Analysis of Decomposition's Algorithms of Binary-Rational Stochastic Matrixes on Combination of Boolean Matrixes

Desyatov A. D., Sirota A. A. Simulation of Adaptive Systems on Basis of Technologies for Automated Model Generation in Development Environment MatLab + Simulink + Stateflow

Avdoshin S. M., Zaitsev A. S. Function Extraction Technology for Malicious Code

Dushkin A. V. Recognition and Estimation of Threats not Authorized Influence on the Protected Information-Telecommunication Systems

Kopyssov S. P., Novikov A. K., Ponomaryov А. В., Rychkov V. N., Sagdeeva Yu. A. A Program Environment for Construction of Computational Models for Parallel Distributed Computing

Emelianov P. V., Korotaev K. S. Model of Guaranteed Resource Allocation in Operating System

наверх

оглавление