Отрывок: В силу сказанного ситуационное исчисление, которое впредь будет обозначаться как 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.issued | 2016 | ru |
dc.identifier | RU\НТБ СГАУ\537220 | ru |
dc.identifier.citation | Коптев, А. А. Интеллектуальные системы управления производством сложной продукции / А. А. Коптев, А. Н. Коптев, А. М. Петричко // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XVIII Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара, 15-17 июня 2015 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) (СГАУ) [и др.] ; науч. ред. сб. В. Л. Балакин. - Самара : Изд-во СНЦ РАН, 2016Ч. 2. - 2016. - С. 111-114. | ru |
dc.language.iso | rus | ru |
dc.relation.ispartof | Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XVIII Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара | ru |
dc.source | Управление движением и навигация летательных аппаратов. - Ч. 2 | ru |
dc.title | Интеллектуальные системы управления производством сложной продукции | ru |
dc.type | Text | ru |
dc.citation.epage | 114 | ru |
dc.citation.spage | 111 | ru |
dc.textpart | В силу сказанного ситуационное исчисление, которое впредь будет обозначаться как SC, можно представить как пятёрку: SC = (R , F, S, а, П). Она состоит из множества предикатов R, множества операторов F, множества состояний S, систем аксиом а, множества объектов £2. 112 Предикатные буквы Р, Q и т. д., дополненные указанием аргументов, используются для записи выражений, которые могут быть истинными или ложны... | - |
Располагается в коллекциях: | Управление движением и навигация ЛА |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
978-5-906605-78-8_2016-111-114.pdf | 94.31 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.