Отрывок: В диссертации приводится алгоритм, позволяющий построить логико-временную схему управляющего алгоритма по его семантике, сгенерированной, в свою очередь, на основе спецификации на языке формальной теории УА РВ. Кроме того, становится возможной верификация логико-временной схе...
Название : | Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов |
Авторы/Редакторы : | Тюгашев А. А. Самарский государственный аэрокосмический университет им. С. П. Королева |
Дата публикации : | 2007 |
Библиографическое описание : | Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : автореферат дис. ... д-ра техн. наук : 05.13.12 / А. А. Тюгашев ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-line |
Аннотация : | Труды сотрудников СГАУ (электрон. версия) Используемые программы: Adobe Acrobat |
Другие идентификаторы : | RU/НТБ СГАУ/WALL/Автореф/Т 98-631476 |
Ключевые слова: | бортовые вычислительные системы верификация алгоритмом космические аппараты синтез алгоритмов управляющие алгоритмы реального времени |
Располагается в коллекциях: | Авторефераты |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Тюгашев А.А.pdf | 595.69 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.