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