Реферат: Отрывок из учебника по теории систем и системному анализу

Глава 1

Основы системного анализа

47

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

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

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

Формально тезаурусом называют конечное непустое множе­ство V слов v, отвечающее следующим условиям:

1)    имеется непустое подмножество У0 с V, называемое мно­
жеством дескрипторов;

2)    имеется симметричное, транзитивное, рефлексивное отно­
шение R с Fx V, такое, что:

б) V] е V \ vq => (3v е V0)(vR Vl) •

при этом отношение R называется синонимическим, а слова v,, v2, отвечающие этому отношению, называются синонимическими дескрипторами;

3) имеется транзитивное и несимметричное отношение К с: vqx.vq, называемое обобщающим отношением.

В случае если два дескриптора v( и v2 удовлетворяют отноше­нию v, К v2, то полагают, что дескриптор v, более общий, чем дескриптор v2.

Элементы множества У\У0 называются множеством аскрип-торов.

Между тезаурусом и обычным словарем имеются принципи­альные различия. Тезаурус - словарь, который очищен от нео­днозначности, т.е. в нем каждому слову может соответствовать лишь единственное понятие, хотя в обычном словаре одному сло­ву может соответствовать несколько понятий.

Если ввести условное обозначение отдельных понятий, т.е. знаки, а также определенные операции между этими знаками, то можно реализовать знаковое моделирование и с помощью зна­ков отображать набор понятий - составлять отдельные цепочки из слов и предложений. Используя операции объединения, пере­сечения и дополнения теории множеств, можно в отдельных сим­волах дать описание какого-то реального объекта.

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

Для представления математических моделей могут исполь­зоваться различные формы записи. Основными являются инва­риантная, аналитическая, алгоритмическая и схемная (графи­ческая).

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

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

Поэтому ниже подробнее рассматривается классификация, в ко­торой делается попытка связать выбор методов моделирования со всеми классами систем Основанием для этой классификации яв­ляется степень организованности

Таблица 1.1

систем по степени организованности к ее роль в выборе методов моделирования систем. Впервые разделение систем по степени организованности по аналогии с классификацией Г.Сай­мона и А.Ньюэлла (хорошо структризованные, плохо структуризо-ванные и неструктуризованные проблемы [1.37]) было предложено В.В.Налимовым, который выделил класс хорошо организованных я класс плохо организованных или диффузных систем [1.34].

Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17