9. АЛГОРИТМИЗАЦИЯ МОДЕЛЕЙ СИСТЕМ И ИХ РЕАЛИЗАЦИЯ. ПОДЭТАПЫ ВТОРОГО ЭТАПА МОДЕЛИРОВАНИЯ

Привет, Вы узнаете о том , что такое алгоритмизация моделей систем, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое алгоритмизация моделей систем , настоятельно рекомендую прочитать все из категории Моделирование информационных систем.

На втором этапе моделирования — этапе алгоритмизации модели и ее
машинной реализации — математическая модель, сформированная на первом
этапе, воплощается в конкретную машинную модель. Этот этап представляет
собой этап практической деятельности, направленной на реализацию идей и
математических схем в виде машинной модели процесса функционирования
системы S. Прежде чем рассматривать подэтапы алгоритмизации и машинной
реализации модели, остановимся на основных принципах построения моделирующих алгоритмов и формах их представления.
Принципы построения моделирующих алгоритмов. Процесс функционирования системы S можно рассматривать как последовательную смену ее
состояний
z z t z t z t k
, ,...,
 1 2
в k-мерном пространстве. Очевидно, что задачей
моделирования процесса функционирования исследуемой системы S является
построение функций
z
, на основе которых можно провести вычисление интересующих характеристик процесса функционирования системы. Для этого
должны иметься соотношения, связывающие функции
z
с переменными, параметрами и временем, а также начальные условия
       1 0 2 0 0
0
z z t , z t ,...,z t  k
в момент времени
0
t  t .
Рассмотрим процесс функционирования некоторой детерминированной
системы
S D
, в которой отсутствуют случайные факторы, т. е. вектор состояний
такой системы можно определить как
z z , x,t
0
  . Тогда состояние процесса в
момент времени
t  jt
0
может быть однозначно определено из соотношений
математической модели по известным начальным условиям. Это позволяет
строить моделирующий алгоритм процесса функционирования системы. Для
этого преобразуем соотношения модели Z к такому виду, чтобы сделать удобным вычисление
z t  t 1
, z t  t 2
, …, z t t k  
по значениям
  i
z , i  1, k , где
  t
. Организуем счетчик системного времени, который в начальный момент
показывает время
0
t . Для этого момента
 
0
i 0 i
z t  z
. Прибавим интервал времени
t , тогда счетчик будет показывать
t  t  t
1 0
. Вычислим значения
z t t i 0   . Затем перейдем к моменту времени
t  t  t
2 1
и т.д. Если шаг
t
достаточно мал,
то таким путем можно получить приближенные значения z.
Рассмотрим процесс функционирования стохастической системы
R S , т.
е. системы, на которую оказывают воздействия случайные факторы. Для такой
системы функция состояний процесса z в момент времени
  t
и соотношения
модели определяют лишь распределение вероятностей для
z t t i  
в момент
времени
t  t . В общем случае и начальные условия
0
z
могут быть случайными, задаваемыми соответствующим распределением вероятностей. При этом
структура моделирующего алгоритма для стохастических систем в основном
остается прежней. Только вместо состояния
z t t i  
теперь необходимо вычислить распределение вероятностей для возможных состояний. Пусть счетчик системного времени показывает время
0
t . В соответствии с заданным распределением вероятностей выбирается
0
i
z
. Далее, исходя из распределения, получается
состояние
z t t i 0  
и т.д., пока не будет построена одна из возможных реализаций случайного многомерного процесса
z t i
в заданном интервале времени.
Рассмотренный принцип построения моделирующих алгоритмов называется принципом
t . Это наиболее универсальный принцип, позволяющий
определить последовательные состояния процесса функционирования системы
S через заданные интервалы времени
t . Но с точки зрения затрат машинного
времени он иногда оказывается неэкономичным.
При рассмотрении процессов функционирования некоторых систем
можно обнаружить, что для них характерны два типа состояний:
1) особые, присущие процессу функционирования системы только в некоторые моменты времени (моменты поступления входных или управляющих
воздействий, возмущений внешней среды и т.п.);
2) неособые, в которых процесс находится все остальное время. Особые
состояния характерны еще и тем обстоятельством, что функции состояний
z t i
в эти моменты времени изменяются скачком, а между особыми состояниями
изменение координат
z t i
происходит плавно и непрерывно или не происходит
совсем. Таким образом, следя при моделировании системы S только за ее особыми состояниями в те моменты времени, когда эти состояния имеют место,
можно получить информацию, необходимую для построения функций
z t i
.
Очевидно, для описанного типа систем могут быть построены моделирующие
алгоритмы по «принципу особых состояний». Об этом говорит сайт https://intellect.icu . Обозначим скачкообразное (релейное) изменение состояния z как
z , а «принцип особых состояний» — как
принцип
z .
Например, для системы массового обслуживания (Q-схемы) в качестве
особых состояний могут быть выбраны состояния в моменты поступления заявок на обслуживание в прибор П и в моменты окончания обслуживания заявок
каналами К, когда состояние системы, оцениваемое числом находящихся в ней
заявок, меняется скачком.
Отметим, что характеристики процесса функционирования таких систем
с особыми состояниями оцениваются по информации об особых состояниях, а
неособые состояния при моделировании не рассматриваются. «Принцип
z
»
дает возможность для ряда систем существенно уменьшить затраты машинного
времени на реализацию моделирующих алгоритмов по сравнению с «принципом
t
». Логика построения моделирующего алгоритма, реализующего «принцип
z
», отличается от рассмотренной для «принципа
t
» только тем, что
включает в себя процедуру определения момента времени

