Алгебраические модели автоматизированного контроля в приборостроении

Abstract

Анализируется задача автоматизированного контроля в приборостроении с учетом современных требований к качеству выпускаемой продукции. Предложена алгебраическая модель автоматизированного контроля построенная с помощью автоматного представления на основе рекурсивных алгоритмических алгебр. Предложенный подход позволяет обеспечить формальный синтез систем контроля в приборостроении.

Аналізується завдання автоматизованого контролю у приладобудуванні з урахуванням сучасних вимог до якості продукції, що випускається. Запропоновано алгебраїчну модель автоматизованого контролю, побудовану за допомогою автоматного представлення на основі рекурсивних алгоритмічних алгебр. Запропонований підхід дозволяє забезпечити формальний синтез систем контролю у приладобудуванні.