Агаджанян Рубен Борисович
Контроль ключевых параметров сложной системы методом вычислений логических предикатов

Аннотация: На практике, согласно требованиям отраслевых нормативных стандартов, предприятия и организации должны обеспечить полное соответствие ключевых производственно-экономических показателей нормам, правилам и условиям, регулирующими этими стандартами. К подобным стандартам, в частности относится надлежащая производственная практика (Good Manufacturing Practic, GMP), которой должны соответствовать производства пищевых продуктов, лекарственных препаратов, медицинского оборудования и др.. Указанные стандарты содержат также требования по проведению корректирующих и превентивных действий (CAPA, Corrective and Preventive Actions) при обнаружении отклонений от нормативных показателей. Однако, на практике процесс обнаружения и идентификации несоответствий сопряжен рядом сложностей из-за случайного характера их возникновения и из-за длительности процесса определения источников, порождающих эти несоответствия и идентификации самих несоответствий. В настоящей статье рассматривается подход к моделированию подобного класса задач на основе абстрактных схем описания функционирования систем с использованием логических предикатов. На основе данного подхода реализована компьютерная система, которая успешно прошла апробацию на нескольких фармацевтических предприятиях.

Читать статью   670