Отрывок: В силу сказанного ситуационное исчисление, которое впредь будет обозначаться как SC, можно представить как пятёрку: SC = (R , F, S, а, П). Она состоит из множества предикатов R, множества операторов F, множества состояний S, систем аксиом а, множества объектов £2. 112 Предикатные буквы Р, Q и т. д., дополненные указанием аргументов, используются для записи выражений, которые могут быть истинными или ложны...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorКоптев А. А.ru
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.coverage.spatialуправление сложными производственными комплексамиru
dc.coverage.spatialпроизводство сложной продукцииru
dc.creatorКоптев А. А., Коптев А. Н., Петричко А. М.ru
dc.date.issued2016ru
dc.identifierRU\НТБ СГАУ\537220ru
dc.identifier.citationКоптев, А. А. Интеллектуальные системы управления производством сложной продукции / А. А. Коптев, А. Н. Коптев, А. М. Петричко // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XVIII Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара, 15-17 июня 2015 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) (СГАУ) [и др.] ; науч. ред. сб. В. Л. Балакин. - Самара : Изд-во СНЦ РАН, 2016Ч. 2. - 2016. - С. 111-114.ru
dc.language.isorusru
dc.relation.ispartofУправление движением и навигация летательных аппаратов : сб. [науч.] тр. XVIII Всерос. семинара по упр. движением и навигации летат. аппаратов (Самараru
dc.sourceУправление движением и навигация летательных аппаратов. - Ч. 2ru
dc.titleИнтеллектуальные системы управления производством сложной продукцииru
dc.typeTextru
dc.citation.epage114ru
dc.citation.spage111ru
dc.textpartВ силу сказанного ситуационное исчисление, которое впредь будет обозначаться как SC, можно представить как пятёрку: SC = (R , F, S, а, П). Она состоит из множества предикатов R, множества операторов F, множества состояний S, систем аксиом а, множества объектов £2. 112 Предикатные буквы Р, Q и т. д., дополненные указанием аргументов, используются для записи выражений, которые могут быть истинными или ложны...-
Располагается в коллекциях: Управление движением и навигация ЛА

Файлы этого ресурса:
Файл Размер Формат  
978-5-906605-78-8_2016-111-114.pdf94.31 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики
Поделиться:



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