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