Отрывок: системы У А 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
Ключевые слова: космические аппараты
бортовые вычислительные системы
верификация алгоритмом
управляющие алгоритмы реального времени
синтез алгоритмов
Располагается в коллекциях: Диссертации (Закрыто)

Файлы этого ресурса:
Файл Размер Формат  
Тюгашев А.А. Синтез и верификация.pdf10.07 MBAdobe PDFПросмотреть/Открыть  
Показать полное описание ресурса Просмотр статистики
Поделиться:



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