Вопросы к разделу 5.2

1. Что такое N-схемы?

2. Для чего используют сети Петри?

3. Что такое маркировка сети Петри?

4. Какая из разновидностей сетей Петри приводит практически к тем же результатам моделирования, что и теория массового обслуживания?

5. Чем вызваны возможные конфликтные ситуации в N-схемах?

6. В чем заключается анализ достижимости сетей Петри?

7. Как строится граф достижимости сети Петри?

6. Имитационные модели систем

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

Что касается термина «имитационное моделирование», то он прижился далеко не сразу. Как отмечает ряд экспертов, сочетание слов «имитация» и «моделирование» недопустимо и является тавтологией, однако, исторический процесс формирования этого словосочетания приводит к выводу, что данный термин определяет в моделировании такую область, которая относится к получению информации о сложном объекте путем экспериментов с его моделью на компьютере (поскольку иным путем получить эту информацию не удается). В русском языке появились термины «имитационная модель» и «имитационное моделирование» (ИМ), а в английском языке – "simulation modeling". «Надо отметить, что если в английском языке термин имеет вполне четкий смысл, ибо симуляция и моделирование не являются синонимами, то по-русски имитационная модель – это нонсенс. Любая модель, в принципе, имитационная, ибо она имитирует реальность», – считает академик Н.Н. Моисеев («Математические задачи системного анализа». – М.: Наука, 1981).

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

С учетом последнего замечания имитационная модель рассматривается как специальная форма математической модели, в которой: 1) декомпозиция системы на компоненты производится с учетом структуры проектируемого или изучаемого объекта; 2) в качестве законов поведения могут использоваться экспериментальные данные, полученные в результате натурных экспериментов; 3) поведение системы во времени иллюстрируется заданными динамическими образами.

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

Примером пренебрежения моделированием, вошедшим в историю, является планирование японцами захвата атолла Мидуэй в 1942 году. Игральные кости, с помощью которых моделировались результаты налета американской авиации на японские корабли, дали девять попаданий. Цифры скрыли, а через месяц пикирующие бомбардировщики потопили четыре японских авианосца, переломив ход войны в пользу Объединенных наций. Это показало, что даже применительно к войне простейшие методы ИМ могли давать достаточно точные результаты.

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

Эта особенность является и достоинством, и одновременно недостатком имитационным моделей. Достоинство в том, что резко расширяется класс изучаемых объектов, а недостаток – в отсутствии простого выражения, позволяющего прогнозировать результат повторного эксперимента. В реальной жизни также невозможно для сколько-нибудь сложного объекта получить точное значение какого-либо качественного показателя, а только лишь его ожидаемое значение с возможными отклонениями.

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

Однако оказывается, что ИМ позволяет строить также прогнозы явлений, которые в реальности вообще не наблюдались! Классическим примером является исследование Н.Н. Моисеевым «ядерной зимы» – гипотетического результата воздействия глобальной войны на экосистему планеты. А ведь о климатических последствиях ядерных взрывов полвека назад еще никто не догадывался, несмотря на то, что температурный минимум после извержения вулкана Кракатау был описан метеорологами еще в 1883 году.

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

Суммируя, можно заключить, что широкое применение ИМ объясняется тем, что слабая формализуемость СС и высокая размерность решаемых задач препятствуют использованию строгих методов оптимизации.