Методы формального представления системной модели

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

При решении задач проектирования и анализа топологии систем различного назначения применение теории графов является весьма удобным. Это объясняется тем, что граф, сохраняя всю наглядность и содержательность отображаемого им объекта, позволяет также строить формальные алгоритмы преобразований и при использовании своих матричных эквивалентов (представлений) легко обрабатывается на компьютере.

Основные методы анализа и контроля проектов СТССН.

Методы моделирования.

Вторым известным способом проверки правильности проектных решений является способ моделирования. Этот способ известен при проектировании АСУ, ИАСУ, АСУТП, САПР и всегда используется разработчиками при анализе своих проектных решений [30].

Так как СТССН является многоуровневой сложной социотехнической системой, то модели должны быть способны описать многоуровневую систему и ее свойства. Таким образом, решается задача анализа объекта проектирования. Вторая часть моделей относится к оценке проектных решений по разработке СТССН. Проверить проектное решение можно косвенным способом - построив соответствующую модель страты объекта (целевую, функциональную, структурную, инфологическую и т.д.) с ТТХ на элементы модели, рассчитанными разработчиком. Затем произвести расчеты на производительность, точность, надежность модели, на соответствие ТТТ всей системы по статическим характеристикам и произвести динамическое моделирование системной модели по алгоритму функционирования методом имитационного моделирования. Если результат статического и динамического моделирования системной модели находятся в диапазоне ТТТ с их допусками на всю систему, то проектное решение соответствует заданному и верно.