Отрывок: системы У А bool operator< (UA); // Слабое предшествование У А bool o p e ra to r« (UA); // Сильное предшествование УА bool operator>= (UA); // Слабое следование У А bool operator> (UA); // Слабое следование У А bool operator== (UA); // Равенство У А bool operator!= (UA); // Неравенство УА // Часть предикатов совпадает по именам с операциями, но имеет различные типы результатов и на этой основе различается bool CH(UA); // предикат СН - коммутативен bool CK(UA); // предикат СК - коммут...
Название : | Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов |
Авторы/Редакторы : | Тюгашев А. А. Самарский государственный аэрокосмический университет им. С. П. Королева |
Дата публикации : | 2007 |
Библиографическое описание : | Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : дис. ... д-ра техн. наук : 05.13.12 : защищена 09.11.2007 / Тюгашев Андрей Александрович ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-line |
Аннотация : | ДСП Труды сотрудников СГАУ (электрон. версия) Используемые программы: Adobe Acrobat |
Другие идентификаторы : | RU/НТБ СГАУ/WALL/Дис/Т 98-789743 |
Ключевые слова: | космические аппараты бортовые вычислительные системы верификация алгоритмом управляющие алгоритмы реального времени синтез алгоритмов |
Располагается в коллекциях: | Диссертации (Закрыто) |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Тюгашев А.А. Синтез и верификация.pdf | 10.07 MB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.