Методы формализованного представления систем
Классификации методов моделирования систем
Постановка задачи связана с переводом ее словесного, или вербального, описания в формальное описание.
Для несложных задач формальная модель имеет вид формулы, которая опирается на фундаментальный закон или эксперимент. Этим доказывается адекватность модели.
Для сложных задач доказательство адекватности усложняется, задача переходит в класс проблем принятия решений. Постановка задачи, формирование модели, становится важной частью процесса принятия решения.
Следует говорить о создании «механизма» моделирования для сложных развивающихся систем.
Формирование «механизмов» или развивающихся моделей является основным предметом системного анализа.
Специальные приемы и методы отражены на рис.2.2.
Рис.2.2
Расположение приемов и методов слева направо произведено в соответствии с особенностями формализации. Справа находятся аналитические методы, основанные на применении в описании аналитических выражений (формул). Слева находятся трудноформализуемые методы, основанные на вербальном описании систем.
Проблема перевода вербального описания в формальное породила появление методов типа «мозговая атака», «сценарии», экспертные оценки, «дерево целей» и прочее.
Наряду с детерминированными, аналитическими методами возникла теория вероятностей и математическая статистика. Для задач с большей неопределенностью применяются теория множеств, математическая логика, теория графов и прочее.
Методы возникали и развивались параллельно.
Системный анализ может один и тот же объект отображать различными классами систем и, соответственно, разными моделями, организуя процесс постепенной формализации задачи.
При исследовании обычно выбирают методы попеременно, из левой и правой частей их расположения (рис. 2.2).
Методы моделирования систем делят на два класса:
- методы формализованного представления систем (МФПС);
- методы, направленные на активизацию использования интуиции и опыта специалистов (МАИС).
На сочетании средств МФПС и МАИС разработаны методы, объединенные в группу, названную специальными методами. Среди них наибольшее распространение получили следующие.
Имитационное динамическое моделирование (System Dynamics Symulation Modeling) предложено Дж. Форрестером (США) в 50-х гг. XX в. [18, 19] и использует структурный язык, позволяющий выражать реальные взаимосвязи, аналитические представления и реализовать моделирование на ЭВМ с применением языка DYNAMO.
Ситуационное моделирование - предложено Д.А.Поспеловым и направлено на отображение в памяти ЭВМ и анализе проблемных ситуаций с помощью специального языка.
Структурно-лингвистическое моделирование - основано на использовании структурных представлений разного рода и средств математической лингвистики (языки, основанные на теоретико-множественных представлениях, на использовании средств математической логики, семиотики).
Теория информационного поля и информационных цепей (информационный подход) - основана на использовании законов диалектики для активизации интуиции ЛПР, аппарата математической теории поля и теории цепей.
Подход, базирующийся на идее постепенной формализации задач с неопределенностью путем поочередного использования средств МАИС и МФПС стал основой всех методик системного анализа.