SlideShare ist ein Scribd-Unternehmen logo
1 von 10
ПРОГРАММА МОДЕЛИРОВАНИЯ АЛГОРИТМА
ПАРАЛЛЕЛЬНЫХ ПОДСТАНОВОК И ПРИМЕР
ЕГО РЕАЛИЗАЦИИ НА ПЛИС

Баранов Е. Ю., РГАТА, СКБ ИТ
Введение
Вычислительные системы ориентированные на
параллельное исполнение программ:
 многоядерные процессоры;
 GPU-вычислители;
 системы на ПЛИС;
Описание алгоритма
параллельных подстановок






A – конечный алфавит;
M – множество имен;
Клетка - пара (a, m), принадлежащая
множеству A×M;
Клеточный массив W (слово) –
конечная совокупность клеток, в
которой нет ни одной пары клеток с
одинаковыми именами.
Пример задания АПП
Алгоритм параллельных
подстановок в действии
DSL язык QuickPSA
Основная цель – упрощение написания и отладки систем параллельных
подстановок.
Структура программы на QuickPSA:

psa <имя_проекта> {
alpha: {<список_состояний>}
// алфавит состояний
talpha: {<список_переменных>} // алфавит переменных символов
inputword: <клетка> | …
// задание входного слова
function: <имя_функции> (<аргументы>) {<тело_функции>}
sub <имя_подстановки> {
// подстановка
S1:
//конфигурация 1
S2:
//конфигурация 2
S3:
//конфигурация 3
}
}
GUI для QuickPSA
Реализация АПП сложения двоичных
положительных чисел на ПЛИС
Геометрические образы конфигураций:

Принцип “центра подстановки”
Схема соединения клеточных
автоматов
Спасибо за внимание!

Weitere ähnliche Inhalte

Mehr von Alexander Petrov

робототехника - проблемы и перспективы (СМП-2014)
робототехника - проблемы и перспективы (СМП-2014)робототехника - проблемы и перспективы (СМП-2014)
робототехника - проблемы и перспективы (СМП-2014)
Alexander Petrov
 
портативный тифлоплеер с голосовым управлением
портативный тифлоплеер с голосовым управлениемпортативный тифлоплеер с голосовым управлением
портативный тифлоплеер с голосовым управлением
Alexander Petrov
 
Стенд РТК ТАДиОМ
Стенд РТК ТАДиОМСтенд РТК ТАДиОМ
Стенд РТК ТАДиОМ
Alexander Petrov
 
Автономный мобильный робот (АМР-1)
Автономный мобильный робот (АМР-1)Автономный мобильный робот (АМР-1)
Автономный мобильный робот (АМР-1)
Alexander Petrov
 
Биржа инновационных проектов
Биржа инновационных проектовБиржа инновационных проектов
Биржа инновационных проектов
Alexander Petrov
 
Проект системы управления гидродинамическим стендом.
Проект системы управления гидродинамическим стендом.Проект системы управления гидродинамическим стендом.
Проект системы управления гидродинамическим стендом.
Alexander Petrov
 
обзор методов построения карт глубин2
обзор методов построения карт глубин2обзор методов построения карт глубин2
обзор методов построения карт глубин2
Alexander Petrov
 
презентация Microsoft power point
презентация Microsoft power pointпрезентация Microsoft power point
презентация Microsoft power point
Alexander Petrov
 

Mehr von Alexander Petrov (20)

учебное оборудование для вуза сатэк
учебное оборудование для вуза сатэкучебное оборудование для вуза сатэк
учебное оборудование для вуза сатэк
 
Язык программирования SocLang (VKLang)
Язык программирования SocLang (VKLang)Язык программирования SocLang (VKLang)
Язык программирования SocLang (VKLang)
 
робототехника - проблемы и перспективы (СМП-2014)
робототехника - проблемы и перспективы (СМП-2014)робототехника - проблемы и перспективы (СМП-2014)
робототехника - проблемы и перспективы (СМП-2014)
 
портативный тифлоплеер с голосовым управлением
портативный тифлоплеер с голосовым управлениемпортативный тифлоплеер с голосовым управлением
портативный тифлоплеер с голосовым управлением
 
Стенд РТК ТАДиОМ
Стенд РТК ТАДиОМСтенд РТК ТАДиОМ
Стенд РТК ТАДиОМ
 
Стенд РТК МЛС
Стенд РТК МЛССтенд РТК МЛС
Стенд РТК МЛС
 
Автономный мобильный робот (АМР-1)
Автономный мобильный робот (АМР-1)Автономный мобильный робот (АМР-1)
Автономный мобильный робот (АМР-1)
 
Биржа инновационных проектов
Биржа инновационных проектовБиржа инновационных проектов
Биржа инновационных проектов
 
Сайт кафедры мпо эвс
Сайт кафедры мпо эвсСайт кафедры мпо эвс
Сайт кафедры мпо эвс
 
Проект "Стенд" для проведения лабораторных работ по физике
Проект   "Стенд" для проведения лабораторных работ по физикеПроект   "Стенд" для проведения лабораторных работ по физике
Проект "Стенд" для проведения лабораторных работ по физике
 
проект стенд__
проект   стенд__проект   стенд__
проект стенд__
 
Проект системы управления гидродинамическим стендом.
Проект системы управления гидродинамическим стендом.Проект системы управления гидродинамическим стендом.
Проект системы управления гидродинамическим стендом.
 
Устройство микроджойстик
Устройство микроджойстикУстройство микроджойстик
Устройство микроджойстик
 
Разработка охранной сигнализации «СКАТ»
Разработка охранной сигнализации «СКАТ» Разработка охранной сигнализации «СКАТ»
Разработка охранной сигнализации «СКАТ»
 
Cell и MC#
Cell и MC#Cell и MC#
Cell и MC#
 
Satek easy mcu - english
Satek easy mcu - englishSatek easy mcu - english
Satek easy mcu - english
 
верификация
верификацияверификация
верификация
 
обзор методов построения карт глубин2
обзор методов построения карт глубин2обзор методов построения карт глубин2
обзор методов построения карт глубин2
 
презентация Microsoft power point
презентация Microsoft power pointпрезентация Microsoft power point
презентация Microsoft power point
 
пид 2009 12_30
пид 2009 12_30пид 2009 12_30
пид 2009 12_30
 

Программа моделирования алгоритма параллельных подстановок и пример его реализации на ПЛИС

Hinweis der Redaktion

  1. Параллельность вычислений Противоречивость подстановок (наложение конфигураций контекста и левой части)