Отрывок: Тот факт, что tyi моделирует состояние хс , обозначим y ' i ~ X o - Определим конечное множество команд инструментальной машины: Л , ■■■ I f i ) \ . Введем множество семантических эквивалентов: r = { h ,Г 2 > у Г т } . Каждый элемент этого множества - вектор, содержащий определенны; набор 1 команд инструментальной ЭВМ: Tl — \fiil ’ -Pil > ' • * > fix. J > где /= ТГк ; 38 Выполнение набора команд, содержащихся в...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorШамашов М. А.ru
dc.coverage.spatialэмуляторыru
dc.coverage.spatialэмуляция СУВМru
dc.coverage.spatialуниверсальные вычислительные машины (УВМ)ru
dc.coverage.spatialспециализированные УВМ (СУВМ)ru
dc.creatorШамашов М. А.ru
dc.date.accessioned2022-01-24 10:04:18-
dc.date.available2022-01-24 10:04:18-
dc.date.issued1979ru
dc.identifierRU\НТБ СГАУ\474134ru
dc.identifier.citationШамашов, М. А. Формальное описание процесса эмуляции СУВМ. - Текст : электронный / М. А. Шамашов // Автоматизация экспериментальных исследований : межвуз. сб. - Текст : электронный / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; под ред. В. А. Виттиха. - 1979. - Вып. 10. - С. 37-40ru
dc.identifier.urihttp://repo.ssau.ru/handle/Avtomatizaciya-eksperimentalnyh-issledovanii/Formalnoe-opisanie-processa-emulyacii-SUVM-95378-
dc.description.abstractОпределяется необходимость разработок эмуляторов специализированных УВМ на инструментальных ЭВМ. Предлагается подход к формальному описанию процесса функционирования моделей специализированных вычислителей.ru
dc.relation.ispartofАвтоматизация экспериментальных исследований : межвуз. сб. - Текст : электронныйru
dc.sourceАвтоматизация экспериментальных исследований. - Вып. 10ru
dc.titleФормальное описание процесса эмуляции СУВМru
dc.typeTextru
dc.citation.epage40ru
dc.citation.spage37ru
dc.textpartТот факт, что tyi моделирует состояние хс , обозначим y ' i ~ X o - Определим конечное множество команд инструментальной машины: Л , ■■■ I f i ) \ . Введем множество семантических эквивалентов: r = { h ,Г 2 > у Г т } . Каждый элемент этого множества - вектор, содержащий определенны; набор 1 команд инструментальной ЭВМ: Tl — \fiil ’ -Pil > ' • * > fix. J > где /= ТГк ; 38 Выполнение набора команд, содержащихся в...-
Располагается в коллекциях: Автоматизация экспериментальных исследований

Файлы этого ресурса:
Файл Размер Формат  
Стр.-37-40.pdf134.69 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.