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

1. Аналитические методы,включающие методы классической математики: интегральные и дифференциальные исчисления, поиска экстремумов функций, вариационного исчисления; математического программирования; методы теории игр, теории алгоритмов, теории рисков и т.п. Эти методы позволяют описать ряд свойств многомерной и многосвязной системы отображаемой в виде одной единственной точки, совершающей движение в n-мерном пространстве.

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

2. Статистические методы являются основой следующих теорий: вероятности, математической статистики, исследования операций, статистического имитационного моделирования, массового обслуживания, включая метод Монте-Карла и др. Статистические методы позволяют отобразить систему с помощью случайных (стохастических) событий, процессов, которые описываются соответствующими вероятностными (статистическими) характеристиками и статистическими закономерностями. Применяются статистические методы для исследования сложных недетерминированных (саморазвивающихся, самоуправляемых) систем.

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

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

4. Логические методы являются языком описания систем в понятиях алгебры логики, которая лежит в основе функционирования микроэлементов любого компьютера. Наибольшее распространение логические методы получили под названием Булевой алгебры, как бинарного представления о состоянии элементных схем компьютера. Логические методы позволяют описывать систему в виде более простых структур на основе законов математической логики. Каждое состояние элемента рассматривается в качестве 1 или 0. На базе таких методов развиваются новые теории формального описания систем в теориях логического анализа и автоматов. Все эти методы расширяют возможность применения системного анализа и синтеза в прикладной информатике.

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

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

6. Семиотические методы базируется на понятиях: символ (знак), знаковая система, знаковая ситуация, т.е. для символического описания содержания в компьютерной технике. В прикладной информатике выделяются такие области работы в знаковой системе, как:

· прагматика – это оценка и сравнение различных языков программирования, программ и систем по критериям полезности, выгодности и эффективности их использования;

· семантика как составная часть науки о языке (лингвистика), изучающая вопросы соотношения между элементами языка и их смысловым значением, определяет смысловые конструкции языка программирования;

· синтактика раздел семиотики, изучающей внутреннюю знаковую структуру сочетания знаков и законы образования и преобразования организованных текстов;

· синтаксис грамматические правила расстановки знаков в тексте.

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

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

Графические методы широко применяются на практике для получения управляющих решений на основе сетевого планирования.