|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Информатика
Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов
А. А. Тюгашев
(публикуется на условиях лицензии Creative Commons Attribution 4.0 International)
Аннотация:
Описывается основанная на логико-алгебраическом подходе математическая модель для представления управляющих алгоритмов и программ реального времени, предназначенных для координации работы бортовой аппаратуры космических аппаратов. Предлагается модель семантики управляющего алгоритма реального времени. Приводится формальная теория (исчисление) управляющих алгоритмов. Рассмотрены примеры описания параллельных управляющих алгоритмов с помощью основанной на предлагаемой модели инструментальной графической программной системы.
Поступила 12.05.2005
Образец цитирования:
А. А. Тюгашев, “Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов”, Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 38, СамГТУ, Самара, 2005, 19–25
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vsgtu365 https://www.mathnet.ru/rus/vsgtu/v38/p19
|
Статистика просмотров: |
Страница аннотации: | 410 | PDF полного текста: | 251 | Список литературы: | 51 |
|