Определение динамических характеристик процессов модели распределенного приложения, страница 5

Рис.10 Модель нашего распределенного приложения, после его свертки.

3.  Проверка полученных результатов при помощи MatCad

Как и в предыдущей самостоятельной работе, проверку полученных результатов будем проводить при помощи математического пакета MatCad.

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

Просто расположим рядом на экране результаты расчетов MatCad и нашего программного продукта.

3.1  Проверка динамических характеристик для параллельных процессов с синхронизацией по «И»

Рис.11 Проверка динамических характеристик для параллельных процессов с синхронизацией по «И»

3.2  Проверка динамических характеристик последовательных процессов, представляющих первый и второй блок нашей модели приложения.

Рис.12 Проверка динамических характеристик последовательных процессов, представляющих первый и второй блок нашей модели приложения.

3.3  Проверка динамических характеристик для параллельных процессов с синхронизацией по «ИЛИ»

Рис.13 Проверка динамических характеристик для параллельных процессов с синхронизацией по «ИЛИ»

3.4  Проверка динамических характеристик для последних двух последовательных процессов.

Рис.14 Проверка динамических характеристик последних двух последовательных процессов.

4.  Выводы

Как легко увидеть, абсолютно все результаты, полученные при помощи нашей программы и при помощи мат.пакета совпадают. Это говорит о корректности работы нащего приложения и о его способности к расчету динамических характеристик времени выполнения распределенного приложения, заданного конкретной моделью.