Рассматривается задача теоретического обоснования информационной технологии интеллектуального мониторинга состояния технических систем. В основе технологии находятся функционально-логические программы потоковых вычислений, построенные на модифицированных сетях Петри и G-сетях.
Под потоковыми вычислениями понимается процесс обработки разнородной информации (технической, технологической) с целью диагностирования состояния сложных технических систем с возможностью распараллеливания, асинхронности и иерархичности непосредственных операций над данными. Вопрос организации практического применения таких программ на электронно-вычислительных машинах безотносительно системно-аппаратного их обеспечения раскрывается в статье. Предлагается соответствующая схема, состоящая из семи блоков. Первые четыре блока – это сопоставление свойств контролируемого процесса и переменных программы потоковых вычислений, контроль и интерпретация выходных переменных программы, формирование управляющих воздействий для программы и, четвертый, выполнение (изменение состояния) программы. Данные блоки являются интерпретацией классических этапов идентификации и технической диагностики технических объектов с целью определения их технического состояния. Для данных этапов приводятся необходимые формальные выражения. Пятый этап – это формирование системы показателей качества организации потоковых вычислений. Шестой этап – комплексное оценивание качества организации потоковых вычислений при мониторинге состояния технической системы. Содержание пятого и шестого этапов является отображением особенностей предметной области контролируемых процессов технической системы. Последний седьмой этап заключается в формировании структуры информационной технологии интеллектуального мониторинга на основе программы потоковых вычислений. Предлагается три блока такой системы: единое информационное пространство описания контролируемых процессов на основе специального полимодельного комплекса, унифицированная программная среда синтеза и исполнения программ специальных вычислений и система поддержки принятия решения оператором рабочего места мониторинга. Теоретическая новизна материала состоит в концептуальной интерпретации задач технической диагностики на новом методическом инструменте мониторинга – функционально-логических программах потоковых вычислений. Практическая значимость и актуальность обосновывается крайней необходимостью совершенствовать технологии мониторинга сложных технических систем, например, в ракетно-космической отрасли.
Ключевые слова: теория вычислений; функционально-логическое программирование; потоковые вычисления; обработка измерительной информации; информационные технологии; идентификация и техническая диагностика.