Компьютерные сети (стр. 5 )

Математическое моделирование для исследования характеристик систем можно разделить на аналитическое, имитационное и комбинированное. В свою очередь, ММ делятся на имитационные и аналитические.

2.1.2 Аналитическое моделирование

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

1) аналитическим, когда стремятся получить в общем виде явные зависимости для характеристик систем;

2) численным, когда не удается найти решение уравнений в общем виде и их решают для конкретных начальных данных;

3) качественным, когда при отсутствии решения находят некоторые его свойства. Аналитические модели удается получить только для сравнительно простых систем.

Для сложных систем часто возникают большие математические проблемы. Для применения аналитического метода идут на существенное упрощение первоначальной модели. Однако исследование на упрощенной модели помогает получить лишь ориентировочные результаты. Аналитические модели математически верно отражают связь между входными и выходными переменными и параметрами. Но их структура не отражает внутреннюю структуру объекта. При аналитическом моделировании его результаты представляются в виде аналитических выражений. Безусловно, нахождение аналитических решений при аналитическом моделировании оказывается исключительно ценным для выявления общих теоретических закономерностей простых линейных цепей, систем и устройств. Однако его сложность резко возрастает по мере усложнения воздействий на модель и увеличения порядка и числа уравнений состояния, описывающих моделируемый объект. Можно получить более или менее обозримые результаты при моделировании объектов второго или третьего порядка, но уже при большем порядке аналитические выражения становятся чрезмерно громоздкими, сложными и трудно осмысляемыми. Например, даже простой электронный усилитель зачастую содержит десятки компонентов. Тем не менее, многие современные СКМ, например, системы символьной математики Maple, MatheСАD, MATLAВ, способны в значительной мере автоматизировать решение сложных задач аналитического моделирования

2.1.3 Имитационное моделирование

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

1) определение цели моделирования;

2) разработка концептуальной модели;

3) формализация модели;

4) программная реализация модели;

5) планирование модельных экспериментов;

6) реализация плана эксперимента;

7) анализ и интерпретация результатов моделирования.

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

Имитационные модели не только по свойствам, но и по структуре соответствуют моделируемому объекту. При этом имеется однозначное и явное соответствие между процессами, получаемыми на модели, и процессами, протекающими на объекте[6].

2.2 Сетевой симулятор ns2

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

На этапе построении модели возникает вопрос о выборе инструментария. Критериями создания эффективной модели служат:

•детальная реализация протоколов беспроводных самоорганизующихся сетей;

• возможность написания и подключения собственных модулей;

• возможность изменения параметров моделирования во время проведения экспериментов;

• платформенная независимость;

• развитый графический интерфейс;

• цена продукта.

Наиболее популярными средами имитационного моделирования являются:

• The Network Simulator (NS-2) − объектно-ориентированный программный продукт, ядро которого реализовано на языке C++. На базе ns2 возможна организация наглядной демонстрации функционирования протоколов и сетевых механизмов.

• OPNET Modeler Suite (OPNET) − средство для проектирования и моделирования локальных и глобальных сетей, компьютерных систем, приложений и распределенных систем. Включает следующие продукты: Netbiz (проектирование и оптимизация вычислительной системы), Modeler (моделирование и анализ производительности сетей, компьютерных систем, приложений и распределенных систем), ITGuru (оценка производительности коммуникационных сетей и распределенных систем).

• OMNet++ расширяемый, модульный фреймворк, на основе компонентов библиотеки C++, используемый для построения моделей сети, представляет собой симулятор дискретных событий. В системе OMNeT++ заложена детальная реализация протоколов, начиная от сетевого уровня, возможность написания и подключения собственных модулей, развитый графический интерфейс [5].

В таблицу 1 сведены характеристики этих сред.

Таблица 1 – Характеристики имитационных сред

Продукт	Язык программирования	Наличие библиотеки	Поддержка визуализации	Полный анализ ситуации	Пошаговая трассировка	Распространение в открытом доступе
OPNET	C++	+	+	+	-	-
Omnet	C++	+	+	+	+	+
NS2	OTcl	+	+	+	+	+

Основываясь на этих данные было принято решение для имитационного моделирования локальной сети выбрать сетевой симулятор NS2.

The Network Simulator (NS-2) − объектно-ориентированный программный продукт, ядро которого реализовано на языке C++. В качестве интерпретатора используется язык скриптов (сценариев) OTcl (Object oriented Tool Command Language). NS2 полностью поддерживает иерархию классов C++ (называемую в терминах ns2 компилируемой иерархией) и подобную иерархию классов интерпретатора OTcl (называемую интерпретируемой иерархией). Использование двух языков программирования в ns2 объясняется следующими причинами. С одной стороны, для детального моделирования протоколов необходимо использовать системный язык программирования, обеспечивающий высокую скорость выполнения и способный манипулировать достаточно большими объемами данных. С другой стороны, для удобства пользователя и быстроты реализации и модификации различных сценариев моделирования привлекательнее использовать язык программирования более высокого уровня абстракции. Такой подход является компромиссом между удобством использования и скоростью. В ns2 в качестве системного языка используется C++, позволяющий обеспечить:

• высокую производительность;

• работу с пакетами потока на низком уровне абстракции модели;

• модификацию ядра ns2 с целью поддержки новых функций и протоколов. В качестве языка программирования высокого уровня абстракции используется язык скриптов OTcl, позволяющий обеспечить ряд положительных свойств, присущих языку Tcl/Tk (Т. К. OTcl является объектно-ориентированным расширением языка Tcl):

• простота синтаксиса;

• простота построения сценария моделирования;

• возможность соединения воедино блоков, выполненных на системных языках программирования и простую манипуляцию ими.

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

Основными компонентами моделирования ns2 являются планировщик событий, сетевые объекты и события (at-событияи пакеты).

Основой моделирования в ns2 является планировщик событий (event scheduler). Основные пользователи планировщика событий – компоненты сети, которые моделируют задержку на обработку пакетов или которым нужны таймеры. Создание события сетевым элементом показано на рисунке 13.