Отрывок: Тот факт, что 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.accessioned | 2022-01-24 10:04:18 | - |
dc.date.available | 2022-01-24 10:04:18 | - |
dc.date.issued | 1979 | ru |
dc.identifier | RU\НТБ СГАУ\474134 | ru |
dc.identifier.citation | Шамашов, М. А. Формальное описание процесса эмуляции СУВМ. - Текст : электронный / М. А. Шамашов // Автоматизация экспериментальных исследований : межвуз. сб. - Текст : электронный / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; под ред. В. А. Виттиха. - 1979. - Вып. 10. - С. 37-40 | ru |
dc.identifier.uri | http://repo.ssau.ru/handle/Avtomatizaciya-eksperimentalnyh-issledovanii/Formalnoe-opisanie-processa-emulyacii-SUVM-95378 | - |
dc.description.abstract | Определяется необходимость разработок эмуляторов специализированных УВМ на инструментальных ЭВМ. Предлагается подход к формальному описанию процесса функционирования моделей специализированных вычислителей. | ru |
dc.relation.ispartof | Автоматизация экспериментальных исследований : межвуз. сб. - Текст : электронный | ru |
dc.source | Автоматизация экспериментальных исследований. - Вып. 10 | ru |
dc.title | Формальное описание процесса эмуляции СУВМ | ru |
dc.type | Text | ru |
dc.citation.epage | 40 | ru |
dc.citation.spage | 37 | ru |
dc.textpart | Тот факт, что tyi моделирует состояние хс , обозначим y ' i ~ X o - Определим конечное множество команд инструментальной машины: Л , ■■■ I f i ) \ . Введем множество семантических эквивалентов: r = { h ,Г 2 > у Г т } . Каждый элемент этого множества - вектор, содержащий определенны; набор 1 команд инструментальной ЭВМ: Tl — \fiil ’ -Pil > ' • * > fix. J > где /= ТГк ; 38 Выполнение набора команд, содержащихся в... | - |
Располагается в коллекциях: | Автоматизация экспериментальных исследований |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Стр.-37-40.pdf | 134.69 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.