Формальное описание - система
Cтраница 1
 |
Место системы FLEX в системе программирования. [1] |
Формальное описание системы, s - выражением в языке Лисп, как обычно называется либо атом, либо один список языка Лисп. [2]
Теперь мы представим формальное описание иконических систем с использованием понятия обобщенных иконов. S, обозначающий имя головного икона; R - отображение из S в 2 LkJS x VP, обозначающее иконические правила. [3]
Вторым этапом является составление формального описания системы. В зависимости от сложности объекта моделирования и внешней среды могут использоваться три вида формализации: аппроксимация явлений в виде функциональных зависимостей, алгоритмическое описание процессов и смешанное представление в виде последовательности формул и алгоритмических записей. Результатом работы исследователя является формальное описание объекта моделирования, внешней среды и способа их взаимодействия. [4]
Расчленение системы на элементы является одним из первых шагов при построении формального описания системы. В формализованной схеме системы элемент выступает как объект, не подлежащий ( при данном рассмотрении системы) дальнейшему разбиению на части. Внутренняя структура элемента не является предметом исследования. Имеют значения только те свойства элемента, которые определяют его взаимодействие с другими элементами системы и оказывают влияние на характер системы в целом. [5]
В этой главе мы изложим основы теории обобщенных иконов. Формальное описание икони-ческих систем представлено в разд. [6]
Эти принципы могут быть интерпретированы как необходимые условия существования систем математического обеспечения с иерархической структурой. Относительно формального описания системы управления СОИС эти необходимые условия могут быть получены из аксиоматики, сформулированной в гл. [7]
Известно, что сложные объекты, как правило, представляют собой системы с иерархической структурой и вероятностно-статистическими связями между звеньями. Поэтому формальное описание системы и процессов, происходящих в ней, сопряжено с большими трудностями математического характера. В этом случае применяют декомпозицию общей задачи на ряд подзадач, решаемых в рамках отдельных иерархических уровней. [8]
Это объясняется трудностями приведения формального описания систем организационного управления к формам, удобным для аналоговых интерпретаций. Метод статистического моделирования, широко используемый для решения многих системных задач, обладает преимуществом: он не требует грубых упрощений и открывает возможность для учета достаточного количества факторов. [9]
Этап проектирования, на котором часть формального описания системы реализуется в виде программы. [10]
В связи с этим при решении задач важно сокращать число рассматриваемых элементов до минимума. Расчленение системы на элементы является первоочередной задачей при построении расчетной модели для формального описания системы. Часто для упрощения решения существенно уменьшают число связей, объединяя ряд элементов в подсистему. [11]
Иногда возможностей языка формализации недостаточно. Тогда на основе накопленной информации при моделировании большой системы осуществляется модификация языка формального описания системы и весь процесс испытания модели повторяется. В ряде случаев может оказаться неудачным само использование языка моделирования. Результаты эксперимента на модели выдвигают требование увеличить описательные возможности языка моделирования. Для этого служат модификация языка автоматизации моделирования и возврат к этапу преобразования описания большой системы в математическую модель. [12]
Аналитик ставил задачу, описывал ее на естественном языке с добавлением технической терминологии, на котором наиболее точно описывал задачу ( составлял содержательное описание объекта моделирования), затем это описание перерабатывалось ( составлялось формальное описание системы) и попадало к программистам, которые писали машинную программу на универсальном языке. Необходимость в программисте отпала после того, как были созданы специализированные языки, которые уменьшают трудоемкость написания программы, обеспечивают строгое следование выбранной концепции построения модели, помогают четко классифицировать элементы системы, обеспечивают гибкость изменения программы, помогают различать элементы одного класса по их характеристикам и свойствам, описывают связи между элементами системы и внешней средой, позволяют корректировать число элементов модели в соответствии с изменением ее внутренних условий. [13]
Пусть имеется конечный набор агрегатов, входы и выходы которых некоторым образом соединены между собой. Спрашивается: какому агрегату эквивалентна такая сложная система. Другими словами, речь идет о формальном описании системы на основании формального описания составляющих ее подсистем и связей между ними. Именно эта задача, существенная в связи с моделированием сложных систем, будет решена в данном параграфе. [14]
Прежде чем приступить к рассмотрению отдельных методов анализа, необходимо выяснить цели и задачи, стоящие перед ними. Определим цели анализа как точное определение характеристик и свойств протокольной системы. Такой анализ можно выполнить только в том случае, если имеется формальное описание системы. Если этот тезис перефразировать, то можно сказать, что создание таких МФО, для которых не разработаны средства анализа, имеет мало смысла. [15]
Страницы: 1 2