Отрывок: системы У А 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.issued | 2007 | ru |
dc.identifier | RU/НТБ СГАУ/WALL/Дис/Т 98-789743 | ru |
dc.identifier.citation | Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : дис. ... д-ра техн. наук : 05.13.12 : защищена 09.11.2007 / Тюгашев Андрей Александрович ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-line | ru |
dc.description.abstract | ДСП | ru |
dc.description.abstract | Труды сотрудников СГАУ (электрон. версия) | ru |
dc.description.abstract | Используемые программы: Adobe Acrobat | ru |
dc.format.extent | Электрон. дан. (1 файл : 9,83 Мбайт) | ru |
dc.language.iso | rus | ru |
dc.relation.isformatof | Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] : дис. ... д-ра техн. н | ru |
dc.title | Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов | ru |
dc.type | Text | ru |
dc.subject.rubbk | 05.13.12 | ru |
dc.subject.rugasnti | 55.49 | ru |
dc.subject.udc | 629.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); // предикат СК - коммут... | - |
Располагается в коллекциях: | Диссертации (Закрыто) |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Тюгашев А.А. Синтез и верификация.pdf | 10.07 MB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.