Отрывок: Графическим образом многовходовой модели, наглядно описы вающим ее и одновременно являю щ ихся одним из главны х видов технической документации на УА РВ, является временная диаграмма. Поскольку интуитивно ясно, что для одной и той же семантики УА РВ в приведен ном выше смысле возможно несколько реализаций в виде различных логшсо-временньгх...
Название : | Проблема семантико-синтаксической эквивалентности моделей управляющих алгоритмов реального времени |
Авторы/Редакторы : | Калантьев А. А. Тюгашев А. А. |
Дата публикации : | 2002 |
Библиографическое описание : | Калантьев, А. А. Проблема семантико-синтаксической эквивалентности моделей управляющих алгоритмов реального времени / А. А. Калантьев, А. А. Тюгашев // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. X Всерос. науч.-техн. семинара по упр. движением и навигации летат. аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева [и др.] ; пред. редкол. В. Л. Балакин. - Самара, 2002. - С. 152-155. |
Другие идентификаторы : | RU/НТБ СГАУ/WALL/629.7.05/У677-770650 |
Ключевые слова: | модели управляющих алгоритмов управление в реальном времени семантико-синтаксическая эквивалентность CASE-системы автоматизированная разработка программ виды семантической неоднозначности |
Располагается в коллекциях: | Управление движением и навигация ЛА |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
5-93424-060-9_2002-152-155.pdf | 125.92 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.