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

05.13.01 - Системный анализ, управление и обработка информации (по отраслям)

Статья посвящена разработке диагностической модели, обосновывающей выявление дефектов по сигналам тока электромеханического оборудования, содержащего информацию о линейных и нелинейных процессах в объекте. Сопоставление результатов численного моделирования и натурных экспериментов позволяет сделать вывод об адекватности модели. Возможно применение данной модели для формирования эталонных диагностических признаков с целью обучения  автоматизированной системы диагностики.
Ключевые слова: техническая диагностика, нелинейный процесс, модуляция, спектральный анализ, математическое моделирование.

05.13.18 - Математическое моделирование, численные методы и комплексы программ

Сведения об авторах выпуска №4 за 2011 год

Ключевые слова: авторы

В статье проводится классификация методов верификации программного обеспечения (ПО), которые разнообразны по своему назначению, по способам достижения результата, по способу проверки и подтверждения у ПО предопределенных свойств.
В целом производится деление на структурные и функциональные, и имеющие в своей основе формальные математические модели. Методы первой группы представляют собой тестирование и экспертный анализ свойств ПО, второй – работают с моделями и абстрактными представлениями проверяемого ПО. Отличительной особенностью экспертизы является ориентированность на экспертные оценки, поэтому их нельзя отнести к универсальным и строго формализованным. Различные виды экспертиз применяются к различным свойствам ПО на различных этапах проектирования, что позволяет своевременно определять и устранять неполадки и дефекты в работе ПО.
Отличительная особенность  формальных методов – удобство и экономичность, так как они проводятся без обращения к физической реализации. Для работы с формальными методами применяются специфические техники, такие как дедуктивный анализ (theorem proving), проверка моделей (model checking), абстрактная интерпретация (abstract interpretation).
Так же в статье перечисляются логические и алгебраические исчисления применимые для работы с формальными моделями.
Представленная в статье классификация частично формализованных и формальных методов верификации отражает современное состояние исследований в данной области.
Ключевые слова:верификация, частично формализованные методы верификации ПО, формальные модели верификации ПО, экспертиза, статический анализ, динамические методы, формальные методы, синтетические методы.

05.13.18 - Математическое моделирование, численные методы и комплексы программ

Сведения об авторах выпуска №4 за 2010 год

Ключевые слова: авторы