Отрывок: системы У А 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); // предикат СК - коммут...
Полная запись метаданных
Поле 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-789743ru
dc.identifier.citationТюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : дис. ... д-ра техн. наук : 05.13.12 : защищена 09.11.2007 / Тюгашев Андрей Александрович ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-lineru
dc.description.abstractДСПru
dc.description.abstractТруды сотрудников СГАУ (электрон. версия)ru
dc.description.abstractИспользуемые программы: Adobe Acrobatru
dc.format.extentЭлектрон. дан. (1 файл : 9,83 Мбайт)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.subject.udcДисru
dc.textpartсистемы У А 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); // предикат СК - коммут...-
Располагается в коллекциях: Диссертации (Закрыто)

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



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