Анализ подходов к представлению временных зависимостей в сложных технических системах

Главная статья

Михаил Сергеевич Марголин Мстислав Поляков

Аннотация

Статья посвящена обзору существующих подходов и методов к представлению временных зависимостей в сложных технических системах, основанных на явном и неявном моделировании. В статье рассмотрены STRIPS-системы, сети Петри, такие логики как логика линейного времени, окамовская логика, логика деревьев вычислений. Выявлены основные особенности данных подходов. Определены сильные и слабые стороны рассмотренных логик.

Подробнее

Как цитировать
МАРГОЛИН, Михаил Сергеевич; ПОЛЯКОВ, Мстислав. Анализ подходов к представлению временных зависимостей в сложных технических системах. Международный журнал информационных технологий и энергоэффективности, [S.l.], v. 2, n. 3(5), p. 2-13, сен. 2017. ISSN 2500-1752. Доступно на: <http://openaccessscience.ru/index.php/ijcse/article/view/49>. Дата доступа: 16 апр. 2024
Раздел
Информационные технологии