Отрывок: В диссертации приводится алгоритм, позволяющий построить логико-временную схему управляющего алгоритма по его семантике, сгенерированной, в свою очередь, на основе спецификации на языке формальной теории УА РВ. Кроме того, становится возможной верификация логико-временной схе...
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Тюгашев А. А. | ru |
dc.contributor.author | Самарский государственный аэрокосмический университет им. С. П. Королева | ru |
dc.coverage.spatial | бортовые вычислительные системы | ru |
dc.coverage.spatial | верификация алгоритмом | ru |
dc.coverage.spatial | космические аппараты | ru |
dc.coverage.spatial | синтез алгоритмов | ru |
dc.coverage.spatial | управляющие алгоритмы реального времени | ru |
dc.creator | Тюгашев А. А. | ru |
dc.date.issued | 2007 | ru |
dc.identifier | RU/НТБ СГАУ/WALL/Автореф/Т 98-631476 | ru |
dc.identifier.citation | Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : автореферат дис. ... д-ра техн. наук : 05.13.12 / А. А. Тюгашев ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-line | ru |
dc.description.abstract | Труды сотрудников СГАУ (электрон. версия) | ru |
dc.description.abstract | Используемые программы: Adobe Acrobat | ru |
dc.format.extent | Электрон. дан. (1 файл : 595 Кбайт) | ru |
dc.language.iso | rus | ru |
dc.relation.isformatof | Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] : автореферат дис. ... | ru |
dc.title | Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов | ru |
dc.type | Text | ru |
dc.subject.rubbk | 05.13.12 | ru |
dc.subject.rugasnti | 55.49 | ru |
dc.subject.udc | 629.78(043.3) | ru |
dc.textpart | В диссертации приводится алгоритм, позволяющий построить логико-временную схему управляющего алгоритма по его семантике, сгенерированной, в свою очередь, на основе спецификации на языке формальной теории УА РВ. Кроме того, становится возможной верификация логико-временной схе... | - |
Располагается в коллекциях: | Авторефераты |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Тюгашев А.А.pdf | 595.69 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.