Семинар отдела Прикладной информатики

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

Предложен метод построения по временному автомату соответствующего конечного автомата и показано, каким образом можно использовать методы из классической теории автоматов при построении полных проверяющих тестов для временного автомата с использованием перехода к соответствующему классическому автомату. Однако также показано, что тесты, построенные по соответствующему конечному автомату относительно модели «черного ящика», оказываются сильно избыточными.
Исследовано отношение эквивалентности между детерминированными временными автоматами и установлены необходимые и достаточные условия эквивалентности временных автоматов с таймаутами на основе соответствия между множествами их состояний.
Для понижения избыточности тестов относительно модели «черного ящика» методы построения полного проверяющего теста для конечного автомата адаптированы для построения тестов непосредственно по временному автомату.