Опис імітаційної моделі СОП

 4 Опис імітаційної моделі СОП

В попередньому розділі процес надходження і обробки інформаційних повідомлень до СОП було представлено у вигляді СМО. Отже, модель розглянутої системи можна вважати дискретно стохастичною.

Для виконання імітаційного моделювання вищевказаного процесу, необхідно змоделювати всі події, які можуть статись, а саме надходження інформаційних повідомлень від датчиків та вимірювальних пристроїв до СОП, зайняття та звільнення пам’яті, втрата повідомлень, якщо вони чекають у буферній пам’яті більше зазначеного терміну та обробка інформаційних повідомлень СОП.

Враховуючи те, що в деякі моменти часу до СОП можуть надходити більше одного інформаційного повідомлення, то для проведення моделювання необхідно застосовувати один із способів квазіпаралелізму.

5 Програмування моделі СОП

 

Для виконання моделювання довільної системи існує велика кількість різноманітних мов програмування. Їх можна поділити на дві групи:

1)      алгоритмічні (С++);

2)      спеціальні мови імітаційного моделювання.

Використання універсальних мов програмування в імітаційному моделюванні дозволяє досягнути гнучкості при розробці та використанні моделі, але вважається, що при цьому втрачається великі зусилля на програмування. Вважається краще використовувати спеціалізовані засоби моделювання, які в порівнянні з попередніми (універсальними алгоритмічними мовами), мають наступні переваги:

1)      Зменшуються витрати часу на програмування

2)      Більш ефективні методи знаходження похибок імітації

3)      Меншим записом тих понять, які характеризують процес

імітації

4)      Можливість для деякої предметної галузі заздалегідь побудувати стандартні компоненти, які можуть бути використані користувачем при побудові будь-яких імітаційних моделей у цій галузі.

Яскравими представниками спеціалізованих мов програмування – є

такі мови, як NEDIS, GPRS, SIMULA, DINAMO та інші.

Мова GPRS/PC – це мова декларативного типу, побудована за принципами об’єктозорієнтованої мови. Основними елементами цієї мови є транзакти та блоки, відображають відповідно динамічні і статистичні об’єкти системи, що моделюється.

Моделюючі об’єкти в системі призначені для різних цілей. Вибір об’єктів у конкретній моделі залежить від характеристик модельованої системи. Кожний обкат має деяке число властивостей, названих в GPRS стандартними числовими атрибутами (СЧА). Частина ЧА доступні користувачеві тільки для читання, а на значення інших він може впливати тільки через використання інших блоків.

Отже, враховуючи те, що метою курсової роботи є моделювання відносно простої моделі, яка не матиме специфічних параметрів та не вимагатиме отримання особливих характеристик або збору специфічної статистики, щодо роботи системи, то можемо вважати , що найкращим засобом реалізації поставленої мети, тобто моделювання СОП буде спеціалізованих мов програмування GPRS/PC.

6 Випробування моделі СОП

Для проведення верифікації імітаційної моделі СОП та перевірки її адекватності необхідно замінити рівномірний закон розподілу, якому підлягають моменти надходження повідомлень у СОП на експоненціальний закон розподілу. Текст програми наведений у додатку В.

Ця заміна дозволить перевірити отримані результати з результатами отриманими за допомогою класичних формул, які використовуються для одно канальної найпростішої СМО з обмеженою чергою, моменти надходження повідомлень у якій випадкові, і підлягають закону експоненціального розподілу.

Результати роботи програми наведені у додатку Г.

Середня кількість повідомлень, які обслуговуються СМО за одиницю часу або абсолютна пропускна спроможність обчислюють за формулою:

,  (1)

де l - інтенсивність потоку повідомлень за одиницю часу; Q - ймовірність обслуговування повідомлення, що надійшло до СМО.

Відносна пропускна спроможність обчислюють за формулою:

, (2)

де P_n+m - ймовірність того, що система знаходиться у стані S_n+m (m – довжина черги, n – кількість каналів).

Ймовірність відмови обчислюють за формулою:

, (3)

де m – довжина черги, n – кількість каналів, P₀ - ймовірність того, що система знаходиться в стані S₀ (СМО вільна), обчислюють за формулою :

. (4)

, (5)

де m - інтенсивність потоку обслуговування;

, (6)

де tср – середній час обслуговування заявки у каналі.

, (7)

де tинт – інтервали часу між входженням заявок у СОП.

Порівнюємо результати отримані за допомогою класичних формул та результати роботи програми, щодо перевірки коректності роботи системи обробки інформаційних повідомлень. Якщо відносна похибка складає не більше 5%, це свідчить про те, що імітаційна модель збудована вірно.

Розрахуємо основні характеристики СМО, за класичними формулами.

Якщо прийняти , тоді маємо.

Ймовірність відмови %.

Абсолютна пропускна спроможність  заявок/хв.

Відносна пропускна спроможність %.

Порівняємо їх з основними характеристиками, отриманими після моделювання роботи одно канальної найпростішої СМО з обмеженою чергою, моменти надходження повідомлень у якій випадкові, і підлягають закону експоненціального розподілу.

Ймовірність відмови %.

Абсолютна пропускна спроможність  заявок/хв.

Відносна пропускна спроможність %.

 Дійдемо до висновку, що відносна похибка в середньому складає 4%. Це свідчить про те, що імітаційна модель збудована вірно.