Отрывок: В диссертации приводится алгоритм, позволяющий построить логико-временную схему управляющего алгоритма по его семантике, сгенерированной, в свою очередь, на основе спецификации на языке формальной теории УА РВ. Кроме того, становится возможной верификация логико-временной схе...
Полная запись метаданных
Поле 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.issued2007ru
dc.identifierRU/НТБ СГАУ/WALL/Автореф/Т 98-631476ru
dc.identifier.citationТюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : автореферат дис. ... д-ра техн. наук : 05.13.12 / А. А. Тюгашев ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-lineru
dc.description.abstractТруды сотрудников СГАУ (электрон. версия)ru
dc.description.abstractИспользуемые программы: Adobe Acrobatru
dc.format.extentЭлектрон. дан. (1 файл : 595 Кбайт)ru
dc.language.isorusru
dc.relation.isformatofСинтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] : автореферат дис. ...ru
dc.titleСинтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратовru
dc.typeTextru
dc.subject.rubbk05.13.12ru
dc.subject.rugasnti55.49ru
dc.subject.udc629.78(043.3)ru
dc.textpartВ диссертации приводится алгоритм, позволяющий построить логико-временную схему управляющего алгоритма по его семантике, сгенерированной, в свою очередь, на основе спецификации на языке формальной теории УА РВ. Кроме того, становится возможной верификация логико-временной схе...-
Располагается в коллекциях: Авторефераты

Файлы этого ресурса:
Файл Размер Формат  
Тюгашев А.А.pdf595.69 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики
Поделиться:



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