t , соответствующего следующему особому состоянию системы S. Для исследования процесса
функционирования больших систем рационально использование комбинированного принципа построения моделирующих алгоритмов, сочетающего в себе
преимущества каждого из рассмотренных принципов.
Формы представления моделирующих алгоритмов. Удобной формой
представления логической структуры моделей процессов функционирования
систем и машинных программ является схема. На различных этапах моделиро-
вания составляются обобщенные и детальные логические схемы моделирующих алгоритмов, а также схемы программ.
Обобщенная (укрупненная) схема моделирующего алгоритма задает общий порядок действий при моделировании системы без каких-либо уточняющих деталей. Обобщенная схема показывает, что необходимо выполнить на
очередном шаге моделирования, например, обратиться к датчику случайных
чисел.
Детальная схема моделирующего алгоритма содержит уточнения, отсутствующие в обобщенной схеме. Детальная схема показывает не только, что
следует выполнить на очередном шаге моделирования системы, но и как это
выполнить.
Логическая схема моделирующего алгоритма представляет собой логическую структуру модели процесса функционирования системы S. Логическая
схема указывает упорядоченную во времени последовательность логических
операций, связанных с решением задачи моделирования.
Схема программы отображает порядок программной реализации моделирующего алгоритма с использованием конкретного математического обеспечения. Схема программы представляет собой интерпретацию логической схемы
моделирующего алгоритма разработчиком программы на базе конкретного алгоритмического языка. Различие между этими схемами заключается в том, что
логическая схема отражает логическую структуру модели процесса функционирования системы, а схема программы — логику машинной реализации модели с использованием конкретных программно-технических средств моделирования.
Логическая схема алгоритма и схема программы могут быть выполнены
как в укрупненной, так и в детальной форме. Для начертания этих схем используется набор символов, определяемых ГОСТ 19.701 — 90 (ИСО 5807 — 85)
«Единая система программной документации».
Подэтапы второго этапа моделирования. Рассмотрим подэтапы, выполненные при алгоритмизации модели системы и ее машинной реализации,
обращая основное внимание на задачи каждого подэтапе и методы их решения.
2.1. Построение логической схемы модели. Рекомендуется строить
модель по блочному принципу, т. е. в виде некоторой совокупности стандартных блоков. Построение модели систем S из таких блоков обеспечивает необходимую гибкость в процессе ее эксплуатации, особенно на стадии машинной
отладки. При построении блочной модели проводится разбиение процесса
функционирования системы на отдельные достаточно автономные подпроцессы. Таким образом, модель функционально подразделяется на подмодели, каждая из которых в свою очередь может быть разбита на еще более мелкие элементы. Блоки такой модели бывают двух типов: основные и вспомогательные.
Каждый основной блок соответствует некоторому реальному подпроцессу,
имеющему место в моделируемой системе S, а вспомогательные блоки представляют собой лишь составную часть машинной модели, они не отражают
функции моделируемой системы и необходимы лишь для машинной реализации, фиксации и обработки результатов моделирования.
2.2. Получение математических соотношений. Одновременно с выполнением подэтапа построения логической схемы модели необходимо получить, если это возможно, математические соотношения в виде явных функций,
т.е. построить аналитические модели. Этот подэтап соответствует неявному заданию возможных математических соотношений на этапе построения концептуальной модели. При выполнении первого этапа еще не может иметься информации о конкретном виде таких математических соотношений, а на втором
этапе уже необходимо получить эти соотношения. Схема машинной модели
должна представлять собой полное отражение заложенной в модели концепции
и иметь: а) описание всех блоков модели с их наименованиями; б) единую систему обозначений и нумерацию блоков; в) отражение логики модели процесса
функционирования системы; г) задание математических соотношений в явном
виде.
2.3. Проверка достоверности модели системы. Эта проверка является
первой из проверок, выполняемых на этапе реализации модели. Так как модель
представляет собой приближенное описание процесса функционирования реальной системы S, то до тех пор, пока не доказана достоверность модели, нельзя утверждать, что с ее помощью будут получены результаты, совпадающие с
теми, которые могли бы быть получены при проведении натурного эксперимента с реальной системой S. Поэтому определение достоверности модели
можно считать наиболее важной проблемой при моделировании систем. От решения этой проблемы зависит степень доверия к результатам, полученным методом моделирования. Проверка модели на рассматриваемом подэтапе должна
дать ответ на вопрос, насколько логическая схема модели системы и используемые математические соотношения отражают замысел модели, сформированный на первом этапе. При этом проверяются: а) возможность решения поставленной задачи; б) точность отражения замысла в логической схеме; в) полнота
логической схемы модели; г) правильность используемых математических соотношений.
Только после того, как разработчик убеждается путем соответствующей
проверки в правильности всех этих положений, можно считать, что имеется логическая схема модели системы S, пригодная для дальнейшей работы по реализации модели на ЭВМ.
2.4. Выбор инструментальных средств для моделирования. На этом
подэтапе необходимо окончательно решить вопрос о том, какую вычислительную машину (ЭВМ, АВМ, ГВК) и какое программное обеспечение целесообразно использовать для реализации модели системы S. Вообще, выбор вычислительных средств может быть проведен и на предыдущих подэтапах, но рассматриваемый подэтап является последним, когда этот выбор должен быть сделан окончательно, так как в противном случае возникнут трудности в проведении дальнейших работ по реализации модели. Вопрос о выборе ЭВМ сводится
к обеспечению следующих требований: а) наличие необходимых программных
и технических средств; б) доступность выбранной ЭВМ для разработчика мо-
дели; в) обеспечение всех этапов реализации модели; г) возможность своевременного получения результатов.
2.5. Составление плана выполнения работ по программированию.
Такой план должен помочь при программировании модели, учитывая оценки
объема программы и трудозатрат на ее составление. План при использовании
универсальной ЭВМ должен включать в себя: а) выбор языка (системы) программирования модели; б) указание типа ЭВМ и необходимых для моделирования устройств; в) оценку примерного объема необходимой оперативной и
внешней памяти; г) ориентировочные затраты машинного времени на моделирование; д) предполагаемые затраты времени на программирование и отладку
программы на ЭВМ.
2.6. Спецификация и построение схемы программы. Спецификация
программы — формализованное представление требований, предъявляемых к
программе, которые должны быть удовлетворены при ее разработке, а также
описание задачи, условия и эффекта действия без указания способа его достижения. Наличие логической блок-схемы модели позволяет построить схему
программы, которая должна отражать: а) разбиение модели на блоки, подблоки
и т. д.; б) особенности программирования модели; в) проведение необходимых
изменений; г) возможности тестирования программы; д) оценку затрат машинного времени; е) форму представления входных и выходных данных.
2.7. Верификация и проверка достоверности схемы программы. Верификация программы — доказательство того, что поведение программы соответствует спецификации на программу. Эта проверка является второй на этапе
машинной реализации модели системы. Очевидно, что нет смысла продолжать
работу по реализации модели, если нет уверенности в том, что в схеме программы, по которой будет вестись дальнейшее программирование, допущены
ошибки, которые делают ее неадекватной логической схеме модели, а, следовательно, и неадекватной самому объекту моделирования. При этом проводится
проверка соответствия каждой операции, представленной в схеме программы,
аналогичной ей операции в логической схеме модели.
2.8. Проведение программирования модели. При достаточно подробной схеме программы, которая отражает все операции логической схемы модели, можно приступить к программированию модели. Если имеется адекватная
схема программы, то программирование представляет собой работу только для
программиста без участия и помощи со стороны разработчика модели. При использовании пакетов прикладных программ моделирования проводится непосредственная генерация рабочих программ для моделирования конкретного
объекта, т.е. программирование модели реализуется в автоматизированном режиме.
2.9. Проверка достоверности программы. Эта последняя проверка на
этапе машинной реализации модели, которую необходимо проводить: а) обратным переводом программы в исходную схему; б) проверкой отдельных частей
программы при решении различных тестовых задач; в) объединением всех частей программы и проверкой ее в целом на контрольном примере моделирования варианта системы S.
2.10. Составление технической документации по второму этапу. Для
завершения этапа машинной реализации модели необходимо составить техническую документацию, содержащую: а) логическую схему модели и ее описание; б) адекватную схему программы и принятые обозначения; в) полный текст
программы; г) перечень входных и выходных величин с пояснениями; д) инструкцию по работе с программой; е) оценку затрат машинного времени на моделирование с указанием требуемых ресурсов ЭВМ

Исследование, описанное в статье про алгоритмизация моделей систем, подчеркивает ее значимость в современном мире. Надеюсь, что теперь ты понял что такое алгоритмизация моделей систем и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Моделирование информационных систем