![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Имитационная система ИСТРА
3.1. Понятие имитационной системы
Под имитационной системой здесь понимается упорядоченный комплекс алгоритмов, программ, формальных и неформальных процедур, позволяющий создавать имитационные модели на ЭВМ и использовать их для решения конкретных задач. Создание имитационных систем знаменует собой новый этап в использовании имитационного моделирования. Ранее проблемы построения рациональных алгоритмов моделирования объектов различного класса, совершенствования входного языка и методики проведения имитационных экспериментов рассматривались разрозненно. В имитационной системе все эти задачи решаются во взаимной связи. Имитационные системы - это мощный современный аппарат для исследования сложных производственных объектов, опирающийся на достигнутый уровень развития математических методов, возможности ЭВМ и накопленный опыт человека управления этими объектами.
3.2. Назначение и исходные предпосылки Имитационная система ИСТРА ориентирована на исследование и оптимизацию крупных объектов транспорта во взаимодействии с производством. Однако достаточно универсальные принципы построения позволяют использовать ее для решения задач на любом виде транспорта, а также для моделирования производственных объектов другого рода. Система построена таким образом, чтобы учитывать следующие условия: 1) система должна предоставлять возможность создавать модели различных видов транспорта, так как в промышленности последние работают зачастую в едином комплексе и существенно влияют друг на друга; 2) модели должны допускать использование частично-формализованных знаний (знаний опытного характера); 3) система должна быть проблемно ориентированной, с тем чтобы избежать отрицательных последствий излишней универсальности, и в то же время позволять решать достаточно широкий круг задач заданного класса; 4) модели должны достаточно хорошо отображать технологические и информационные процессы, а также процессы иерархического управления; 5) имитационная система должна допускать возможность оптимизации моделей по различным критериям; 6) необходимо достаточно полное описание факторов случайного характера; 7) необходимость специальных процедур, «сужающих» исходное множество вариантов и сокращающих итерационный процесс имитационного исследования; 8) простота входного языка и наглядность выдаваемых результатов.
Система ИСТРА включает в себя универсальную абстрактную модель, способную при идентификации (параметризации) настраиваться на любой, объект из заданного класса. Для этого структурные и функциональные характеристики, значения которых отличают объекты один от другого, входят не в структуру модели и не в описание ее функции, а являются легко заменяемыми исходными данными для моделирования. Такими исходными данными (настроечными характеристиками) являются параметры элементов транспортной системы и связей между ними. Общая схема использования системы ИСТРА представлена на рис. 2.
Рис. 2. Схема использования ИСТРЫ для моделирования транспортных систем
Обратные связи говорят о том, что в процессе экспериментов может возникнуть необходимость уточнения исходных данных и даже цели исследования. Так, например, принятая в начале исследования цель может изменяться в ходе имитации под влиянием новых факторов, полученных из модели или реальной жизни. ИСТРА позволяет строить модели основных видов транспорта (рис. 3), хотя структура понятий и алгоритмов более ориентирована на железнодорожный.
Рис. 3. Виды транспорта, моделируемые при помощи системы ИСТРА
Система ИСTPA позволяет формировать модели, ориентированные на решение целого ряда различных задач (рис.4). Если модель детерминированная, то в каждом эксперименте воспроизводится процесс функционирования моделируемой системы и выдаются результаты, позволяющие достаточно полно оценить ее. Когда модель стохастическая (учитывает случайные процессы), требуется набор экспериментов при одних и тех же исходных данных, но с разными значениями датчика случайных чисел. Поиск рационального решения по тому или иному параметру осуществляется проведением ряда итерационных экспериментов с использованием специальных ускоряющих процедур (например, разработанного для этой системы " имитационного спуска").
Рис. 4. Решение задач с помощью системы ИСТРА
Имитационная система ИСТРА дает возможность строить: разнохарактерные модели, в том числе: детерминированные; слабоуправляемые вероятностные, близкие по принципам функционирования к системам массового обслуживания; сильноуправляемые, когда функционал задается на множестве движений модели в явном или неявном (" растворенном" в технологическом процессе) виде.
3.3. Структура имитационной системы Абстрактная модель S представляет собой упорядоченную тройку S=(X, P, f), где X - множество элементов. P - множество операций, f - оператор управления. Структура абстрактной модели выбрана таким образом, чтобы получить наиболее адекватное описание транспортных процессов и наиболее экономную реализацию на ЭВМ. 3.3.1. Элементы Элементом xi состояние qi(t) из пространства Qi, qi(t) Î Qi; Qi={0, 1, 2,..., Qi }, t Î Z0, Z0={0, 1, 2,..., }; - вход D qi+(t) Î Qi+; - выход D qi-(t) Î Qi-; - линейная функция перехода в новое состояние qi(t+1)= qi(t)+ D qi+(t)- D qi-(t) Элемент функционирует в дискретном времени. Шаг дискретизации (такт моделирования) выбирается в зависимости от размеров объекта, цели моделирования и памяти ЭВМ. На множестве X задаются два непересекающихся подмножества: числовых элементов
У числовых элементов различные состояния качественно однородны и отличаются только количественно. У логических разные состояния имеют различный качественный смысл, т.е. между ними нельзя ставить соотношения «больше» – «меньше». Числовые элементы используются для отображения устройств, имеющих свойства бункера, например, путей определенной вместимости, парков путей и т.д. Поэтому в дальнейшем будем называть их бункерными. Пусть элемент отображает путь накопления. Тогда его состояние – это число вагонов на пути в некоторый момент времени. Вход – число поступающих на путь вагонов, выход – число убывающих. Множество логических элементов разбивается на подмножества элементов с двузначной логикой
Состояние элементов с двузначной логикой может принимать значение «ноль» или «единица»:
Данные элементы используются для отображения устройств, которые не имеют свойства накопления, т.е. занимаются всегда полностью. Например, путей приема, стрелок, локомотивов, бригад ПТО и т.д. В этом случае Состояние элементов с многозначной логикой выбирается из некоторого подмножества:
Такие элементы служат для описания процессов управления. Состояние элемента означает тип принятого решения на некотором уровне диспетчерского управления. Ноль означает, что решение не принималось.
Содержательно множество элементов Х разбивается на подмножества технологических Хт, информационных Хи, и управляющих Ху элементов. Технологические отображают некоторые реальные устройства. В множестве технологических булевых элементов выделяются подмножества базисных и промежуточных, а также параллельных. Параллельные всегда используются одновременно с группой других. Информационные имитируют образ (представление) реальных устройств в памяти диспетчера (в общем случае в памяти лица, принимающего решения на некотором иерархическом уровне). Множество Хи представляет собой совокупность подмножеств Хиn информационных элементов определенного (n-го) иерархического уровня
Множество Хи1 получается изоморфным отображением множества Хт. Формула отображения имеет вид qiи1(t) = li qiт(t), где qiи1(t) - состояние информационного элемента первого (нижнего) иерархического уровня; qiт(t) - состояние соответствующего технологического элемента; li - коэффициент искажения, который имитирует запаздывание, потери и искажение сообщений; li Î Li; Li - пространство значений li.
Все отображения осуществляются с помощью информационных операций. Множество информационных элементов каждого последующего уровня получается эпиморфным отображением предыдущего
где n - иерархический уровень, Xiиn - множество прообразов элемента xiиn+1
Xiиn = { xiиn } lm Î Lm - коэффициент искажения.
Таким образом, при движении информации вверх происходит ее обобщение. «Горизонтальное» движение информации в пределах одного уровня описывается оператором управления f(t). Информационные элементы верхних уровней описывают отображение в памяти людей некоторых обобщенных параметров - числа вагонов на станции, в узле, числа груженых вагонов, числа свободных локомотивов и др. Множество управляющих элементов Ху также подразделяется на подмножества Хуn
где
Управляющие элементы n -го уровня служат для запоминания управляющих решений (n+1) -го уровня, поэтому верхний уровень управляющих элементов не имеет. Управляющие сигналы «передаются» с помощью управляющих операций, при этом также возможны различного рода искажения.
3.3.2. Операции
Понятие «операция» является важным и распространенным на транспорте. Операция является элементарной, «естественной» частью технологического процесса. В имитационной системе операция формально определяется таким образом, чтобы она максимально соответствовала существующему содержательному значению. Это позволяет без сложных преобразований достаточно легко и полно моделировать транспортные процессы. Для уяснения сути понятия «операция» введем определения устойчивого и переходного состояния. Устойчивым состоянием группы элементов будем называть такое состояние, когда они не заняты ни в каком процессе – приеме или отправлении поезда, расформировании и т.д. в противном случае их состояние называется переходным. тогда операция понимается как действие, переводящее некоторую группу элементов из одного устойчивого состояния в другое. Операция pî Î P является элементарной моделью, входящей в абстрактную модель. Операция pî определяется на множестве элементов XjÌ X. Операции могут быть: - технологическими - - информационными - $xij Î Xj (xij Î Xи) (передача сообщений о прибытии поезда, выгрузке вагонов и т.п.); - управляющими - Технологические операции имитируют передвижения по станции и, как следствие, продвижение какого-либо потока в пространстве и времени. Примерами таких операций могут служить перестановка состава из одного парка станции в другой, подача вагонов на грузовой фронт, заезд или уборка локомотива и т.д. К технологическим также относятся и те операции, которые не содержат в себе маршрутов, а моделируют изменение состояния потока во времени. Таковыми, например, являются операции осмотра состава в парке бригадой ПТО, обработка передачи на грузовом фронте и др. Для технологических операций коэффициент перехода состояния элементов
где
Т – период расчета.
Информационные и управляющие операции в модели служат для имитации передачи информации и принятия управляющих решений диспетчерским персоналом. Для информационных и управляющих операций коэффициент перехода l может быть отличен от единицы, поскольку при движении потоков информационных сообщений и управляющих решений может возникать задержка, искажение и потеря информации. Роль информационных операций в модели заключается в занесении емкости на информационные элементы с определенными параметрами. Это будет отображать передачу информации диспетчерскому персоналу станции.
или
где
Коэффициент перехода состояния элементов в информационных операциях учитывает время задержки информации при передаче, возможные искажения и потерю информации при передаче.
где
Время задержки
Рис. 5. Отображение времени задержки
Коэффициент искажения Коэффициент потери информации
где
В реальности потеря информации, как правило, имеет временный характер. Если образ, сложившийся в памяти диспетчера, слишком не похож на действительность, он предпринимает действия по уточнению ситуации. Эти действия моделируются с помощью информационной операции сверки. При достижении определенных расхождений между состояниями технологических элементов и соответствующих им информационных, операция сверки восстанавливает реальную картину всей системы или отдельной подсистемы в памяти диспетчера, то есть задает отображение типа
Искажение, запаздывание и потеря информации здесь отсутствует. Разброс или величину коэффициента расхождения (например, Управляющие операции в модели используются для отображения процессов управления. Управляющая операция меняет состояние соответствующего управляющего элемента. Все пространство состояний информационных элементов каждого уровня разбивается на укрупненные ситуации. Для каждой укрупненной ситуации номер решения должен быть известен заранее. Структура укрупненных ситуаций и соответствующих им управляющих решений задается пользователем. После выполнения очередной информационной операции алгоритмом проверяется, принадлежит ли новое состояние предыдущей ситуации или произошел переход к новой. В последнем случае принимается новое решение, т.е. выполняется соответствующая управляющая операция.
где
b - номер решения, соответствующего s -й ситуации;
В единое целое элементарные модели объединяет оператор управления f(t).
3.3.3. Оператор управления
Оператор управления f(t) объединяет элементарные модели в единую модель. Оператор f(t) выполняет две функции: - задает алгебраическую структуру á G, jñ на множестве графов Gj, G={ Gj }; - реализует управление n(t) в пространстве состояний H абстрактной модели. В модели реализован ситуационный принцип управления, так как он наиболее соответствует процессам управления в сложных транспортных системах. Ситуационное управление строится следующим образом. В пространстве возможных состояний системы выделяются расчетные ситуации, для которых решения известны (из опыта или рассчитаны заранее). Ситуаций ровно столько, сколько решений. Это можно представить в виде таблицы решений, где строкой является ситуация, а столбцом - решение. Если на пересечении строки и столбца стоит единица, то решение соответствует ситуации, в противном случае в клетке стоит - ноль. Число состояний, входящих в одну ситуацию, по которой принимается решение, в сложных системах составляет миллион и более. Число решений на несколько порядков меньше. Если изменилось состояние системы, то проверяется, не изменилась ли ситуация, то есть не требуется ли принимать новое решение. При изменении ситуации принимается новое решение. Для этого существует специальный аппарат укрупнения ситуаций укрупнения ситуаций и " сведения" конкретного состояния модели к одной из ситуаций., Если ситуация изменилась, то принимается новое решение. Таким образом для реализации на ЭВМ ситуационного управления необходимо задать: -язык описания ситуаций, -алгоритм сведения состояния системы к одной из ситуаций, -набор расчетных ситуаций, -набор управляющих решений. В абстрактной модели ситуации задаются в пространстве состояний, поэтому введем понятие пространства состояний. Из теории управления динамическими объектами известно, что в понятие состояния входит не только текущее значение определенных параметров, но и необходимая " предыстория". У динамической системы существует своего рода инерция. В однопроцессорных ЭВМ элементарные действия производятся только последовательно. Значит, последовательно в модели будут выполняться операции. Поэтому в понятие состояния модели будет входить состояние некоторой группы элементов (текущее значение параметров) и информация о том, какая операция выполнялась перед этим (предыстория). Известно, что для принятия решения, в каком-то районе системы (например, на станции) не требуется знать состояние всей системы. Значит, состояние модели, необходимое для принятия управляющего решения, однозначно описывается значением лишь некоторых параметров, а именно состоянием некоторого подмножества элементов и типом (номером) последней выполняемой операции. Для различных иерархических уровней состав подмножества может меняться. Содержательно пространство состояний разбивается на: - технологическое, где выполняются все технологические операции и происходит динамика всех технологических элементов (прием и отправление поездов, погрузка-выгрузка вагонов и пр.); - информационное, где происходят информационные процессы – передача информации вверх по уровням с учетом обобщения и обмен информацией внутри уровня; - управляющее, где осуществляются управляющие операции и меняется состояние управляющих элементов. Структура абстрактной модели S построена по иерархическому принципу, поэтому в пространствах состояний информационном и управляющем вводятся подпространства разных иерархических уровней, которые могут отображать, например, уровни диспетчерского управления.
Оператор управления определяет последовательность и условия выполнения технологических, информационных и управляющих операций (определяет моменты времени
3.4. Оптимизация на имитационной модели Оптимизация с использованием имитационных моделей представляет некоторую итерационную последовательность экспериментов, позволяющую получить минимум (максимум) некоторого функционала. Особенности оптимизации на имитационных моделях заключаются в следующем: - функционал и ограничения заданы, как правило, в неявном виде; - широко используются при построении моделей алгоритмически заданные функции, свойства которых (выпуклость и пр.) малоизвестны; - результат каждого эксперимента существенно зависит от развития случайных процессов, используемых в модели. Поэтому подчас бывает трудно определить, что более повлияло на результат - выбор исходных параметров и управления или реализация случайного процесса. В общем случае эксперименты с моделью сложной системы достаточно трудоемки, требуют значительных затрат времени, а функционал задан обычно в пространстве большой размерности, поэтому полный выбор вариантов здесь, как правило, невозможен. Поэтому необходимо использовать некоторые методы планирования экспериментов, многократно сужающие множество вариантов и ускоряющие рекурсию процесса оптимизации. Избежать полного перебора вариантов позволяют два фактора: особенности построения моделей и специально разработанный метод ускорения процесса оптимизации – так называемый, имитационный спуск. В моделях, получаемых с помощью рассматриваемой системы, существенно используется два типа управления - регулирование в пределах одной операции и иерархической управление, реализуемое оператором f(t). Таким образом, в каждом эксперименте присутствует уже многофакторная оптимизация, которая позволяет получать при выбранных исходных данных достаточно хорошие результаты. Неблагоприятное развитие случайных процессов активно компенсируется управлением и функционирование модели «выравнивается». Управление как бы ограждает модель от нежелательных тупиков и результат инвариантен относительно некоторого подкласса начальных условий. Если добавить к этому, что имитационным моделированием должен заниматься лишь опытный специалист, то вероятность того, что модель может быть улучшена сразу по нескольким параметрам, весьма мала. Известно, что множество вариантов, каждый из которых не может быть улучшен по нескольким параметрам одновременно, называется множеством Парето. Оптимизация на множестве Парето означает выбор такого компромиссного варианта, когда улучшение одних параметров дает больший эффект, чем ухудшение других. Учитывая сказанное выше, множество возможных результатов экспериментов на имитационной модели будем называть имитационным множеством Парето (термин «имитационное» подчеркивает некоторую нестрогость). Движение на множестве результатов, т.е. последовательность имитационных экспериментов, задает «имитационный спуск». В этом случае модель строится так, чтобы оптимизируемый показатель (функционал) был пропорционален (прямо или обратно) суммарной величине задержек где
Стоимость задержки определяет тип выполняемой операции (число участвующих вагонов, тип локомотива, возможный ущерб производству и др.). Пусть на к-ом шаге расчета возникли задержки Сопоставим задержкам
В этом случае коэффициент
где
Оптимумом будет считаться такой уровень задержек Пусть эксперимент на модели с исходными параметрами
Рис. 6. Схема «имитационного спуска»
|