|
Для проверки гипотез "что если" в системе реализован механизм сценариев. Сценарии позволяют исследовать зависимость поведения одной и той же модели от поведения внешнего мира (например, частоты поступления заявок, сложности этих заявок и т.д.) и каких-либо параметров этой модели (например, количества транспортных средств или численности служащих, занятых оформлением заказов). Варьируемые параметры и измеряемые показатели выносятся на отдельное окно сценария, после чего в результате прогона модели автоматически формируется отчет. Кроме этого ReThink позволяет использовать сценарии для объективного сравнения альтернативных проектов: один и тот же сценарий, описывающий некоторое заранее заданное поведение внешнего мира, может использоваться для прогона различных моделей. 1.6. Имитационные и гибридные модели 1.6.1. Формальное определение имитационной модели Имитационный метод моделирования нашел широкое распространение в практике проектирования информационных систем (ИС). Обшес определение имитационной модели можно дать в следующем виде [2 1]: Пусть М\ и Мг некоторые модели: 1 М\ модель, полученная из модели М) в результате применения гомоморфизма Г\ и описывающая функционирование модели М\\ Mi модель, полученная из модели М2 в результате применения гомоморфизма Гг и описывающая функционирование модели М2. 9 > Пусть М[ и М2 изоморфны. Тогда будем считать, что М\ и М \ суть взаимно имитационные модели в отношении описания процесса функционирования. Таким образом, имитационное моделирование ИС предполагает получение процесса функционирования системы, который в свою очередь |
4. М од ели д и н ам и ч еско й пам яти. Д ля них х ар ак тер н а слож ная организация вы б ора заяво к из очереди. А налити чески у д ается получить лиш ь верхнюю оценку тр еб у ем о го об ъ ем а пам яти и вероятн ость о тк аза си стем ы в приеме о ч ер ед н о го тр еб о ван и я в пам ять при введен и и упрощ аю щ их предполож ений, позволяю щ и х перейти к локальн осб ал ан си р о ван н о й С еМ О . 5. Н али чи е м н огокан альн ого ресурса на ни ж н ем уро вн е и ерархи и с различны м и д и сц и п ли н ам и обслуж и ван ия заявок. Т аким образом , ориен тац и я деком п ози ц и он н ого м ето д а ли ш ь на аналитические м одели не позволяет исследовать м н о ги е ти п и ч н ы е в практике кон ф и гурац и и А С У 1.5. Имитационные и гибридные модели И м и тац и он н ы й м ето д м оделирован и я н аш ел ш и р о к о е р асп ростран ен и е в практике п роекти рован и я и эксп луатации С О И . О б щ ее оп ределен и е им итационной м одели м ож но дать в следую щ ем ви де [21]: П усть М\ к Mi н екоторы е модели: М\ м одель, получен н ая и з м одели М\ в р езу л ьтате при м ен ен ия гом ом орф изм а Г\ и опи сы ваю щ ая ф ункц и он и рован и е м о д ел и М\\ М2 м одель, получен н ая из м одели Мг в р езу л ьтате при м ен ен и я гом ом орф изм а Гг и оп и сы ваю щ ая ф ункц ион и рован и е м одели М2 . П усть Му и М2 изом орф ны . Т огд а будем считать, что М\ и М2 суть взаи м но и м и тац и о н н ы е м одели в отнош ении о п и сан и я п роц есса ф ункционирования. Т аки м об разом , и м и таци он н ое м одели рован и е С О И п редп олагает получение проц есса ф ун кц и он и рован ия си стем ы , ко торы й в свою очередь становится и сточни ком вы числен ия иском ы х характери сти к производительности. И м итац и он ны й м етод м оделирован ия и м еет су щ ествен н о м еньш ие ограничения н а область при м енен и я в сравнен ии с ан ал и ти ч ески м и м оделям и 38 |