Найдено научных статей и публикаций: 4, для научной тематики: Логический вывод
1.
Ушань Владислав Николаевич
- Проблеми телекомунікацій , 2013
Предложен метод логического вывода для решения задач управления ресурсами телекоммуникационной сети. Результатом логического вывода является трансформация исходной задачи в задачу доказательства существования плана достижения глобальной цели, удовлетворяющего заданным начальным условиям функциониров...
Предложен метод логического вывода для решения задач управления ресурсами телекоммуникационной сети. Результатом логического вывода является трансформация исходной задачи в задачу доказательства существования плана достижения глобальной цели, удовлетворяющего заданным начальным условиям функционирования телекоммуникационной сети.
Ушань Владислав Николаевич Метод логического вывода в системе поддержки принятия решений для управления телекоммуникационной сетью // Проблеми телекомунікацій, Vol. 2013, Issue 3, 2013, pp. 79-92
2.
Тюгашев А.А., Шулындин А.В.
- СГАУ , 2012
описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов...
описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского
семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос.
аэрокосм. ун-т. Самара, 2012 С 157-160
3.
А. А. Тюгашев, А. Ю. Богатов
- Вестник Самарского государственного технического университета. Серия: физико-математические науки , 2009
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования....
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования.
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2009, 1(18), 260–266
4.
А.А. Тюгашев
- Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева , 2007
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура...
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2007. № 1. С. 247-252.