Отрывок: Тот факт, что tyi моделирует состояние хс , обозначим y ' i ~ X o - Определим конечное множество команд инструментальной машины: Л , ■■■ I f i ) \ . Введем множество семантических эквивалентов: r = { h ,Г 2 > у Г т } . Каждый элемент этого множества - вектор, содержащий определенны; набор 1 команд инструментальной ЭВМ: Tl — \fiil ’ -Pil > ' • * > fix. J > где /= ТГк ; 38 Выполнение набора команд, содержащихся в...
Название : Формальное описание процесса эмуляции СУВМ
Авторы/Редакторы : Шамашов М. А.
Дата публикации : 1979
Библиографическое описание : Шамашов, М. А. Формальное описание процесса эмуляции СУВМ. - Текст : электронный / М. А. Шамашов // Автоматизация экспериментальных исследований : межвуз. сб. - Текст : электронный / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; под ред. В. А. Виттиха. - 1979. - Вып. 10. - С. 37-40
Аннотация : Определяется необходимость разработок эмуляторов специализированных УВМ на инструментальных ЭВМ. Предлагается подход к формальному описанию процесса функционирования моделей специализированных вычислителей.
URI (Унифицированный идентификатор ресурса) : http://repo.ssau.ru/handle/Avtomatizaciya-eksperimentalnyh-issledovanii/Formalnoe-opisanie-processa-emulyacii-SUVM-95378
Другие идентификаторы : RU\НТБ СГАУ\474134
Ключевые слова: эмуляторы
эмуляция СУВМ
универсальные вычислительные машины (УВМ)
специализированные УВМ (СУВМ)
Располагается в коллекциях: Автоматизация экспериментальных исследований

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



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