ВВЕДЕНИЕ 3
1 ОБЗОР ИМИТАЦИОННОЙ СИСТЕМЫ МОДЕЛИРОВАНИЯ TRIADNS 5
1.1 Трехслойное представление имитационных моделей 5
1.2 Сбор статистики 8
1.3 Условия имитационного моделирования 11
1.4 Создание имитационной модели 12
2 ВИЗУАЛЬНЫЙ ЯЗЫК ИМИТАЦИОННЫХ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ 14
2.1 Предметно-ориентированные языки 14
2.2 Системы массового обслуживания 15
2.3 Основные элементы имитационных систем массового обслуживания в системе TriadNS 17
2.4 Расширенный набор элементов имитационных систем массового обслуживания в системе TriadNS 20
3 ТРАНСФОРМАЦИЯ МОДЕЛЕЙ КОМПЬЮТЕРНЫХ СЕТЕЙ В ИМИТАЦИОННЫЕ МОДЕЛИ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ 25
3.1 Классификация методов трансформации моделей 25
3.2 Правила трансформации 27
ЗАКЛЮЧЕНИЕ 33
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 34
ПРИЛОЖЕНИЕ 1 36
ПРИЛОЖЕНИЕ 2 37
Читать дальше
Подводя итог проделанной работы, можно говорить о следующих результатах.
В систему TriadNS были добавлены компоненты для имитационного моделирования систем массового обслуживания. Для этого была составлена метамодель системы массового обслуживания в виде онтологии, основанная на базовой онтологии системы TriadNS, были реализованы основные компоненты теории систем массового обслуживания, а также информационные процедуры для исследования моделей СМО. В результате, в TriadNS появилась возможность проектировать модели систем массового обслуживания и исследовать их методами имитационного моделирования.
Добавлена возможность изучения компьютерных сетей методами теории очередей и систем массового обслуживания. Для этого были разработаны правила трансформации модели компьютерных сетей в модель СМО. Была составлена единая метамодель компьютерных сетей и СМО, на основе которой производятся данные преобразования.
TriadNS является уникальной системой моделирования: использование онтологий в качестве метамоделей позволяет настроить модель на конкретную предметную область, написанные отдельно от модели условия моделирования дают возможность оптимизировать процесс моделирования, а трехслойное представление модели позволяет отделить её структуру от поведения. Введение возможности исследования систем массового обслуживания в TriadNS увеличивает целевую аудиторию, а визуальный редактор моделей снижает порог вхождения.
Читать дальше
1. Бахарева Н.Ф. Анализ временных , характеристик непуассоновского трафика/ Н.Ф.Бахарева, И.В.Сарташевский //Электросвязь. 2010: №11. - С. 26-28.
2. Бахарева Н.Ф. Моделирование трафика в компьютерных сетях с помощью потоков событий / Н.Ф.Бахарева // Известия ВУЗов — Приборостроение. 2010, - Том 53, №12.- С. 13-22.
3. Бережная Е. В., Бережной В. И. Математические методы моделирования экономических систем. Москва: Финансы и статистика. 2006.
4. Вентцель Е. С. Исследование операций. Москва: Советское радио.1972.
5. Вишневский В. М. Теоретические основы проектирования компьютерных сетей. Москва: Техносфера. 2003
6. Волегов И.С., Замятина Е.Б. Онтологический подход к интеграции компонентов имитационной модели в Triad.Net// // В кн.: Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2012) : материалы III междунар. науч.-техн. конф. [б.и.], 2012. С. 229-236.
7. Замятина Е.Б., Мерзляков Д., Семеновых А. Языковые и программные средства для многомодельного исследования имитационных моделей компьютерных сетей // В кн.: Седьмая всероссийская научено-практическая конференция «Имитационное моделирование. Теория и практика" (ИММОД-2015). [б.и.], 2015. С. 86-95.
8. Замятина Е.Б., Миков А., Михеев Р. Лингвистические и интеллектуальные инструментальные средства симулятора компьютерных сетей TriadNS // Information Theories & Applications. 2012. Т. 19. № 4. С. 355-368.
9. Ивановская (Синякова) И.А. Исследование модели параллельного обслуживания сдвоенных заявок в нестационарном режиме / С.П. Моисеева, И.А. Ивановская (Синякова) // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. -2010. - № 3 (12). - С. 21 – 28
10. Клейнрок Л. Теория массового обслуживания. / Под ред. Неймана В.И. Москва: Машиностроение. 1979.
11. Меркулова И.А. Расчет объема буфера для неотправленных данных в сетях Ethernet / И.А. Меркулова // V Междунар. конф. Молодых ученых и студентов «Актуальные проблемы современной науки»: тр. конф. -Самара, 2004. С. 30-32.
12. Миков А. И. Автоматизация синтеза микропроцессорных управляющих систем. – Иркутск: Изд-во Иркут. ун-та, 1987. – 288 с.
13. Соколов Б.В., Юсупов Р.М. Концептуальные основы квалиметрии моделей и полимодельных комплексов // Имитационное моделирование. Теория и практика: сб. докл. 2-й всерос. науч.-практ. конф. ИММОД–2005. Т. 1. СПб: ЦНИИТС. 2005. С. 65–70.
14. Сухов А.О. Методы трансформации визуальных моделей / Материалы III международной научно-технической конференции «Технологии разработки информационных систем ТРИС–2012». Таганрог: Изд-во Технол. инст. ЮФУ, 2012. – Т. 1. – С. 120-124.
15. Томашевский В., Жданова Е. Имитационное моделирование в среде GPSS. Москва: Бестселлер, 2003.
16. Mikov A.I. Formal Method for Design of Dynamic Objects and Its Implementation in CAD Systems // Gero J.S. and F.Sudweeks F.(eds), Advances in Formal Design Methods for CAD, Preprints of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, Mexico, Mexico, 1995. pp.105-127.
Читать дальше