Классификация моделей оценивания эффективности

Приведенная в параграфе 2 классификация методов моделирования далеко не исчерпывает все возможные классификационные признаки и, следовательно, не может претендовать на полноту и завершенность. Однако в практике исследований эффективности операций такая классификация является достаточной и может служить основой для классификации моделей операций. Классификационных признаков для моделей гораздо больше, чем для методов моделирования. Рассмотрим частичную схему классификации моделей операций, которые используют при оценивании эффективности операций .а технике.
На первое место среди классификационных признаков моделей можно поставить метод (способ) моделирования. По этому признаку почти каждому методу (см. рис. 2) соответствует определенный класс моделей, имеющий то же название, что и метод моделирования. Так, знаковому (семиотическому) моделированию соответствуют знаковые (семиотические) модели; математическому моделированию — математические модели, которые могут быть аналитическими или алгоритмическими. В основе деления семиотических моделей лежит система знаков, в которой записываются операторы ц>, Н, С} и М. Модель называют математической, если указанные операторы записаны в математической символике. Если же для формирования операторов употреблена логическая символика, то модель будет логической. Такая модель может быть материализована в виде программы логических действий для ЭВМ или в виде блок-схемы последовательности логических операций. Знаковую модель называют графической, если оператору ф и Я, 0 и М заданы графически (например, в форме номограмм, графиков).
На практике часто встречаются всевозможные комбинации различных знаковых (семиотических) моделей в виде, например, графоаналитических или логико-математических моделей. Программы для ЭВМ реализуют, как правило, логико-математическую модель.
Важным классификационным признаком моделей является мощность множества состояний моделируемой системы. По этому признаку модели делят на статические и динамические. Модель называется статической, если множество возможных состояний моделируемой системы является единичным, т. е. содержит всего один элемент. Система не меняет своего состояния в течение времени и, следовательно, оператор перехода ф при формировании модели не рассматривается. Если множество состояний системы не единично и состояния могут меняться во времени, то соответствующую модель называют динамической. Динамические модели в зависимости от мощности множества состояний делят на модели с дискретными состояниями (множество состояний конечно или счетно, т. е. не более, чем счетно) и модели с непрерывным множеством состояний (множество состояний ставится во взаимно-однозначное соответствие множеству точек числового интервала, имеющего мощность континуума). Не исключаются смешанные случаи дискретно-непрерывных множеств состояний.