Не решайте проблему, а ищите возможности.

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

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

16.04.2026

конференция «Промышленность – 2026»

Город: Москва

23.04.2026

АСУ ТП в добыче и обогащении полезных ископаемых: как строить проекты на Альфа платформе

Город: Москва

12.05.2026 - 15.05.2026

Металлообработка 2026 - 26-я международная специализированная выставка «Оборудование, приборы и инструменты для металлообрабатывающей промышленности»

Город: Москва

05.06.2026

II Всероссийский форум ИНТЕКПРОМ МАШФОРУМ 2026

Город: Казань

17.06.2026 - 19.06.2026

Инженерное собрание России (ИСР-2026)

Город: Сантк-Петербург

Вергер А.Е.

Статьи

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

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

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

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

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

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

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

Усовершенствованное управление технологическими процессами: зарождение и развитие, состояние и прогноз рынка, российская составляющая, тренды, проблемы импортозамещения

Обнаружение дефектов металлопроката с помощью модифицированной на основе физически-информированного градиентного анализа функции потерь YOLOv8

Методическое обеспечение САПР технологической оснастки в КОМПАС-3D

Функциональная безопасность и кибербезопасность систем противоаварийной автоматической защиты в составе АСУТП технологических процессов нефтепереработки