Безопасность это процесс, а не результат.

Шнейер Брюс

Связь с редакцией

Ближайшие события

18.03.2026 - 19.03.2026

Двадцатая межрегиональная специализированная выставка "Газ. Нефть. Новые технологии – Крайнему Северу"

Город: Новый Уренгой

циклограммная модель

Статьи

Автоматизация в промышленности, №9 2011

В фокусе: Автоматизация научных исследований и комплексных испытаний

Вергер А.Е., Перванюк А.С.

Разработка формального аппарата для описания циклограммных моделей проведения испытаний и выполнения верификации моделей на корректность

Ключевые слова: база знаний, метод верификации, правила вывода, темпоральная логика, формальный аппарат, циклограммная модель

Последний вышедший номер

Читайте в номере:

Гибридная интеллектуальная система поддержки операторов АЭС: подход к построению, архитектура и модуль данных

Автоматизированная система проведения ускоренных ресурсных испытаний электромеханических исполнительных механизмов

Компьютерная система оптимального планирования многоассортиментных распределенных производств полимерных материалов

Опыт импортозамещения АСУТП непрерывного производства в химической промышленности